arXiv research

Spaces with similar long paths have similar shapes.

Let $M^n$, $n \in \{4,5,6\}$, be a compact, simply connected $n$-manifold which admits some Riemannian metric with non-negative curvature and an isometry group of maximal possible rank. Then any smooth, effective action on $M^n$ by a torus $T^{n-2}$ is equivariantly diffeomorphic to an isometric action on a normal biqu…

Let Pi: M -> B be an onto maximal rank map or a Riemannian submersion between Riemannian manifolds M and B. Initially, we prove necessary and sufficient conditions for any fiber F to be roughly isometric to M. Then, we prove necessary and sufficient conditions for Pi to be a rough isometry. As a corollary M is roughly …

We obtain an equivariant classification for orientable, closed, four-dimensional Alexandrov spaces admitting an isometric torus action. This generalizes the equivariant classification of Orlik and Raymond of closed four-dimensional manifolds with torus actions. Moreover, we show that such Alexandrov spaces are equivari…

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…

Generalizes Laudenbach-Poénaru theorem for group actions on 4-manifolds.

We introduce a new integral invariant for isometric actions of compact Lie groups, the copolarity. Roughly speaking, it measures how far from being polar the action is. We generalize some results about polar actions in this context. In particular, we develop some of the structural theory of copolarity k representations…

We prove that certain Riemannian manifolds can be isometrically embedded inside Calabi-Yau manifolds. For example we prove that given any real-analytic one parameter family of Riemannian metrics $g_t$ on a 3-dimensional manifold $Y$ with volume form independent of $t$ and with a real-analytic family of nowhere vanishin…

Study Steklov eigenvalues on hyperbolic triangle-tiling graphs.

If Pi: M -> B is an onto smooth maximal rank map between complete Riemannian manifolds M and B with bounded geometry, we prove sufficient conditions for M to be roughly isometric to the Riemannian product FxB, where F is a fiber of M.

It is well-known by the work of Hsiang and Kleiner that every closed oriented positively curved 4-dimensional manifold with an effective isometric S^1-action is homeomorphic to S^4 or CP^2. As stated, it is a topological classification. The primary goal of this paper is to show that it is indeed a diffeomorphism classi…

Characterizes area-minimizing maps for surfaces of genus ≥ 2.

Roughly speaking, an ideal immersion of a Riemannian manifold into a real space form is an isometric immersion which produces the least possible amount of tension from the ambient space at each point of the submanifold. The main purpose of this paper is to completely classify all non-minimal ideal submanifolds of real …

We formulate, for any Lie group G acting isometrically on a manifold M, the general notion of a G-equivariant elliptic operator that is invertible outside of a G-cocompact subset of M. We prove a version of the Rellich lemma for this setting and use this to define the equivariant index of such operators. We show that G…

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 a compact Lie group act isometrically on a non-collapsing sequence of compact Alexandrov spaces with fixed dimension and uniform lower curvature and upper diameter bounds. If the sequence of actions is equicontinuous and converges in the equivariant Gromov--Hausdorff topology, then the limit space is equivariantly …

We introduce the co-surface graph $\mathcal{CS}$ of a finitely generated free group $\mathbb{F}$ and use it to study the geometry of hyperbolic group extensions of $\mathbb{F}$. Among other things, we show that the Gromov boundary of the co-surface graph is equivariantly homeomorphic to the space of free arational $\ma…

In this note we prove that equivariantly homeomorphic quasitoric manifolds are diffeomorphic. As a consequence we show that up to finite ambiguity the diffeomorphism type of certain quasitoric manifolds $M$ is determined by their cohomology rings and first Pontrjagin classes.

The paper proves conditions for 2-torus manifolds to be equivariantly formal.

Study proves obstructions to equivariantly slice strongly negative amphichiral knots.

Real moment-angle manifolds of combinatorially equivalent simple polytopes are equivariantly diffeomorphic.

In this article we give a totally new proof of the integral localization formula for equivariantly closed differential forms (Theorem 7.11 in [BGV]). We restate it here as Theorem 2. This localization formula is very well known, but the author hopes to adapt this proof to obtain a more general result in the future.

Let M be a connected compact pseudoRiemannian manifold acted upon topologically transitively and isometrically by a connected noncompact simple Lie group G. If m_0, n_0 are the dimensions of the maximal lightlike subspaces tangent to M and G, respectively, where G carries any bi-invariant metric, then we have n_0 \leq …

Let T be a torus. We present an exact sequence relating the relative equivariant cohomologies of the skeletons of an equivariantly formal T-space. This sequence, which goes back to Atiyah and Bredon, generalizes the so-called Chang-Skjelbred lemma. As coefficients, we allow prime fields and subrings of the rationals, i…

New rigidity results for complex and quaternionic moment-angle manifolds.

Generalizes Delzant theorem for torus-equivariantly embedded toric hypersurfaces.

Right-angled Artin groups have unique quasi-isometry classes when measure equivalent.

We introduce a new quasi-isometry invariant $\subcorank X$ of a metric space $X$ called {\it subexponential corank}. A metric space $X$ has subexponential corank $k$ if roughly speaking there exists a continuous map $g:X\to T$ such that for each $t\in T$ the set $g^{-1}(t)$ has subexponential growth rate in $X$ and the…

Study on simply connected manifolds with discrete isometric actions and bounded quotient diameter.

We define a compactification of symmetric spaces of noncompact type, seen as spaces of isometry classes of marked lattices, analogous to the Thurston compactification of the Teichmüller space, and we show that it is equivariantly isomorphic to a Satake compactification. We then use it to define a new compactification o…

Compact symmetric spaces are probably one of the most prominent class of formal spaces, i.e. of spaces where the rational homotopy type is a formal consequence of the rational cohomology algebra. As a generalisation, it is even known that their isotropy action is equivariantly formal. In this article we show that $(\ma…

Rigidity results for Hawking mass in curved spaces with bounds on Bartnik capacity.

The study compares lamplighter graphs up to quasi-isometry using coarse topology.

The notion of ideal immersions was introduced by the author in 1990s. Roughly speaking, an ideal immersion of a Riemannian manifold into a real space form is a nice isometric immersion which produces the least possible amount of tension from the ambient space at each point. In this paper, we classify all ideal hypersur…

Let $M^{2n}$ be a unitary torus $(2n)$-manifold, i.e., a $(2n)$-dimensional oriented stable complex connected closed $T^n$-manifold having a nonempty fixed set. In this paper we show that $M$ bounds equivariantly if and only if the equivariant Chern numbers $< (c_1^{T^n})^i(c_2^{T^n})^j, [M]>=0$ for all $i, j\in {\Bbb …

For an equivariant Morse stratification which contains a unique open stratum, we introduce the notion of equivariant antiperfection, which means the difference of the equivariant Morse series and the equivariant Poincare series achieves the maximal possible value (instead of the minimal possible value 0 in the equivari…

The notion of ideal embeddings was introduced in [B.-Y. Chen, {Strings of Riemannian invariants, inequalities, ideal immersions and their applications.} The Third Pacific Rim Geometry Conference (Seoul, 1996), 7-60, Int. Press, Cambridge, MA, 1998]. Roughly speaking, an ideal embedding (or a best of living) is an isome…

We show that for every symmetric space G/K of compact type with K connected, the K-action on G/K by left translations is equivariantly formal.

The Roller boundary is a well-known compactification of a CAT(0) cube complex X. When X is locally finite, essential, irreducible, non-Euclidean and admits a cocompact action by a group G, Nevo-Sageev show that a subset, B(X), of the Roller boundary is the realization of the Poisson boundary and that the action of G on…

Let (M,g) be a compact oriented Einstein 4-manifold. Write R-plus for the part of the curvature operator of g which acts on self-dual 2-forms. We prove that if R-plus is negative definite then g is locally rigid: any other Einstein metric near to g is isometric to it. This is a chiral generalisation of Koiso's Theorem,…

The paper sharpens a theorem about surfaces with zero Gaussian curvature.

If M and N are equivariantly homotopy equivalent G-manifolds, then the fixed sets M^G and N^G are also homotopy equivalent. The replacement problem asks the converse question: If F is homotopy equivalent to the fixed set M^G, is F = N^G for a G-manifold equivariantly homotopy equivalent to M? We prove that for locally …

New proof for some knots being topologically slice.

The paper constructs submanifolds with corners in Delzant polytopes from affine subspaces.

New submanifolds found in toric manifolds with specific actions.

In this paper we show rigidity results for super-solutions to fully nonlinear elliptic conformally invariant equations on subdomains of the standard $n$-sphere $\mathbb S^n$ under suitable conditions along the boundary. We emphasize that our results do not assume concavity assumption on the fully nonlinear equations we…

Study equivariant 4-genus of knots in symmetric 4-manifolds.

We show that any $(\C ^*)^n$-invariant stably complex structure on a topological toric manifold of dimension $2n$ is integrable. We also show that such a manifold is weakly $(\C ^*)^n$-equivariantly isomorphic to a toric manifold.