arXiv research

Extends Eells-Sampson theorem for manifolds with positive sectional curvature bounds.

Paper proves symphonic map result similar to Eells-Sampson.

In this paper, we consider critical maps of a horizontal energy functional for maps from a sub-Riemannian manifold to a Riemannian manifold. These critical maps are referred to as subelliptic harmonic maps. In terms of the subelliptic harmonic map heat flow, we investigate the existence problem for subelliptic harmonic…

Conformal harmonic maps from a 4-dimensional conformal manifold to a Riemannian manifold are maps satisfying a certain conformally invariant fourth order equation. We prove a general existence result for conformal harmonic maps, analogous to the Eells-Sampson theorem for harmonic maps. The proof uses a geometric flow a…

In this paper, we discuss the heat flow of a pseudo-harmonic map from a closed pseudo-Hermitian manifold to a Riemannian manifold with non-positive sectional curvature, and prove the existence of the pseudo-harmonic map which is a generalization of Eells-Sampson's existence theorem. We also discuss the uniqueness of th…

The goal of the present paper is to establish some kind of regularity of an energy minimizer map between Riemannian polyhedra. More precisely, we will show the hölder continuity of local energy minimizers between Riemannian polyhedra with the target spaces without focal points. With this new result, we also complete ou…

We study analytic properties of harmonic maps from Riemannian polyhedra into CAT($κ$) spaces for $κ\in\{0,1\}$. Locally, on each top-dimensional face of the domain, this amounts to studying harmonic maps from smooth domains into CAT($κ$) spaces. We compute a target variation formula that captures the curvature bound in…

The study improves harmonic map theory for metric spaces with curvature bounds.

New method proves heat flow of harmonic maps into CAT(0) spaces.

Lipschitz regularity proved for harmonic map heat flows into CAT(0) spaces.

In this paper we study an energy of maps between almost Hermitian manifolds for which pseudo-holomorphic maps are global minimizers. We derive its Euler-Lagrange equation, the $\bar{\partial}$-harmonic map equation, and show that it coincides with the harmonic map equation up to first order terms. We prove results anal…

We generalize the results of Song-Zelditch on geodesics in spaces of Kahler metrics on toric varieties to harmonic maps of any compact Riemannian manifold with boundary into the space of Kahler metrics on a toric variety. We show that the harmonic map equation can always be solved and that such maps may be approximated…

The report presents the theory of harmonic maps from Kähler manifolds.

In this paper, we investigate critical maps of the horizontal energy functional $E_{H,\widetilde{H}}(f)$ for maps between two pseudo-Hermitian manifolds $(M^{2m+1},H(M),J,θ)$ and $(N^{2n+1},\widetilde{H}(N), \widetilde{J},\widetildeθ)$. These critical maps are referred to as $(H,\widetilde{H})$-harmonic maps. We derive…

In this paper we shall assume that the ambient manifold is a space form $N^{m+1}(c)$ and we shall consider polyharmonic hypersurfaces of order $r$ (briefly, $r$-harmonic), where $r\geq 3$ is an integer. For this class of hypersurfaces we shall prove that, if $c \leq 0$, then any $r$-harmonic hypersurface must be minima…

The paper investigates subelliptic harmonic maps with potential using heat flow.

AI generates theorems and proofs for training theorem provers.

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.

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.