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.
In @cite_14 K. Cieliebak proved that Legendrian spheres in the boundaries of certain subcritical Weinstein domains intersect some characteristic for @math at least twice.
@cite_14
2027438934 2096712060 2603883167 2041867826 2244092244 2009083582 2963327004 2150887479 2962723550 2951895579 1645016350 2472013890 2170546552 2120672285 2004255580 2028946175 2069460639 2018505968 1900583485 2613622891
Arnold conjectured that every Legendrian knot in the standard contact structure on the 3-sphere possesses a characteristic chord with respect to any contact form. I confirm this conjecture if the know has Thurston-Bennequin invariant −1. More generally, existence of chords is proved for a standard Legendrian unknot on the boundary of a subcritical Stein manifold of any dimension. There is also a multiplicity result which implies in some situations existence of infinitely many chords.¶The proof relies on the behaviour of symplectic homology under handle attaching. The main observation is that symplectic homology only changes in the presence of chords. We study holomorphic spheres in certain symplectic cobordisms and derive information about periodic Reeb orbits in the concave end of these cobordisms from the non-compactness of the relevant moduli spaces. We use this to confirm the strong Weinstein conjecture (predicting the existence of null-homologous Reeb links) for various higher-dimensional contact manifolds, including contact type hypersurfaces in subcritical Stein manifolds and in some cotangent bundles. The quantitative character of this result leads to the definition of a symplectic capacity. Let (S, fλ) be the three sphere endowed with a contact form fλ, where λ is the standard tight contact form on S and f : S → R 0 is a smooth function. Moreover let L ⊂ S be a Legendrian knot. Then V.I. Arnold raised the conjecture in 1986 that there is a characteristic chord, i.e. an orbit x of the Reeb vectorfield that intersects the knot L at two different times. Characteristic chords are important in the theory of contact homology, see [6], [5]. Very little is known about their existence or non-existence . Using a deep result by H. Hofer, K. Wysocki and E. Zehnder about the existence of a global surface of section in strictly convex hypersurfaces in R, we observe that characteristic chords exist for certain Legendrian knots in strictly convex hypersurfaces in R. We consider the relationship of the geometry of compact Riemannian manifolds with boundary to the first nonzero eigenvalue σ1 of the Dirichlet-to-Neumann map (Steklov eigenvalue). For surfaces Σ with genus γ and k boundary components we obtain the upper bound σ1L(∂Σ)⩽2(γ+k)π. For γ=0 and k=1 this result was obtained by Weinstock in 1954, and is sharp. We attempt to find the best constant in this inequality for annular surfaces (γ=0 and k=2). For rotationally symmetric metrics we show that the best constant is achieved by the induced metric on the portion of the catenoid centered at the origin which meets a sphere orthogonally and hence is a solution of the free boundary problem for the area functional in the ball. For a general class of (not necessarily rotationally symmetric) metrics on the annulus, which we call supercritical, we prove that σ1(Σ)L(∂Σ) is dominated by that of the critical catenoid with equality if and only if the annulus is conformally equivalent to the critical catenoid by a conformal transformation which is an isometry on the boundary. Motivated by the annulus case, we show that a proper submanifold of the ball is immersed by Steklov eigenfunctions if and only if it is a free boundary solution. We then prove general upper bounds for conformal metrics on manifolds of any dimension which can be properly conformally immersed into the unit ball in terms of certain conformal volume quantities. We show that these bounds are only achieved when the manifold is minimally immersed by first Steklov eigenfunctions. We also use these ideas to show that any free boundary solution in two dimensions has area at least π, and we observe that this implies the sharp isoperimetric inequality for free boundary solutions in the two-dimensional case. We show that positive @math -equivariant symplectic homology is a contact invariant for a subclass of contact manifolds which are boundaries of Liouville domains. In nice cases, when the set of Conley-Zehnder indices of all good periodic Reeb orbits on the boundary of the Liouville domain is lacunary, the positive @math -equivariant symplectic homology can be computed; it is generated by those orbits. We prove a "Viterbo functoriality" property: when one Liouville domain is embedded into an other one, there is a morphism (reversing arrows) between their positive @math -equivariant symplectic homologies and morphisms compose nicely. These properties allow us to give a proof of Ustilovsky's result on the number of non isomorphic contact structures on the spheres @math . They also give a new proof of a Theorem by Ekeland and Lasry on the minimal number of periodic Reeb orbits on some hypersurfaces in @math . We extend this result to some hypersurfaces in some negative line bundles. It is proved that, in two dimensions, the Calderon inverse conductivity problem in Lipschitz domains is stable in the @math sense when the conductivities are uniformly bounded in any fractional Sobolev space @math @math . Abstract We prove that the normalized Steklov eigenvalues of a bounded domain in a complete Riemannian manifold are bounded above in terms of the inverse of the isoperimetric ratio of the domain. Consequently, the normalized Steklov eigenvalues of a bounded domain in Euclidean space, hyperbolic space or a standard hemisphere are uniformly bounded above. On a compact surface with boundary, we obtain uniform bounds for the normalized Steklov eigenvalues in terms of the genus. We also establish a relationship between the Steklov eigenvalues of a domain and the eigenvalues of the Laplace–Beltrami operator on its boundary hypersurface. We study the pioneer points of the simple random walk on the uniform infinite planar quadrangulation (UIPQ) using an adaptation of the peeling procedure of Angel (Geom Funct Anal 13:935–974, 2003) to the quadrangulation case. Our main result is that, up to polylogarithmic factors, n 3 pioneer points have been discovered before the walk exits the ball of radius n in the UIPQ. As a result we verify the KPZ relation (Modern Phys Lett A 3:819–826, 1988) in the particular case of the pioneer exponent and prove that the walk is subdiffusive with exponent less than 1 3. Along the way, new geometric controls on the UIPQ are established. We determine set-theoretic defining equations for the variety of hypersurfaces of degree d in an N-dimensional complex vector space that have dual variety of dimension at most k. We apply these equations to the Mulmuley-Sohoni variety, the GL_ n^2 orbit closure of the determinant, showing it is an irreducible component of the variety of hypersurfaces of degree n in C^ n^2 with dual of dimension at most 2n-2. We establish additional geometric properties of the Mulmuley-Sohoni variety and prove a quadratic lower bound for the determinantal border-complexity of the permanent. We consider the non-crossing connectors problem, which is stated as follows: Given n simply connected regions R_1,...,R_n in the plane and finite point sets P_i subset of R_i for i=1,...,n, are there non-crossing connectors y_i for (R_i,P_i), i.e., arc-connected sets y_i with P_i subset of y_i subset of R_i for every i=1,...,n, such that y_i and y_j are disjoint for all i different from j? We prove that non-crossing connectors do always exist if the regions form a collection of pseudo-disks, i.e., the boundaries of every pair of regions intersect at most twice. We provide a simple polynomial-time algorithm if the regions are axis-aligned rectangles. Finally we prove that the general problem is NP-complete, even if the regions are convex, the boundaries of every pair of regions intersect at most four times and P_i consists of only two points on the boundary of R_i for i=1,...,n. Let f be a polynomial of degree n in ZZ[x_1,..,x_n], typically reducible but squarefree. From the hypersurface f=0 one may construct a number of other subschemes Y by extracting prime components, taking intersections, taking unions, and iterating this procedure. We prove that if the number of solutions to f=0 in ^n is not a multiple of p, then all these intersections in ^n_ just described are reduced. (If this holds for infinitely many p, then it holds over as well.) More specifically, there is a_Frobenius splitting_ on ^n_ compatibly splitting all these subschemes Y . We determine when a Gr "obner degeneration f_0=0 of such a hypersurface f=0 is again such a hypersurface. Under this condition, we prove that compatibly split subschemes degenerate to compatibly split subschemes, and stay reduced. Our results are strongest in the case that f's lexicographically first term is i=1 ^n x_i. Then for all large p, there is a Frobenius splitting that compatibly splits f's hypersurface and all the associated Y . The Gr "obner degeneration Y' of each such Y is a reduced union of coordinate spaces (a Stanley-Reisner scheme), and we give a result to help compute its Gr "obner basis. We exhibit an f whose associated Y include Fulton's matrix Schubert varieties, and recover much more easily the Gr "obner basis theorem of [Knutson-Miller '05]. We show that in Bott-Samelson coordinates on an opposite Bruhat cell X^v_ in G B, the f defining the complement of the big cell also has initial term i=1 ^n x_i, and hence the Kazhdan-Lusztig subvarieties X^v_ w degenerate to Stanley-Reisner schemes. This recovers, in a weak form, the main result of [Knutson '08]. The goal of this thesis is to prove that π4(S3) ≃ Z 2Z in homotopy type theory. In particular it is a constructive and purely homotopy-theoretic proof. We first recall the basic concepts of homotopy type theory, and we prove some well-known results about the homotopy groups of spheres: the computation of the homotopy groups of the circle, the triviality of those of the form πk(Sn) with k < n, and the construction of the Hopf fibration. We then move to more advanced tools. In particular, we define the James construction which allows us to prove the Freudenthal suspension theorem and the fact that there exists a natural number n such that π4(S3) ≃ Z nZ. Then we study the smash product of spheres, we construct the cohomology ring of a space, and we introduce the Hopf invariant, allowing us to narrow down the n to either 1 or 2. The Hopf invariant also allows us to prove that all the groups of the form π4n−1(S2n) are infinite. Finally we construct the Gysin exact sequence, allowing us to compute the cohomology of CP2 and to prove that π4(S3) ≃ Z 2Z and that more generally πn+1(Sn) ≃ Z 2Z for every n ≥ 3 Mulmuley [Mul12a] recently gave an explicit version of Noether’s Normalization lemma for ring of invariants of matrices under simultaneous conjugation, under the conjecture that there are deterministic black-box algorithms for polynomial identity testing (PIT). He argued that this gives evidence that constructing such algorithms for PIT is beyond current techniques. In this work, we show this is not the case. That is, we improve Mulmuley’s reduction and correspondingly weaken the conjecture regarding PIT needed to give explicit Noether Normalization. We then observe that the weaker conjecture has recently been nearly settled by the authors ([FS12]), who gave quasipolynomial size hitting sets for the class of read-once oblivious algebraic branching programs (ROABPs). This gives the desired explicit Noether Normalization unconditionally, up to quasipolynomial factors. As a consequence of our proof we give a deterministic parallel polynomial-time algorithm for deciding if two matrix tuples have intersecting orbit closures, under simultaneous conjugation. We also study the strength of conjectures that Mulmuley requires to obtain similar results as ours. We prove that his conjectures are stronger, in the sense that the computational model he needs PIT algorithms for is equivalent to the well-known algebraic branching program (ABP) model, which is provably stronger than the ROABP model. Finally, we consider the depth-3 diagonal circuit model as defined by Saxena [Sax08], as PIT algorithms for this model also have implications in Mulmuley’s work. Previous work (such as [ASS12] and [FS12]) have given quasipolynomial size hitting sets for this model. In this work, we give a much simpler construction of such hitting sets, using techniques of Shpilka and Volkovich [SV09]. We study the expected topological properties of Cech and Vietoris–Rips complexes built on random points in ℝd . We find higher-dimensional analogues of known results for connectivity and component counts for random geometric graphs. However, higher homology H k is not monotone when k>0. In particular, for every k>0, we exhibit two thresholds, one where homology passes from vanishing to nonvanishing, and another where it passes back to vanishing. We give asymptotic formulas for the expectation of the Betti numbers in the sparser regimes, and bounds in the denser regimes. This paper contains a proof of a conjecture of Braverman concerning Laumon quasiflag spaces. We consider the generating function Z(m), whose coefficients are the integrals of the equivariant Chern polynomial (with variable m) of the tangent bundles of the Laumon spaces. We prove Braverman’s conjecture, which states that Z(m) coincides with the eigenfunction of the Calogero-Sutherland hamiltonian, up to a simple factor which we specify. This conjecture was inspired by the work of Nekrasov in the affine ( sl _ n ) setting, where a similar conjecture is still open. The k-Young lattice Yk is a partial order on partitons with no part larger than k. This weak subposet of the Young lattice originated (Duke Math. J. 116 (2003) 103-146) from the study of the k-Schur functions sλ(k), Symmetric functions that from a natural basis of the space spanned by homogeneous funtions indexed by k-bounded partitions. The chains in the k-Young lattice are induced by a Pieritype rule experimentally satisfied by the k-Schur functions. Here, using a natural bijection between k-bounded partitons and k + 1-cores, we establish an algorithm for identifying chains in the k- Young lattice with certain tableaux on k + 1 cores. This algorithm reveals that the k-Young lattice is isomorphic to the weak order on the quotient of the affine symmetric gruop S˜k+1 by a maximal parabolic subgruop. From this, the conjectured k-Pieri rule implies that the k-Kostka matrix connecting the homogeneous basis hλ λ∈Yk to sλ(k) λ∈Yk may now be obtained by counting appropriate classes of tableaux on k + 1-cores. This suggests that the conjecturally positive k-Schur expansion coefficients for Macdonald polynomials (reducing to q, t-Kostka polynomials for large k) could be described by a q, t-statistic on these tableaux, or equivalently on reduced words for affine permutations. In this paper, we find upper bounds for the eigenvalues of the Laplacian in the conformal class of a compact Riemannian manifold (M,g). These upper bounds depend only on the dimension and a conformal invariant that we call “min-conformal volume”. Asymptotically, these bounds are consistent with the Weyl law and improve previous results by Korevaar and Yang and Yau. The proof relies on the construction of a suitable family of disjoint domains providing supports for a family of test functions. This method is interesting for itself and powerful. As a further application of the method we obtain an upper bound for the eigenvalues of the Steklov problem in a domain with C1 boundary in a complete Riemannian manifold in terms of the isoperimetric ratio of the domain and the conformal invariant that we introduce. We study the wall-crossing phenomena of D4-D2-D0 bound states with two units of D4-branechargeontheresolvedconifold. We identify the walls of marginal stability and evaluate the discrete changes of the BPS indices by using the Kontsevich-Soibelman wall-crossing formula. In particular, we find that the field theories on D4-branes in two large radius limits are properly connected by the wall-crossings involving the flop transition of the conifold. We also find that in one of the large radius limits there are stable bound states of two D4-D2-D0 fragments. Given a metric space X and a distance threshold r>0, the Vietoris-Rips simplicial complex has as its simplices the finite subsets of X of diameter less than r. A theorem of Jean-Claude Hausmann states that if X is a Riemannian manifold and r is sufficiently small, then the Vietoris-Rips complex is homotopy equivalent to the original manifold. Little is known about the behavior of Vietoris-Rips complexes for larger values of r, even though these complexes arise naturally in applications using persistent homology. We show that as r increases, the Vietoris-Rips complex of the circle obtains the homotopy types of the circle, the 3-sphere, the 5-sphere, the 7-sphere, ..., until finally it is contractible. As our main tool we introduce a directed graph invariant, the winding fraction, which in some sense is dual to the circular chromatic number. Using the winding fraction we classify the homotopy types of the Vietoris-Rips complex of an arbitrary (possibly infinite) subset of the circle, and we study the expected homotopy type of the Vietoris-Rips complex of a uniformly random sample from the circle. Moreover, we show that as the distance parameter increases, the ambient Cech complex of the circle also obtains the homotopy types of the circle, the 3-sphere, the 5-sphere, the 7-sphere, ..., until finally it is contractible. 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.