arXiv subjects

Megumi Harada

Publications and source records attributed to Megumi Harada.

At least 37 records · Page 2Linked to original sources

arXiv2018

The volume polynomial of regular semisimple Hessenberg varieties and the Gelfand-Zetlin polytope

Regular semisimple Hessenberg varieties are subvarieties of the flag variety $\mathrm{Flag}(\mathbb{C}^n)$ arising naturally in the intersection of geometry, representation theory, and combinatorics. Recent results of Abe-Horiguchi-Masuda-Murai-Sato and Abe-DeDieu-Galetto-Harada relate the volume polynomials of regular semisimple Hessenberg varieties to the volume polynomial of the Gelfand-Zetlin polytope $\mathrm{GZ}(λ)$ for $λ=(λ_1,λ_2,\ldots,λ_n)$. The main results of this manuscript use and generalize tools developed by Anderson-Tymoczko, Kiritchenko-Smirnov-Timorin, and Postnikov, in order to derive an explicit formula for the volume polynomials of regular semisimple Hessenberg varieties in terms of the volumes of certain faces of the Gelfand-Zetlin polytope, and also exhibit a manifestly positive, combinatorial formula for their coefficients with respect to the basis of monomials in the $α_i := λ_i-λ_{i+1}$. In addition, motivated by these considerations, we carefully analyze the special case of the permutohedral variety, which is also known as the toric variety associated to Weyl chambers. In this case, we obtain an explicit decomposition of the permutohedron (the moment map image of the permutohedral variety) into combinatorial $(n-1)$-cubes, and also give a geometric interpretation of this decomposition by expressing the cohomology class of the permutohedral variety in $\mathrm{Flag}(\mathbb{C}^n)$ as a sum of the cohomology classes of a certain set of Richardson varieties.

math.AG↗

arXiv2018

Convergence of polarizations, toric degenerations, and Newton-Okounkov bodies

Let $X$ be a smooth irreducible complex algebraic variety of dimension $n$ and $L$ a very ample line bundle on $X$. Given a toric degeneration of $(X,L)$ satisfying some natural technical hypotheses, we construct a deformation $\{J_s\}$ of the complex structure on $X$ and bases $\mathcal{B}_s$ of $H^0(X,L, J_s)$ so that $J_0$ is the standard complex structure and, in the limit as $s \to \infty$, the basis elements approach dirac-delta distributions centered at Bohr-Sommerfeld fibers of a moment map associated to $X$ and its toric degeneration. The theory of Newton-Okounkov bodies and its associated toric degenerations shows that the technical hypotheses mentioned above hold in some generality. Our results significantly generalize previous results in geometric quantization which prove "independence of polarization" between Kähler quantizations and real polarizations. As an example, in the case of general flag varieties $X=G/B$ and for certain choices of $λ$, our result geometrically constructs a continuous degeneration of the (dual) canonical basis of $V_λ^*$ to a collection of dirac delta functions supported at the Bohr-Sommerfeld fibres corresponding exactly to the lattice points of a Littelmann-Berenstein-Zelevinsky string polytope $Δ_{\underline{w}_0}(λ) \cap \mathbb{Z}^{\dim(G/B)}$.

math.SG↗

arXiv2017

Singular string polytopes and functorial resolutions from Newton-Okounkov bodies

The main result of this note is that the toric degenerations of flag varieties associated to string polytopes and certain Bott-Samelson resolutions of flag varieties fit into a commutative diagram which gives a resolution of singularities of singular toric varieties corresponding to string polytopes. Our main tool is a result of Anderson which shows that the toric degenerations arising from Newton-Okounkov bodies are functorial in an appropriate sense. We also use results of Fujita which show that Newton-Okounkov bodies of Bott-Samelson varieties with respect to a certain valuation $ν_{max}$ coincide with generalized string polytopes, as well as previous results by the authors which explicitly describe the Newton-Okounkov bodies of Bott-Samelson varieties with respect to a different valuation $ν_{min}$ in terms of Grossberg-Karshon twisted cubes. A key step in our argument is that, under a technical condition, these Newton-Okounkov bodies coincide.

math.AG↗

arXiv2017

The cohomology of abelian Hessenberg varieties and the Stanley-Stembridge conjecture

We define a subclass of Hessenberg varieties called abelian Hessenberg varieties, inspired by the theory of abelian ideals in a Lie algebra developed by Kostant and Peterson. We give an inductive formula for the $S_n$-representation on the cohomology of an abelian regular semisimple Hessenberg variety with respect to the action defined by Tymoczko. Our result implies that a graded version of the Stanley-Stembridge conjecture holds in the abelian case, and generalizes results obtained by Shareshian-Wachs and Teff. Our proof uses previous work of Stanley, Gasharov, Shareshian-Wachs, and Brosnan-Chow, as well as results of the second author on the geometry and combinatorics of Hessenberg varieties. As part of our arguments, we obtain inductive formulas for the Poincaré polynomials of regular abelian Hessenberg varieties.

math.CO↗

arXiv2016

The cohomology rings of regular nilpotent Hessenberg varieties in Lie type A

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.

math.AG↗

arXiv2015

Newton-Okounkov bodies of Bott-Samelson varieties and Grossberg-Karshon twisted cubes

We describe, under certain conditions, the Newton-Okounkov body of a Bott-Samelson variety as a lattice polytope defined by an explicit list of inequalities. The valuation that we use to define the Newton-Okounkov body is different from that used previously in the literature. The polytope that arises is a special case of the Grossberg-Karshon twisted cubes studied by Grossberg and Karshon in connection to character formulae for irreducible $G$-representations and also studied previously by the authors in relation to certain toric varieties associated to Bott-Samelson varieties.

math.AG↗

arXiv2015

Integrable systems, toric degenerations and Okounkov bodies

Let X be a smooth complex projective variety of dimension n equipped with a very ample Hermitian line bundle L. In the first part of the paper, we show that if there exists a toric degeneration of X satisfying some natural hypotheses (which are satisfied in many settings), then there exists a completely integrable system on X in the sense of symplectic geometry. More precisely, we construct a collection of real-valued functions H_1, ... H_n on X which are continuous on all of X, smooth on an open dense subset U of X, and pairwise Poisson-commute on U. Moreover, we show that in many cases, we can construct the integrable system so that the functions H_1, ..., H_n generate a Hamiltonian torus action on U. In the second part, we show that the toric degenerations arising in the theory of Newton-Okounkov bodies satisfy all the hypotheses of the first part of the paper. In this case the image of the "moment map" μ= (H_1, ..., H_n): X to R^n is precisely the Okounkov body Δ= Δ(R, v) associated to the homogeneous coordinate ring R of X, and an appropriate choice of a valuation v on R. Our main technical tools come from algebraic geometry, differential (Kaehler) geometry, and analysis. Specifically, we use the gradient-Hamiltonian vector field, and a subtle generalization of the famous Lojasiewicz gradient inequality for real-valued analytic functions. Since our construction is valid for a large class of projective varieties X, this manuscript provides a rich source of new examples of integrable systems. We discuss concrete examples, including elliptic curves, flag varieties of arbitrary connected complex reductive groups, spherical varieties, and weight varieties.

math.AG↗

arXiv2015

The equivariant $K$-theory and cobordism rings of divisive weighted projective spaces

We apply results of Harada, Holm and Henriques to prove that the Atiyah-Segal equivariant complex $K$-theory ring of a divisive weighted projective space (which is singular for nontrivial weights) is isomorphic to the ring of integral piecewise Laurent polynomials on the associated fan. Analogues of this description hold for other complex-oriented equivariant cohomology theories, as we confirm in the case of homotopical complex cobordism, which is the universal example. We also prove that the Borel versions of the equivariant $K$-theory and complex cobordism rings of more general singular toric varieties, namely those whose integral cohomology is concentrated in even dimensions, are isomorphic to rings of appropriate piecewise formal power series. Finally, we confirm the corresponding descriptions for any smooth, compact, projective toric variety, and rewrite them in a face ring context. In many cases our results agree with those of Vezzosi and Vistoli for algebraic $K$-theory, Anderson and Payne for operational $K$-theory, Krishna and Uma for algebraic cobordism, and Gonzalez and Karu for operational cobordism; as we proceed, we summarize the details of these coincidences.

math.AT↗

arXiv2014

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.

math.AG↗

arXiv2014

The equivariant cohomology rings of Peterson varieties in all Lie types

Let G be a complex semisimple linear algebraic group and let Pet be the associated Peterson variety in the flag variety G/B. The main theorem of this note gives an efficient presentation of the equivariant cohomology ring H^*_S(Pet) of the Peterson variety as a quotient of a polynomial ring by an ideal J generated by quadratic polynomials, in the spirit of the Borel presentation of the cohomology of the flag variety. Here the group S \cong \mathbb{C}^* is a certain subgroup of a maximal torus T of G. Our description of the ideal J uses the Cartan matrix and is uniform across Lie types. In our arguments we use the Monk formula and Giambelli formula for the equivariant cohomology rings of Peterson varieties for all Lie types, as obtained in the work of Drellich. Our result generalizes a previous theorem of Fukukawa-Harada-Masuda, which was only for Lie type A.

math.AG↗

arXiv2014

Grossberg-Karshon twisted cubes and hesitant walk avoidance

Let $G$ be a complex semisimple simply connected linear algebraic group. Let $λ$ be a dominant weight for $G$ and $\mathcal{I} = (i_1, i_2, \ldots, i_n)$ a word decomposition for an element $w = s_{i_1} s_{i_2} \cdots s_{i_n}$ of the Weyl group of $G$, where the $s_i$ are the simple reflections. In the 1990s, Grossberg and Karshon introduced a virtual lattice polytope associated to $λ$ and $\mathcal{I}$, which they called a twisted cube, whose lattice points encode (counted with sign according to a density function) characters of representations of $G$. In recent work, the first author and Jihyeon Yang prove that the Grossberg-Karshon twisted cube is untwisted (so the support of the density function is a closed convex polytope) precisely when a certain torus-invariant divisor on a toric variety, constructed from the data of $λ$ and $\mathcal{I}$, is basepoint-free. This corresponds to the situation in which the Grossberg-Karshon character formula is a true combinatorial formula in the sense that there are no terms appearing with a minus sign. In this note, we translate this toric-geometric condition to the combinatorics of $\mathcal{I}$ and $λ$. More precisely, we introduce the notion of hesitant $λ$-walks and then prove that the associated Grossberg-Karshon twisted cube is untwisted precisely when $\mathcal{I}$ is hesitant-$λ$-walk-avoiding.

math.CO↗

arXiv2014

Grossberg-Karshon twisted cubes and basepoint-free divisors

Let $G$ be a complex semisimple simply connected linear algebraic group. The main result of this note is to give several equivalent criteria for the untwistedness of the twisted cubes introduced by Grossberg and Karshon. In certain cases arising from representation theory, Grossberg and Karshon obtained a Demazure-type character formula for irreducible $G$-representations as a sum over lattice points (counted with sign according to a density function) of these twisted cubes. A twisted cube is untwisted when it is a "true" (i.e. closed, convex) polytope; in this case, Grossberg and Karshon's character formula becomes a purely positive formula with no multiplicities, i.e. each lattice point appears precisely once in the formula, with coefficient $+1$. One of our equivalent conditions for untwistedness is that a certain divisor on the special fiber of a toric degeneration of a Bott-Samelson variety, as constructed by Pasquier, is basepoint-free. We also show that the strict positivity of some of the defining constants for the twisted cube, together with convexity (of its support), is enough to guarantee untwistedness. Finally, in the special case when the twisted cube arises from the representation-theoretic data of $λ$ an integral weight and $\underline{w}$ a choice of word decomposition of a Weyl group element, we give two simple necessary conditions for untwistedness which is stated in terms of $λ$ and $\underline{w}$.

math.AG↗

arXiv2014

Inertia groups of a toric DM stack, fake weighted projective spaces, and labelled sheared simplices

This paper determines the inertia groups (isotropy groups) of the points of a toric Deligne-Mumford stack [Z/G] (considered over the category of smooth manifolds) that is realized from a quotient construction using a stacky fan or stacky polytope. The computation provides an explicit correspondence between certain geometric and combinatorial data. In particular, we obtain a computation of the connected component of the identity element $G_0 \subset G$ and the component group $G/G_0$ in terms of the underlying stacky fan, enabling us to characterize the toric DM stacks which are global quotients. As another application, we obtain a characterization of those stacky polytopes that yield stacks equivalent to weighted projective stacks and, more generally, to `fake' weighted projective stacks. Finally, we illustrate our results in detail in the special case of labelled sheared simplices, where explicit computations can be made in terms of the facet labels.

math.SG↗

arXiv2013

A Giambelli formula for the $S^1$-equivariant cohomology of type A Peterson varieties

The main result of this note is a Giambelli formula for the Peterson Schubert classes in the $S^1$-equivariant cohomology ring of a type $A$ Peterson variety. Our results depend on the Monk formula for the equivariant structure constants for the Peterson Schubert classes derived by Harada and Tymoczko. In addition, we give proofs of two facts observed by H. Naruse: firstly, that some constants which appear in the multiplicative structure of the $S^1$-equivariant cohomology of Peterson varieties are Stirling numbers of the second kind, and secondly, that the Peterson Schubert classes satisfy a stability property in a sense analogous to the stability of the classical equivariant Schubert classes in the $T$-equivariant cohomology of the flag variety.

math.AG↗

arXiv2013

The equivariant cohomology rings of Peterson varieties

The main result of this note is an efficient presentation of the $S^1$-equivariant cohomology ring of Peterson varieties (in type $A$) as a quotient of a polynomial ring by an ideal $\mathcal{J}$, in the spirit of the well-known Borel presentation of the cohomology of the flag variety. Our result simplifies previous presentations given by Harada-Tymoczko and Bayegan-Harada. In particular, our result gives an affirmative answer to a conjecture of Bayegan and Harada that the defining ideal $\mathcal{J}$ is generated by quadratics.

math.AG↗

arXiv2013

The module structure of the equivariant K-theory of the based loop group of SU(2)

Let $G=SU(2)$ and let $ΩG$ denote the space of based loops in SU(2). We explicitly compute the $R(G)$-module structure of the topological equivariant $K$-theory $K_G^*(ΩG)$ and in particular show that it is a direct product of copies of $K^*_G(\pt) \cong R(G)$. (We intend to describe in detail the $R(G)$-algebra (i.e. product) structure of $K^*_G(ΩG)$ in a forthcoming companion paper.) Our proof uses the geometric methods for analyzing loop spaces introduced by Pressley and Segal (and further developed by Mitchell). However, Pressley and Segal do not explicitly compute equivariant $K$-theory and we also need further analysis of the spaces involved since we work in the equivariant setting. With this in mind, we have taken this opportunity to expand on the original exposition of Pressley-Segal in the hope that in doing so, both our results and theirs would be made accessible to a wider audience.

math.AT↗

arXiv2013

Global quotients among toric Deligne-Mumford stacks

This work characterizes global quotient stacks---smooth stacks associated to a finite group acting a manifold---among smooth quotient stacks $[M/G]$, where $M$ is a smooth manifold equipped with a smooth proper action by a Lie group $G$. The characterization is described in terms of the action of the connected component $G_0$ on $M$ and is related to (stacky) fundamental group and covering theory. This characterization is then applied to smooth toric Deligne-Mumford stacks, and global quotients among toric DM stacks are then characterized in terms of their associated combinatorial data of stacky fans.

math.DG↗

arXiv2012

Localization for equivariant cohomology with varying polarization

The main contribution of this paper is a generalization of several previous localization theories in equivariant symplectic geometry, including the classical Atiyah-Bott/Berline-Vergne localization theorem, as well as many cases of the localization via the norm-square of the momentum map as initiated and developed by Witten, Paradan, and Woodward. Our version unifies and generalizes these theories by using noncompact cobordisms as in previous work of Guillemin, Ginzburg, and Karshon, and by introducing a more flexible notion of `polarization' than in previous theories. Our localization formulas are also valid for closed 2-forms that may be degenerate. As a corollary, we are able to answer a question posed some time ago by Shlomo Sternberg concerning the classical Brianchon-Gram polytope decomposition,. We illustrate our theory using concrete examples motivated by our answer to Sternberg's question.

math.SG↗