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
- 
            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
- 
            Finite $$F$$-representation type is an important notion in characteristic-$$p$$commutative algebra, but explicit examples of varieties with or without thisproperty are few. We prove that a large class of homogeneous coordinate ringsin positive characteristic will fail to have finite $$F$$-representation type. Todo so, we prove a connection between differential operators on the homogeneouscoordinate ring of $$X$$ and the existence of global sections of a twist of$$(\mathrm{Sym}^m \Omega_X)^\vee$$. By results of Takagi and Takahashi, thisallows us to rule out FFRT for coordinate rings of varieties with$$(\mathrm{Sym}^m \Omega_X)^\vee$$ not ``positive''. By using results positivityand semistability conditions for the (co)tangent sheaves, we show that severalclasses of varieties fail to have finite $$F$$-representation type, includingabelian varieties, most Calabi--Yau varieties, and complete intersections ofgeneral type. Our work also provides examples of the structure of the ring ofdifferential operators for non-$$F$$-pure varieties, which to this point havelargely been unexplored.more » « less
 An official website of the United States government
An official website of the United States government 
				
			 
					 
					
 
                                    