-
An anticanonical perspective on G/P Schubert varieties
Authors:
Changzheng Li,
Konstanze Rietsch,
Mingzhi Yang
Abstract:
We describe a natural basis of the Cartier class group of an arbitrary Schubert variety $X_{w,P}$ in a flag variety $G/P$ of general Lie type. We then characterise when the Schubert variety is factorial/Fano, along with an explicit formula for the anticanonical line bundle in these cases. We also prove that, for Schubert varieties in simply-laced types (only), being factorial is equivalent to bein…
▽ More
We describe a natural basis of the Cartier class group of an arbitrary Schubert variety $X_{w,P}$ in a flag variety $G/P$ of general Lie type. We then characterise when the Schubert variety is factorial/Fano, along with an explicit formula for the anticanonical line bundle in these cases. We also prove that, for Schubert varieties in simply-laced types (only), being factorial is equivalent to being $Q$-factorial, and is equivalent to the equality of the Betti numbers $b_2(X_{w,P})=b_{2\ell(w)-2}(X_{w,P})$. Finally, we give a convenient characterisation of when a simply-laced Schubert variety is Gorenstein and when it is Gorenstein Fano.
△ Less
Submitted 23 June, 2025;
originally announced June 2025.
-
A superpotential for Grassmannian Schubert varieties
Authors:
Konstanze Rietsch,
Lauren Williams
Abstract:
While mirror symmetry for flag varieties and Grassmannians has been extensively studied, Schubert varieties in the Grassmannian are singular, and hence standard mirror symmetry statements are not well-defined. Nevertheless, in this article we introduce a ``superpotential'' $W^λ$ for each Grassmannian Schubert variety $X_λ$, generalizing the Marsh-Rietsch superpotential for Grassmannians, and we sh…
▽ More
While mirror symmetry for flag varieties and Grassmannians has been extensively studied, Schubert varieties in the Grassmannian are singular, and hence standard mirror symmetry statements are not well-defined. Nevertheless, in this article we introduce a ``superpotential'' $W^λ$ for each Grassmannian Schubert variety $X_λ$, generalizing the Marsh-Rietsch superpotential for Grassmannians, and we show that $W^λ$ governs many toric degenerations of $X_λ$. We also generalize the ``polytopal mirror theorem'' for Grassmannians from our previous work: namely, for any cluster seed $G$ for $X_λ$, we construct a corresponding Newton-Okounkov convex body $Δ_G^λ$, and show that it coincides with the superpotential polytope $Γ_G^λ$, that is, it is cut out by the inequalities obtained by tropicalizing an associated Laurent expansion of $W^λ$. This gives us a toric degeneration of the Schubert variety $X_λ$ to the (singular) toric variety $Y(\mathcal{N}_λ)$ of the Newton-Okounkov body. Finally, for a particular cluster seed $G=G^λ_{\mathrm{rec}}$ we show that the toric variety $Y(\mathcal{N}_λ)$ has a small toric desingularisation, and we describe an intermediate partial desingularisation $Y(\mathcal{F}_λ)$ that is Gorenstein Fano. Many of our results extend to more general varieties in the Grassmannian.
△ Less
Submitted 1 September, 2024;
originally announced September 2024.
-
Root polytopes, flow polytopes, and order polytopes
Authors:
Konstanze Rietsch,
Lauren Williams
Abstract:
In this paper we study the class of polytopes which can be obtained by taking the convex hull of some subset of the points $\{e_i-e_j \ \vert \ i \neq j\} \cup \{\pm e_i\}$ in $\mathbb{R}^n$, where $e_1,\dots,e_n$ is the standard basis of $\mathbb{R}^n$. Such a polytope can be encoded by a quiver $Q$ with vertices $V \subseteq \{v_1,\dots,v_n\} \cup \{\star\}$, where each edge $v_j\to v_i$ or…
▽ More
In this paper we study the class of polytopes which can be obtained by taking the convex hull of some subset of the points $\{e_i-e_j \ \vert \ i \neq j\} \cup \{\pm e_i\}$ in $\mathbb{R}^n$, where $e_1,\dots,e_n$ is the standard basis of $\mathbb{R}^n$. Such a polytope can be encoded by a quiver $Q$ with vertices $V \subseteq \{v_1,\dots,v_n\} \cup \{\star\}$, where each edge $v_j\to v_i$ or $\star \to v_i$ or $v_i\to \star$ gives rise to the point $e_i-e_j$ or $e_i$ or $-e_i$, respectively; we denote the corresponding polytope as $\operatorname{Root}(Q)$. These polytopes have been studied extensively under names such as edge polytope and root polytope. We show that if the quiver $Q$ is strongly-connected then the root polytope $\operatorname{Root}(Q)$ is reflexive and terminal; we moreover give a combinatorial description of the facets of $\operatorname{Root}(Q)$. We also show that if $Q$ is planar, then $\operatorname{Root}(Q)$ is (integrally equivalent to the) polar dual of the flow polytope of the dual quiver. Finally we consider the case that $Q$ comes from a ranked poset $P$, and show that $\operatorname{Root}(Q)$ is polar dual to (a translation of) a marked poset polytope. We then study the toric variety $Y(\mathcal{F}_Q)$ associated to the face fan $\mathcal{F}_Q$ of $\operatorname{Root}(Q)$. If $Q$ comes from a ranked poset $P$ we give a combinatorial description of the Picard group of $Y(\mathcal{F}_Q)$, and we show that $Y(\mathcal{F}_Q)$ is a small partial desingularisation of the Hibi toric variety $Y_{\mathcal{O}(P)}$ of the order polytope $\mathcal{O}(P)$. We show that $Y(\mathcal{F}_Q)$ has a small crepant toric resolution of singularities $Y(\widehat{\mathcal{F}}_Q)$, and as a consequence that the Hibi toric variety $Y_{\mathcal{O}(P)}$ has a small resolution of singularities for any ranked poset $P$. These results have applications to mirror symmetry.
△ Less
Submitted 12 June, 2025; v1 submitted 22 June, 2024;
originally announced June 2024.
-
Generalisations of Euler's Tonnetz on triangulated surfaces
Authors:
Konstanze Rietsch
Abstract:
We give a definition of a what we call a `tonnetz' on a triangulated surface, generalising the famous tonnetz of Euler from 1739. In Euler's tonnetz the vertices of a regular `$A_2$ triangulation' of the plane are labelled with notes, or pitch-classes. In our generalisation we allow much more general labellings of triangulated surfaces. In particular, edge labellings turn out to lead to a rich set…
▽ More
We give a definition of a what we call a `tonnetz' on a triangulated surface, generalising the famous tonnetz of Euler from 1739. In Euler's tonnetz the vertices of a regular `$A_2$ triangulation' of the plane are labelled with notes, or pitch-classes. In our generalisation we allow much more general labellings of triangulated surfaces. In particular, edge labellings turn out to lead to a rich set of examples. We construct natural examples that are related to crystallographic reflection groups and live on triangulations of tori. Underlying these we observe a curious relationship between mathematical Langlands duality and major/minor duality. We also construct `exotic' type-$A_2$ examples (different from Euler's Tonnetz), and a tonnetz on a sphere that encodes all major ninth chords.
△ Less
Submitted 28 January, 2024;
originally announced January 2024.
-
A Plücker coordinate mirror for partial flag varieties and quantum Schubert calculus
Authors:
Changzheng Li,
Konstanze Rietsch,
Mingzhi Yang,
Chi Zhang
Abstract:
We construct a Plücker coordinate superpotential $\mathcal{F}_-$ that is mirror to a partial flag variety $\mathbb{ F}\ell(n_\bullet)$. Its Jacobi ring recovers the small quantum cohomology of $\mathbb{ F}\ell(n_\bullet)$ and we prove a folklore conjecture in mirror symmetry. Namely, we show that the eigenvalues for the action of the first Chern class $c_1(\mathbb{ F}\ell(n_\bullet))$ on quantum c…
▽ More
We construct a Plücker coordinate superpotential $\mathcal{F}_-$ that is mirror to a partial flag variety $\mathbb{ F}\ell(n_\bullet)$. Its Jacobi ring recovers the small quantum cohomology of $\mathbb{ F}\ell(n_\bullet)$ and we prove a folklore conjecture in mirror symmetry. Namely, we show that the eigenvalues for the action of the first Chern class $c_1(\mathbb{ F}\ell(n_\bullet))$ on quantum cohomology are equal to the critical values of $\mathcal{F}_-$. We achieve this by proving new identities in quantum Schubert calculus that are inspired by our formula for $\mathcal{F}_-$ and the mirror symmetry conjecture.
△ Less
Submitted 9 February, 2024; v1 submitted 28 January, 2024;
originally announced January 2024.
-
Planar spider theorem and asymmetric Frobenius algebras
Authors:
Shahn Majid,
Konstanze Rietsch
Abstract:
The `spider theorem' for a general Frobenius algebra $A$, classifies all maps $A^{\otimes m}\to A^{\otimes n}$ that are built from the operations and, in a graphical representation, represented by a {\it connected} diagram. Here the algebra can be noncommutative and the Frobenius form can be asymmetric. We view this theorem as reducing any connected diagram to a standard form with $j$ beads $B$, w…
▽ More
The `spider theorem' for a general Frobenius algebra $A$, classifies all maps $A^{\otimes m}\to A^{\otimes n}$ that are built from the operations and, in a graphical representation, represented by a {\it connected} diagram. Here the algebra can be noncommutative and the Frobenius form can be asymmetric. We view this theorem as reducing any connected diagram to a standard form with $j$ beads $B$, where $j$ is the number of bounded connected components of the original diagram. We study the associated F-dimension Hilbert series $\dim_x=\sum_{j=0}^\infty x^j\dim_j$, where $\dim_j=ε\circ B^j\circ 1$ are invariants of the Frobenius structure. We also study moduli of asymmetric quasispecial and `weakly symmetric' Frobenius structures and their F-dimensions. Examples include general Frobenius structures on matrix algebras $A=M_d(k)$ and on group algebras $k G$ as well as on $u_q(sl_2)$ at low roots of unity.
△ Less
Submitted 25 November, 2021; v1 submitted 24 September, 2021;
originally announced September 2021.
-
The tropical critical point and mirror symmetry
Authors:
Jamie Judd,
Konstanze Rietsch
Abstract:
Call a Laurent polynomial $W$ `complete' if its Newton polytope is full-dimensional with zero in its interior. We show that if $W$ is any complete Laurent polynomial with coefficients in the positive part of the field $K$ of generalised Puiseux series, then $W$ has a unique positive critical point $p_{crit}$. Here a generalised Puiseux series is called `positive' if the coefficient of its leading…
▽ More
Call a Laurent polynomial $W$ `complete' if its Newton polytope is full-dimensional with zero in its interior. We show that if $W$ is any complete Laurent polynomial with coefficients in the positive part of the field $K$ of generalised Puiseux series, then $W$ has a unique positive critical point $p_{crit}$. Here a generalised Puiseux series is called `positive' if the coefficient of its leading term is in $\mathbb R_{>0}$. Using the valuation on $K$ we obtain a canonically associated `tropical critical point' $d_{crit}$ in $\mathbb R^{r}$ for which we give a finite recursive construction. We show that this result is compatible with a general form of mutation, so that it can be applied in a cluster varieties setting. We also give applications to toric geometry including, via the theory of [FOOO], to the construction of canonical non-displaceable Lagrangian tori for toric symplectic manifolds.
△ Less
Submitted 12 November, 2019; v1 submitted 11 November, 2019;
originally announced November 2019.
-
Newton-Okounkov bodies, cluster duality, and mirror symmetry for Grassmannians
Authors:
Konstanze Rietsch,
Lauren Williams
Abstract:
We use cluster structures and mirror symmetry to explicitly describe a natural class of Newton-Okounkov bodies for Grassmannians. We consider the Grassmannian $X=Gr_{n-k}(\mathbb C^n)$, as well as the mirror dual Landau-Ginzburg model $(\check{X}^\circ, W_q:\check{X}^\circ \to \mathbb C)$, where $\check{X}^\circ$ is the complement of a particular anti-canonical divisor in a Langlands dual Grassman…
▽ More
We use cluster structures and mirror symmetry to explicitly describe a natural class of Newton-Okounkov bodies for Grassmannians. We consider the Grassmannian $X=Gr_{n-k}(\mathbb C^n)$, as well as the mirror dual Landau-Ginzburg model $(\check{X}^\circ, W_q:\check{X}^\circ \to \mathbb C)$, where $\check{X}^\circ$ is the complement of a particular anti-canonical divisor in a Langlands dual Grassmannian $\check{X} = Gr_k((\mathbb C^n)^*)$, and the superpotential W_q has a simple expression in terms of Plücker coordinates. Grassmannians simultaneously have the structure of an $\mathcal{A}$-cluster variety and an $\mathcal{X}$-cluster variety. Given a cluster seed G, we consider two associated coordinate systems: a $\mathcal X$-cluster chart $Φ_G:(\mathbb C^*)^{k(n-k)}\to X^{\circ}$ and a $\mathcal A$-cluster chart $Φ_G^{\vee}:(\mathbb C^*)^{k(n-k)}\to \check{X}^\circ$. To each $\mathcal X$-cluster chart $Φ_G$ and ample `boundary divisor' $D$ in $X\setminus X^{\circ}$, we associate a Newton-Okounkov body $Δ_G(D)$ in $\mathbb R^{k(n-k)}$, which is defined as the convex hull of rational points. On the other hand using the $\mathcal A$-cluster chart $Φ_G^{\vee}$ on the mirror side, we obtain a set of rational polytopes, described by inequalities, by writing the superpotential $W_q$ in the $\mathcal A$-cluster coordinates, and then "tropicalising". Our main result is that the Newton-Okounkov bodies $Δ_G(D)$ and the polytopes obtained by tropicalisation coincide. As an application, we construct degenerations of the Grassmannian to toric varieties corresponding to these Newton-Okounkov bodies. Additionally, when $G$ corresponds to a plabic graph, we give a formula for the lattice points of the Newton-Okounkov bodies, which has an interpretation in terms of quantum Schubert calculus.
△ Less
Submitted 11 April, 2019; v1 submitted 30 November, 2017;
originally announced December 2017.
-
Cluster duality and mirror symmetry for Grassmannians
Authors:
Konstanze Rietsch,
Lauren Williams
Abstract:
In this article we use the cluster structure on the Grassmannian and the combinatorics of plabic graphs to exhibit a new aspect of mirror symmetry for Grassmannians in terms of polytopes. For our $A$-model, we consider the Grassmannian $\mathbb X=Gr_{n-k}(\mathbb{C}^n)$. The $B$-model is a Landau-Ginzburg model $(\check{\mathbb X}^\circ, W_q:\check{\mathbb X}^\circ \to \mathbb{C})$, where…
▽ More
In this article we use the cluster structure on the Grassmannian and the combinatorics of plabic graphs to exhibit a new aspect of mirror symmetry for Grassmannians in terms of polytopes. For our $A$-model, we consider the Grassmannian $\mathbb X=Gr_{n-k}(\mathbb{C}^n)$. The $B$-model is a Landau-Ginzburg model $(\check{\mathbb X}^\circ, W_q:\check{\mathbb X}^\circ \to \mathbb{C})$, where $\check{\mathbb X}^\circ$ is the complement of a particular anti-canonical divisor in a Langlands dual Grassmannian $\check{\mathbb X} = Gr_k((\mathbb{C}^n)^*)$, and the superpotential $W_q$ has a simple expression in terms of Plücker coordinates, see [MarshRietsch]. From a given plabic graph $G$ we obtain two coordinate systems: using work of Postnikov and Talaska we have a positive chart $Φ_G:(\mathbb{C}^*)^{k(n-k)}\to \mathbb X$ in our $A$-model, and using work of Scott we have a cluster chart $Φ_G^{\vee}:(\mathbb{C}^*)^{k(n-k)}\to \check{\mathbb X}$ in our $B$-model. To each positive chart $Φ_G$ and choice of positive integer $r$, we associate a polytope $NO_G^r$, which we construct as the convex hull of a set of integer lattice points. This polytope is an example of a Newton-Okounkov polytope associated to the line bundle $\mathcal O(r)$ on $\mathbb X$. On the other hand, using the cluster chart $Φ_G^{\vee}$ and the same positive integer $r$, we obtain a polytope $Q_G^r$ -- described in terms of inequalities -- by "tropicalizing" the composition $W_{t^r}\circ Φ_G^{\vee}$. Our main result is that the polytopes $NO_G^r$ and $Q_G^r$ coincide.
△ Less
Submitted 5 December, 2017; v1 submitted 28 July, 2015;
originally announced July 2015.
-
On Landau-Ginzburg models for quadrics and flat sections of Dubrovin connections
Authors:
Clélia Pech,
Konstanze Rietsch,
Lauren Williams
Abstract:
This paper proves a version of mirror symmetry expressing the (small) Dubrovin connection for even-dimensional quadrics in terms of a mirror-dual Landau-Ginzburg model (Xcan,W). Here Xcan is the complement of an anticanonical divisor in a Langlands dual quadric. The superpotential W is a regular function on Xcan and is written in terms of coordinates which are naturally identified with a cohomolog…
▽ More
This paper proves a version of mirror symmetry expressing the (small) Dubrovin connection for even-dimensional quadrics in terms of a mirror-dual Landau-Ginzburg model (Xcan,W). Here Xcan is the complement of an anticanonical divisor in a Langlands dual quadric. The superpotential W is a regular function on Xcan and is written in terms of coordinates which are naturally identified with a cohomology basis of the original quadric. This superpotential is shown to extend the earlier Landau-Ginzburg model of Givental, and to be isomorphic to the Lie-theoretic mirror introduced by Rietsch. We also introduce a Laurent polynomial superpotential which is the restriction of W to a particular torus in Xcan. Together with results of Pech-Rietsch for odd quadrics, we obtain a combinatorial model for the Laurent polynomial superpotential in terms of a quiver, in the vein of those introduced in the 1990's by Givental for type A full flag varieties. These Laurent polynomial superpotentials form a single series, despite the fact that our mirrors of even quadrics are defined on dual quadrics, while the mirror to an odd quadric is naturally defined on a projective space. Finally, we express flat sections of the (dual) Dubrovin connection in a natural way in terms of oscillating integrals associated to (Xcan,W) and compute explicitly a particular flat section.
△ Less
Submitted 29 September, 2014; v1 submitted 18 April, 2014;
originally announced April 2014.
-
The B-model connection and mirror symmetry for Grassmannians
Authors:
Bethany Marsh,
Konstanze Rietsch
Abstract:
We consider the Grassmannian X of (n-k)-dimensional subspaces of an n-dimensional complex vector space. We describe a `mirror dual' Landau-Ginzburg model for X consisting of the complement of a particular anti-canonical divisor in a Langlands dual Grassmannian together with a superpotential expressed succinctly in terms of Plücker coordinates. First of all, we show this Landau-Ginzburg model to…
▽ More
We consider the Grassmannian X of (n-k)-dimensional subspaces of an n-dimensional complex vector space. We describe a `mirror dual' Landau-Ginzburg model for X consisting of the complement of a particular anti-canonical divisor in a Langlands dual Grassmannian together with a superpotential expressed succinctly in terms of Plücker coordinates. First of all, we show this Landau-Ginzburg model to be isomorphic to the one proposed by the second author. Secondly we show it to be a partial compactification of the Landau-Ginzburg model defined in the 1990s by Eguchi, Hori, and Xiong. Finally we construct inside the Gauss-Manin system associated to the superpotential a free submodule which recovers the trivial vector bundle with small Dubrovin connection defined out of Gromov-Witten invariants of X. We also prove a T-equivariant version of this isomorphism of connections. Our results imply in the case of Grassmannians an integral formula for a solution to the quantum cohomology D-module of a homogeneous space, which was conjectured by the second author. They also imply a series expansion of the top term in Givental's J-function, which was conjectured in a 1998 paper by Batyrev, Ciocan-Fontaine, Kim and van Straten.
△ Less
Submitted 23 March, 2020; v1 submitted 3 July, 2013;
originally announced July 2013.
-
A comparison of Landau-Ginzburg models for odd dimensional Quadrics
Authors:
C. Pech,
K. Rietsch
Abstract:
In [Rie08], the second author defined a Landau-Ginzburg model for homogeneous spaces G/P. In this paper, we reformulate this LG model in the case of the odd-dimensional quadric X=Q_{2m-1}. Namely we introduce a regular function Wcan on a variety Xcan x C*, where Xcan is the complement of a particular anticanonical divisor in the the projective space CP^{2m-1}=P(H*(X,C)*). Firstly we prove that the…
▽ More
In [Rie08], the second author defined a Landau-Ginzburg model for homogeneous spaces G/P. In this paper, we reformulate this LG model in the case of the odd-dimensional quadric X=Q_{2m-1}. Namely we introduce a regular function Wcan on a variety Xcan x C*, where Xcan is the complement of a particular anticanonical divisor in the the projective space CP^{2m-1}=P(H*(X,C)*). Firstly we prove that the Jacobi ring associated to Wcan is isomorphic to the quantum cohomology ring of the quadric, and that this isomorphism is compatible with the identification of homogeneous coordinates on Xcan with elements of H*(X,C). Secondly we find a very natural Laurent polynomial formula for Wcan by restricting it to a `Lusztig torus' in Xcan. Thirdly we show that the Dubrovin connection on H*(X,C[q]) embeds into the Gauss-Manin system associated to Wcan and deduce a flat section formula in terms of oscillating integrals. Finally, we compare (Xcan,Wcan) with previous Landau-Ginzburg models defined for odd quadrics. Namely, we prove that it is a partial compactification of Givental's original LG model [Giv96]. We show that our LG model is isomorphic to the Lie-theoretic LG model from [Rie08]. Moreover it is birationally equivalent to an LG model introduced by Gorbounov and Smirnov [GS13], and it is algebraically isomorphic to Gorbounov and Smirnov's mirror for Q_3, implying a tameness property in that case.
△ Less
Submitted 28 September, 2016; v1 submitted 17 June, 2013;
originally announced June 2013.
-
A Landau-Ginzburg model for Lagrangian Grassmannians, Langlands duality and relations in quantum cohomology
Authors:
C. Pech,
K. Rietsch
Abstract:
In [Rie08], the second author defined a Landau-Ginzburg model for homogeneous spaces G/P, as a regular function on an affine subvariety of the Langlands dual group. In this paper, we reformulate this LG-model (X^,W_t) in the case of the Lagrangian Grassmannian LG(m) as a rational function on a Langlands dual orthogonal Grassmannian, in the spirit of work by R. Marsh and the second author [MR12] fo…
▽ More
In [Rie08], the second author defined a Landau-Ginzburg model for homogeneous spaces G/P, as a regular function on an affine subvariety of the Langlands dual group. In this paper, we reformulate this LG-model (X^,W_t) in the case of the Lagrangian Grassmannian LG(m) as a rational function on a Langlands dual orthogonal Grassmannian, in the spirit of work by R. Marsh and the second author [MR12] for type A Grassmannians. This LG model has some very interesting features, which are not visible in the type A case, to do with the non-triviality of Langlands duality.
We also formulate a conjecture relating our superpotential with the quantum differential equations of LG(m). Finally, our expression for W_t also leads us to conjecture new formulas in the quantum Schubert calculus of LG(m).
△ Less
Submitted 17 April, 2013;
originally announced April 2013.
-
Lie theory and coverings of finite groups
Authors:
Shahn Majid,
Konstanze Rietsch
Abstract:
We introduce the notion of an `inverse property' (IP) quandle C which we propose as the right notion of `Lie algebra' in the category of sets. To any IP quandle we construct an associated group G_C. For a class of IP quandles which we call `locally skew' and when G_C is finite we show that the noncommutative de Rham cohomology H^1(G_C) is trivial aside from a single generator θthat has no classica…
▽ More
We introduce the notion of an `inverse property' (IP) quandle C which we propose as the right notion of `Lie algebra' in the category of sets. To any IP quandle we construct an associated group G_C. For a class of IP quandles which we call `locally skew' and when G_C is finite we show that the noncommutative de Rham cohomology H^1(G_C) is trivial aside from a single generator θthat has no classical analogue. If we start with a group G then any subset C\subseteq G\setminus {e} which is ad-stable and inversion-stable naturally has the structure of an IP quandle. If C also generates G then we show that G_C \twoheadrightarrow G with central kernel, in analogy with the similar result for the simply-connected covering group of a Lie group. We prove that G_C\twoheadrightarrow G is an isomorphism for all finite crystallographic reflection groups W with C the set of reflections, and that C is locally skew precisely in the simply laced case. This implies that H^1(W)=k when W is simply laced, proving in particular a previous conjecture for S_n. We obtain similar results for the dihedral groups D_{6m}. We also consider C=Z P^1\cup Z P^1 as a locally skew IP-quandle `Lie algebra' of SL_2(Z) and show that G_C\cong B_3, the braid group on 3 strands. The map B_3\twoheadrightarrow SL_2(Z) which arises naturally as a covering map in our theory, coincides with the restriction of the universal covering map \widetilde {SL_2(R)}\to SL_2(R) to the inverse image of SL_2(Z).
△ Less
Submitted 23 November, 2012; v1 submitted 31 August, 2012;
originally announced September 2012.
-
Total positivity, Schubert positivity, and Geometric Satake
Authors:
Thomas Lam,
Konstanze Rietsch
Abstract:
Let G be a simple and simply-connected complex algebraic group, and let X \subset G^\vee be the centralizer subgroup of a principal nilpotent element. Ginzburg and Peterson independently related the ring of functions on X with the homology ring of the affine Grassmannian Gr_G. Peterson furthermore connected this ring to the quantum cohomology rings of partial flag varieties G/P.
The first aim of…
▽ More
Let G be a simple and simply-connected complex algebraic group, and let X \subset G^\vee be the centralizer subgroup of a principal nilpotent element. Ginzburg and Peterson independently related the ring of functions on X with the homology ring of the affine Grassmannian Gr_G. Peterson furthermore connected this ring to the quantum cohomology rings of partial flag varieties G/P.
The first aim of this paper is to study three different notions of positivity on X: (1) Schubert positivity arising via Peterson's work, (2) total positivity in the sense of Lusztig, and (3) Mirkovic-Vilonen positivity obtained from the MV-cycles in Gr_G. Our first main theorem establishes that these three notions of positivity coincide. The second aim of this paper is to parametrize the totally nonnegative part of X, confirming a conjecture of the second author.
In type A a substantial part of our results were previously established by the second author. The crucial new component of this paper is the connection with the affine Grassmannian and the geometric Satake correspondence.
△ Less
Submitted 24 April, 2012; v1 submitted 7 March, 2012;
originally announced March 2012.
-
Lie theory of finite simple groups and the Roth property
Authors:
Javier López Peña,
Shahn Majid,
Konstanze Rietsch
Abstract:
In noncommutative geometry a `Lie algebra' or bidirectional bicovariant differential calculus on a finite group is provided by a choice of an ad-stable generating subset C stable under inversion. We study the associated Killing form. For the universal calculus associated to C=G \ {e} we show that the magnitude of the Killing form μ=\sum_{a,b\in C}K^{-1}_{a,b} is defined for all finite groups (even…
▽ More
In noncommutative geometry a `Lie algebra' or bidirectional bicovariant differential calculus on a finite group is provided by a choice of an ad-stable generating subset C stable under inversion. We study the associated Killing form. For the universal calculus associated to C=G \ {e} we show that the magnitude of the Killing form μ=\sum_{a,b\in C}K^{-1}_{a,b} is defined for all finite groups (even when K is not invertible) and that a finite group is Roth, meaning its conjugation representation contains every irreducible, iff μ is not equal to 1/(N-1), where N is the number of conjugacy classes. We show further that the Killing form is invertible in the Roth case, and that the Killing form restricted to the (N-1)-dimensional subspace of invariant vectors is invertible iff the finite group is almost-Roth group (meaning its conjugation representation has at most one missing irreducible). It is known that most finite simple groups are Roth and that all are almost Roth. At the other extreme from the universal calculus we prove that the generating conjugacy class in the case of the dihedral groups D_{2n} with n odd has invertible Killing form, and the same for the 2-cycles conjugacy class in any S_n. We also compute some eigenvalues of the Killing form in the case of the n-cycles class in S_n. Finally, we verify invertibility of the Killing forms of all real conjugacy classes in all nonabelian finite simple groups to order 75,000, by computer, and we conjecture this to extend to all nonabelian finite simple groups.
△ Less
Submitted 23 November, 2012; v1 submitted 29 March, 2010;
originally announced March 2010.
-
Discrete Morse theory for totally non-negative flag varieties
Authors:
Konstanze Rietsch,
Lauren Williams
Abstract:
In a seminal 1994 paper, Lusztig extended the theory of total positivity by introducing the totally non-negative part (G/P)_{\geq 0} of an arbitrary (generalized, partial) flag variety G/P. He referred to this space as a "remarkable polyhedral subspace", and conjectured a decomposition into cells, which was subsequently proven by the first author. Subsequently the second author made the concrete…
▽ More
In a seminal 1994 paper, Lusztig extended the theory of total positivity by introducing the totally non-negative part (G/P)_{\geq 0} of an arbitrary (generalized, partial) flag variety G/P. He referred to this space as a "remarkable polyhedral subspace", and conjectured a decomposition into cells, which was subsequently proven by the first author. Subsequently the second author made the concrete conjecture that this cell decomposed space is the next best thing to a polyhedron, by conjecturing it to be a regular CW complex that is homeomorphic to a closed ball. In this article we use discrete Morse theory to prove this conjecture up to homotopy-equivalence. Explicitly, we prove that the boundaries of the cells are homotopic to spheres, and the closures of cells are contractible. The latter part generalizes a result of Lusztig's that (G/P)_{\geq 0} -- the closure of the top-dimensional cell -- is contractible. Concerning our result on the boundaries of cells, even the special case that the boundary of the top-dimensional cell (G/P)_{> 0} is homotopic to a sphere, is new for all G/P other than projective space.
△ Less
Submitted 15 May, 2010; v1 submitted 23 October, 2008;
originally announced October 2008.
-
The totally nonnegative part of G/P is a CW complex
Authors:
Konstanze Rietsch,
Lauren Williams
Abstract:
The totally nonnegative part of a partial flag variety G/P has been shown by the first author to be a union of semi-algebraic cells. Moreover she showed that the closure of a cell is the union of smaller cells. In this note we provide glueing maps for each of the cells to prove that the totally nonnegative part of G/P is a CW complex. This generalizes a result of Postnikov, Speyer and the second…
▽ More
The totally nonnegative part of a partial flag variety G/P has been shown by the first author to be a union of semi-algebraic cells. Moreover she showed that the closure of a cell is the union of smaller cells. In this note we provide glueing maps for each of the cells to prove that the totally nonnegative part of G/P is a CW complex. This generalizes a result of Postnikov, Speyer and the second author for Grassmannians.
△ Less
Submitted 7 February, 2008;
originally announced February 2008.
-
A mirror symmetric solution to the quantum Toda lattice
Authors:
Konstanze Rietsch
Abstract:
We use representation theory to construct integral formulas for solutions to the quantum Toda lattice in general type. This result generalizes work of Givental for SL(n)/B in a uniform way to arbitrary type and can be interpreted as a kind of mirror theorem for the full flag variety G/B. We also prove the existence of a totally positive critical point of the 'superpotential' in every mirror fiber.
We use representation theory to construct integral formulas for solutions to the quantum Toda lattice in general type. This result generalizes work of Givental for SL(n)/B in a uniform way to arbitrary type and can be interpreted as a kind of mirror theorem for the full flag variety G/B. We also prove the existence of a totally positive critical point of the 'superpotential' in every mirror fiber.
△ Less
Submitted 26 March, 2011; v1 submitted 22 May, 2007;
originally announced May 2007.
-
A mirror construction for the totally nonnegative part of the Peterson variety
Authors:
Konstanze Rietsch
Abstract:
We explain how A. Givental's mirror symmetric family to the type A flag variety and its proposed generalization to partial flag varieties by Batyrev, Ciocan-Fontanine, Kim and van Straten relate to the Peterson variety Y in SL_n/B. We then use this theory to describe the totally nonnegative part of Y.
We explain how A. Givental's mirror symmetric family to the type A flag variety and its proposed generalization to partial flag varieties by Batyrev, Ciocan-Fontanine, Kim and van Straten relate to the Peterson variety Y in SL_n/B. We then use this theory to describe the totally nonnegative part of Y.
△ Less
Submitted 4 December, 2006; v1 submitted 7 April, 2006;
originally announced April 2006.
-
Normal forms for orthogonal similarity classes of skew-symmetric matrices
Authors:
Dragomir Z Djokovic,
Konstanze Rietsch,
Kaiming Zhao
Abstract:
Let F be an algebraically closed field of characteristic different from 2. We show that every nonsingular skew-symmetric n by n matrix X over F is orthogonally similar to a bidiagonal skew-symmetric matrix. In the singular case one has to allow some 4-diagonal blocks as well. If further the characteristic is 0, we construct the normal form for O_n(F)-similarity classes of skew-symmetric matrices…
▽ More
Let F be an algebraically closed field of characteristic different from 2. We show that every nonsingular skew-symmetric n by n matrix X over F is orthogonally similar to a bidiagonal skew-symmetric matrix. In the singular case one has to allow some 4-diagonal blocks as well. If further the characteristic is 0, we construct the normal form for O_n(F)-similarity classes of skew-symmetric matrices. In this case the known normal forms (as presented in the well known book by Gantmacher) are quite different.
Finally we study some related varieties of matrices. We prove that the variety of normalized nilpotent n by n bidiagonal matrices for n=2s+1 is irreducible of dimension s. As a consequence the skew-symmetric nilpotent bidiagonal n by n matrices are shown to form a variety of pure dimension s.
△ Less
Submitted 4 December, 2006; v1 submitted 10 March, 2006;
originally announced March 2006.
-
A mirror symmetric construction of qH*_T(G/P)_(q)
Authors:
Konstanze Rietsch
Abstract:
Let G be a simple simply connected complex algebraic group. We give a Lie theoretic construction of a conjectural mirror family associated to a general flag variety G/P, and show that it recovers the Peterson variety presentation for the T-equivariant quantum cohomology rings qH*_T(G/P)_(q) with quantum parameters inverted. For SL_n/B we relate our construction to the mirror family defined by Gi…
▽ More
Let G be a simple simply connected complex algebraic group. We give a Lie theoretic construction of a conjectural mirror family associated to a general flag variety G/P, and show that it recovers the Peterson variety presentation for the T-equivariant quantum cohomology rings qH*_T(G/P)_(q) with quantum parameters inverted. For SL_n/B we relate our construction to the mirror family defined by Givental and its T-equivariant analogue due to Joe and Kim.
△ Less
Submitted 22 August, 2007; v1 submitted 7 November, 2005;
originally announced November 2005.
-
Closure relations for totally nonnegative cells in G/P
Authors:
Konstanze Rietsch
Abstract:
The totally nonnegative part of a partial flag variety G/P is known to have a decomposition into semi-algebraic cells. We show that the closure of a cell is again a union of cells and give a combinatorial description of the closure relations. The totally nonnegative cells are defined by intersecting the totally nonnegative part with a certain stratification of G/P defined by Lusztig. We also ver…
▽ More
The totally nonnegative part of a partial flag variety G/P is known to have a decomposition into semi-algebraic cells. We show that the closure of a cell is again a union of cells and give a combinatorial description of the closure relations. The totally nonnegative cells are defined by intersecting the totally nonnegative part with a certain stratification of G/P defined by Lusztig. We also verify the same closure relations for these strata.
△ Less
Submitted 10 November, 2005; v1 submitted 6 September, 2005;
originally announced September 2005.
-
An introduction to perverse sheaves
Authors:
Konstanze Rietsch
Abstract:
These notes aim to give a first introduction to intersection cohomology and perverse sheaves with applications to representation theory or quantum groups in mind.
These notes aim to give a first introduction to intersection cohomology and perverse sheaves with applications to representation theory or quantum groups in mind.
△ Less
Submitted 26 July, 2003;
originally announced July 2003.
-
Parametrizations of flag varieties
Authors:
Bethany Marsh,
K. Rietsch
Abstract:
For the flag variety G/B of a reductive algebraic group G we define a certain (set-theoretical) cross-section phi from G/B to G, which depends on a choice of reduced expression for the longest element in the Weyl group. This cross-section is continuous along the components of Deodhar's decomposition of G/B and assigns to any flag gB a representative phi(gB) in G which comes with a natural factor…
▽ More
For the flag variety G/B of a reductive algebraic group G we define a certain (set-theoretical) cross-section phi from G/B to G, which depends on a choice of reduced expression for the longest element in the Weyl group. This cross-section is continuous along the components of Deodhar's decomposition of G/B and assigns to any flag gB a representative phi(gB) in G which comes with a natural factorization into simple root subgroups and simple reflections. We introduce a generalization of the Chamber Ansatz of Berenstein, Fomin and Zelevinsky and use it to obtain formulas for the factors of phi(gB). Our results then allow us parameterize explicitly the components of the totally nonnegative part of the flag variety as defined by Lusztig. This gives a new proof of Lusztig's conjectured cell decomposition of this set.
△ Less
Submitted 15 April, 2004; v1 submitted 2 July, 2003;
originally announced July 2003.
-
Totally positive Toeplitz matrices and quantum cohomology of partial flag varieties
Authors:
Konstanze Rietsch
Abstract:
We show that the set of totally positive unipotent lower-triangular Toeplitz matrices in $GL_n$ form a real semi-algebraic cell of dimension $n-1$. Furthermore we prove a natural cell decomposition for its closure. The proof uses properties of the quantum cohomology rings of the partial flag varieties of $GL_n(\C)$ relying in particular on the positivity of the structure constants, which are enu…
▽ More
We show that the set of totally positive unipotent lower-triangular Toeplitz matrices in $GL_n$ form a real semi-algebraic cell of dimension $n-1$. Furthermore we prove a natural cell decomposition for its closure. The proof uses properties of the quantum cohomology rings of the partial flag varieties of $GL_n(\C)$ relying in particular on the positivity of the structure constants, which are enumerative Gromov--Witten invariants. We also give a characterization of total positivity for Toeplitz matrices in terms of the (quantum) Schubert classes. This work builds on some results of Dale Peterson's which we explain with proofs in the type $A$ case.
△ Less
Submitted 3 December, 2001;
originally announced December 2001.
-
Quantum Cohomology of Grassmannians and Total Positivity
Authors:
Konstanze Rietsch
Abstract:
We give a proof of a result of D. Peterson's identifying the quantum cohomology ring of a Grassmannian with the reduced coordinate ring of a certain subvariety of $GL_n$. The totally positive part of this subvariety is then constructed and we give closed formulas for the values of the Schubert basis elements on the totally positive points. We then use the developed methods to give a new proof of…
▽ More
We give a proof of a result of D. Peterson's identifying the quantum cohomology ring of a Grassmannian with the reduced coordinate ring of a certain subvariety of $GL_n$. The totally positive part of this subvariety is then constructed and we give closed formulas for the values of the Schubert basis elements on the totally positive points. We then use the developed methods to give a new proof of a formula of Vafa and Intriligator and Bertram for the structure constants (Gromov--Witten invariants). Finally, we use the positivity of these Gromov--Witten invariants to prove certain inequalities for Schur polynomials at roots of unity.
△ Less
Submitted 3 December, 2001;
originally announced December 2001.
-
The intersection of opposed big cells in the real flag variety of type G_2
Authors:
Bethany Marsh,
K. Rietsch
Abstract:
We compute the Euler characteristics of the individual connected components of the intersection of two opposed big cells in the real flag variety of type $G_2$, verifying a conjecture of Rietsch.
We compute the Euler characteristics of the individual connected components of the intersection of two opposed big cells in the real flag variety of type $G_2$, verifying a conjecture of Rietsch.
△ Less
Submitted 25 October, 2000;
originally announced October 2000.
-
An algebraic cell decomposition of the nonnegative part of a flag variety
Authors:
K. Rietsch
Abstract:
We study the nonnegative part B_{\ge 0} of the flag variety of a reductive algebraic group G, as defined by Lusztig. Using positivity properties of the canonical basis it is shown that B_{\ge 0} has an algebraic cell decomposition indexed by pairs w\le w' of the Weyl group. This result was conjectired by Lusztig in [Lu; Progress in Math 123].
We study the nonnegative part B_{\ge 0} of the flag variety of a reductive algebraic group G, as defined by Lusztig. Using positivity properties of the canonical basis it is shown that B_{\ge 0} has an algebraic cell decomposition indexed by pairs w\le w' of the Weyl group. This result was conjectired by Lusztig in [Lu; Progress in Math 123].
△ Less
Submitted 30 September, 1997;
originally announced September 1997.
