-
Fundamental groups of moduli spaces of real weighted stable curves
Authors:
Jake Levinson,
Haggai Liu
Abstract:
The ordinary and $S_n$-equivariant fundamental groups of the moduli space $\overline{M_{0,n+1}}(\mathbb{R})$ of real $(n+1)$-marked stable curves of genus $0$ are known as \emph{cactus groups} $J_n$ and have applications both in geometry and the representation theory of Lie algebras. In this paper, we compute the ordinary and $S_n$-equivariant fundamental groups of the Hassett space of weighted re…
▽ More
The ordinary and $S_n$-equivariant fundamental groups of the moduli space $\overline{M_{0,n+1}}(\mathbb{R})$ of real $(n+1)$-marked stable curves of genus $0$ are known as \emph{cactus groups} $J_n$ and have applications both in geometry and the representation theory of Lie algebras. In this paper, we compute the ordinary and $S_n$-equivariant fundamental groups of the Hassett space of weighted real stable curves $\overline{M_{0,\mathcal{A}}}(\mathbb{R})$ with $S_n$-symmetric weight vector $\mathcal{A} = (1/a, \ldots, 1/a, 1)$, which we call \emph{weighted cactus groups} $J_n^a$. We show that $J_n^a$ is obtained from the usual cactus presentation by introducing braid relations, which successively simplify the group from $J_n$ to $S_n \rtimes \mathbb{Z}/2\mathbb{Z}$ as $a$ increases. Our proof is by decomposing $\overline{M_{0,\mathcal{A}}}(\mathbb{R})$ as a polytopal complex, generalizing a similar known decomposition for $\overline{M_{0,n+1}}(\mathbb{R})$. In the unweighted case, these cells are known to be cubes and are `dual' to the usual decomposition into associahedra (by the combinatorial type of the stable curve). For $\overline{M_{0,\mathcal{A}}}(\mathbb{R})$, our decomposition instead consists of products of permutahedra. The cells of the decomposition are indexed by weighted stable trees, but `dually' to the usual indexing.
△ Less
Submitted 29 March, 2025;
originally announced March 2025.
-
Rational Curves in Projective Toric Varieties
Authors:
Nathan Ilten,
Jake Levinson
Abstract:
We study embedded rational curves in projective toric varieties. Generalizing results of the first author and Zotine for the case of lines, we show that any degree $d$ rational curve in a toric variety $X$ can be constructed from a special affine-linear map called a degree $d$ Cayley structure. We characterize when the curves coming from a degree $d$ Cayley structure are smooth and have degree…
▽ More
We study embedded rational curves in projective toric varieties. Generalizing results of the first author and Zotine for the case of lines, we show that any degree $d$ rational curve in a toric variety $X$ can be constructed from a special affine-linear map called a degree $d$ Cayley structure. We characterize when the curves coming from a degree $d$ Cayley structure are smooth and have degree $d$. We use this to establish a bijection between the set of irreducible components of the Hilbert scheme whose general element is a smooth degree $d$ curve, and so-called maximal smooth Cayley structures. Furthermore, we describe the normalization of the torus orbit closure of such rational curves in the Chow variety, and give partial results for the orbit closures in the Hilbert scheme.
△ Less
Submitted 27 December, 2023;
originally announced December 2023.
-
Products of boundary classes on M_0,n-bar via balanced weights
Authors:
Maria Gillespie,
Jake Levinson
Abstract:
In this note, we give a simple closed formula for an arbitrary product, landing in dimension 0, of boundary classes on the Deligne--Mumford moduli space M_0,n-bar. For any such boundary strata $X_{T_1}, \ldots, X_{T_\ell}$, we show the intersection product $\int \prod_{i=1}^\ell [X_{T_i}]$ is either a signed product of multinomial coefficients, or zero, and provide a simple criterion for determini…
▽ More
In this note, we give a simple closed formula for an arbitrary product, landing in dimension 0, of boundary classes on the Deligne--Mumford moduli space M_0,n-bar. For any such boundary strata $X_{T_1}, \ldots, X_{T_\ell}$, we show the intersection product $\int \prod_{i=1}^\ell [X_{T_i}]$ is either a signed product of multinomial coefficients, or zero, and provide a simple criterion for determining when it is nonzero.
We do not claim originality for our product formula, but to our knowledge it does not appear elsewhere in the literature.
△ Less
Submitted 29 June, 2024; v1 submitted 15 November, 2023;
originally announced November 2023.
-
Minimal degree fibrations in curves and the asymptotic degree of irrationality of divisors
Authors:
Jake Levinson,
David Stapleton,
Brooke Ullery
Abstract:
In this paper we study the degrees of irrationality of hypersurfaces of large degree in a complex projective variety. We show that the maps computing the degrees of irrationality of these hypersurfaces factor through rational fibrations of the ambient variety. As a consequence, we give tight bounds on the degree of irrationality of these hypersurfaces in terms of a new invariant of independent int…
▽ More
In this paper we study the degrees of irrationality of hypersurfaces of large degree in a complex projective variety. We show that the maps computing the degrees of irrationality of these hypersurfaces factor through rational fibrations of the ambient variety. As a consequence, we give tight bounds on the degree of irrationality of these hypersurfaces in terms of a new invariant of independent interest: the minimal fibering degree of a projective variety with respect to an effective divisor. As a corollary we show that the degree of irrationality of a complete intersection of sufficiently large and unbalanced degrees is roughly the product of the degrees. This gives a partial answer to a question of Bastianelli, De Poi, Ein, Lazarsfeld, and the third author.
△ Less
Submitted 19 April, 2023;
originally announced April 2023.
-
A proof of a conjecture by Monin and Rana on equations defining $\bar{M}_{0,n}$
Authors:
Maria Gillespie,
Sean T. Griffin,
Jake Levinson
Abstract:
Monin and Rana conjectured a set of equations defining the image of the moduli space $\bar{M}_{0,n}$ under an embedding into $\mathbb{P}^1\times \cdots\times \mathbb{P}^{n-3}$ due to Keel and Tevelev and verified the conjecture for $n\leq 8$ using Macaulay2. We prove this conjecture for all $n$.
Monin and Rana conjectured a set of equations defining the image of the moduli space $\bar{M}_{0,n}$ under an embedding into $\mathbb{P}^1\times \cdots\times \mathbb{P}^{n-3}$ due to Keel and Tevelev and verified the conjecture for $n\leq 8$ using Macaulay2. We prove this conjecture for all $n$.
△ Less
Submitted 14 September, 2022;
originally announced September 2022.
-
Degenerations and multiplicity-free formulas for products of $ψ$ and $ω$ classes on $\overline{M}_{0,n}$
Authors:
Maria Gillespie,
Sean T. Griffin,
Jake Levinson
Abstract:
We consider products of $ψ$ classes and products of $ω$ classes on $\overline{M}_{0,n+3}$. For each product, we construct a flat family of subschemes of $\overline{M}_{0,n+3}$ whose general fiber is a complete intersection representing the product, and whose special fiber is a generically reduced union of boundary strata. Our construction is built up inductively as a sequence of one-parameter dege…
▽ More
We consider products of $ψ$ classes and products of $ω$ classes on $\overline{M}_{0,n+3}$. For each product, we construct a flat family of subschemes of $\overline{M}_{0,n+3}$ whose general fiber is a complete intersection representing the product, and whose special fiber is a generically reduced union of boundary strata. Our construction is built up inductively as a sequence of one-parameter degenerations, using an explicit parametrized collection of hyperplane sections. Combinatorially, our construction expresses each product as a positive, multiplicity-free sum of classes of boundary strata. These are given by a combinatorial algorithm on trees we call 'slide labeling'. As a corollary, we obtain a combinatorial formula for the $κ$ classes in terms of boundary strata.
For degree-$n$ products of $ω$ classes, the special fiber is a finite reduced union of (boundary) points, and its cardinality is one of the multidegrees of the corresponding embedding $Ω_n: \overline{M}_{0,n+3}\to \mathbb{P}^1\times \cdots \times \mathbb{P}^n$. In the case of the product $ω_1\cdots ω_n$, these points exhibit a connection to permutation pattern avoidance. Finally, we show that in certain cases, a prior interpretation of the multidegrees via tournaments can also be obtained by degenerations.
△ Less
Submitted 18 January, 2022;
originally announced January 2022.
-
NL-Augmenter: A Framework for Task-Sensitive Natural Language Augmentation
Authors:
Kaustubh D. Dhole,
Varun Gangal,
Sebastian Gehrmann,
Aadesh Gupta,
Zhenhao Li,
Saad Mahamood,
Abinaya Mahendiran,
Simon Mille,
Ashish Shrivastava,
Samson Tan,
Tongshuang Wu,
Jascha Sohl-Dickstein,
Jinho D. Choi,
Eduard Hovy,
Ondrej Dusek,
Sebastian Ruder,
Sajant Anand,
Nagender Aneja,
Rabin Banjade,
Lisa Barthe,
Hanna Behnke,
Ian Berlot-Attwell,
Connor Boyle,
Caroline Brun,
Marco Antonio Sobrevilla Cabezudo
, et al. (101 additional authors not shown)
Abstract:
Data augmentation is an important component in the robustness evaluation of models in natural language processing (NLP) and in enhancing the diversity of the data they are trained on. In this paper, we present NL-Augmenter, a new participatory Python-based natural language augmentation framework which supports the creation of both transformations (modifications to the data) and filters (data split…
▽ More
Data augmentation is an important component in the robustness evaluation of models in natural language processing (NLP) and in enhancing the diversity of the data they are trained on. In this paper, we present NL-Augmenter, a new participatory Python-based natural language augmentation framework which supports the creation of both transformations (modifications to the data) and filters (data splits according to specific features). We describe the framework and an initial set of 117 transformations and 23 filters for a variety of natural language tasks. We demonstrate the efficacy of NL-Augmenter by using several of its transformations to analyze the robustness of popular natural language models. The infrastructure, datacards and robustness analysis results are available publicly on the NL-Augmenter repository (https://github.com/GEM-benchmark/NL-Augmenter).
△ Less
Submitted 11 October, 2022; v1 submitted 5 December, 2021;
originally announced December 2021.
-
Springer fibers and the Delta Conjecture at $t=0$
Authors:
Sean T. Griffin,
Jake Levinson,
Alexander Woo
Abstract:
We introduce a family of varieties $Y_{n,λ,s}$, which we call the \emph{$Δ$-Springer varieties}, that generalize the type A Springer fibers. We give an explicit presentation of the cohomology ring $H^*(Y_{n,λ,s})$ and show that there is a symmetric group action on this ring generalizing the Springer action on the cohomology of a Springer fiber. In particular, the top cohomology groups are inductio…
▽ More
We introduce a family of varieties $Y_{n,λ,s}$, which we call the \emph{$Δ$-Springer varieties}, that generalize the type A Springer fibers. We give an explicit presentation of the cohomology ring $H^*(Y_{n,λ,s})$ and show that there is a symmetric group action on this ring generalizing the Springer action on the cohomology of a Springer fiber. In particular, the top cohomology groups are induction products of Specht modules with trivial modules. The $λ=(1^k)$ case of this construction gives a compact geometric realization for the expression in the Delta Conjecture at $t=0$. Finally, we generalize results of De Concini and Procesi on the scheme of diagonal nilpotent matrices by constructing an ind-variety $Y_{n,λ}$ whose cohomology ring is isomorphic to the coordinate ring of the scheme-theoretic intersection of an Eisenbud--Saltman rank variety and diagonal matrices.
△ Less
Submitted 26 August, 2023; v1 submitted 1 September, 2021;
originally announced September 2021.
-
Lazy tournaments and multidegrees of a projective embedding of $\overline{M}_{0,n}$
Authors:
Maria Gillespie,
Sean T. Griffin,
Jake Levinson
Abstract:
We provide a new geometric interpretation of the multidegrees of the (iterated) Kapranov embedding $Φ_n:\overline{M}_{0,n+3}\hookrightarrow \mathbb{P}^1\times \mathbb{P}^2\times \cdots \times \mathbb{P}^n$, where $\overline{M}_{0,n+3}$ is the moduli space of stable genus $0$ curves with $n+3$ marked points. We enumerate the multidegrees by disjoint sets of boundary points of…
▽ More
We provide a new geometric interpretation of the multidegrees of the (iterated) Kapranov embedding $Φ_n:\overline{M}_{0,n+3}\hookrightarrow \mathbb{P}^1\times \mathbb{P}^2\times \cdots \times \mathbb{P}^n$, where $\overline{M}_{0,n+3}$ is the moduli space of stable genus $0$ curves with $n+3$ marked points. We enumerate the multidegrees by disjoint sets of boundary points of $\overline{M}_{0,n+3}$ via a combinatorial algorithm on trivalent trees that we call a lazy tournament. These sets are compatible with the forgetting maps used to derive the recursion for the multidegrees proven in 2020 by Gillespie, Cavalieri, and Monin.
The lazy tournament points are easily seen to total $(2n-1)!!=(2n-1)\cdot (2n-3) \cdots 5 \cdot 3 \cdot 1$, giving a natural proof of the fact that the total degree of $Φ_n$ is the odd double factorial. This fact was first proven using an insertion algorithm on certain parking functions, and we additionally give a bijection to those parking functions.
△ Less
Submitted 30 July, 2021;
originally announced August 2021.
-
A Cayley-Bacharach theorem and plane configurations
Authors:
Jake Levinson,
Brooke Ullery
Abstract:
In this paper, we examine linear conditions on finite sets of points in projective space implied by the Cayley-Bacharach condition. In particular, by bounding the number of points satisfying the Cayley-Bacharach condition, we force them to lie on unions of low-dimensional linear spaces. These results are motivated by investigations into degrees of irrationality of complete intersections, which are…
▽ More
In this paper, we examine linear conditions on finite sets of points in projective space implied by the Cayley-Bacharach condition. In particular, by bounding the number of points satisfying the Cayley-Bacharach condition, we force them to lie on unions of low-dimensional linear spaces. These results are motivated by investigations into degrees of irrationality of complete intersections, which are controlled by minimum-degree rational maps to projective space. As an application of our main theorem, we describe the fibers of such maps for certain complete intersections of codimension two.
△ Less
Submitted 6 January, 2022; v1 submitted 16 February, 2021;
originally announced February 2021.
-
An Analysis of SVD for Deep Rotation Estimation
Authors:
Jake Levinson,
Carlos Esteves,
Kefan Chen,
Noah Snavely,
Angjoo Kanazawa,
Afshin Rostamizadeh,
Ameesh Makadia
Abstract:
Symmetric orthogonalization via SVD, and closely related procedures, are well-known techniques for projecting matrices onto $O(n)$ or $SO(n)$. These tools have long been used for applications in computer vision, for example optimal 3D alignment problems solved by orthogonal Procrustes, rotation averaging, or Essential matrix decomposition. Despite its utility in different settings, SVD orthogonali…
▽ More
Symmetric orthogonalization via SVD, and closely related procedures, are well-known techniques for projecting matrices onto $O(n)$ or $SO(n)$. These tools have long been used for applications in computer vision, for example optimal 3D alignment problems solved by orthogonal Procrustes, rotation averaging, or Essential matrix decomposition. Despite its utility in different settings, SVD orthogonalization as a procedure for producing rotation matrices is typically overlooked in deep learning models, where the preferences tend toward classic representations like unit quaternions, Euler angles, and axis-angle, or more recently-introduced methods. Despite the importance of 3D rotations in computer vision and robotics, a single universally effective representation is still missing. Here, we explore the viability of SVD orthogonalization for 3D rotations in neural networks. We present a theoretical analysis that shows SVD is the natural choice for projecting onto the rotation group. Our extensive quantitative analysis shows simply replacing existing representations with the SVD orthogonalization procedure obtains state of the art performance in many deep learning applications covering both supervised and unsupervised training.
△ Less
Submitted 25 June, 2020;
originally announced June 2020.
-
A Random Matrix Perspective on Mixtures of Nonlinearities for Deep Learning
Authors:
Ben Adlam,
Jake Levinson,
Jeffrey Pennington
Abstract:
One of the distinguishing characteristics of modern deep learning systems is that they typically employ neural network architectures that utilize enormous numbers of parameters, often in the millions and sometimes even in the billions. While this paradigm has inspired significant research on the properties of large networks, relatively little work has been devoted to the fact that these networks a…
▽ More
One of the distinguishing characteristics of modern deep learning systems is that they typically employ neural network architectures that utilize enormous numbers of parameters, often in the millions and sometimes even in the billions. While this paradigm has inspired significant research on the properties of large networks, relatively little work has been devoted to the fact that these networks are often used to model large complex datasets, which may themselves contain millions or even billions of constraints. In this work, we focus on this high-dimensional regime in which both the dataset size and the number of features tend to infinity. We analyze the performance of random feature regression with features $F=f(WX+B)$ for a random weight matrix $W$ and random bias vector $B$, obtaining exact formulae for the asymptotic training and test errors for data generated by a linear teacher model. The role of the bias can be understood as parameterizing a distribution over activation functions, and our analysis directly generalizes to such distributions, even those not expressible with a traditional additive bias. Intriguingly, we find that a mixture of nonlinearities can improve both the training and test errors over the best single nonlinearity, suggesting that mixtures of nonlinearities might be useful for approximate kernel methods or neural network architecture design.
△ Less
Submitted 12 November, 2021; v1 submitted 2 December, 2019;
originally announced December 2019.
-
Class groups of open Richardson varieties in the Grassmannian are trivial
Authors:
Jake Levinson,
Kevin Purbhoo
Abstract:
We prove that the divisor class group of any open Richardson variety in the Grassmannian is trivial. Our proof uses Nagata's criterion, localizing the coordinate ring at a suitable set of Plücker coordinates. We prove that these Plücker coordinates are prime elements by showing that the subscheme they define is an open subscheme of a positroid variety. Our results hold over any field and over the…
▽ More
We prove that the divisor class group of any open Richardson variety in the Grassmannian is trivial. Our proof uses Nagata's criterion, localizing the coordinate ring at a suitable set of Plücker coordinates. We prove that these Plücker coordinates are prime elements by showing that the subscheme they define is an open subscheme of a positroid variety. Our results hold over any field and over the integers.
△ Less
Submitted 8 August, 2019;
originally announced August 2019.
-
A topological proof of the Shapiro-Shapiro conjecture
Authors:
Jake Levinson,
Kevin Purbhoo
Abstract:
We prove a generalization of the Shapiro-Shapiro conjecture on Wronskians of polynomials, allowing the Wronskian to have complex conjugate roots. We decompose the real Schubert cell according to the number of real roots of the Wronski map, and define an orientation of each connected component. For each part of this decomposition, we prove that the topological degree of the restricted Wronski map i…
▽ More
We prove a generalization of the Shapiro-Shapiro conjecture on Wronskians of polynomials, allowing the Wronskian to have complex conjugate roots. We decompose the real Schubert cell according to the number of real roots of the Wronski map, and define an orientation of each connected component. For each part of this decomposition, we prove that the topological degree of the restricted Wronski map is given as an evaluation of a symmetric group character. In the case where all roots are real, this implies that the restricted Wronski map is a topologically trivial covering map; in particular, this gives a new proof of the Shapiro-Shapiro conjecture.
△ Less
Submitted 8 July, 2021; v1 submitted 27 July, 2019;
originally announced July 2019.
-
Latent feature disentanglement for 3D meshes
Authors:
Jake Levinson,
Avneesh Sud,
Ameesh Makadia
Abstract:
Generative modeling of 3D shapes has become an important problem due to its relevance to many applications across Computer Vision, Graphics, and VR. In this paper we build upon recently introduced 3D mesh-convolutional Variational AutoEncoders which have shown great promise for learning rich representations of deformable 3D shapes. We introduce a supervised generative 3D mesh model that disentangl…
▽ More
Generative modeling of 3D shapes has become an important problem due to its relevance to many applications across Computer Vision, Graphics, and VR. In this paper we build upon recently introduced 3D mesh-convolutional Variational AutoEncoders which have shown great promise for learning rich representations of deformable 3D shapes. We introduce a supervised generative 3D mesh model that disentangles the latent shape representation into independent generative factors. Our extensive experimental analysis shows that learning an explicitly disentangled representation can both improve random shape generation as well as successfully address downstream tasks such as pose and shape transfer, shape-invariant temporal synchronization, and pose-invariant shape matching.
△ Less
Submitted 7 June, 2019;
originally announced June 2019.
-
Schubert curves in the orthogonal Grassmannian
Authors:
Maria Gillespie,
Jake Levinson,
Kevin Purbhoo
Abstract:
We develop a combinatorial rule to compute the real geometry of type B Schubert curves $S(λ_\bullet)$ in the orthogonal Grassmannian $\mathrm{OG}_n$, which are one-dimensional Schubert problems defined with respect to orthogonal flags osculating the rational normal curve. Our results are natural analogs of results previously known only in type A.
First, using the type B Wronski map, we show that…
▽ More
We develop a combinatorial rule to compute the real geometry of type B Schubert curves $S(λ_\bullet)$ in the orthogonal Grassmannian $\mathrm{OG}_n$, which are one-dimensional Schubert problems defined with respect to orthogonal flags osculating the rational normal curve. Our results are natural analogs of results previously known only in type A.
First, using the type B Wronski map, we show that the real locus of the Schubert curve has a natural covering map to $\mathbb{RP}^1$, with monodromy operator $ω$ defined as the commutator of jeu de taquin rectification and promotion on skew shifted semistandard tableaux. We then introduce two different algorithms to compute $ω$ without rectifying the skew tableau. The first uses recently-developed shifted tableau crystal operators, while the second uses local switches much like jeu de taquin. The switching algorithm further computes the K-theory coefficient of the Schubert curve: its nonadjacent switches precisely enumerate Pechenik and Yong's shifted genomic tableaux. The connection to K-theory also gives rise to a partial understanding of the complex geometry of these curves.
△ Less
Submitted 5 March, 2019;
originally announced March 2019.
-
Axioms for shifted tableau crystals
Authors:
Maria Gillespie,
Jake Levinson
Abstract:
We give local axioms that uniquely characterize the crystal-like structure on shifted tableaux developed in a previous paper by Gillespie, Levinson, and Purbhoo. These axioms closely resemble those developed by Stembridge for type A tableau crystals. This axiomatic characterization gives rise to a new method for proving and understanding Schur $Q$-positive expansions in symmetric function theory,…
▽ More
We give local axioms that uniquely characterize the crystal-like structure on shifted tableaux developed in a previous paper by Gillespie, Levinson, and Purbhoo. These axioms closely resemble those developed by Stembridge for type A tableau crystals. This axiomatic characterization gives rise to a new method for proving and understanding Schur $Q$-positive expansions in symmetric function theory, just as the Stembridge axiomatic structure provides for ordinary Schur positivity.
△ Less
Submitted 9 July, 2018;
originally announced July 2018.
-
Shifted tableaux crystals
Authors:
Maria Gillespie,
Jake Levinson,
Kevin Purbhoo
Abstract:
We introduce coplactic raising and lowering operators $E'_i$, $F'_i$, $E_i$, and $F_i$ on shifted skew semistandard tableaux. We show that the primed operators and unprimed operators each independently form type A Kashiwara crystals (but not Stembridge crystals) on the same underlying set and with the same weight functions. When taken together, the result is a new kind of `doubled crystal' structu…
▽ More
We introduce coplactic raising and lowering operators $E'_i$, $F'_i$, $E_i$, and $F_i$ on shifted skew semistandard tableaux. We show that the primed operators and unprimed operators each independently form type A Kashiwara crystals (but not Stembridge crystals) on the same underlying set and with the same weight functions. When taken together, the result is a new kind of `doubled crystal' structure that recovers the combinatorics of type B Schubert calculus: the highest-weight elements of our crystals are precisely the shifted Littlewood-Richardson tableaux, and their generating functions are the (skew) Schur $Q$-functions. We give local axioms for these crystals, which closely resemble the Stembridge axioms for type A. Finally, we give a new criterion for such tableaux to be ballot.
△ Less
Submitted 18 November, 2017;
originally announced November 2017.
-
A crystal-like structure on shifted tableaux
Authors:
Maria Gillespie,
Jake Levinson,
Kevin Purbhoo
Abstract:
We introduce coplactic raising and lowering operators $E'_i$, $F'_i$, $E_i$, and $F_i$ on shifted skew semistandard tableaux. We show that the primed operators and unprimed operators each independently form type A Kashiwara crystals (but not Stembridge crystals) on the same underlying set and with the same weight functions. When taken together, the result is a new kind of `doubled crystal' structu…
▽ More
We introduce coplactic raising and lowering operators $E'_i$, $F'_i$, $E_i$, and $F_i$ on shifted skew semistandard tableaux. We show that the primed operators and unprimed operators each independently form type A Kashiwara crystals (but not Stembridge crystals) on the same underlying set and with the same weight functions. When taken together, the result is a new kind of `doubled crystal' structure that recovers the combinatorics of type B Schubert calculus: the highest-weight elements of our crystals are precisely the shifted Littlewood-Richardson tableaux, and their generating functions are the (skew) Schur Q functions.
△ Less
Submitted 29 June, 2017;
originally announced June 2017.
-
Foundations of Boij-Söderberg Theory for Grassmannians
Authors:
Nic Ford,
Jake Levinson
Abstract:
Boij-Söderberg theory characterizes syzygies of graded modules and sheaves on projective space. This paper continues earlier work with S. Sam, extending the theory to the setting of $GL_k$-equivariant modules and sheaves on Grassmannians. Algebraically, we study modules over a polynomial ring in $k n$ variables, thought of as the entries of a $k \times n$ matrix.
We give equivariant analogues of…
▽ More
Boij-Söderberg theory characterizes syzygies of graded modules and sheaves on projective space. This paper continues earlier work with S. Sam, extending the theory to the setting of $GL_k$-equivariant modules and sheaves on Grassmannians. Algebraically, we study modules over a polynomial ring in $k n$ variables, thought of as the entries of a $k \times n$ matrix.
We give equivariant analogues of two important features of the ordinary theory: the Herzog-Kühl equations and the pairing between Betti and cohomology tables. As a necessary step, we also extend previous results, concerning the base case of square matrices, to cover complexes other than free resolutions.
Our statements specialize to those of ordinary Boij-Söderberg theory when $k=1$. Our proof of the equivariant pairing gives a new proof in the graded setting: it relies on finding perfect matchings on certain graphs associated to Betti tables.
Finally, we give preliminary results on $2 \times 3$ matrices, exhibiting certain classes of extremal rays on the cone of Betti tables.
△ Less
Submitted 16 October, 2016; v1 submitted 12 September, 2016;
originally announced September 2016.
-
Towards Boij-Söderberg theory for Grassmannians: the case of square matrices
Authors:
Nicolas Ford,
Jake Levinson,
Steven V Sam
Abstract:
We characterize the cone of GL-equivariant Betti tables of Cohen-Macaulay modules of codimension 1, up to rational multiple, over the coordinate ring of square matrices. This result serves as the base case for `Boij-Söderberg theory for Grassmannians', with the goal of characterizing the cones of GL_k-equivariant Betti tables of modules over the coordinate ring of k x n matrices, and, dually, coho…
▽ More
We characterize the cone of GL-equivariant Betti tables of Cohen-Macaulay modules of codimension 1, up to rational multiple, over the coordinate ring of square matrices. This result serves as the base case for `Boij-Söderberg theory for Grassmannians', with the goal of characterizing the cones of GL_k-equivariant Betti tables of modules over the coordinate ring of k x n matrices, and, dually, cohomology tables of vector bundles on the Grassmannian Gr(k, C^n). The proof uses Hall's Theorem on perfect matchings in bipartite graphs to compute the extremal rays of the cone, and constructs the corresponding equivariant free resolutions by applying Weyman's geometric technique to certain graded pure complexes of Eisenbud-Fløystad-Weyman.
△ Less
Submitted 8 January, 2018; v1 submitted 14 August, 2016;
originally announced August 2016.
-
Monodromy and K-theory of Schubert curves via generalized jeu de taquin
Authors:
Maria Monks Gillespie,
Jake Levinson
Abstract:
We establish a combinatorial connection between the real geometry and the $K$-theory of complex Schubert curves $S(λ_\bullet)$, which are one-dimensional Schubert problems defined with respect to flags osculating the rational normal curve. In a previous paper, the second author showed that the real geometry of these curves is described by the orbits of a map $ω$ on skew tableaux, defined as the co…
▽ More
We establish a combinatorial connection between the real geometry and the $K$-theory of complex Schubert curves $S(λ_\bullet)$, which are one-dimensional Schubert problems defined with respect to flags osculating the rational normal curve. In a previous paper, the second author showed that the real geometry of these curves is described by the orbits of a map $ω$ on skew tableaux, defined as the commutator of jeu de taquin rectification and promotion. In particular, the real locus of the Schubert curve is naturally a covering space of $\mathbb{RP}^1$, with $ω$ as the monodromy operator.
We provide a local algorithm for computing $ω$ without rectifying the skew tableau, and show that certain steps in our algorithm are in bijective correspondence with Pechenik and Yong's genomic tableaux, which enumerate the $K$-theoretic Littlewood-Richardson coefficient associated to the Schubert curve. We then give purely combinatorial proofs of several numerical results involving the $K$-theory and real geometry of $S(λ_\bullet)$.
△ Less
Submitted 11 September, 2016; v1 submitted 7 February, 2016;
originally announced February 2016.
-
Monodromy and $K$-theory of Schubert Curves via Generalized Jeu de Taquin
Authors:
Maria Monks Gillespie,
Jake Levinson
Abstract:
We establish a combinatorial connection between the real geometry and the $K$-theory of complex Schubert curves $S(λ_\bullet)$, which are one-dimensional Schubert problems defined with respect to flags osculating the rational normal curve. In a previous paper, the second author showed that the real geometry of these curves is described by the orbits of a map $ω$ on skew tableaux, defined as the co…
▽ More
We establish a combinatorial connection between the real geometry and the $K$-theory of complex Schubert curves $S(λ_\bullet)$, which are one-dimensional Schubert problems defined with respect to flags osculating the rational normal curve. In a previous paper, the second author showed that the real geometry of these curves is described by the orbits of a map $ω$ on skew tableaux, defined as the commutator of jeu de taquin rectification and promotion. In particular, the real locus of the Schubert curve is naturally a covering space of $\mathbb{RP}^1$, with $ω$ as the monodromy operator.
We provide a fast, local algorithm for computing $ω$ without rectifying the skew tableau, and show that certain steps in our algorithm are in bijective correspondence with Pechenik and Yong's genomic tableaux, which enumerate the $K$-theoretic Littlewood-Richardson coefficient associated to the Schubert curve. Using this bijection, we give purely combinatorial proofs of several numerical results involving the $K$-theory and real geometry of $S(λ_\bullet)$.
△ Less
Submitted 19 December, 2015;
originally announced December 2015.
-
One-dimensional Schubert problems with respect to osculating flags
Authors:
Jake Levinson
Abstract:
We consider Schubert problems with respect to flags osculating the rational normal curve. These problems are of special interest when the osculation points are all real -- in this case, for zero-dimensional Schubert problems, the solutions are "as real as possible". Recent work by Speyer has extended the theory to the moduli space $\overline{M_{0,r}}$, allowing the points to collide. These give ri…
▽ More
We consider Schubert problems with respect to flags osculating the rational normal curve. These problems are of special interest when the osculation points are all real -- in this case, for zero-dimensional Schubert problems, the solutions are "as real as possible". Recent work by Speyer has extended the theory to the moduli space $\overline{M_{0,r}}$, allowing the points to collide. These give rise to smooth covers of $\overline{M_{0,r}}(\mathbb{R})$, with structure and monodromy described by Young tableaux and jeu de taquin.
In this paper, we give analogous results on one-dimensional Schubert problems over $\overline{M_{0,r}}$. Their (real) geometry turns out to be described by orbits of Schützenberger promotion and a related operation involving tableau evacuation. Over $M_{0,r}$, our results show that the real points of the solution curves are smooth.
We also find a new identity involving `first-order' K-theoretic Littlewood-Richardson coefficients, for which there does not appear to be a known combinatorial proof.
△ Less
Submitted 24 April, 2015;
originally announced April 2015.
-
The n-level densities of low-lying zeros of quadratic Dirichlet L-functions
Authors:
Jake Levinson,
Steven J. Miller
Abstract:
Previous work by Rubinstein and Gao computed the n-level densities for families of quadratic Dirichlet L-functions for test functions where the sum of the supports of the Fourier transforms is at most 2, and showed agreement with random matrix theory predictions in this range for n < 4 but only in a restricted range for larger n. We extend these results and show agreement for n < 8, and reduce hig…
▽ More
Previous work by Rubinstein and Gao computed the n-level densities for families of quadratic Dirichlet L-functions for test functions where the sum of the supports of the Fourier transforms is at most 2, and showed agreement with random matrix theory predictions in this range for n < 4 but only in a restricted range for larger n. We extend these results and show agreement for n < 8, and reduce higher n to a Fourier transform identity. The proof involves adopting a new combinatorial perspective to convert all terms to a canonical form, which facilitates the comparison of the two sides.
△ Less
Submitted 2 April, 2014; v1 submitted 4 August, 2012;
originally announced August 2012.
-
Expected Performance of the ATLAS Experiment - Detector, Trigger and Physics
Authors:
The ATLAS Collaboration,
G. Aad,
E. Abat,
B. Abbott,
J. Abdallah,
A. A. Abdelalim,
A. Abdesselam,
O. Abdinov,
B. Abi,
M. Abolins,
H. Abramowicz,
B. S. Acharya,
D. L. Adams,
T. N. Addy,
C. Adorisio,
P. Adragna,
T. Adye,
J. A. Aguilar-Saavedra,
M. Aharrouche,
S. P. Ahlen,
F. Ahles,
A. Ahmad,
H. Ahmed,
G. Aielli,
T. Akdogan
, et al. (2587 additional authors not shown)
Abstract:
A detailed study is presented of the expected performance of the ATLAS detector. The reconstruction of tracks, leptons, photons, missing energy and jets is investigated, together with the performance of b-tagging and the trigger. The physics potential for a variety of interesting physics processes, within the Standard Model and beyond, is examined. The study comprises a series of notes based on…
▽ More
A detailed study is presented of the expected performance of the ATLAS detector. The reconstruction of tracks, leptons, photons, missing energy and jets is investigated, together with the performance of b-tagging and the trigger. The physics potential for a variety of interesting physics processes, within the Standard Model and beyond, is examined. The study comprises a series of notes based on simulations of the detector and physics processes, with particular emphasis given to the data expected from the first years of operation of the LHC at CERN.
△ Less
Submitted 14 August, 2009; v1 submitted 28 December, 2008;
originally announced January 2009.
