|
|
| Line 1: |
Line 1: |
| In [[mathematics]], '''twisted K-theory''' (also called "K-theory with local coefficients") is a variation on [[K-theory]], a mathematical theory from the 1950s that spans [[algebraic topology]], [[abstract algebra]] and [[operator theory]].
| | Hi there, I am Andrew Berryhill. The favorite hobby for him and his kids is to play lacross and he'll be beginning some thing else along with it. North Carolina is the location he enjoys most but now he is contemplating other choices. Office supervising is my profession.<br><br>Also visit my web-site ... [http://m-card.co.kr/xe/mcard_2013_promote01/29877 psychic readings] |
| | |
| More specifically, twisted K-theory with twist ''H'' is a particular variant of K-theory, in which the twist is given by an integral 3-dimensional cohomology class. It is special among the various twists that K-theory admits for two reasons. First, it admits a geometric formulation. This was provided in two steps ; the first one was done in 1970 (Publ. Math. de l'IHES) by Peter Donovan and Max Karoubi [http://www.numdam.org/numdam-bin/recherche?au=Karoubi,+Max&format=short]; the second one in 1988 by [[Jonathan Rosenberg (mathematician)|Jonathan Rosenberg]] in [http://anziamj.austms.org.au/JAMSA/V47/Part3/Rosenberg.html Continuous-Trace Algebras from the Bundle Theoretic Point of View].
| |
| | |
| In [[physics]], it has been conjectured to classify [[D-branes]], [[Ramond-Ramond field|Ramond-Ramond field strengths]] and in some cases even [[spinors]] in [[type II string theory]]. For more information on twisted K-theory in [[string theory]], see [[K-theory (physics)]].
| |
| | |
| In the broader context of K-theory, in each subject it has numerous [[isomorphic]] formulations and, in many cases, isomorphisms relating definitions in various subjects have been proven. It also has numerous deformations, for example, in abstract algebra K-theory may be twisted by any integral cohomology class.
| |
| | |
| ==The definition==
| |
| To motivate Rosenberg's geometric formulation of twisted K-theory, start from the [[Atiyah-Jänich theorem]], stating that
| |
| | |
| :<math>Fred(\mathcal H),</math>
| |
| | |
| the [[Fredholm operator]]s on [[Hilbert space]] <math>\mathcal H</math>, is a [[classifying space]] for ordinary, untwisted K-theory. This means that the K-theory of the space ''M'' consists of the [[homotopy class]]es of maps
| |
| | |
| :<math>[M\rightarrow Fred(\mathcal H)]</math>
| |
| | |
| from ''M'' to <math>Fred(\mathcal H).</math>
| |
| | |
| A slightly more complicated way of saying the same thing is as follows. Consider the [[trivial bundle]] of <math>Fred(\mathcal H)</math> over M, that is, the Cartesian product of M and <math>Fred(\mathcal H)</math>. Then the K-theory of M consists of the homotopy classes of sections of this bundle.
| |
| | |
| We can make this yet more complicated by introducing a trivial
| |
| | |
| :<math>PU(\mathcal H)</math>
| |
| | |
| bundle <math>P</math> over M, where <math>PU(\mathcal H)</math> is the [[projective unitary group|group of projective unitary operators]] on the Hilbert space <math>\mathcal H</math>. Then the group of maps
| |
| | |
| :<math>[P\rightarrow Fred(\mathcal H)]_{PU(\mathcal H)}</math>
| |
| | |
| from <math>P</math> to <math>Fred(\mathcal H)</math> which are [[equivariant]] under an action of <math>PU(\mathcal H)</math> is equivalent to the original groups of maps
| |
| | |
| :<math>[M\rightarrow Fred(\mathcal H)].</math>
| |
| | |
| This more complicated construction of ordinary K-theory is naturally generalized to the twisted case. To see this, note that <math>PU(\mathcal H)</math> bundles on M are classified by elements H of the third [[integral cohomology group]] of M. This is a consequence of the fact that <math>PU(\mathcal H)</math> topologically is a representative [[Eilenberg-MacLane space]]
| |
| | |
| :<math>K(\mathbf Z,2).</math>
| |
| | |
| The generalization is then straightforward. Rosenberg has defined
| |
| | |
| :''K''<sub>''H''</sub>(''M''),
| |
| | |
| the twisted K-theory of M with twist given by the 3-class H, to be the space of homotopy classes of sections of the trivial <math>Fred(\mathcal H)</math> bundle over M that are covariant with respect to a <math>PU(\mathcal H)</math> bundle <math>P_H</math> fibered over M with 3-class H, that is
| |
| | |
| :<math>K_H(M)=[P_H\rightarrow Fred(\mathcal H)]_{PU(\mathcal H)}.</math>
| |
| | |
| Equivalently, it is the space of homotopy classes of sections of the <math>Fred(\mathcal H)</math> bundles [[associated bundle|associated]] to a <math>PU(\mathcal H)</math> bundle with class H.
| |
| | |
| ==What is it?==
| |
| | |
| When H is the trivial class, twisted K-theory is just untwisted K-theory, which is a ring. However when H is nontrivial this theory is no longer a ring. It has an addition, but it is no longer closed under multiplication.
| |
| | |
| However, the direct sum of the twisted K-theories of M with all possible twists is a ring. In particular, the product of an element of K-theory with twist H with an element of K-theory with twist H' is an element of K-theory twisted by H+H'. This element can be constructed directly from the above definition by using adjoints of Fredholm operators and construct a specific 2 x 2 matrix out of them (see the reference 1, where a more natural and general Z/2-graded version is also presented). In particular twisted K-theory is a module over classical K-theory.
| |
| | |
| ==How to calculate it==
| |
| | |
| Physicist typically want to calculate twisted K-theory using the [[Atiyah-Hirzebruch spectral sequence]].<ref>A guide to such calculations in the case of twisted K-theory can be found in [http://xxx.lanl.gov/abs/hep-th/0005090 E8 Gauge Theory, and a Derivation of K-Theory from M-Theory] by [http://www.physics.rutgers.edu/people/pips/Diaconescu.html Emanuel Diaconescu], [[Greg Moore (physicist)|Gregory Moore]] and [[Edward Witten]] (DMW).</ref> The idea is that one begins with all of the even or all of the odd integral cohomology, depending on whether one wishes to calculate the twisted ''K''<sup>0</sup> or the twisted ''K''<sup>1</sup>, and then one takes the cohomology with respect to a series of differential operators. The first operator, ''d''<sub>3</sub>, for example, is the sum of the three-class ''H'', which in string theory corresponds to the Neveu-Schwarz 3-form, and the third [[Steenrod square]].<ref>(DMW) also provide a crash course in Steenrod squares for physicists.</ref> No elementary form for the next operator, ''d''<sub>5</sub>, has been found, although several conjectured forms exist. Higher operators do not contribute to the ''K''-theory of a 10-manifold, which is the dimension of interest in critical [[superstring theory]]. Over the rationals [[Michael Atiyah]] and [[Graeme Segal]] have shown that all of the differentials reduce to [[Massey product]]s of ''H''.<ref>In [http://arxiv.org/abs/math.KT/0510674 Twisted K-theory and cohomology].</ref>
| |
| | |
| After taking the cohomology with respect to the full series of differentials one obtains twisted ''K''-theory as a set, but to obtain the full group structure one in general needs to solve an [[extension problem]].
| |
| | |
| ===Example: the three-sphere===
| |
| The three-sphere, ''S''<sup>3</sup>, has trivial cohomology except for ''H''<sup>0</sup>(''S''<sup>3</sup>) and ''H''<sup>3</sup>(''S''<sup>3</sup>) which are both isomorphic to the integers. Thus the even and odd cohomologies are both isomorphic to the integers. Because the three-sphere is of dimension three, which is less than five, the third Steenrod square is trivial on its cohomology and so the first nontrivial differential is just ''d''<sub>3</sub> = ''H''. The later differentials increase the degree of a cohomology class by more than three and so are again trivial; thus the twisted ''K''-theory is just the cohomology of the operator ''d''<sub>3</sub> which acts on a class by cupping it with the 3-class ''H''.
| |
| | |
| Imagine that ''H'' is the trivial class, zero. Then ''d''<sub>3</sub> is also trivial. Thus its entire domain is its kernel, and nothing is in its image. Thus ''K''<sup>0</sup><sub>''H''=0</sub>(''S''<sup>3</sup>) is the kernel of ''d''<sub>3</sub> in the even cohomology, which is the full even cohomology, which consists of the integers. Similarly ''K''<sup>1</sup><sub>''H''=0</sub>(''S''<sup>3</sup>) consists of the odd cohomology quotiented by the image of ''d''<sub>3</sub>, in other words quotiented by the trivial group. This leaves the original odd cohomology, which is again the integers. In conclusion, ''K''<sup>0</sup> and ''K''<sup>1</sup> of the three-sphere with trivial twist are both isomorphic to the integers. As expected, this agrees with the untwisted ''K''-theory.
| |
| | |
| Now consider the case in which ''H'' is nontrivial. ''H'' is defined to be an element of the third integral cohomology, which is isomorphic to the integers. Thus ''H'' corresponds to a number, which we will call ''n''. ''d''<sub>3</sub> now takes an element ''m'' of ''H''<sup>0</sup> and yields the element ''nm'' of ''H''<sup>3</sup>. As ''n'' is not equal to zero by assumption, the only element of the kernel of ''d''<sub>3</sub> is the zero element, and so ''K''<sup>0</sup><sub>''H=n''</sub>(''S''<sup>3</sup>)=0. The image of ''d''<sub>3</sub> consists of all elements of the integers that are multiples of ''n''. Therefore the odd cohomology, ''Z'', quotiented by the image of ''d''<sub>3</sub>, ''nZ'', is the cyclic group of order ''n'', ''Z''<sub>''n''</sub>. In conclusion
| |
| | |
| :''K''<sup>1</sup><sub>''H=n''</sub>(''S''<sup>3</sup>) = ''Z''<sub>''n''</sub>.
| |
| | |
| In string theory this result reproduces the classification of [[D-brane]]s on the 3-sphere with ''n'' units of H-flux, which corresponds to the set of symmetric boundary conditions in the supersymmetric SU(2) [[WZW model]] at level ''n'' - 2.
| |
| | |
| There is an extension of this calculation to the group manifold of [[SU(3)]].<ref>In [http://xxx.lanl.gov/abs/hep-th/0108100 D-Brane Instantons and K-Theory Charges] by [[Juan Maldacena]], [[Greg Moore (physicist)|Gregory Moore]] and [[Nathan Seiberg]].</ref> In this case the Steenrod square term in ''d''<sub>3</sub>, the operator ''d''<sub>5</sub>, and the extension problem are nontrivial.
| |
| | |
| ==See also==
| |
| *[[K-theory (physics)]]
| |
| *[[Wess-Zumino-Witten model]]
| |
| *[[bundle gerbe]]
| |
| | |
| ==References==
| |
| | |
| * Graded Brauer groups and K-theory with local coefficients, by Peter Donovan and Max Karoubi. Publ. Math. IHES Nr 38, p. 5-25 (1970).[http://www.numdam.org/numdam-bin/recherche?au=Karoubi,+Max&format=short]
| |
| *[http://xxx.lanl.gov/abs/hep-th/0108100 D-Brane Instantons and K-Theory Charges] by [[Juan Maldacena]], [http://www.physics.rutgers.edu/~gmoore Gregory Moore] and [[Nathan Seiberg]]
| |
| *[http://xxx.lanl.gov/abs/math.KT/0510674 Twisted K-theory and Cohomology] by [[Michael Atiyah]] and [[Graeme Segal]]
| |
| *[http://xxx.lanl.gov/abs/hep-th/0106194 Twisted K-theory and the K-theory of Bundle Gerbes] by [[Peter Bouwknegt]], [[Alan Carey (mathematician)|Alan Carey]], [[Mathai Varghese|Varghese Mathai]], [[Michael Murray (mathematician)|Michael Murray]] and [[Danny Stevenson]].
| |
| *[http://front.math.ucdavis.edu/0701.5789 ''Twisted K-theory, old and new'']
| |
| {{reflist}}
| |
| | |
| ==External links==
| |
| *[http://www.damtp.cam.ac.uk/strings02/avt/atiyah/ Strings 2002, Michael Atiyah lecture, "Twisted K-theory and physics"]
| |
| *[http://journals.tubitak.gov.tr/math/issues/mat-01-25-1/mat-25-1-10-0103-10.pdf ''The Verlinde algebra is twisted equivariant K-theory'' (PDF)]
| |
| *[http://www.hausdorff-research-institute.uni-bonn.de/files/preprints/geometry_and_physics/D-brane-new.pdf ''Riemann-Roch and index formulae in twisted K-theory'' (PDF)]
| |
| | |
| [[Category:K-theory]]
| |
| | |
| [[pt:K-teoria retorcida]]
| |
Hi there, I am Andrew Berryhill. The favorite hobby for him and his kids is to play lacross and he'll be beginning some thing else along with it. North Carolina is the location he enjoys most but now he is contemplating other choices. Office supervising is my profession.
Also visit my web-site ... psychic readings