Related papers: Selectivity in Quaternion Algebras

Archdeacon, in his seminal paper $[1]$, defined the concept of Heffter array in order to provide explicit constructions of $\mathbb{Z}_{v}$-regular biembeddings of complete graphs $K_v$ into orientable surfaces. In this paper, we first…

We give sufficent conditions for a derivation of a $k$-algebra $A$ of finite type to be $\infty$-integrable in the sense of Hasse-Schmidt, when $A$ is a complete intersection, or when $A$ is reduced and $k$ is a regular ring. As a…

Let $G$ be a semisimple algebraic group over the complex numbers and $K$ be a connected reductive group mapping to $G$ so that the Lie algebra of $K$ gets identified with a symmetric subalgebra of $\mathfrak{g}$. So we can talk about…

Let $k$ be a field, and let $L$ be an \'etale k-algebra of finite rank. If $a$ is a nonzero element in $k$, let $X_a$ be the affine variety defined by the norm equation $N_{L/k}(x) = a$. Assuming that $L$ has at least one factor that is a…

Let R be a von Neumann algebra acting on a Hilbert space H and let R_sa be the set of selfadjoint elements of R. It is well known that R_sa is a lattice with respect to the usual partial order ≤ if and only if R is abelian. We define…

The existence of a well-behaved dimension of a finite von Neumann algebra (see [19]) has lead to the study of such a dimension of finite Baer *-rings (see [26]) that satisfy certain *-ring axioms (used in [9]). This dimension is closely…

We show that a criterion for an integral domain to be a principal ideal domain (PID), due to Dedekind and Hasse, can also be applied in quaternion orders, and that it can be used to build a finite algorithm to determine if a given order is…

An algebra $A$ satisfies the Dixmier-Moeglin equivalence if we have the equivalences: $$P~{\rm primitive}\iff P~{\rm rational}\iff P ~{\rm locally~closed~}\qquad~{\rm for}~P\in {\rm Spec}(A).$$ We study the robustness of the Dixmier-Moeglin…

Let $A$ be the product of an abelian variety and a torus defined over a number field $K$. Fix some prime number $\ell$. If $\alpha \in A(K)$ is a point of infinite order, we consider the set of primes $\mathfrak p$ of $K$ such that the…

Let $K$ be a number field with ring of integers $\mathcal{O}_K$ and let $G$ be a finite group. Given a $G$-Galois $K$-algebra $K_h$, let $\mathcal{O}_h$ denote its ring of integers. If $K_h/K$ is tame, then a classical theorem of E. Noether…

A theorem of Albert-Draxl states that if a tensor product of two quaternion division algebras $Q_1$, $Q_2$ over a field $F$ is not a division algebra, then there exists a separable quadratic extension of $F$ that embeds as a subfield in…

The classical Noether Normalization Lemma states that if $S$ is a finitely generated algebra over a field $k$, then there exist elements $x_1,\dots,x_n$ which are algebraically independent over $k$ such that $S$ is a finite module over…

Given a field $F$, an \'etale extension $L/F$ and an Azumaya algebra $A/L$, one knows that there are extensions $E/F$ such that $A \otimes_F E$ is a split algebra over $L \otimes_F E$. In this paper we bound the degree of a minimal…

In this paper we develop an axiomatic setup for algorithmic homological algebra of Abelian categories. This is done by exhibiting all existential quantifiers entering the definition of an Abelian category, which for the sake of…

In this paper, as a generalization to content algebras, we introduce amount algebras. Similar to the Anderson-Badawi $\omega_{R[X]}(I[X])=\omega_R(I)$ conjecture, we prove that under some conditions, the formula…

Let $(A,\sigma)$ be a central simple algebra with an orthogonal involution. It is well-known that $O(A,\sigma)$ contains elements of reduced norm $-1$ if and only if the Brauer class of $A$ is trivial. We generalize this statement to…

We show that a compact quaternionic-K\"ahler manifold with positive scalar curvature and nonnegative sectional curvature is isometric to a symmetric space. This extends a classical theorem of Berger.

Given a fixed quadratic extension K of Q, we consider the distribution of elements in K of norm 1 (denoted N). When K is an imaginary quadratic extension, N is naturally embedded in the unit circle in C and we show that it is…

A conjecture of Amitsur states that two Severi-Brauer varieties are birationally isomorphic if and only if the underlying algebras are the same degree and generate the same cyclic subgroup of the Brauer group. It is known that generating…

Let X be an Enriques surface over the field of complex numbers. We prove that there exists a nontrivial quaternion algebra A on X. Then we study the moduli scheme of torsion free A-modules of rank one. Finally we prove that this moduli…