Questions tagged [division-algebras]
The division-algebras tag has no usage guidance.
29
questions with no upvoted or accepted answers
14
votes
1
answer
2k
views
Finite dimensional real division algebras
A celebrated theorem of Milnor and Kervaire asserts that any finite dimensional (not necessarily associative, unital) division algebra over the real numbers has dimension 1,2,4 or 8. This result is ...
8
votes
0
answers
296
views
Finding a cyclic cubic extension of a field
Let $K$ be a field and let $E/K$ be a Galois extension of degree 6 with $\text{Gal}(E/K) = S_3$, the symmetric group on 3 letters. Pick two different transpositions $s_1, s_2$ in $S_3$ (hence $s_1s_2$ ...
7
votes
0
answers
208
views
Projective modules over maximal orders of central simple algebras
In "Supersingular K3 surfaces" by TetsuJi Shioda, when proving Theorem 3.5 (Deligne) he considers a supersingular elliptic curve $C$ over an algebraic closed field of $\text{char}\ p>0$ and let $R ...
7
votes
0
answers
481
views
mod $p$ Jacquet-Langlands correspondence
Let $F$ be a local field of characteristic $0$. Let $D$ be division algebra over $F$ of dimension $n^2$. The construction of irreducible complex representations of $D^*$ is known by Howe, Zink, and ...
7
votes
1
answer
507
views
When is $GL_m(R)$ generated by elementary and diagonal matrices?
Let $D$ be a division ring and $R=D[t_1,\ldots,t_n]$ the polynomial ring in $n$ variables. Now let $GL_m(R),\,E_m(R)$ be the usual general linear group and its subgroup generated by the elementary ...
6
votes
0
answers
491
views
Proof of a result by Zhang in Artin's seminal paper
In his seminal paper, Some open problems on three-dimensional graded domains, M. Artin proposed a very small list of possible division rings of fractions that can appear as 'noncommutative function ...
6
votes
0
answers
296
views
Unital nonalternative real division algebras of dimension 8
Cross-posted from Math SE because I felt like it might be too obscure for there. I'm sorry if this is the wrong place for it.
EDIT: This question now has an answer over there
The finite-dimension ...
5
votes
0
answers
161
views
Real endomorphism algebra of abelian surface is never $\mathbb{C}$?
I'm reading about the Sato Tate conjecture for genus 2, and I came to the paper here. This breaks the conjecture into 6 different parts, based on the real endomorphism algebra of the surface, or the ...
4
votes
0
answers
220
views
Fixing error in a proof from "Central simple algebras and Galois cohomology"
I'm trying to understand the proof of Proposition 2.2.10 in Gille-Samuely's book "Central simple algebras and Galois cohomology" (2nd edition), and I believe it has an error.
Here's the ...
4
votes
0
answers
87
views
Is $x \in A_1$ left algebraic over the subalgebra generated by $p$ and $q$, $[q,p]=1$?
Let $A_1:=A_1(x,y,k)$ be the first Weyl algebra over a field $k$ of characteristic zero,
namely, the $k$-algebra generated by $x$ and $y$ with relation $yx-xy=1$.
Let $f:(x,y) \mapsto (p,q)$ be a $k$-...
4
votes
0
answers
255
views
Dimension of the moduli space of abelian varieties with a prescribed endomorphism algebra
Let $D$ be a division algebra over a number field $K$, and consider abelian varieties $A$ over the complex numbers, of dimension $g$ with an action of (an order of) $D$. Is it known when this set is ...
4
votes
0
answers
358
views
When is a crossed-product algebra a division algebra?
Let $L/K$ be a finite Galois extension with Galois group $G$. For every 2-cocycle $\gamma$ of $G$ with values in $L^\times$ there is the crossed-product $K$-algebra
$$S(L,G,\gamma) = \bigoplus_{g\in ...
4
votes
0
answers
816
views
Hermitian forms over quaternion algebra
Notations: Let $Q=(a,b)$ be a quaternion algebra over a field of characteristic $\neq 2$, i.e. $i^2=a, j^2=b, k=ij, ij=-ji$. Consider $K=k(t)(\alpha)$, where $\alpha=\sqrt{at^2+b}$. Let $\sigma=Int(i)\...
3
votes
0
answers
100
views
Finite dimensional real division algebra up to isotopy
Finite dimensional real division (non necessarily associative) algebras exist in dimensions 1, 2, 4, and 8. The standard example is a Hurwitz algebra $(A,*)$: reals, complexes, quaternions, octonions. ...
3
votes
0
answers
281
views
Eichler orders in a certain quaternion algebra
Let us consider a totally real number field $K$ such that $[K \colon {\Bbb Q}] = {\mathrm{odd}}$. We shall consider the quaternion algebra $D$ over $K$ such that $D$ splits everywhere at finite places ...
3
votes
0
answers
94
views
Multiplication law in a division algebra of dimension 9 over a non-archimedean local field
Let $k$ be a non-archimedean local field, for example, a $p$-adic field (a finite extension of the filed ${\Bbb Q}_p$ of $p$-adic numbers).
It is well known that there is a canonical isomorphism
$${\...
3
votes
0
answers
75
views
On noncommutative transcendence degrees
The original transcendence degree for (noncommutative) division algebras is the Gelfand-Kirillov transcendence degree, due to I. Gelfand and K. Kirillov ([ Sur les corps li´es aux algèbres ...
3
votes
0
answers
212
views
On the Gelfand-Kirillov Conjecture
The base field $k$ is of zero characteristic.
Notation: $A_{n,s}(k):= A_n(k(x_1,\ldots,x_s))$, the Weyl agebra over a purely transcedental extension of the base field; $F_{n,s}(k)$, the Weyl field, is ...
3
votes
0
answers
54
views
A rationality question over skew-fields
Let $K$ be a skew-field, $k$ its center, and $V$ a finite-dimensional left vector space over $K$. Assume that $E$ is a $k$-subalgebra of $\mathrm{End}_K(V)$, and that $E$ is a (commutative) field.
...
3
votes
0
answers
162
views
Free skew fields over sets of different cardinal
Let $K$ be a field and let $X$ be a set. Denote by $\mathcal D_K(X)$ the free skew $K$-field on $X$.
Assume that $|X|\ne |Y|$. Is it true that $\mathcal D_K(X)$ and
$\mathcal D_K(Y)$ are not ...
3
votes
0
answers
66
views
Spliting of division algebras over a ring
Let $D$ be a central division algebra over $\mathbb{Q}_p$, of dimension $n^2$. For example, let $D=E_n(\Pi)$, where $E_n$ is the unramified degree extension of $\mathbb{Q}_p$ such that $\Pi^n=p$ and $\...
2
votes
0
answers
103
views
Product of two involutions in $\mathrm{PSL}_2(D)$
Let $D$ be a division ring and $\mathrm{PSL}_2(D)$. Suppose that $\overline{A}\in\mathrm{PSL}_2(D)$ where $A\in \mathrm{SL}_2(D)$. If $\overline{A}$ is identity, then $\overline{A}$ can express two ...
2
votes
0
answers
50
views
Subalgebra of a crossed product central division algebra, generated by powers of group elements
Let $k=\mathbb C$, let $K$ be a finite extension of the field $k(X_1,X_2,X_3)$ of rational functions in $3$ variables, let $L/K$ be a finite Galois extension of commutative fields and let the Galois ...
1
vote
0
answers
65
views
The number of types of maximal orders in a definite quaternion algebra containing a certain order
I'm referring On the imbeddings of imaginary quadratic orders in definite quaternion orders by Brzezinski and Eichler here.
Let $B$ be a definite quaternion algebra over $\mathbb{Q}$. Given an order $\...
1
vote
0
answers
65
views
Cardinality or covolume of $S$-units in quaternion algebras
Let $D=\left(\frac{a,b}{\mathbb{Q}}\right)$ be a quaternion algebra over $\mathbb{Q}$.
Suppose $D$ is ramified at a finite set $S$ of places and $\infty\in S$.
It is known that the $S$-units (the unit ...
1
vote
0
answers
98
views
Literature for noncommutative birational invariants
Let $k$ be an algebraically closed field of zero characteristic. All fields under discussion are fields over $k$, and all division rings are division algebras over $k$.
There is rich theory of ...
1
vote
0
answers
54
views
Commutator length of the center $Z(D')$ of $D'$ in a division ring $D$
Let $D$ be a division ring, and $D^\times$ the multiplicative group of $D$. Denoted $D'$ (resp. $Z(D')$) by the derived subgroup of $D^\times$ (resp. the center of $D'$). Here, we consider $D'$ ...
1
vote
0
answers
65
views
There is a ring with multiplication. Can we find a formula for division based on formula for multiplication?
Studying divergent integrals, I found a good formula for their multiplication:
$\int_0^\infty f(x)dx\cdot\int_0^\infty g(x)dx=\int_0^\infty D^2 \Delta^{-1} \left(\Delta D^{-2}f(x)\cdot\Delta D^{-2}g(x)...
1
vote
0
answers
80
views
Isotropy of skew-Hermitian forms over division algebras
Assume char(F) $\neq$ 2.
Let $D$ be a central division algebra over a field $F$ and $h: V \rightarrow D$ be an anisotropic skew-Hermitian form. We can easily see that $h_{\bar{F}}$ is totally ...