We define analytic torsion (X, E,H) 2 detH•(X, E,H) for the twisted de Rham complex, consisting of the spaces of differential forms on a compact oriented Riemannian manifold X valued in a flat vector bundle E, with a differential given by rE + H ^ · , where rE is a flat connection on E, H is an odd-degree closed differential form on X, and H•(X, E,H) denotes the cohomology of this Z2-graded complex. The definition uses pseudodifferential operators and residue traces. We show that when dimX is odd, (X, E,H) is independent of the choice of metrics on X and E and of the representative H in the cohomology class [H]. We define twisted analytic torsion in the context of generalized geometry and show that when H is a 3-form, the deformation H 7! H−dB, where B is a 2-form on X, is equivalent to deforming a usual metric g to a generalized metric (g,B). We demonstrate some basic functorial properties. When H is a top-degree form, we compute the torsion, define its simplicial counterpart, and prove an analogue of the Cheeger-M¨uller Theorem. We also study the twisted analytic torsion for T -dual circle bundles with integral 3- form fluxes.

In this paper, we sketch the proof of the extension of the stability theorem of the Minkowski space in General Relativity done explicitly in [6] and [7]. We discuss solutions of the Einstein vacuum (EV) equations (obtained in the author’s Ph.D. thesis ([6]) in 2007). We solve the Cauchy problem for more general, asymptotically flat initial data than in the pioneering work of D. Christodoulou and S. Klainerman [21] or than in any other work. Moreover, we describe precisely the asymptotic behavior. Our relaxed assumptions on the initial data yield a spacetime curvature which is not bounded in L1(M). As a major result, we encounter in our work borderline cases, which we discuss in this paper as well. The fact that certain of our estimates are borderline in view of decay indicates that the conditions in our main theorem are sharp in so far as the assumptions on the decay at infinity on the initial data are concerned. Thus, the borderline cases are a consequence of our relaxed assumptions on the data, [6, 7]. They are not present in the other works, as all of them place stronger assumptions on their data. We work with an invariant formulation of the EV equations. Our main proof is based on a bootstrap argument. To close the argument, we have to show that the spacetime curvature and the corresponding geometrical quantities have the required decay. In order to do so, the Einstein equations are decomposed with respect to specific foliations of the spacetime. This result generalizes the work of D. Christodoulou and S. Klainerman [21].

Continuing our previous work (arXiv:1509.07981v1), we derive another global gradient estimate for positive functions, particularly for positive solutions to the heat equation on finite or locally finite graphs. In general, the gradient estimate in the present paper is independent of our previous one. As applications, it can be used to get an upper bound and a lower bound of the heat kernel on locally finite graphs. These global gradient estimates can be compared with the Li–Yau inequality on graphs contributed by Bauer et al. [J. Differential Geom., 99, 359–409 (2015)]. In many topics, such as eigenvalue estimate and heat kernel estimate (not including the Liouville type theorems), replacing the Li–Yau inequality by the global gradient estimate, we can get similar results.

We obtain an estimate for the volumes of neighborhoods of sets of large curvature in three-dimensional K¨ahler-Einstein manifolds. The key technical step is to prove that a version of monotonicity for L2 energy holds as long as the underlying region does not “carry homology” (in the sense that the normalized energy in a ball controls the normalized energy in an interior ball).

Motivated by the possible characterization of Sasakian manifolds in terms of twistor forms, we give the complete classification of compact Riemannian manifolds carrying a Killing vector field whose covariant derivative (viewed as a 2–form) is a twistor form.