Related papers: Bertini theorems revisited
After reviewing Bertini's life story, a fascinating drama, we make a critical examination of the old statements and proofs of Bertini's two fundamental theorems, the theorem on variable singular points and the theorem on reducible linear…
Given a base point free linear system on an algebraic variety, many classes of singularities are stable under taking suitable members after enlarging the base field. We establish analogous results when the base ring is an excellent ring.
We first study hyperplane sections of some singular schemes over a field. We prove a Bertini theorem for the log smoothness of generic hyperplane sections of a large class of log smooth schemes over a log point. We also give an abstract…
Let $\mathcal{R}$ be a finite valuation ring of order $q^r$. In this paper we generalize and improve several well-known results, which were studied over finite fields $\mathbb{F}_q$ and finite cyclic rings $\mathbb{Z}/p^r\mathbb{Z}$, in the…
We include short and elementary proofs of two theorems characterizing reductive group schemes over a discrete valuation ring, in a slightly more general context.
We show the existence of good hyperplane sections for schemes over discrete valuation rings with good or (quasi) semistable reduction, and the existence of good Lefschetz pencils for schemes with good reduction or ordinary quadratic…
Local fields, and fields complete with respect to a discrete valuation, are essential objects in commutative algebra, with applications to number theory and algebraic geometry. We formalize in Lean the basic theory of discretely valued…
We prove a new Bertini-type Theorem with explicit control of the genus, degree, height, and the field of definition of the constructed curve. As a consequence we provide a general strategy to reduce certain height and rank estimates on…
We develop an extension of valuations theorem for suitable extensions of idempotent semirings. As an application, we give a new proof for the classical case of fields. Along the way, we develop characteristic one analogues of some central…
We give an elementary, self-contained and quick proof of Belyi's theorem. As a by-product of our proof we obtain an explicit bound for the degree of the defining number field of a Belyi surface.
We study the question of finding smooth hyperplane sections to a pencil of hypersurfaces over finite fields.
In the paper we consider Lamperti type theorems for random fields. Together with known results we present some new results on ${\mathbb R}^m$-valued self-similar fields $\{{\bf X} ({\bf t}), \ {\bf t} \in {\mathbb R}^d \}$, their domains of…
We extend Latimer and MacDuffee's theorem to a general commutative domain and apply this result to study similarity of matrices over integral rings of number fields. We also conjecture similarity over discrete valuation rings can be descent…
We summarize and extend E. Moody's results on the explicit equations related to the Bertini involution.
In the second section, we introduce hemiring-valued pseudonormed rings and generalize Albert's result which states that every finite-dimensional algebra can be normed. Next, we introduce shrinkable hemirings and prove that dense division…
In this paper we show that if R is a discrete valuation ring, then R is a filtered ring. We prove some properties and relation when R is a discrete valuation ring.
This is an expository note discussing how the Erdos--Ramanujan proof of Bertrand's postulate may be adapted to show the existence of finite fields.
The purpose of this paper is to explain a method on the generalization of the Bertini-type theorem on standard graded rings to the non-standard graded case of certain type.
We present new classes of permutation polynomials over finite fields.
We prove the Bloch-Ogus Theorem for regular local rings geometrically regular over a discrete valuation ring. In particular, we prove the Bloch-Ogus Theorem for regular local rings of mixed characteristic that are essentially smooth over a…