Let K be a field and X an m×n matrix of indeterminates over K. Let K[X] denote the polynomial ring generated by all the indeterminates Xij . For a given positive integer r ≤ min{m, n}, we consider the determinantal ideal Ir+1 = Ir+1(X) generated by all r + 1 minors of X if r < min{m, n} and Ir+1 = (0) otherwise. Let Rr+1 = Rr+1(X) be the determinantal ring K[X]/Ir+1. Determinantal ideals and ri...

Schubert polynomials, which a priori represent cohomology classes of Schubert varieties in the flag manifold, also represent torus-equivariant cohomology classes of certain determinantal loci in the vector space of n×n complex matrices. Our central result is that the minors defining these “matrix Schubert varieties” are Gröbner bases for any antidiagonal term order. The Schubert polynomials are...

We give an introduction to the theory of determinantal ideals and rings, their Gröbner bases, initial ideals and algebras, respectively. The approach is based on the straightening law and the Knuth-Robinson-Schensted correspondence. The article contains a section treating the basic results about the passage to initial ideals and algebras. Let K be a field and X an m × n matrix of indeterminates...

Schubert polynomials, which a priori represent cohomology classes of Schubert varieties in the flag manifold, also represent torus-equivariant cohomology classes of certain determinantal loci in the vector space of n×n complex matrices. Our central result is that the minors defining these “matrix Schubert varieties” are Gröbner bases for any antidiagonal term order. The Schubert polynomials are...

Introduction. Fix a base field k. The quantized coordinate ring of n×n matrices over k, denoted by q(Mn(k)), is a deformation of the classical coordinate ring of n×n matrices, (Mn(k)). As such, it is a k-algebra generated by n2 indeterminates Xij , for 1 ≤ i,j ≤ n, subject to relations which we state in (1.1). Here, q is a nonzero element of the field k. When q = 1, we recover (Mn(k)), which is...

In this paper, a new kind of resultant, called the determinantal resultant, is introduced. This operator computes the projection of a determinantal variety under suitable hypothesis. As a direct generalization of the resultant of a very ample vector bundle [GKZ94], it corresponds to a necessary and sufficient condition so that a given morphism between two vector bundles on a projective variety ...

Determinantal point processes have arisen in diverse settings in recent years and have been investigated intensively. We initiate a detailed study of the discrete analogue, the most prominent example of which has been the uniform spanning tree measure. Our main results concern relationships with matroids, stochastic domination, negative association, completeness for infinite matroids, tail triv...