Related papers: A Reverse Mathematical Analysis of Hilbert's Nulls…
In this article, we study the Lipschitz Geometry at infinity of complex analytic sets and we obtain results on algebraicity of analytic sets and on Bernstein's problem. Moser's Bernstein Theorem says that a minimal hypersurface which is a…
We give a general method for producing various effective Null and Positivstellens\"atze, and getting new Positivstellens\"atze in algebraically closed valued fields and ordered groups. These various effective Nullstellens\"atze produce…
Our paper is the first study of what one might call "reverse mathematics of explicit fixpoints". We study two methods of constructing such fixpoints for formulas whose principal connective is the intuitionistic Lewis arrow. Our main…
Given a simple vertex algebra A and a reductive group G of automorphisms of A, the invariant subalgebra A^G is strongly finitely generated in most examples where its structure is known. This phenomenon is subtle, and is generally not true…
We study the integrable XXZ model with general non-diagonal boundary terms at both ends. The Hamiltonian is considered in terms of a two boundary extension of the Temperley-Lieb algebra. We use a basis that diagonalizes a conserved charge…
Given a real number $q$ such that $0<q<1$, the natural setting for the mathematics of a $q$-oscillator is an infinite-dimensional, separable Hilbert space that is said to provide an interpolation between the Bargmann-Segal space of…
Plato is well-known in mathematics for the eponymous foundational philosophy Platonism based on ideal objects. Plato's allegory of the cave provides a powerful visual illustration of the idea that we only have access to shadows or…
Gleason's theorem [A. Gleason, J. Math. Mech., \textbf{6}, 885 (1957)] is an important result in the foundations of quantum mechanics, where it justifies the Born rule as a mathematical consequence of the quantum formalism. Formally, it…
This book is an introductory course to basic commutative algebra with a particular emphasis on finitely generated projective modules. We adopt the constructive point of view, with which all existence theorems have an explicit algorithmic…
We give a new proof the arithmetic Hilbert-Samuel theorem by using classical reductions in the theory of coherent sheaves, a direct proof in the case of the projective space and the conservation of some numerical invariants, called…
Investigating the direct integral decomposition of von Neumann algebras of bounded module operators on self-dual Hilbert W*-moduli an equivalence principle is obtained which connects the theory of direct disintegration of von Neumann…
We develop a geometric theory for difference equations with a given group of automorphisms. To solve this problem we extend the class of difference fields to the class of absolutely flat simple difference rings called pseudofields. We prove…
The article is a study of two algebraic structures, the `contrapositionally complemented pseudo-Boolean algebra' (ccpBa) and `contrapositionally $\vee$ complemented pseudo-Boolean algebra' (c$\vee$cpBa). The algebras have recently been…
We study the vanishing sets of slice regular polynomials in several quaternionic variables. We obtain a geometric description of the vanishing sets in two variables, which leads to a new version of the Strong Hilbert Nullstellensatz in the…
In this note, we describe how the study of backgrounds for general quantum systems can be formulated in terms of the representation theory of abstract $C^*$ algebras. We illustrate our general framework through two example systems:…
This paper investigates the algebraic structure of indecomposable $\mathbb{N}$-graded vertex algebras $V = \bigoplus_{n=0}^{\infty} V_n$, emphasizing the intricate interactions between the commutative associative algebra $V_0$, the Leibniz…
We present a uniform framework for establishing Nullstellens\"atze for power series rings using quantifier elimination results for valued fields. As an application we obtain Nullstellens\"atze for $p$-adic power series (both formal and…
The Hilbert scheme of points $\mathrm{Hilb}^n(S)$ of a smooth surface $S$ is a well-studied parameter space, lying at the interface of algebraic geometry, commutative algebra, representation theory, combinatorics, and mathematical physics.…
If quantum gravity respects the principles of quantum mechanics, suitably generalized, it may be that a more viable approach to the theory is through identifying the relevant quantum structures rather than by quantizing classical spacetime.…
A recent criticism of our paper ``The unphysicality of Hilbert spaces'' by Nivaldo Lemos refutes our central argument that a state with finite expectation value can be mapped to a state with infinite expectation value by a coordinate…