MathSciDoc: An Archive for Mathematician ∫

We describe a notion of ampleness for line bundles on orbifolds with cyclic quotient singularities that is related to embeddings in weighted projective space, and prove a global asymptotic expansion for a weighted Bergman kernel associated to such a line bundle.

We embed polarised orbifolds with cyclic stabiliser groups into weighted projective space via a weighted form of Kodaira embedding. Dividing by the (non-reductive) automorphisms of weighted projective space then formally gives a moduli space of orbifolds. We show how to express this as a reductive quotient and so a GIT problem, thus defining a notion of stability for orbifolds. We then prove an orbifold version of Donaldson’s theorem: the existence of an orbifold K¨ahler metric of constant scalar curvature implies K-semistability. By extending the notion of slope stability to orbifolds, we therefore get an explicit obstruction to the existence of constant scalar curvature orbifold K¨ahler metrics. We describe the manifold applications of this orbifold result, and show how many previously known results (Troyanov, Ghigi-Koll´ar, Rollin-Singer, the AdSCFT Sasaki-Einstein obstructions of Gauntlett-Martelli-Sparks-Yau) fit into this framework.

We show that the attenuated geodesic ray transform on two dimensional simple surfaces is injective. Moreover, we give a stability estimate and develop a reconstruction procedure.

We study the action of the group of contact diffeomorphisms on CR deformations of compact three dimensional CR manifolds. Using anisotropic function spaces and an anisotropic structure on the space of contact diffeomorphisms, we establish the existence of local transverse slices to the action of the contact diffeomorphism group in the neighborhood of a fixed embeddable strongly pseudoconvex CR structure.

Define a “Liouville domain” to be a compact exact symplectic manifold with contact-type boundary. We use embedded contact homology to assign to each four-dimensional Liouville domain (or subset thereof) a sequence of real numbers, which we call “ECH capacities”. The ECH capacities of a Liouville domain are defined in terms of the “ECH spectrum” of its boundary, which measures the amount of symplectic action needed to represent certain classes in embedded contact homology. Using cobordism maps on embedded contact homology (defined in joint work with Taubes), we show that the ECH capacities are monotone with respect to symplectic embeddings. We compute the ECH capacities of ellipsoids, polydisks, certain subsets of the cotangent bundle of T 2, and disjoint unions of examples for which the ECH capacities are known. The resulting symplectic embedding obstructions are sharp in some interesting cases, for example for the problem of embedding an ellipsoid into a ball (as shown by McDuff-Schlenk) or embedding a disjoint union of balls into a ball. We also state and present evidence for a conjecture under which the asymptotics of the ECH capacities of a Liouville domain recover its symplectic volume.

We show that for every simple closed curve , the extremal length and the hyperbolic length of  are quasi-convex functions along any Teichm¨uller geodesic. As a corollary, we conclude that, in Teichm¨uller space equipped with the Teichm¨uller metric, balls are quasi-convex.

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.

We introduce a gauge-theoretic integer valued lift of the Rohlin invariant of a smooth 4-manifold X with the homology of S1×S3. The invariant has two terms: one is a count of solutions to the Seiberg–Witten equations on X, and the other is essentially the index of the Dirac operator on a non-compact manifold with end modeled on the infinite cyclic cover of X. Each term is metric (and perturbation) dependent, and we show that these dependencies cancel as the metric and perturbation vary in a generic 1-parameter family.

In this paper, we prove a scalar curvature rigidity result for geodesic balls in Sn. This result contrasts sharply with the counterexamples to Min-Oo’s conjecture constructed in [7].

In this paper we study the Dirichlet problem for fully nonlinear second-order equations on a riemannian manifold. As in our previous paper [HL4], we define equations via closed subsets of the 2-jet bundle where each equation has a natural dual equation. Basic existence and uniqueness theorems are established in a wide variety of settings. However, the emphasis is on starting with a constant coefficient equation as a model, which then universally determines an equation on every riemannian manifold which is equipped with a topological reduction of the structure group to the invariance group of the model. For example, this covers all branches of the homogeneous complex Monge-Amp`ere equation on an almost complex hermitian manifold X. In general, for an equation F on a manifold X and a smooth domain  X, we give geometric conditions which imply that the Dirichlet problem on is uniquely solvable for all continuous boundary functions. We begin by introducing a weakened form of comparison which has the advantage that local implies global. We then introduce two fundamental concepts. The first is the notion of a monotonicity cone M for F. If X carries a global Msubharmonic function, then weak comparison implies full comparison. The second notion is that of boundary F-convexity, which is defined in terms of the asymptotics of F and is used to define barriers. In combining these notions the Dirichlet problem becomes uniquely solvable as claimed. This article also introduces the notion of local affine jet-equivalence for subequations. It is used in treating the cases above, but gives results for a much broader spectrum of equations on manifolds, including inhomogeneous equations and the Calabi-Yau equation on almost complex hermitian manifolds. A considerable portion of the paper is concerned with specific examples. They include a wide variety of equations which make sense on any riemannian manifold, and many which hold universally on almost complex or quaternionic hermitian manifolds, or topologically calibrated manifolds.