Posts Tagged: simples

  • featured

    the noncommutative manifold of a Riemann surface

    Posted on by

    The natural habitat of this lesson is a bit further down the course, but it was called into existence by a comment/question by Kea I don’t yet quite see where the nc manifolds are, but I guess that’s coming. As I’m enjoying telling about all sorts of sources of finite dimensional representations of $SL_2(\mathbb{Z}) $… Read more »

  • featured

    coalgebras and non-geometry 3

    Posted on by

    Last time we saw that the _coalgebra of distributions_ of a noncommutative manifold can be described as a coalgebra Takeuchi-equivalent to the path coalgebra of a huge quiver. This infinite quiver has as its vertices the isomorphism classes of finite dimensional simple representations of the qurve A (the coordinate ring of the noncommutative manifold) and… Read more »

  • featured

    coalgebras and non-geometry 2

    Posted on by

    Last time we have seen that the _coalgebra of distributions_ of an affine smooth variety is the direct sum (over all points) of the dual to the etale local algebras which are all of the form $\mathbb{C}[[ x_1,\ldots,x_d ]] $ where $d $ is the dimension of the variety. Generalizing this to _non-commutative_ manifolds, the… Read more »

  • stories

    non-geometry

    Posted on by

    Here’s an appeal to the few people working in Cuntz-Quillen-Kontsevich-whoever noncommutative geometry (the one where smooth affine varieties correspond to quasi-free or formally smooth algebras) : let’s rename our topic and call it non-geometry. I didn’t come up with this term, I heard in from Maxim Kontsevich in a talk he gave a couple of… Read more »

  • featured

    noncommutative topology (4)

    Posted on by

    For a qurve (aka formally smooth algebra) A a *block* is a (possibly infinite dimensional over the basefield) left A-module X such that its endomorphism algebra $D = End_A(X)$ is a division algebra and X (considered as a right D-module) is finite dimensional over D. If a block X is finite dimensional over the basefield,… Read more »

  • featured

    noncommutative topology (3)

    Posted on by

    For finite dimensional hereditary algebras, one can describe its noncommutative topology (as developed in part 2) explicitly, using results of Markus Reineke in The monoid of families of quiver representations. Consider a concrete example, say $A = \begin{bmatrix} \mathbb{C} & V \\ 0 & \mathbb{C} \end{bmatrix}$ where $V$ is an n-dimensional complex vectorspace, or equivalently,… Read more »

  • featured

    a noncommutative topology 2

    Posted on by

    A *qurve* is an affine algebra such that $~\Omega^1~A$ is a projective $~A~$-bimodule. Alternatively, it is an affine algebra allowing lifts of algebra morphisms through nilpotent ideals and as such it is the ‘right’ noncommutative generalization of Grothendieck’s smoothness criterium. Examples of qurves include : semi-simple algebras, coordinate rings of affine smooth curves, hereditary orders… Read more »

  • featured

    the Klein stack

    Posted on by

    Klein’s quartic $X$is the smooth plane projective curve defined by $x^3y+y^3z+z^3x=0$ and is one of the most remarkable mathematical objects around. For example, it is a Hurwitz curve meaning that the finite group of symmetries (when the genus is at least two this group can have at most $84(g-1)$ elements) is as large as possible,… Read more »

  • featured

    sexing up curves

    Posted on by

    Here the story of an idea to construct new examples of non-commutative compact manifolds, the computational difficulties one runs into and, when they are solved, the white noise one gets. But, perhaps, someone else can spot a gem among all gibberish… [Qurves](http://www.neverendingbooks.org/toolkit/pdffile.php?pdf=/TheLibrary/papers/qaq.pdf) (aka quasi-free algebras, aka formally smooth algebras) are the \’affine\’ pieces of non-commutative… Read more »

  • featured

    simple groups

    Posted on by

    I found an old copy (Vol 2 Number 4 1980) of the The Mathematical Intelligencer with on its front cover the list of the 26 _known_ sporadic groups together with a starred added in proof saying added in proof … the classification of finite simple groups is complete. there are no other sporadic groups. (click… Read more »

  • featured

    Galois and the Brauer group

    Posted on by

    Last time we have seen that in order to classify all non-commutative $l$-points one needs to control the finite dimensional simple algebras having as their center a finite dimensional field-extension of $l$. We have seen that the equivalence classes of simple algebras with the same center $L$ form an Abelian group, the Brauer group. The… Read more »

  • featured

    Brauer’s forgotten group

    Posted on by

    Non-commutative geometry seems pretty trivial compared to commutative geometry : there are just two types of manifolds, points and curves. However, nobody knows how to start classifying these non-commutative curves. I do have a conjecture that any non-commutative curve can (up to non-commutative birationality) be constructed from hereditary orders over commutative curves by universal methods… Read more »

  • stories

    the cpu 2 generation

    Posted on by

    Never ever tell an ICT-aware person that you want to try to set up a home-network before you understand all 65536 port-numbers and their corresponding protocols. Here is what happened to me this week. Jan Adriaenssens returned from an extended vacation in New Zealand and I told him about my problems with trying to set… Read more »