Related papers: On function field Mordell-Lang and Manin-Mumford
We show that Mandell's inverse $K$-theory functor from $\Gamma$-categories to permutative categories preserves multiplicative structure. This is a first step towards an equivariant generalization that would be inverse to the construction of…
We show that a non-algebraic simple group of finite Morley rank with a definable representation over a field has no involutions, and otherwise resembles a bad group. In particular, the modern form of the Cherlin-Zilber alebaricity…
Jacobian conjectures (that nonsingular implies invertible) for rational everywhere defined maps of real n-space to itself are considered, with no requirement for a constant Jacobian determinant or a rational inverse. The associated…
It is well known that the completeness theorem for $\mathrm{L}_{\omega_1\omega}$ fails with respect to Tarski semantics. Mansfield showed that it holds for $\mathrm{L}_{\infty\infty}$ if one replaces Tarski semantics with boolean valued…
We make a systematic development of the non-Abelian formulation of two-form gauge fields with topological coupling with the Yang-Mills one-form connection. An analysis of the gauge structure, reducibility conditions and physical degrees of…
We study Lie algebroids in positive characteristic and moduli spaces of their modules. In particular, we show a Langton's type theorem for the corresponding moduli spaces. We relate Langton's construction to Simpson's construction of…
We investigate varies correlation functions of modular Hamiltonians defined with respect to spatial regions in quantum field theories. These correlation functions are divergent in general. We extract finite correlators by removing divergent…
In this paper we provide a detailed calculation of the Sweedler cohomology of the algebra of functions on (Z/2)^r, in all degrees, over a field of characteristic 2. The result is strikingly different from the characteristic 0 analog. Then…
We provide conditions on a monoidal model category $\mathcal{M}$ so that the category of commutative monoids in $\mathcal{M}$ inherits a model structure from $\mathcal{M}$ in which a map is a weak equivalence or fibration if and only if it…
We introduce an upper semi-continuous function that stratifies the highest multiplicity locus of a hypersurface in arbitrary characteristic (over a perfect field). The blow-up along the maximum stratum defined by this function leads to a…
For quantum groups at a root of unity, there is a web of theorems (due to Bezrukavnikov and Ostrik, and relying on work of Lusztig) connecting the following topics: (i) tilting modules; (ii) vector bundles on nilpotent orbits; and (iii)…
We prove a collection of $q$-series identities conjectured by Warnaar and Zudilin and appearing in recent work with H. Kim in the context of superconformal field theory. Our proof utilizes a deformation of the simple affine vertex operator…
In the context of algebraic renormalization, the extended antifield formalism is used to derive the general forms of the anomaly consistency condition and of the Callan-Symanzik equation for generic gauge theories. A local version of the…
We present a non-standard proof of the fact that the existence of a local (i.e. restricted to a point) characteristic-zero, semi-parametric lifting for a variety defined by the zero locus of polynomial equations over the integers is…
We prove the dynamical Mordell-Lang conjecture for birational polynomial morphisms on $\mathbb{A}^2$.
Over an algebraically closed field of positive characteristic, there exist rational functions with only one critical point. We give an elementary characterization of these functions in terms of their continued fraction expansions. Then we…
We unite two well known generalisations of the Wadge theory. The first one considers more general reducing functions than the continuous functions in the classical case, and the second one extends Wadge reducibility from sets (i.e.,…
We prove that function fields of varieties of dimension at least two over an algebraic closure of a finite field are determined, modulo purely inseparable extensions, by the quotient by the second term in the lower central series of their…
We show that the types of the witnesses in the Herbrand functional interpretation can be simplified, avoiding the use of "sets of functionals" in the interpretation of implication and universal quantification. This is done by presenting an…
Let A be an abelian variety over a number field F with End(A/F) commutative. Let S be a subgroup of A(F) and let x be a point of A(F). Suppose that for almost all places v of F the reduction of x modulo v lies in the reduction of S modulo…