An official website of the United States government
We show that over an algebraically closed field of characteristic not equal to 2, homological projective duality for smooth quadric hypersurfaces and for double covers of projective spaces branched over smooth quadric hypersurfaces is a combination of two operations: one interchanges a quadric hypersurface with its classical projective dual and the other interchanges a quadric hypersurface with the double cover branched along it.
more »
« less
Topological Realizations of Line Arrangements
Abstract A venerable problem in combinatorics and geometry asks whether a given incidence relation may be realized by a configuration of points and lines. The classic version of this would ask for lines in a projective plane over a field. An important variation allows for pseudolines: embedded circles (isotopic to $$\mathbb R\rm{P}^1$$) in the real projective plane. In this article we investigate whether a configuration is realized by a collection of 2-spheres embedded, in symplectic, smooth, and topological categories, in the complex projective plane. We find obstructions to the existence of topologically locally flat spheres realizing a configuration, and show for instance that the combinatorial configuration corresponding to the projective plane over any finite field is not realized. Such obstructions are used to show that a particular contact structure on certain graph manifolds is not (strongly) symplectically fillable. We also show that a configuration of real pseudolines can be complexified to give a configuration of smooth, indeed symplectically embedded, 2-spheres.
more »
« less
- Award ID(s):
- 1811111
- PAR ID:
- 10167479
- Date Published:
- Journal Name:
- International Mathematics Research Notices
- Volume:
- 2019
- Issue:
- 8
- ISSN:
- 1073-7928
- Page Range / eLocation ID:
- 2295 to 2331
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
Abstract Given a contact structure on a manifold V together with a supporting open book decomposition, Bourgeois gave an explicit construction of a contact structure on $$V \times {\mathbb {T}}^2$$ V × T 2 . We prove that all such structures are universally tight in dimension 5, independent of whether the original contact manifold is itself tight or overtwisted. In arbitrary dimensions, we provide obstructions to the existence of strong symplectic fillings of Bourgeois manifolds. This gives a broad class of new examples of weakly but not strongly fillable contact 5-manifolds, as well as the first examples of weakly but not strongly fillable contact structures in all odd dimensions. These obstructions are particular instances of more general obstructions for $${\mathbb {S}}^1$$ S 1 -invariant contact manifolds. We also obtain a classification result in arbitrary dimensions, namely that the unit cotangent bundle of the n -torus has a unique symplectically aspherical strong filling up to diffeomorphism.more » « less
-
We study real double covers of $$\mathbb P^{1}\times \mathbb P^{2}$$ branched over a $(2,2)$-divisor, which are conic bundles with smooth quartic discriminant curve by the second projection. In each isotopy class of smooth plane quartics, we construct examples where the total space is $$\mathbb R$$-rational. For five of the six isotopy classes, we construct $$\mathbb C$$-rational examples with obstructions to rationality over $$\mathbb R$$, and for the sixth class, we show that the models we consider are all rational. Moreover, for three of the five classes with irrational members, we characterize rationality using the real locus and the intermediate Jacobian torsor obstruction of Hassett–Tschinkel and Benoist–Wittenberg. These double cover models were introduced by Frei, Sankar, Viray, Vogt, and the first author, who determined explicit descriptions for their intermediate Jacobian torsors.more » « less
-
From a handle-theoretic perspective, the simplest contractible 4-manifolds, other than the 4-ball, are Mazur manifolds. We produce the first pairs of Mazur manifolds that are homeomorphic but not diffeomorphic. Our diffeomorphism obstruction comes from our proof that the knot Floer homology concordance invariant ν is an invariant of the trace of a knot, i.e. the smooth 4-manifold obtained by attaching a 2-handle to the 4-ball along K. This provides a computable, integer-valued diffeomorphism invariant that is effective at distinguishing exotic smooth structures on knot traces and other simple 4-manifolds, including when other adjunction-type obstructions are ineffective. We also show that the concordance invariants τ and ϵ are not knot trace invariants. As a corollary to the existence of exotic Mazur manifolds, we produce integer homology 3-spheres admitting two distinct surgeries to $$S^1 \times S^2$$, resolving a question from Problem 1.16 in Kirby's list.more » « less
-
We prove that F-injectivity localizes, descends under faithfully flat homomorphisms, and ascends under flat homomorphisms with Cohen–Macaulay and geometrically F-injective fibers, all for arbitrary Noetherian rings of prime characteristic. As a consequence, we show that the F-injective locus is open on most rings arising in arithmetic and geometry. As a geometric application, we prove that over an algebraically closed field of characteristic p > 3, generic projection hypersurfaces associated to suitably embedded smooth projective varieties of dimension ≤5 are F-pure, and hence F-injective. This geometric result is the positive characteristic analogue of a theorem of Doherty.more » « less
- Free Publicly Accessible Full Text
-
Accepted Manuscript1.0
- Journal Article:
- https://doi.org/10.1093/imrn/rnx190
