Related papers: Quantifier Elimination for Valued Fields Equipped …
In this paper we make a clear relationship between the automorphic representations and the quantization through the Geometric Langlands Correspondence. We observe that the discrete series representation are realized in the sum of…
In this note we study one-dimensional definable sets in power series fields with perfect residue fields. Using the description of automorphisms given by Schilling, in \cite{S44}, we show that such sets are unions of existentially definable…
A Frobenius difference field is an algebraically closed field of characteristic $p>0$, enriched with a symbol for $x \mapsto x^{p^m}$. We study a sentence or formula in the language of fields with a distinguished automorphism, interpreted…
We prove that if a field k is infinite, char(k)=0 and k has not nontrivial automorphisms then automorphic equivalence of representations of Lie algebras coincide with geometric equivalence. We achieve our result by consideration of 1-sorted…
Building over recent results, we expand the basic theory of algebraic extensions to the realm of superfields -a field with multivalued sum and product-, showing that every superfield has a (unique up to isomorphism) strong algebraic…
We give an algorithm determining whether a hermiticity-preserving superoperator is positive. In our approach we apply techniques of quantifier elimination theory for real numbers. Furthermore, we argue that quantifier elimination theory…
We present a reduction of the function field Mordell-Lang conjecture to the function field Manin-Mumford conjecture, in all characteristics, via model theory, but avoiding recourse to the dichotomy theorems for (generalized) Zariski…
In this paper we consider some classical varieties of linear algebras over the field which has characteristic 0. For every considered variety we take a category of the finite generated free algebras of this variety. And for every this…
We prove a general version of the "Stability Theorem": if $K$ is a valued field such that the ramification theoretical defect is trivial for all of its finite extensions, and if $F|K$ is a finitely generated (transcendental) extension of…
In this short note, we give a new sufficient condition for a linear map from a product of copies of a field to endomorphisms of a finite dimensional vector space over the same field to be an algebra homomorphism. We expect that this result…
In this paper, we study the question of quantization of quantum field theories in a general light-front frame. We quantize scalar, fermion as well as gauge field theories in a systematic manner carrying out the Hamiltonian analysis…
The aim of this work is to offer a solution to the problem of the classification of endomorphisms with an annihilating polynomial on arbitrary vector spaces. For these endomorphisms we provide a family of invariants that allows us to…
We prove that if $\mathbb{F}$ is an algebraically closed field of zero characteristic which has infinite transcendence degree over $\mathbb{Q}$, then there exists a field automorphism $\varphi$ of ${\rm SL}_n(\mathbb{F})$ and ${\rm…
We develop a mathematical theory of quantization of multidimensional variational principles, and compare it with traditional constructions of quantum field theory. We conjecture that mathematical realization of quantum field theory axioms,…
There is a large class of classical null-fronted metrics in which a free scalar field has an infinite number of conservation laws. In particular, if the scalar field is quantized, the number of particles is conserved. However, with more…
We present a unifying framework of residual domination for (expansions of) henselian valued fields of equicharacteristic zero, encompassing some valued fields with operators. We show that the class of residually dominated types coincides…
A detailed proof is given of a theorem describing the centraliser of a transitive permutation group, with applications to automorphism groups of objects in various categories of maps, hypermaps, dessins, polytopes and covering spaces, where…
In recent decades, the defect of finite extensions of valued fields has emerged as the main obstacle in several fundamental problems in algebraic geometry such as the local uniformization problem. Hence, it is important to identify…
There are two ways to turn a categorical model for pure quantum theory into one for mixed quantum theory, both resulting in a category of completely positive maps. One has quantum systems as objects, whereas the other also allows classical…
Let K be a henselian valued field of characteristic 0. Then K admits a definable partition on each piece of which the leading term of a polynomial in one variable can be computed as a definable function of the leading term of a linear map.…