BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Megumi Harada

Megumi Harada contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.AGmath.ATmath.COmath.KTmath.SGmath.ACmath.DGmath.RT

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
11works
0followers
8topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

11 published item(s)

preprint2022arXiv

Torus fixed point sets of Hessenberg Schubert varieties in regular semisimple Hessenberg varieties

It is well-known that the $T$-fixed points of a Schubert variety in the flag variety $GL_n(\mathbb{C})/B$ can be characterized purely combinatorially in terms of Bruhat order on the symmetric group $\mathfrak{S}_n$. In a recent preprint, Cho, Hong, and Lee give a combinatorial description of the $T$-fixed points of Hessenberg analogues of Schubert varieties (which we call Hessenberg Schubert varieties) in a regular semisimple Hessenberg variety. This note gives an interpretation of their result in terms of Bruhat order by making use of a partition of the symmetric group defined using so-called subsets of Weyl type. The Appendix, written by Michael Zeng, proves a lemma concerning subsets of Weyl type which is required in our arguments.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Toward permutation bases in the equivariant cohomology rings of regular semisimple Hessenberg varieties

Recent work of Shareshian and Wachs, Brosnan and Chow, and Guay-Paquet connects the well-known Stanley-Stembridge conjecture in combinatorics to the dot action of the symmetric group $S_n$ on the cohomology rings $H^*(Hess(S,h))$ of regular semisimple Hessenberg varieties. In particular, in order to prove the Stanley-Stembridge conjecture, it suffices to construct (for any Hessenberg function $h$) a permutation basis of $H^*(Hess(S,h))$ whose elements have stabilizers isomorphic to Young subgroups. In this manuscript we give several results which contribute toward this goal. Specifically, in some special cases, we give a new, purely combinatorial construction of classes in the $T$-equivariant cohomology ring $H^*_T(Hess(S,h))$ which form permutation bases for subrepresentations in $H^*_T(Hess(S,h))$. Moreover, from the definition of our classes it follows that the stabilizers are isomorphic to Young subgroups. Our constructions use a presentation of the $T$-equivariant cohomology rings $H^*_T(Hess(S,h))$ due to Goresky, Kottwitz, and MacPherson. The constructions presented in this manuscript generalize past work of Abe-Horiguchi-Masuda, Chow, and Cho-Hong-Lee.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Virtual resolutions of points in $\mathbb{P}^1 \times \mathbb{P}^1$

We explore explicit virtual resolutions, as introduced by Berkesch, Erman, and Smith, for ideals of sets of points in $\mathbb{P}^1 \times \mathbb{P}^1$. Specifically, we describe a virtual resolution for a sufficiently general set of points $X$ in $\mathbb{P}^1 \times \mathbb{P}^1$ that only depends on $|X|$. We also improve an existence result of Berkesch, Erman, and Smith in the special case of points in $\mathbb{P}^1 \times \mathbb{P}^1$; more precisely, we give an effective bound for their construction that gives a virtual resolution of length two for any set of points in $\mathbb{P}^1 \times \mathbb{P}^1$.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Geometry of Hessenberg varieties with applications to Newton-Okounkov bodies

In this paper, we study the geometry of various Hessenberg varieties in type A, as well as families thereof, with the additional goal of laying the groundwork for future computations of Newton-Okounkov bodies of Hessenberg varieties. Our main results are as follows. We find explicit and computationally convenient generators for the local defining ideals of indecomposable regular nilpotent Hessenberg varieties, and then show that all regular nilpotent Hessenberg varieties are local complete intersections. We also show that certain families of Hessenberg varieties, whose generic fibers are regular semisimple Hessenberg varieties and the special fiber is a regular nilpotent Hessenberg variety, are flat and have reduced fibres. This result further allows us to give a computationally effective formula for the degree of a regular nilpotent Hessenberg variety with respect to a Plücker embedding. Furthermore, we construct certain flags of subvarieties of a regular nilpotent Hessenberg variety, obtained by intersecting with Schubert varieties, which are suitable for computing Newton-Okounkov bodies. As an application of our results, we explicitly compute many Newton-Okounkov bodies of the two-dimensional Peterson variety with respect to Plücker embeddings.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Torsion in the full orbifold K-theory of abelian symplectic quotients

Let (M,ω,Φ) be a Hamiltonian T-space and let H be a closed Lie subtorus of T. Under some technical hypotheses on the moment map Φ, we prove that there is no additive torsion in the integral full orbifold K-theory of the orbifold symplectic quotient [M//H]. Our main technical tool is an extension to the case of moment map level sets the well-known result that components of the moment map of a Hamiltonian T-space M are Morse-Bott functions on M. As first applications, we conclude that a large class of symplectic toric orbifolds, as well as certain S^1-quotients of GKM spaces, have integral full orbifold K-theory that is free of additive torsion. Finally, we introduce the notion of semilocally Delzant which allows us to formulate sufficient conditions under which the hypotheses of the main theorem hold. We illustrate our results using low-rank coadjoint orbits of type A and B.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Poset pinball, highest forms, and (n-2,2) Springer varieties

We study type $A$ nilpotent Hessenberg varieties equipped with a natural $S^1$-action using techniques introduced by Tymoczko, Harada-Tymoczko, and Bayegan-Harada, with a particular emphasis on a special class of nilpotent Springer varieties corresponding to the partition $λ= (n-2,2)$ for $n \geq 4$. First we define the adjacent-pair matrix corresponding to any filling of a Young diagram with $n$ boxes with the alphabet $\{1,2,\ldots,n\}$. Using the adjacent-pair matrix we make more explicit and also extend some statements concerning highest forms of linear operators in previous work of Tymoczko. Second, for a nilpotent operator $N$ and Hessenberg function $h$, we construct an explicit bijection between the $S^1$-fixed points of the nilpotent Hessenberg variety $\Hess(N,h)$ and the set of $(h,λ_N)$-permissible fillings of the Young diagram $λ_N$. Third, we use poset pinball, the combinatorial game introduced by Harada and Tymoczko, to study the $S^1$-equivariant cohomology of type $A$ Springer varieties $\mathcal{S}_{(n-2,2)}$ associated to Young diagrams of shape $(n-2,2)$ for $n\geq 4$. Specifically, we use the dimension pair algorithm for Betti-acceptable pinball described by Bayegan and Harada to specify a subset of the equivariant Schubert classes in the $T$-equivariant cohomology of the flag variety $\mathcal{F}\ell ags(\C^n)$ which maps to a module basis of $H^*_{S^1}(\mathcal{S}_{(n-2,2)})$ under the projection $H^*_T(\mathcal{F}\ell ags(\C^n)) \to H^*_{S^1}(\mathcal{S}_{(n-2,2)})$. Our pinball module basis is not poset-upper-triangular; this is the first concrete such example in the literature. A consequence of our proof is that there exists a simple and explicit change of basis which transforms our basis to a poset-upper-triangular module basis for $H^*_{S^1}(\mathcal{S}_{(n-2,2)})$. We close with open questions for future work.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Divided differences and the Weyl character formula in equivariant K-theory

Let $X$ be a topological space and $G$ a compact connected Lie group acting on $X$. Atiyah proved that the $G$-equivariant K-group of $X$ is a direct summand of the $T$-equivariant K-group of $X$, where $T$ is a maximal torus of $G$. We show that this direct summand is equal to the subgroup of $K_T^*(X)$ annihilated by certain divided difference operators. If $X$ consists of a single point, this assertion amounts to the Weyl character formula. We also give sufficient conditions on $X$ for $K_G^*(X)$ to be isomorphic to the subgroup of Weyl invariants of $K_T^*(X)$.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Morse theory of the moment map for representations of quivers

The results of this paper concern the Morse theory of the norm-square of the moment map on the space of representations of a quiver. We show that the gradient flow of this function converges, and that the Morse stratification induced by the gradient flow co-incides with the Harder-Narasimhan stratification from algebraic geometry. Moreover, the limit of the gradient flow is isomorphic to the graded object of the Harder-Narasimhan-Jordan-Hölder filtration associated to the initial conditions for the flow. With a view towards applications to Nakajima quiver varieties we construct explicit local co-ordinates around the Morse strata and (under a technical hypothesis on the stability parameter) describe the negative normal space to the critical sets. Finally, we observe that the usual Kirwan surjectivity theorems in rational cohomology and integral K-theory carry over to this non-compact setting, and that these theorems generalize to certain equivariant contexts.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Poset pinball, GKM-compatible subspaces, and Hessenberg varieties

This paper has three main goals. First, we set up a general framework to address the problem of constructing module bases for the equivariant cohomology of certain subspaces of GKM spaces. To this end we introduce the notion of a GKM-compatible subspace of an ambient GKM space. We also discuss poset-upper-triangularity, a key combinatorial notion in both GKM theory and more generally in localization theory in equivariant cohomology. With a view toward other applications, we present parts of our setup in a general algebraic and combinatorial framework. Second, motivated by our central problem of building module bases, we introduce a combinatorial game which we dub poset pinball and illustrate with several examples. Finally, as first applications, we apply the perspective of GKM-compatible subspaces and poset pinball to construct explicit and computationally convenient module bases for the $S^1$-equivariant cohomology of all Peterson varieties of classical Lie type, and subregular Springer varieties of Lie type $A$. In addition, in the Springer case we use our module basis to lift the classical Springer representation on the ordinary cohomology of subregular Springer varieties to $S^1$-equivariant cohomology in Lie type $A$.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Poset pinball, the dimension pair algorithm, and type A regular nilpotent Hessenberg varieties

In this manuscript we develop the theory of poset pinball, a combinatorial game recently introduced by Harada and Tymoczko for the study of the equivariant cohomology rings of GKM-compatible subspaces of GKM spaces. Harada and Tymoczko also prove that in certain circumstances, a successful outcome of Betti poset pinball yields a module basis for the equivariant cohomology ring of the GKM-compatible subspace. Our main contributions are twofold. First we construct an algorithm (which we call the dimension pair algorithm) which yields the result of a successful outcome of Betti poset pinball for any type $A$ regular nilpotent Hessenberg and any type $A$ nilpotent Springer variety, considered as GKM-compatible subspaces of the flag variety $\Flags(\C^n)$. The definition of the algorithm is motivated by a correspondence between Hessenberg affine cells and certain Schubert polynomials which we learned from Erik Insko. Second, in the special case of the type $A$ regular nilpotent Hessenberg varieties specified by the Hessenberg function $h(1)=h(2)=3$ and $h(i) = i+1$ for $3 \leq i \leq n-1$ and $h(n)=n$, we prove that the pinball result coming from the dimension pair algorithm is poset-upper-triangular; by results of Harada and Tymoczko this implies the corresponding equivariant cohomology classes form a $H^*_{S^1}(\pt)$-module basis for the $S^1$-equivariant cohomology ring of the Hessenberg variety.

0 citations0 reviewsNo code linkedOpen access