An official website of the United States government
Given a smooth quasi-projective complex algebraic variety $$\mathcal{S}$$, we prove that there are only finitely many Hodge-generic non-isotrivial families of smooth projective hypersurfaces over $$\mathcal{S}$$ of degree $$d$$ in $$\mathbb{P}_{\mathbb C}^{n+1}$$. We prove that the finiteness is uniform in $$\mathcal{S}$$ and give examples where the result is sharp. We also prove similar results for certain complete intersections in $$\mathbb{P}_{\mathbb C}^{n+1}$$ of higher codimension and more generally for algebraic varieties whose moduli space admits a period map that satisfies the infinitesimal Torelli theorem.
more »
« less
Bertini theorems for differential algebraic geometry
We study intersection theory for differential algebraic varieties. Particularly, we study families of differential hypersurface sections of arbitrary affine differential algebraic varieties over a differential field. We prove the differential analogue of Bertini’s theorem, namely that for an arbitrary geometrically irreducible differential algebraic variety which is not an algebraic curve, generic hypersurface sections are geometrically irreducible and codimension one. Surprisingly, we prove a stronger result in the case that the order of the differential hypersurface is at least one; namely that the generic differential hypersurface sections of an irreducible differential algebraic variety are irreducible and codimension one. We also calculate the Kolchin polynomials of the intersections and prove several other results regarding intersections of differential algebraic varieties.
more »
« less
- Award ID(s):
- 1945251
- PAR ID:
- 10505108
- Publisher / Repository:
- American Mathematical Society
- Date Published:
- Journal Name:
- Proceedings of the American Mathematical Society
- Volume:
- 152
- Issue:
- 775
- ISSN:
- 0002-9939
- Page Range / eLocation ID:
- 375 to 390
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
Abstract We study integral points on varieties with infinite étale fundamental groups. More precisely, for a number field $$F$$ and $X/F$ a smooth projective variety, we prove that for any geometrically Galois cover $$\varphi \colon Y \to X$$ of degree at least $$2\dim (X)^{2}$$, there exists an ample line bundle $$\mathscr{L}$$ on $$Y$$ such that for a general member $$D$$ of the complete linear system $$|\mathscr{L}|$$, $$D$$ is geometrically irreducible and any set of $$\varphi (D)$$-integral points on $$X$$ is finite. We apply this result to varieties with infinite étale fundamental group to give new examples of irreducible, ample divisors on varieties for which finiteness of integral points is provable.more » « less
-
Abstract We show that the tropicalization of an irreducibled-dimensional variety over a field of characteristic 0 is$$(d-\ell )$$ -connected through codimension one, where$$\ell $$ is the dimension of the lineality space of the tropicalization. From this we obtain a higher connectivity result for skeleta of rational polytopes. We also prove a tropical analogue of the Bertini Theorem: the intersection of the tropicalization of an irreducible variety with a generic hyperplane is again the tropicalization of an irreducible variety.more » « less
-
Abstract We study the supersingular locus of a reduction at an inert prime of the Shimura variety attached to$$\textrm{GU}(2,n-2)$$ . More concretely, we realize irreducible components of the supersingular locus as closed subschemes of flag schemes over Deligne–Lusztig varieties defined by explicit conditions after taking perfections. Moreover, we study the intersections of the irreducible components. Stratifications of Deligne–Lusztig varieties defined using powers of Frobenius action appear in the description of the intersections.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.1090/proc/13588
