Maskit combinations of Poincaré-Einstein metrics

We establish a boundary connected sum theorem for asymptotically hyperbolic Einstein metrics, and also show that if the two metrics have scalar positive conformal infinities, then the same is true for this boundary join. This construction is also extended to spaces with a finite number of interior conic singularities, and as a result we show that any 3-manifold which is a finite connected sum of quotients of S³ and S²×S¹ bounds such a space (with conic singularities); putatively, any 3-manifold admitting a metric of positive scalar curvature is of this form.     

ALE Ricci-flat K?hler metrics and deformations of quotient surface singularities

Let N₀=\mathbb C²/H{N_0={\mathbb C}^2/H} be an isolated quotient singularity with H ì U(2){H\subset U(2)} a finite subgroup. We show that for any \mathbb Q{\mathbb Q} -Gorenstein smoothings of N ₀ a nearby fiber admits ALE Ricci-flat K?hler metrics in any K?hler class. Moreover, we generalize Kronheimer’s results on hyperk?hler 4-manifolds (J Differ Geom 29(3):685–697, 1989), by giving an explicit classification of the ALE Ricci-flat K?hler surfaces. We construct ALF Ricci-flat K?hler metrics on the above non-simply connected manifolds. These provide new examples of ALF Ricci-flat K?hler 4-manifolds, with cubic volume growth and cyclic fundamental group at infinity.     

A renormalized index theorem for some complete asymptotically regular metrics: The Gauss-Bonnet theorem

We study the Gauss-Bonnet theorem as a renormalized index theorem for edge metrics. These metrics include the Poincaré-Einstein metrics of the AdS/CFT correspondence and the asymptotically cylindrical metrics of the Atiyah-Patodi-Singer index theorem. We use renormalization to make sense of the curvature integral and the dimensions of the L²-cohomology spaces as well as to carry out the heat equation proof of the index theorem. For conformally compact metrics even mod xm, we show that the finite time supertrace of the heat kernel on conformally compact manifolds renormalizes independently of the choice of special boundary defining function.     

The energy of a Kähler class on admissible manifolds

On a compact complex manifold of Kähler type, the energy E(Ω) of a Kähler class Ω is given by the squared L ²-norm of the projection onto the space of holomorphic potentials of the scalar curvature of any Kähler metric representing the said class, and any one such metric whose scalar curvature has squared L ²-norm equal to E(Ω) must be an extremal representative of Ω. A strongly extremal metric is an extremal metric representing a critical point of E(Ω) when restricted to the set of Kähler classes of fixed positive top cup product. We study the existence of strongly extremal metrics and critical points of E(Ω) on certain admissible manifolds, producing a number of nontrivial examples of manifolds that carry this type of metrics, and where in many of the cases, the class that they represent is one other than the first Chern class, and some examples of manifolds where these special metrics and classes do not exist. We also provide a detailed analysis of the gradient flow of E(Ω) on admissible ruled surfaces, show that this dynamical system can be extended to one beyond the Kähler cone, and analyze the convergence of solution paths at infinity in terms of conditions on the initial data, in particular proving that for any initial data in the Kähler cone, the corresponding path is defined for all t, and converges to a unique critical class of E(Ω) as time approaches infinity.     

Monochromatic simplices of any volume

We give a very short proof of the following result of Graham from 1980: For any finite coloring of R^d, d≥2, and for any α>0, there is a monochromatic (d+1)-tuple that spans a simplex of volume α. Our proof also yields new estimates on the number A=A(r) defined as the minimum positive value A such that, in any r-coloring of the grid points Z² of the plane, there is a monochromatic triangle of area exactly A.     

Deformations of Symplectic Cohomology and Exact Lagrangians in ALE Spaces

ALE spaces are the simply connected hyperkähler manifolds which at infinity look like ${\mathbb{C}^{2}/G}ALE spaces are the simply connected hyperk?hler manifolds which at infinity look like \mathbbC²/G{\mathbb{C}^{2}/G}, for any finite subgroup G ì SL₂(\mathbbC){G \subset SL_2(\mathbb{C})}. We prove that all exact Lagrangians inside ALE spaces must be spheres. The proof relies on showing the vanishing of a twisted version of symplectic cohomology.     

On the existence of solutions of the system of Peterson-codazzi and gauss equations

This paper is concerned with isometric embeddings of complete two-dimensional metrics, defined on the plane, whose curvature is bounded by negative constants (metrics of type L). It is proved that under certain conditions any horocycle in a metric of type L (an analog of a horocycle in the Lobachevskii plane) admits a C³-isometric embedding into E³. The proof is based on the construction of a smooth solution of the system of Peterson-Codazzi and Gauss equations in an infinite domain.     

Asymptotically Locally Euclidean Metrics with Holonomy SU(m)

Let G be a finite subgroup of U(m) such that ^m /G has an isolated singularity at 0. Let X be a resolution of ^m /G, andg a Kähler metric on X. We callg Asymptotically Locally Euclidean (ALE) if it isasymptotic in a certain way to the Euclidean metric on ^m /G. In this paper we study Ricci-flat ALE Kähler metrics on X. We show that if G SU(m) and X is a crepant resolution of ^m /G, then there is a unique Ricci-flat ALE Kähler metric in each Kählerclass. This is proved using a version of the Calabi conjecture for ALEmanifolds. We also show the metrics have holonomy SU(m).     

On the existence of almost contact structure and the contact magnetic field

We give a simple proof of the existence of an almost contact metric structure on any orientable 3-dimensional Riemannian manifold (M ³, g) with the prescribed metric g as the adapted metric of the almost contact metric structure. By using the key formula for the structure tensor obtained in the proof this theorem, we give an application which allows us to completely determine the magnetic flow of the contact magnetic field in any 3-dimensional Sasakian manifold.     

Some remarks on lengths of propositional proofs

We survey the best known lower bounds on symbols and lines in Frege and extended Frege proofs. We prove that in minimum length sequent calculus proofs, no formula is generated twice or used twice on any single branch of the proof. We prove that the number of distinct subformulas in a minimum length Frege proof is linearly bounded by the number of lines. Depthd Frege proofs ofm lines can be transformed into depthd proofs ofO(m ^d+1) symbols. We show that renaming Frege proof systems are p-equivalent to extended Frege systems. Some open problems in propositional proof length and in logical flow graphs are discussed. Supported in part by NSF grant DMS-9205181     

Local Solution and Extension to the Calabi Flow

We consider the local solution of the Calabi flow for rough initial data. In particular, we prove that for any smooth metric, there is a C ^α neighborhood such that the Calabi flow has a short time solution for any C ^α metric in the neighborhood. We also prove that on a compact Kähler surface, if the evolving metrics of the Calabi flow are all L ^∞ equivalent, then the Calabi flow exists for all time and converges to an extremal metric subsequently.     

Local monotonicity of Riemannian and Finsler volume with respect to boundary distances

We show that the volume of a simple Riemannian metric on D ⁿ is locally monotone with respect to its boundary distance function. Namely if g is a simple metric on D ⁿ and g′ is sufficiently close to g and induces boundary distances greater or equal to those of g, then vol(D ⁿ , g′) ≥ vol(D ⁿ , g). Furthermore, the same holds for Finsler metrics and the Holmes–Thompson definition of volume. As an application, we give a new proof of injectivity of the geodesic ray transform for a simple Finsler metric.     

On certain geodesic conjugacies of flat cylinders

We prove C ⁰-conjugacy rigidity of any flat cylinder among two different classes of metrics on the cylinder, namely among the class of rotationally symmetric metrics and among the class of metrics without conjugate points.     

A Note on Reflexivity

We prove some new results on Hadwin's general version of reflexivity that reduce the study of E-reflexivity (or E-hyperreflexivity) of a linear subspace to a smaller linear subspace. By applying our abstract results, we present a simple proof of D. Hadwin's theorem, which states that every C^∗-algebra is approximately hyperreflexive. We also prove that the image of any C^∗-algebra under any bounded unital homomorphism into the operators on a Banach space is approximately reflexive. We introduce a new version of reflexivity, called approximate algebraic reflexivity, and study its properties.     

On the new examples of complete noncompact Spin(7)-holonomy metrics

We construct some complete Spin(7)-holonomy Riemannian metrics on the noncompact orbifolds that are ?⁴-bundles with an arbitrary 3-Sasakian spherical fiber M. We prove the existence of the smooth metrics for M = S ⁷ and M = SU(3)/U(1) which were found earlier only numerically.     

Complete Spans on Hermitian Varieties

Let L be a general linear complex in PG(3, q) for any prime power q. We show that when GF(q) is extended to GF(q ²), the extended lines of L cover a non-singular Hermitian surface H ? H(3, q ²) of PG(3, q ²). We prove that if Sis any symplectic spread PG(3, q), then the extended lines of this spread form a complete (q ² + 1)-span of H. Several other examples of complete spans of H for small values of q are also discussed. Finally, we discuss extensions to higher dimensions, showing in particular that a similar construction produces complete (q ³ + 1)-spans of the Hermitian variety H(5, q ²).     

An intrinsic characterization of developable surfaces

We consider the classical theorem saying that if f: M → R³ is a Riemannian surface in R³ without planar points and with vanishing Gaussian curvature, then there is an open dense subset M′ of M such that around each point of M′ the surface f is a cylinder or a cone or a tangential developable. As we shall show below, the theorem, in fact, belongs to affine geometry. We give an affine proof of this theorem. The proof works in Riemannian geometry as well. We use the proof for solving the realization problem for a certain class of affine connections on 2-dimensional manifolds. In contrast with Riemannian geometry, in affine geometry, cylinders, cones as well as tangential developables can be characterized intrinsically, i.e. by means of properties of any nowhere flat induced connection. According to the characterization we distinguish three classes of affine connections on 2-dimensional manifolds, i.e. cylindric, conic and TD-connections.     

Complex Surfaces with Cat(0) Metrics

We study complex surfaces with locally CAT(0) polyhedral K?hler metrics and construct such metrics on \mathbbCP²{\mathbb{C}P^{2}} with various orbifold structures. In particular, in relation to questions of Gromov and Davis–Moussong we construct such metrics on a compact quotient of the two-dimensional unit complex ball. In the course of the proof of these results we give criteria for Sasakian 3-manifolds to be globally CAT(1). We show further that for certain Kummer coverings of \mathbbCP²{\mathbb{C}P^{2}} of sufficiently high degree their desingularizations are of type K(π, 1).     

Quasi-ALE Metrics with Holonomy SU(m) and Sp(m)

Let G be a finite subgroup of U(m),and X a resolution of ^m /G. We define aspecial class of Kähler metrics g on Xcalled Quasi Asymptotically Locally Euclidean (QALE) metrics. Thesesatisfy a complicated asymptotic condition, implying that gis asymptotic to the Euclidean metric on ^m /G away fromits singular set. When ^m /Ghas an isolated singularity,QALE metrics are just ALE metrics. Our main result is an existencetheorem for Ricci-flat QALE Kähler metrics: if G is afinite subgroup of SU(m) and X a crepant resolution of ^m /G, then there is a unique Ricci-flat QALE Kähler metric on X in each Kähler class.This is proved using a version of the Calabi conjecture for QALEmanifolds. We also determine the holonomy group of the metrics in termsof G.