Related papers: On n-dependent groups and fields II
We study subfields of large fields which are generated by infinite existentially definable subsets. We say that such subfields are existentially generated. Let $L$ be a large field of characteristic exponent $p$, and let $E\subseteq L$ be…
We say that a finite group $G$ satisfies the independence property if, for every pair of distinct elements $x$ and $y$ of $G$, either $\{x,y\}$ is contained in a minimal generating set for $G$ or one of $x$ and $y$ is a power of the other.…
One of the fundamental questions in current field theory, related to Grothendieck's conjecture of birational anabelian geometry, is the investigation of the precise relationship between the Galois theory of fields and the structure of the…
We prove that any bilinear coupling of a massive spin-3/2 field can be brought into a gauge invariant form suggested by Pascalutsa by means of a non-linear field redefinition. The corresponding field transformation is given explicitly in a…
The classical Brauer-Siegel conjecture describes the asymptotic behaviour of the product of the class number and the regulator in families of number fields. All known cases of the conjecture rely on reducing the problem, via group theoretic…
Action-dependent field theories are systems where the Lagrangian or Hamiltonian depends on new variables that encode the action. They model a larger class of field theories, including non-conservative behavior, while maintaining a…
We study N=2 spontaneous supersymmetry breaking at two different scales with matter fields in hypermultiplets charged under the gauge group that should involve at least two U(1) factors. Off-shell analysis is possible in the dual…
We study the subfields of quaternion algebras that are quadratic extensions of their center in characteristic 2. We provide examples of the following: two non-isomorphic quaternion algebras that share all their quadratic subfields, two…
In our recent work we described conditions under which a multi-parameter random simplicial complex is connected and simply connected. We showed that the Betti numbers of multi-parameter random simplicial complexes in one specific dimension…
We provide a characterisation of differentially large fields in arbitrary characteristic and a single derivation in the spirit of Blum axioms for differentially closed fields. In the case of characteristic zero, we use these axioms to…
We prove that spin groups act generically freely on various spinor modules, in the sense of group schemes and in a way that does not depend on the characteristic of the base field. As a consequence, we extend the surprising calculation of…
Let $s_1,s_2,\ldots s_n$ be states of a general probability theory, and $\mathcal A$ be the set of all subsets of indices $H \subset [n]\equiv\{1,2,\ldots n\}$ such that the states $(s_j)_{j\in H}$ are jointly perfectly distinguishable. All…
We show that Penkov's approach to a superanalog of Borel-Bott-Weil theorem for $G=GL(m|n)$ over a field of zero characteristic can be extended for a perfect field of arbitrary odd characteristic. We also prove some partial version of…
We study gauge theories of background fields associated to BRST quantized spinning particle models and identify background-independent algebraic structures which allow to systematically reduce the spectrum of fields and subject some of them…
We conjecture the existence of special elements in odd degree higher algebraic K-groups of number fields that are related in a precise way to the values at strictly negative integers of the derivatives of Artin L-functions of finite…
Regular groups and fields are common generalizations of minimal and quasi-minimal groups and fields, so the conjectures that minimal or quasi-minimal fields are algebraically closed have their common generalization to the conjecture that…
The Serre conjecture II predicts that every torsor under a semisimple, simply connected, algebraic group over a field of cohomological dimension at most 2 and of degree of imperfection at most 1 has a rational point. We generalize this…
Following the types-as-sets paradigm, we present a mechanized embedding of dependent function types with a hierarchy of universes into schematic first-order logic with equality, with axiom schemas of Tarski-Grothendieck set theory. We carry…
A manifold is said to be $n$-plectic if it is equipped with a closed, nondegenerate $(n+1)$-form. This thesis develops the theory of \emph{relative $n$-plectic structures}, where the classical condition is replaced by a closed,…
A recent article of Chernikov, Hrushovski, Kruckman, Krupinski, Moconja, Pillay and Ramsey finds the first examples of simple structures with formulas which do not fork over $\emptyset$ but are universally measure zero. In this article we…