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

In this short note, we show that the Ginzburg-Vasserot map between the quantum affine algebra of type A_(n-1) and the equivariant K-theory group of the Steinberg Variety (of n-step flags in C^d) restricts and remains surjective at the level…

We consider filtered or graded algebras $A$ over a field $K$. Assume that there is a discrete valuation $O_v$ of $K$ with $m_v$ its maximal ideal and $k_v:=O_v/m_v$ its residue field. Let $\Lambda$ be $O_v$-order such that $\Lambda K=A$ and…

We consider the compactifcation of 5d non-simply laced fractional quiver gauge theory constructed in arXiv:1705.04410. In contrast to the simply laced quivers, here two $\Omega$-background parameters play different roles, so that we can…

In this paper a constructive formalization of quantifier elimination is presented, based on a classical formalization by Tobias Nipkow. The formalization is implemented and verified in the programming language/proof assistant Agda. It is…

The purpose of this paper is to present a fully algebraic formalism for the construction and reduction of $L_\infty$-algebras of observables inspired by multisymplectic geometry, using Gerstenhaber algebras, BV-modules, and the constraint…

The recently introduced equivariant BV formalism is extended to the case of manifolds with boundary under appropriate conditions. AKSZ theories are presented as a practical example.

We develop an intrinsic geometrical setting for higher order constrained field theories. As a main tool we use an appropriate generalization of the classical Skinner-Rusk formalism. Some examples of application are studied, in particular,…

In this note, we give a characterization of all projectable and divisible-projectable reduced $f$-rings satisfying the first convexity property and admitting elimination of quantifiers, in the language of lattice-ordered rings with the…

We prove the relative Grauert-Riemenschneider vanishing, Kawamata-Viehweg vanishing, and Koll\'ar injectivity theorems for proper morphisms of schemes of equal characteristic zero, solving conjectures of Boutot and Kawakita. Our proof uses…

We prove elimination of field quantifiers for strongly dependent henselian fields in the Denef-Pas language. This is achieved by proving the result for a class of fields generalizing algebraically maximal Kaplansky fields. We deduce that if…

The variational method is a powerful approach to solve many-body quantum problems non perturbatively. However, in the context of relativistic quantum field theory (QFT), it needs to meet 3 seemingly incompatible requirements outlined by…

In this paper we develop the theory of the depth of a simple algebraic extension of valued fields $(L/K,v)$. This is defined as the minimal number of augmentations appearing in some Mac Lane-Vaqui\'e chain for the valuation on $K[x]$…

The main aim of this article is to study and develop valuation theory for Krasner hyperfields. In analogy with classical valuation theory for fields, we generalise the formalism of valuation rings to describe equivalence of valuations on…

A condition characterizing the class of regular languages which have several nonisomorphic minimal reversible automata is presented. The condition concerns the structure of the minimum automaton accepting the language under consideration.…

The system of two relativistic particles with einbein fields is quantized as a constrained system.A method of the introduction of the Newton--Wigner collective coordinate is discussed in presence of different gauge fixing conditions. Some…

Using Araki-Yamagami's characterization of quasi-equivalence for quasi-free representations of the CCRs, we provide an abstract criterion for the existence of isomorphisms of second quantization local von Neumann algebras induced by…

In this note we relate the valuations of the algebras appearing in the non-commutative geometry of quantized algebras to properties of sub-lattices in some vector spaces. We consider the case of algebras with $PBW$-bases and prove that…

We prove a sufficient condition for the existence of explicit first integrals for vector fields which admit an integrating factor. This theorem recovers and extends previous results in the literature on the integrability of vector fields…

Let $K$ be a large field such that $K[\sqrt{-1}]$ is not algebraically closed and $F/K$ a function field in one variable. Extending techniques and results from earlier work with Becher and Dittmann, we show that every valuation ring on $F$…

By extending the method developed in our recent paper \cite{LM} we present the AQFT framework in terms of von Neumann algebras. In particular, this approach allows for a locally covariant categorical description of AQFT which moreover…