-
Tropical initial degeneration for systems of algebraic differential equations
Authors:
Lara Bossinger,
Sebastian Falkensteiner,
Cristhian Garay-López,
Marc Paul Noordman
Abstract:
We study the notion of degeneration for affine schemes associated to systems of algebraic differential equations with coefficients in the fraction field of a multivariate formal power series ring. In order to do this, we use an integral structure of this field that arises as the unit ball associated to the tropical valuation, first introduced in the context of tropical differential algebra. This u…
▽ More
We study the notion of degeneration for affine schemes associated to systems of algebraic differential equations with coefficients in the fraction field of a multivariate formal power series ring. In order to do this, we use an integral structure of this field that arises as the unit ball associated to the tropical valuation, first introduced in the context of tropical differential algebra. This unit ball turns out to be a particular type of integral domain, known as Bézout domain. By applying to these systems a translation map along a vector of weights that emulates the one used in classical tropical algebraic geometry, the resulting translated systems will have coefficients in this unit ball. When the resulting quotient module over the unit ball is torsion-free, then it gives rise to integral models of the original system in which every prime ideal of the unit ball defines an initial degeneration, and they can be found as a base-change to the residue field of the prime ideal.
In particular, the closed fibres of our integral models can be rightfully called initial degenerations, since we show that the maximal ideals of this unit ball naturally correspond to monomial orders. We use this correspondence to define initial forms of differential polynomials and initial ideals of differential ideals, and we show that they share many features of their classical analogues.
△ Less
Submitted 19 September, 2023;
originally announced September 2023.
-
Newton--Okounkov bodies and minimal models for cluster varieties
Authors:
Lara Bossinger,
Man-Wai Cheung,
Timothy Magee,
Alfredo Nájera Chávez
Abstract:
Let $Y$ be a (partial) minimal model of a scheme $V$ with a cluster structure. Under natural assumptions, for every choice of seed we associate a Newton--Okounkov body to every divisor on $Y$ supported on $Y \setminus V$ and show that these Newton--Okounkov bodies are positive sets in the sense of Gross, Hacking, Keel and Kontsevich \cite{GHKK}. This construction essentially reverses the procedure…
▽ More
Let $Y$ be a (partial) minimal model of a scheme $V$ with a cluster structure. Under natural assumptions, for every choice of seed we associate a Newton--Okounkov body to every divisor on $Y$ supported on $Y \setminus V$ and show that these Newton--Okounkov bodies are positive sets in the sense of Gross, Hacking, Keel and Kontsevich \cite{GHKK}. This construction essentially reverses the procedure in loc. cit. that generalizes the polytope construction of a toric variety to the framework of cluster varieties.
In a closely related setting, we consider cases where $Y$ is a projective variety whose universal torsor $\text{UT}_Y$ is a partial minimal model of a scheme with a cluster structure of type $\mathcal A$. If the theta functions parametrized by the integral points of the associated superpotential cone form a basis of the ring of algebraic functions on $\text{UT}_Y$ and the action of the torus $T_{\text{Pic}(Y)^*}$ on $\text{UT}_Y$ is compatible with the cluster structure, then for every choice of seed we associate a Newton--Okounkov body to every line bundle on $Y$. We prove that any such Newton--Okounkov body is a positive set and that $Y$ is a minimal model of a quotient of a cluster $\mathcal A$-variety by the action of a torus.
Our constructions lead to the notion of the intrinsic Newton--Okounkov body associated to a boundary divisor in a partial minimal model of a scheme with a cluster structure. This provides a wide class of examples of Newton-Okoukov bodies exhibiting a wall-crossing phenomenon in the sense of Escobar--Harada \cite{EH20}.
This approach includes the partial flag varieties that arise as minimal models of cluster varieties. For the case of Grassmannians, our approach recovers, up to interesting unimodular equivalences, the Newton--Okounkov bodies constructed by Rietsch--Williams in \cite{RW}.
△ Less
Submitted 8 May, 2023;
originally announced May 2023.
-
Infinite matroids in tropical differential algebra
Authors:
F. Aroca,
L. Bossinger,
S. Falkensteiner,
C. Garay Lopez,
L. R. Gonzalez-Ramirez,
C. V. Valencia Negrete
Abstract:
We consider a finite-dimensional vector space $W\subset K^E$ over an arbitrary field $K$ and an arbitrary set $E$. We show that the set $C(W)\subset 2^E$ consisting of the minimal supports of $W$ are the circuits of a matroid on $E$. In particular, we show that this matroid is cofinitary (hence, tame). When the cardinality of $K$ is large enough (with respect to the cardinality of $E$), then the s…
▽ More
We consider a finite-dimensional vector space $W\subset K^E$ over an arbitrary field $K$ and an arbitrary set $E$. We show that the set $C(W)\subset 2^E$ consisting of the minimal supports of $W$ are the circuits of a matroid on $E$. In particular, we show that this matroid is cofinitary (hence, tame). When the cardinality of $K$ is large enough (with respect to the cardinality of $E$), then the set $trop(W)\subset 2^E$ consisting of all the supports of $W$ is a matroid itself.
Afterwards we apply these results to tropical differential algebraic geometry and study the set of supports $trop(Sol(Σ))\subset (2^{\mathbb{N}^{m}})^n$ of spaces of formal power series solutions $\text{Sol}(Σ)$ of systems of linear differential equations $Σ$ in differential variables $x_1,\ldots,x_n$ having coefficients in the ring ${K}[\![t_1,\ldots,t_m]\!]$. If $Σ$ is of differential type zero, then the set $C(Sol(Σ))\subset (2^{\mathbb{N}^{m}})^n$ of minimal supports defines a matroid on $E=\mathbb{N}^{mn}$, and if the cardinality of $K$ is large enough, then the set of supports $trop(Sol(Σ))$ itself is a matroid on $E$ as well. By applying the fundamental theorem of tropical differential algebraic geometry (fttdag), we give a necessary condition under which the set of solutions $Sol(U)$ of a system $U$ of tropical linear differential equations to be a matroid.
We also give a counterexample to the fttdag for systems $Σ$ of linear differential equations over countable fields. In this case, the set $trop(Sol(Σ))$ may not form a matroid.
△ Less
Submitted 29 May, 2023; v1 submitted 8 May, 2023;
originally announced May 2023.
-
A survey on toric degenerations of projective varieties
Authors:
Lara Bossinger
Abstract:
In this survey I summarize the constructions of toric degenerations obtained from valuations and Gröbner theory and describe in which sense they are equivalent. I show how adapted bases can be used to generalize the classical Newton polytope to what is called a $\mathbb B$-Newton polytope. The $\mathbb B$-Newton polytope determines the Newton--Okounkov polytopes of all Khovanskii-finite valuations…
▽ More
In this survey I summarize the constructions of toric degenerations obtained from valuations and Gröbner theory and describe in which sense they are equivalent. I show how adapted bases can be used to generalize the classical Newton polytope to what is called a $\mathbb B$-Newton polytope. The $\mathbb B$-Newton polytope determines the Newton--Okounkov polytopes of all Khovanskii-finite valuations sharing the adapted standard monomial basis $\mathbb B$.
△ Less
Submitted 6 January, 2023;
originally announced January 2023.
-
Adjacency for scattering amplitudes from the Gröbner fan
Authors:
L. Bossinger,
J. M. Drummond,
R. Glew
Abstract:
Scattering amplitudes in planar $\mathcal{N}=4$ super Yang-Mills theory exhibit singularities which reflect various aspects of the cluster algebras associated to the Grassmannians ${\rm Gr}(4,n)$ and their tropical counterparts. Here we investigate the potential origins of such structures and examine the extent to which they can be recovered from the Gröbner structure of the underlying Plücker ide…
▽ More
Scattering amplitudes in planar $\mathcal{N}=4$ super Yang-Mills theory exhibit singularities which reflect various aspects of the cluster algebras associated to the Grassmannians ${\rm Gr}(4,n)$ and their tropical counterparts. Here we investigate the potential origins of such structures and examine the extent to which they can be recovered from the Gröbner structure of the underlying Plücker ideals, focussing on the Grassmannians corresponding to finite cluster algebras.
Starting from the Plücker ideal, we describe how the polynomial cluster variables are encoded in non-prime initial ideals associated to certain maximal cones of the positive tropical fan. Following [1] we show that extending the Plücker ideal by such variables leads to a Gröbner fan with a single maximal Gröbner cone spanned by the positive tropical rays. The associated initial ideal encodes the compatibility relations among the full set of cluster variables. Thus we find that the Gröbner structure naturally encodes both the symbol alphabet and the cluster adjacency relations exhibited by scattering amplitudes without invoking the cluster algebra at all.
As a potential application of these ideas we then examine the kinematic ideal associated to non-dual conformal massless scattering written in terms of spinor helicity variables. For five-particle scattering we find that the ideal can be identified with the Plücker ideal for ${\rm Gr}(3,6)$ and the corresponding tropical fan contains a number of non-prime ideals which encode all additional letters of the two-loop pentagon function alphabet present in various calculations of massless five-point finite remainders.
△ Less
Submitted 17 December, 2022;
originally announced December 2022.
-
Maps to toric varieties and toric degenerations
Authors:
Takuya Murata,
Lara Bossinger
Abstract:
We study and construct maps to toric varieties. In the process, we generalize torus embeddings to the non-projective case. Moreover, we give an analog of Cox's construction of toric varieties as GIT quotients of affine spaces for the non-normal case after T. Kajiwara.
The main focus of the paper is an application to toric degenerations, (proper) families whose special fibers are not-necessarily-…
▽ More
We study and construct maps to toric varieties. In the process, we generalize torus embeddings to the non-projective case. Moreover, we give an analog of Cox's construction of toric varieties as GIT quotients of affine spaces for the non-normal case after T. Kajiwara.
The main focus of the paper is an application to toric degenerations, (proper) families whose special fibers are not-necessarily-normal toric varieties. We give a negative answer to a question of I. Dolgachev and K. Kaveh as to whether a toric degeneration can be constructed as a degeneration by projection. In the classical topology over the complex numbers, we recover an alternative construction of integral systems as was done by Harada--Kaveh in M. Harada and K. Kaveh. "Integrable systems, toric degenerations and okounkov bodie" using a deformation retract. In particular, we have an analogue of a moment map from a variety admitting a toric degeneration to its Newton--Okounkov polytope.
△ Less
Submitted 1 July, 2024; v1 submitted 24 October, 2022;
originally announced October 2022.
-
Tropical totally positive cluster varieties
Authors:
Lara Bossinger
Abstract:
We study the relation between the integer tropical points of a cluster variety (satisfying the full Fock-Goncharov conjecture) and the totally positive part of the tropicalization of an ideal presenting the corresponding cluster algebra. Suppose we are given a presentation of the cluster algebra by a Khovanskii basis for a collection of ${\bf g}$-vector valuations associated with several seeds rel…
▽ More
We study the relation between the integer tropical points of a cluster variety (satisfying the full Fock-Goncharov conjecture) and the totally positive part of the tropicalization of an ideal presenting the corresponding cluster algebra. Suppose we are given a presentation of the cluster algebra by a Khovanskii basis for a collection of ${\bf g}$-vector valuations associated with several seeds related by mutations. In presence of a full rank fully extended exchange matrix we construct the rays of a subfan of the totally positive part of the tropicalization of the ideal that coincides combinatorially with the subgraph of the exchange graph of the cluster algebra corresponding to the collection of seeds. Moreover, geometric information about Gross-Hacking-Keel-Kontsevich's toric degenerations associated with seeds gets identified with the Gröbner toric degenerations obtained from maximal cones in the tropicalization. As application we prove a conjecture about the relation between Rietsch-Williams' valuations for Grassmannians arising from plabic graphs \cite{RW17} to Kaveh-Manon's work on valuations from the tropicalization of an ideal \cite{KM16}. In a second application we give a partial answer to the question if the Feigin-Fourier-Littelmann-Vinberg degeneration of the full flag variety in type $\mathtt A$ is isomorphic to a degeneration obtained from the cluster structure.
△ Less
Submitted 27 November, 2022; v1 submitted 2 August, 2022;
originally announced August 2022.
-
Families of Gröbner Degenerations, Grassmannians and Universal Cluster Algebras
Authors:
Lara Bossinger,
Fatemeh Mohammadi,
Alfredo Nájera Chávez
Abstract:
Let $V$ be the weighted projective variety defined by a weighted homogeneous ideal $J$ and $C$ a maximal cone in the Gröbner fan of $J$ with $m$ rays. We construct a flat family over $\mathbb A^m$ that assembles the Gröbner degenerations of $V$ associated with all faces of $C$. This is a multi-parameter generalization of the classical one-parameter Gröbner degeneration associated to a weight. We e…
▽ More
Let $V$ be the weighted projective variety defined by a weighted homogeneous ideal $J$ and $C$ a maximal cone in the Gröbner fan of $J$ with $m$ rays. We construct a flat family over $\mathbb A^m$ that assembles the Gröbner degenerations of $V$ associated with all faces of $C$. This is a multi-parameter generalization of the classical one-parameter Gröbner degeneration associated to a weight. We explain how our family can be constructed from Kaveh-Manon's recent work on the classification of toric flat families over toric varieties: it is the pull-back of a toric family defined by a Rees algebra with base $X_C$ (the toric variety associated to $C$) along the universal torsor $\mathbb A^m \to X_C$. We apply this construction to the Grassmannians ${\rm Gr}(2,\mathbb C^n)$ with their Plücker embeddings and the Grassmannian ${\rm Gr}\big(3,\mathbb C^6\big)$ with its cluster embedding. In each case, there exists a unique maximal Gröbner cone whose associated initial ideal is the Stanley-Reisner ideal of the cluster complex. We show that the corresponding cluster algebra with universal coefficients arises as the algebra defining the flat family associated to this cone. Further, for ${\rm Gr}(2,\mathbb C^n)$ we show how Escobar-Harada's mutation of Newton-Okounkov bodies can be recovered as tropicalized cluster mutation.
△ Less
Submitted 10 June, 2021; v1 submitted 29 July, 2020;
originally announced July 2020.
-
Birational sequences and the tropical Grassmannian
Authors:
Lara Bossinger
Abstract:
We introduce iterated sequences for Grassmannians, a new class of Fang-Fourier-Littelmanns' birational sequences and explain how they give rise to points in $\text{trop}(\text{Gr}(k,\mathbb C^n))$, Speyer-Sturmfels' tropical Grassmannian. For $\text{Gr}(2,\mathbb C^n)$ we show that the associated valuations induce toric degenerations. We describe recursively the vertices of the corresponding Newto…
▽ More
We introduce iterated sequences for Grassmannians, a new class of Fang-Fourier-Littelmanns' birational sequences and explain how they give rise to points in $\text{trop}(\text{Gr}(k,\mathbb C^n))$, Speyer-Sturmfels' tropical Grassmannian. For $\text{Gr}(2,\mathbb C^n)$ we show that the associated valuations induce toric degenerations. We describe recursively the vertices of the corresponding Newton--Okounkov polytopes, which are particular vertices of a hypercube and hence integral. We show further that every toric degeneration of $\text{Gr}(2,\mathbb C^{n})$ constructed using the tropical Grassmannian can be recovered by iterated sequences.
△ Less
Submitted 11 May, 2021; v1 submitted 28 March, 2019;
originally announced March 2019.
-
Full-rank Valuations and Toric Initial Ideals
Authors:
Lara Bossinger
Abstract:
Let $V(I)$ be a polarized projective variety or a subvariety of a product of projective spaces and let $A$ be its (multi-)homogeneous coordinate ring. Given a full-rank valuation $\mathfrak v$ on $A$ we associate weights to the coordinates of the projective space, respectively, the product of projective spaces. Let $w_{\mathfrak v}$ be the vector whose entries are these weights. Our main result is…
▽ More
Let $V(I)$ be a polarized projective variety or a subvariety of a product of projective spaces and let $A$ be its (multi-)homogeneous coordinate ring. Given a full-rank valuation $\mathfrak v$ on $A$ we associate weights to the coordinates of the projective space, respectively, the product of projective spaces. Let $w_{\mathfrak v}$ be the vector whose entries are these weights. Our main result is that the value semi-group of $\mathfrak v$ is generated by the images of the generators of $A$ if and only if the initial ideal of $I$ with respect to $w_{\mathfrak v}$ is prime. We further show that $w_{\mathfrak v}$ always lies in the tropicalization of $I$.
Applying our result to string valuations for flag varieties, we solve a conjecture by \cite{BLMM} connecting the Minkowski property of string cones with the tropical flag variety. For Rietsch-Williams' valuation for Grassmannians our results give a criterion for when the Plücker coordinates form a Khovanskii basis. Further, as a corollary we obtain that the weight vectors defined in \cite{BFFHL} lie in the tropical Grassmannian.
△ Less
Submitted 11 May, 2021; v1 submitted 26 March, 2019;
originally announced March 2019.
-
Toric degenerations of cluster varieties and cluster duality
Authors:
Lara Bossinger,
Bosco Frías-Medina,
Timothy Magee,
Alfredo Nájera Chávez
Abstract:
We introduce the notion of a $Y$-pattern with coefficients and its geometric counterpart: a cluster $\mathcal{X}$-variety with coefficients. We use these constructions to build a flat degeneration of every skew-symmetrizable specially completed cluster $\mathcal{X}$-variety $\widehat{\mathcal{X}}$ to the toric variety associated to its $\mathbf{g}$-fan. Moreover, we show that the fibers of this fa…
▽ More
We introduce the notion of a $Y$-pattern with coefficients and its geometric counterpart: a cluster $\mathcal{X}$-variety with coefficients. We use these constructions to build a flat degeneration of every skew-symmetrizable specially completed cluster $\mathcal{X}$-variety $\widehat{\mathcal{X}}$ to the toric variety associated to its $\mathbf{g}$-fan. Moreover, we show that the fibers of this family are stratified in a natural way, with strata the specially completed $\mathcal{X}$-varieties encoded by $\mathrm{Star}(τ)$ for each cone $τ$ of the $\mathbf{g}$-fan. These strata degenerate to the associated toric strata of the central fiber. We further show that the family is cluster dual to $\mathcal{A}_{\mathrm{prin}}$ of Gross-Hacking-Keel-Kontsevich, and the fibers cluster dual to $\mathcal{A}_t$. Finally, we give two applications. First, we use our construction to identify the Rietsch-Williams toric degeneration of Grassmannians with the Gross-Hacking-Keel-Kontsevich degeneration in the case of $\mathrm{Gr}_2(\mathbb{C}^5)$. Next, we use it to link cluster duality to Batyrev-Borisov duality of Gorenstein toric Fanos in the context of mirror symmetry.
△ Less
Submitted 2 November, 2020; v1 submitted 21 September, 2018;
originally announced September 2018.
-
Toric degenerations: a bridge between representation theory, tropical geometry and cluster algebras
Authors:
Lara Bossinger
Abstract:
In this thesis we study toric degenerations of projective varieties. We compare different constructions to understand how and why they are related as s first step towards developing a global framework. In focus are toric degenerations obtained from representation theory, tropical geometry and cluster algebras. Often those rely on valuations and the theory of Newton-Okounkov bodies. Toric degenerat…
▽ More
In this thesis we study toric degenerations of projective varieties. We compare different constructions to understand how and why they are related as s first step towards developing a global framework. In focus are toric degenerations obtained from representation theory, tropical geometry and cluster algebras. Often those rely on valuations and the theory of Newton-Okounkov bodies. Toric degenerations can be seen as a combinatorial shadow of the original objects. The goal is therefore to understand why the different theories are so closely related, by understanding the toric degenerations they yield first. We choose Grassmannians, flag varieties and Schubert varieties as starting point as here many different constructions are applicable. One of our main results gives a sufficient condition for when toric degenerations obtained using full-rank valuations, independent of how these are constructed, can be realized using tropical geometry.
△ Less
Submitted 6 June, 2018;
originally announced June 2018.
-
Following Schubert varieties under Feigin's degeneration of the flag variety
Authors:
Lara Bossinger,
Martina Lanini
Abstract:
We describe the effect of Feigin's flat degeneration of the type $\textrm{A}$ flag variety on its Schubert varieties. In particular, we study when they stay irreducible and in several cases we are able to encode reducibility of the degenerations in terms of symmetric group combinatorics. As a side result, we obtain an identification of some Schubert varieties with Richardson varieties in higher ra…
▽ More
We describe the effect of Feigin's flat degeneration of the type $\textrm{A}$ flag variety on its Schubert varieties. In particular, we study when they stay irreducible and in several cases we are able to encode reducibility of the degenerations in terms of symmetric group combinatorics. As a side result, we obtain an identification of some Schubert varieties with Richardson varieties in higher rank partial flag varieties.
△ Less
Submitted 20 February, 2023; v1 submitted 12 February, 2018;
originally announced February 2018.
-
Computing toric degenerations of flag varieties
Authors:
Lara Bossinger,
Sara Lamboglia,
Kalina Mincheva,
Fatemeh Mohammadi
Abstract:
We compute toric degenerations arising from the tropicalization of the full flag varieties $\mathcal{F}\ell_4$ and $\mathcal{F}\ell_5$ embedded in a product of Grassmannians. For $\mathcal{F}\ell_4$ and $\mathcal{F}\ell_5$ we compare toric degenerations arising from string polytopes and the FFLV polytope with those obtained from the tropicalization of the flag varieties. We also present a general…
▽ More
We compute toric degenerations arising from the tropicalization of the full flag varieties $\mathcal{F}\ell_4$ and $\mathcal{F}\ell_5$ embedded in a product of Grassmannians. For $\mathcal{F}\ell_4$ and $\mathcal{F}\ell_5$ we compare toric degenerations arising from string polytopes and the FFLV polytope with those obtained from the tropicalization of the flag varieties. We also present a general procedure to find toric degenerations in the cases where the initial ideal arising from a cone of the tropicalization of a variety is not prime.
△ Less
Submitted 3 February, 2018; v1 submitted 17 February, 2017;
originally announced February 2017.
-
Toric degenerations of Gr(2,n) and Gr(3,6) via plabic graphs
Authors:
Lara Bossinger,
Xin Fang,
Ghislain Fourier,
Milena Hering,
Martina Lanini
Abstract:
We establish an explicit bijection between the toric degenerations of the Grassmannian $\textrm{Gr}(2,n)$ arising from maximal cones in tropical Grassmannians and the ones coming from plabic graphs corresponding to $\textrm{Gr}(2,n)$. We show that a similar statement does not hold for $\textrm{Gr}(3,6)$.
We establish an explicit bijection between the toric degenerations of the Grassmannian $\textrm{Gr}(2,n)$ arising from maximal cones in tropical Grassmannians and the ones coming from plabic graphs corresponding to $\textrm{Gr}(2,n)$. We show that a similar statement does not hold for $\textrm{Gr}(3,6)$.
△ Less
Submitted 12 December, 2016;
originally announced December 2016.
-
String cone and Superpotential combinatorics for flag and Schubert varieties in type A
Authors:
Lara Bossinger,
Ghislain Fourier
Abstract:
We study the combinatorics of pseudoline arrangements and their relation to the geometry of flag and Schubert varieties. We associate to each pseudoline arrangement two polyhedral cones, defined in a dual manner. We prove that one of them is the weighted string cone by Littelmann and Berenstein-Zelevinsky. For the other we show how it arises in the framework of cluster varieties and mirror symmetr…
▽ More
We study the combinatorics of pseudoline arrangements and their relation to the geometry of flag and Schubert varieties. We associate to each pseudoline arrangement two polyhedral cones, defined in a dual manner. We prove that one of them is the weighted string cone by Littelmann and Berenstein-Zelevinsky. For the other we show how it arises in the framework of cluster varieties and mirror symmetry by Gross-Hacking-Keel-Kontsevich: for the flag variety the cone is the tropicalization of their superpotential while for Schubert varieties a restriction of the superpotential is necessary.
We prove that the two cones are unimodularly equivalent. As a corollary of our combinatorial result we realize Caldero's toric degenerations of Schubert varieties as GHKK-degeneration using cluster theory.
△ Less
Submitted 29 April, 2019; v1 submitted 20 November, 2016;
originally announced November 2016.
-
The degree of the Hilbert-Poincaré polynomial of PBW-graded modules
Authors:
Teodor Backhaus,
Lara Bossinger,
Christian Desczyk,
Ghislain Fourier
Abstract:
In this note, we study the Hilbert-Poincaré polynomials for the PBW-graded of simple modules for a simple complex Lie algebra. The computation of their degree can be reduced to modules of fundamental highest weight. We provide these degrees explicitly.
In this note, we study the Hilbert-Poincaré polynomials for the PBW-graded of simple modules for a simple complex Lie algebra. The computation of their degree can be reduced to modules of fundamental highest weight. We provide these degrees explicitly.
△ Less
Submitted 30 October, 2014; v1 submitted 5 August, 2014;
originally announced August 2014.