Related papers: Quantifier Elimination for Valued Fields Equipped …
A new scheme of field quantization is proposed. Instead of associating with different frequencies different oscillators we begin with a single oscillator that can exist in a superposition of different frequencies. The idea is applied to the…
The present paper deals with permutations induced by tame automorphisms over finite fields. The first main result is a formula for determining the sign of the permutation induced by a given elementary automorphism over a finite field. The…
Adjoining to the language of rings the function symbols for splitting coefficients, the function symbols for relative $p$-coordinate functions, and the division predicate for a valuation, some theories of pseudo-algebraically closed…
For a variety of diffeomorphism-invariant field theories describing hypersurface motions (such as relativistic M-branes in space-time dimension M+2) we perform a Hamiltonian reduction ``at level 0'', showing that a simple algebraic function…
We proceed to the canonical quantization of the complex scalar field without making use of its real and imaginary parts. Our motivation is to formally connect, as tightly as possible, the quantum-field notions of particle and antiparticle -…
We firstly show that due to their resplendency ordered henselian valued fields admit relative field quantifier elimination in the Denef--Pas language expanded by linear orders in the field and residue field sort. Secondly, we deduce from a…
Dixmier property concerns the bijectivity of endomorphisms for algebras. We introduce a relative Dixmier property, which is a generalization of the Dixmier property. This new concept has applications in proving that several classes of…
We give algebraic conditions about a finite algebra $B$ over a perfect field of positive characteristic, which are equivalent to the companionability of the theory of fields with "$B$-operators" (i.e. the operators coming from homomorphisms…
Automatic structures are first-order structures whose universe and relations can be represented as regular languages. It follows from the standard closure properties of regular languages that the first-order theory of an automatic structure…
We prove several results concerning automorphism groups of quasismooth complex weighted projective hypersurfaces; these generalize and strengthen existing results for hypersurfaces in ordinary projective space. First, we prove in most cases…
In this note we study sets of NIP formulas in some theories of fields and valued fields, with a special focus on the sets of quantifier-free and existential formulas. First, we give a new proof of the fact that Separably Closed Valued…
The issue of non-perturbative background independent quantization of matrix models is addressed. The analysis is carried out by considering a simple matrix model which is a matrix extension of ordinary mechanics reduced to 0 dimension. It…
Let $k$ be a field of characteristic zero, and let $f: k[x,y] \to k[x,y]$, $f: (x,y) \mapsto (p,q)$, be a $k$-algebra endomorphism having an invertible Jacobian. Write $p=a_ny^n+\cdots+a_1y+a_0$, where $n=deg_y(p) \in \mathbb{N}$, $a_i \in…
Let $k$ be an algebraically closed field of characteristic zero. Let $S$ be a smooth projective variety over $k$ and let $p_S:X\rightarrow S$ be a family of smooth projective curves over $S$. Let $E$ be a vector bundle over $X$. For $s\in…
If an outer (multilinear) commutator identity holds in a large subgroup of a group, then it holds also in a large characteristic subgroup. Similar assertions are valid for algebras and their ideals or subspaces. Varying the meaning of the…
From one point of view in the quantum theory of fields, free quantum fields are uniquely determined, not by field equations, but by the transformations of the field and the annihilation and creation operators from which the field is…
The automorphism group of a one dimensional shift space over a finite alphabet exhibits different types of behavior: for a large class with positive entropy, it contains a rich collection of subgroups, while for many shifts of zero entropy,…
In this work the problem about an existence of non-measurable automorphisms of Lie groups finite and as well infinite dimensional over the field of real numbers and also over the non-archimedean local fields is investigated.…
In the foundational logical framework of homotopy-type theory we discuss a natural formalization of secondary integral transforms in stable geometric homotopy theory. We observe that this yields a process of non-perturbative cohomological…
It is well-known that there exist infinitely-many inequivalent representations of the canonical (anti)-commutation relations of Quantum Field Theory (QFT). A way out, suggested by Algebraic QFT, is to instead define the quantum theory as…