Let @math be a contact form on a manifold @math , and @math a closed Legendrian submanifold. I prove that @math intersects some characteristic for @math at least twice if all characteristics are closed and of the same period, and @math embeds nicely into the product of @math and an exact symplectic manifold. As an application of the method of proof, the minimal action of a regular closed coisotropic submanifold of complex projective space is at most @math . This yields an obstruction to presymplectic embeddings, and in particular to Lagrangian embeddings.
As explained in @cite_20 after Corollary 1.13, it follows that there exists no exact Lagrangian embedding into @math of a closed manifold @math of nonpositive curvature. (Corollary is a stabilized version of this without the nonpositive curvature assumption.)
@cite_20
2964237766 1945101555 2219763529 2015059094 1970564715 2083308781 2079630523 2467441529 1986537307 2613622891 1966351146 2075022748 2065030580 2117728641 2103138450 1421680552 2110335812 1893146140 2067534086 2099367821
Given a closed orientable Lagrangian surface L in a closed symplectic four-manifold X together with a relative homology class d in H_2 (X , L ; Z) with vanishing boundary in H_1 (L ; Z), we prove that the algebraic number of J-holomorphic discs with boundary on L, homologous to d and passing through the adequate number of points neither depends on the choice of the points nor on the generic choice of the almost-complex structure J. We furthermore get analogous open Gromov-Witten invariants by counting, for every non-negative integer k, unions of k discs instead of single discs. Let @math be a smooth scheme over an algebraically closed field @math of characteristic zero and @math a regular function, and write @math Crit @math , as a closed subscheme of @math . The motivic vanishing cycle @math is an element of the @math -equivariant motivic Grothendieck ring @math defined by Denef and Loeser math.AG 0006050 and Looijenga math.AG 0006220, and used in Kontsevich and Soibelman's theory of motivic Donaldson-Thomas invariants, arXiv:0811.2435. We prove three main results: (a) @math depends only on the third-order thickenings @math of @math . (b) If @math is another smooth scheme, @math is regular, @math Crit @math , and @math is an embedding with @math and @math an isomorphism, then @math equals @math "twisted" by a motive associated to a principal @math -bundle defined using @math , where now we work in a quotient ring @math of @math . (c) If @math is an "oriented algebraic d-critical locus" in the sense of Joyce arXiv:1304.4508, there is a natural motive @math , such that if @math is locally modelled on Crit @math , then @math is locally modelled on @math . Using results from arXiv:1305.6302, these imply the existence of natural motives on moduli schemes of coherent sheaves on a Calabi-Yau 3-fold equipped with "orientation data", as required in Kontsevich and Soibelman's motivic Donaldson-Thomas theory arXiv:0811.2435, and on intersections of oriented Lagrangians in an algebraic symplectic manifold. This paper is an analogue for motives of results on perverse sheaves of vanishing cycles proved in arXiv:1211.3259. We extend this paper to Artin stacks in arXiv:1312.0090. We set up an algebraic framework for the study of pseudoholomorphic discs bounding nonorientable Lagrangians, as well as equivariant extensions of such structures arising from a torus action. First, we define unital cyclic twisted @math algebras and prove some basic results about them, including a homological perturbation lemma which allows one to construct minimal models of such algebras. We then construct an equivariant extension of @math algebras which are invariant under a torus action on the underlying complex. Finally, we construct a homotopy retraction of the Cartan-Weil complex to equivariant cohomology, which allows us to construct minimal models for equivariant cyclic twisted @math algebras. In a forthcoming paper we will use these results to define and obtain fixed-point expressions for the open Gromov-Witten theory of @math , as well as its equivariant extension. Let (L ) be a closed orientable Lagrangian submanifold of a closed symplectic six-manifold ((X , ) ). We assume that the first homology group (H_1 (L ; A) ) with coefficients in a commutative ring (A ) injects into the group (H_1 (X ; A) ) and that (X ) contains no Maslov zero pseudo-holomorphic disc with boundary on (L ). Then, we prove that for every generic choice of a tame almost-complex structure (J ) on (X ), every relative homology class (d H_2 (X , L ; Z ) ) and adequate number of incidence conditions in (L ) or (X ), the weighted number of (J )-holomorphic discs with boundary on (L ), homologous to (d ), and either irreducible or reducible disconnected, which satisfy the conditions, does not depend on the generic choice of (J ), provided that at least one incidence condition lies in (L ). These numbers thus define open Gromov–Witten invariants in dimension six, taking values in the ring (A ). We present a monotonic expression for the Ricci flow, valid in all dimensions and without curvature assumptions. It is interpreted as an entropy for a certain canonical ensemble. Several geometric applications are given. In particular, (1) Ricci flow, considered on the space of riemannian metrics modulo diffeomorphism and scaling, has no nontrivial periodic orbits (that is, other than fixed points); (2) In a region, where singularity is forming in finite time, the injectivity radius is controlled by the curvature; (3) Ricci flow can not quickly turn an almost euclidean region into a very curved one, no matter what happens far away. We also verify several assertions related to Richard Hamilton's program for the proof of Thurston geometrization conjecture for closed three-manifolds, and give a sketch of an eclectic proof of this conjecture, making use of earlier results on collapsing with local lower curvature bound. Let @math be a geometrically bounded symplectic manifold, @math be a closed, regular coisotropic submanifold, and @math be a Hamiltonian diffeomorphism. The main result of this article is that the number of leafwise fixed points of @math is bounded below by the sum of the Betti numbers of @math , provided that the Hofer distance between @math and the identity is small enough and the pair @math is non-degenerate. As an application, I prove a presymplectic non-embedding result. A version of the Arnold-Givental conjecture for coisotropic submanifolds is also discussed. Let be a complete Riemannian manifold and a probability measure on . Assume . We derive a new bound (in terms of , the injectivity radius of and an upper bound on the sectional curvatures of ) on the radius of a ball containing the support of which ensures existence and uniqueness of the global Riemannian center of mass with respect to . A significant consequence of our result is that under the best available existence and uniqueness conditions for the so-called local'' center of mass, the global and local centers coincide. In our derivation we also give an alternative proof for a uniqueness result by W. S. Kendall. As another contribution, we show that for a discrete probability measure on , under the existence and uniqueness conditions, the (global) center of mass belongs to the closure of the convex hull of the masses. We also give a refined result when is of constant curvature. Given a non-convex twice differentiable cost function f , we prove that the set of initial conditions so that gradient descent converges to saddle points where ∇f has at least one strictly negative eigenvalue has (Lebesgue) measure zero, even for cost functions f with non-isolated critical points, answering an open question in [12]. Moreover, this result extends to forward-invariant convex subspaces, allowing for weak (non-globally Lipschitz) smoothness assumptions. Finally, we produce an upper bound on the allowable step-size. We show that for every closed Riemannian manifold X there exists a positive number¶ ( > 0 ) such that for all 0 0 ) such that for every metric space Y with Gromov-Hausdorff distance to X less than¶ ( ) the geometric ( )-complex ( |Y_ | ) is homotopy equivalent to X.¶ In particular, this gives a positive answer to a question of Hausmann [4]. Using the Minimal Model Program, any degeneration of K-trivial varieties can be arranged to be in a Kulikov type form, i.e. with trivial relative canonical divisor and mild singularities. In the hyper-K "ahler setting, we can then deduce a finiteness statement for monodromy acting on @math , once one knows that one component of the central fiber is not uniruled. Independently of this, using deep results from the geometry of hyper-K "ahler manifolds, we prove that a finite monodromy projective degeneration of hyper-K "ahler manifolds has a smooth filling (after base change and birational modifications). As a consequence of these two results, we prove a generalization of Huybrechts' theorem about birational versus deformation equivalence, allowing singular central fibers. As an application, we give simple proofs for the deformation type of certain geometric constructions of hyper-K "ahler manifolds (e.g. Debarre--Voisin or Laza--Sacc a--Voisin). In a slightly different direction, we establish some basic properties (dimension and rational homology type) for the dual complex of a Kulikov type degeneration of hyper-K "ahler manifolds. We consider tensor powers L N of a positive Hermitian line bundle (L,h L ) over a non-compact complex manifold X. In the compact case, B. Shiffman and S. Zelditch proved that the zeros of random sections become asymptotically uniformly distributed as N→∞ with respect to the natural measure coming from the curvature of L. Under certain boundedness assumptions on the curvature of the canonical line bundle of X and on the Chern form of L we prove a non-compact version of this result. We give various applications, including the limiting distribution of zeros of cusp forms with respect to the principal congruence subgroups of SL 2(ℤ) and to the hyperbolic measure, the higher dimensional case of arithmetic quotients and the case of orthogonal polynomials with weights at infinity. We also give estimates for the speed of convergence of the currents of integration on the zero-divisors. We devise a new embedding technique, which we call measured descent, based on decomposing a metric space locally, at varying speeds, according to the density of some probability measure. This provides a refined and unified framework for the two primary methods of constructing Frechet embeddings for finite metrics, due to Bourgain (1985) and Rao (1999). We prove that any n-point metric space (X, d) embeds in Hilbert space with distortion (O ( _ X n ) , ) where α X is a geometric estimate on the decomposability of X. As an immediate corollary, we obtain an (O ( ( _ X ) n ) ) distortion embedding, where λ X is the doubling constant of X. Since λ X ≤ n, this result recovers Bourgain’s theorem, but when the metric X is, in a sense, “low-dimensional,” improved bounds are achieved. In this paper we obtain new topological restrictions on Lagrangian embeddings into subcritical Stein manifolds. We also extend previous results of Gromov, Oh, Polterovich and Viterbo on Lagrangian submanifolds of ℂ n to the more general case of subcritical Stein manifolds. Let M be a closed three-dimensional manifold with contact form λ so that Ker λ is tight. In this paper, we will present a first application of the filling method by pseudoholomorphic curves recently developed by the author. We will show that Legendrian knots L ⊂ M satisfying suitable assumptions admit a Reeb Chord, that is, there is a trajectory x(t) of the Reeb vector field and T > 0 such that x(0),x(T) ∈ L and x(0) ≠ x(T). This book consists of two independent works: Part I is 'Solutions of the Einstein Vacuum Equations', by Lydia Bieri. Part II is 'Solutions of the Einstein-Maxwell Equations', by Nina Zipser. A famous result of Christodoulou and Klainerman is the global nonlinear stability of Minkowski spacetime. In this book, Bieri and Zipser provide two extensions to this result. In the first part, Bieri solves the Cauchy problem for the Einstein vacuum equations with more general, asymptotically flat initial data, and describes precisely the asymptotic behavior. In particular, she assumes less decay in the power of @math and one less derivative than in the Christodoulou-Klainerman result. She proves that in this case, too, the initial data, being globally close to the trivial data, yields a solution which is a complete spacetime, tending to the Minkowski spacetime at infinity along any geodesic. In contrast to the original situation, certain estimates in this proof are borderline in view of decay, indicating that the conditions in the main theorem on the decay at infinity on the initial data are sharp. In the second part, Zipser proves the existence of smooth, global solutions to the Einstein-Maxwell equations. A nontrivial solution of these equations is a curved spacetime with an electromagnetic field. To prove the existence of solutions to the Einstein-Maxwell equations, Zipser follows the argument and methodology introduced by Christodoulou and Klainerman. To generalize the original results, she needs to contend with the additional curvature terms that arise due to the presence of the electromagnetic field @math ; in her case the Ricci curvature of the spacetime is not identically zero but rather represented by a quadratic in the components of @math . In particular the Ricci curvature is a constant multiple of the stress-energy tensor for @math . Furthermore, the traceless part of the Riemann curvature tensor no longer satisfies the homogeneous Bianchi equations but rather inhomogeneous equations including components of the spacetime Ricci curvature. Therefore, the second part of this book focuses primarily on the derivation of estimates for the new terms that arise due to the presence of the electromagnetic field. We use a neck stretching argument for holomorphic curves to produce symplectic disks of small area and Maslov class with boundary on Lagrangian submanifolds of nonpositive curvature. Applications include the proof of Audin's conjecture on the Maslov class of Lagrangian tori in linear symplectic space, the construction of a new symplectic capacity, obstructions to Lagrangian embeddings into uniruled symplectic manifolds, a quantitative version of Arnold's chord conjecture, and estimates on the size of Weinstein neighbourhoods. The main technical ingredient is transversality for the relevant moduli spaces of punctured holomorphic curves with tangency conditions. We apply the method of filling with holomorphic discs to a 4-dimensional sym- plectic cobordism with the standard contact 3-sphere as one convex boundary component. We establish the following dichotomy: either the cobordism is diffeomorphic to a ball, or there is a periodic Reeb orbit of quantifiably short period in the concave boundary of the cobordism. This allows us to give a unified treatment of various results concerning Reeb dy- namics on contact 3-manifolds, symplectic fillability, the topology of symplectic cobordisms, symplectic nonsqueezing, and the nonexistence of exact Lagrangian surfaces in standard symplectic 4-space. This is the second in a series of papers in which we derive a @math -expansion for the two-dimensional non-local Ginzburg-Landau energy with Coulomb repulsion known as the Ohta-Kawasaki model in connection with diblock copolymer systems. In this model, two phases appear, which interact via a nonlocal Coulomb type energy. Here we focus on the sharp interface version of this energy in the regime where one of the phases has very small volume fraction, thus creating small "droplets" of the minority phase in a "sea" of the majority phase. In our previous paper, we computed the @math -limit of the leading order energy, which yields the averaged behavior for almost minimizers, namely that the density of droplets should be uniform. Here we go to the next order and derive a next order @math -limit energy, which is exactly the Coulombian renormalized energy obtained by Sandier and Serfaty as a limiting interaction energy for vortices in the magnetic Ginzburg-Landau model. The derivation is based on the abstract scheme of Sandier-Serfaty that serves to obtain lower bounds for 2-scale energies and express them through some probabilities on patterns via the multiparameter ergodic theorem. Without thus appealing to the Euler-Lagrange equation, we establish for all configurations which have "almost minimal energy" the asymptotic roundness and radius of the droplets, and the fact that they asymptotically shrink to points whose arrangement minimizes the renormalized energy in some averaged sense. Via a kind of @math -equivalence, the obtained results also yield an expansion of the minimal energy for the original Ohta-Kawasaki energy. This leads to expecting to see triangular lattices of droplets as energy minimizers. Let (Mn, g) be a compact Riemannian manifold with boundary and dimensionn⩾2. In this paper we discuss the first non-zero eigenvalue problem (1) Problem (1) is known as the Stekloff problem because it was introduced by him in 1902, for bounded domains of the plane. We discuss estimates of the eigenvalueν1in terms of the geometry of the manifold (Mn, g). In the two-dimensional case we generalize Payne's Theorem [P] for bounded domains in the plane to non-negative curvature manifolds. In this case we show thatν1⩾k0, wherekg⩾k0andkgrepresents the geodesic curvature of the boundary. In higher dimensionsn⩾3 for non-negative Ricci curvature manifolds we show thatν1>k0 2, wherek0is a lower bound for any eigenvalue of the second fundamental form of the boundary. We introduce an isoperimetric constant and prove a Cheeger's type inequality for the Stekloff eigenvalue. We define a new notion of total curvature, called net total curvature, for finite graphs embedded inR n , and investigate its properties. Two guiding principles ar e given by Milnor's way of measuring the local crookedness of a Jorda n curve via a Crofton-type formula, and by considering the double cover of a given graph as an Eulerian circuit. The strength of combining these ideas in defining the curvature f unctional is (1) it allows us to interpret the singular non-eulidean behavior at the vertices of the graph as a superposition of vertices of a 1-dimensional manifold, and thus (2) one can compute the total curva- ture for a wide range of graphs by contrasting local and global properties of the graph utilizing the integral geometric representation of the cur vature. A collection of results on upper lower bounds of the total curvature on isotopy homeomorphism classes of embed- dings is presented, which in turn demonstrates the effectiveness of net total curvature as a new functional measuring complexity of spatial graphs in differential-geometric terms.