Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Forgot your password?
• Apply for membership

1. • CommentRowNumber1.
   • CommentAuthorzskoda
   • CommentTimeFeb 11th 2011
   • PermaLink
   Author: zskoda
   Format: MarkdownItexUrs, David Roberts and I got into discussion of locally trivial noncommutative bundles in a discussion with a wrong title (see [around here](http://www.math.ntnu.no/~stacey/Mathforge/nForum/comments.php?DiscussionID=2472&Focus=21283#Comment_21283)), so let us better move it here. There are still some of my latest posts there which Urs and David might have not yet seen. I decided to update a bit [[noncommutative principal bundle]], so I will start today a bit.

   Urs, David Roberts and I got into discussion of locally trivial noncommutative bundles in a discussion with a wrong title (see around here), so let us better move it here. There are still some of my latest posts there which Urs and David might have not yet seen.

   I decided to update a bit noncommutative principal bundle, so I will start today a bit.

2. • CommentRowNumber2.
   • CommentAuthorzskoda
   • CommentTimeFeb 11th 2011
   • PermaLink
   Author: zskoda
   Format: MarkdownItexNew related entries [[geometrically admissible action]], [[noncommutative vector bundle]], [[noncommutative associated bundle]].

   New related entries geometrically admissible action, noncommutative vector bundle, noncommutative associated bundle.

3. • CommentRowNumber3.
   • CommentAuthorzskoda
   • CommentTimeFeb 11th 2011
   • (edited Feb 11th 2011)
   • PermaLink
   Author: zskoda
   Format: MarkdownItexNew entry [[noncommutative space as a cover]] containing a very interesting category defined by Kontsevich and Rosenberg in 1997. It would be a big thing if somebody could redefine this category as some category of "sheaves" on $NAff_k$.

   New entry noncommutative space as a cover containing a very interesting category defined by Kontsevich and Rosenberg in 1997. It would be a big thing if somebody could redefine this category as some category of “sheaves” on $NAff_k$.

4. • CommentRowNumber4.
   • CommentAuthorzskoda
   • CommentTimeNov 19th 2011
   • PermaLink
   Author: zskoda
   Format: MarkdownItexI made some changes to the closely related [[gebra]] entries [[crossed product algebra]] and [[cleft extension]] (cleft comodule algebra). I should post some blog about what I am thinking behind the scene, but I am in Zeitnot so I will barely be able to do some hints. So, first of all, I am finishing some article(s) on noncommutative bundles with Hopf algebra in the role of structure group and with localizations (possibly not mutually compatible, i.e. the localization functors do not pairwise mutually "commute") used instead of topology. This is quite well thought with a complicated but clean class of examples in hand and at least one preprint should be at arXiv in few days. On the other hand, there is something I just started thinking and is quite close to this. Namely, unless I had some basic misconception, the Sweedler coring canonically has the additional structure map required in the formalism of Kontsevich and Rosenberg mentioned in 3. Second when we extend from the base to the total space we get sort of triviality, namely we get what is called the [[cleft comodule algebra]]. Usually we say that the trivial bundle in noncommutative geometry corresponds to the case when the cleavage is algebra map ([[smash product algebra]]) but this is a matter of taste. In my examples local triviality really gives smash product but some others have natural examples with the latter, more general case. Now the extension of scalars is controlled by Sweedler coring. I know how to write some sort of transition functions for coring with the structure map in the sense of Kontsevich-Rosenberg and this is well behaved with respect to associating bundles. Very interesting sort of Čech cohomology stems out of that and can be defined at the level of a coring. The latter also implies the gluing for the covers by closed sets from works of people working in operator algebras rather than with noncommutative localization.

   I made some changes to the closely related gebra entries crossed product algebra and cleft extension (cleft comodule algebra). I should post some blog about what I am thinking behind the scene, but I am in Zeitnot so I will barely be able to do some hints. So, first of all, I am finishing some article(s) on noncommutative bundles with Hopf algebra in the role of structure group and with localizations (possibly not mutually compatible, i.e. the localization functors do not pairwise mutually “commute”) used instead of topology. This is quite well thought with a complicated but clean class of examples in hand and at least one preprint should be at arXiv in few days. On the other hand, there is something I just started thinking and is quite close to this.

   Namely, unless I had some basic misconception, the Sweedler coring canonically has the additional structure map required in the formalism of Kontsevich and Rosenberg mentioned in 3. Second when we extend from the base to the total space we get sort of triviality, namely we get what is called the cleft comodule algebra. Usually we say that the trivial bundle in noncommutative geometry corresponds to the case when the cleavage is algebra map (smash product algebra) but this is a matter of taste. In my examples local triviality really gives smash product but some others have natural examples with the latter, more general case. Now the extension of scalars is controlled by Sweedler coring. I know how to write some sort of transition functions for coring with the structure map in the sense of Kontsevich-Rosenberg and this is well behaved with respect to associating bundles. Very interesting sort of Čech cohomology stems out of that and can be defined at the level of a coring. The latter also implies the gluing for the covers by closed sets from works of people working in operator algebras rather than with noncommutative localization.

5. • CommentRowNumber5.
   • CommentAuthorzskoda
   • CommentTimeNov 19th 2011
   • (edited Nov 19th 2011)
   • PermaLink
   Author: zskoda
   Format: MarkdownItexLet me just motivate $\gamma:H\to E$ from the classical, commutative theory. So let $H=O(G)$ be the coordinate ring of the affine algebraic group and $E = O(P)$ the functions on the total space of a principal bundle over $U = O(X)$ which is trivial, via a section $t:X\to P$. Then any function $\phi:P\to\mathbf{R}$ can be written in terms of the horizontal and vertical coordinates of the trivialized bundle. For $e\in P$, the projection is $\pi(e)$, that is the horizontal coordinate. The vertical coordinate is relative to the section, and is obtained via the translation map $\tau:P\times_X P\to G$, $\tau:(e_1,e_2)\mapsto g$ such that $e_2 = e_1 g$. So $e = t(\pi(e))\tau(t(\pi(e)),e)$ or in relative coordinates $(\pi(e),\tau(t(\pi(e)),e)$ (as $t(x)$ corresponds to $(x,1)$ in the trivialization isomorphism). Now functions on the product give the tensor product of functions. The recipe above tells that the splitting for the algebra of function is given by the homomorphism of right $O(G)$-comodule algebras which to a function $f:G\to\mathbf{R}$ assigns $f(\tau(t(\pi(e)),e))\in O(P) = E$. Also let me also explain the local triviality in the sense of cleft extension of the extension of scalars to the total algebra. If we start with a Hopf-Galois extension what means that $U=E^{\mathrm{co}H}\hookrightarrow E$, and the map $$ can: e\otimes e'\mapsto \sum e e'_{(0)}\otimes e'_{(1)} $$ is invertible where $\rho(e) = \sum e_{(0)}\otimes e_{(1)}$ is the extended Sweedler notation for coactions. After the extension of scalars along $U\to E$ we get $E\otimes_U E$ with coaction $e\otimes e'\mapsto \sum e\otimes e'_{(0)}\otimes e'_{(1)}$. Then $$ \gamma: h\mapsto can^{-1}(1\otimes h) $$ is a comodule map. In the commutative case, this map is invertible with $\gamma^{-1} = can^{-1}(1\otimes S h)$ where $S$ is an antipode because then $can$ is a homomorphism of algebras. Unfortunately, I do not see its convolution invertibility in general. Still for locally cleft extensions on the cover one has a good theory of Čech coczcles (there are some interesting phenomena there, however, not existing in commutative case).

   Let me just motivate $\gamma:H\to E$ from the classical, commutative theory. So let $H=O(G)$ be the coordinate ring of the affine algebraic group and $E = O(P)$ the functions on the total space of a principal bundle over $U = O(X)$ which is trivial, via a section $t:X\to P$. Then any function $\phi:P\to\mathbf{R}$ can be written in terms of the horizontal and vertical coordinates of the trivialized bundle. For $e\in P$, the projection is $\pi(e)$, that is the horizontal coordinate. The vertical coordinate is relative to the section, and is obtained via the translation map $\tau:P\times_X P\to G$, $\tau:(e_1,e_2)\mapsto g$ such that $e_2 = e_1 g$. So $e = t(\pi(e))\tau(t(\pi(e)),e)$ or in relative coordinates $(\pi(e),\tau(t(\pi(e)),e)$ (as $t(x)$ corresponds to $(x,1)$ in the trivialization isomorphism).

   Now functions on the product give the tensor product of functions. The recipe above tells that the splitting for the algebra of function is given by the homomorphism of right $O(G)$-comodule algebras which to a function $f:G\to\mathbf{R}$ assigns $f(\tau(t(\pi(e)),e))\in O(P) = E$.

   Also let me also explain the local triviality in the sense of cleft extension of the extension of scalars to the total algebra. If we start with a Hopf-Galois extension what means that $U=E^{\mathrm{co}H}\hookrightarrow E$, and the map

   $$can: e\otimes e'\mapsto \sum e e'_{(0)}\otimes e'_{(1)}$$

   is invertible where $\rho(e) = \sum e_{(0)}\otimes e_{(1)}$ is the extended Sweedler notation for coactions. After the extension of scalars along $U\to E$ we get $E\otimes_U E$ with coaction $e\otimes e'\mapsto \sum e\otimes e'_{(0)}\otimes e'_{(1)}$. Then

   $$\gamma: h\mapsto can^{-1}(1\otimes h)$$

   is a comodule map. In the commutative case, this map is invertible with $\gamma^{-1} = can^{-1}(1\otimes S h)$ where $S$ is an antipode because then $can$ is a homomorphism of algebras. Unfortunately, I do not see its convolution invertibility in general. Still for locally cleft extensions on the cover one has a good theory of Čech coczcles (there are some interesting phenomena there, however, not existing in commutative case).

6. • CommentRowNumber6.
   • CommentAuthorzskoda
   • CommentTimeNov 22nd 2011
   • PermaLink
   Author: zskoda
   Format: MarkdownItexMaybe somebody will be interested: [[zoranskoda:cleft extension of a space cover]].

   Maybe somebody will be interested: cleft extension of a space cover (zoranskoda).

7. • CommentRowNumber7.
   • CommentAuthorzskoda
   • CommentTimeNov 23rd 2011
   • PermaLink
   Author: zskoda
   Format: MarkdownItexAnd in this * [[Zoran Škoda]], _Čech cocycles for quantum principal bundles_, [arxiv/1111.5316](http://arxiv.org/abs/1111.5316) The article is rather sketchy as it is submitted as a letter with 8 page limitation. More details will be elsewhere soon (and in greater generality).

   And in this

   • Zoran Škoda, Čech cocycles for quantum principal bundles, arxiv/1111.5316

   The article is rather sketchy as it is submitted as a letter with 8 page limitation. More details will be elsewhere soon (and in greater generality).

8. • CommentRowNumber8.
   • CommentAuthorTim_Porter
   • CommentTimeNov 23rd 2011
   • PermaLink
   Author: Tim_Porter
   Format: MarkdownItexThat sounds good. The question of principal bundles in that dual Hopfy setting had occurred to me some years ago when reading up on quantum groups after a talk by Majid, but I did not know enough to try to do anything with it.

   That sounds good. The question of principal bundles in that dual Hopfy setting had occurred to me some years ago when reading up on quantum groups after a talk by Majid, but I did not know enough to try to do anything with it.