Here pdf-files of older NeverEndingBooks-posts on geometry. For more recent posts go here.
Leave a CommentTag: Brauer-Severi
Half a year ago, it all started with NeverEndingBooks in which I set out a rather modest goal:
Why NeverEndingBooks? We all complain about exaggerated prices of mathematical books from
certain publishers, poor quality of editing and refereeing offered, as well as far too stringent book-contracts. Rather than lamenting about this, NeverEndingBooks gives itself one year to learn (and report) about the many aspects of the book-production cycle and to explore whether an alternative exists. If at the end of this year we will have produced at least one book this experiment will be considered a success. If,
however, we find out that it is an impossible task, we will explain where it all went wrong and why it is better to stick to an established PublishingHouse and accept its terms.
I assume we did manage to do it after all as you may check by visiting our storefront :
www.lulu.com/neverendingbooks. However, it all turned out to be quite different from what I had in mind half a year ago. So, perhaps it’s time to recap.
Originally, I’d planned to partner-up with the publisher-on-demand LightningSource but in the process they did require a VAT-number. In Belgium, the safest way to get one is to set up a non-profit organization (a VZW as we call
it). But then you have to write down your legal statutes, get them published in the Moniteur Belge (at a hefty price) but what really put me off was that you have to set up a “board of directors” consisting of at least three
people. I don’t mind following a folly but if I have to involve others I usually pass, so I abandoned the whole idea.
Still, I couldn’t help talking about the VAT-problem and at a certain time there was an idea to revive a sleeping VZW (=non-profit organization) of the Belgian Mathematical Society, the MaRC (MAthematical Research Centre), the statutes of which allowed to become a publishing house. But, this wouldn’t involve just two other people but the whole BMS so I decided
to forget all about it and have a short vacation in France together with a few (former)PhD-students.
Given plenty of sun, cheese and whine (not necessarily in that order) sooner or later we had to talk about _the_ problem. For Raf it was the first time he heard about it but when we realized I thought one could easily publish books well under 25 dollars he was immediately interested and insisted we should set up a board of directors and continue with the plan.
The different roles to play in the board were more or less self-evident : I had to be the treasurer (given the fact that I was the only with a secure, though small, income), Geert had to become chairman (being the only one possessing suits), Raf would be secretary (being the only one who could write better Flemish than English) and Jan or Stijn would do PR (as they are the only ones having enough social skills).
So, we went back willing to go through the whole process (at least 3 months) of obtaining a VAT-number.
But then Raf got so interested in the whole idea that he explored other possibilities (I think he was more motivated by the fact that his sister wanted to publish her thesis rather than anything else) and came up with lulu.com.
No legal hassle, no VAT-numbers, nothing required (or so it seemed). Still, before risking his sister’s thesis he wanted to check the service out and as it is a lot easier to take a book lying around rather than write one yourself he took my version 2 and published it at Lulu’s (since then this version is nicknamed Rothko@n).
Although I gave him the permission to do so, it didn’t feel right that people should pay even a small amount for a nicely bound unedited version 2. So, the last month and a half I’ve been editing and partially rewriting version 2 and the two volumes are now available!
Major changes are to the 4 middle chapters. There is now chapter 3 “Etale Technology” which contains all of the etale tricks scattered earlier in two chapters, chapter 4 ‚”Quiver Representations” collects all the
quiver material (again, scattered throughout the previous version). Chapter 5 ‚”Semisimple Representations” now includes recent material such as Raf’s characterization of the smooth locus of Cayley-smooth orders and our (together with Geert) classification of the central singularities, and chapter 6 ‚”Nilpotent Representations” now includes the material on Brauer-Severi varities which was in version 1 but somehow didn’t make it to version 2 before.
[Last time][1] we saw that for $A$ a smooth order with center $R$ the
Brauer-Severi variety $X_A$ is a smooth variety and we have a projective
morphism $X_A \rightarrow \mathbf{max}~R$ This situation is
very similar to that of a desingularization $~X \rightarrow
\mathbf{max}~R$ of the (possibly singular) variety $~\mathbf{max}~R$.
The top variety $~X$ is a smooth variety and there is a Zariski open
subset of $~\mathbf{max}~R$ where the fibers of this map consist of just
one point, or in more bombastic language a $~\mathbb{P}^0$. The only
difference in the case of the Brauer-Severi fibration is that we have a
Zariski open subset of $~\mathbf{max}~R$ (the Azumaya locus of A) where
the fibers of the fibration are isomorphic to $~\mathbb{P}^{n-1}$. In
this way one might view the Brauer-Severi fibration of a smooth order as
a non-commutative or hyper-desingularization of the central variety.
This might provide a way to attack the old problem of construction
desingularizations of quiver-quotients. If $~Q$ is a quiver and $\alpha$
is an indivisible dimension vector (that is, the component dimensions
are coprime) then it is well known (a result due to [Alastair King][2])
that for a generic stability structure $\theta$ the moduli space
$~M^{\theta}(Q,\alpha)$ classifying $\theta$-semistable
$\alpha$-dimensional representations will be a smooth variety (as all
$\theta$-semistables are actually $\theta$-stable) and the fibration
$~M^{\theta}(Q,\alpha) \rightarrow \mathbf{iss}_{\alpha}~Q$ is a
desingularization of the quotient-variety $~\mathbf{iss}_{\alpha}~Q$
classifying isomorphism classes of $\alpha$-dimensional semi-simple
representations. However, if $\alpha$ is not indivisible nobody has
the faintest clue as to how to construct a natural desingularization of
$~\mathbf{iss}_{\alpha}~Q$. Still, we have a perfectly reasonable
hyper-desingularization $~X_{A(Q,\alpha)} \rightarrow
\mathbf{iss}_{\alpha}~Q$ where $~A(Q,\alpha)$ is the corresponding
quiver order, the generic fibers of which are all projective spaces in
case $\alpha$ is the dimension vector of a simple representation of
$~Q$. I conjecture (meaning : I hope) that this Brauer-Severi fibration
contains already a lot of information on a genuine desingularization of
$~\mathbf{iss}_{\alpha}~Q$. One obvious test for this seemingly
crazy conjecture is to study the flat locus of the Brauer-Severi
fibration. If it would contain info about desingularizations one would
expect that the fibration can never be flat in a central singularity! In
other words, we would like that the flat locus of the fibration is
contained in the smooth central locus. This is indeed the case and is a
more or less straightforward application of the proof (due to [Geert Van
de Weyer][3]) of the Popov-conjecture for quiver-quotients (see for
example his Ph.D. thesis [Nullcones of quiver representations][4]).
However, it is in general not true that the flat-locus and central
smooth locus coincide. Sometimes this is because the Brauer-Severi
scheme is a blow-up of the Brauer-Severi of a nicer order. The following
example was worked out together with [Colin Ingalls][5] : Consider the
order $~A = \begin{bmatrix} C[x,y] & C[x,y] \\ (x,y) & C[x,y]
\end{bmatrix}$ which is the quiver order of the quiver setting
$~(Q,\alpha)$ $\xymatrix{\vtx{1} \ar@/^2ex/[rr] \ar@/^1ex/[rr]
& & \vtx{1} \ar@/^2ex/[ll]} $ then the Brauer-Severi fibration
$~X_A \rightarrow \mathbf{iss}_{\alpha}~Q$ is flat everywhere except
over the zero representation where the fiber is $~\mathbb{P}^1 \times
\mathbb{P}^2$. On the other hand, for the order $~B =
\begin{bmatrix} C[x,y] & C[x,y] \\ C[x,y] & C[x,y] \end{bmatrix}$
the Brauer-Severi fibration is flat and $~X_B \simeq \mathbb{A}^2 \times
\mathbb{P}^1$. It turns out that $~X_A$ is a blow-up of $~X_B$ at a
point in the fiber over the zero-representation.
[1]: http://www.neverendingbooks.org/index.php?p=342
[2]: http://www.maths.bath.ac.uk/~masadk/
[3]: http://www.win.ua.ac.be/~gvdwey/
[4]: http://www.win.ua.ac.be/~gvdwey/papers/thesis.pdf
[5]: http://kappa.math.unb.ca/~colin/
Around the
same time Michel Van den Bergh introduced his Brauer-Severi schemes,
[Claudio Procesi][1] (extending earlier work of [Bill Schelter][2])
introduced smooth orders as those orders $A$ in a central simple algebra
$\Sigma$ (of dimension $n^2$) such that their representation variety
$\mathbf{trep}_n~A$ is a smooth variety. Many interesting orders are smooth
: hereditary orders, trace rings of generic matrices and more generally
size n approximations of formally smooth algebras (that is,
non-commutative manifolds). As in the commutative case, every order has
a Zariski open subset where it is a smooth order. The relevance of
this notion to the study of Brauer-Severi varieties is that $X_A$ is a
smooth variety whenever $A$ is a smooth order. Indeed, the Brauer-Severi
scheme was the orbit space of the principal $GL_n$-fibration on the
Brauer-stable representations (see [last time][3]) which form a Zariski
open subset of the smooth variety $\mathbf{trep}_n~A \times k^n$. In fact,
in most cases the reverse implication will also hold, that is, if $X_A$
is smooth then usually A is a smooth order. However, for low n,
there are some counterexamples. Consider the so called quantum plane
$A_q=k_q[x,y]~:~yx=qxy$ with $~q$ an $n$-th root of unity then one
can easily prove (using the fact that the smooth order locus of $A_q$ is
everything but the origin in the central variety $~\mathbb{A}^2$) that
the singularities of the Brauer-Severi scheme $X_A$ are the orbits
corresponding to those nilpotent representations $~\phi : A \rightarrow
M_n(k)$ which are at the same time singular points in $\mathbf{trep}_n~A$
and have a cyclic vector. As there are singular points among the
nilpotent representations, the Brauer-Severi scheme will also be
singular except perhaps for small values of $n$. For example, if
$~n=2$ the defining relation is $~xy+yx=0$ and any trace preserving
representation has a matrix-description $~x \rightarrow
\begin{bmatrix} a & b \\ c & -a \end{bmatrix}~y \rightarrow
\begin{bmatrix} d & e \\ f & -d \end{bmatrix}$ such that
$~2ad+bf+ec = 0$. That is, $~\mathbf{trep}_2~A = \mathbb{V}(2ad+bf+ec)
\subset \mathbb{A}^6$ which is an hypersurface with a unique
singular point (the origin). As this point corresponds to the
zero-representation (which does not have a cyclic vector) the
Brauer-Severi scheme will be smooth in this case. [Colin
Ingalls][4] extended this calculation to show that the Brauer-Severi
scheme is equally smooth when $~n=3$ but has a unique (!) singular point
when $~n=4$. So probably all Brauer-Severi schemes for $n \geq 4$ are
indeed singular. I conjecture that this is a general feature for
Brauer-Severi schemes of families (depending on the p.i.-degree $n$) of
non-smooth orders.
[1]: http://venere.mat.uniroma1.it/people/procesi/
[2]: http://www.fact-index.com/b/bi/bill_schelter.html
[3]: http://www.neverendingbooks.org/index.php?p=341
[4]: http://kappa.math.unb.ca/~colin/
![][1]
Classical Brauer-Severi varieties can be described either as twisted
forms of projective space (Severi\’s way) or as varieties containing
splitting information about central simple algebras (Brauer\’s way). If
$K$ is a field with separable closure $\overline{K}$, the first approach
asks for projective varieties $X$ defined over $K$ such that over the
separable closure $X(\overline{K}) \simeq
\mathbb{P}^{n-1}_{\overline{K}}$ they are just projective space. In
the second approach let $\Sigma$ be a central simple $K$-algebra and
define a variety $X_{\Sigma}$ whose points over a field extension $L$
are precisely the left ideals of $\Sigma \otimes_K L$ of dimension $n$.
This variety is defined over $K$ and is a closed subvariety of the
Grassmannian $Gr(n,n^2)$. In the special case that $\Sigma = M_n(K)$ one
can use the matrix-idempotents to show that the left ideals of dimension
$n$ correspond to the points of $\mathbb{P}^{n-1}_K$. As for any central
simple $K$-algebra $\Sigma$ we have that $\Sigma \otimes_K \overline{K}
\simeq M_n(\overline{K})$ it follows that the varieties $X_{\Sigma}$ are
among those of the first approach. In fact, there is a natural bijection
between those of the first approach (twisted forms) and of the second as
both are classified by the Galois cohomology pointed set
$H^1(Gal(\overline{K}/K),PGL_n(\overline{K}))$ because
$PGL_n(\overline{K})$ is the automorphism group of
$\mathbb{P}^{n-1}_{\overline{K}}$ as well as of $M_n(\overline{K})$. The
ringtheoretic relevance of the Brauer-Severi variety $X_{\Sigma}$ is
that for any field extension $L$ it has $L$-rational points if and only
if $L$ is a _splitting field_ for $\Sigma$, that is, $\Sigma \otimes_K L
\simeq M_n(\Sigma)$. To give one concrete example, If $\Sigma$ is the
quaternion-algebra $(a,b)_K$, then the Brauer-Severi variety is a conic
$X_{\Sigma} = \mathbb{V}(x_0^2-ax_1^2-bx_2^2) \subset \mathbb{P}^2_K$
Whenever one has something working for central simple algebras, one can
_sheafify_ the construction to Azumaya algebras. For if $A$ is an
Azumaya algebra with center $R$ then for every maximal ideal
$\mathfrak{m}$ of $R$, the quotient $A/\mathfrak{m}A$ is a central
simple $R/\mathfrak{m}$-algebra. This was noted by the
sheafification-guru [Alexander Grothendieck][2] and he extended the
notion to Brauer-Severi schemes of Azumaya algebras which are projective
bundles $X_A \rightarrow \mathbf{max}~R$ all of which fibers are
projective spaces (in case $R$ is an affine algebra over an
algebraically closed field). But the real fun started when [Mike
Artin][3] and [David Mumford][4] extended the construction to suitably
_ramified_ algebras. In good cases one has that the Brauer-Severi
fibration is flat with fibers over ramified points certain degenerations
of projective space. For example in the case considered by Artin and
Mumford of suitably ramified orders in quaternion algebras, the smooth
conics over Azumaya points degenerate to a pair of lines over ramified
points. A major application of their construction were examples of
unirational non-rational varieties. To date still one of the nicest
applications of non-commutative algebra to more mainstream mathematics.
The final step in generalizing Brauer-Severi fibrations to arbitrary
orders was achieved by [Michel Van den Bergh][5] in 1986. Let $R$ be an
affine algebra over an algebraically closed field (say of characteristic
zero) $k$ and let $A$ be an $R$-order is a central simple algebra
$\Sigma$ of dimension $n^2$. Let $\mathbf{trep}_n~A$ be teh affine variety
of _trace preserving_ $n$-dimensional representations, then there is a
natural action of $GL_n$ on this variety by basechange (conjugation).
Moreover, $GL_n$ acts by left multiplication on column vectors $k^n$.
One then considers the open subset in $\mathbf{trep}_n~A \times k^n$
consisting of _Brauer-Stable representations_, that is those pairs
$(\phi,v)$ such that $\phi(A).v = k^n$ on which $GL_n$ acts freely. The
corresponding orbit space is then called the Brauer-Severio scheme $X_A$
of $A$ and there is a fibration $X_A \rightarrow \mathbf{max}~R$ again
having as fibers projective spaces over Azumaya points but this time the
fibration is allowed to be far from flat in general. Two months ago I
outlined in Warwick an idea to apply this Brauer-Severi scheme to get a
hold on desingularizations of quiver quotient singularities. More on
this next time.
[1]: http://www.neverendingbooks.org/DATA/brauer.jpg
[2]: http://www-gap.dcs.st-and.ac.uk/~history/Mathematicians/Grothendieck.html
[3]: http://www.cirs-tm.org/researchers/researchers.php?id=235
[4]: http://www-gap.dcs.st-and.ac.uk/~history/Mathematicians/Mumford.html
[5]: http://alpha.luc.ac.be/Research/Algebra/Members/michel_id.html