arXiv++ Combinatorics

In this thesis, we study the nested Hilbert scheme ((\mathbb{A}^2)^{[n,n+1]}=\mathrm{Hilb}^{n,n+1}(\mathbb{A}^2)) from a combination of deformation theory, torus actions, and Young diagram combinatorics. We first recall the scheme theory and functor basics needed to define Hilbert schemes. We then use a classic result on first-order deformations to identify (T_I(\mathbb{A}^2)^{[n]}\cong \mathrm{Hom}*{\mathbb{C}[x,y]}(I,\mathbb{C}[x,y]/I)). For a nested pair (I\subset J), with (\dim*{\mathbb{C}}\mathbb{C}[x,y]/I=n+1) and (\dim_{\mathbb{C}}\mathbb{C}[x,y]/J=n), the tangent space becomes a compatibility kernel (T_{(I,J)}(\mathbb{A}^2)^{[n,n+1]}\cong \ker(\mathrm{Hom}(I,R/I)\oplus \mathrm{Hom}(J,R/J)\to \mathrm{Hom}(I,R/J))). The torus-fixed points are indexed by a partition (λ\vdash n+1) together with a removable corner (c) of its Young diagram. This corner is not only combinatorial, but also the monomial form of a one dimensional socle direction in (R/I_λ). The blow-up map to ((\mathbb{A}^2)^{[n]}\times \mathbb{A}^2) has fibres given by projective spaces of one-dimensional quotients of (J/\mathfrak m_pJ), whose torus-fixed points are addable boxes of the smaller diagram. These two local fibres explain how the universal family, the blow-up geometry, and Young diagram combinatorics come together in the study of the local geometry of the nested Hilbert scheme of points. Finally, we derive the tangent weight formula at a fixed point ((I_λ,I_{λ\setminus c})) in the torus convention used in the thesis. Using the standard arrow basis, we show in the proof how the arm-leg weights are modified by the compatibility kernel through a shortening rule determined by (c). A Macaulay2 verification computes the compatibility kernel from monomial syzygies and checks the weight formula for all partitions of size at most (16).

The present work develops the results of the series of papers by Buchstaber and Terzić on the standard actions of the compact torus $T^n = (S^1)^n$ on the complex Grassmann manifolds $G_{n,2}$. In those works, a hyperplane arrangement in $\mathbb{R}^n$ was introduced that determines the chamber decomposition of the hypersimplex $Δ_{n,2}$ for the $T^n$-action on $G_{n,2}$. We introduce a notion of admissible graph for the standard action of the torus $T^n$ on the complex Grassmannian $G_{n,2}$. In terms of admissible graphs, we give a complete inductive description (with respect to $n \ge 4$) of the admissible polytopes in $Δ_{n,2}$, as well as of the toric varieties arising as closures of $(\mathbb{C}^*)^n$-orbits on $G_{n,2}$ under the standard $(\mathbb{C}^*)^n$-action. We consider the $T^n$-equivariant Plücker embedding $G_{n,2} \hookrightarrow \mathbb{C}P^{N_2}$, where $N_2 = \binom{n}{2}-1$. Using admissible graphs, for the considered $T^n$-actions, we describe hyperplane arrangements in $\mathbb{R}^n$ that determine the chambers in $Δ_{n,2}$ for the $T^n$-actions on $G_{n,2}$ and $\mathbb{C}P^{N_2}$. Gel'fand, Kapranov, and Zelevinsky introduced the notions of secondary polytopes and secondary fans in connection with the problem of describing triangulations of a given convex polytope, which is closely related to the Newton polytopes of discriminants and resultants. For the $T^n$-action on $\mathbb{C}P^{N_2}$, we show that the cones in $\mathbb{R}^n$ with vertex at the origin spanned by the chambers form the secondary fan of the cone spanned by the vertices of $Δ_{n,2}$.

In [GL24], Galashin and Lam discovered that when $k$ and $n$ are coprime, the proportion of subspaces in $\mathrm{Gr}(k,n)(\mathbb{F}_q)$ that lie in the top-dimensional open positroid variety $Π_{k,n}^\circ(\mathbb{F}_q)$ is $|(\mathbb{F}_q^\times)^n|/|\mathbb{F}_{q^n}^\times|$. In this paper, I recover this point count identity by relating the split torus action on $(Π_{k,n}^\circ)_{\mathbb{F}_q}$ and an anisotropic torus action on a $\mathbb{F}_q$ rational form of $Π_{k,n}^\circ$. The main step in the point count argument and the main technical result in this paper is that cyclic rotation acts trivially on the torus-equivariant cohomology of $Π_{k,n}^\circ$ when $k$ and $n$ are coprime.

Let $G/H$ be a simply connected homogeneous space of maximal rank. Then the maximal torus $T$-action on $G/H$ is a GKM manifold. We call the $T$-action $j$-independent if any $i(\leq j)$ pairwise distinct isotropy weights at a fixed point are linearly independent. Using weighted graphs, we show that the maximal independence of $G/H$ is $2$, $3$ or $n=\dim T$, and that the cases of $3$ or $n=\dim T$ correspond to some symmetric spaces of rank $>2$. As a corollary, using the results of Ayzenberg and Masuda, the lower-degree reduced homology groups (with appropriate coefficients) of the orbit space $T\backslash G/H$ vanish.

We consider cohomological stable envelopes for a natural torus action $\mathsf{T}$ on $X=T^*Gr(k,n)$, introduced by Maulik-Okounkov. We define the $\mathbb{C}^*_\hbar$-equivariant integral of the stable envelope using equivariant localization over the subtorus $\mathbb{C}^*_\hbar\subset\mathsf{T}$, and compute the integral as a non-equivariant limit of the localization over the full torus, $\mathsf{T}$. The integral of such a class is an integer times a power of $\hbar$, and the main result of this paper is a combinatorial formula for these integers. In 3d mirror symmetry, these non-equivariant limits are expected to reflect some curve counting phenomena on the 3d mirror dual, $X^\vee$. When $k=1$, we obtain the binomial coefficients, and we study some of the combinatorics of the integers for higher $k$, which haven't appeared in the literature before. We give some conjectures and interpretations on extending this phenomena to type A quiver and bow varieties.

We investigate the toric geometry of two families of generalised determinantal varieties arising from permutations: Matrix Schubert varieties ($\overline{X_w}$) and Kazhdan-Lusztig varieties ($\mathcal{N}_{v,w}$). Matrix Schubert varieties can be written as $\overline{X_w} = Y_w \times \mathbb C^d$, where $d$ is maximal. We are especially interested in the structure and complexity of these varieties $Y_w$ and $\mathcal{N}_{v,w}$ under the so-called usual torus actions. In the case when $Y_w$ is toric, we provide a full characterisation of the simple reflections $s_i$ that render ${Y_{w \cdot s_i}}$ toric, as well as the corresponding changes to the weight cone. For Kazhdan-Lusztig varieties, we consider how moving one of the two permutations $v,w$ along a chain in the Bruhat poset affects their complexity. Additionally, we study the complexity of these varieties, for permutations $v$ and $w$ of a specific structure. Finally, we consider the links between these determinantal varieties and two classes of statistical models; namely conditional independence and quasi-independence models.

Quiver Grassmannians of equioriented type $\texttt{A}$ and nilpotent equioriented type $\tilde{\texttt{A}}$ quiver representations are GKM-varieties. In particular, they have a cellular decomposition and admit a torus action with finitely many fixed points and one-dimensional orbits (i.e. skeletal action). We examine the case of string representations and provide a classification of all corresponding quiver Grassmannians with a GKM-variety structure.

We compute the $S_n$-equivariant topological Euler characteristic of the Kontsevich moduli space $\overline{\mathcal{M}}_{1, n}(\mathbb{P}^r, d)$. Letting $\overline{\mathcal{M}}_{1, n}^{\mathrm{nrt}}(\mathbb{P}^r, d) \subset \overline{\mathcal{M}}_{1, n}(¶^r, d)$ denote the subspace of maps from curves without rational tails, we solve for the motive of $\overline{\mathcal{M}}_{1, n}(\mathbb{P}^r, d)$ in terms of $\overline{\mathcal{M}}_{1, n}^{\mathrm{nrt}}(\mathbb{P}^r, d)$ and plethysm with a genus-zero contribution determined by Getzler and Pandharipande. Fixing a generic $\mathbb{C}^\star$-action on $\mathbb{P}^r$, we derive a closed formula for the Euler characteristic of $\overline{\mathcal{M}}_{1, n}^{\mathrm{nrt}}(\mathbb{P}^r, d)^{\mathbb{C}^\star}$ as an $S_n$-equivariant virtual mixed Hodge structure, which leads to our main formula for the Euler characteristic of $\overline{\mathcal{M}}_{1,n}(\mathbb{P}^r, d)$. Our approach connects the geometry of torus actions on Kontsevich moduli spaces with symmetric functions in Coxeter types $A$ and $B$, as well as the enumeration of graph colourings with prescribed symmetry. We also prove a structural result about the $S_n$-equivariant Euler characteristic of $\overline{\mathcal{M}}_{g, n}(\mathbb{P}^r, d)$ in arbitrary genus.

We study the equivariant cohomology classes of torus-equivariant subvarieties of the space of matrices. For a large class of torus actions, we prove that the polynomials representing these classes (up to suitably changing signs) are covolume polynomials in the sense of Aluffi. We study the cohomology rings of complex varieties in terms of Macaulay inverse systems over $\mathbb{Z}$. As applications, we show that under certain conditions, the Macaulay dual generator is a denormalized Lorentzian polynomial in the sense of Brändén and Huh, and we give a characteristic-free extension (over $\mathbb{Z}$) of the result of Khovanskii and Pukhlikov describing the cohomology ring of toric varieties in terms of volume polynomials.

The goal of this paper is twofold. Firstly, we provide a type-uniform formula for the torus complexity of the usual torus action on a Richardson variety, by developing the notion of algebraic dimensions of Bruhat intervals, strengthening a type $A$ result by Donten-Bury, Escobar and Portakal. In the process, we give an explicit description of the torus action on any Deodhar component as well as describe the root subgroups that comprise the component. Secondly, when a Levi subgroup in a reductive algebraic group acts on a Schubert variety, we exhibit a codimension preserving bijection between the Levi-Borel subgroup (a Borel subgroup in the Levi subgroup) orbits in the big open cell of that Schubert variety and torus orbits in the big open cell of a distinguished Schubert subvariety. This bijection has many applications including a type-uniform formula for the Levi-Borel complexity of the usual Levi-Borel subgroup action on a Schubert variety. We conclude by extending the Levi-Borel complexity results to a large class of Schubert varieties in the partial flag variety.

Generalized associahedra are a well-studied family of polytopes associated to a finite-type cluster algebra and choice of starting cluster. We show that the generalized associahedra constructed by Padrol, Palu, Pilaud, and Plamondon, building on ideas from Arkani-Hamed, Bai, He, and Yan, can be naturally viewed as moment polytopes for an open patch of the quotient of the cluster A-variety with universal coefficients by its maximal natural torus action. We prove our result by showing that the construction of Padrol, Palu, Pilaud, and Plamondon can be understood on the basis of the way that moment polytopes behave under symplectic reduction.

We prove a sharp lower bound on the number of terms in an element of the reduced Gröbner basis of a Schubert determinantal ideal $I_w$ under the term order of [Knutson-Miller '05]. We give three applications. First, we give a pattern-avoidance characterization of the matrix Schubert varieties whose defining ideals are binomial. This complements a result of [Escobar-Mészáros '16] on matrix Schubert varieties that are toric with respect to their natural torus action. Second, we give a combinatorial proof that the recent formulas of [Rajchgot-Robichaux-Weigandt '23] and [Almousa-Dochtermann-Smith '22] computing the Castelnuovo-Mumford regularity of vexillary $I_w$ and toric edge ideals of bipartite graphs respectively agree for binomial $I_w$. Third, we demonstrate that the Gröbner basis for $I_w$ given by minimal generators [Gao-Yong '22] is reduced if and only if the defining permutation $w$ is vexillary.

We develop the GKM theory for the torus-equivariant cohomology of the affine flag variety using the combinatorics of alcove walks. Dual to the usual GKM setup, which depicts the orbits of the small torus action on a graph, alcove walks take place in tessellations of Euclidean space. Walks in affine rank two occur on triangulations of the plane, providing a more direct connection to splines used for approximating surfaces. Alcove walks in GKM theory also need not be minimal length, and can instead be randomly generated, giving rise to more flexible implementation. This work reinterprets and recovers classical results in GKM theory on the affine flag variety, generalizing them to both non-minimal and folded alcove walks, all motivated by applications to splines.

We characterize the actions of compact tori on smooth manifolds for which the orbit space is a topological manifold (either closed or with boundary). For closed manifolds the result was originally proved by Styrt in 2009. We give a new proof for closed manifolds which is also applicable to manifolds with boundary. In our arguments we use the result of Provan and Billera who characterized matroid complexes which are pseudomanifolds. We study the combinatorial structure of torus actions whose orbit spaces are manifolds. In two appendix sections we give an overview of two theories related to our work. The first one is the combinatorial theory of Leontief substitution systems from mathematical economics. The second one is the topological Kaluza--Klein model of Dirac's monopole studied by Atiyah. The aim of these sections is to draw some bridges between disciplines and motivate further studies in toric topology.

In this paper we describe a relation between the notion of graphicahedron, introduced by Araujo-Pardo, Del Río-Francos, López-Dudet, Oliveros, and Schulte in 2010, and toric topology of manifolds of sparse isospectral Hermitian matrices. More precisely, we recall the notion of a cluster-permutohedron, a certain finite poset defined for a simple graph $Γ$. This poset is build as a combination of cosets of the symmetric group, and the geometric lattice of the graphical matroid of $Γ$. This poset is similar to the graphicahedron of $Γ$, in particular, 1-skeleta of both posets are isomorphic to Cayley graphs of the symmetric group. We describe the relation between cluster-permutohedron and graphicahedron using Galois connection and the notion of a core of a finite topology. We further prove that the face poset of the natural torus action on the manifold of isospectral $Γ$-shaped Hermitian matrices is isomorphic to the cluster-permutohedron. Using recent results in toric topology, we show that homotopy properties of graphicahedra may serve an obstruction to equivariant formality of isospectral matrix manifolds. We introduce a generalization of a cluster-permutohedron and describe the combinatorial structure of a large family of manifolds with torus actions, including Grassmann manifolds and partial flag manifolds.

In this paper we study general torus actions on manifolds with isolated fixed points from combinatorial point of view. The main object of study is the poset of face submanifolds of such actions. We introduce the notion of a locally geometric poset -- the graded poset locally modelled by geometric lattices, and prove that for any torus action, the poset of its faces is locally geometric. Next we discuss the relations between posets of faces and GKM-theory. In particular, we define the face poset of an abstract GKM-graph and show how to reconstruct the face poset of a manifold from its GKM-graph.

Hausel and Rodriguez-Villegas recently observed that work of Göttsche, combined with a classical result of Erdős and Lehner on integer partitions, implies that the limiting Betti distribution for the Hilbert schemes $(\mathbb{C}^2)^{[n]}$ on $n$ points, as $n\rightarrow +\infty,$ is a \textit{Gumbel distribution}. In view of this example, they ask for further such Betti distributions. We answer this question for the quasihomogeneous Hilbert schemes $((\mathbb{C}^2)^{[n]})^{T_{α,β}}$ that are cut out by torus actions. We prove that their limiting distributions are also of Gumbel type. To obtain this result, we combine work of Buryak, Feigin, and Nakajima on these Hilbert schemes with our generalization of the result of Erdős and Lehner, which gives the distribution of the number of parts in partitions that are multiples of a fixed integer $A\geq 2.$ Furthermore, if $p_k(A;n)$ denotes the number of partitions of $n$ with exactly $k$ parts that are multiples of $A$, then we obtain the asymptotic $$ p_k(A,n)\sim \frac{24^{\frac k2-\frac14}(n-Ak)^{\frac k2-\frac34}}{\sqrt2\left(1-\frac1A\right)^{\frac k2-\frac14}k!A^{k+\frac12}(2π)^k}e^{2π\sqrt{\frac1{6}\left(1-\frac1A\right)(n-Ak)}}, $$ a result which is of independent interest.

We investigate the class of Kazhdan-Lusztig varieties, and its subclass of matrix Schubert varieties, endowed with a naturally defined torus action. Writing a matrix Schubert variety $\overline{X_w}$ as $\overline{X_w}=Y_w\times \mathbb{C}^d$ (where $d$ is maximal possible), we show that $Y_w$ can be of complexity-$k$ exactly when $k\neq 1$. Also, we give a combinatorial description of the extremal rays of the weight cone of a Kazhdan-Lusztig variety, which in particular turns out to be the edge cone of an acyclic directed graph. As a consequence we show that given permutations $v$ and $w$, the complexity of Kazhdan-Lusztig variety indexed by $(v,w)$ is the same as the complexity of the Richardson variety indexed by $(v,w)$. Finally, we use this description to compute the complexity of certain Kazhdan-Lusztig varieties.

We show that the components, appearing in the decomposition theorem for contraction maps of torus actions of complexity one, are intersection cohomology complexes of even codimensional subvarieties. As a consequence, we obtain the vanishing of the odd dimensional intersection cohomology for rational complete varieties with torus action of complexity one. The article also presents structural results on linear torus action in order to compute the intersection cohomology from the weight matrix. In particular, we determine the intersection cohomology Betti numbers of affine trinomial hypersurfaces in terms of their defining equation.

Generalizing the star graphs of Müller-Stach and Westrich, we describe a class of graphs whose associated graph hypersurface is equipped with a non-trivial torus action. For such graphs, we show that the Euler characteristic of the corresponding projective graph hypersurface complement is zero. In contrast, we also show that the Euler characteristic in question can take any integer value for a suitable graph. This disproves a conjecture of Aluffi in a strong sense.