Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userA formula for the cohomology and $K$-class of a regular Hessenberg variety
121
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
Hessenberg varieties are subvarieties of the flag variety parametrized by a linear operator $X$ and a nondecreasing function $h$. The family of Hessenberg varieties for regular $X$ is particularly important: they are used in quantum cohomology, in combinatorial and geometric representation theory, in Schubert calculus and affine Schubert calculus. We show that the classes of a regular Hessenberg variety in the cohomology and $K$-theory of the flag variety are given by making certain substitutions in the Schubert polynomial (respectively Grothendieck polynomial) for a permutation that depends only on $h$. Our formula and our methods are different from a recent result of Abe, Fujita, and Zeng that gives the class of a regular Hessenberg variety with more restrictions on $h$ than here.
rate research
Read More
Let $n$ be a fixed positive integer and $h: {1,2,ldots,n} rightarrow {1,2,ldots,n}$ a Hessenberg function. The main results of this paper are twofold. First, we give a systematic method, depending in a simple manner on the Hessenberg function $h$, for producing an explicit presentation by generators and relations of the cohomology ring $H^ast(Hess(mathsf{N},h))$ with $mathbb{Q}$ coefficients of the corresponding regular nilpotent Hessenberg variety $Hess(mathsf{N},h)$. Our result generalizes known results in special cases such as the Peterson variety and also allows us to answer a question posed by Mbirika and Tymoczko. Moreover, our list of generators in fact forms a regular sequence, allowing us to use techniques from commutative algebra in our arguments. Our second main result gives an isomorphism between the cohomology ring $H^*(Hess(mathsf{N},h))$ of the regular nilpotent Hessenberg variety and the $S_n$-invariant subring $H^*(Hess(mathsf{S},h))^{S_n}$ of the cohomology ring of the regular semisimple Hessenberg variety (with respect to the $S_n$-action on $H^*(Hess(mathsf{S},h))$ defined by Tymoczko). Our second main result implies that $mathrm{dim}_{mathbb{Q}} H^k(Hess(mathsf{N},h)) = mathrm{dim}_{mathbb{Q}} H^k(Hess(mathsf{S},h))^{S_n}$ for all $k$ and hence partially proves the Shareshian-Wachs conjecture in combinatorics, which is in turn related to the well-known Stanley-Stembridge conjecture. A proof of the full Shareshian-Wachs conjecture was recently given by Brosnan and Chow, but in our special case, our methods yield a stronger result (i.e. an isomorphism of rings) by more elementary considerations. This paper provides detailed proofs of results we recorded previously in a research announcement.
In this paper we construct an additive basis for the cohomology ring of a regular nilpotent Hessenberg variety which is obtained by extending all Poincare duals of smaller regular nilpotent Hessenberg varieties. In particular, all of the Poincare duals of smaller regular nilpotent Hessenberg varieties in the given regular nilpotent Hessenberg variety are linearly independent.
Let $n$ be a positive integer. The main result of this manuscript is a construction of a filtration on the cohomology ring of a regular nilpotent Hessenberg variety in $GL(n,{mathbb{C}})/B$ such that its associated graded ring has graded pieces (i.e., homogeneous components) isomorphic to rings which are related to the cohomology rings of Hessenberg varieties in $GL(n-1,{mathbb{C}})/B$, showing the inductive nature of these rings. In previous work, the first two authors, together with Abe and Masuda, gave an explicit presentation of these cohomology rings in terms of generators and relations. We introduce a new set of polynomials which are closely related to the relations in the above presentation and obtain a sequence of equivalence relations they satisfy; this allows us to derive our filtration. In addition, we obtain the following three corollaries. First, we give an inductive formula for the Poincare polynomial of these varieties. Second, we give an explicit monomial basis for the cohomology rings of regular nilpotent Hessenberg varieties with respect to the presentation mentioned above. Third, we derive a basis of the set of linear relations satisfied by the images of the Schubert classes in the cohomology rings of regular nilpotent Hessenberg varieties. Finally, our methods and results suggest many directions for future work; in particular, we propose a definition of Hessenberg Schubert polynomials in the context of regular nilpotent Hessenberg varieties, and outline several open questions pertaining to them.
We investigate the cohomology rings of regular semisimple Hessenberg varieties whose Hessenberg functions are of the form $h=(h(1),ndots,n)$ in Lie type $A_{n-1}$. The main result of this paper gives an explicit presentation of the cohomology rings in terms of generators and their relations. Our presentation naturally specializes to Borels presentation of the cohomology ring of the flag variety and it is compatible with the representation of the symmetric group $mathfrak{S}_n$ on the cohomology constructed by J. Tymoczko. As a corollary, we also give an explicit presentation of the $mathfrak{S}_n$-invariant subring of the cohomology ring.
The Springer variety is the set of flags stabilized by a nilpotent operator. In 1976, T.A. Springer observed that this varietys cohomology ring carries a symmetric group action, and he offered a deep geometric construction of this action. Sixteen years later, Garsia and Procesi made Springers work more transparent and accessible by presenting the cohomology ring as a graded quotient of a polynomial ring. They combinatorially describe an explicit basis for this quotient. The goal of this paper is to generalize their work. Our main result deepens their analysis of Springer varieties and extends it to a family of varieties called Hessenberg varieties, a two-parameter generalization of Springer varieties. Little is known about their cohomology. For the class of regular nilpotent Hessenberg varieties, we conjecture a quotient presentation for the cohomology ring and exhibit an explicit basis. Tantalizing new evidence supports our conjecture for a subclass of regular nilpotent varieties called Peterson varieties.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
