Source author record

Tatsuya Horiguchi

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AT math.AG math.CO math.RT math.SG

Catalog footprint

Research overview

6works

5topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2020arXiv

A filtration on the cohomology rings of regular nilpotent Hessenberg varieties

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 Poincaré 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.

preprint2020arXiv

A survey of recent developments on Hessenberg varieties

This article surveys recent developments on Hessenberg varieties, emphasizing some of the rich connections of their cohomology and combinatorics. In particular, we will see how hyperplane arrangements, representations of symmetric groups, and Stanley's chromatic symmetric functions are related to the cohomology rings of Hessenberg varieties. We also include several other topics on Hessenberg varieties to cover recent developments.

preprint2016arXiv

Hessenberg varieties and hyperplane arrangements

Given a semisimple complex linear algebraic group $G$ and a lower ideal $I$ in positive roots of $G$ , three objects arise: the ideal arrangement $\mathcal{A}_I$ , the regular nilpotent Hessenberg variety $\mbox{Hess}(N,I)$, and the regular semisimple Hessenberg variety $\mbox{Hess}(S,I)$. We show that a certain graded ring derived from the logarithmic derivation module of $\mathcal{A}_I$ is isomorphic to $H^*(\mbox{Hess}(N,I))$ and $H^*(\mbox{Hess}(S,I))^W$, the invariants in $H^*(\mbox{Hess}(S,I))$ under an action of the Weyl group $W$ of $G$ . This isomorphism is shown for general Lie type, and generalizes Borel's celebrated theorem showing that the coinvariant algebra of $W$ is isomorphic to the cohomology ring of the flag variety $G/B$ . This surprising connection between Hessenberg varieties and hyperplane arrangements enables us to produce a number of interesting consequences. For instance, the surjectivity of the restriction map $H^*(G/B)\to H^*(\mbox{Hess}(N,I))$ announced by Dale Peterson and an affirmative answer to a conjecture of Sommers-Tymoczko are immediate consequences. We also give an explicit ring presentation of $H^*(\mbox{Hess}(N,I))$ in types $B$ , $C$ , and $G$ . Such a presentation was already known in type $A$ or when $\mbox{Hess}(N,I)$ is the Peterson variety. Moreover, we find the volume polynomial of $\mbox{Hess}(N,I)$ and see that the hard Lefschetz property and the Hodge-Riemann relations hold for $\mbox{Hess}(N,I)$, despite the fact that it is a singular variety in general.

preprint2016arXiv

The $S^1$ -equivariant cohomology rings of $(n-k,k)$ Springer varieties

The main result of this note gives an explicit presentation of the $S^1$ -equivariant cohomology ring of the $(n-k,k)$ Springer variety (in type $A$ ) as a quotient of a polynomial ring by an ideal $I$ , in the spirit of the well-known Borel presentation of the cohomology of the flag variety.

preprint2014arXiv

The equivariant cohomology rings of regular nilpotent Hessenberg varieties in Lie type A: a research announcement

Let $n$ be a fixed positive integer and $h: \{1,2,...,n\} \rightarrow \{1,2,...,n\}$ a Hessenberg function. The main result of this manuscript is to give a systematic method for producing an explicit presentation by generators and relations of the equivariant and ordinary cohomology rings (with $\mathbb{Q}$ coefficients) of any regular nilpotent Hessenberg variety $\mathrm{Hess}(h)$ in type A. Specifically, we give an explicit algorithm, depending only on the Hessenberg function $h$ , which produces the $n$ defining relations $\{f_{h(j),j}\}_{j=1}^n$ in the equivariant cohomology ring. Our result generalizes known results: for the case $h=(2,3,4,...,n,n)$ , which corresponds to the Peterson variety $\mathrm{Pet}_n$ , we recover the presentation of $H^*_S(\mathrm{Pet}_n)$ given previously by Fukukawa, Harada, and Masuda. Moreover, in the case $h=(n,n,...,n)$ , for which the corresponding regular nilpotent Hessenberg variety is the full flag variety $\mathrm{Flags}(\mathbb{C}^n)$ , we can explicitly relate the generators of our ideal with those in the usual Borel presentation of the cohomology ring of $\mathrm{Flags}(\mathbb{C}^n)$ . The proof of our main theorem includes an argument that the restriction homomorphism $H^*_T(\mathrm{Flags}(\mathbb{C}^n)) \to H^*_S(\mathrm{Hess}(h))$ is surjective. In this research announcement, we briefly recount the context and state our results; we also give a sketch of our proofs and conclude with a brief discussion of open questions. A manuscript containing more details and full proofs is forthcoming.

preprint2014arXiv

The torus equivariant cohomology rings of Springer varieties

The Springer variety of type $A$ associated to a nilpotent operator on $\mathbb{C}^n$ in Jordan canonical form admits a natural action of the $\ell$ -dimensional torus $T^{\ell}$ where $\ell$ is the number of the Jordan blocks. We give a presentation of the $T^{\ell}$ -equivariant cohomology ring of the Springer variety through an explicit construction of an action of the $n$ -th symmetric group on the $T^{\ell}$ -equivariant cohomology group. The $T^{\ell}$ -equivariant analogue of so called Tanisaki's ideal will appear in the presentation.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Tatsuya Horiguchi

Research overview

Is this your work?

6 publications

A filtration on the cohomology rings of regular nilpotent Hessenberg varieties

A survey of recent developments on Hessenberg varieties

Hessenberg varieties and hyperplane arrangements

The $S^1$ -equivariant cohomology rings of $(n-k,k)$ Springer varieties

The equivariant cohomology rings of regular nilpotent Hessenberg varieties in Lie type A: a research announcement

The torus equivariant cohomology rings of Springer varieties

See the researcher in context

Building this map preview

Tatsuya Horiguchi

Research overview

Is this your work?

6 publications

A filtration on the cohomology rings of regular nilpotent Hessenberg varieties

A survey of recent developments on Hessenberg varieties

Hessenberg varieties and hyperplane arrangements

The S1S^1S1-equivariant cohomology rings of (n−k,k)(n-k,k)(n−k,k) Springer varieties

The equivariant cohomology rings of regular nilpotent Hessenberg varieties in Lie type A: a research announcement

The torus equivariant cohomology rings of Springer varieties

See the researcher in context

Building this map preview

The $S^1$ -equivariant cohomology rings of $(n-k,k)$ Springer varieties