variety
2744 papers tagged with this keyword
Smooth Points on Positroid Varieties
In the Grassmannian $Gr_{\mathbb{C}}(k,n)$ we have positroid varieties $Π_f$, each indexed by a bounded affine permutation $f$ and containing torus-fixed points $λ\in Π_f$. In this paper we consider the partially ordered set consisting of quadruples $(k,n,Π_f,λ)$ (or \textit{(positroid) pairs} $(Π_f,λ)$ for short). The partial order is the ordering given by the covering relation $\lessdot$ where $(Π_f',λ') \lessdot (Π_f,λ)$ if $Π_f'$ is obtained by $Π_f$ by \textit{deletion} or \textit{contraction.} Using the results of Snider [2010], we know that positroid varieties can be studied in a neighborhood of each of these points by \textit{affine pipe dreams.} Our main theorem provides a quick test of when a positroid variety is smooth at one of these given points. It is sufficient to test smoothness of a positroid variety by using the main result to test smoothness at each of these points. These results can also be applied to the question of whether Schubert varieties in flag manifolds are smooth at points given by 321-avoiding permutations, as studied in Graham/Kreimer [2020]. We have a secondary result, which describes the minimal singular positroid pairs in our ordering - these are the positroid pairs where any deletion or contraction causes it to become smooth.
Multilevel polynomial partitioning and semialgebraic hypergraphs: regularity, Turán, and Zarankiewicz results
We prove three main results about semialgebraic hypergraphs. First, we prove an optimal and oblivious regularity lemma. Fox, Pach, and Suk proved that the class of $k$-uniform semialgebraic hypergraphs satisfies a very strong regularity lemma where the vertex set can be partitioned into $\mathrm{poly}(1/\varepsilon)$ parts so that all but an $\varepsilon$-fraction of $k$-tuples of parts are homogeneous (either complete or empty). Our result improves the number of parts in the partition to $O_{d,k}((D/\varepsilon)^{d})$ where $d$ is the dimension of the ambient space and $D$ is a measure of the complexity of the hypergraph; additionally, the partition is oblivious to the edge set of the hypergraph. We give examples that show that the dependence on both $\varepsilon$ and $D$ is optimal.
From this regularity lemma we deduce the best-known Turán-type result for semialgebraic hypergraphs. Third, we prove a Zarankiewicz-type result for semialgebraic hypergraphs. Previously Fox, Pach, Sheffer, Suk, and Zahl showed that a $K_{u,u}$-free semialgebraic graph on $N$ vertices has at most $O_{d,D,u}(N^{2d/(d+1)+o(1)})$ edges and Do extended this result to $K_{u,\ldots,u}^{(k)}$-free semialgebraic hypergraphs. We improve upon both of these results by removing the $o(1)$ in the exponent and making the dependence on $D$ and $u$ explicit and polynomial.
All three of these results follow from a novel ``multilevel polynomial partitioning scheme'' that efficiently partitions a point set $P\subset\mathbb{R}^d$ via low-complexity semialgebraic pieces. We prove this result using the polynomial method over varieties as developed by Walsh which extends the real polynomial partitioning technique of Guth and Katz.
We give additional applications to the unit distance problem, the Erdős--Hajnal problem for semialgebraic graphs, and property testing of semialgebraic hypergraphs.
Operational Umbral Calculus
In this paper, we investigate the power of nearly purely operational techniques in the study of umbral calculus. We present a concise reconstruction of the theory based on a systematic use of linear operators, with particular attention to umbral operators. We also give an in-depth study of the generating functions associated to umbral calculus, and show how these lead to short proofs of several advanced results, including the Lagrange-Bürmann inversion theorem. Finally, we discuss pseudoinverses for delta operators and illustrate our methods with a variety of examples.
Real toric manifolds associated with chordal nestohedra
Published
• View Publication
• BIB
This paper investigates the rational Betti numbers of real toric manifolds associated with chordal nestohedra. We consider the poset topology of a specific poset induced from a chordal building set, and show its EL-shellability. Based on this, we present an explicit description using alternating $\mathcal{B}$-permutations for a chordal building set $\mathcal{B}$, transforming the computing Betti numbers into a counting problem. This approach allows us to compute the $a$-number of a finite simple graph through permutation counting when the graph is chordal. In addition, we provide detailed computations for specific cases such as real Hochschild varieties corresponding to Hochschild polytopes.
Overview on the theory of double flag varieties for symmetric pairs
Published in Loke, Hung Yean (ed.) et al., Representations and characters. Singapore: World Scientific. Lect. Notes Ser. Inst. Math. Sci. Natl. Univ. Singap. 45, 137-224 (2026)
• View Publication
• BIB
Let $ G $ be a connected reductive algebraic group and its symmetric subgroup $ K $. The variety $ \dblFV = K/Q \times G/P $ is called a double flag variety, where $ Q $ and $ P $ are parabolic subgroups of $ K $ and $ G $ respectively.
In this article, we make a survey on the theory of double flag varieties for a symmetric pair $ (G, K) $ and report entirely new results and theorems on this theory.
Most important topic is the finiteness of $ K $-orbits on $ \dblFV $. We summarize the classification of $ \dblFV $ of finite type, which are scattered in the literatures. In some respects such classifications are complete, and in some cases not. In particular, we get a classification of double flag varieties of finite type when a symmetric pair is of type AIII, using the theorems of Homma who describes ``indecomposable'' objects of such double flag varieties. Together with these classifications, newly developed embedding theory provides double flag varieties of finite type, which are new. Other ingredients in this article are Steinberg theory, generalization of Robinson-Schensted correspondence, and orbit classification via quiver representations.
We hope this article is useful for those who want to study the theory of double flag varieties.
Topological Minors in Typical Lifts
An $\ell$-lift of a graph $G$ is any graph obtained by replacing every vertex of $G$ with an independent set of size $\ell$, and connecting every pair of two such independent sets that correspond to an edge in $G$ by a matching of size $\ell$. Graph lifts have found numerous interesting applications and connections to a variety of areas over the years. Of particular importance is the random graph model obtained by considering an $\ell$-lift of a graph sampled uniformly at random. This model was first introduced by Amit and Linial in 1999, and has been extensively investigated since. In this paper, we study the size of the largest topological clique in random lifts of complete graphs.
In 2006, Drier and Linial raised the conjecture that almost all $\ell$-lifts of the complete graph on $n$ vertices contain a subdivision of a clique of order $Ω(n)$ as a subgraph provided $\ell$ is at least linear in $n$. We confirm their conjecture in a strong form by showing that for $\ell \ge (1+o(1))n$, one can almost surely find a subdivision of a clique of order $n$. We prove that this is tight by showing that for $\ell \le (1-o(1))n$, almost all $\ell$-lifts do not contain subdivisions of cliques of order $n$.
Finally, for $2 \le \ell \ll n$, we show that almost all $\ell$-lifts of $K_n$ contain a subdivision of a clique on $(1-o(1))\sqrt{\frac{2n \ell}{1-1/\ell}}$ vertices and that this is tight up to the lower order term.
Two-row Delta Springer varieties
Published in Algebr. Comb. 8(4) (2025), 925-953
• View Publication
• BIB
We study the geometry and topology of $Δ$-Springer varieties associated with two-row partitions. These varieties were introduced in recent work by Griffin-Levinson-Woo to give a geometric realization of a symmetric function appearing in the Delta conjecture by Haglund-Remmel-Wilson. We provide an explicit and combinatorial description of the irreducible components of the two-row $Δ$-Springer variety and compare it to the ordinary two-row Springer fiber as well as Kato's exotic Springer fiber corresponding to a one-row bipartition. In addition to that, we extend the action of the symmetric group on the homology of the two-row $Δ$-Springer variety to an action of a degenerate affine Hecke algebra and relate this action to a $\mathfrak{gl}_{2}$-tensor space.
Puzzle Ideals for Grassmannians
Puzzles are a versatile combinatorial tool to interpret the Littlewood-Richardson coefficients for Grassmannians. In this paper, we propose the concept of puzzle ideals whose varieties one-one correspond to the tilings of puzzles and present an algebraic framework to construct the puzzle ideals which works with the Knutson-Tao-Woodward puzzle and its $T$-equivariant and $K$-theoretic variants for Grassmannians. For puzzles for which one side is free, we propose the side-free puzzle ideals whose varieties one-one correspond to the tilings of side-free puzzles, and the elimination ideals of the side-free puzzle ideals contain all the information of the structure constants for Grassmannians with respect to the free side.
Besides the underlying algebraic importance of the introduction of these puzzle ideals is the computational feasibility to find all the tilings of the puzzles for Grassmannians by solving the defining polynomial systems, demonstrated with illustrative puzzles via computation of Gröbner bases.
Birational maps, PBW degenerate flags and poset polytopes
Published
• View Publication
• BIB
We extend the results on the graph closures of the birational maps between projective spaces and Grassmannians to the case of PBW degenerate flag varieties. The advantage of the PBW degenerate flags (as opposed to their classical analogues) is the existence of a large group of symmetries for the graph closures. We discuss the combinatorial, algebraic and geometric sides of the picture. In particular, we show that toric degenerations of Borovik, Sturmfels and Sverrisdóttir are still available in the general settings. We also derive a description of the graph closures for flag varieties in terms of quiver representations.
Embedding bumpless pipedreams as Bruhat chains
Published
• View Publication
• BIB
Schubert polynomials are distinguished representatives of Schubert cycles in the cohomology of the flag variety. In the spirit of Bergeron and Sottile, we use the Bruhat order to give $(n-1)!$ different combinatorial formulas for the Schubert polynomial of a permutation in $S_n$. By work of Lenart and Sottile, one extreme of the formulas recover the classical Pipedream (PD) formula. We prove the other extreme corresponds to Bumpless pipedreams (BPDs). We give two applications of this perspective to view BPDs: Using the Fomin-Kirrilov algebra, we solve the problem of finding a BPD analogue of Fomin and Stanley's algebraic construction on PDs; We also establish a bijection between PDs and BPDs using Lenart's growth diagram, which conjectually agrees with the existing bijection of Gao and Huang.
Monomial web basis for the SL(N) skein algebra of the twice punctured sphere
Published
• View Publication
• BIB
We give a new proof of a slightly modified version of a result of Queffelec--Rose, by constructing a linear basis for the $\mathrm{SL}(n)$ skein algebra of the twice punctured sphere for any non-zero complex number $q$, excluding finitely many roots of unity of small order. In particular, the skein algebra is a commutative polynomial algebra in $n-1$ generators, where each generator is represented by an explicit $\mathrm{SL}(n)$ web, without crossings, on the surface. This includes the case $q=1$, where the skein algebra is identified with the coordinate ring of the $\mathrm{SL}(n)$ character variety of the twice punctured sphere. The proof of both the spanning and linear independence properties of the basis depends on the so-called $\mathrm{SL}(n)$ quantum trace map, due originally to Bonahon--Wong in the case $n=2$. Two consequences of our method are that the quantum trace map and the so-called splitting map embed the polynomial algebra into the Fock--Goncharov quantum higher Teichmüller space and the Lê--Sikora stated skein algebra, respectively, of the annulus. We end by discussing the relationship with Fock--Goncharov duality.
Toric degenerations and Newton-Okounkov bodies
In recent times, a wide variety of combinatorics has been introduced in order to solve problems from algebraic geometry. Newton-Okounkov bodies and tropical geometry are two such combinatorial theories. As shown by Kaveh and Manon, there is a certain correspondence between these two. Building on this correspondence, and exploiting the link of both theories to toric degenerations, Harada and Escobar obtained their wall-crossing result for prime cones. This result states that moving between two adjacent prime maximal cones in a tropical variety corresponds to a mutation between the associated Newton-Okounkov bodies of these cones. In this thesis, we provide a method for applying the wall-crossing result to non-prime cones. Our approach uses a procedure developed by Bossinger, Lamboglia, Mincheva and Mohammadi in order to compute an embedding which changes a tropical variety in such a way that a non-prime cone becomes prime. Assuming that adjacent cones stay adjacent, the wall-crossing result can then be applied in this new embedding. Building on computations by Clarke, Mohammadi and Zaffalon, we show that for Gr(3,6), this approach works. We compute the new embedding and its tropicalization in this case, and study the relation between cones in the new embedding and the original embedding.
Singular loci of Schubert varieties and the Lookup Conjecture in type $\tilde A_{2}$
We describe the loci of non-rationally smooth (nrs) points and of singular points for any non-spiral Schubert variety of $\tilde{A}_2$ in terms of the geometry of the (affine) Weyl group action on the plane $\mathbb{R}^2$. Together with the results of Graham and Li for spiral elements, this allows us to explicitly identify the maximal singular and nrs points in any Schubert variety of type $\tilde{A}_2$. Comparable results are not known for any other infinite-dimensional Kac-Moody flag variety (except for type $\tilde{A}_1$, where every Schubert variety is rationally smooth). As a consequence, we deduce that if $x$ is a point in a non-spiral Schubert variety $X_w$, then $x$ is nrs in $X_w$ if and only if there are more than $\dim X_w$ curves in $X_w$ through $x$ which are stable under the action of a maximal torus, as is true for Schubert varieties in (finite) type $A$. Combined with the work of Graham and Li for spiral Schubert varieties, this implies the Lookup Conjecture for $\tilde{A}_2$.
Fundamentals of Broken Line Convex Geometry
We develop the fundamentals of a new theory of convex geometry -- which we call "broken line convex geometry". This is a theory of convexity where the ambient space is the rational tropicalization of a cluster variety, as opposed to an ambient vector space. In this theory, line segments are replaced by broken line segments, and we adopt the notion of convexity in [CMN21]. We state and prove broken line convex geometry versions of many standard results from usual convex geometry.
Symplectic Grassmannians and Cyclic Quivers
Published
• View Publication
• BIB
The goal of this paper is to extend the quiver Grassmannian description of certain degenerations of Grassmann varieties to the symplectic case. We introduce a symplectic version of quiver Grassmannians studied in our previous papers and prove a number of results on these projective algebraic varieties. First, we construct a cellular decomposition of the symplectic quiver Grassmannians in question and develop combinatorics needed to compute Euler characteristics and Poincaré polynomials. Second, we show that the number of irreducible components of our varieties coincides with the Euler characteristic of the classical symplectic Grassmannians. Third, we describe the automorphism groups of the underlying symplectic quiver representations and show that the cells are the orbits of this group. Lastly, we provide an embedding into the affine flag varieties for the affine symplectic group.
Asymptotics of quantized barycenters of lattice polytopes with applications to algebraic geometry
Published in Math. Z. 309, 49 (2025)
• View Publication
• BIB
This article addresses a combinatorial problem with applications to algebraic geometry. To a convex lattice polytope $P$ and each of its integer dilations $kP$ one may associate the barycenter of its lattice points. This sequence of $k$-quantized barycenters converge to the (classical) barycenter of the polytope considered as a convex body. A basic question arises: is there a complete asymptotic expansion for this sequence? If so, what are its terms? This article initiates the study of this question. First, we establish the existence of such an expansion as well as determine the first two terms. Second, for Delzant lattice polytopes we use toric algebra to determine all terms using mixed volumes of virtual rooftop polytopes, or alternatively in terms of higher Donaldson--Futaki invariants. Third, for reflexive polytopes we show the quantized barycenters are colinear to first order, and actually colinear in the case of polygons. The proofs use Ehrhart theory, convexity arguments, and toric algebra. As applications we derive the complete asymptotic expansion of the Fujita--Odaka stability thresholds $δ_k$ on arbitrary polarizations on (possibly singular) toric varieties. In fact, we show they are rational functions of $k$ for sufficiently large $k$. This gives the first general result on Tian's stabilization problem for $δ_k$-invariants for (possibly singular) toric Fanos: $δ_k$ stabilize in $k$ if and only if they are all equal to $1$, and when smooth if and only if asymptotically Chow semistable. We also relate the asymptotic expansions to higher Donaldson--Futaki invariants of test configurations motivated by Ehrhart theory, and unify in passing previous results of Donaldson, Ono, Futaki, and Rubinstein--Tian--Zhang.
Spinor-Helicity Varieties
Published
• View Publication
• BIB
The spinor-helicity formalism in particle physics gives rise to natural subvarieties in the product of two Grassmannians. These include two-step flag varieties for subspaces of complementary dimension. Taking Hadamard products leads to Mandelstam varieties. We study these varieties through the lens of combinatorics and commutative algebra, and we explore their tropicalization, positive geometry, and scattering correspondence.
Fairness in Social Influence Maximization via Optimal Transport
Published
• View Publication
• BIB
We study fairness in social influence maximization, whereby one seeks to select seeds that spread a given information throughout a network, ensuring balanced outreach among different communities (e.g. demographic groups). In the literature, fairness is often quantified in terms of the expected outreach within individual communities. In this paper, we demonstrate that such fairness metrics can be misleading since they overlook the stochastic nature of information diffusion processes. When information diffusion occurs in a probabilistic manner, multiple outreach scenarios can occur. As such, outcomes such as ``In 50% of the cases, no one in group 1 gets the information, while everyone in group 2 does, and in the other 50%, it is the opposite'', which always results in largely unfair outcomes, are classified as fair by a variety of fairness metrics in the literature. We tackle this problem by designing a new fairness metric, mutual fairness, that captures variability in outreach through optimal transport theory. We propose a new seed-selection algorithm that optimizes both outreach and mutual fairness, and we show its efficacy on several real datasets. We find that our algorithm increases fairness with only a minor decrease (and at times, even an increase) in efficiency.
The filter of interpretability types of Hobby-McKenzie varieties is prime
Published
• View Publication
• BIB
We study the Hobby-McKenzie varieties that constitute a major class investigated thoroughly in the monograph The shape of congruence lattices by Kearnes and Kiss. We obtain new characterizations of the Hobby-McKenzie varieties via compatible reflexive ternary structures. Based on our findings, we prove that in the lattice of interpretability types of varieties, the filter of the interpretability types of Hobby-McKenzie varieties is prime.
Graph polynomials: some questions on the edge
Published
• View Publication
• BIB
We raise some questions about graph polynomials, highlighting concepts and phenomena that may merit consideration in the development of a general theory. Our questions are mainly of three types: When do graph polynomials have reduction relations (simple linear recursions based on local operations), perhaps in a wider class of combinatorial objects? How many levels of reduction relations does a graph polynomial need in order to express it in terms of trivial base cases? For a graph polynomial, how are properties such as equivalence and factorisation reflected in the structure of a graph? We illustrate our discussion with a variety of graph polynomials and other invariants. This leads us to reflect on the historical origins of graph polynomials. We also introduce some new polynomials based on partial colourings of graphs and establish some of their basic properties.