Related papers: Bertini theorems revisited
We establish that all rings of $S$-integers are universally definable in function fields in one variable over certain ground fields including global and non-archimedean local fields. That is, we show that the complement of such a ring of…
We develop a theory of Valuation Hilbert Modules and prove a version of Beurling's theorem for these. Then we apply our version of Beurling's theorem to obtain complete descriptions of the closed invariant subspaces of a number of Hilbert…
The purpose of this article is to prove that Gersten's conjecture for a commutative discrete valuation ring is true. Combining with the result of \cite{GL87}, we learn that Gersten's conjecture is true if the ring is a commutative regular…
In this paper we prove some new series for $1/\pi$ as well as related congruences. We also raise several new kinds of series for $1/\pi$ and present some related conjectural congruences involving representations of primes by binary…
We prove various finite de Finetti theorems for non-commutative distributions which are invariant under the free easy quantum group actions. This complements the free de Finetti theorems by Banica, Curran and Speicher, which mostly focus on…
We prove the triviality of the Grothendieck ring of a integer-valued field K under slight conditions on the logical language and on K. We construct a definable bijection from the plane K^2 to itself minus a point. When we specialize to…
The Multivariate Hensel Lemma for local rings is usually proved as a consequence of the Grothendieck version of Zariski's Main Theorem. This version deals with a more general situation that is a priori much more difficult. In this paper, we…
Using a Zariski topology associated to a finite field extensions, we give new proofs and generalize the primitive and normal basis theorems.
This note states and proves a representation theorem for regular quantity functions, based on the theory of quantity spaces, thereby giving a new perspective on dimensional analysis and the classical $\pi$ theorem.
Consider a complete discrete valuation ring $\mathcal{O}$ with quotient field $F$ and finite residue field. Then the inclusion map $\mathcal{O} \hookrightarrow F$ induces a map $\hat{\mathrm{K}}^\mathrm{M}_*\mathcal{O} \to…
We give three proofs that valuation rings are derived splinters: a geometric proof using the absolute integral closure, a homological proof which reduces the problem to checking that valuation rings are splinters (which is done in the…
We provide a rigorous proof of the CPT theorem within the framework of 'Lagrangian' quantum field theory. This is in contrast to the usual rigorous proofs in purely axiomatic frameworks, and non-rigorous proof-sketches within the Lagrangian…
We look at value functions of primes in simple Artinian rings and associate arithmetical pseudo-valuations to Dubrovin valuation rings which, in the Noetherian case, are $\mathbb{Z}$-valued. This allows a divisor theory for bounded Krull…
We prove that if $C$ is a reflexive smooth plane curve of degree $d$ defined over a finite field $\mathbb{F}_q$ with $d\leq q+1$, then there is an $\mathbb{F}_q$-line $L$ that intersects $C$ transversely. We also prove the same result for…
We give a short proof of Chevalley's theorem that every algebraic group is an extension of an Abelian variety by a linear algebraic group. Along the way we treat Bertini's irreducibility theorem.
A method for describing charged relativistic Fermi fields is proposed, in which particles of opposite charges are treated equally and states with negative energy are excluded. The concept of charge quantum number is introduced. Fields of…
We prove finite-field analogs of Bourgain's projection theorem in higher dimensions. In particular, for a certain range of parameters we improve on an exceptional set estimate by Chen in all dimensions and codimensions.
We report on progress in the qualitative study of rational points on rationally connected varieties over number fields, also examining integral points, zero-cycles, and non-rationally connected varieties. One of the main objectives is to…
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…
We prove that the Betti numbers of simplicial complexes of bounded vertex degrees are testable in constant time.