Related papers: The spinor type number formula for totally definit…
Let $K$ be a totally real number field of degree $n$ over $\mathbb{Q}$, with discriminant and regulator $\Delta_K, R_K$ respectively. In this paper, using a similar method to van Woerden, we prove that the number of classes of perfect unary…
Let us consider the pure quartic fields of the form $\K=\Q(\sqrt[4]{p})$ where $0<p\equiv 7\pmod{16}$ is a prime integer. We prove that the $2$-class group of $\K$ has order $2$. As a consequence of this, if the class number of $\K$ is $2$,…
For a perfectoid ring $R$, we compute the full $\mathrm{RO}(\mathbb T)$-graded ring $\mathrm{TF}_\bigstar(R;\mathbf Z_p)$. This extends and simplifies work of Gerhardt and Angeltveit-Gerhardt. In even degrees, we find an…
In a constructive setting, no concrete formulation of ordinal numbers can simultaneously have all the properties one might be interested in; for example, being able to calculate limits of sequences is constructively incompatible with…
We consider the problem of explicitly computing dimensions of spaces of automorphic or modular forms in level one, for a split classical group $\mathbf{G}$ over $\mathbb{Q}$ such that $\mathbf{G}(\R)$ has discrete series. Our main…
It is well known that every modular form~$f$ on a discrete subgroup $\Gamma\leqslant \textrm{SL}(2, \mathbb R)$ satisfies a third-order nonlinear ODE that expresses algebraic dependence of the functions~$f$, $f'$, $f''$ and~$f'''$. These…
In the context of space-time block codes (STBCs), the theory of generalized quaternion and biquaternion algebras (i.e., tensor products of two quaternion algebras) over arbitrary base fields is presented, as well as quadratic form theoretic…
Let $P$ be a principal indecomposable module of a finite group $G$ in characteristic $2$ and let $\varphi$ be the Brauer character of the corresponding simple $G$-module. We show that $P$ affords a non-degenerate $G$-invariant quadratic…
We present an explicit basis for orders of arbitrary level N>1 in definite rational quaternion algebras. These orders have applications to computations of spaces of elliptic and quaternionic modular forms.
The Steinitz class of a number field extension K/k is an ideal class in the ring of integers O_k of k, which, together with the degree [K:k] of the extension determines the O_k-module structure of O_K. We call R_t(k,G) the classes which are…
A class number formula is proved for extended ring class fields $L_{\mathcal{O},9}$ over imaginary quadratic fields $K_d = \mathbb{Q}(\sqrt{-d})$, in which the prime $p = 3$ splits, by determining the fields generated by the periodic points…
We investigate the product structure of hereditary graph classes admitting strongly sublinear separators. We characterise such classes as subgraphs of the strong product of a star and a complete graph of strongly sublinear size. In a more…
There are well known algorithms to compute the class group of the maximal order $\mathcal{O}_K$ of a number field $K$ and the group of invertible ideal classes of a non-maximal order $R$. In this paper we explain how to compute also the…
We study the secant variety of the spinor variety, focusing on its equations of degree three and four. We show that in type $D_n$, cubic equations exist if and only if $n\ge 9$. In general the ideal has generators in degrees at least three…
This paper is devoted to the specific class of pseudoconformal mappings of quaternion and octonion variables. Normal families of functions are defined and investigated. Four criteria of a family being normal are proven. Then groups of…
It is well-known that the Clifford algebra Cl(2n) can be given a description in terms of creation/annihilation operators acting in the space of inhomogeneous differential forms on C^n. We refer to such inhomogeneous differential forms as…
We give examples of quaternion and octonion division algebras over a field $F$ of characteristic $2$ that split over a purely inseparable extension $E$ of $F$ of degree $\geq 4$ but that do not split over any subextension of $F$ inside $E$…
In this paper, we continue our study of the tensor product structure of category $\mathcal W$ of weight modules over the Hopf-Ore extensions $kG(\chi^{-1}, a, 0)$ of group algebras $kG$, where $k$ is an algebraically closed field of…
This paper deals more generally with @-numbers defined as follows: Call `\textit{alpha number}' of order $(\underline{\alpha},\bar{\alpha})\in\mathbb{H}^2$, (denote its family by @$_{(\underline{\alpha},\bar{\alpha})\in\mathbb{H}^2;…
Penrose's two-spinor notation for $4$-dimensional Lorentzian manifolds can be extended to two-component notation for quaternionic manifolds, which is a very useful tool for calculation. We construct a family of quaternionic complexes over…