September 19, 2010

I came back

Posted in Uncategorized at 11:19 am by noncommutativeag

I have not updated this blog for almost two months. Now I will update it in one week talking about what I promised in the last post.

What I have been doing since two months ago is mathematics and sports.  I am now training in marathon and a little bit triathlon. I will attend a 5K-race next weekend!

I feel much better now,much more energy which is good to mathematics. I will write something on quivers, perverse sheaves and their interaction with noncommutative geometry soon.


July 20, 2010

The topics I am planning to write about

Posted in Uncategorized at 10:14 pm by noncommutativeag

I have written about 80 pages notes on various topics in noncommutative algebraic geometry and relationship with other areas in mathematics. I am planning to blog the following topics in few days:

1. Holonomic D-modules rephrased in noncommutative algebraic geometry and properties.

2. Spectrum of category of coherent sheaves on P^1 and reconstruction theorem.

3. Locality theorem, in particular for commutative schemes and holonomic D-modules.

4. Abelian induction problem, representations of finite dimensional Lie algebra.

5. Derived category of coherent sheaves on P^1, t-structures and gluing machinery

6. Constructible sheaves on P^1 and perverse sheaves.

June 17, 2010

From Pseudo-geometry to geometry

Posted in Uncategorized at 10:01 pm by noncommutativeag

The general idea is that pseudo-geometric “space” have canonical spectral theories, and a choice of a spectral theory implies a geometric realization of “spaces”, which associates with every “space” a stack whose base is a topological space(the spectrum of the “space”) and fibers at points are local(in an appropriate sense)”space”. Thus, if “spaces” are represented by categories of a certain type(say abelian, exact or triangulated), then their stalks at points are local categories of the same type.

An important realization is the spectral theory of “spaces” represented by svetle abelian categories [R,Ch3],which was started in the middle of the eighties. Below follows a brief outline of some of its basic notions and facts.

4.1. Topologizing subcategories and the spectrum Spec(-).

A full subcategory of an abelian category C_X is called topologizing if it is closed under finite coproducts and subquotients. For an object M, we denote by [M] the smallest topologizing subcategory of C_X containing M. One can show that objects of [M] are subquotient of finite coproducts of copies of M. The spectrum Spec(X) of the “space” X consists of all non zero M such that [L]=[M] for any nonzero suboject L of M. We endow Spec(X) with the preorder \supseteq which is called the specialization preorder.

If M is a simple object, then the objects of [M] are isomorphic to finite direct sums of copies of M and [M] is a minimal element of (Spec(X), \supseteq), if C_X is the category of modules over a commutative unital ring R, then the map: p|\rightarrow [R/p] is an isomorphism between the prime spectrum of R with specialization preorder and (Spec(X),\supseteq).

4.2. Local “space”

An abelian category C_Y is called local if it has the smallest nonzero topologizing suncategory. It follows that this subcategory coincides with

Pseudo Geometry III

Posted in Uncategorized at 9:45 pm by noncommutativeag

Copied from A.Rosenberg’s book

Geometry of noncommutative “spaces” and schemes

3.7. Theorem

(a): A pretopology \tau on Aff_k is subcanonical iff Qcoh(X,\tau)=Qcoh(X) for any presheaf of sets on Aff_k(in other words,”descent” pretopologies on Aff_k are precisely subcanonical pretopologies). In this case, Qcoh(X)=Qcoh(X,\tau)\rightarrow Qcoh(X^{\tau})=Qcoh(X^{\tau},\tau),where X^{\tau} is the sheaf on (Aff_k,\tau) associated with the presheaf X and \rightarrow is natural full embedding.

(b). If a pretoplogy \tau is of effective descent, then the above embedding becomes a categorical equivalence.

This theorem says that, roughly speaking, the category Qcoh(X) of quasi coherent presheaves knows itself which pretopologies to choose. It also indicates where one should look for a correct noncommutative version of the category Esp (of sheaves of sets on the fpqc site of commutative affine schemes): this should be the category NEsp_{\tau} of sheaves of sets on the presite (Aff_k,\tau),where \tau is a pretopology of effective descent. From the minimalistic point of view, the best choice would be the finest pretopology of effective descent. But there is a more important consideration. The main role of a pretopology is that it is used for gluing new “spaces”. The pretopology that seems to be the most relevant for Grassmannians(in particular, for noncommutative projective space) and a number of other smooth noncommutative spaces constructed in [KR5] is the smooth topology introduced in [KR2].

The theorem is quite useful on a pragmatical level. Namely, if  \mathfrak{X} is a sheaf of sets on (Aff_k, \tau) for an appropriate pretopology of effective descent and X is a presheaf of sets on Aff_k such that its associated sheaf is isomorphic to \mathfrak{X}, and \mathfrak{R}\Rightarrow \mathfrak{U}\rightarrow X is an exact sequence of presheaves with \mathfrak{R} and \mathfrak{U} representable, then the category Qcoh(X)(hence the category Qcoh(\mathfrak{X})) is constructively described (unique up to equivalence) via pair of k-algebra A\Rightarrow R representing \mathfrak{R}\Rightarrow \mathfrak{U}. This consideration is used to describe the categories of quasi coherent sheaves on noncommutative “spaces”

3.8. Noncommutative stacks.

There is one more important observation in connection with this theorem: categories which appear in noncommutative algebraic geometry are categories of quasi coherent sheaves on noncommutative stacks.

Pseudo Geometry II

Posted in Uncategorized at 5:20 pm by noncommutativeag

Copied from A.Rosenberg’s book

Geometry of noncommutative “spaces” and schemes

3.4 Theorem

The category Aff_S is equivalent to the category Ass_S whose objects are continuous monads on the category C_S and morphisms are conjugacy classes of monads morphisms.

If C_S=Z-mod, then the category Ass_S is equivalent to the category whose objects are associative unital rings and morphisms are conjugacy classes of ring morphisms. If C_S=Sets, then Ass_S is equivalent to the category whose objects are monoids and morphisms are conjugacy classes of monoids morphism. This shows that the choice of base “space” S influences drastically the rest of the story.

3.5. Locally affine relative “space”. Locally affine S-“space” are defined in an obvious way, once a notion of a cover(a quasi-pretopology)is fixed. We introduce several canonical quasi-pretopologies on the category |Cat|^o. Their common feature is the following: if a set of morphisms to X is a cover, then the set of their inverse image functors is conservative and all inverse image functors are exact in a certain mild way. If, in addition, morphisms of covers are continuous, X has a finite affine cover, and the category C_S has finite limits, then this requirement suffices to recover the object X from the covering date uniquely up to isomorphism(i.e the category C_X is reovered uniquely up to equivalence)via “flat descent”

3.6 “Spaces” determined by presheaves of sets on Aff_k.

By definition, the category Aff_k of noncommutative affine k-schemes is the category opposite to the category Alg_k of associative unital k-algebras; so that presheaves of sets on Aff_k are functors from Alg_k to Sets. The presheaves of sets on Aff_k appeared in our work with Maxim Kontsevich, for the first time in order to introduce noncommutative projective spaces. It was an attempt to imitate the standard commutative approach realizing schemes(and more general spaces) as sheaves of sets on the category of affine schemes endowed with an appropriate Grothendieck  pretopology. It turned out that it is not clear a priori what an appropriate pretopology in the noncommutative case is: Zariski pretopology is irrelevant, because the noncommutative projective space is not a scheme- it does not have an affine Zariski cover. Flat affine covers seemed to be a as a natural choice, but, they do not form a pretoplogy-invariance under base change fails. Similar story with Grassmannians and other analogs of commutative constructions. The elucidation of this problem is as follows. Consider the fibered category \widetilde{Aff_k}  with the base Aff_k whose fibers are categories of left modules over corresponding algebras. For every presheaf of sets X on Aff_k, we have the fibered category \widetilde{Aff_k}/X induced by \widetilde{Aff_k} along the forgetful functor \widetilde{Aff_k}/X\rightarrow Aff_k. The category Qcoh(X) of quasi coherent sheaves on the presheaf X is defined as the category opposite to the category of cartesian sections of the fibered category \widetilde{Aff_k}. For a pretopology \tau on Aff_k/X, we define the subcategory Qcoh(X,\tau) of quasi-coherent sheaves on (Aff_k/X,\tau).

Pseudo Geometry I

Posted in Uncategorized at 2:51 pm by noncommutativeag

Copied from A.Rosenberg’s book

Geometry of noncommutative “spaces” and schemes

3. Pseudo-geometric start.

The pseudo-geometric noncommutative landscape sketched above is a natural point of departure, by simple reason that it includes most examples of interest. Instead of trying to impose, from the very beginning, general notions of spaces and morphism of spaces, which absorb all the known case, we approach these notions by studying algebraic geometry in certain key pseudo-geometric settings, which are simple enough to not to get lost and, at the same time, sufficient to obtain a rich theory and to see what one should expect or look for in more sophisticated pseudo-geometries.

3.1. “Spaces” represented by categories. In the very first, in a sense the simplest, setting of this kind, “spaces”are represented by svetle(equivalent to small)categories and morphisms of “spaces” X\rightarrow Y are isomorphism classes of(inverse image)functors C_Y\rightarrow C_X between the corresponding categories. This defines the category |Cat|^o of “spaces”. A morphism of “space” is called continuous if its inverse image functor has a right adjoint (called a direct image functor), and it is called flat, if ,in addition, the inverse image functor is left exact(i.e. preserves finite limits). A continuous morphism is called affine if its direct image functor is conservative(i.e. reflects isomorphism) and has a right adjoint. These notions(introduced in [R])unveil unexpectedly rich algebraic geometry,more precisely, geometries, living inside of |Cat|^o. They appear as follows.

3.2. Continuous monads. Fix a “space” S such that the category C_S has cokernels of paris of arrows. We consider End(C_S) of continuous endofunctors of C_S. It is a monoidal category with repsect to the composition of functors whose unit object is the identical functor. The monads in this category are called continuous monads on C_S. In other words, continuous monads on C_S are pairs (F,u),where F is continuous functor C_S\rightarrow C_S and u is a functor morphism F^2\rightarrow F such that uFu=uuF,uF\eta=id_F=u\eta F  for a unique morphism \eta :Id_{C_S}\rightarrow F called the unit of the monad (F,u). A monad morphism is given in a natural way. This defines the category Mon_c(S) of continuous monads on C_S.

If C_S=Z-mod, then the category Mon_c(S) is naturally equivalent to the category Rings of associative unital rings. If C_S is the category of quasi coherent sheaves on a scheme (X,O_X), then Mon_c(S) is equivalent to the category of quasi coherent sheaves A of rings on (X,O_X) endowed with a morphism O_X\rightarrow A of sheaves of rings. In particular, the sheaf of rings of (twisted)differential operators can be regarded as a monad on C_S. If C_S is the category of sets, then the category Mon_c(S) is equivalent to the category of monoids in the usual sense.

3.3. Relative affine “space”. Give a space S, we define the category Aff_S of affine S-space as the full subcategory of |Cat|^o/S whose objects are pairs (X,f:X\rightarrow S),where f is an affine morphism.

Historical observation of noncommutative algebraic geometry IV

Posted in Uncategorized at 12:50 pm by noncommutativeag

Copied from A.Rosenberg’s book

Geometry of noncommutative “spaces” and schemes

2.6 “Spaces” defined by presheaves of sets on the category of noncommutative affine schemes.

The category Aff_k of affine noncommutative k-schemes is the category opposite to the category of associative unital k-algebras. Some of the important examples of noncommutative “space”, such as noncommutative Grassmannians, flag varieties and many others [KR1],[KR2],[KR3], are defined in two steps. The first step is a construction of a presheaf of sets on Aff_k(i.e. a functor from category of unital associative k-algebras to the category of sets). In commutative algebraic geometry, the second step is taking the associated sheaf with respect to an appropriate(fpqc or Zariski)topology on Aff_k. In noncommutative geometry, we assign, instead, to every presheaf of sets on Aff_k a fibered category whose fibers are categories of modules over k-algebras and define the category of quasi-coherent sheaves on this presheaf as the category opposite to the category of cartesian sections of this fibered category [KR4]. The category of quasi coherent presheaves represents the “space” corresponding to the presheaf of sets.

2.7. Commutative “spaces” ,which “live” in symmetric monoidal categories.

After the formalism of Tannakian categories appeared at the end of the sixties-beginning of the seventies [Sa],[DeM], and super-mathematics approximately at the same time, the idea of mathematics(or at least algebra and geometry),which uses general symmetric monoidal categories, instead of the symmetric monoidal category of vector spaces, became familiar. In [De], Deligne presented a sketch of a fragment of commutative projective geometry  in symmetric monoidal k-linear abelian categories as a part of his proof of the characterization of rigid monoidal abelian categories having a fiber functor.

Manin defined the(category of coherent sheaves on the)Proj of a commutative Z_{+}-graded algebra in a symmetric monoidal abelian category endowed with a fiber functor [M1]using, once again, the Serre’s description of the category of coherent sheaves on a projective variety as its definition.

2.8. Quantized enveloping algebras and algebraic geometry  in braided monoidal categories.

While working(in 1995) on a quantum analog of Beilinson-Bernstein localization construction, it was discovered  that “spaces” of noncommutative algebraic geometry could be something different from just abelian or Grothendieck categories. In this particular situation, the natural action of the quantized enveloping algebra if a semisimple Lie algebra on its quantum base affine space becomes differential only if the whole picture is put into the monoidal category of Z^n-graded modules endowed with a braiding determined by the Cartan matrix of the Lie algebra (see [LR2],[LR3],[LR4]) . This list(which is far from being complete)shows that the range of objects-spaces and morphisms of spaces, of noncommutative algebraic geometry is considerably larger than the range of objects of commutative algebraic geometry.

May 21, 2010

Historical observations of noncommutative algebraic geometry III

Posted in Uncategorized at 9:56 pm by noncommutativeag

2. “Spaces” of noncommutative algebraic geometry

One of the benefits of the pseudo-geometric viewpoint in noncommutative algebraic geometry  is a considerable increase of its range. Roughly, the picture is as follows.

2.1. Spaces and algebras. The duality between compact topological spaces and commutative unital C*- algebra is a fundamental fact of functional analysis discovered by I.M.Gelfand in the late thirties. A.Connes extended formally this duality to the noncommutative setting identifying “noncommutative space” with noncommutative C*- algebras. This eventually led to the creation of noncommutative differential geometry [C1],[C2]. Following Connes’s example. V.Drinfeld [Dr] defined the category of noncommutative affine schemes(he called them “quantum space”) in a similar way, as the category dual to the category of unital associative algebras,forcing to the noncommutative case the duality

[algebras <—>affine schemes]

of commutative algebraic geometry.

2.2 Noncommutative Proj. Noncommutative projective spaces were introduced(by Manin’s suggestion)via a formal extension of the Serre’s description of the category of quasi-coherent sheaves on a projective variety [S]: the category of quasi coherent sheaves on the projective spectrum of an associative graded ring R is the quotient category of the category of graded R-modules by the subcategory of locally finite ones(this approach was further developed in [V1],[V2],[A2],[AZ],[OW], and in a number of other works)

Thus, a noncommutaive projective space X is represented by a category C_{X}, which is regarded as category of quasi coherent sheaves on X. This point of view is well adapted to the affine case: for any associative ring R, the category of quasi coherent sheaves on the corresponding affine schemes is identified with the category R-mod of left R-modules

2.3. “Spaces” represented by abelian categories. From the perspective of the above mentioned developments, a point of view which looked plausible at the end of the eighties(and was later, after appearance of [R1] and [R], adopted by most mathematicians working in the area)is that “spaces” of noncommutative algebraic geometry are represented by abelian categories(thought as their category of quasi coherent or coherent sheaves). If X and Y are “spaces” represented by abelian categories, respectively C_{X} and C_{Y}, then morphism from X to Y are isomorphism classes of additive functors C_{Y}\rightarrow C_{X} called inverse image functors of the morphism they represent.

2.4 “Spaces” represented by triangulated categories. Another viewpoint motivated in the first place by representation theory of reductive groups, and later (around 1993) by problems of mathematical physics(-homological mirror symmetry) is to consider “spaces” represented by(enhanced)triangulated categories, which sometimes can be thought as derived categories of quasi coherent sheaves on thses “space”

2.5. “Spaces”represented by A-infinity categories. At the end of nineties, working on deformation theory, M.Kontsevich expanded geometric flavor by considering “spaces” represented y A-infinity categories.

Historical observations of noncommutative algebraic geometry II

Posted in Uncategorized at 9:20 pm by noncommutativeag

1.5 Cohn’s spectrum. There was another approach to noncommutative local algebra, due to P.Cohn, which is based on the notion of universal localization. Technically, the main difference between Cohn’s approach and the other approaches mentioned above is the instead of dealing with abelian categories of modules over a ring. Cohn’s theory operates with the exact category of projective modules of finite type(Cohn’s original formulations use only matrix ring over a given associative unital ring)

It is worth mentioning that Cohn’s philosophy serves as a base for works of Gelfand and Retakh and their collaboratos on birational noncommutative algebras. Recently, Cohn’s universal localizations found applications in topology.

1.6. Imposing naive geometric spaces. The above mentioned approaches to noncommutative algebraic geometry insisted on a naive generalization of the standard pattern of commutative scheme theory: noncommutative version of schemes were sought as geometric spaces, and the latter were understood as topological spaces endowed with a structure sheaf of associative rings. This holds for D-scheme of Beilinson-Bernstein and for much more recent Kapranov’s version of formal Noncommutative geometry[Ka], because, by nature, D-schemes as well as Kapronov’s NC-schemes, are quasi coherent sheaves of associative algebras on commutative schemes. But, an arbitrary left noetherian associative algebra is not isomorphic to the algebra of global sections of the corresponding structure sheaf on Gabriel’s or Cohn’s (or any other)spectrum. It is therefore not surprising that imposing ringed space as the frame work for noncommutative algebraic geometry and trying to literally mimic the pattern of commutative algebra and algebraic geometry, led to considerable difficulties already on a very basic level.

1.7. Pseudo-geometry verus geometry.

The discovery of quantum groups triggered a flow of new examples supplied mostly by mathematical physics and attributed to noncommutative geometry, reviving some stagnating areas(e.g. Hopf algebra) and involving a big number of mathemaicians and theoretical physicists fascinated by the geometric flavor of this suddenly wide open field of research. This rise of the interest in noncommutative algebraic geometry was marked by the transition from attempts to build the foundations relying on naive generalizations of geometric spaces to the opposite extreme-viewing noncommutative algebraic geometry as pseudo-geometry, that is geometry in which spaces are replaced by something else. The transition was greatly influenced by Connes’ s approach to noncommutative differential geometry. On a more advanced stage, its root can be found in the pseudo-geometric development of Grothendieck’s algebraic geometry between the end of fifties and the beginning of the seventies-going from the category of geometric spaces(that is locally ringed)to the category Esp of spaces which are sheaves of sets on the fpqc presite of affine schemes, then expanding to topoes, algebraic spaces and stacks. Note that in commutative algebraic geometry, all these notions and points of view coexisted and complemented each other.

1.8. Points from commutative algebraic geometry. The abandon of the geometric point of view was due not so much to the limitations of Gabriel’s injective spectrum and shortcomings in the attempts of using it, but, mostly due to the fact the Gabriel’s spectrum was known and appreciated by a few algebraist,while the dominating paradigm of a point came from commutative algebraic geometry: points of commutative schemes are equivalence classes of geometric points, i.e. the morphism from spectra of fields. A naive noncommutative generalization of this notion is obtained by replacing fields by skew fields. Thus the naive points of an affine ‘space’ corresponding to an associative untial ring R are morphisms from R to skew fields, and the equivalence classes of morphisms from R to skew fields are in natural bijective correspondence with complete prime two-sided ideals of the ring R. Noncommutative rings usually have very few completely prime two-sided ideals. One consequence of this other transplantation of a commutative paradigm into noncommutative setting, was a widely adopted opinion that noncommutative algebraic geometry is essentially a geometry without points. Such a viewpoint reduces noncommutative algebraic geometry to the condition of a poor relative of its commutative predecessor: one can not count on a noncommutative version of local algebra, in particular, one can not count on a local study of spaces and morphisms of a spaces, which constitute at least a half of the content of commutative algebraic geometry. Fortunately, this opinion is wrong.

Historical observations on noncommutative algebraic geometry I

Posted in Uncategorized at 8:25 pm by noncommutativeag

Copied from Rosenberg&Kontsevich’s books.

1.1 Serre’s Proj and Gabriel’s spectrum.
The most important early sources of noncommutative algebraic geometry are the description by Serre of the category of coherent sheaves on a projective variety[S] and the introduction by Gabriel of the injective spectrum of a locally noetherian Grothendieck category. Gabriel assigned, in a canonical way, to every locally noetherian Grothendieck category a locally ringed space,whose underlying topological spaces is the injective spectrum-the set of isomorphism classes of indecomposable injectives endowed with Zariski topology. He proved that this assignment reconstructs any noetherian scheme uniquely up to isomorphism[Gab,Chapter 6]
Note that the work of Serre appeared several years prior to scheme theory and the Gabriel’s work around the time as the first two volumes of EGA
1.2.First attempt to define noncommutative scheme.. There were attempts(which started around the end of the sixties and continued to be visible for more than a decade)to initiate noncommutative scheme theory based on a rather straight forward extension of the Gabriel spectrum to the category of left modules over an arbitrary associative untial ring R (its point are those isomorphism classes of indecomposable injectives  (E) for which the quotient category by the left orhogonal to E has simple object)endowed with Zariski topology and a structure sheaf of associative rings detemined by the ring R. Schemes were defined as ringed spaces which are locally affine(See [Go1],[Go2] and references therein)
If R is commutative ring, then there is a natural embedding of the prime spectrum of R into the above defined spectrum of category of R-modules, which is an isomorphism if the R is noethrian(the case considered by Gabriel),but not in general. So, the restriction of this concept of the noncommutative scheme to the commutative case recovers only locally noetherian schemes, which is already an indication of a certain inadequacy of the spectrum used here. Nevetheless, even under noetherian hypothesis, this theory did go beyond the above mentioned definition of a scheme(given in the last section of [Go2]). The declared goal—the creation of a noncommutative version of local algebra was never achieved.
Other movements towards noncommutative algebraic geometry(initiated around the mid-seventies) were based on the prime spectrum of rings endowed with Zariski topology and a structure sheaf of associative rings whose construction required noethrian hypothesis. This produced a version of an affine noetherian scheme. General noetherian schemes were defined as locally affined ringed spaces[VOV].One can show that this version of noncommutative schemes can be obtained from the previous one by considering only left noetherian rings and taking a much coarser version of Zariski topology than the one used in [Go2]. Note that the prime spectrum of most of noncommutative algebra of interesr is rather poor(e.g. It is trivial in the case of Weyl algebra over fields of zero characteristic)
1.3 Supporting motivations. There was a certain outside interest in the quest of noncommutative algebraic geometry already at that time. i.e. In the middle of seventies(see the introduction to [Dix]),which was mostly due to algebraization of representation theory(initiated by works of Kirillov, Gelfand and Kirillov, Dixmer, and his school)and a promise of new insights and possible applications to representation theory of algebraic groups. Enveloping algebra of Lie algebra,and some other algebra of interest
1.4 D-modules and D-schemes. Then, starting from 1980, Beilinson and Bernstein developed a compromise type noncommutative algebraic geometry-the theory of D-schemes(which are usual commutative scheme equipped with a subsheaf of the sheaf of (twisted)differential operators)in order to study representation theory of reductive algebraic groups. This important development led to a break through in representation theory and distracted the curiosity of most working mathematcians from attempts to construct noncommutative scheme theory based on Gabriel’s spectrum, or on the prime spectrum of associative rings.

Next page