arXiv research

Quotients of torus endomorphisms have parabolic orbifolds.

Study compares Kähler quotients of torus actions under varying moment maps.

The article characterizes complex torus quotients with numerical conditions.

We determine the center of a meta-nilpotent quotient of a mapping-torus group. As a corollary, we introduce two invariants, which are quadratic forms, of knots and of mapping classes.

SU(n)-structures derived from Kähler manifolds with torus actions.

We study the hypersymplectic spaces obtained as quotients of flat hypersymplectic space R^{4d} by the action of a compact Abelian group. These 4n-dimensional quotients carry a multi-Hamilitonian action of an n-torus. The image of the hypersymplectic moment map for this torus action may be described by a configuration o…

The study explores maps of 2- and 3-uniform tilings on the torus.

We prove that any asymptotically locally Euclidean scalar-flat Kähler 4-orbifold whose isometry group contains a 2-torus is isometric, up to an orbifold covering, to a quaternionic-complex quotient of a $k$-dimensional quaternionic vector space by a $(k-1)$-torus. In order to do so, we first prove that any compact anti…

We consider the action of a noncompact torus H on the compact quotient G/L, where G is a Lie group containing H and L is a uniform lattice in G. Using harmonic analysis on G we prove a formula relating the compact orbits of H to the action of H on the (infinite dimensional) tangential cohomology. The formula may be vie…

Study projective KLT varieties with projectively flat cotangent sheaves.

This note investigates the so-called Tube map which connects welded knots, that is a quotient of the virtual knot theory, to ribbon torus-knots, that is a restricted notion of fillable knotted tori in the 4-sphere. It emphasizes the fact that ribbon torus-knots with a given filling are in one-to-one correspondence with…

A torus manifold $M$ is a $2n$-dimensional orientable manifold with an effective action of an $n$-dimensional torus such that $M^T\neq \emptyset$. In this paper we discuss the classification of torus manifolds which admit an invariant metric of non-negative curvature. If $M$ is a simply connected torus manifold which a…

Quantum trace map defined for 3-manifolds with torus boundaries.

We study torus actions on symplectic manifolds with proper moment maps in the case that each reduced space is two-dimensional. We provide a complete set of invariants for such spaces. Our proof uses sheaves of groupoids of Hamiltonian spaces.

We consider quotients of spheres by linear actions of real tori. To each quotient we associate a matroid built out of a diagonalization of the torus action. We find the integral homology groups of the resulting quotient spaces in terms of the Tutte polynomial of the matroid. We also find the homotopy type and homology …

We construct a new family of compact orbifolds with a positive self dual Einstein metric and a one-dimensional group of isometries. Together with another known family, these examples classify all 4-dimensional orbifolds that are quaternion Kaehler quotients by a torus of real Grassmannians.

In this work, it is shown that a simply-connected, rationally-elliptic torus orbifold is equivariantly rationally homotopy equivalent to the quotient of a product of spheres by an almost-free, linear torus action, where this torus has rank equal to the number of odd-dimensional spherical factors in the product. As an a…

We obtain a generalization of the Kodaira-Morrow stability theorem for cosymplectic structures. We investigate cosymplectic geometry on Lie groups and on their compact quotients by uniform discrete subgroups. In this way we show that a compact solvmanifold admits a cosymplectic structure if and only if it is a finite q…

We study the partial resolutions of singularities related to Hilbert schemes of points on an affine space. Consider a quotient of a vector space $V$ by an action of a finite group $G$ of linear transforms. Under some additional assumptions, we prove that the partial desingularization of Hilbert type is smooth only if t…

If the face-cycles at all the vertices in a map on a surface are of same type then the map is called semi-equivelar. There are eleven types of Archimedean tilings on the plane. All the Archimedean tilings are semi-equivelar maps. If a map $X$ on the torus is a quotient of an Archimedean tiling on the plane then the map…

We prove that the Grothendieck-Springer simultaneous resolution viewed as a correspondence between the adjoint quotient of a Lie algebra and its maximal torus is Lagrangian in the sense of shifted symplectic structures. As Hamiltonian spaces can be interpreted as Lagrangians in the adjoint quotient, this allows one to …

We study CR geometry in arbitrary codimension, and introduce a process, which we call the Levi-Kahler quotient, for constructing Kahler metrics from CR structures with a transverse torus action. Most of the paper is devoted to the study of Levi-Kahler quotients of toric CR manifolds, and in particular, products of odd …

We extend the equivariant classification results of Escher and Searle for closed, simply connected, non-negatively curved Riemannian $n$-manifolds admitting isometric isotropy-maximal torus actions to the class of such manifolds admitting isometric strictly almost isotropy-maximal torus actions. In particular, we prove…

Study spaces of knots and links in specific 3-manifolds.

Boyer, Gordon, and Watson have conjectured that an irreducible rational homology 3-sphere is an L-space if and only if its fundamental group is not left-orderable. Since large classes of L-spaces can be produced from Dehn surgery on knots in the 3-sphere, it is natural to ask what conditions on the knot group are suffi…

Let $X$ be a compact quotient of the product of the real Heisenberg group $H_{4m+1}$ of dimension $4m+1$ and the 3-dimensional real Euclidean space $\bR^3$. A left invariant hypercomplex structure on $H_{4m+1}\times \bR^3$ descends onto the compact quotient $X$. The space $X$ is a hyperholomorphic fibration of 4-tori o…

We use symplectic cobordism, and the localization result of Ginzburg, Guillemin, and Karshon, to find a wall-crossing formula for the signature of regular symplectic quotients of Hamiltonian torus actions. The formula is recursive, depending ultimately on fixed point data. In the case of a circle action, we obtain a fo…

In this paper we study non-negatively curved and rationally elliptic GKM$_4$ manifolds and orbifolds. We show that their rational cohomology rings are isomorphic to the rational cohomology of certain model orbifolds. These models are quotients of isometric actions of finite groups on non-negatively curved torus orbifol…

Study on harmonic forms on K3 surfaces converging to a flat 4D orbifold.

We prove that any compact selfdual Einstein 4-orbifold of positive scalar curvature whose isometry group contains a 2-torus is, up to an orbifold covering, a quaternion Kaehler quotient of (k-1)-dimensional quaternionic projective space by a (k-2)-torus for some $k\geq 2$. We also obtain a topological classification in…

Holomorphic automorphisms on hyperkähler manifolds with high entropy are Kummer examples.

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 …

We construct continuous families of pairwise isospectral metrics on various Riemannian manifolds (e.g., Lie groups, projective spaces and products of these with tori) which arise as quotients of other manifolds. This is done by developing a general principle which guarantees that the torus method can be used to simulta…

Thurston's ending lamination conjecture proposes that a finitely generated Kleinian group is uniquely determined (up to isometry) by the topology of its quotient and a list of invariants that describe the asymptotic geometry of its ends. We present a proof of this conjecture for punctured-torus groups. These are free t…

A solvmanifold is a compact differentiable manifold M on which a connected solvable Lie group G acts transitively. As the main result, we will see, applying a result of Arapura and Nori on solvable Kaehler groups and some of the author's previous results, that a compact solvmanifold admits a Kaehler structure if and on…

Let $G$, $B$, and $H$ denote a complex semi-simple algebraic group, a Borel subgroup of $G$, and a maximal complex torus in $B$, respectively. Choose a compact real form $K$ of $G$ such that $T=K\cap H$ is a maximal torus in $T$. Then there are two models for the flag space of $G$: the complex quotient $X=G/B$ and the …

New K3 metrics derived from torus orbifold loci.

Let $\mathcal{M}_{0}^n$ be the class of closed, simply-connected, non-negatively curved Riemannian manifolds admitting an isometric, effective, isotropy-maximal torus action. We prove that if $M\in \mathcal{M}_{0}^n$, then $M$ is equivariantly diffeomorphic to the free linear quotient by a torus of a product of spheres…

Let $M$ be a compact nonnegatively curved Riemannian manifold admitting an isometric action by a compact Lie group $\mathsf G$ in a way that the quotient space $M/\mathsf G$ has nonempty boundary. Let $π: M \to M/\mathsf G$ denote the quotient map and $B$ be any boundary stratum of $M/\mathsf G$. Via a specific soul co…

We consider nearly Kähler 6-manifolds with effective 2-torus symmetry. The multi-moment map for the $T^2$-action becomes an eigenfunction of the Laplace operator. At regular values, we prove the $T^2$-action is necessarily free on the level sets and determines the geometry of three-dimensional quotients. An inverse con…

Extending work of Bielawski-Dancer and Konno, we develop a theory of toric hyperkahler varieties, which involves toric geometry, matroid theory and convex polyhedra. The framework is a detailed study of semi-projective toric varieties, meaning GIT quotients of affine spaces by torus actions, and specifically, of Lawren…

New reflection groups derived from torus knots with finite meridians.

A well-known question asks whether any two non-isometric finite volume hyperbolic 3-manifolds are distinguished from each other by the finite quotients of their fundamental groups. At present, this has been proved only when one of the manifolds is a once-punctured torus bundle over the circle. We give substantial compu…

We survey recent developments which led to the proof of the Benson-Gordon conjecture on Kähler quotients of solvable Lie groups. In addition we prove that the Albanese morphism of a Kähler manifold which is a homotopy torus is a biholomorphic map. The latter result then implies the classification of compact aspherical …

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.

A compact solvmanifold of completely solvable type, i.e. a compact quotient of a completely solvable Lie group by a lattice, has a Kähler structure if and only if it is a complex torus. We show more in general that a compact solvmanifold $M$ of completely solvable type endowed with an invariant complex structure $J$ ad…

Iwasawa manifold is a compact complex homogeneous manifold isomorphic to a quotient of the group of complex unipotent $3 \times 3$ matrices by a cocompact lattice. We prove that any compact complex curve in an Iwasawa manifold is contained in a holomorphic torus. We also prove that any Kähler surface in an Iwasawa mani…

Let $W\ltimes L$ be an irreducible affine Weyl group with Coxeter complex $Σ$, where $W$ denotes the associated finite Weyl group and $L$ the translation subgroup. The Steinberg torus is the Boolean cell complex obtained by taking the quotient of $Σ$ by the lattice $L$. We show that the ordinary and flag $h$-polynomial…