Related papers: Interpreting a field in its Heisenberg group

In this note we study one-dimensional definable sets in power series fields with perfect residue fields. Using the description of automorphisms given by Schilling, in \cite{S44}, we show that such sets are unions of existentially definable…

Given any number field, we prove that there exist arbitrarily shaped constellations consisting of pairwise non-associate prime elements of the ring of integers. This result extends the celebrated Green-Tao theorem on arithmetic progressions…

Let $j(z)$ be the modular $j$-invariant function. Let $\tau$ be an algebraic number in the complex upper half plane $\mathbb{H}$. It was proved by Schneider and Siegel that if $\tau$ is not a CM point, i.e.,…

We compare three notions of effectiveness on uncountable structures. The first notion is that of a $\real$-computable structure, based on a model of computation proposed by Blum, Shub, and Smale, which uses full-precision real arithmetic.…

Given any linear isometry from a Hilbert space to its square one can explicitly construct a so-called Pythagorean unitary representation of Richard Thompson's group F. We introduce a condition on the isometry implying that the associated…

Let $\mathcal{K}=(K,v,\ldots)$ be a dp-minimal expansion of a non-trivially valued field of characteristic $0$ and $\mathcal{F}$ an infinite field interpretable in $\mathcal{K}$. Assume that $\mathcal{K}$ is one of the following: (i)…

This paper presents a sequent calculus and a dual domain semantics for a theory of definite descriptions in which these expressions are formalised in the context of complete sentences by a binary quantifier $I$. $I$ forms a formula from two…

Hartree-Fock-Bogolyubov (HFB) calculations making use of a recently proposed microscopic effective pairing interaction are presented. The interaction was shown to reproduce the pairing properties provided by the realistic $AV18$ force very…

Let $G$ be a transitive permutation group acting on $\Omega$. In this paper, we introduce and study the parameter ${\bf m}(G)$, which denotes the size of the smallest set of points $A$ such that, for every permutation $g\in G$, $A \cap A^g$…

Let ${\mathscr G}$ be a linear algebraic group over $k$, where $k$ is an algebraically closed field, a pseudo-finite field or the valuation ring of a nonarchimedean local field. Let $G= {\mathscr G}(k)$. We prove that if $\gamma, \delta\in…

The aim of this paper is to study some properties of left translates of a square integrable function on the Heisenberg group. First, a necessary and sufficient condition for the existence of the canonical dual to a function $\varphi\in…

We consider the first quantised approach to quantum field theory coupled to a non-Abelian gauge field. Representing the colour degrees of freedom with a single family of auxiliary variables the matter field transforms in a reducible…

We determine the conditions for the existence of non-transverse factorizing magnetic fields in general spin arrays with anisotropic XYZ couplings of arbitrary range. It is first shown that a uniform maximally aligned completely separable…

We prove that the Steinberg representation of a connected reductive group over an infinite field is irreducible. For finite fields, this is a classical theorem of Steinberg and Curtis.

A 3-parametric two-sided deformation of Heisenberg algebra (HA), with p,q-deformed commutator in the l.h.s. of basic defining relation and certain deformation of its r.h.s., is introduced and studied. The third deformation parameter \mu…

Let $H$ be an infinite dimensional separable Hilbert space, $B(H)$ the $C^*$-algebra of all bounded linear operators on $H,$ $U(B(H))$ the unitary group of $B(H)$ and ${\cal K}\subset B(H)$ the ideal of compact operators. Let $G$ be a…

Let $U$ be an algebraic subgroup of the group of $n\times n$ upper-triangular matrices with units on the diagonal over a finite field of large enough characteristic, and $\mathfrak{n}$ be the Lie algebra of $U$. The main tool in…

We develop the representation theory intrinsic to Algebraic Phase Theory (APT) in regimes where defect and canonical filtration admit faithful algebraic realisation. This extends the framework introduced in earlier work by incorporating a…

A natural notion of higher order rectifiability is introduced for subsets of Heisenberg groups $\mathbb{H}^n$ in terms of covering a set almost everywhere by a countable union of $(\mathbf{C}_H^{1,\alpha},\mathbb{H})$-regular surfaces, for…

Given a finitely generated subgroup $H$ of a free group $F$, we present an algorithm which computes $g_1,\ldots,g_m\in F$, such that the set of elements $g\in F$, for which there exists a non-trivial $H$-equation having $g$ as a solution,…