arXiv research

Simplified proof of gluing formula for analytic torsion forms.

Analytic proof solves differential geometry problem.

We give a direct proof that the Freed-Lott differential analytic index is well defined and a condensed proof of the differential Grothendieck-Riemann-Roch theorem. As a byproduct we also obtain a direct proof that the R/Z analytic index is well defined and a condensed proof of the R/Z Grothendieck-Riemann-Roch theorem.

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

We prove that refined analytic torsion on a manifold with boundary is an analytic section of the determinant line bundle over the representation variety. As a fundamental application we establish a gluing formula for refined analytic torsion on connected components of the complex representation space which contain a un…

Analytic proof for minimal rank Sard conjecture.

Two proofs of Melrose-Piazza theorem on spectral sections.

New proof of harmonic map uniqueness with analytic targets.

We give a new analytical proof of the Morse index theorem for geodesics in Riemannian manifolds.

We prove that smooth critical points of the Möbius energy parametrized by arc-length are analytic. Together with the main result in \cite{BRS16} this implies that critical points of the Möbius energy with merely bounded energy are not only $C^\infty$ but also analytic. Our proof is based on Cauchy's method of majorants…

In this paper we shall give an analytic proof of the fact that the Liouville energy on a topological two sphere is bounded from below. Our proof does not rely on the uniformization theorem and the Onofri inequality, thus it is essentially needed in the alternative proof of the uniformization theorem via the Calabi flow…

We provide a simple proof of a result of Rouby-Sjöstrand-Ngoc \cite{RSN} and Deleporte \cite{Deleporte}, which asserts that if the Kähler potential is real analytic then the Bergman kernel is an \textit{analytic kernel} meaning that its amplitude is an \textit{analytic symbol} and its phase is given by the polarization…

We present a proof due to Duistermaat that the gradient flow of the norm squared of the moment map defines a deformation retract of the appropriate piece of the manifold onto the zero level set of the moment map. Duistermaat's proof is an adaptation of Lojasiewicz's argument for analytic functions to functions which ar…

New geometric proof shows index of umbilic points on analytic surfaces is at most one.

New proof shows all conformal vector fields on complex hyperbolic space are Killing.

We introduce new tools for analytic microlocal analysis on Kähler manifolds. As an application, we prove that the space of Berezin-Toeplitz operators with analytic contravariant symbol is an algebra. We also give a short proof of the Bergman kernel asymptotics up to an exponentially small error.

It is a consequence of the Morse-Bott Lemma on Banach spaces that a smooth Morse-Bott function on an open neighborhood of a critical point in a Banach space obeys a Lojasiewicz gradient inequality with the optimal exponent one half. In this article we prove converses for analytic functions on Banach spaces: If the Loja…

This article is written for the Proceedings of the Conference on Current Developments in Mathematics in Harvard University, November 16-17, 2007. It is an exposition of the analytic proof of the finite generation of the canonical ring for a compact complex algebraic manifold of general type. It lists and discusses the …

Proof of reverse isoperimetric inequality for black holes.

Paper proves gluing formula for analytic torsions using Witten deformation for non-Morse functions.

In this paper, we survey some recent results about the asymptotic expansion of Bergman kernel and we give a Bergman kernel proof of Kodaira embedding theorem.

This paper is devoted to a proof of a generalized Ray-Singer conjecture for a manifold with boundary (the Dirichlet and the Neumann boundary conditions are independently given on each connected component of the boundary and the transmission boundary condition is given on the interior boundary). The Ray-Singer conjectur…

This paper has been withdrawn by the author due a crucial sign error in Theorem B. We present a geometric proof of Thom conjecture, which uses Khovanov homology. Our approach doesn't use any analytic methods and is quite different from proof given by Kronheimer and Mrowka in 1994.

We present a short analytic proof of the equality between the analytic and combinatorial torsion. We use the same approach as in the proof given by Burghelea, Friedlander and Kappeler, but avoid using the difficult Mayer-Vietoris type formula for the determinants of elliptic operators. Instead, we provide a direct way …

The Lojasiewicz inequalities for real analytic functions on Euclidean space were first proved by Stanislaw Lojasiewicz (1965) using methods of semianalytic and subanalytic sets, arguments later simplified by Bierstone and Milman (1988). In this article, we first give an elementary geometric, coordinate-based proof of t…

It is proved by Kawamata that the canonical bundle of a projective manifold is semi-ample if it is big and nef. We give an analytic proof using the Ricci flow, degeneration of Riemannian manifolds and $L^2$-theory. Combined with our earlier results, we construct unique singular Kahler-Einstein metrics with a global Rie…

Uniqueness proof for Calderón's problem on real-analytic vector bundles.

Simplified proof of a famous geometry result for students.

Harmonic maps depend analytically on representations.

For a compact manifold, which has a part isometric to a cylinder of finite length, we consider an adiabatic limit procedure, in which the length of the cylinder tends to infinity. We study the asymptotic of the spectrum of Hodge-Laplacian and the asymptotic of the $L^2$-metric on de Rham cohomology. As an application, …

We construct a Kruskal-Szekeres-type analytic extension of the Emparan-Reall black ring, and investigate its geometry. We prove that the extension is maximal, globally hyperbolic, and unique within a natural class of extensions. The key to those results is the proof that causal geodesics are either complete, or approac…

We prove the analyticity in time for solutions of two parabolic equations in the whole space, without any decaying or vanishing conditions. One of them involves solutions to the heat equation of exponential growth of order $2$ on $\M$. Here $\M$ is $\R^d$ or a complete noncompact manifold with Ricci curvature bounded f…

This note provides a new proof of the real analyticity of the Liouville map.

The aim of this paper is to provide a proof for a version of Morse inequality for manifolds with boundary. Our main results are certainly known to the experts on Morse theory, nevertheless it seems necessary to write down a complete proof for it. Our proof is analytic and is based on J. Roe's account of Witten's approa…

This is a simple reading report of professor Weiping Zhang's lectures. In this article we will mainly introduce the basic ideas of Witten deformation, which were first introduced by Edward Witten on, and some applications of it. The first part of this article mainly focuses on deformation of Dirac operators and some im…

Recent proofs of classical theorems in polynomial algebra and functional analysis are discussed, which use tools from the topology of real manifolds. Simpler proofs were discovered in the new century, of the Hilbert Nullstellensatz, and the Gelfand-Mazur Theorem. We give a related proof that an irreducible real polynom…

In this undergraduate thesis, we present an analytical proof of the Morse inequalities for closed smooth $n$-manifolds following Witten's approach. Using techniques from PDE theory, the proof is reduced to study the eigenspaces and eigenvalues of harmonic oscillators on $\mathbb{R}^n$.

The paper proves deep neural networks with analytic activation can approximate any function.

We present a formal proof in Lean of probably approximately correct (PAC) learnability of the concept class of decision stumps. This classic result in machine learning theory derives a bound on error probabilities for a simple type of classifier. Though such a proof appears simple on paper, analytic and measure-theoret…

For a non-compact hyperbolic 3-manifold with cusps we prove an explicit formula that relates the regularized analytic torsion associated to the even symmetric powers of the standard representation of SL_2(C) to the corresponding Reidemeister torsion. Our proof rests on an expression of the analytic torsion in terms of …

We study the asymptotic growth of Betti numbers in tower of finite covers and provide simple proofs of approximation results, which were previously obtained by Calegari-Emerton, in the generality of arbitrary p-adic analytic towers of covers. Further, we also obtain partial results about arbitrary pro-$p$ towers.

We give a proof that the geometric K-homology theory for finite CW-complexes defined by Baum and Douglas is isomorphic to Kasparov's K-homology. The proof is a simplification of more elaborate arguments which deal with the geometric formulation of equivariant K-homology theory.

The article proves a complex analytic inequality for stable Q-sheaves on Kähler varieties.

Proves no-hair theorem for certain vacuum black holes.

On any closed Riemannian 3-manifold which is not a torus bundle, every nonvanishing analytic solution of the stationary Euler equations has a periodic trajectory. This result is originally due to A. Rechtman (arXiv:0904.2719) and K. Cieliebak and E. Volkov (arXiv:1402.6484); here we present an alternative proof of it.

Wojciech Kamiński disproved a spiral claim for conformal geodesics.

We provide a direct proof for the positivity of Chen-Nester-Tung quasi-local energy with analytic reference in spherical symmetry. A hoop-type theorem for this energy is also established. Finally, the relation between Chen-Nester-Tung and Brown-York quasi-local energies will be discussed.

We derive the Chern-Gauss-Bonnet Theorem for manifolds with smooth non-degenerate boundary in the pseudo-Riemannian context from the corresponding result in the Riemannian setting by examining the Euler-Lagrange equations associated to the Pfaffian of a complex "metric" on the tangent space and then applying analytic c…