Glider Brauer-Severi varieties of central simple algebras (Q2306654)

Let \(A\) be a central simple algebra with filtration \(F\) and center \(K\) and write \(B\) for the subring of \(A\) of filtration degree 0. Write \(R\) for the subring of \(K\) of filtration degree 0. Assume that the filtration \(F\) is separated, exhaustive and unbounded. A left \(FA\)-glider representation is given by a left \(B\)-module \(M\) embedded in a left \(A\)-module \(\Omega\) together with a chain of descending left \(B\)-modules \[ \Omega \supset M_0 \supset M_1 \supset M_2 \supset \dots \] with \(M_0 = M\) and such that for all \(i \leq j\), \(F_iAM_j \subset M_{j-i}\), where the action is the action induced by the \(A\)-action on \(\Omega\). A left glider representation \(M\) is then said to be irreducible if every subglider \(N \subset M\) is trivial. We call \(M \subset A\) a left glider ideal of \(FA\) if \(M\) is a left \(FA\)-glider representation with \(\Omega = A\). For a filtration \(F\), define \(\operatorname{GBS}_F(A)\) to be the variety of irreducible left glider ideals of \(FA\). The variety \(\operatorname{GBS}(A)\), called the ``glider Brauer-Severi variety of \(A\)'', is thus defined to be the union of all \(\operatorname{GBS}_F(A)\) where \(F\) ranges over the different separated, exhaustive and unbounded filtrations of \(A\). If we restrict to filtrations \(FA\) that induce separated, exhaustive and unbounded filtrations \(FK\) then the union obtained is denoted by \(\operatorname{GBS}^K(A)\). For the special case of \(A=K\), the glider Brauer-Severi variety turns up to be nontrivial in general, and its structure is (given in Theorem 3.11) \[ \operatorname{GBS}(K)=R(K) \times \mathbb{Z}, \] where \(R(K)\) is the Zariski-Riemann space of \(R\) as a subring of \(K\). Another result of interest is Corollary 4.6 which states that \(\operatorname{GBS}^K(A)\) is actually \(\operatorname{BS}(A) \times \operatorname{GBS}(K)\) where \(\operatorname{BS}(A)\) is the classical Brauer-Severi variety of \(A\).