In this article, we describe various geometries on Riemannian manifolds via a unified approach using normed division algebras and vector cross products. They include K¨ahler geometry, Calabi-Yau geometry, hyperk¨ahler geometry, G2-geometry and geometry of Riemannian symmetric spaces.

Suppose A and B are normed division algebras, i.e. R,C,H or O, we introduce and study Grassmannians of linear subspaces in (A ⊗ B)n which are complex/Lagrangian/maximal isotropic with respect to natural two tensors on (A ⊗ B)n. We show that every irreducible compact symmetric space must be one of these Grassmannian spaces, possibly up to a finite cover. This gives a simple and uniform description of all compact symmetric spaces. This generalizes the Tits magic square description for simple Lie algebras to compact symmetric spaces.

No abstract uploaded!

No abstract uploaded!

For two nearby disjoint coassociative submanifolds C and C′ in a G2-manifold, we construct thin instantons with boundaries lying on C and C′ from regular J-holomorphic curves in C. We explain their relationship with the Seiberg-Witten invariants for C.

In G2 manifolds, 3-dimensional associative submanifolds (instantons) play a role similar to J-holomorphic curves in symplectic geometry. In [21], instantons in G2 manifolds were constructed from regular J-holomorphic curves in coassociative submanifolds. In this exposition paper, after reviewing the background of G2 geometry, we explain the main ingredients in the proofs in [21]. We also construct new examples of instantons.

We construct a new equivariant cohomology theory for a certain class of differential vertex algebras, which we call the chiral equivariant cohomology. A principal example of a differential vertex algebra in this class is the chiral de Rham complex of Malikov-Schechtman-Vaintrob of a manifold with a group action. The main idea in this paper is to synthesize the algebraic approach to classical equivariant cohomology due to H. Cartan, with the theory of differential vertex algebras, by using an appropriate notion of invariant theory. We also construct the vertex algebra analogues of the Mathai-Quillen isomorphism, the Weil and the Cartan models for equivariant cohomology, and the Chern-Weil map. We give interesting cohomology classes in the new theory that have no classical analogues.

The convexity theorem of Atiyah and Guillemin-Sternberg says that any connected compact manifold with Hamiltonian torus action has a moment map whose image is the convex hull of the image of the fixed point set. Sjamaar-Lerman proved that the Marsden-Weinstein reduction of a connected Hamitonian G -manifold is a stratified symplectic space. Suppose $1\ra A\ra G\ra T\ra 1$ is an exact sequence of compact Lie groups and T is a torus. Then the reduction of a Hamiltonian G -manifold with respect to A yields a Hamiltonian T -space. We show that if the A -moment map is proper, then the convexity theorem holds for such a Hamiltonian T -space, even when it is singular. We also prove that if, furthermore, the T -space has dimension 2dimT and T acts effectively, then the moment polytope is sufficient to essentially distinguish their homeomorphism type, though not their diffeomorphism types. This generalizes a theorem of Delzant in the smooth case.

This is the second in a series of papers on a new equivariant cohomology that takes values in a vertex algebra. In an earlier paper, the first two authors gave a construction of the cohomology functor on the category of O(sg) algebras. The new cohomology theory can be viewed as a kind of "chiralization'' of the classical equivariant cohomology, the latter being defined on the category of $G^*$ algebras a la H. Cartan. In this paper, we further develop the chiral theory by first extending it to allow a much larger class of algebras which we call sg[t] algebras. In the geometrical setting, our principal example of an O(sg) algebra is the chiral de Rham complex Q(M) of a G manifold M. There is an interesting subalgebra of Q(M) which does not admit a full O(sg) algebra structure but retains the structure of an sg[t] algebra, enough for us to define its chiral equivariant cohomology. The latter then turns out to have many surprising features that allows us to delineate a number of interesting geometric aspects of the G manifold M, sometimes in ways that are quite different from the classical theory.

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 classify unweighted graphs satisfying the curvature dimension condition $\CD (0,\infty)$ whose girth are at least five.

Let  $\sum $ be a compact oriented surface immersed in a four dimensional K¨ahler-Einsteinmanifold $(M, ω)$. We consider the evolution of $\sum$ in the direction of its mean curvature vector. It is proved that being symplectic is preserved along the flow and the flow does not develop type I singularity. When $M$ has two parallel K¨ahler forms $\omega " $ and $\omega ''$ that determine different orientations and  $\sum$ is symplectic with respect to both $\omega " $ and $\omega ''$, we prove the mean curvature flow of $\sum$  exists smoothly for all time. In the positive curvature case, the flow indeed converges at infinity.

Let $f : \sum_1 \to \sum_2$ be an area preserving diffeomorphism between compact Riemann surfaces of constant curvature. The graph of $f$ can be viewed as a Lagrangian submanifold in $ \sum_1 \times \sum_2$. This article discusses a canonical way to deform $f$ along area preserving diffeomorphisms. This deformation process is realized through the mean curvature flow of the graph of $f$ in $ \sum_1 \times \sum_2$. It is proved that the flow exists for all time and the map converges to a canonical map. In particular, this gives a new proof of the classical topological results that $O(3)$ is a deformation retract of the diffeomorphism group of $S^2$ and the mapping class group of a Riemman surface of positive genus is a deformation retract of the diffeomorphism group .

Let $ f : \sum_1 \to \sum_2$ be a map between compact Riemannian manifolds of constant curvature. This article considers the evolution of the graph of f in $\sum_1 \times \sum_2$2 by the mean curvature flow. Under suitable conditions on the curvature of $\sum_1$ and $\sum_2$ and the differential of the initial map, we show that the flow exists smoothly for all time. At each instant $t$, the flow remains the graph of a map $f_t$ and $f_t$ converges to a constant map as $t$ approaches infinity. This also provides a regularity estimate for Lipschtz initial data.

Let  $\sum$ be a complete minimal Lagrangian submanifold of $\mathbb{C}^n$. We identify regions in the Grassmannian of Lagrangian subspaces so that whenever the image of the Gauss map of $\sum$ lies in one of these regions, then  $\sum$ is an affine space.

this article we generalize the classical gradient estimate for the minimal surface equation to higher codimension. We consider a vector-valued function $u : \Omega \subset \math{R}^n \to \math{R}^m$ that satisfies the minimal surface system, see equation (1.1) in §1. The graph of u is then a minimal submanifold of $\math{R}^{n+m}$. We prove an a priori gradient bound under the assumption that the Jacobian of $ du: \math{R}^n \to \math{R}^m$ on any two dimensional subspace of $\mtah{R}^n$ is less than or equal to one. This assumption is automatically satisfied when $du$ is of rank one and thus the estimate covers the case when m=1, i.e., the original minimal surface equation. This is applied to Bernstein type theorems for minimal submanifolds of higher codimension.

This article studies the mean curvature flow of Lagrangian submanifolds. In particular, we prove the following global existence and convergence theorem: if the potential function of a Lagrangian graph in $T^{2n}$ is convex, then the flow exists for all time and converges smoothly to a flat Lagrangian submanifold. We also discuss various conditions on the potential function that guarantee global existence and convergence.

Let $\sum$ be a minimal submanifold of $\mathbb{R}^{n+m}$ that can be represented as the graph of a smooth map $f : \mathbb{R}^n \to \mathbb{R}^m$. We apply a formula we derived in the study of mean curvature flow to obtain conditions under which $\sum$ must be an affine subspace. Our result covers all known ones in the general case. The conditions are stated in terms of the singular values of $df$.

The mean curvature flow is an evolution process under which a submanifold deforms in the direction of its mean curvature vector. The hypersurface case has been much studied since the eighties. Recently, several theorems on regularity, global existence and convergence of the flow in various ambient spaces and codimensions were proved. We shall explain the results obtained as well as the techniques involved. The potential applications in symplectic topology and mirror symmetry will also be discussed.

Let $F: \sum^n \times [0, T) \to \mathbb{R}^{n+m} be a family of compact immersed submanifolds moving by their mean curvature vectors. We show the Gauss maps $\gamma : (\sum^n, g_t) \to G(n,m)$ form a harmonic heat flow with respect to the time-dependent induced metric $g_t$. This provides a more systematic approach to investigating higher codimension mean curvature flows. A direct consequence is any convex function on $G(n,m)$ produces a subsolution of the nonlinear heat equation on $(\sum, g_t)$. We also show the condition that the image of the Gauss map lies in a totally geodesic submanifold of $G(n,m)$ is preserved by the mean curvature flow. Since the space of Lagrangian subspaces is totally geodesic in $G(n, n)$, this gives an alternative proof that any Lagrangian submanifold remains Lagrangian along the mean curvature flow.

An n dimensional minimal submanifold $\sum$  of $R^{n+m}$ is called nonparametric if $\sum$  can be represented as the graph of a vector-valued function $f : D \subset \mathbb{ R}^n \to \mathbb{R}^n$. This note provides a sufficient condition for the stability of such $\sum$ in terms of the norm of the differential $df$.

Let $\Omega $ be a bounded $C^2$ domain in $R^n$ and $\phi : \partial \Omega \to \mathbb{R}^m$ be a continuous map. The Dirichlet problem for the minimal surface system asks whether there exists a Lipschitz map $f : \Omega \to \mathbb{R}^m$ with $ f |_{\partial \Omega}$ and with the graph of $f$ a minimal submanifold in $R^{n+m}$. For $m = 1$, the Dirichlet problem was solved more than thirty years ago by Jenkins-Serrin [13] for any mean convex domains and the solutions are all smooth. This paper considers the Dirichlet problem for convex domains in arbitrary codimension $m$. We prove if $\psi : \bar{\Omega} \to \mathbb{R}^m$ satisfies $8n\delta sup_{\Omega}||D^2 \psi| + \sqrt{2} sup_{\partial \Omega} |D\psi| <1$, then the Dirichlet problem for $ \psi |_{\partial \Omega}$ is solvable in smooth maps. Here $\delta$ is the diameter of $\Omega$ . Such a condition is necessary in view of an example of Lawson-Osserman [15]. In order to prove this result, we study the associated parabolic system and solve the Cauchy-Dirichlet problem with $\psi$ as initial data.

The mean curvature flow is the gradient flow of volume functionals on the space of submanifolds. We prove a fundamental regularity result of the mean curvature flow in this paper: a Lipschitz submanifold with small local Lipschitz norm becomes smooth instantly along the mean curvature flow. This generalizes the regularity theorem of Ecker and Huisken for Lipschitz hypersurfaces. In particular, any submanifold of the Euclidean space with a continuous induced metric can be smoothed out by the mean curvature flow. The smallness assumption is necessary in the higher codimension case in view of an example of Lawson and Osserman. The stationary phase of the mean curvature flow corresponds to minimal submanifolds. Our result thus generalizes Morrey’s classical theorem on the smoothness of $C_1$ minimal submanifolds.

Let $f$ be a smooth map between unit spheres of possibly different dimensions. We prove the global existence and convergence of the mean curvature flow of the graph of $f$ under various conditions. A corollary is that any area-decreasing map between unit spheres (of possibly different dimensions) is isotopic to a constant map.

No abstract uploaded!