• ### Perelman's W-functional and stability of K\"ahler-Ricci flow(0801.3504)

July 25, 2018 math.DG
In this expository note, we study the second variation of Perelman's entropy on the space of Kahler metrics at a K\"ahler-Ricci soliton. We prove that the entropy is stable in the sense of variations. In particular, Perelman's entropy is stable along the K\"ahler-Ricci flow. The Chinese version of this note has appeared in a volume in honor of professor K.C.Chang (Scientia Sinica Math., 46 (2016), 685-696).
• ### Relative volume comparison of Ricci Flow and its applications(1802.09506)

April 17, 2018 math.DG
In this paper, we derive a relative volume comparison estimate along Ricci flow and apply it to studying the Gromov-Hausdorff convergence of K\"ahler-Ricci flow on a minimal manifold. This new estimate generalizes Perelman's no local collapsing estimate and can be regarded as an analogue of the Bishop-Gromov volume comparison for Ricci flow.
• ### Spectrum of SYK model(1801.10073)

Jan. 30, 2018 math-ph, math.MP, math.PR
We will study the spectral properties of the random matrix of SYK model, which is a simple model of the black hole in physics literature. Our primary interest is the distribution of the eigenvalues as the number of Majorana fermions tends to infinity. We will first prove the almost surely convergence of the global density of the eigenvalues. Then we show that the linear statistics of the eigenvalues satisfy the central limit theorem asymptotically. In the last section, we also discuss the largest eigenvalue of the SYK model.
• ### On the distance control problem in Ricci flows(1303.1895)

Sept. 2, 2017 math.DG, math.AP
We show that the distance function under the Ricci flow is uniformly continuous in the time direction, assuming only the scalar curvature is bounded.
• ### Uniqueness of the Mean Field Equation and Rigidity of Hawking Mass(1706.06766)

June 21, 2017 math.DG, math.AP
In this paper, we prove that the even solution of the mean field equation $\Delta u=\lambda(1-e^u)$ on $S^2$ must be axially symmetric when $4<\lambda \leq 8$. In particular, zero is the only even solution for $\lambda=6$. This implies the rigidity of Hawking mass for stable constant mean curvature(CMC) sphere with even symmetry.
• ### The symplectic approach of gauged linear $\sigma$-model(1702.01428)

Feb. 5, 2017 math-ph, math.MP, math.SG
Witten's Gauged Linear $\sigma$-Model (GLSM) unifies the Gromov-Witten theory and the Landau-Ginzburg theory, and provides a global perspective on mirror symmetry. In this article, we summarize a mathematically rigorous construction of the GLSM in the geometric phase using methods from symplectic geometry.
• ### Asypmtotics of enumerative invariants in $\CC P^2$(1609.06425)

Oct. 10, 2016 math.AP
In this paper, we give the asymptotic expansion of $n_{0,d}$ and $n_{1,d}$.
• ### Virtual cycles of gauged Witten equation(1602.07638)

May 13, 2019 math-ph, math.MP, math.SG
We construct virtual cycles on moduli spaces of perturbed gauged Witten equation over a fixed smooth r -spin curve, under the framework of [TX15]. Together with the wall-crossing formula proved in the companion paper [TX19], it completes the construction of the correlation function for the gauged linear sigma model announced in [TX16] as well as the proof of its invariance.
• ### Correction to Section 19.2 of Ricci Flow and the Poincare Conjecture(1512.00699)

Dec. 2, 2015 math.DG
This note corrects a mistake in the original book in the evolution equations of total curvature for the curve-shrinking flow in an ambient Ricci Flow. The resulting upper bound for the evolution of total curvature is an exponential bound in time. The change involves the multiplicative constant. Here we show that it depends on the initial total curvature and the initial length, rather than just on the initial total curvature as was asserted before. This change does not affect the application of these results to prove finite-time extinction when the third homotopy group of the manifold is non-trivial.
• ### Compactness results for triholomorphic maps(1507.06558)

Oct. 2, 2015 math.DG, math.AP
We consider triholomorphic maps from an almost hyper-Hermitian manifold $\mathcal{M}^{4m}$ into a hyperK\"ahler manifold $\mathcal{N}^{4n}$. This means that $u \in W^{1,2}$ satisfies a quaternionic del-bar equation. We work under the assumption that $u$ is locally strongly approximable in $W^{1,2}$ by smooth maps: then such maps are almost stationary harmonic (when $\mathcal{M}$ is hyperK\"ahler as well, then stationary harmonic). We show that in this more general situation the classical $\epsilon$-regularity result still holds. We then address compactness issues for a weakly converging sequence $u_\ell \rightharpoonup u_\infty$ of strongly approximable triholomorphic maps $u_\ell:\mathcal{M} \to \mathcal{N}$ with uniformly bounded Dirichlet energies. The blow up analysis leads, as in the usual stationary setting, to the existence of a rectifiable blow-up set $\Sigma$ of codimension $2$, away from which the sequence converges strongly. The defect measure $\Theta(x) {\mathcal{H}}^{4m-2} \llcorner \Sigma$ encodes the loss of energy in the limit; we prove that for a.e. point on $\Sigma$ the value of $\Theta$ is given by the sum of energies of a (finite) number of smooth non-constant holomorphic bubbles (here the holomorphicity is understood w.r.t. a complex structure on $\mathcal{N}$ that depends on the chosen point on $\Sigma$). In the case that $\mathcal{M}$ is hyperK\"ahler this result was established by C. Y. Wang (2003) with a different proof; we rely on Lorentz space estimates. By means of a calibration and a homological argument we further prove that for each portion of $\Sigma \setminus \text{Sing}_{u_\infty}$ contained in a Lipschitz graph we find a unique alm. compl. st. on $\mathcal{M}$ that makes the portion pseudoholomorphic and smooth, with $\Theta$ constant; moreover the bubbles originating at points of such a smooth piece are holomorphic for a common complex structure.
• ### Orbifold regularity of weak Kahler-Einstein metrics(1505.01925)

May 8, 2015 math.DG, math.AG
In this note, we prove that any non-collapsing and compact Gromov-Hausdorff limit of Kahler-Einstein manifolds is either smooth or is orbifold outside a subvariety of complex codimension at least 3.
• ### Convergence of K\"ahler-Ricci flow on lower dimensional algebraic manifolds of general type(1505.01038)

May 5, 2015 math.DG
In this paper, we prove that the $L^4$-norm of Ricci curvature is uniformly bounded along a K\"ahler-Ricci flow on any minimal algebraic manifold. As an application, we show that on any minimal algebraic manifold $M$ of general type and with dimension $n\le 3$, any solution of the normalized K\"ahler-Ricci flow converges to the unique singular K\"ahler-Einstein metric on the canonical model of $M$ in the Cheeger-Gromov topology.
• ### Properness of log $F$-functionals(1504.03197)

April 13, 2015 math.DG
In this paper, we apply the method developed in [Ti97] and [TZ00] to proving the properness of log $F$-functional on any conic K\"ahler-Einstein manifolds. As an application, we give an alternative proof for the openness of the continuity method through conic K\"ahler-Einstein metrics.
• ### Bounding diameter of singular K\"ahler metric(1503.03159)

March 11, 2015 math.DG
In this paper we investigate the differential geometric and algebro-geometric properties of the noncollapsing limit in the continuity method that was introduced by the first two named authors in \cite{LaTi14}.
• ### Analysis of gauged Witten equation(1405.6352)

Nov. 3, 2014 math.SG
The gauged Witten equation was essentially introduced by Witten in his formulation of gauged linear $\sigma$-model (GLSM). GLSM is a physics theory which explains the so-called Landau-Ginzburg/Calabi-Yau correspondence. This is the first paper in a series towards a mathematical construction of GLSM. In this paper we study some analytical properties of the gauged Witten equation for a Lagrange multiplier type superpotential. It contains the asymptotic property of finite energy solutions, the linear Fredholm property, the uniform $C^0$-bound, and the compactness of the moduli space of solutions over a fixed smooth $r$-spin curve with uniform energy bound.
• ### A continuity method to construct canonical metrics(1410.3157)

Oct. 12, 2014 math.DG, math.AP, math.AG
We introduce a new continuity method which provides an alternative way of carrying out the Analytic Minimal Model Program introduced by G. Tian and J. Song and G. Tian. This equation -- unlike the Ricci flow -- has the advantage of having Ricci curvature bounded from below along the deformation, so that the compactness theory of Cheeger-Colding-Tian for Kaehler manifolds and the partial $C^0$-estimate, can be applied.
• ### K-stability implies CM-stability(1409.7836)

Sept. 27, 2014 math.DG, math.AG
In this paper, we prove that any polarized K-stable manifold is CM-stable. This extends what I did for Fano manifolds in my 2012 paper.
• ### Correlation functions of gauged linear $\sigma$-model(1406.4253)

June 17, 2014 math.SG
This is the second paper in a series following arXiv:1405.6352, on the construction of a mathematical theory of the gauged linear $\sigma$-model (GLSM). In this paper, assuming the existence of virtual moduli cycles and their certain properties, we define the correlation function of GLSM for a fixed smooth rigidified $r$-spin curve.
• ### A compactness result for Fano manifolds and K\"ahler Ricci flows(1404.3783)

April 15, 2014 math.DG, math.AP
We obtain a compactness result for Fano manifolds and K\"ahler Ricci flows. Comparing to the more general Riemannian versions by Anderson and Hamilton, in this Fano case, the curvature assumption is much weaker and is preserved by the K\"ahler Ricci flows. One assumption is the boundedness of the Ricci potential and the other is the smallness of Perelman's entropy. As one application, we obtain a new local regularity criteria and structure result for K\"ahler Ricci flows. The proof is based on a H\"older estimate for the gradient of harmonic functions, which may be of independent interest.
• ### Regularity of K\"ahler-Ricci flows on Fano manifolds(1310.5897)

Oct. 22, 2013 math.DG
In this paper, we will establish a regularity theory for the K\"ahler-Ricci flow on Fano $n$-manifolds with Ricci curvature bounded in $L^p$-norm for some $p > n$. Using this regularity theory, we will also solve a long-standing conjecture for dimension 3. As an application, we give a new proof of the Yau-Tian-Donaldson conjecture for Fano 3-manifolds. The results have been announced in \cite{TiZh12b}.
• ### Stability of pairs(1310.5544)

Oct. 21, 2013 math.DG
This is essentially an expository note based on S. Paul's works on the stability of pairs. Its connection to K-stability will be also discussed.
• ### Regularity results for pluriclosed flow(1008.2794)

Oct. 7, 2013 math.DG, math.CV
In prior work the authors introduced a parabolic flow of pluriclosed metrics. Here we give improved regularity results for solutions to this equation. Furthermore, we exhibit this equation as the gradient flow of the lowest eigenvalue of a certain Schr\"odinger operator, and show the existence of an expanding entropy functional for this flow. Finally, we motivate a conjectural picture of the optimal regularity results for this flow, and discuss some of the consequences.
• ### Isoperimetric inequality under K\"ahler Ricci flow(1203.1400)

July 10, 2013 math.DG
Let $({\M}, g(t))$ be a K\"ahler Ricci flow with positive first Chern class. We prove a uniform isoperimetric inequality for all time. In the process we also prove a Cheng-Yau type log gradient bound for positive harmonic functions on $({\M}, g(t))$, and a Poincar\'e inequality without assuming the Ricci curvature is bounded from below.
• ### Regularity of K\"ahler-Ricci flow(1304.2651)

April 9, 2013 math.DG
In this short note we announce a regularity theorem for K\"ahler-Ricci flow on a compact Fano manifold (K\"ahler manifold with positive first Chern class) and its application to the limiting behavior of K\"ahler-Ricci flow on Fano 3-manifolds. Moreover, we also present a partial $C^0$ estimate to the K\"ahler-Ricci flow under the regularity assumption, which extends previous works on K\"ahler-Einstein metrics and shrinking K\"ahler-Ricci solitons (cf. \cite{Ti90}, \cite{DoSu12}, \cite{Ti12}, \cite{PSS12}). The detailed proof will appear in \cite{TiZh13}.
• ### The Yang-Mills \alpha -flow in vector bundles over four manifolds and its applications(1303.0628)

March 4, 2013 math.DG, math.AP
In this paper, we introduce an \alpha -flow for the Yang-Mills functional in vector bundles over four dimensional Riemannian manifolds, and establish global existence of a unique smooth solution to the \alpha -flow with smooth initial value. We prove that the limit of solutions of the \alpha -flow as \alpha\to 1 is a weak solution to the Yang-Mills flow. By an application of the \alpha -flow, we then follow the idea of Sacks and Uhlenbeck to prove some existence results for Yang-Mills connections and improve the minimizing result of the Yang-Mills functional of Sedlacek.