arXiv research

Explains how to prove positive mass theorem with boundary in dimensions less than 8.

We extend Witten's spinor proof of the positive mass theorem to large classes of complete asymptotically flat non-spin manifolds, including all manifolds of dimension less than or equal to 11 and all manifolds of dimension less than 26 which admit a codimension 3 immersion in Euclidean space.

The paper classifies Kleinian groups with Hausdorff dimension less than 1.

Let $ρ_n(V)$ be the number of complete hyperbolic manifolds of dimension n with volume less than $V$. Burger, Gelander, Lubotzky, and Moses showed that when n>3 there exist a,b>0 depending on the dimension such that aV log(V) < log(ρ_n(V)) < bV log(V), for V >> 0. In this note, we use their methods to bound the number …

Perturbs area-minimizing hypersurfaces to reduce singular set's dimension.

Compactness fails for curvature equations in high dimensions.

The hitting measure is singular and has dimension less than 1 for cocompact Fuchsian groups.

Given an associative 3-fold in R^7 which is asymptotically conical with generic rate less than 1, we show that its moduli space of deformations is locally homeomorphic to the kernel of a smooth map between smooth manifolds. Moreover, the virtual dimension of the moduli space is computed and shown to be non-negative for…

Lower bounds on cone density for nontrivial complements in low dimensions.

Whenever the mapping class group of a closed orientable surface of genus g acts by semisimple isometries on a complete CAT(0) space of dimension less than g it fixes a point.

The Positive Mass Theorem states that a complete asymptotically flat manifold of nonnegative scalar curvature has nonnegative mass. The Riemannian Penrose inequality provides a sharp lower bound for the mass when black holes are present. More precisely, this lower bound is given in terms of the area of an outermost min…

We establish lower bounds on the dimensions in which arithmetic groups with torsion can act on acyclic manifolds and homology spheres. The bounds rely on the existence of elementary p-groups in the groups concerned. In some cases, including Sp(2n,Z), the bounds we obtain are sharp: if X is a generalized Z/3-homology sp…

On an asymptotically flat manifold $M^n$ with nonnegative scalar curvature, with outer minimizing boundary $Σ$, we prove a Penrose-like inequality in dimensions $n < 8$, under suitable assumptions on the mean curvature and the scalar curvature of $Σ$.

For n at least 3, let SAut(F_n) denote the unique subgroup of index two in the automorphism group of a free group. The standard linear action of SL(n,Z) on R^n induces non-trivial actions of SAut(F_n) on R^n and on S^{n-1}. We prove that SAut(F_n) admits no non-trivial actions by homeomorphisms on acyclic manifolds or …

We classify semi-Riemannian submersions with connected totally geodesic fibres from a real pseudo-hyperbolic space onto a semi-Riemannian manifold under the assumption that the dimension of the fibres is less than or equal to three and the metrics induced on fibres are negative definite. Also, we obtain the classificat…

Let M be a compact manifold of dimension n with a strictly convex projective structure. We consider the geodesic flow of the Hilbert metric on it, which is known to be Anosov. We prove that its topological entropy is less than n-1, with equality if and only if the structure is Riemannian, that is hyperbolic. As a corol…

In this paper, we prove the existence of at least two distinct closed geodesics on every compact simply connected irreversible or reversible Finsler (including Riemannian) manifold of dimension not less than 2.

The paper proves curvature-related dimension bounds for manifolds.

Study on symplectic Lie algebras with specific dimensions.

New proof for certain groups in higher dimensions.

A Riemannian Einstein solvmanifold is called standard, if the orthogonal complement to the nilradical of its Lie algebra is abelian. No examples of nonstandard solvmanifolds are known. We show that the standardness of an Einstein metric solvable Lie algebra is completely detected by its nilradical and prove that many c…

Product of shellable complexes yields shellable triangulations under tameness conditions.

We prove that the positive mass theorem applies to Lipschitz metrics as long as the singular set is low-dimensional, with no other conditions on the singular set. More precisely, let $g$ be an asymptotically flat Lipschitz metric on a smooth manifold $M^n$, such that $n<8$ or $M$ is spin. As long as $g$ has bounded $C^…

The notion of a (stably) decomposable fiber bundle is introduced. In low dimensions, for torus fiber bundles over a circle the notion translates into a property of elements of the special linear group of integral matrices. We give a complete characterization of the stably decomposable torus fiber bundle of fiber-dimens…

Any Kaehler metric on the ball which is strongly asymptotic to complex hyperbolic space and whose scalar curvature is no less than the one of the complex hyperbolic space must be isometrically biholomorphic to it. This result has been known for some time in odd complex dimension and we provide here a proof in even dime…

We discuss Poincaré duality complexes X and the question whether or not their Spivak normal fibration admits a reduction to a vector bundle in the case where the dimension of X is at most 4. We show that in dimensions less than 4 such a reduction always exists, and in dimension 4 such a reduction exists provided X is o…

We introduce the notion of asymptotic cohomology based on the bounded cohomology and define cohomological asymptotic dimension $\as_{\Z} X$ of metric spaces. We show that it agrees with the asymptotic dimension $\as X$ when the later is finite. Then we use this fact to construct an example of a metric space $X$ of boun…

We prove that a strictly stable constant-mean-curvature hypersurface in a smooth manifold of dimension less than or equal to 7 is uniquely homologically area minimizing for fixed volume in a small L^1 neighborhood.

Given a compact Riemannian manifold, with positive Yamabe quotient, not conformally diffeomorphic to the standard sphere, we prove a priori estimates for solutions to the Yamabe problem. We restrict ourselves to the dimensions less than or equal to 7, where the Positive Mass Theorem is known to be true. We also show th…

In this paper, we study Basmajian-type series identities on holomorphic families of Cantor sets associated to one-dimensional complex dynamical systems. We show that the series is absolutely summable if and only if the Hausdorff dimension of the Cantor set is strictly less than one. Throughout the domain of convergence…

We prove results toward classifying compact Lorentz manifolds on which Heisenberg groups act isometrically. We give a general construction, leading to a new example, of codimension-one actions--those for which the dimension of the Heisenberg group is one less than the dimension of the manifold. The main result is a cla…

This paper accomplishes two things. First, we construct a geometric analog of the rational Tits building for general noncompact, complete, finite volume $n$-manifolds $M$ of bounded nonpositive curvature. Second, we prove that this analog has dimension less than $\lfloor n/2\rfloor$.

We classify closed, simply-connected non-negatively curved 5-manifolds admitting an (almost) effective, isometric $T^3$ or $T^2$ action. As a direct consequence, we show that for any manifold, of dimensions up to and including 9 under the same hypotheses, the maximal symmetry rank is equal to $[2n/3]$ and the free rank…

Let X be a closed manifold of dimension 2m >= 6 with torsion-free middle-dimensional homology. We construct metrics on X of arbitrarily small volume, such that every middle-dimensional submanifold of less than unit volume necessarily bounds. Thus, Loewner's theorem has no higher-dimensional analogue.

The study proves a rigidity theorem for compact manifolds with boundary.

In this paper we provide the complete classification of Kleinian groups of Hausdorff dimensions less than $1.$ In particular, we prove that every purely loxodromic Kleinian groups of Hausdorff dimension $<1$ is a classical Schottky group. This upper bound is sharp. As an application, the result of \cite{H} then implies…

We show that if a group $G$ acts by isometries on a metric space $M$ which has asymptotic property C, such that the quasi-stabilizers of a point $x \in M$ have asymptotic dimension less than or equal to $n$, then $G$ itself has asymptotic property C.

We investigate compactness phenomena involving free boundary minimal hypersurfaces in Riemannian manifolds of dimension less than eight. We provide natural geometric conditions that ensure strong one-sheeted graphical subsequential convergence, discuss the limit behaviour when multi-sheeted convergence happens and deri…

We prove the automorphic property of the invariant of K3 surfaces with involution, which we obtained using equivariant analytic torsion, in the case where the dimension of the moduli space is less than or equal to 2.

In this paper, based on an intrinsic definition of asymptotically AdS space-times, we show that the standard anti-de Sitter space-time is the unique strictly stationary asymptotically AdS solution to the vacuum Einstein equations with negative cosmological constant in dimension less than 7. Instead of using the positiv…

The Positive Mass Conjecture states that any complete asymptotically flat manifold of nonnnegative scalar curvature has nonnegative mass. Moreover, the equality case of the Positive Mass Conjecture states that in the above situation, if the mass is zero, then the Riemannian manifold must be Euclidean space. The Positiv…

Let $f\colon \mathbb{S}^1\rightarrow G$ be a surjective map from the standard unit circle to a graph $G$ such that the pre-image of each point has diameter less than $\varepsilon$. If $\varepsilon$ is small enough, does $f$ split as a free factor in $π_1(G)$?

We extend the Jang equation proof of the positive energy theorem due to R. Schoen and S.-T. Yau from dimension $n=3$ to dimensions $3 \leq n <8$. This requires us to address several technical difficulties that are not present when $n=3$. The regularity and decay assumptions for the initial data sets to which our argume…

We prove several cases of Zimmer's conjecture for actions of higher-rank cocompact lattices on low dimensional manifolds. For example, if $Γ$ is a cocompact lattice in $\mathrm{Sl}(n, \mathbb R)$, $M$ is a compact manifold, and $ω$ a volume form on $M$ we show that any homomorphism $ρ\colon Γ\rightarrow \mathrm{Diff}(M…

Any nontrivial homomorphism from the mapping class group of an orientable surface of genus $g\geq 3$ to $\GL(2g,\C)$ is conjugate to the standard symplectic representation. It is also shown that the mapping class group has no faithful linear representation in dimensions less than or equal to $3g-3$.

We give the diffeomorphism classification of complete intersections with S^1-symmetry in dimension less than or equal to 6. In particular, we show that a 6-dimensional complete intersection admits a smooth non-trivial S^1-action if and only if it is diffeomorphic to the complex projective space or the quadric. We also …

We prove the spacetime positive mass theorem in dimensions less than eight. This theorem states that for any asymptotically flat initial data set satisfying the dominant energy condition, the ADM energy-momentum vector $(E,P)$ of the initial data satisfies the inequality $E \ge |P|$. Previously, this theorem was proven…

In this paper, we study the power of Gaussian curvature flow of a compact convex hypersurface and establish its Harnack inequality when the power is negative. In the Harnack inequality, we require that the absolute value of the power is strictly positive and strictly less than the inverse of the dimension of the hypers…