arXiv research

New theorem using Ricci flow for Gromov almost flat manifolds.

The paper extends Ruh-Vilms theorem to hypersurfaces in Weitzenböck geometry.

In this paper we investigate surfaces in $\mathbb C P^2$ without complex points and characterize the minimal surfaces without complex points and the minimal Lagrangian surfaces by Ruh-Vilms type theorems. We also discuss the liftability of an immersion from a surface to $\mathbb C P^2$ into $S^5$ in Appendix A.

The study uses Ricci flow to prove flatness of certain Riemannian manifolds.

The main purpose of the paper is twofold: First, to extend a well known theorem of Ruh-Vilms in the Euclidean space to symmetric spaces and, secondly, to apply this result to extend Hoffman-Osserman-Schoen Theorem (HOS Theorem) to 3-dimensional symmetric spaces. Precisely, it is defined a Gauss map of a hypersurface M^…

We generalize the Ruh-Vilms problem by characterizing the submanifolds in Euclidean spaces with proper biharmonic Gauss map and we construct examples of such hypersurfaces.

Harmonic and minimal great circle fibrations have special Gauss maps.

Study immersions of pseudo-Riemannian manifolds into para-complex projective space.

It has been known for some time that there exist $5$ essentially different real forms of the complex affine Kac-Moody algebra of type $A_2^{(2)}$ and that one can associate $4$ of these real forms with certain classes of "integrable surfaces", such as minimal Lagrangian surfaces in $\mathbb {CP}^2$ and $\mathbb {CH}^2$…

It is shown that a simple Lie group $G$ ($\neq {\rm SL}_2$) can be locally characterised by an integrability condition on an $\operatorname{Aut}(\mathfrak{g})$ structure on the tangent bundle, where $\operatorname{Aut}(\mathfrak{g})$ is the automorphism group of the Lie algebra of $G$. The integrability condition is t…

In this paper, we investigate the Gauss maps of a Ricci-mean curvature flow. A Ricci-mean curvature flow is a coupled equation of a mean curvature flow and a Ricci flow on the ambient manifold. Ruh and Vilms proved that the Gauss map of a minimal submanifold in a Euclidean space is a harmonic map, and Wang extended thi…

In this paper we consider the space of those probability distributions which maximize the $q$-Rényi entropy. These distributions have the same parameter space for every $q$, and in the $q=1$ case these are the normal distributions. Some methods to endow this parameter space with Riemannian metric is presented: the seco…

Global inverse function theorem proved easily using Riemannian geometry.

A new comparison theorem for geometric spaces.

Paper develops formulas and theorems in Hermitian geometry.

The paper proves three circles theorems and Liouville type theorems for subharmonic and holomorphic functions.

Revises a theorem by Thurston, finding a counter-example and a weaker version.

Proofs for Moon's theorem and its generalization.

We consider the task of automated theorem proving, a key AI task. Deep learning has shown promise for training theorem provers, but there are limited human-written theorems and proofs available for supervised learning. To address this limitation, we propose to learn a neural generator that automatically synthesizes the…

Analyzes Saito vanishing theorem using $L^{2}$ methods.

Investigates proving geometric theorems over complex and real numbers using tilings.

Extends symplectic reduction and theorem to Lie algebroids.

Paper generalizes complex Brunn-Minkowski theory and proves new extension theorems.

Proves Thurston's bounded image theorem for Haken manifolds.

Method upgrades limit theorems to mixing limit theorems for dynamical systems.

Formulates Index III lemma and Rauch III theorem with applications.

In LM, we proved a family version of the famous Witten rigidity theorems and several family vanishing theorems for elliptic genera. In this paper, we gerenalize our theorems LM in two directions. First we establish a family rigidity theorem for the Dirac operator on loop space twisted by general positive energy loop gr…

The paper explains the topological origin of the distinction between incidence theorems over division rings and fields.

Proves two theorems on odd-dimensional manifolds with boundary.

Sharp convergence theorem for sphere submanifolds proved.

INT benchmark tests theorem proving agents' ability to generalize to unseen theorems.

A homological selection theorem for C-spaces, as well as, a finite-dimensional homological selection theorem is established. We apply the finite-dimensional homological selection theorem to obtain fixed-point theorems for usco homologically UV^n set-valued maps.

Abstracts a theorem for non-smooth maps in infinite dimensions.

Atiyah-Singer theorem links math fields, predicts topological insights.

Paper generalizes a theorem for real analytic singularities.

The paper proves injectivity and vanishing theorems on compact Kahler manifolds.

Several proofs of Fáry--Milnor theorem are presented.

Reidemeister's theorem proved using smooth functions and transversality.

Proves an analytic Bertini theorem, generalizing previous work.

This note explores comparison geometry concepts and theorems.

Proof of Tait-Kneser theorem and related variations using Lorentzian geometry.

Proves Skoda's Division Theorem using degeneration and positivity of direct image bundles.

We show how Latour's theorem can be understood as a natural generalization of the $s$-cobordism theorem for cohomology classes $u\in H^1(M;\mathbb{R})$. The $s$-cobordism theorem becomes a special degenerate case when $u=0$.

Generalizes symplectic reduction to cosymplectic groupoid actions.

Strong Frankel theorem for shrinkers in all dimensions.

The study establishes comparison theorems for weighted Finsler manifolds and spacetimes.

Extends three circle theorem to almost Hermitian manifolds.

This is the second of three papers about the Compression Theorem. We give proofs of Gromov's theorem on directed embeddings [M Gromov, Partial differential relations, Springer--Verlag (1986); 2.4.5 C'] and of the Normal Deformation Theorem [The compression theorem I; 4.7], arxiv:math.GT/9712235.