Related papers: Spiegelungssatz: a combinatorial proof for the 4-r…
We investigate Eisenstein discriminants, which are squarefree integers $d \equiv 5 \pmod{8}$ such that the fundamental unit $\varepsilon_d$ of the real quadratic field $K=\mathbb{Q}(\sqrt{d})$ satisfies $\varepsilon_d \equiv 1…
We present several new examples of reflection principles which apply to both class groups of number fields and picard groups of of curves over $\mathbb{P}^{1}/\mathbb{F}_{p}$. This proves a conjecture of Lemmermeyer about equality of 2-rank…
Given the projections of two semialgebraic sets defined by polynomial matrix inequalities, it is in general difficult to determine whether one is contained in the other. To address this issue we propose a new matrix Positivstellensatz that…
In this paper we continue the study of group representations which are counterexamples to the Ize conjecture. As in the previous papers by Lauterbach [14] and Lauterbach & Matthews [15] we find new infinite series of finite groups leading…
We construct a subalgebra of the Hecke algebra of type A. This is a generalization of the group algebra of the alternating groups. All the equivalent classes of irreducible representations of the subalgebra and the q-analogue of the…
Specht ideals are symmetric ideals in the polynomial ring generated by Specht polynomials associated with group representations. These ideals were previously studied for reflection groups of types $A$ and $B$, where their inclusion…
We extend the Cohen-Lenstra heuristics to the setting of ray class groups of imaginary quadratic number fields, viewed as exact sequences of Galois modules. By asymptotically estimating the mixed moments governing the distribution of a…
A simple theorem on proportionality of indefinite real quadratic forms is proved, and is used to clarify the proof of the invariance of the interval in Special Relativity from Einstein's postulate on the universality of the speed of light;…
We revise the enumeration of the imprimitive rank two quaternionic reflection groups, adding missing groups and establishing isomorphisms between groups in the published tables. The isomorphisms are obtained as a consequence of the…
Let $K=\mathbb{Q}(\sqrt[4]{pd^{2}})$ be a real pure quartic number field and $k=\mathbb{Q}(\sqrt{p})$ its real quadratic subfield, where $p\equiv 5\pmod 8$ is a prime integer and $d$ an odd square-free integer coprime to $p$. In this work,…
Given a finite family of compact subsets of the complex plane we propose a certificate of mutual non-overlapping with respect to area measure. The criterion is stated as a couple of positivity conditions imposed on a four argument…
For any given Cuntz semigroup, we introduce a function associated to it, called the ``Rank Ratio Function". This function ensures global control over the oscillation of the rank of any pair of elements in the Cuntz semigroup and, also,…
Given a pair of regular quadratic forms over $\mathbb{Q}$ which are in the same genus and a finite set of primes $P$, we show that there is an effective way to determine a rational equivalence between these two quadratic forms which are…
Let $K$ be an imaginary quadratic field of discriminant $d_K$, and let $\mathfrak{n}$ be a nontrivial integral ideal of $K$ in which $N$ is the smallest positive integer. Let $\mathcal{Q}_N(d_K)$ be the set of primitive positive definite…
We study L-equivalence in the Grothendieck ring of varieties and its interaction with categorical invariants of cubic fourfolds. Assuming a Derived Torelli-type criterion for Kuznetsov components and a mild condition on the discriminant of…
We prove that a general $n$-fold quadric bundle $\mathcal{Q}^{n-1}\rightarrow\mathbb{P}^{1}$, over a number field, with $(-K_{\mathcal{Q}^{n-1}})^n > 0$ and discriminant of odd degree $\delta_{\mathcal{Q}^{n-1}}$ is unirational, and that…
In quantum information theory, the Schmidt rank is a fundamental measure for the entanglement dimension of a pure bipartite state. Its natural definition uses the Schmidt decomposition of vectors on bipartite Hilbert spaces, which does not…
Suppose $F=\mathbb{Q}(\sqrt{-p_1\dotsm p_t})$ is an imaginary quadratic number field with distinct primes $p_1,\dots,p_{t}$, where $p_i\equiv 1\pmod{4}$ ($i=1,\dots,t-1$) and $p_t\equiv 3\pmod{4}$. We express the possible values of the…
Let $K$ be a field and $D$ be a finite-dimensional central division algebra over $K$. We prove a variant of the Nullstellensatz for $2$-sided ideals in the ring of polynomial maps $D^n \to D$. In the case where $D = K$ is commutative, our…
Inspired by the theory of apartness relations of Scott, we establish a positive theory of dissimilarity valued in an involutive quantale $\mathsf{Q}$ without the aid of negation. It is demonstrated that a set equipped with a…