Pith. sign in

REVIEW 2 cited by

Bertini theorems for hypersurface sections containing a subscheme over finite fields

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1611.09092 v1 pith:6EFX4OAK submitted 2016-11-28 math.NT

classification math.NT
keywords bertinifinitehypersurfaceconditiondimensionfieldschemessmooth
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

We show the existence of a hypersurface that contains a given closed subscheme of a projective space over a finite field and intersects a smooth quasi-projective scheme smoothly, under some condition on the dimension. This generalizes a Bertini theorem by Poonen and is the finite field analogue of a Bertini theorem by Altman and Kleiman. Furthermore, we add the possibility of modifying finitely many local conditions of the hypersurface. We show that the condition on the dimension is fulfilled for schemes with simple normal crossings and give an application to embeddings into smooth schemes.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Frobenius-orbit slicing and uniform elimination of positive-dimensional singular loci

    math.AG 2026-08 conditional novelty 8.0 of 10

    Random hypersurface sections over finite fields are shown to avoid positive-dimensional singular loci with probability at least 1 - O((d+1)^r p^{-ceil(d/2)}), proving Poonen's arithmetic Bertini conjecture.

  2. Bertini theorems for Hilbert-Samuel multiplicity over finite fields

    math.AG 2026-06 unverdicted novelty 6.0 of 10

    Proves existence of positive-density hypersurfaces over finite fields intersecting a reduced equidimensional quasiprojective scheme X such that multiplicity e_P is preserved at all closed points P of the intersection.

Pith tools