相关论文: Model theory of fields with free operators in posi…
An operator formalism for bosonic $\beta-\gamma$ systems on arbitrary algebraic curves is introduced. The classical degrees of freedom are identified and their commutation relations are postulated. The explicit realization of the algebra…
We extend the concept of quintessence to a flat nonminimally coupled scalar - tensor theories of gravity. By means of Noether's symmetries for the cosmological pointlike Lagrangian L, it is possible to exhibit exact solutions for a class of…
We provide axiomatization and relative quantifier elimination for valued fields equipped with an automorphism, in residue characteristic zero. Similar results are known under strong assumptions on the interaction between the automorphism…
In this note we quantize the free $ * $-algebra generated by finitely many variables, which is a new example of the theory of Toeplitz quantization of $ * $-algebras as developed previously by the author. This is achieved by defining…
In this paper we provide a wildness criterion for any finite dimensional Hopf algebra with finitely generated cohomology. This generalizes a result of Farnsteiner to not necessarily cocommutative Hopf algebras over ground fields of…
We prove a fixed-point theorem that generalises and simplifies a number of results in the theory of $F$-contractions. We show that all of the previously imposed conditions on the operator can be either omitted or relaxed. Furthermore, our…
In this note, we show that the theory of tracial von Neumann algebras does not have a model companion. This will follow from the fact that the theory of any locally universal, McDuff II_1 factor does not have quantifier elimination. We also…
In this letter we develope an operator formalism for the $b-c$ systems with conformal weight $\lambda=1$ defined on a general closed and orientable Riemann surface. The advantage of our approach is that the Riemann surface is represented as…
We study the behaviour of quantum field theories defined on a surface $S$ as it tends to a null surface $S_n$. In the case of a real, free scalar field theory the above limiting procedure reduces the system to one with a finite number of…
The notion of a complete type can be generalized in a natural manner to allow assigning a value in an arbitrary Boolean algebra B to each formula. We show some basic results regarding the effect of the properties of B on the behavior of…
We derive an exact operator bosonization of a finite number of fermions in one space dimension. The fermions can be interacting or noninteracting and can have an arbitrary hamiltonian, as long as there is a countable basis of states in the…
We show that every Fell bundle B over a locally compact group G is "proper" in a sense recently introduced by Ng. Combining our results with those of Ng we show that if B satisfies the "approximation property" then it is amenable in the…
Parametric models in vector spaces are shown to possess an associated linear map. This linear operator leads directly to reproducing kernel Hilbert spaces and affine- / linear- representations in terms of tensor products. From the…
Algebras defined over fields of characteristic zero and positive characteristic usually do not behave the same way. However, for certain algebras, for example the group algebras, they behave the same way as the characteristic zero case at…
Kikyo and Shelah showed that if $T$ is a theory with the Strict Order Property in some first-order language $\mathcal{L}$, then in the expanded language $\mathcal{L}_\sigma := \mathcal{L}\cup\{\sigma\}$ with a new unary function symbol…
We prove that in a countable theory T fully stable over a predicate P, any complete set A has the existence property. This means that A can be extended to a model of T without changing the P-part. In particular, T has the Gaifman property:…
We show that the theory of algebraically closed fields with multiplicative circular orders has a model companion $\mathrm{ACFO}$. Using number-theoretic results on character sums over finite fields, we show that if $\mathbb{F}$ is an…
Totally positive matrices are related with the shape preserving representations of a space of functions. The normalized B-basis of the space has optimal shape preserving properties. B-splines and rational Bernstein bases are examples of…
We consider a purely massive local relativistic quantum theory specified by a family of von Neumann algebras indexed by the space-time regions. We assume that, affiliated with the algebras associated to wedge regions, there are operators…
We construct a model of type theory enjoying parametricity from an arbitrary one. A type in the new model is a semi-cubical type in the old one, illustrating the correspondence between parametricity and cubes. Our construction works not…