Minimal equations for matrix Schubert varieties

Shiliang Gao,Alexander Yong

2023-11-29

Abstract:Explicit minimal generators for Fulton's Schubert determinantal ideals are determined along with some implications.

Combinatorics,Commutative Algebra,Algebraic Geometry

What problem does this paper attempt to address?

ON MINIMAL IMMERSIONS OF R2 INTO THE NEARLY KÄHLER S6 1

Yibing Shen

DOI: https://doi.org/10.1016/s0252-9602(17)30159-5

2004-01-01

Abstract:In terms of the almost complex affine connection and moving unitary frames, all totally rael minimal immersions from R2 into the nearly Kähler S6 are determine explicitly. Moreover, the complete flat almost complex curves in the nearly Kähler S6 are determined completely.
Minimal semisimple Hessenberg schemes

Rebecca Goldin,Martha Precup

2024-08-14

Abstract:We study a collection of Hessenberg varieties in the type A flag variety associated to a nonzero semisimple matrix whose conjugacy class has minimal dimension. We prove each such minimal semisimple Hessenberg variety is a union Richardson varieties and compute this set of Richardson varieties explicitly. Our methods leverage the notion of matrix Hessenberg schemes to answer questions about the geometry of minimal semisimple Hessenberg varieties using commutative algebra and known results on Schubert determinantal ideals. In particular, we show that all type A minimal semisimple matrix Hessenberg schemes are reduced.

Algebraic Geometry,Combinatorics
Matrix Schubert varieties, binomial ideals, and reduced Gröbner bases

Ada Stelzer

2023-06-06

Abstract:We prove a sharp lower bound on the number of terms in an element of the reduced Gröbner basis of a Schubert determinantal ideal $I_w$ under the term order of [Knutson-Miller '05]. We give three applications. First, we give a pattern-avoidance characterization of the matrix Schubert varieties whose defining ideals are binomial. This complements a result of [Escobar-Mészáros '16] on matrix Schubert varieties that are toric with respect to their natural torus action. Second, we give a combinatorial proof that the recent formulas of [Rajchgot-Robichaux-Weigandt '23] and [Almousa-Dochtermann-Smith '22] computing the Castelnuovo-Mumford regularity of vexillary $I_w$ and toric edge ideals of bipartite graphs respectively agree for binomial $I_w$. Third, we demonstrate that the Gröbner basis for $I_w$ given by minimal generators [Gao-Yong '22] is reduced if and only if the defining permutation $w$ is vexillary.

Commutative Algebra,Algebraic Geometry,Combinatorics
Presenting the cohomology of a Schubert variety: Proof of the minimality conjecture

Avery St. Dizier,Alexander Yong

DOI: https://doi.org/10.1112/jlms.12832

2023-09-28

Abstract:A minimal presentation of the cohomology ring of the flag manifold $GL_n/B$ was given in [A. Borel, 1953]. This presentation was extended by [E. Akyildiz-A. Lascoux-P. Pragacz, 1992] to a non-minimal one for all Schubert varieties. Work of [Gasharov-Reiner, 2002] gave a short, i.e. polynomial-size, presentation for a subclass of Schubert varieties that includes the smooth ones. In [V. Reiner-A. Woo-A. Yong, 2011], a general shortening was found; it implies an exponential upper bound of $2^n$ on the number of generators required. That work states a minimality conjecture whose significance would be an exponential lower bound of $\sqrt{2}^{n+2}/\sqrt{\pi n}$ on the number of generators needed in worst case, giving the first obstructions to short presentations. We prove the minimality conjecture. Our proof uses the Hopf algebra structure of the ring of symmetric functions.

Combinatorics,Algebraic Geometry
The minimality of determinantal varieties

Martin Bordemann,Jaigyoung Choe,Jens Hoppe

DOI: https://doi.org/10.1515/crelle-2020-0041

2020-12-15

Journal für die reine und angewandte Mathematik (Crelles Journal)

Abstract:Abstract The determinantal variety Σ p ⁢ q {\Sigma_{pq}} is defined to be the set of all p × q {p\times q} real matrices with p ≥ q {p\geq q} whose ranks are strictly smaller than q . It is proved that Σ p ⁢ q {\Sigma_{pq}} is a minimal cone in R p ⁢ q {\mathbb{R}^{pq}} and all its strata are regular minimal submanifolds.
Gröbner bases, symmetric matrices, and type C Kazhdan–Lusztig varieties

Laura Escobar,Alex Fink,Jenna Rajchgot,Alexander Woo

DOI: https://doi.org/10.1112/jlms.12856

2024-02-03

Journal of the London Mathematical Society

Abstract:Abstract We study a class of combinatorially defined polynomial ideals that are generated by minors of a generic symmetric matrix. Included within this class are the symmetric determinantal ideals, the symmetric ladder determinantal ideals, and the symmetric Schubert determinantal ideals of A. Fink, J. Rajchgot, and S. Sullivant. Each ideal in our class is a type C analog of a Kazhdan–Lusztig ideal of A. Woo and A. Yong; that is, it is the scheme‐theoretic defining ideal of the intersection of a type C Schubert variety with a type C opposite Schubert cell, appropriately coordinatized. The Kazhdan–Lusztig ideals that arise are exactly those where the opposite cell is 123‐avoiding. Our main results include Gröbner bases for these ideals, prime decompositions of their initial ideals (which are Stanley–Reisner ideals of subword complexes), and combinatorial formulas for their multigraded Hilbert series in terms of pipe dreams.

mathematics
Gorenstein locus of minuscule Schubert varieties

Nicolas Perrin

DOI: https://doi.org/10.48550/arXiv.0704.0895

2007-04-06

Abstract:In this article, we describe explicitely the Gorenstein locus of all minuscule Schubert varieties. This proves a special case of a conjecture of A. Woo and A. Yong (see <a class="link-https" data-arxiv-id="math.AG/0603273" href="https://arxiv.org/abs/math.AG/0603273">math.AG/0603273</a>) on the Gorenstein locus of Schubert varieties.

Algebraic Geometry,Combinatorics
On the Reduced Gröbner Bases of Blockwise Determinantal Ideals

Chenqi Mou,Qiuye Song

2024-09-19

Abstract:Blockwise determinantal ideals are those generated by the union of all the minors of specified sizes in certain blocks of a generic matrix, and they are the natural generalization of many existing determinantal ideals like the Schubert and ladder ones. In this paper we establish several criteria to verify whether the Gröbner bases of blockwise determinantal ideals with respect to (anti-)diagonal term orders are minimal or reduced. In particular, for Schubert determinantal ideals, while all the elusive minors form the reduced Gröbner bases when the defining permutations are vexillary, in the non-vexillary case we derive an explicit formula for computing the reduced Gröbner basis from elusive minors which avoids all algebraic operations. The fundamental properties of being normal and strong for W-characteristic sets and characteristic pairs, which are heavily connected to the reduced Gröbner bases, of Schubert determinantal ideals are also proven.

Commutative Algebra,Symbolic Computation,Combinatorics
Representations from matrix varieties, and filtered RSK

Abigail Price,Ada Stelzer,Alexander Yong

2024-03-15

Abstract:Matrix Schubert varieties (Fulton '92) carry natural actions of Levi groups. Their coordinate rings are thereby Levi-representations; what is a combinatorial counting rule for the multiplicities of their irreducibles? When the Levi group is a torus, (Knutson-Miller '04) answers the question. We present a general solution, a common refinement of the multigraded Hilbert series, the Cauchy identity, and the Littlewood-Richardson rule. Our result applies to any ``bicrystalline'' algebraic variety; we define these using the operators of (Kashiwara '95) and of (Danilov-Koshevoi '05, van Leeuwen '06). The proof introduces a ``filtered'' generalization of the Robinson-Schensted-Knuth correspondence.

Representation Theory,Commutative Algebra,Combinatorics
Fine multidegrees, universal Grobner bases, and matrix Schubert varieties

Daoji Huang,Matt Larson

2024-11-26

Abstract:We give a criterion for a collection of polynomials to be a universal Gröbner basis for an ideal in terms of the multidegree of the closure of the corresponding affine variety in $(\mathbb{P}^1)^N$. This criterion can be used to give simple proofs of several existing results on universal Gröbner bases. We introduce fine Schubert polynomials, which record the multidegrees of the closures of matrix Schubert varieties in $(\mathbb{P}^1)^{n^2}$. We compute the fine Schubert polynomials of permutations $w$ where the coefficients of the Schubert polynomials of $w$ and $w^{-1}$ are all either 0 or 1, and we use this to give a universal Gröbner basis for the ideal of the matrix Schubert variety of such a permutation.

Algebraic Geometry,Commutative Algebra,Combinatorics
Schubert geometry and combinatorics

Alexander Woo,Alexander Yong

2023-03-03

Abstract:This chapter combines an introduction and research survey about Schubert varieties. The theme is to combinatorially classify their singularities using a family of polynomial ideals generated by determinants.

Algebraic Geometry,Commutative Algebra,Combinatorics
Minuscule Schubert Calculus and the Geometric Satake Correspondence

Dave Anderson,Antonio Nigro

DOI: https://doi.org/10.1007/978-981-15-7451-1_6

2020-01-01

Abstract:We describe a relationship between work of Gatto, Laksov, and their collaborators on realizations of (generalized) Schubert calculus of Grassmannians, and the geometric Satake correspondence of Lusztig, Ginzburg, and Mirković and Vilonen. Along the way we obtain new proofs of equivariant Giambelli formulas for the ordinary and orthogonal Grassmannians, as well as a simple derivation of the “rim-hook” rule for computing in the equivariant quantum cohomology of the Grassmannian.
Equations of curves with minimal discriminant

Rachel Shaska

DOI: https://doi.org/10.48550/arXiv.1407.7064

2014-07-26

Abstract:In this paper we give an algorithm of how to determine a Weierstrass equation with minimal discriminant for superelliptic curves generalizing work of Tate for elliptic curves and Liu for genus 2 curves.

Number Theory
Multiprojective Seshadri stratifications for Schubert varieties and standard monomial theory

Henrik Müller

2024-09-18

Abstract:Using the language of Seshadri stratifications we develop a geometrical interpretation of Lakshmibai-Seshadri-tableaux and their associated standard monomial bases. These tableaux are a generalization of Young-tableaux and De-Concini-tableaux to all Dynkin types. More precisely, we construct filtrations of multihomogeneous coordinate rings of Schubert varieties, such that the subquotients are one-dimensional and indexed by standard tableaux.

Algebraic Geometry,Combinatorics,Representation Theory
On global Schubert varieties for the general linear group

Pramod N. Achar,Andrea Bourque

2024-12-03

Abstract:We give a "lattice-theoretic" description of the global Schubert variety for $\mathrm{GL}_n$ associated to any dominant coweight.

Algebraic Geometry,Representation Theory
GIT quotient of Schubert varieties modulo one dimensional torus

Arkadev Ghosh,S.S.Kannan

2024-01-23

Abstract:Let $G$ be a simple algebraic group of adjoint type of rank $n$ over $\mathbb{C}$. Let $T$ be a maximal torus of $G$, and $B$ be a Borel subgroup of $G$ containing $T$. Let $W=N_{G}(T)/T$ be the Weyl group of $G$. Let $S=\{\alpha_{1},\ldots,\alpha_{n}\}$ be the set of simple roots of $G$ relative to $(B,T)$. Let $\lambda_{s}$ be the one parameter subgroup of $T$ dual to $\alpha_{s}$. In this paper, we give a criterion for Schubert varieties admitting semistable points for the $\lambda_{s}$-linearized line bundles $\mathcal{L}(\chi)$ associated to every dominant character $\chi$ of $T$. If $\omega_{r}$ is a minuscule fundamental weight and $m\omega_{r}\in X(T)$, then we prove that there is a unique minimal dimensional Schubert variety $X(w_{s,r})$ in $G/P_{S\setminus\{\alpha_{r}\}}$ such that $X(w_{s,r})^{ss}_{\lambda_{s}}(\mathcal{L}(m\omega_{r}))\neq \phi$. Further, we prove that if $G=PSL(n,\mathbb{C})$, and $n\nmid rs$, $m=\frac{n}{(rs,n)}$, and $p=\lfloor\frac{rs}{n}\rfloor$ then the GIT quotient of the minimal dimensional Schubert variety $X(w_{s,r})$ is isomorphic to the projective space $\mathbb{P}(M(s-p, r-p))$, where $M(s-p, r-p)$ is the $(s-p)\times (r-p)$-matrices with complex numbers as entries.

Algebraic Geometry
Cluster structures in Schubert varieties in the Grassmannian

K. Serhiyenko,M. Sherman‐Bennett,L. Williams

DOI: https://doi.org/10.1112/plms.12281

2019-07-29

Proceedings of the London Mathematical Society

Abstract:In this article we explain how the coordinate ring of each (open) Schubert variety in the Grassmannian can be identified with a cluster algebra, whose combinatorial structure is encoded using (target labelings of) Postnikov's plabic graphs. This result generalizes a theorem of Scott [Proc. Lond. Math. Soc. (3) 92 (2006) 345–380] for the Grassmannian, and proves a folklore conjecture for Schubert varieties that has been believed by experts since Scott's result [Proc. Lond. Math. Soc. (3) 92 (2006) 345–380], though the statement was not formally written down until Muller–Speyer explicitly conjectured it [Proc. Lond. Math. Soc. (3) 115 (2017) 1014–1071]. To prove this conjecture we use a result of Leclerc [Adv. Math. 300 (2016) 190–228] who used the module category of the preprojective algebra to prove that coordinate rings of many Richardson varieties in the complete flag variety can be identified with cluster algebras. Our proof also uses a construction of Karpman [J. Combin. Theory Ser. A 142 (2016) 113–146] to build plabic graphs associated to reduced expressions. We additionally generalize our result to the setting of skew‐Schubert varieties; the latter result uses generalized plabic graphs, that is, plabic graphs whose boundary vertices need not be labeled in cyclic order.

mathematics
Schubert valuations on Grassmann varieties

Rocco Chirivì,Xin Fang,Peter Littelmann

2024-03-13

Abstract:The goal of the paper is twofold: on one side it provides an order structure on the set of all maximal chains in the Bruhat poset of Schubert varieties in a Grassmann variety; on the other hand, using this order structure, it works out explicit formulae for the valuation and the Newton-Okounkov body associated to each maximal chain appearing in the framework of Seshadri stratification.

Algebraic Geometry,Combinatorics
On area-minimizing Pfaffian varieties

Hongbin Cui,Xiaoxiang Jiao,Xiaowei Xu

2023-05-11

Abstract:There are two significant families of minimal real matrix varieties: determinantal varieties and skew-symmetric determinantal varieties, the later ones are also known as Pfaffian varieties. In 1999, Kerckhove and Lawlor [Duke Math.J. 96(2),401--424,1999] proved that determinantal varieties are area-minimizing except for two families. In this paper we prove that all Pfaffian varieties are area-minimizing with the exception of Pfaffian hypersurfaces.

Algebraic Geometry,Differential Geometry
Conormal Varieties of covexillary Schubert Varieties

Rahul Singh

DOI: https://doi.org/10.48550/arXiv.2203.14407

2022-03-27

Algebraic Geometry

Abstract:A permutation is called covexillary if it avoids the pattern $3412$. We construct an open embedding of a covexillary matrix Schubert variety into a Grassmannian Schubert variety. As applications of this embedding, we show that the characteristic cycles of covexillary Schubert varieties are irreducible, and provide a new proof of Lascoux's model computing Kazhdan-Lusztig polynomials of vexillary permutations. Combining the above embedding with earlier work of the author on the conormal varieties of Grassmannian Schubert varieties, we develop an algebraic criterion identifying the conormal varieties of covexillary Schubert and matrix Schubert varieties as subvarieties of the respective cotangent bundles.

Minimal equations for matrix Schubert varieties

ON MINIMAL IMMERSIONS OF R2 INTO THE NEARLY KÄHLER S6 1

Minimal semisimple Hessenberg schemes

Matrix Schubert varieties, binomial ideals, and reduced Gröbner bases

Presenting the cohomology of a Schubert variety: Proof of the minimality conjecture

The minimality of determinantal varieties

Gröbner bases, symmetric matrices, and type C Kazhdan–Lusztig varieties

Gorenstein locus of minuscule Schubert varieties

On the Reduced Gröbner Bases of Blockwise Determinantal Ideals

Representations from matrix varieties, and filtered RSK

Fine multidegrees, universal Grobner bases, and matrix Schubert varieties

Schubert geometry and combinatorics

Minuscule Schubert Calculus and the Geometric Satake Correspondence

Equations of curves with minimal discriminant

Multiprojective Seshadri stratifications for Schubert varieties and standard monomial theory

On global Schubert varieties for the general linear group

GIT quotient of Schubert varieties modulo one dimensional torus

Cluster structures in Schubert varieties in the Grassmannian

Schubert valuations on Grassmann varieties

On area-minimizing Pfaffian varieties

Conormal Varieties of covexillary Schubert Varieties