variety
2680 papers tagged with this keyword
Cell closures for two-row Springer fibers via noncrossing matchings
Springer fibers are a family of subvarieties of the flag variety parametrized by nilpotent matrices that are important in geometric representation theory and whose geometry encodes deep combinatorics. Two-row Springer fibers, which correspond to nilpotent matrices with two Jordan blocks, also arise in knot theory, in part because their components are indexed by noncrossing matchings. Springer fibers are paved by affines by intersection with appropriately-chosen Schubert cells. In the two-row case, we provide an elementary description of these Springer Schubert cells in terms of standard noncrossing matchings and describe closure relations explicitly. To do this, we define an operation called cutting arcs in a matching, which successively unnests arcs while ``remembering" the arc originally on top. We then prove that the boundary of the Springer Schubert cell corresponding to a matching consists of the affine subsets of cells corresponding to all ways of cutting arcs in that matching.
The Likelihood Correspondence
An arrangement of hypersurfaces in projective space is strict normal crossing (SNC) if and only if its Euler discriminant is nonzero. We study the critical loci of arbitrary Laurent monomials in the equations of the smooth hypersurfaces. The family of these loci forms an irreducible variety in the product of two projective spaces, known in algebraic statistics as the likelihood correspondence and in particle physics as the scattering correspondence. We establish an explicit determinantal representation for the minimal generators of the bihomogeneous prime ideal that defines this variety.
A Fröberg type theorem for higher secant complexes
We generalize the celebrated Fröberg's theorem to embedded joins of copies of a simplicial complex, namely higher secant complexes to the simplicial complex, in terms of property $N_{q+1,p}$ due to Green and Lazarsfeld. Furthermore, we investigate combinatorial phenomena parallel to geometric ones observed for higher secant varieties of minimal degree.
Asymmetric results about graph homomorphisms
Many important results in extremal graph theory can be roughly summarised as "if a triangle-free graph $G$ has certain properties, then it has a homomorphism to a triangle-free graph $Γ$ of bounded size". For example, bounds on homomorphism thresholds give such a statement if $G$ has sufficiently high minimum degree, and the approximate homomorphism theorem gives such a statement for all $G$, if one weakens the notion of homomorphism appropriately.
In this paper, we study asymmetric versions of these results, where the assumptions on $G$ and $Γ$ need not match. For example, we prove that if $G$ is a graph with odd girth at least $9$ and minimum degree at least $δ|G|$, then $G$ is homomorphic to a triangle-free graph whose size depends only on $δ$. Moreover, the odd girth assumption can be weakened to odd girth at least $7$ if $G$ has bounded VC dimension or bounded domination number. This gives a new and improved proof of a result of Huang et al.
We also prove that in the asymmetric approximate homomorphism theorem, the bounds exhibit a rather surprising ``double phase transition'': the bounds are super-exponential if $G$ is only assumed to be triangle-free, they become exponential if $G$ is assumed to have odd girth $7$ or $9$, and become linear if $G$ has odd girth at least $11$.
Our proofs use a wide variety of techniques, including entropy arguments, the Frieze--Kannan weak regularity lemma, properties of the generalised Mycielskian construction, and recent work on abundance and the asymmetric removal lemma.
Algebra and geometry of ASM weak order
Much of modern Schubert calculus is centered on Schubert varieties in the complete flag variety and on their classes in its integral cohomology ring. Under the Borel isomorphism, these classes are represented by distinguished polynomials called Schubert polynomials, introduced by Lascoux and Schützenberger.
Knutson and Miller showed that Schubert polynomials are multidegrees of matrix Schubert varieties, affine varieties introduced by Fulton, which are closely related to Schubert varieties. Many roads to studying Schubert polynomials pass through unions and intersections of matrix Schubert varieties. The third author showed that the natural indexing objects of arbitrary intersections of matrix Schubert varieties are alternating sign matrices (ASMs). Every ASM variety is expressible as a union of matrix Schubert varieties.
Many fundamental algebro-geometric invariants (e.g., codimension, degree, and Castelnuovo--Mumford regularity) are well understood combinatorially for matrix Schubert varieties, substantially via the combinatorics of strong Bruhat order on $S_n$. The extension of strong order to ASM(n), the set of $n \times n$ ASMs, has so far not borne as much algebro-geometric fruit for ASM varieties.
Hamaker and Reiner proposed an extension of weak Bruhat order from $S_n$ to ASM(n), which they studied from a combinatorial perspective. In the present paper, we place this work on algebro-geometric footing. We use weak order on ASMs to give a characterization of codimension of ASM varieties. We also show that weak order operators commute with K-theoretic divided difference operators and that they satisfy the same derivative formula that facilitated the first general combinatorial computation of Castelnuovo--Mumford regularity of matrix Schubert varieties. Finally, we build from these results to generalizations that apply to arbitrary unions of matrix Schubert varieties.
Chevalley operations on TNN Grassmannians
Lusztig showed that invertible totally nonnegative (TNN) matrices form a semigroup generated by positive diagonal matrices and Chevalley generators. From its Grassmann analogue, we introduce Chevalley operations on index sets, which we show have a rich variety of applications. We first completely classify all inequalities that are quadratic in Plucker coordinates over the TNN part of the Grassmannian: \[\sum_{I,J}c_{I,J}Δ_IΔ_J\ge 0\quad over\quad \mathrm{Gr}^{\ge 0}(m,m+n)\] where each $c_{I,J}$ is real, and $Δ_I,Δ_J$ are Plucker coordinates with a homogeneity condition. Using an idea of Gekhtman-Shapiro-Vainshtein, we also explain how our Chevalley operations can be motivated from cluster mutations, and lead to working in Grassmannians of smaller dimension, akin to cluster algebras.
We then present several applications of Chevalley operations. First, we obtain certificates for the above inequalities via sums of coefficients $c_{I,J}$ over 321-avoiding permutations and involutions; we believe this refined results of Rhoades-Skandera for TNN-matrix inequalities via their Temperley-Lieb immanant idea.
Second, we provide a novel proof via Chevalley operations of Lam's log-supermodularity of Plucker coordinates. This has several consequences: (a) Each positroid, corresponding to the positroid cells in Postnikov's decomposition of the TNN Grassmannian, is a distributive lattice. (b) It also yields numerical positivity in the main result of Lam-Postnikov-Pylyavskyy. (c) We show the coordinatewise monotonicity of ratios of Schur polynomials, first proved by Khare-Tao and which is the key result they use to obtain quantitative estimates for positivity preservers.
Third, we employ Chevalley operations to show that the majorization order over partitions implicates a partial order for induced character immanants over TNN matrices, proved originally by Skandera-Soskin.
Littlewood--Richardson rules from quivers for two-step flag varieties
Let $\bigwedge_1$ and $\bigwedge_2$ be two symmetric function algebras in independent sets of variables. We define vector space bases of $\bigwedge_1 \otimes_\mathbb{Z} \bigwedge_2$ coming from certain quivers, with vertex sets indexed by pairs of partitions. We use these vector space bases to give a positive tableau formula for Littlewood--Richardson coefficients for the product of Schubert polynomials with certain Schur polynomials in two-step flag varieties, in the spirit of the Remmel-Whitney rule for the product of two Schur polynomials in Grassmannians. This in particular covers the cases considered by the Pieri rule.
Odd Verma's Theorem
We formulate several basic properties of Verma supermodules over regular symmetrizable Kac--Moody Lie superalgebras, exhibiting $\mathfrak{gl}(1|1)$-nature as revealed through changing Borel subalgebras.
We investigate variants of Verma modules obtained by changing Borel subalgebras, which enable us to realize the principal block of $\mathfrak{gl}(1|1)$ as an extension-closed abelian subcategory of category $\mathcal{O}$. This phenomenon is precisely formulated in terms of semibricks.
On the other hand, by applying the exchange property of odd reflections, we describe compositions of homomorphisms between Verma modules associated with different Borel subalgebras that share the same character. As an application, we refine existing results on the associated varieties and projective dimensions of Verma modules.
A new measure of robustness of Erdős--Ko--Rado Theorems on permutation groups
In this paper we introduce a new way of measuring the robustness of Erdős--Ko--Rado (EKR) Theorems on permutation groups. EKR-type results can be viewed as results about the independence numbers of certain corresponding graphs, namely the derangement graphs, and random subgraphs of these graphs have been used to measure the robustness of these extremal results. In the context of permutation groups, the derangement graphs are Cayley graphs on the permutation group in question. We propose studying extremal properties of subgraphs of derangement graphs, that are themselves Cayley graphs of the group, to measure robustness.
We present a variety of results about the robustness of the EKR property of various permutation groups using this new measure.
Vertex functions of type $D$ Nakajima quiver varieties
We study the quasimap vertex functions of type $D$ Nakajima quiver varieties. When the quiver varieties have isolated torus fixed points, we compute the coefficients of the vertex functions in the $K$-theoretic fixed point basis. We also give an explicit combinatorial description of zero-dimensional type $D$ quiver varieties and their vertex functions using the combinatorics of minuscule posets. Using Macdonald polynomials, we prove that these vertex functions can be expressed as products of $q$-binomial functions, which proves a degeneration of the conjectured 3d mirror symmetry of vertex functions. We provide an interpretation of type $D$ spin vertex functions as the partition functions of the half-space Macdonald processes of Barraquand, Borodin, and Corwin. This hints that the geometry of quiver varieties may provide new examples of integrable probabilistic models.
Towards the classification of scattered binomials
Let \( q \) be a prime power and \( n \) an integer. An \( \mathbb{F}_q \)-linearized polynomial \( f \) is said to be scattered if it satisfies the condition that for all \( x, y \in \mathbb{F}_q^n \setminus \{ 0 \} \), whenever \( \frac{f(x)}{x} = \frac{f(y)}{y} \), it follows that \( \frac{x}{y} \in \mathbb{F}_q \).
In this paper, we focus on scattered binomials. Two families of scattered binomials are currently known: the one from Lunardon and Polverino (LP), given by $f(x) = δx^{q^s} + x^{q^{n-s}},$ and the one from Csajbók, Marino, Polverino, and Zanella (CMPZ), given by $f(x) = δx^{q^s} + x^{q^{s + n/2}},$ where \( n = 6 \) or \( n = 8 \).
Using algebraic varieties as a tool, we prove some necessary conditions for a binomial to be scattered. As a corollary, we obtain that when \( q \) is sufficiently large and \( n \) is prime, a binomial is scattered if and only if it is of the form (LP). Moreover we obtain a complete classification of scattered binomial in $\Fn$ when $n\leq8$ and $q$ is large enough.
Quiver Grassmannians for the Bott-Samelson resolution of type A Schubert varieties
We realise the Bott-Samelson resolutions of type A Schubert varieties as quiver Grassmannians. In order to explicitly describe this isomorphism, we introduce the notion of a \textit{geometrically compatible} decomposition for any permutation in $S_n$. For smooth type A Schubert varieties, we identify a suitable dimension vector such that the corresponding quiver Grassmannian is isomorphic to the Schubert variety. To obtain these isomorphisms, we construct a special quiver with relations and investigate two classes of quiver Grassmannians for this quiver.
Orbits on a product of two flags and a line and the Bruhat Order, I
Let $G=GL(n)$ be the $n\times n$ complex general linear group and let $\mathcal{B}_{n}$ be its flag variety. The standard Borel subgroup $B$ of upper triangular matrices acts on the product $\mathcal{B}_{n}\times \mathbb{P}^{n-1}$ with finitely many orbits. In this paper, we study the $B$-orbits on the subvarieties $\mathcal{B}_{n}\times \mathcal{O}_{i}$, where $\mathcal{O}_{i}$ is the $B$-orbit on $\mathbb{P}^{n-1}$ containing the line through the origin in the direction of the $i$-th standard basis vector of $\mathbb{C}^{n}$. For each $i=1,\dots, n$, we construct a bijection between $B$-orbits on $\mathcal{B}_{n}\times\mathcal{O}_{i}$ and certain pairs of Schubert cells in $\mathcal{B}_{n}\times\mathcal{B}_{n}$. We also show that this bijection can be used to understand the Richardson-Springer monoid action on such $B$-orbits in terms of the classical monoid action of the symmetric group on itself. We also develop combinatorial models of these orbits and use these models to compute exponential generating functions for the sequences $\{|B\backslash(\mathcal{B}_{n}\times\mathcal{O}_{i})|\}_{n\geq 1}$ and $\{|B\backslash (\mathcal{B}_{n}\times \mathbb{P}^{n-1})|\}_{n\geq 1}$. In the sequel to this paper, we use the results of this paper to construct a correspondence between $B$-orbits on $\mathcal{B}_{n}\times\mathbb{P}^{n-1}$ and a collection of $B$-orbits on the flag variety $\mathcal{B}_{n+1}$ of $GL(n+1)$ and show that this correspondence respects closures relations and preserves monoid actions. As a consequence both closure relations and monoid actions for all $B$-orbits on $\mathcal{B}_{n}\times\mathbb{P}^{n-1}$ can be understood via the Bruhat order by using our results in [CE].
Fixed points in Gieseker spaces and blocks of Ariki-Koike algebras
In this article, we establish combinatorial links between the irreducible components of the fixed point locus of the Gieseker variety and the block theory of Ariki-Koike algebras. First, we describe the fixed point locus in terms of Nakajima quiver varieties over the McKay quiver of type A. We then reinterpret the dimension of an irreducible component as double the weight of a block. Cores of charged multipartitions have been defined by Fayers and further developed by Jacon and Lecouvey. In addition, we give a new way to compute the multicharge associated with the core of a charged multipartition. Finally, we also explain how the notion of core blocks, defined by Fayers, is interpreted on the geometric side using the deep connection between quiver varieties and affine Lie algebras.
Limit distributions for cycles of random parking functions
We study the asymptotic behavior of cycles of uniformly random parking functions. Our results are multifold: we obtain an explicit formula for the number of parking functions with a prescribed number of cyclic points and show that the scaled number of cyclic points of a random parking function is asymptotically Rayleigh distributed; we establish the classical trio of limit theorems (law of large numbers, central limit theorem, large deviation principle) for the number of cycles in a random parking function; we also compute the asymptotic mean of the length of the $r$th longest cycle in a random parking function for all valid $r$. A variety of tools from probability theory and combinatorics are used in our investigation. Corresponding results for the class of prime parking functions are obtained.
Fixed-strength spherical designs
A spherical $t$-design is a finite subset $X$ of the unit sphere such that every polynomial of degree at most $t$ has the same average over $X$ as it does over the entire sphere. Determining the minimum possible size of spherical designs, especially in a fixed dimension as $t \to \infty$, has been an important research topic for several decades. This paper presents results on the complementary asymptotic regime, where $t$ is fixed and the dimension tends to infinity. The main results in this paper are (1) a construction of smaller spherical designs via an explicit connection to Gaussian designs and (2) the exact order of magnitude of minimal-size signed $t$-designs, which is significantly smaller than predicted by a typical degrees-of-freedom heuristic. We also establish a method to ``project'' spherical designs between dimensions, prove a variety of results on approximate designs, and construct new $t$-wise independent subsets of $\{1,2,\dots,q\}^d$ which may be of independent interest. To achieve these results, we combine techniques from algebra, geometry, probability, representation theory, and optimization.
Hardness of Hypergraph Edge Modification Problems
For a fixed graph $F$, let $ex_F(G)$ denote the size of the largest $F$-free subgraph of $G$. Computing or estimating $ex_F(G)$ for various pairs $F,G$ is one of the central problems in extremal combinatorics. It is thus natural to ask how hard is it to compute this function. Motivated by an old problem of Yannakakis from the 80's, Alon, Shapira and Sudakov [ASS'09] proved that for every non-bipartite graph $F$, computing $ex_F(G)$ is NP-hard. Addressing a conjecture of Ailon and Alon (2007), we prove a hypergraph analogue of this theorem, showing that for every $k \geq 3$ and every non-$k$-partite $k$-graph $F$, computing $ex_F(G)$ is NP-hard. Furthermore, we conjecture that our hardness result can be extended to all $k$-graphs $F$ other than a matching of fixed size. If true, this would give a precise characterization of the $k$-graphs $F$ for which computing $ex_F(G)$ is NP-hard, since we also prove that when $F$ is a matching of fixed size, $ex_F(G)$ is computable in polynomial time. This last result can be considered an algorithmic version of the celebrated Erdős-Ko-Rado Theorem.
The proof of [ASS'09] relied on a variety of tools from extremal graph theory, one of them being Turán's theorem. One of the main challenges we have to overcome in order to prove our hypergraph extension is the lack of a Turán-type theorem for $k$-graphs. To circumvent this, we develop a completely new graph theoretic approach for proving such hardness results.
Tropical split Jacobians of curves of genus 2 II
This paper is the second in a series of two papers which study the phenomenon of tropical split Jacobians. The first paper is a contemplative study, embedded in the broader context of exploring connections between the category of tropical abelian varieties (tav), $\mathbb{T}\mathcal{A}$, and the category of tropical curves, $\mathbb{T}\mathcal{C}$. Tropical split Jacobians take on different forms depending on whether we look at them in $\mathbb{T}\mathcal{A}$ or $\mathbb{T}\mathcal{C}$: They appear either as 2 dimensional tavs that decompose into a product of two elliptic curves, or as a pair of optimal coverings. [11] examines both and then focuses on how optimal covers give rise to split Jacobians. This paper takes a different approach. Instead of looking at the phenomenon as a whole, we analyze its building blocks, a pair of elliptic curves together with a finite subgroup of their product, and how to reassemble them into a Jacobian.
Quantum integrable model for the quantum cohomology/K-theory of flag varieties and the double $β$-Grothendieck polynomials
A GL$(n)$ quantum integrable system generalizing the asymmetric five vertex spin chain is shown to encode the ring relations of the equivariant quantum cohomology and equivariant quantum K-theory ring of flag varieties. We also show that the Bethe ansatz states of this system generate the double $β$-Grothendieck polynomials.
Fair Schedules for Single Round Robin Tournaments with Ranked Participants
We introduce a new measure to capture fairness of a schedule in a single round robin (SRR) tournament when participants are ranked by strength. To prevent distortion of the outcome of an SRR tournament as well as to guarantee equal treatment, we argue that each participant should face its opponents when ranked by strength in an alternating fashion with respect to the home/away advantage. Here, the home/away advantage captures a variety of situations. We provide an explicit construction proving that so-called ranking-fair schedules exist when the number of participants is a multiple of 4. Further, we give a formulation that outputs ranking-fair schedules when they exist. Finally, we show that the most popular method to come to a schedule for an SRR tournament, does not allow ranking-fair schedules when the number of teams exceeds 8. These findings impact the type of schedules to be used for SRR tournaments.