arXiv research

Study surjectivity of Kirwan map for generalized hyperkähler reduction.

We prove an analogue of Kirwan surjectivity in the setting of equivariant basic cohomology of K-contact manifolds. If the Reeb vector field induces a free $S^1$-action, the $S^1$-quotient is a symplectic manifold and our result reproduces Kirwan's surjectivity for these symplectic manifolds. We further prove a Tolman-W…

Kirwan surjectivity proven for equivariant Dolbeault cohomology.

This paper uses Morse-theoretic techniques to compute the equivariant Betti numbers of the space of semistable rank two degree zero Higgs bundles over a compact Riemann surface, a method in the spirit of Atiyah and Bott's original approach for semistable holomorphic bundles. This leads to a natural proof that the hyper…

The paper studies Morse theory for Lie algebra actions on Riemannian foliations.

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 theo…

Atiyah's formulation of what is nowadays called the convexity theorem of Atiyah-Guillemin-Sternberg has two parts: (a) the image of the moment map arising from a Hamiltonian action of a torus on a symplectic manifold is a convex polytope, and (b) all preimages of the moment map are connected. Part (a) was generalized b…

Let $G$ be a compact Lie group, and let $LG$ denote the corresponding loop group. Let $(X,ω)$ be a weakly symplectic Banach manifold. Consider a Hamiltonian action of $LG$ on $(X,ω)$, and assume that the moment map $μ: X \to L\fg^*$ is proper. We consider the function $|μ|^2: X \to \R$, and use a version of Morse theor…

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.

Let G be a compact connected Lie group, and (M,ω) a Hamiltonian G-space with proper moment map μ. We give a surjectivity result which expresses the K-theory of the symplectic quotient M//G in terms of the equivariant K-theory of the original manifold M, under certain technical conditions on μ. This result is a natural …

We study the Morse theory of the Yang-Mills-Higgs functional on the space of pairs $(A,Φ)$, where $A$ is a unitary connection on a rank 2 hermitian vector bundle over a compact Riemann surface, and $Φ$ is a holomorphic section of $(E, d_A")$. We prove that a certain explicitly defined substratification of the Morse str…

Here we prove the necessary analytic results to construct a Morse theory for the Yang-Mills-Higgs functional on the space of Higgs bundles over a compact Riemann surface. The main result is that the gradient flow with initial conditions $(A'', φ)$ converges to a critical point of this functional, the isomorphism class …

Using the notion of equivariant Kirwan map, as defined by Goldin, we prove that -- in the case of Hamiltonian torus actions with isolated fixed points -- Tolman and Weitsman's description of the kernel of the Kirwan map can be deduced directly from the residue theorem of Jeffrey and Kirwan. A characterization of the ke…

In this paper we use the Morse theory of the Yang-Mills-Higgs functional on the singular space of Higgs bundles on Riemann surfaces to compute the equivariant cohomology of the space of semistable U(2,1) and SU(2,1) Higgs bundles with fixed Toledo invariant. In the non-coprime case this gives new results about the topo…

Study of real polytopes with group and symplectic involutions.

Kirwan injectivity theorem applied to symplectic foliations.

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 algebra…

Investigates properties of moment maps and stratifications on Lie groups.

Let $G/P$ be a generalized flag variety, where $G$ is a complex semisimple connected Lie group and $P\subset G$ a parabolic subgroup. Let also $X\subset G/P$ be a Schubert variety. We consider the canonical embedding of $X$ into a projective space, which is obtained by identifying $G/P$ with a coadjoint orbit of the co…

Explains parameterizing facets using Ressayre's pairs in Kähler geometry.

Consider a Hamiltonian action of a compact Lie group K on a compact symplectic manifold. We find descriptions of the kernel of the Kirwan map corresponding to a regular value of the moment map $κ_K$. We start with the case when K is a torus T: we determine the kernel of the equivariant Kirwan map (defined by Goldin in …

New theory for Hamiltonian actions on special geometric structures.

The paper explains how to parameterize facets of moment polytopes in real symplectic geometry.

Consider a Hamiltonian action of a compact Lie group on a compact symplectic manifold. A theorem of Kirwan's says that the image of the momentum mapping intersects the positive Weyl chamber in a convex polytope. I present a new proof of Kirwan's theorem, which gives explicit information on how the vertices of the polyt…

The BPS decomposition theorem splits cohomology of symmetric stacks into invariant parts.

Consider the space $R_Δ$ of rational functions of several variables with poles on a fixed arrangement $Δ$ of hyperplanes. We obtain a decomposition of $R_Δ$ as a module over the ring of differential operators with constant coefficients. We generalize to the space $R_Δ$ the notions of principal part and of residue, and …

The symplectic representation of mapping classes is not surjective for certain types of mapping classes.

We extend the Novikov Morse-type inequalities for closed 1-forms in 2 directions. First, we consider manifolds with boundary. Second, we allow a very degenerate structure of the critical set of the form, assuming only that the form is non-degenerated in the sense of Kirwan. In particular, we obtain a generalization of …

The paper proves neural networks are almost always surjective, impacting model safety.

The paper introduces two-tone colorings for links and shows conditions for surjective dihedral representations.

We introduce the notion of a Hamiltonian action of an étale Lie group stack on an étale symplectic stack and establish versions of the Kirwan convexity theorem, the Meyer-Marsden-Weinstein symplectic reduction theorem, and the Duistermaat-Heckman theorem in this context.

Simplified proof of K3 surface period map surjectivity.

The Hilbert map's image is discussed, showing when it's surjective.

If phi: G-->G' is a surjective homomorphism, we prove that the twisted Alexander polynomial of G is divisible by the twisted Alexander polynomial of G'. As an application, we show non-existence of surjective homomorphism between certain knot groups.

This work is devoted to new constructions of symplectically fat fiber bundles. The latter are constructed in two ways: using the Kirwan map and expressing the fatness condition in terms of the isotropy representation related to the G-structure over some homogeneous spaces.

Proves generic surjectivity of vector bundles via degeneration.

Proves surjectivity of certain smooth maps with non-properness sets.

For a finite-dimensional (but possibly noncompact) symplectic manifold with a compact group acting with a proper moment map, we show that the square of the moment map is an equivariantly perfect Morse function in the sense of Kirwan, and that the set of critical points of the square of the moment map is a countable dis…

Period maps surjective for certain gravitational instantons.

For linear actions of real reductive Lie groups we prove the Kempf-Ness Theorem about closed orbits and the Kirwan-Ness Stratification Theorem of the null cone. Since our completely self-contained proof focuses strongly on geometric and analytic methods, essentially avoiding any deep algebraic result, it applies also t…

Quantum Kirwan maps between K-theories of G-varieties and GIT quotients.

VAEs struggle with surjective multimodal data, especially class labels describing images.

The paper studies symmetries in quandles and their relative versions.

Eisenhart's theorem extended to sub-Riemannian metrics on specific Lie algebras.

We announce the following result and give several applications: A Hamiltonian $T$-space (for $T$ a torus) with isolated fixed points is cobordant to a disjoint union of weighted projective spaces which are constructed from its fixed point data. The applications concern the Duistermaat-Heckman formula, the topological J…

Study surjections between braid groups on surfaces, focusing on lower central series.

Jeffrey and Kirwan suggested expressions for intersection pairings on the reduced space of a Hamiltonian G-space in terms of multiple residues. In this paper we prove a residue formula for symplectic volumes of reduced spaces of a quasi-Hamiltonian SU(2)-space. The definition of quasi-Hamiltonian G-spaces was recently …

This paper is motivated by a relatively recent work by Joyce in special Lagrangian geometry, but the basic idea of the present paper goes back to an earlier pioneering work of Donaldson in Yang--Mills gauge theory; Donaldson discovered a global structure of a (compactified) moduli space of Yang--Mills instantons, and a…