Rigidity of Einstein manifolds with positive scalar curvature

We prove that if $M^n(n\ge 4)$ is a compact Einstein manifold whose normalized scalar curvature and sectional curvature satisfy pinching condition $R_0>\sigma _{n}K_{\max }$ , where $\sigma _n\in (\frac{1}{4},1)$ is an explicit positive constant depending only on $n$ , then $M$ must be isometric to a spherical space form. Moreover, we prove that if an $n(\ge {\!\!4})$ -dimensional compact Einstein manifold satisfies $K_{\min }\ge \eta _n R_0,$ where $\eta _n\in (\frac{1}{4},1)$ is an explicit positive constant, then $M$ is locally symmetric. It should be emphasized that the pinching constant $\eta _n$ is optimal when $n$ is even. We then obtain some rigidity theorems for Einstein manifolds under $(n-2)$ -th Ricci curvature and normalized scalar curvature pinching conditions. Finally we extend the theorems above to Einstein submanifolds in a Riemannian manifold, and prove that if $M$ is an $n(\ge {\!\!4})$ -dimensional compact Einstein submanifold in the simply connected space form $F^{N}(c)$ with constant curvature $c\ge 0$ , and the normalized scalar curvature $R_0$ of $M$ satisfies $R_0>\frac{A_n}{A_n+4n-8}(c+H^2),$ where $A_n=n^3-5n^2+8n$ , and $H$ is the mean curvature of $M$ , then $M$ is isometric to a standard $n$ -sphere.     

Scheme of lines on a family of 2-dimensional quadrics: geometry and derived category

Given a generic family $Q$ of 2-dimensional quadrics over a smooth 3-dimensional base $Y$ we consider the relative Fano scheme $M$ of lines of it. The scheme $M$ has a structure of a generically conic bundle $M \rightarrow X$ over a double covering $X \rightarrow Y$ ramified in the degeneration locus of $Q \rightarrow Y$ . The double covering $X \rightarrow Y$ is singular in a finite number of points (corresponding to the points $y \in Y$ such that the quadric $Q_y$ degenerates to a union of two planes), the fibers of $M$ over such points are unions of two planes intersecting in a point. The main result of the paper is a construction of a semiorthogonal decomposition for the derived category of coherent sheaves on $M$ . This decomposition has three components, the first is the derived category of a small resolution $X^+$ of singularities of the double covering $X \rightarrow Y$ , the second is a twisted resolution of singularities of $X$ (given by the sheaf of even parts of Clifford algebras on $Y$ ), and the third is generated by a completely orthogonal exceptional collection.     

Robust vanishing of all Lyapunov exponents for iterated function systems

Given any compact connected manifold $M$ , we describe $C^2$ -open sets of iterated functions systems (IFS’s) admitting fully-supported ergodic measures whose Lyapunov exponents along $M$ are all zero. Moreover, these measures are approximated by measures supported on periodic orbits. We also describe $C^1$ -open sets of IFS’s admitting ergodic measures of positive entropy whose Lyapunov exponents along $M$ are all zero. The proofs involve the construction of non-hyperbolic measures for the induced IFS’s on the flag manifold.     

Contact structures on M \times S^2

We show that if a manifold $M$ admits a contact structure, then so does $M \times S^2$ . Our proof relies on surgery theory, a theorem of Eliashberg on contact surgery and a theorem of Bourgeois showing that if $M$ admits a contact structure then so does $M \times T^2$ .     

On characterizations of real hypersurface in complex space form with Codazzi type structure Lie operator

In this paper, we prove that if $(\nabla _{X} L_{\xi })Y= (\nabla _{Y} L_{\xi })X$ holds on $M$ , then $M$ is a Hopf hypersurface, where $L_\xi $ denote the induced operator from the Lie derivative with respect to the structure vector field $\xi $ . We characterize such Hopf hypersurfaces of $M_n(c)$ .     

Stable hypersurfaces as minima of the integral of an anisotropic mean curvature preserving a linear combination of area and volume

We deal with a compact hypersurface $M$ without boundary immersed in Euclidean space $R^{n+1}$ with the quotient of anisotropic mean curvatures $\frac{(r+1)C_{n}^{r+1}H^F_{r+1}}{a(k+1)C_{n}^{k+1}H^F_{k+1}-b}=constant$ , for real numbers $a$ and $b$ . Such a hypersurface is a critical point for the variational problem preserving a linear combination (with coefficientes $a$ and $b$ ) of the $(k,F)$ -area and the $(n + 1)$ -volume enclosed by $M$ . We show that $M$ is $(r,k,a,b)$ -stable if and only if, up to translations and homotheties, it is the Wulff shape of $F$ , under some assumptions on $a$ and $b$ proved to be sharp. For $a=0$ and $b=1$ , this gives the known $r$ -stability of the $r$ -area for volume preserving variations; if also $F\equiv 1$ it yields the stability studied by Alencar-do Carmo-Rosenberg and Barbosa-Colares. For $b=0$ we also prove a characterization of the Wulff shape as a critical point of the $(r,F)$ -area for variations preserving the $(k, F)$ -area, $0\le k<r<n$ , without the $r$ -stability hypothesis.     

Singular gradient flow of the distance function and homotopy equivalence

Let $M$ be a Riemannian manifold and let $\varOmega $ be a bounded open subset of $M$ . It is well known that significant information about the geometry of $\varOmega $ is encoded into the properties of the distance, $d_{\partial \varOmega }$ , from the boundary of $\varOmega $ . Here, we show that the generalized gradient flow associated with the distance preserves singularities, that is, if $x_0$ is a singular point of $d_{\partial \varOmega }$ then the generalized characteristic starting at $x_0$ stays singular for all times. As an application, we deduce that the singular set of $d_{\partial \varOmega }$ has the same homotopy type as $\varOmega $ .     

Syzygies and tensor product of modules

We give an application of the New Intersection Theorem and prove the following: let $R$ be a local complete intersection ring of codimension $c$ and let $M$ and $N$ be nonzero finitely generated $R$ -modules. Assume $n$ is a nonnegative integer and that the tensor product $M\otimes _{R}N$ is an $(n+c)$ th syzygy of some finitely generated $R$ -module. If ${{\mathrm{Tor}}}^{R}_{>0}(M,N)=0$ , then both $M$ and $N$ are $n$ th syzygies of some finitely generated $R$ -modules.     

L’espace symétrique de Drinfeld et correspondance de Langlands locale I

We give an upper bound of a Hamiltonian displacement energy of a unit disk cotangent bundle $D^*M$ in a cotangent bundle $T^*M$ , when the base manifold $M$ is an open Riemannian manifold. Our main result is that the displacement energy is not greater than $C r(M)$ , where $r(M)$ is the inner radius of $M$ , and $C$ is a dimensional constant. As an immediate application, we study symplectic embedding problems of unit disk cotangent bundles. Moreover, combined with results in symplectic geometry, our main result shows the existence of short periodic billiard trajectories and short geodesic loops.     

Asymptotics for Hessenberg Matrices for the Bergman Shift Operator on Jordan Regions

Let $G$ be a bounded Jordan domain in the complex plane. The Bergman polynomials $\{p_n\}_{n=0}^\infty $ of $G$ are the orthonormal polynomials with respect to the area measure over $G$ . They are uniquely defined by the entries of an infinite upper Hessenberg matrix $M$ . This matrix represents the Bergman shift operator of $G$ . The main purpose of the paper is to describe and analyze a close relation between $M$ and the Toeplitz matrix with symbol the normalized conformal map of the exterior of the unit circle onto the complement of $\overline{G}$ . Our results are based on the strong asymptotics of $p_n$ . As an application, we describe and analyze an algorithm for recovering the shape of $G$ from its area moments.     

On the structure of co-Kähler manifolds

By the work of Li, a compact co-Kähler manifold $M$ is a mapping torus $K_\varphi $ , where $K$ is a Kähler manifold and $\varphi $ is a Hermitian isometry. We show here that there is always a finite cyclic cover $\overline{M}$ of the form $\overline{M} \cong K \times S^1$ , where $\cong $ is equivariant diffeomorphism with respect to an action of $S^1$ on $M$ and the action of $S^1$ on $K \times S^1$ by translation on the second factor. Furthermore, the covering transformations act diagonally on $S^1, K$ and are translations on the $S^1$ factor. In this way, we see that, up to a finite cover, all compact co-Kähler manifolds arise as the product of a Kähler manifold and a circle.     

Symplectic Dolbeault operators on Kähler manifolds

For a Kähler manifold $M$ , the “symplectic Dolbeault operators” are defined using the symplectic spinors and associated Dirac operators, in complete analogy to how the usual Dolbeault operators, $\bar{\partial }$ and $\bar{\partial }^*$ , arise from Dirac operators on the canonical complex spinors on $M$ . We give special attention to two special classes of Kähler manifolds: Riemann surfaces and flag manifolds ( $G/T$ for $G$ a simply-connected compact semisimple Lie group and $T$ a maximal torus). For Riemann surfaces, the symplectic Dolbeault operators are elliptic and we compute their indices. In the case of flag manifolds, we will see that the representation theory of $G$ plays a role and that these operators can be used to distinguish (as Kähler manifolds) between the flag manifolds corresponding to the Lie algebras $B_n$ and $C_n$ . We give a thorough analysis of these operators on $\mathbb{C } P^1$ (the intersection of these classes of spaces), where the symplectic Dolbeault operators have an especially interesting structure.     

Geometric flows and differential Harnack estimates for heat equations with potentials

Let $M$ be a closed Riemannian manifold with a Riemannian metric $g_{ij}(t)$ evolving by a geometric flow $\partial _{t}g_{ij} = -2{S}_{ij}$ , where $S_{ij}(t)$ is a symmetric two-tensor on $(M, g(t))$ . Suppose that $S_{ij}$ satisfies the tensor inequality $2{\mathcal H}(S, X)+{\mathcal E}(S,X) \ge 0$ for all vector fields $X$ on $M$ , where ${\mathcal H}(S, X)$ and ${\mathcal E}(S,X)$ are introduced in Definition 1 below. Then, we shall prove differential Harnack estimates for positive solutions to time-dependent forward heat equations with potentials. In the case where $S_{ij} = R_{ij}$ , the Ricci tensor of $M$ , our results correspond to the results proved by Cao and Hamilton (Geom Funct Anal 19:983–989, 2009). Moreover, in the case where the Ricci flow coupled with harmonic map heat flow introduced by Müller (Ann Sci Ec Norm Super 45(4):101–142, 2012), our results derive new differential Harnack estimates. We shall also find new entropies which are monotone under the above geometric flow.     

Some questions on integral geometry on noncompact symmetric spaces of higher rank

Let $M$ be a noncompact symmetric space of higher rank. We consider two types of averages of functions: one, over level sets of the heat kernel on $M$ and the other, over geodesic spheres. We prove injectivity results for functions in $L^p$ which extend the results in Pati and Sitaram (Sankya Ser A 62:419–424, 2000).     

Linear complementarity as absolute value equation solution

We consider the linear complementarity problem (LCP): $Mz+q\ge 0, z\ge 0, z^{\prime }(Mz+q)=0$ as an absolute value equation (AVE): $(M+I)z+q=|(M-I)z+q|$ , where $M$ is an $n\times n$ square matrix and $I$ is the identity matrix. We propose a concave minimization algorithm for solving (AVE) that consists of solving a few linear programs, typically two. The algorithm was tested on 500 consecutively generated random solvable instances of the LCP with $n=10, 50, 100, 500$ and 1,000. The algorithm solved $100\,\%$ of the test problems to an accuracy of $10^{-8}$ by solving 2 or less linear programs per LCP problem.     

The complete hyper-surfaces with zero scalar curvature in \mathbb{R }^{n+1}

Let $M^n$ be a complete and noncompact hyper-surface immersed in $R^{n+1}$ . We should show that if $M$ is of finite total curvature and Ricci flat, then $M$ turns out to be a hyperplane. Meanwhile, the hyper-surfaces with the vanishing scalar curvature is also considered in this paper. It can be shown that if the total curvature is sufficiently small, then by refined Kato’s inequality, conformal flatness and flatness are equivalent in some sense. And those results should be compared with Hartman and Nirenberg’s similar results with flat curvature assumption.     

Minimal generating and normally generating sets for the braid and mapping class groups of \mathbb{D }^{2}, \mathbb S ^{2} and \mathbb{R P^2}

We consider the (pure) braid groups $B_{n}(M)$ and $P_{n}(M)$ , where $M$ is the $2$ -sphere $\mathbb S ^{2}$ or the real projective plane $\mathbb R P^2$ . We determine the minimal cardinality of (normal) generating sets $X$ of these groups, first when there is no restriction on $X$ , and secondly when $X$ consists of elements of finite order. This improves on results of Berrick and Matthey in the case of $\mathbb S ^{2}$ , and extends them in the case of $\mathbb R P^2$ . We begin by recalling the situation for the Artin braid groups ( $M=\mathbb{D }^{2}$ ). As applications of our results, we answer the corresponding questions for the associated mapping class groups, and we show that for $M=\mathbb S ^{2}$ or $\mathbb R P^2$ , the induced action of $B_n(M)$ on $H_3(\widetilde{F_n(M)};\mathbb{Z })$ is trivial, $F_{n}(M)$ being the $n^\mathrm{th}$ configuration space of $M$ .     

Evolution of spacelike surfaces in \mathrm{AdS}_3 by their Lagrangian angle

We study spacelike hypersurfaces $M$ in an anti-De Sitter spacetime $N$ of constant sectional curvature $-\kappa , \kappa >0$ that evolve by the Lagrangian angle of their Gauß maps. In the two dimensional case we prove a convergence result to a maximal spacelike surface, if the Gauß curvature $K$ of the initial surface $M\subset N$ and the sectional curvature of $N$ satisfy $|K|<\kappa $ .     

A smooth variation of Baas–Sullivan theory and positive scalar curvature

Let $M$ be a smooth closed spin (resp. oriented and totally non-spin) manifold of dimension $n\ge 5$ with fundamental group $\pi $ . It is stated, e.g. by Rosenberg and Stolz (Surv Surg Theory 2, pp. 353–370, 2001), that $M$ admits a metric of positive scalar curvature (pscm) if its orientation class in $ko_n(B\pi )$ (resp.  $H_n(B\pi ;\mathbb Z )$ ) lies in the subgroup consisting of elements which contain pscm representatives. This is $2$ -locally verified loc. cit. and by Stolz (Topology 33, pp. 159–180, 1994). After inverting $2$ it was announced that a proof would be carried out by Jung (uncompleted Ph.D. thesis), but this work has never appeared in print. The purpose of our paper is to present a self-contained proof of the statement with $2$ inverted.     

The Mellin-Edge Quantisation for Corner Operators

We establish a quantisation of corner-degenerate symbols, here called Mellin-edge quantisation, on a manifold $M$ with second order singularities. The typical ingredients come from the “most singular” stratum of $M$ which is a second order edge where the infinite transversal cone has a base $B$ that is itself a manifold with smooth edge. The resulting operator-valued amplitude functions on the second order edge are formulated purely in terms of Mellin symbols taking values in the edge algebra over $B$ . In this respect our result is formally analogous to a quantisation rule of (Osaka J. Math. 37:221–260, 2000) for the simpler case of edge-degenerate symbols that corresponds to the singularity order 1. However, from the singularity order 2 on there appear new substantial difficulties for the first time, partly caused by the edge singularities of the cone over $B$ that tend to infinity.