variety
2744 papers tagged with this keyword
Numerical characterization of the hard Lefschetz classes of dimension two
Published
• View Publication
• BIB
We study the numerical characterization of two dimensional hard Lefschetz classes given by the complete intersections of nef classes. In Shenfeld and van Handel's breakthrough work on the characterization of the extremals of the Alexandrov-Fenchel inequality for convex polytopes, they proposed an open question on the algebraic analogue of the characterization. By taking further inspiration from our previous work with Shang on hard Lefschetz theorems for free line bundles, we formulate and refine the conjectural picture more precisely and settle the open question when the collection of nef classes is given by a rearrangement of supercriticality, which in particular includes the big nef collection as a special case. The main results enable us to refine some previous results and study the extremals of Hodge index inequality, and more importantly provide the first series of examples of hard Lefschetz classes of dimension two both in algebraic geometry and analytic geometry, in which one can allow nontrivial augmented base locus and thus drop the semi-ampleness or semi-positivity assumption. As a key ingredient of the numerical characterization, we establish a local Hodge index inequality for Lorentzian polynomials, which is the algebraic analogue of the local Alexandrov-Fenchel inequality obtained by Shenfeld-van Handel for convex polytopes. This result holds in broad contexts, e.g., it holds on a smooth projective variety, on a compact Kähler manifold and on a Lorentzian fan, which contains the Bergman fan of a matroid or polymatroid as a typical example.
Essentially tight bounds for rainbow cycles in proper edge-colourings
Published
• View Publication
• BIB
An edge-coloured graph is said to be rainbow if no colour appears more than once. Extremal problems involving rainbow objects have been a focus of much research over the last decade as they capture the essence of a number of interesting problems in a variety of areas. A particularly intensively studied question due to Keevash, Mubayi, Sudakov and Verstraëte from 2007 asks for the maximum possible average degree of a properly edge-coloured graph on $n$ vertices without a rainbow cycle. Improving upon a series of earlier bounds, Tomon proved an upper bound of $(\log n)^{2+o(1)}$ for this question. Very recently, Janzer-Sudakov and Kim-Lee-Liu-Tran independently removed the $o(1)$ term in Tomon's bound, showing a bound of $O(\log^2 n)$. We prove an upper bound of $(\log n)^{1+o(1)}$ for this maximum possible average degree when there is no rainbow cycle. Our result is tight up to the $o(1)$ term, and so it essentially resolves this question. In addition, we observe a connection between this problem and several questions in additive number theory, allowing us to extend existing results on these questions for abelian groups to the case of non-abelian groups.
Quantum Bruhat graphs and tilted Richardson varieties
Quantum Bruhat graph is a weighted directed graph on a finite Weyl group first defined by Brenti-Fomin-Postnikov. It encodes quantum Monk's rule and can be utilized to study the $3$-point Gromov-Witten invariants of the flag variety. In this paper, we provide an explicit formula for the minimal weights between any pair of permutations on the quantum Bruhat graph, and consequently obtain an Ehresmann-like characterization for the tilted Bruhat order. Moreover, for any ordered pair of permutations $u$ and $v$, we define the tilted Richardson variety $T_{u,v}$, with a stratification that gives a geometric meaning to intervals in the tilted Bruhat order. We provide a few equivalent definitions to this new family of varieties that include Richardson varieties, and establish some fundamental geometric properties including their dimensions and closure relations.
The HHMP decomposition of the permutohedron and degenerations of torus orbits in flag varieties
Published
• View Publication
• BIB
Let $Z\subset Fl(n)$ be the closure of a generic torus orbit in the full flag variety. Anderson-Tymoczko express the cohomology class of $Z$ as a sum of classes of Richardson varieties. Harada-Horiguchi-Masuda-Park give a decomposition of the permutohedron, the moment map image of $Z$, into subpolytopes corresponding to the summands of the Anderson-Tymoczko formula. We construct an explicit toric degeneration inside $Fl(n)$ of $Z$ into Richardson varieties, whose moment map images coincide with the HHMP decomposition, thereby obtaining a new proof of the Anderson-Tymoczko formula.
Chern Classes of Tropical Manifolds
We extend the definitions of Chern-Schwartz-MacPherson (CSM) cycles of matroids to tropical manifolds. To do this, we provide an alternate description of CSM cycles of matroids which is invariant under integer affine transformations. Utilising results of Esterov and Katz-Stapledon, we prove correspondence theorems for the CSM classes of tropicalisations of subvarieties of toric varieties. We also provide an adjunction formula relating the CSM cycles of a tropical manifold and a codimension-one tropical submanifold. Lastly, we establish Noether's Formula for compact tropical surfaces with a Delzant face structure. This extends the class of surfaces for which the formula had been previously proved by the third author.
A note on transverse sets and bilinear varieties
Published
• View Publication
• BIB
Let $G$ and $H$ be finite-dimensional vector spaces over $\mathbb{F}_p$. A subset $A \subseteq G \times H$ is said to be transverse if all of its rows $\{x \in G \colon (x,y) \in A\}$, $y \in H$, are subspaces of $G$ and all of its columns $\{y \in H \colon (x,y) \in A\}$, $x \in G$, are subspaces of $H$. As a corollary of a bilinear version of Bogolyubov argument, Gowers and the author proved that dense transverse sets contain bilinear varieties of bounded codimension. In this paper, we provide a direct combinatorial proof of this fact. In particular, we improve the bounds and evade the use of Fourier analysis and Freiman's theorem and its variants.
Hodge Theory of Hypersurfaces in Toric Varieties and Recent Developments in Quantum Physics
This is the author's Habilitation which took place at University of Essen on July 11, 1993. The manuscript contains two parts. The first one is devoted to the author's combinatorial construction of mirrors of Calabi-Yau hypersurfaces in Gorenstein toric Fano varieties. The second one contains author's results on the variation of mixed Hodge structures of affine hypersurfaces in algebraic tori and their connection to Gelfand-Kapranov-Zelevinsky theory of generalized hypergeometric functions and their applications to the mirror symmetry for Calabi-Yau hypersurfaces in toric varieties.
Castelnuovo-Mumford regularity for $321$-avoiding Kazhdan-Lusztig varieties
We prove the Castelnuovo--Mumford regularity of 321-avoiding Kazhdan--Lusztig varieties can be computed combinatorially in terms of $K$-theoretic skew excited Young diagrams. We present an algorithm which gives a lower bound for this regularity and describe a setting in which this algorithm provides precise regularity computations. This algorithm specializes to compute the regularity of all two-sided mixed ladder determinantal varieties.
Algebraicity of hypergeometric functions with arbitrary parameters
We provide a complete classification of the algebraicity of (generalized) hypergeometric functions with no restriction on the set of their parameters. Our characterization relies on the interlacing criteria of Christol (1987) and Beukers-Heckman (1989) for globally bounded and algebraic hypergeometric functions, however in a more general setting which allows arbitrary complex parameters with possibly integral differences. We also showcase the adapted criterion on a variety of different examples.
Approximate quadratic varieties
A classical result in additive combinatorics, which is a combination of Balog-Szemerédi-Gowers theorem and a variant of Freiman's theorem due to Ruzsa, says that if a subset $A$ of $\mathbb{F}_p^n$ contains at least $c |A|^3$ additive quadruples, then there exists a subspace $V$, comparable in size to $A$, such that $|A \cap V| \geq Ω_c(|A|)$. Motivated by the fact that higher order approximate algebraic structures play an important role in the theory of uniformity norms, it would be of interest to find higher order analogues of the mentioned result.
In this paper, we study a quadratic version of the approximate property in question, namely what it means for a set to be an approximate quadratic variety. It turns out that information on the number of additive cubes, which are 8-tuples of the form $(x, x+ a,$ $x+ b, x+ c,$ $x+ a + b, x+ a + c,$ $x+ b + c, x+ a + b + c)$, in a set is insufficient on its own to guarantee quadratic structure, and it is necessary to restrict linear structure in a given set, which is a natural assumption in this context. With this in mind, we say that a subset $V$ of a finite vector space $G$ is a $(c_0, δ, \varepsilon)$-approximate quadratic variety if $|V| = δ|G|$, $\|1_V - δ\|_{\mathsf{U}^2} \leq \varepsilon$ and $V$ contains at least $c_0δ^7 |G|^4$ additive cubes. Our main result is the structure theorem for approximate quadratic varieties, stating that such a set has a large intersection with an exact quadratic variety of comparable size.
Approximating rational points on horospherical varieties
Let $X$ be a smooth projective split horospherical variety over a number field $k$ and $x\in X(k)$. Contingent on Vojta's conjecture, we construct a curve $C$ through $x$ such that (in a precise sense) rational points on $C$ approximate $x$ better than any Zariski dense sequence of rational points. This proves a weakening of a conjecture of McKinnon in the horospherical case. Our results make use of the minimal model program and apply as well to $\mathbb{Q}$-factorial horospherical varieties with terminal singularities.
Wreath Macdonald polynomials, a survey
Published
• View Publication
• BIB
Wreath Macdonald polynomials arise from the geometry of $Γ$-fixed loci of Hilbert schemes of points in the plane, where $Γ$ is a finite cyclic group of order $r\ge 1$. For $r=1$, they recover the classical (modified) Macdonald symmetric functions through Haiman's geometric realization of these functions. The existence, integrality, and positivity of wreath Macdonald polynomials for $r>1$ was conjectured by Haiman and first proved in work of Bezrukavnikov and Finkelberg by means of an equivalence of derived categories. Despite the power of this approach, a lack of explicit tools providing direct access to wreath Macdonald polynomials -- in the spirit of Macdonald's original works -- has limited progress in the subject.
A recent result of Wen provides a remarkable set of such tools, packaged in the representation theory of quantum toroidal algebras. In this article, we survey Wen's result along with the basic theory of wreath Macdonald polynomials, including its geometric foundations and the role of bigraded reflection functors in the construction of wreath analogs of the $\nabla$ operator. We also formulate new conjectures on the values of important constants arising in the theory of wreath Macdonald $P$-polynomials. A variety of examples are used to illustrate these objects and constructions throughout the paper.
New dimensional estimates for subvarieties of linear algebraic groups
Published in Vietnam J. Math., 52(2):479--518, 2024
• View Publication
• BIB
For every connected, almost simple linear algebraic group $G\leq\mathrm{GL}_{n}$ over a large enough field $K$, every subvariety $V\subseteq G$, and every finite generating set $A\subseteq G(K)$, we prove a general dimensional bound, that is, a bound of the form \[|A\cap V(\overline{K})|\leq C_{1}|A^{C_{2}}|^{\frac{\dim(V)}{\dim(G)}}\] with $C_{1},C_{2}$ depending only on $n,\mathrm{deg}(V)$. The dependence of $C_1$ on $n$ (or rather on $\dim (V)$) is doubly exponential, whereas $C_2$ (which is independent of $\mathrm{deg}(V)$) depends simply exponentially on $n$. Bounds of this form have proved useful in the study of growth in linear algebraic groups since 2005 (Helfgott) and, before then, in the study of subgroup structure (Larsen-Pink: $A$ a subgroup). In bounds for general $V$ and $G$ available before our work, the dependence of $C_1$ and $C_2$ on $n$ was of exponential-tower type. We draw immediate consequences regarding diameter bounds for untwisted classical groups $G(\mathbb{F}_{q})$. (In a separate paper, we derive stronger diameter bounds from stronger dimensional bounds we prove for specific families of varieties $V$.)
Web invariants for flamingo Specht modules
Published in Algebraic Combinatorics, Volume 8 (2025) no. 1, pp. 235-266
• View Publication
• BIB
Webs yield an especially important realization of certain Specht modules, irreducible representations of symmetric groups, as they provide a pictorial basis with a convenient diagrammatic calculus. In recent work, the last three authors associated polynomials to noncrossing partitions without singleton blocks, so that the corresponding polynomials form a web basis of the pennant Specht module $S^{(d,d,1^{n-2d})}$. These polynomials were interpreted as global sections of a line bundle on a 2-step partial flag variety.
Here, we both simplify and extend this construction. On the one hand, we show that these polynomials can alternatively be situated in the homogeneous coordinate ring of a Grassmannian, instead of a 2-step partial flag variety, and can be realized as tensor invariants of classical (but highly nonplanar) tensor diagrams. On the other hand, we extend these ideas from the pennant Specht module $S^{(d,d,1^{n-2d})}$ to more general flamingo Specht modules $S^{(d^r,1^{n-rd})}$. In the hook case $r=1$, we obtain a spanning set that can be restricted to a basis in various ways. In the case $r>2$, we obtain a basis of a well-behaved subspace of $S^{(d^r,1^{n-rd})}$, but not of the entire module.
Demazure weaves for reduced plabic graphs (with a proof that Muller-Speyer twist is Donaldson-Thomas)
First, this article develops the theory of weaves and their cluster structures for the affine cones of positroid varieties. In particular, we explain how to construct a weave from a reduced plabic graph, show it is Demazure, compare their associated cluster structures, and prove that the conjugate surface of the graph is Hamiltonian isotopic to the Lagrangian filling associated to the weave. The T-duality map for plabic graphs has a surprising key role in the construction of these weaves. Second, we use the above established bridge between weaves and reduced plabic graphs to show that the Muller-Speyer twist map on positroid varieties is the Donaldson-Thomas transformation. This latter statement implies that the Muller-Speyer twist is a quasi-cluster automorphism. An additional corollary of our results is that target labeled seeds and the source labeled seeds are related by a quasi-cluster transformation.
Sullivant-Talaska ideal of the cyclic Gaussian Graphical Model
Published
• View Publication
• BIB
In this paper, we settle a conjecture due to Sturmfels and Uhler concerning generation of the prime ideal of the variety associated to the Gaussian graphical model of any cycle graph. Our methods are general and applicable to a large class of ideals with radical initial ideals.
An Elekes-Rónyai theorem for sets with few products
Published
• View Publication
• BIB
Given $d,n \in \mathbb{N}$, we write a polynomial $F \in \mathbb{C}[x_1,\dots,x_n]$ to be degenerate if there exist $P\in \mathbb{C}[y_1, \dots, y_{n-1}]$ and $m_j = x_1^{v_{j,1}}\dots x_n^{v_{j,n}}$ with $v_{j,1}, \dots, v_{j,n} \in \mathbb{Q}$, for every $1 \leq j \leq n-1$, such that $F = P(m_1, \dots, m_{n-1})$. Our main result shows that whenever $F$ is non-degenerate, then for every finite set $A\subseteq \mathbb{C}$ such that $|A\cdot A| \leq K|A|$, one has \[ |F(A, \dots, A)| \gg_{d,n} |A|^n 2^{-O_{d,n}((\log 2K)^{3 + o(1)})}. \] This is sharp up to a factor of $O_{d,n,K}(1)$ since we have the upper bound $|F(A,\dots,A)| \leq |A|^n$ and the fact that for every degenerate $F$ and finite set $A \subseteq \mathbb{C}$ with $|A\cdot A| \leq K|A|$, one has \[ |F(A,\dots,A)| \ll K^{O_F(1)}|A|^{n-1}.\] Our techniques rely on a variety of combinatorial and linear algebraic arguments combined with Freiman type inverse theorems and Schmidt's subspace theorem.
Linear Degenerate Tropical Flag Varieties
We study linear degenerations of flag varieties from the point of view of tropical geometry. We define the linear degenerate flag Dressian and prove a correspondence between: $(a)$ points in the linear degenerate flag Dressian, $(b)$ linear degenerate flags of valuated matroids, $(c)$ linear degenerate flags of tropical linear spaces, and $(d)$ morphisms of valuated matroids arising from projection maps.
The structure of monotone blow-ups in symplectic toric geometry and a question of McDuff
Published
• View Publication
• BIB
Monotone polytopes, also known as smooth reflexive polytopes, are the polytopes associated to monotone symplectic toric manifolds and Gorenstein Fano toric varieties. We first show that the only monotone polytopes admitting blow-ups at vertices are the simplex and the result of a codimension-two blow-up in it (this is the polyhedral version of a result of Bonavero from 2002). Then we show that the $n$-simplex admits disjoint blow-ups at faces if and only if the faces are disjoint and have dimensions adding up to $n-1$ or $n-2$. These results answer a question posed by Dusa McDuff in 2011.
Morphisms from projective spaces to $G/P$
We study maps between projective spaces and flag varieties. Let $G = SL(n,\mathbb{C})$. We show that there is no map from $\mathbb{P}^2$ to full flag variety $G/B$. We classify the minimal parabolic subgroups $P$ for which there is a map from $\mathbb{P}^3$ to $G/P$.