Related papers: Interpreting a field in its Heisenberg group

In these notes we construct a quantization functor, associating an Hilbert space H(V) to a finite dimensional symplectic vector space V over a finite field F_q. As a result, we obtain a canonical model for the Weil representation of the…

It is shown that the algebraic structure of finite Heisenberg groups associated with the tensor product of two Hilbert spaces leads to a simple demonstration valid in all Hilbert space dimensions of the impossibility of non-contextual…

A model operator $H$ associated with the energy operator of a system describing three particles in interaction, without conservation of the number of particles, is considered. The precise location and structure of the essential spectrum of…

This paper explores undecidability in theories of positive characteristic function fields in the "geometric" language of rings $\mathcal{L}_F = \{0, 1, +, \cdot, F\}$, with a unary predicate $F$ for nonconstant elements. In particular we…

In contrast to the robust mutual interpretability phenomenon in set theory, Ali Enayat proved that bi-interpretation is absent: distinct theories extending ZF are never bi-interpretable and models of ZF are bi-interpretable only when they…

A representation of the group element (also known as ``universal ${\cal T}$-matrix'') which satisfies $\Delta(g) = g\otimes g$, is given in the form $$ g = \left(\prod_{s=1}^{d_B}\phantom.^>\ {\cal…

Let $K$ be a field of positive characteristic with no algebraically closed subfield. Let $F$ be a function field over $K$ and $t \in F$ transcendental over $K$. Refining a result of Eisentr{\"a}ger and Shlapentokh, we show that there is no…

Let G be an unramified reductive group over a non archimedian local field F. The so-called "Langlands Fundamental Lemma" is a family of conjectural identities between orbital integrals for G(F) and orbital integrals for endoscopic groups of…

We give an explicit recursive presentation for Mihailova's subgroup $M(H)$ of $F_n \times F_n$ corresponding to a finite, concise and Peiffer aspherical presentation $H=< x_1,..., x_n \mid R_1,..., R_m>$. This partially answers a question…

Mutually unbiased bases in Hilbert spaces of finite dimensions are closely related to the quantal notion of complementarity. An alternative proof of existence of a maximal collection of N+1 mutually unbiased bases in Hilbert spaces of prime…

We construct an invariant of closed oriented $3$-manifolds using a finite dimensional, involutory, unimodular and counimodular Hopf algebra $H$. We use the framework of normal o-graphs introduced by R. Benedetti and C. Petronio, in which…

The goal of this paper is twofold. In addition to the results stated in the next paragraph, we present some classical results on absoluteness relevant to functional analysis that are well known to logicians but not nearly as well advertised…

We apply Projected Hartree-Fock theory (PHF) for approximating ground states of Heisenberg spin clusters. Spin-rotational, point-group and complex-conjugation symmetry are variationally restored from a broken-symmetry mean-field reference,…

We give an example of a parameter-free definable henselian valuation ring which is neither definable by a parameter-free $\forall\exists$-formula nor by a parameter-free $\exists\forall$-formula in the language of rings. This answers a…

In the first section of this senior thesis the author provides some new efficient algorithms for calculating with finite permutation groups. They cannot be found in the computer algebra system MAGMA, but they can be implemented there. For…

In this paper we show the Hasse principle for the Brauer group of a purely transcendental extension field in one variable over an arbitrary field.

We set up general machinery to study interpretations of fragments of theories. We then apply this to existential fragments of theories of fields, and especially of henselian valued fields. As an application we prove many-one reductions…

Let $F$ be be an arbitrary field and let $h(n)$ be the Heisenberg algebra of dimension $2n+1$ over $F$. It was shown by Burde that if $F$ has characteristic 0 then the minimum dimension of a faithful $h(n)$-module is $n+2$. We show here…

For a finite field $\mathbb{F}$, it is a basic result of Galois theory that the fixed field $E$ of $\text{Aut}(\mathbb{F}(x)/\mathbb{F})$ is a proper extension of $\mathbb{F}$. In this expository paper we construct, for all finite fields,…

Much mathematical writing exists that is, explicitly or implicitly, based on set theory, often Zermelo-Fraenkel set theory (ZF) or one of its variants. In ZF, the domain of discourse contains only sets, and hence every mathematical object…