相关论文: Quantifier elimination and minimality conditions i…

The structure of Hamiltonian reductions of the Wess-Zumino-Novikov-Witten (WZNW) theory by first class Kac-Moody constraints is analyzed in detail. Lie algebraic conditions are given for ensuring the presence of exact integrability,…

In this paper, we develop a quantified propositional proof systems that corresponds to logarithmic-space reasoning. We begin by defining a class SigmaCNF(2) of quantified formulas that can be evaluated in log space. Then our new proof…

We use a special kind of 2-dimensional extended Topological Quantum Field Theories (TQFTs), so-called open-closed TQFTs, in order to extend Khovanov homology from links to arbitrary tangles, not necessarily even. For every plane diagram of…

We study valued fields equipped with an automorphism. We prove that all of them have an extension admitting an equivariant cross-section of the valuation. In residual characteristic zero, and in the presence of such a cross-section, we show…

This paper initiates a systematic study of operators arising as integrals of operator-valued functions with respect to positive operator-valued measures and utilizes these tools to provide relativization maps (Yen) for quantum reference…

A new approach is demonstrated that QFTs can be UV finite if they are viewed as the low energy effective theories of a fundamental underlying theory (that is complete and well-defined in all respects) according to the nowaday's standard…

We prove two structure theorems for simple, locally finite dimensional Lie algebras over an algebraically closed field of characteristic $p$ which give sufficient conditions for the algebras to be of the form $[R^{(-)}, R^{(-)}] / (Z(R)…

It is a fairly known fact that most of the algebras appearing in the theory of rings of differential operators, quantized algebras of different kinds (including many quantum groups), regular algebras in projective non-commutative geometry,…

Let $T$ be a complete strongly geometric theory of fields with quantifier elimination. We show that the theory of lovely pairs of $T$ has quantifier elimination in Delon's definitional expansion by predicates for linear independence and…

The inclusion of the unit in a braided tensor category $\mathcal{V}$ induces a 1-morphism in the Morita 4-category of braided tensor categories $BrTens$. We give criteria for the dualizability of this morphism. When $\mathcal{V}$ is a…

In this paper we investigate the problem of constructing Topological Quantum Field Theories (TQFTs) to quantize algebraic invariants. We exhibit necessary conditions for quantizability based on Euler characteristics. In the case of…

Let $\mathbf{k}$ be a differential field and let $[A]\,:\,Y'=A\,Y$ be a linear differential system where $A\in\mathrm{Mat}(n\,,\,\mathbf{k})$. We say that $A$ is in a reduced form if $A\in\mathfrak{g}(\bar{\mathbf{k}})$ where $\mathfrak{g}$…

Birkhoff's variety theorem, a fundamental theorem of universal algebra, asserts that a subclass of a given algebra is definable by equations if and only if it satisfies specific closure properties. In a generalized version of this theorem,…

We formulate a conjecture on the finitude of rationality fields (i.e., Fourier coefficient fields) of newforms of bounded degree, and prove this for CM forms assuming a generalized Riemann hypothesis. Then we explicitly determine what…

It is of interest to study supergravity solutions preserving a non-minimal fraction of supersymmetries. A necessary condition for supersymmetry to be preserved is that the spacetime admits a Killing spinor and hence a null or timelike…

Bezrukavnikov and Kaledin introduced quantizations of symplectic varieties X in positive characteristic which endow the Poisson bracket on X with the structure of a restricted Lie algebra. We consider deformation quantization of line…

We generalize to all normal complex algebraic varieties the valuative characterization of multiplier ideals due to Boucksom-Favre-Jonsson in the smooth case. To that end, we extend the log discrepancy function to the space of all real…

A formulation of Covariant Canonical Quantization is discussed, which works on an extended Hilbert space and reduces to conventional canonical quantization when constraining to the solution of the field equation a priori. From the formal…

Using analyticity of the vacuum wave-functional under complex scalings, the vacuum of a quantum field theory may be reconstructed from a derivative expansion valid for slowly varying fields. This enables the eigenvalue problem for the…

No type II$_1$ tracial von Neumann algebra has theory that admits quantifier elimination.