Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.15469

Bimodule duality and Artin's problem for skew field extensions

Niels Lauritzen·Jesper Funch Thomsen
View original source ↗Read source document ↗Export metadata ↓

Abstract

Emil Artin asked whether the left and right dimensions of an extension of skew fields must agree. Cohn and Schofield gave counterexamples through elaborate constructions. It has been a long-standing open question whether there is any division ring, infinite-dimensional over its center, for which the left and right indices agree whenever at least one is finite. We give the first such examples. Call a division ring index-symmetric if every division subring with at least one finite index has equal finite indices. Using a duality formula for bimodules over division algebras, we prove that every twisted Calabi--Yau division algebra is index-symmetric. The examples include the Weyl skew fields and, more generally, the quotient division rings of rings of differential operators on smooth affine varieties in characteristic zero. Further examples are the quotient division rings of enveloping algebras of finite-dimensional Lie algebras, Ore extensions of twisted Calabi--Yau noetherian domains, quantum affine spaces, and group algebras of torsion-free polycyclic-by-finite groups.

Explore related subjects

math.RAmath.QA

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Niels Lauritzen, Jesper Funch Thomsen. 2026-10-11. Bimodule duality and Artin's problem for skew field extensions. https://arxiv.org/abs/2610.15469

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Orthogonality of Defect Ideals for Jordan Homomorphisms

Let $φ\colon A\to B$ be a Jordan homomorphism of associative algebras over a field $\mathbb{F}$ of characteristic different from $2$, with defect ideals $V_φ$ and $W_φ$. If $A=\operatorname{Alg}([[A,A],[A,A]])$, then $V_φW_φ=W_φV_φ=0$ and $V_φ\cap W_φ\subseteq\operatorname{Ann}(\operatorname{Alg}(φ(A)))$. Moreover, the induced map modulo $V_φ\cap W_φ$ is standard. The annihilator bound is sharp, even in finite dimension. As an application, when $A$ is unital and $A=K(A)$, every Jordan homomorphism defined on $A$ is splittable and standard. In this setting, the corresponding result of Brešar and Zelmanov holds without the surjectivity hypothesis.

math.RA↗
arXiv2026

On the Real Waring Rank of a Biharmonic Form

We develop an effective method for determining the real Waring rank and the real border rank of biharmonic binary forms. By means of real apolarity, we convert both of these problems into membership questions for regions bounded by a hypocycloid and an epicycloid. We further provide a computable algebraic criterion for the relevant memberships, which involves only the signs of certain real-valued resultants.

math.RA↗
arXiv2026

Actions of central Morita monoidal groupoids, and seven term exact sequences of all types

We introduce a strict monoidal groupoid associated with a given commutative ring $K$. It acts on the Clifford extension systems of $K$-central algebras which are graded by a group $G$, as well as on the generalized collective characters, both of type $ϕ\in$ Hom$(G,$ Aut$(K))$. These actions partition the two sets above with respect to graded Morita equivalence. By that we establish a seven term exact sequence of type $ϕ$, which boils down to the celebrated Chase-Harrison-Rosenberg sequence when $ϕ$ is Galois.

math.RA↗