arXiv research

Study of real polytopes with group and symplectic involutions.

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…

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…

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…

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…

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

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…

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…

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.

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.

Consider the Hamiltonian action of a torus on a transversely symplectic foliation that is also Riemannian. When the transverse hard Lefschetz property is satisfied, we establish a foliated version of the Kirwan injectivity theorem, and use it to study Hamiltonian torus actions on transversely Kähler foliations. Among o…

The aim of this article is to explain how to parameterize the equations of the facets of the Kirwan polyhedron using the notion of Ressayre's pairs.

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 study broadens the concept of cyclic polytopes to Veronese polytopes.

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

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 studies deformation spaces of Coxeter truncation polytopes.

Neural networks approximate unit spheres as polytopes.

The study classifies all compact hyperbolic polytopes with eight facets.

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.

Proves stability in Weyl polytopes using optimal transport.

Faces of quasi-arithmetic Coxeter polytopes are also quasi-arithmetic.

Given a finite collection P of convex n-polytopes in RP^n (n>1), we consider a real projective manifold M which is obtained by gluing together the polytopes in P along their facets in such a way that the union of any two adjacent polytopes sharing a common facet is convex. We prove that the real projective structure on…

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.

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.

This article announces the completion of the classification of rank 4 locally projective polytopes and their quotients. There are seventeen universal locally projective polytopes (nine nondegenerate). Amongst their 441 quotients are a further four (nonuniversal) regular polytopes, and 152 nonregular but section regular…

The study classifies all compact 5D polytopes with 9 facets.

Smooth deformation space of Coxeter polytopes proven for orderable orbifolds.

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…

The study classifies 331 specific 4D polytopes with 7 facets.

Contact manifolds' momentum polytopes are convex.

Given a lattice L of R^n, a polytope D is called a Delaunay polytope in L if the set of its vertices is S\cap L where S is a sphere having no lattice points in its interior. D is called perfect if the only ellipsoid in R^n that contains S\cap L is exactly S. For a vector v of the Leech lattice Λ_{24} we define Λ_{24}(v…

Smooth approximations bound dihedral angles of convex polytopes.

Polytopic Matrix Factorization models data as latent vectors from a polytope, maximizing determinant for identifiability.

Examines nonrational polytopes and fans in toric geometry.

The article studies factorization structures in geometry and their applications to cones and polytopes.

New methods classify hyperbolic polytopes with up to 40 facets.

Consider a Hamiltonian action of a compact connected Lie group on a conformal symplectic manifold. We prove a convexity theorem for the moment map under the assumption that the action is of Lee type, which establishes an analog of Kirwan's convexity theorem in conformal symplectic geometry.

We introduce two operations named biflip and puzzle-move on simple polytopes producing polytopes with diffeomorphic moment-angle manifolds.

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…

Proves necessity of at least log2(n) layers to compute maximum of n numbers.

Unified cosmological and Einstein polytope theories.

The study of symmetries in manifolds derived from colored polytopes.

Diffeomorphisms of convex polytopes form a Lie group.