Related papers: Interpreting a field in its Heisenberg group
A machine developed by the second author produces a rich family of unitary representations of the Thompson groups F,T and V. We use it to give direct proofs of two previously known results. First, we exhibit a unitary representation of V…
Given a field extension $F/C$, the ``Lambda closure'' $\Lambda_{F}C$ of $C$ in $F$ is a subextension of $F/C$ that is minimal with respect to inclusion such that $F/\Lambda_{F}C$ is separable. The existence and uniqueness of $\Lambda_{F}C$…
In this paper we give an explicit formula of the determinant of a Heisenberg representation $\rho$ of a finite group $G$. Heisenberg representations are induced by 1-dimensional characters in multiple ways, but our formula will be…
We use representation theory to write a formula for the magnetisation of the quantum Heisenberg ferromagnet. The core new result is a spectral decomposition of the function $\alpha_k 2^{\alpha_1+\dotsb+\alpha_n}$ where $\alpha_k$ is the…
We here revisit Fourier analysis on the Heisenberg group H^d. Whereas, according to the standard definition, the Fourier transform of an integrable function f on H^d is a one parameter family of bounded operators on L 2 (R^d), we define (by…
The Heisenberg group, here denoted $H$, is the group of all $3\times 3$ upper unitriangular matrices with entries in the ring $\mathbb{Z}$ of integers. A.G. Myasnikov posed the question of whether or not the universal theory of $H$, in the…
In non-commutative field theories conventional wisdom is that the unitarity is non-compatible with the perturbation analysis when time is involved in the non-commutative coordinates. However, as suggested by Bahns et.al. recently, the root…
In our previous work [1] we described quantized computation using Horn clauses and based the semantics, dubbed as entanglement semantics as a generalization of denotational and distribution semantics, and founded it on quantum probability…
We give explicit expressions for \vSapovalov elements in Type A Lie algebras and superalgebras. Explicit expressions were already given in arXiv:1710.10528 Section 9, using non-commutative determinants, and in fact our first main results,…
A countable group $G$ is said to be \emph{matricial field} (MF) if it admits a strongly converging sequence of approximate homomorphisms into matrices; i.e, the norms of polynomials converge to those in the left regular representation. $G$…
Let K be a field and \tilde{K} denote the set of all r \in K for which there exists a finite set A(r) with {r} \subseteq A(r) \subseteq K such that each mapping f:A(r) \to K that satisfies: if 1 \in A(r) then f(1)=1, if a,b \in A(r) and a+b…
We establish completeness for intuitionistic first-order logic, iFOL, showing that a formula is provable if and only if its embedding into minimal logic, mFOL, is uniformly valid under the Brouwer Heyting Kolmogorov (BHK) semantics, the…
We consider a finite abelian group $M$ of odd exponent $n$ with a symplectic form $\omega: M\times M\to \mu_n$ and the Heisenberg extension $1\to \mu_n\to H\to M\to 1$ with the commutator $\omega$. According to the Stone - von Neumann…
Henselian elements are roots of polynomials which satisfy the conditions of Hensel's Lemma. In this paper we prove that for a finite field extension $(F|L,v)$, if $F$ is contained in the absolute inertia field of $L$, then the valuation…
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…
Given a henselian valuation, we study its definability (with and without parameters) by examining conditions on the value group. We show that any henselian valuation whose value group is not closed in its divisible hull is definable in the…
A mathematically rigorous Hamiltonian formulation for classical and quantum field theories is given. New results include clarifications of the structure of linear fields, and a plausible formulation for nonlinear fields. Many mathematical…
We construct an ordered set of commutators in a partially commutative nilpotent group $F(X; \Gamma; \mathfrak N_m)$. This set allows us to define a canonical form for each element of $F(X; \Gamma; \mathfrak N_m)$. Namely, we construct a…
We study the existential (and parts of the universal-existential) theory of equicharacteristic henselian valued fields. We prove, among other things, an existential Ax-Kochen-Ershov principle, which roughly says that the existential theory…
We study the distinction of the Steinberg representation of a split reductive group $G$ with respect to a split symmetric subgroup $H \subset G$. We relate this distinction problem to a problem about the existence of a non-zero harmonic…