相关论文: Model theory of fields with free operators in posi…

Let $V$ be a vertex operator algebra and $g$ an automorphism of finite order. We construct an associative algebra $A_g(V)$ and a pair of functors between the category of $A_g(V)$-modules and a certain category of admissible $g$-twisted…

We show that the category OS of operator spaces, with complete contractions as morphisms, is locally countably presentable. This result, together with its symmetric monoidal closed structure with respect to the projective tensor product of…

We present an application of elimination theory to the study of singularities over arbitrary fields, particularly to the open problem of resolution. A partial extension of a function, defining resolution of singularities over fields of…

In this paper we introduce and study absolute continuity and singularity of positive operators acting on anti-dual pairs. We establish a general theorem that can be considered as a common generalization of various earlier Lebesgue-type…

We choose such boundary conditions for open IIB superstring theory which preserve N=1 SUSY. The explicite solution of the boundary conditions yields effective theory which is symmetric under world-sheet parity transformation…

The abelian sigma model in (1+1) dimensions is a field theoretical model which has a field $ \phi : S^1 \to S^1 $. An algebra of the quantum field is defined respecting the topological aspect of the model. It is shown that the zero-mode has…

We investigate completeness and parametricity for a general class of realizability semantics for System F defined in terms of closure operators over sets of $\lambda$-terms. This class includes most semantics used for normalization…

We study model theory of fields with actions of a fixed finite group scheme. We prove the existence and simplicity of a model companion of the theory of such actions, which generalizes our previous results about truncated iterative…

We study existential theories of henselian valued fields of positive characteristic with parameters from a trivially valued subfield. Compared to previous work, we relax perfectness and separability assumptions, and instead work with the…

In this paper we consider a very general U(1)-invariant field theory such that a field operator commutes with its adjoint, what corresponds to a theory of a charged bosonic particle. We show that from such an invariance follows the…

A result by Ornstein and Weiss states that a free and measure-preserving action of an amenable group on a probability space yields a decomposition of the space in disjoint images, up to a small error, analogous to the one given by the…

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…

We review a notion of completeness in QFT arising from the analysis of basic properties of the set of operator algebras attached to regions. In words, this completeness asserts that the physical observable algebras produced by local degrees…

We generalize the operadic approach to algebraic quantum field theory [arXiv:1709.08657] to a broader class of field theories whose observables on a spacetime are algebras over any single-colored operad. A novel feature of our framework is…

In this paper we study noncommutative domains D_f in B(H)^n, generated by positive regular free holomorphic functions f, where B(H) is the algebra of all bounded linear operators on a Hilbert space H.

In quantum field theory particles are physically defined as what Unruh-DeWitt particle detectors observe. By detecting a particle mode $A$, a reduced density operator for a quantum state of $A$ is constructed. Even if the entire quantum…

We construct the algebra of operators acting on the Hilbert spaces of Quantum Mechanics for systems of $N$ identical particles from the field operators acting in the Fock space of Quantum Field Theory by providing the explicit relation…

Absolute model companionship (AMC) is a strict strengthening of model companionship defined as follows: For a theory $T$, $T_{\exists\vee\forall}$ denotes the logical consequences of $T$ which are boolean combinations of universal…

We make a review on the recent progress in the operator algebraic approach to (super)conformal field theory. We discuss representation theory, classification results, full and boundary conformal field theories, relations to supervertex…

Let $\mathbb{K}$ denote an algebraically closed field and $A$ a free product of finitely many semisimple associative $\mathbb{K}$-algebras. We associate to $A$ a finite acyclic quiver $\Gamma$ and show that the category of finite…