We describe how to use the perturbation theory of Caffarelli to prove Evans-Krylov type $C^{2,\alpha}$ estimates for solutions of nonlinear elliptic equations in complex geometry, assuming a bound on the Laplacian of the solution. Our results can be used to replace the various Evans-Krylov type arguments in the complex geometry literature with a sharper and more unified approach. In addition, our methods extend to almost-complex manifolds, and we use this to obtain a new local estimate for an equation of Donaldson.

Let N be a three dimensional Riemannian manifold. Let E be a closed embedded surface in N. Then it is a question of basic interest to see whether one can deform: in its isotopy class to some" canonical" embedded surface. From the point of view of geometry, a natural" canonical" surface will be the extremal surface of some functional defined on the space of embedded surfaces. The simplest functional is the area functional. The extremal surface of the area functional is called the minimal surface. Such minimal surfaces were used extensively by Meeks-Yau [MY21 in studying group actions on three dimensional manifolds.

We prove the equivalence between some functional inequalities and the ultracontractivity property of the heat semigroup on infinite graphs. These functional inequalities include Sobolev inequalities, Nash inequalities, Faber–Krahn inequalities, and log-Sobolev inequalities. We also show that, under the assumptions of volume growth and CDE(n, 0), which is regarded as the natural notion of curvature on graphs, these four functional inequalities and the ultracontractivity property of the heat semigroup are all true on graphs.

By studying the heat semigroup, we prove Li-Yau type estimates for bounded and positive solutions of the heat equation on graphs, under the assumption of the curvature-dimension inequality $CDE'(n,0)$, which can be consider as a notion of curvature for graphs. Furthermore, we derive that if a graph has non-negative curvature then it has the volume doubling property, from this we can prove the Gaussian estimate for heat kernel, and then Poincar\'{e} inequality and Harnack inequality. As a consequence, we obtain that the dimension of space of harmonic functions on graphs with polynomial growth is finite, which original is a conjecture of Yau on Riemannian manifold proved by Colding and Minicozzi. Under the assumption of positive curvature on graphs, we derive the Bonnet-Myers type theorem that the diameter of graphs is finite and bounded above in terms of the positive curvature by proving some Log Sobolev inequalities.

In this paper we obtain a stability theorem of generalized K¨ahler structures with one pure spinor under small deformations of generalized complex structures. (This is analogous to the stability theorem of K¨ahler manifolds by Kodaira-Spencer.) We apply the stability theorem to a class of compact K¨ahler manifolds which admits deformations to generalized complex manifolds and obtain non-trivial generalized K¨ahler structures on Fano surfaces and toric K¨ahler manifolds. In particular, we show that every nonzero holomorphic Poisson structure on a K¨ahler manifold induces deformations of non-trivial generalized K¨ahler structures.

We present an alternate description of the Ozsv´ath-Szab´o contact class in Heegaard Floer homology. Using our contact class, we prove that if a contact structure (M, ) has an adapted open book decomposition whose page S is a once-punctured torus, then the monodromy is right-veering if and only if the contact structure is tight.

Inspired by the Gromov-Hausdorff distance, we define a new notion called the intrinsic flat distance between oriented m dimensional Riemannian manifolds with boundary by isometrically embedding the manifolds into a common metric space, measuring the flat distance between them and taking an infimum over all isometric embeddings and all common metric spaces. This is made rigorous by applying Ambrosio-Kirchheim’s extension of FedererFleming’s notion of integral currents to arbitrary metric spaces. We prove the intrinsic flat distance between two compact oriented Riemannian manifolds is zero iff they have an orientation preserving isometry between them. Using the theory of AmbrosioKirchheim, we study converging sequences of manifolds and their limits, which are in a class of metric spaces that we call integral current spaces. We describe the properties of such spaces including the fact that they are countably Hm rectifiable spaces and present numerous examples.

We propose to study the Hessian metric of given functional in the space of probability space embedded with L^2–Wasserstein (optimal transport) metric. We name it transport Hessian metric, which contains and extends the classical L^2–Wasserstein metric. We formulate several dynamical systems associated with transport Hessian metrics. Several connections between transport Hessian metrics and math physics equations are discovered. E.g., the transport Hessian gradient flow, including Newton’s flow, formulates a mean-field kernel Stein variational gradient flow; The transport Hessian Hamiltonian flow of negative Boltzmann-Shannon entropy forms the Shallow water’s equation; The transport Hessian gradient flow of Fisher information forms the heat equation. Several examples and closed-form solutions of finite-dimensional transport Hessian metrics and dynamics are presented.

We investigate the minimal and isoperimetric surface problems in a large class of sub-Riemannian manifolds, the so-called Vertically Rigid spaces. We construct an adapted connection for such spaces and, using the variational tools of Bryant, Griffiths and Grossman, derive succinct forms of the Euler-Lagrange equations for critical points for the associated variational problems. Using the Euler-Lagrange equations, we show that minimal and isoperimetric surfaces satisfy a constant horizontal mean curvature conditions away from characteristic points. Moreover, we use the formalism to construct a horizontal second fundamental form, II0, for vertically rigid spaces and, as a first application, use II0 to show that minimal surfaces cannot have points of horizontal positive curvature and that minimal surfaces in Carnot groups cannot be locally strictly horizontally geometrically convex. We note that the convexity condition is distinct from others currently in the literature.

The entropy of a hypersurface is a geometric invariant that measures complexity and is invariant under rigid motions and dilations. It is given by the supremum over all Gaussian integrals with varying centers and scales. It is monotone under mean curvature flow, thus giving a Lyapunov functional. Therefore, the entropy of the initial hypersurface bounds the entropy at all future singularities. We show here that not only does the round sphere have the lowest entropy of any closed singularity, but there is a gap to the second lowest.

We study the algebraic dimension a(X) of a compact hyperk ¨ahler manifold of dimension 2n. We show that a(X) is at most n unless X is projective. If a compact K¨ahler manifold with algebraic dimension 0 and Kodaira dimension 0 has a minimal model, then only the values 0, n and 2n are possible. In case of middle dimension, the algebraic reduction is holomorphic Lagrangian. If n = 2, then - without any assumptions - the algebraic dimension only takes the values 0, 2 and 4. The paper also gives structure results for ”generalised hyperk¨ahler” manifolds and studies nef lines bundles.

Given an SO(3)-bundle with connection, the associated twosphere bundle carries a natural closed 2-form. Asking that this be symplectic gives a curvature inequality first considered by Reznikov [34]. We study this inequality in the case when the base has dimension four, with three main aims. Firstly, we use this approach to construct symplectic six-manifolds with c1 = 0 which are never K¨ahler; e.g., we produce such manifolds with b1 = 0 = b3 and also with c2 · [ω] < 0, answering questions posed by Smith–Thomas–Yau [37]. Examples come from Riemannian geometry, via the Levi–Civita connection on +. The underlying six-manifold is then the twistor space and often the symplectic structure tames the Eells–Salamon twistor almost complex structure. Our second aim is to exploit this to deduce new results about minimal surfaces: if a certain curvature inequality holds, it follows that the space of minimal surfaces (with fixed topological invariants) is compactifiable; the minimal surfaces must also satisfy an adjunction inequality, unifying and generalising results of Chen–Tian [6]. One metric satisfying the curvature inequality is hyperbolic four-space H4. Our final aim is to show that the corresponding symplectic manifold is symplectomorphic to the small resolution of the conifold xw −yz = 0 in C4. We explain how this fits into a hyperbolic description of the conifold transition, with isometries of H4 acting symplectomorphically on the resolution and isometries of H3 acting biholomorphically on the smoothing.

We prove that given a three manifold with an arbitrary metric $(M^3, g)$ of positive Ricci curvature, there exists a sweepout of $M$ by surfaces of genus $\leq 3$ and areas bounded by $C vol(M^3, g)^{2/3}$. We use this result to construct a sweepout of $M$ by 1-cycles of length at most $C vol(M^3, g)^{1/3}$ and prove a systolic inequality for all $M \neq S^3$. The sweepout of surfaces is generated from a min-max minimal surface. If further assuming a positive scalar curvature lower bound, we can get a diameter upper bound for the min-max surface.

No abstract uploaded!

Hence the energy defines a functional on the space of Lipshitz maps between M and M'. Critical points of this functional are called harmonic maps. These maps were studied by Bochner, Morrey, Rauch, Eells and Sampson, Hartman, Uhlenbeck, Hamilton, Hildebrandt and others. The first fundamental result was due to Eells and Sampson [3] who proved that, in case M'has non-positive sectional curvature, each map from M to M'is homotopic to a harmonic map.(This result was then extended by Hamilton [8] to the case where both M and M'are allowed to have boundary.) Later Hartman [7] was able to prove the harmonic map is unique in each homotopy class if M'has strictly negative curvature. This last result of Hartman leads one to believe that harmonic maps between compact manifolds with negative curvature must enjoy a lot of nice properties. In fact, a few years ago, B. Lawson and the second author conjectured

We introduce the notion of Bonnet-Myers and Lichnerowicz sharpness in the Ollivier Ricci curvature sense. Our main result is a classification of all self-centered Bonnet-Myers sharp graphs (hypercubes, cocktail party graphs, even-dimensional demi-cubes, Johnson graphs , the Gosset graph J(2n, n) and suitable Cartesian products). We also present a purely combinatorial reformulation of this result. We show that Bonnet-Myers sharpness implies Lichnerowicz sharpness and classify all distance-regular Lichnerowicz sharp graphs under the additional condition θ_1=b_1-1. We also relate Bonnet-Myers sharpness to an upper bound of Bakry-Émery ∞-curvature, which motivates a general conjecture about Bakry-Émery ∞-curvature.

In 1997, J. Jost [27] and F. H. Lin [39], independently proved that every energy minimizing harmonic map from an Alexandrov space with curvature bounded from below to an Alexandrov space with non-positive curvature is locally H¨older continuous. In [39], F. H. Lin proposed a challenge problem: Can the H¨older continuity be improved to Lipschitz continuity? J. Jost also asked a similar problem about Lipschitz regularity of harmonic maps between singular spaces (see Page 38 in [28]). The main theorem of this paper gives a complete resolution to it.

In this paper, we prove that if a compact Kähler manifold X has a smooth Hermitian metric ω such that (T_X,ω) is uniformly RC-positive, then X is projective and rationally connected. Conversely, we show that, if a projective manifold X is rationally connected, then there exists a uniformly RC-positive complex Finsler metric on T_X .

The Ward equation, also called the modified 2+1 chiral model,is obtained by a dimension reduction and a gauge fixing from the self-dual Yang-Mills field equation on R2,2. It has a Lax pair and is an integrable system. Ward constructed solitons whose ex- tended solutions have distinct simple poles. He also used a limiting method to construct 2-solitons whose extended solutions have a double pole. Ioannidou and Zakrzewski, and Anand constructed more soliton solutions whose extended solutions have a double or triple pole. Some of the main results of this paper are: (i) We construct algebraic B¨acklund transformations (BTs) that generate new solutions of the Ward equation from a given one by an algebraic method. (ii) We use an order k limiting method and algebraic BTs to construct explicit Ward solitons, whose extended solutions have arbitrary poles and multiplicities. (iii) We prove that our construction gives all solitons of the Ward equation explicitly and the entries of Ward solitons must be rational functions in x, y and t. (iv) Since stationary Ward solitons are unitons, our method also gives an explicit construction of all k-unitons from finite sequences of rational maps from C to Cn.

We study how conserved quantities such as angular momentum and center of mass evolve with respect to the retarded time at null infinity, which is described in terms of a Bondi-Sachs coordinate system. These evolution formulae complement the classical Bondi mass loss formula for gravitational radiation. They are further expressed in terms of the potentials of the shear and news tensors. The consequences that follow from these formulae are (1) Supertranslation invariance of the fluxes of the CWY conserved quantities. (2) A conservation law of angular momentum \`a la Christodoulou. (3) A duality paradigm for null infinity. In particular, the supertranslation invariance distinguishes the CWY angular momentum and center of mass from the classical definitions.

We prove pinching estimates for dual flows provided the curvature function used in the inverse flow in de Sitter space is convex.

Getzler-Jones-Petrack introduced $A_\infty$ structures on the equivariant complex for manifold $M$ with smooth $\mathbb{S}^1$ action, motivated by geometry of loop spaces. Applying Witten's deformation by Morse functions followed by homological perturbation we obtained a new set of $A_\infty$ structures. We extend and prove Fukaya's conjecture relating this Witten's deformed equivariant de Rham complexes, to a new Morse theoretical $A_\infty$ complexes defined by counting gradient trees with jumping which are closely related to the $\mathbb{S}^1$ equivariant symplectic cohomology proposed by Siedel.

We consider inverse curvature flows in $\Hh$ with star-shaped initial hypersurfaces and prove that the flows exist for all time, and that the leaves converge to infinity, become strongly convex exponentially fast and also more and more totally umbilic. After an appropriate rescaling the leaves converge in $C^\infty$ to a sphere.

We define enlargeable length-structures on closed topological manifolds and then show that the connected sum of a closed n-manifold with an enlargeable Riemannian length-structure with an arbitrary closed smooth manifold carries no Riemannian metrics with positive scalar curvature. We show that closed smooth manifolds with a locally CAT(0)-metric which is strongly equivalent to a Riemannian metric are examples of closed manifolds with an enlargeable Riemannian length-structure. Moreover, the result is correct in arbitrary dimensions based on the main result of a recent paper by Schoen and Yau. We define the positive MV-scalar curvature on closed orientable topological manifolds and show the compactly enlargeable length-structures are the obstructions of its existence.

In this paper, we first derive the CR analogue of matrix Li–Yau–Hamilton inequality for the positive solution to the CR heat equation in a closed pseudohermitian (2n + 1)-manifold with nonnegative bisectional curvature and bitorsional tensor. We then obtain the CR Li–Yau gradient estimate in the Heisenberg group. We apply this CR gradient estimate and extend the CR matrix Li–Yau–Hamilton inequality to the case of the Heisenberg group. As a consequence, we derive the Hessian comparison property for the Heisenberg group.