Lisa Jeffrey, Young-Hoon Kiem, Frances Kirwan
This paper gives a partial desingularisation construction for hyperkähler quotients and a criterion for the surjectivity of an analogue of the Kirwan map to the cohomology of hyperkähler quotients. This criterion is applied to some linear actions on hyperkähler vector spaces.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
Hyperkahler quotients by non-free actions are typically highly singular, but are remarkably still partitioned into smooth hyperkahler manifolds. We show that these partitions are topological stratifications, in a strong sense. We also endow the quotients with global Poisson structures which induce the hyperkahler structures on the strata. Finally, we give a local model which shows that these quotients are locally isomorphic to linear complex-symplectic reductions in the GIT sense. These results can be thought of as the hyperkahler analogues of Sjamaar-Lerman's theorems for symplectic reduction…
We study an integration theory in circle equivariant cohomology in order to prove a theorem relating the cohomology ring of a hyperkahler quotient to the cohomology ring of the quotient by a maximal abelian subgroup, analogous to a theorem of Martin for symplectic quotients. We discuss applications of this theorem to quiver varieties, and compute as an example the ordinary and equivariant cohomology rings of a hyperpolygon space.
In this thesis we study the topology and geometry of hyperkähler quotients, as well as some related non-compact Kähler quotients, from the point of view of Hamiltonian group actions. The main technical tool we employ is Morse theory with moment maps. We prove a Lojasiewicz inequality which permits the use of Morse theory in the non-compact setting. We use this to deduce Kirwan surjectivity for an interesting class of non-compact quotients, and obtain a new proof of hyperkähler Kirwan surjectivity for hypertoric varieties. We then turn our attention to quiver varieties, obtaining an explicit in…
Let X be a Kahler manifold that is presented as a Kahler quotient of C^n by the linear action of a compact group G. We define the hyperkahler analogue M of X as a hyperkahler quotient of the cotangent bundle T^*C^n by the induced G-action. Special instances of this construction include hypertoric varieties and quiver varieties. Our aim is to provide a unified treatment of these two previously studied examples, with specific attention to the geometry and topology of the circle action on M that descends from the scalar action on the fibers of the cotangent bundle. We provide a detailed study of …
Motivated by the study of hyperkahler structures in moduli problems and hyperkahler implosion, we initiate the study of non-reductive hyperkahler and algebraic symplectic quotients with an eye towards those naturally tied to projective geometry, like cotangent bundles of blow-ups of linear arrangements of projective space. In the absence of a Kempf-Ness theorem for non-reductive quotients, we focus on constructing algebraic symplectic analogues of additive quotients of affine spaces, and obtain hyperkahler structures on large open subsets of these analogues by comparison with reductive analogu…
In this survey article we describe the geometry of toric hyperkähler varieties, which are hyperkähler quotients of the quaternionic vector spaces by tori. In particular, we discuss the Betti numbers, the cohomology ring, and variation of hyperkähler structures of these spaces with many improved results and proofs.
Nahm-Kirchhoff Moduli Spaces, Hyperkähler Quotient and 2D Field theories
本文为带边界箭图构造 Nahm-Kirchhoff 模空间，证明其超凯勒结构并等同于复辛商，进而建立二维场论与度量场论，揭示超凯勒细化对边长的依赖及退化行为。
Hypertoric varieties are hyperkähler analogues of toric varieties, and are constructed as abelian hyperkähler quotients of a quaternionic affine space. Just as symplectic toric orbifolds are determined by labelled polytopes, orbifold hypertoric varieties are intimately related to the combinatorics of hyperplane arrangements. By developing hyperkähler analogues of symplectic techniques developed by Goldin, Holm, and Knutson, we give an explicit combinatorial description of the Chen-Ruan orbifold cohomology of an orbifold hypertoric variety in terms of the combinatorial data of a rational coorie…
We generalize the Jeffrey-Kirwan localization theorem for non-compact symplectic and hyperKahler quotients. Similarly to the circle compact integration of Hausel and Proudfoot we define equivariant integrals on non-compact manifolds using the Atiyah-Bott-Berline-Vergne localization formula as formal definition. We introduce a so called equivariant Jeffrey-Kirwan residue and we show that it shares similar properties as the usual one. Our localization formula has the same structure as the usual Jeffrey-Kirwan formula, but it uses formal integration and equivariant residue. We also give a version…
We use quasimap Floer cohomology for varying symplectic quotients to resolve several puzzles regarding displaceability of toric moment fibers. For example, we (i) present a compact Hamiltonian torus action containing an {\em open} subset of non-displaceable orbits and a codimension four singular set, partly answering a question of McDuff, and (ii) determine displaceability for most of the moment fibers of a symplectic ellipsoid.
Consider a holomorphic torus action on a possibly non-compact Kähler manifold. We show that the higher cohomology groups appearing in the geometric quantization of the symplectic quotient are isomorphic to the invariant parts of the corresponding cohomology groups of the original manifold. For non-Abelian group actions on compact Kähler manifolds, this result was proved recently by Teleman and by Braverman. Our approach is applying the holomorphic instanton complex to the prequantum line bundles over the symplectic cuts. We also settle a conjecture of Zhang and the present author on the exact …
We introduce the fibred toric varieties as equivariant $\mathbb{C}P^r$ bundles over lower dimensional toric varieties. An equivalent characterization is that the natural morphisms on them degenerate to bundle projections in the context of variation of toric varieties as GIT quotients. Our main observation is that these fibred toric varieties also arise naturally in the variation of hyperkähler varieties, namely, the fibred toric varieties are contained in the exceptional sets of the hyperkähler natural morphisms and the Mukai flops.
We study singular hyperkahler quotients of the cotangent bundle of a complex semisimple Lie group as stratified spaces whose strata are hyperkahler. We focus on one particular case where the stratification satisfies the frontier condition and the partial order on the set of strata can be described explicitly by Lie theoretic data.
In this article we are concerned with how to compute the cohomology ring of a symplectic quotient by a circle action using the information we have about the cohomology of the original manifold and some data at the fixed point set of the action. Our method is based on the Tolman-Weitsman theorem which gives a characterization of the kernel of the Kirwan map. First we compute a generating set for the kernel of the Kirwan map for the case of product of compact connected manifolds such that the cohomology ring of each of them is generated by a degree two class. We assume the fixed point set is iso…
This paper examines the relationship between the symplectic quotient X//G of a Hamiltonian G-manifold X, and the associated symplectic quotient X//T, where T is a maximal torus, in the case in which X//G is a compact manifold or orbifold. The three main results are: a formula expressing the rational cohomology ring of X//G in terms of the rational cohomology ring of X//T; an `integration' formula, which expresses cohomology pairings on X//G in terms of cohomology pairings on X//T; and an index formula, which expresses the indices of elliptic operators on X//G in terms of indices on X//T. (The …
Equivariant Floer cohomology for contactomorphisms of quotient spaces
本文研究接触流形商空间的可序性，通过等变接触Floer上同调理论发展非线性Maslov指数，并利用映射锥检测与判别点的交叉，以处理定义映射锥的非规范性。
Toric hyperk{ä}hler manifolds are quaternion analog of toric varieties. Bielawski pointed out that they can be glued by cotangent bundles of toric varieties. Following his idea, viewing both toric varieties and toric hyperk{ä}her manifolds as GIT quotients, we first establish geometrical criteria for the semi-stable points. Then based on these criteria, we show that the cotangent bundles of compact toric varieties in the core of toric hyperk{ä}hler manifold are sufficient to glue the desired toric hyperk{ä}hler manifold.
The purpose of this paper is to provide a way to compute the intersection cohomology of the GIT quotient of a nonsingular projective variety. We show that the middle perversity intersection cohomology of the GIT quotient $M//G$ is naturally embedded into the $G$ equivariant cohomology of $M^{ss}$ under an assumption satisfied by many interesting spaces. This embedding enables us to compute the intersection pairing in terms of the cup product structure of the equivariant cohomology ring. We also show that the image is a subspace defined by truncation. Overall, we can compute the intersection co…
In this paper we shall give formulas for the pairings of intersection cohomology classes of complementary dimensions in the intersection cohomology of geometric invariant theoretic quotients for which semistability is not necessarily the same as stability (although we make some weaker assumptions on the action). We also give formulas for intersection pairings on resolutions of singularities (or more precisely partial resolutions, since orbifold singularities are allowed) of the quotients.
Let $M$ be a proper Hamiltonian $K$-space with proper moment map $μ$. The symplectic quotient $X=μ^{-1}(0)/K$ is in general a singular stratified space. In this paper we first generalize the Kirwan map to this symplectic setting which maps the $K$ equivariant cohomology of $μ^{-1}(0)$ to the middle perversity intersection cohomology $IH^*(X)$. Next, we show that there is a natural right inverse of the Kirwan map, under an assumption coming from the cosupport axiom for the intersection homology sheaf. Furthermore, we can identify the subspace of $H^*_K(μ^{-1}(0))$ which corresponds to $IH^*(X)$…
Hyperquiver varieties
本文从凯勒与超凯勒商的角度研究超箭图概念，证明含单个超边的凯勒超箭图簇是同构于最大多重线性秩张量空间几何商的射影簇，对应超箭图加倍的超凯勒超箭图簇可等同于该簇上自反1-形式层对应的线性概型。
We provided two explicit formulas for the intersection cohomology (as a graded vector space with pairing) of the symplectic quotient by a circle in terms of the $S^1$ equivariant cohomology of the original symplectic manifold and the fixed point data. The key idea is the construction of a small resolution of the symplectic quotient.
Let $M$ be a symplectic manifold, equipped with a Hamiltonian action of a torus $T$. We give an explicit formula for the rational cohomology ring of the symplectic quotient $M//T$ in terms of the cohomology ring of $M$ and fixed point data. Under some restrictions, our formulas apply to integral cohomology. In certain cases these methods enable us to show that the cohomology of the reduced space is torsion-free.
A taut contact sphere on a 3-manifold is a linear 2-sphere of contact forms, all defining the same volume form. In the present paper we completely determine the moduli of taut contact spheres on compact left-quotients of SU(2) (the only closed manifolds admitting such structures). We also show that the moduli space of taut contact spheres embeds into the moduli space of taut contact circles. This moduli problem leads to a new viewpoint on the Gibbons-Hawking ansatz in hyperkahler geometry. The classification of taut contact spheres on closed 3-manifolds includes the known classification of 3-S…
Quantum cohomology of variations of GIT quotients and flips
本文证明 GIT 商簇变异穿墙过程中量子 D-模的直和分解定理，并将其应用于双有理几何中标准翻折局部模型的量子上同调分解。
We introduce the_inertial cohomology ring_ NH^*_T(Y) of a stably almost complex manifold carrying an action of a torus T. We show that in the case that Y has a locally free action by T, the inertial cohomology ring is isomorphic to the Chen-Ruan orbifold cohomology ring H_{CR}^*(Y/T) of the quotient orbifold Y/T. For Y a compact Hamiltonian T-space, we extend to orbifold cohomology two techniques that are standard in ordinary cohomology. We show that NH^*_T(Y) has a natural ring surjection onto H_{CR}^*(Y//T), where Y//T is the symplectic reduction of Y by T at a regular value of the moment ma…
Let $X$ be a smooth projective variety acted on by a reductive group $G$. Let $L$ be a positive $G$-equivariant line bundle over $X$. We use the Witten deformation of the Dolbeault complex of $L$ to show, that the cohomology of the sheaf of holomorphic sections of the induced bundle on the Mumford quotient of $(X,L)$ is equal to the $G$-invariant part on the cohomology of the sheaf of holomorphic sections of $L$. This result, which was recently proven by C. Teleman by a completely different method, generalizes a theorem of Guillemin and Sternberg, which addressed the global sections. It also s…
An application of spherical geometry to hyperkähler slices
本文用球面几何刻画 Bielawski 超凯勒切片的非空性，证明其等价于 $(G,H)$ 的 $\mathfrak{a}$-正则性，并给出约化球面子群的分类。
Consider the Hamiltonian action of a torus on a compact twisted generalized complex manifold $M$. We first observe that Kirwan injectivity and surjectivity hold for ordinary equivariant cohomology in this setting. Then we prove that these two results hold for the twisted equivariant cohomology as well.
Consider the holomorphic Hamiltonian action of a compact Lie group $K$ on a compact Kähler manifold $M$ with a moment map $Φ: M\rightarrow \mathfrak{k}^*$. Assume that $0$ is a regular value of the moment map. Weitsman raised the question of what we can say about the cohomology of the Kähler quotient $M_0:=Φ^{-1}(0)/K$ if all the ordinary cohomology of $M$ is of type $(p, p)$. In this paper, using the Cartan-Chern-Weil theory we show that in the above context there is a natural surjective Kirwan map from an equivariant version of the Dolbeault cohomology of $M$ onto the Dolbeault cohomology of…
A Transverse Averaging Operator and Cohomology of Quotients by Homogeneous Non-closed Subgroups
本文引入了在黎曼流形上基于形式的横向平均算子，通过横向李代数作用的积分，不依赖全局群作用。主要应用计算了齐性空间G/H的微分拓扑de Rham上同调，证明了其与李代数上同调的同构性。
This is the first in a sequence of papers in which we construct a quantum version of the Kirwan map from the equivariant quantum cohomology $QH_G(X)$ of a smooth complex projective variety X with the action of a connected complex reductive group $G$ to the orbifold quantum cohomology $QH(X//G)$ of its geometric invariant theory quotient $X//G$, and prove that it intertwines the genus zero gauged Gromov-Witten potential of X with the genus zero Gromov-Witten graph potential of $X//G$.
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。