Related papers: Bertini theorems admitting base changes
We reformulate gauge theories in analogy with the vierbein formalism of general relativity. More specifically, we reformulate gauge theories such that their gauge dynamical degrees of freedom are local fields that transform linearly under…
We study the model theory of vector spaces with a bilinear form over a fixed field. For finite fields this can be, and has been, done in the classical framework of full first-order logic. For infinite fields we need different logical…
We prove that finitary isomorphisms with finite expectation exist between Bernoulli shifts over the same free group only if the shifts have the same distribution. This generalizes the integer case result of Schmidt. We provide new proofs of…
We prove an arithmetic regularity lemma for stable subsets of finite abelian groups, generalising our previous result for high-dimensional vector spaces over finite fields of prime order. A qualitative version of this generalisation was…
To determine whether a number is congruent or not is an old and difficult topic and progress is slow. The paper presents a new theorem when a prime number is a congruent number or not. The proof is not necessarily any simpler or shorter…
The idea of monotonicity (or positive-definiteness in the linear case) is shown to be the central theme of the solution theories associated with problems of mathematical physics. A "grand unified" setting is surveyed covering a…
We show how singularities shape the evolution of rational discrete dynamical systems. The stabilisation of the form of the iterates suggests a description providing among other things generalised Hirota form, exact evaluation of the…
A complete first-order theory is equational if every definable set is a Boolean combination of instances of equations, that is, of formulae such that the family of finite intersections of instances has the descending chain condition.…
We prove a version of Chatelet's Theorem about Severi-Brauer variety having rational points in the setting of synthetic algebraic geometry. We work over an arbitrary base ring.
Current theories of massless free particle assume {\sl unitary} space inversion and {\sl anti-unitary} time reversal operators. In so doing robust classes of possible theories are discarded. In the present work theories of massless systems…
The theory of standard bases in polynomial rings with coefficients in a ring R with respect to local orderings is developed. R is a commutative Noetherian ring with 1 and we assume that linear equations are solvable in R.
Completeness is proved for some subsystems of a system of coherent states. The linear dependence of states is investigated for the von Neumann type subsystems. A detailed study is made of the case when a regular lattice on the complex…
The well-known Leibniz theorem (Leibniz Criterion or alternating series test) of convergence of alternating series is generalized for the case when the absolute value of terms of series are "not absolutely monotonously" convergent to zero.…
Divergences that arise in the quantization of scalar quantum field models by means of a lattice-space functional integration may be attributed to a single integration variable, and this fact is demonstrated by showing that if the integrand…
Given a recollement of three proper dg algebras over a noetherian commutative ring, e.g. three algebras which are finitely generated over the base ring, which extends one step downwards, it is shown that there is a short exact sequence of…
In this article, we discuss the rationality of the Betti Series of the universal module of nth order derivations of R_{m} where m is a maximal ideal of R. We proved that if R is a coordinate ring of an affine irreducible curve and if it has…
Let $\Delta$ be a stable simplicial complex on $n$ vertexes. Over an arbitrary base field $K$, the symmetric algebraic shifted complex $\Delta^s$ of $\Delta$ is defined. It is proved that the Betti numbers of the Stanley-Reisner ideals in…
Taking inspiration from [1, 21, 24], we develop a general framework to deal with the model theory of open incidence structures. In this first paper we focus on the study of systems of points and lines (rank $2$). This has a number of…
Several authors investigating the asymptotic behaviour of the Betti diagrams of the graded system obtained by taking powers of an ideal have shown that the shape of the nonzero entries in the diagrams stabilizes when $I$ is a homogeneous…
For a mixing shift of finite type, the associated automorphism group has a rich algebraic structure, and yet we have few criteria to distinguish when two such groups are isomorphic. We introduce a stabilization of the automorphism group,…