arXiv subjects
Publications and source records attributed to Haozhi Zeng.
We study the totally nonnegative part of the Peterson variety in arbitrary Lie type and establish its connection to the strongly dominant weight polytope. In particular, we prove that the totally nonnegative part of the Peterson variety is a regular CW-complex, which is homeomorphic to a cube as a cell-decomposed space. This confirms a conjecture of Rietsch for all Lie types.
Hessenberg varieties are a family of subvarieties of full flag varieties. This family contains well-known varieties such as Springer fibers, Peterson varieties, and permutohedral varieties. It was introduced by De Mari-Procesi-Shayman in 1992 and has been actively studied in this decade. In particular, unexpected relations to hyperplane arrangements and the Stanley-Stembridge conjecture in graph theory have been discovered. Hessenberg varieties can be defined in partial flag varieties. In this paper, we study their cohomology by relating them to the cohomology of Hessenberg varieties in the full flag varieties.
A regular semisimple Hessenberg variety $\mathrm{Hess}(S,h)$ is a smooth subvariety of the full flag variety $\mathrm{Fl}(\mathbb{C}^n)$ associated with a regular semisimple matrix $S$ of order $n$ and a function $h$ from $\{1,2,\dots,n\}$ to itself satisfying a certain condition. We show that when $\mathrm{Hess}(S,h)$ is connected and not the entire space $\mathrm{Fl}(\mathbb{C}^n)$, the reductive part of the identity component $\mathrm{Aut}^0(\mathrm{Hess}(S,h))$ of the automorphism group $\mathrm{Aut}(\mathrm{Hess}(S,h))$ of $\mathrm{Hess}(S,h)$ is an algebraic torus of dimension $n-1$ and $\mathrm{Aut}(\mathrm{Hess}(S,h))/\mathrm{Aut}^0(\mathrm{Hess}(S,h))$ is isomorphic to a subgroup of $\mathfrak{S}_n$ or $\mathfrak{S}_n\rtimes \{\pm 1\}$, where $\mathfrak{S}_n$ is the symmetric group of degree $n$. As a byproduct of our argument, we show that $\mathrm{Aut}(X)/\mathrm{Aut}^0(X)$ is a finite group for any projective GKM manifold $X$.
The Peterson variety is a remarkable variety introduced by Dale Peterson to describe the quantum cohomology rings of all the partial flag varieties. The rational cohomology ring of the Peterson variety is known to be isomorphic to that of a particular toric orbifold which naturally arises from the given root system. In this paper, we show that it is not an accidental algebraic coincidence; we construct an explicit morphism from the Peterson variety to the toric orbifold which induces a ring isomorphism between their rational cohomology rings.
The Peterson variety (which we denote by $Y$) is a subvariety of the flag variety, introduced by Dale Peterson to describe the quantum cohomology rings of all the partial flag varieties. Motivated by the mirror symmetry for partial flag varieties, Rietsch studied the totally nonnegative part $Y_{\ge0}$ and its cell decomposition. Based on the structure of those cells, Rietsch gave the following conjecture in Lie type A; as a cell decomposed space, $Y_{\ge0}$ is homeomorphic to the cube $[0,1]^{\dim_{\mathbb{C}}Y}$. In this paper, we give a proof of Rietsch's conjecture on $Y_{\ge0}$ in Lie type A by using toric geometry which is closely related to the Peterson variety.
In this paper, we study the ring structure of the integral cohomology of the Peterson variety of type $\text{A}_{n-1}$. We give two kinds of descriptions: (1) we show that it is isomorphic to the $\mathfrak{S}_n$-invariant subring of the integral cohomology ring of the permutohedral variety, (2) we determine the ring structure in terms of ring generators and their relations.
The notation of torus manifolds were introduced by A. Hattori and M. Masuda. Toric manifolds, quasitoric manifolds, topological toric manifolds, toric origami manifolds and $b$-symplectic toric manifolds are typical examples of torus manifolds with locally standard action. Recently, L. Yu introduced a nice notion topological face ring $\mathbf{k}[Q]$, a generalization of Stanley-Reisener ring, for a nice manifold with corners $Q$. L. Yu applied polyhedral product technique developed by A. Bahri, M. Bendersky, F. Cohon and S. Gilter to show that the equivariant cohomology ring $H^*_T(M)$ of an open torus manifold $M$ with locally standard action is isomorphic to the topological face ring of $M/T$ under the assumption that the free part of the action is a trivial torus bundle. In this paper we show that Yu's formula holds for any open torus manifolds with locally standard action by a different appoach. In addition using our method we give an explicit formula for equivariant Stiefel-Whitney classes and Pontrjagin classes of open torus manifolds with locally standard action.
We introduce an additive basis of the integral cohomology ring of the Peterson variety which reflects the geometry of certain subvarieties of the Peterson variety. We explain the positivity of the structure constants from a geometric viewpoint, and provide a manifestly positive combinatorial formula for them. We also prove that our basis coincides with the additive basis introduced by Harada-Tymoczko.
Regular semisimple Hessenberg varieties are smooth subvarieties of the flag variety, and their examples contain the flag variety itself and the permutohedral variety which is a toric variety. We give a complete classification of Fano and weak Fano regular semisimple Hessenberg varieties in type A in terms of combinatorics of Hessenberg functions. In particular, we show that if the anti-canonical bundle of a regular semisimple Hessenberg variety is nef, then it is in fact nef and big.
Let $\mathfrak{g}$ be a complex semisimple Lie algebra. For a regular element $x$ in $\mathfrak{g}$ and a Hessenberg space $H\subseteq \mathfrak{g}$, we consider a regular Hessenberg variety $X(x,H)$ in the flag variety associated with $\mathfrak{g}$. We take a Hessenberg space so that $X(x,H)$ is irreducible, and show that the higher cohomology groups of the structure sheaf of $X(x,H)$ vanish. We also study the flat family of regular Hessenberg varieties, and prove that the scheme-theoretic fibers over the closed points are reduced. We include applications of these results as well.
We study torsion in the integral cohomology of a certain family of $2n$-dimensional orbifolds $X$ with actions of the $n$-dimensional compact torus. Compact simplicial toric varieties are in our family. For a prime number $p$, we find a necessary condition for the integral cohomology of $X$ to have no $p$-torsion. Then we prove that the necessary condition is sufficient in some cases. We also give an example of $X$ which shows that the necessary condition is not sufficient in general.
A toric origami manifold is a generalization of a symplectic toric manifold (or a toric symplectic manifold). The origami symplectic form is allowed to degenerate in a good controllable way in contrast to the usual symplectic form. It is widely known that symplectic toric manifolds are encoded by Delzant polytopes, and the cohomology and equivariant cohomology rings of a symplectic toric manifold can be described in terms of the corresponding polytope. Recently, Holm and Pires described the cohomology of a toric origami manifold $M$ in terms of the orbit space $M/T$ when $M$ is orientable and the orbit space $M/T$ is contractible. But in general the orbit space of a toric origami manifold need not be contractible. In this paper we study the topology of orientable toric origami manifolds for the wider class of examples: we require that every proper face of the orbit space is acyclic, while the orbit space itself may be arbitrary. Furthermore, we give a general description of the equivariant cohomology ring of torus manifolds with locally standard torus actions in the case when proper faces of the orbit space are acyclic and the free part of the action is a trivial torus bundle.
We construct quasitoric manifolds of dimension 6 and higher which are not equivariantly homeomorphic to any toric origami manifold. All necessary topological definitions and combinatorial constructions are given and the statement is reformulated in discrete geometrical terms. The problem reduces to existence of planar triangulations with certain coloring and metric properties.