(Not only) Line bundles over noncommutative spaces
|
|
- Shavonne Mason
- 5 years ago
- Views:
Transcription
1 (Not only) Line bundles over noncommutative spaces Giovanni Landi Trieste Gauge Theory and Noncommutative Geometry Radboud University Nijmegen ; April 4 8, 2016
2 Work done over few years with Francesca Arici Simon Brain Francesco D Andrea Jens Kaad
3 Abstract: Pimsner algebras of tautological line bundles: Total spaces of principal bundles out of a Fock-space construction Gysin-like sequences in KK-theory Quantum lens spaces as direct sums of line bundles over weighted quantum projective spaces Self-dual connections: on line bundles: monopole connections on higher rank bundles: instanton connections some hint to T-dual noncommutative bundles
4 grand motivations : Gauge fields on noncommutative spaces T-duality for noncommutative spaces Chern-Simons theory A Gysin sequence for U(1)-bundles relates H-flux (three-forms on the total space E) to line bundles (two-forms on the base space M) also giving an isomorphism between Dixmier-Douady classes on E and line bundles on M
5 The classical Gysin sequence Long exact sequence in cohomology; for any sphere bundle In particular, for circle bundles: U(1) E π X H k (E) π H k 1 (X) c 1(E) H k+1 (X) π H k+1 (E) H 3 (E) π H 2 (X) c 1(E) H 4 (X) H 3 (E) H π (H) = F = c 1 (E )
6 E M E E π M π E H 3 (E ) π H 2 (X) c 1(E ) H 4 (X) F F = 0 = F F H 3 (E ) H π (H) = F = c 1 (E) T-dual (E, H) and (E, H ) Bouwknegt, Evslin, Mathai, 2004
7 difficult to generalize to quantum spaces rather go to K-theory ; a six term exact sequence ( see later )
8 Projective spaces and lens spaces CP n = S 2n+1 /U(1) and L (n,r) = S 2n+1 /Z r assemble in principal bundles : S 2n+1 L (n,r) π CP n This leads to the Gysin sequence in topological K-theory: 0 K 1 (L (n,r) ) δ K 0 (CP n ) α K 0 (CP n ) π K 0 (L (n,r) ) 0 δ is a connecting homomorphism α is multiplication by the Euler class χ(l r ) := 1 [L r ] From this: K 1 (L (n,r) ) ker(α) and K 0 (L (n,r) ) coker(α) torsion groups
9 U(1)-principal bundles The Hopf algebra H = O(U(1)) := C[z, z 1 ]/ 1 zz 1 : z n z n z n ; S : z n z n ; ɛ : z n 1 Let A be a right comodule algebra over H with coaction R : A A H B := {x A R (x) = x 1} be the subalgebra of coinvariants Definition 1. The datum ( A, H, B ) is a quantum principal U(1)- bundle when the canonical map is an isomorphism can : A B A A H, x y x R (y).
10 Z-graded algebras A = n Z A n a Z-graded algebra. A right H-comodule algebra: R : A A H x x z n, for x A n, with the subalgebra of coinvariants given by A 0. Proposition 2. The triple ( A, H, A 0 ) is a quantum principal U(1)- bundle if and only if there exist finite sequences {ξ j } N j=1, {β i} M i=1 in A 1 and {η j } N j=1, {α i} M i=1 in A 1 such that: N j=1 ξ jη j = 1 A = M i=1 α iβ i.
11 Corollary 3. Same conditions as above. The right-modules A 1 and A 1 are finitely generated and projective over A 0. Proof. For A 1 : define the module homomorphisms Φ 1 : A 1 (A 0 ) N, Φ 1 (ζ) = Ψ 1 : (A 0 ) N A 1, Ψ 1 x 1 x 2. x N η 1 ζ η 2 ζ. η N ζ and = j ξ j x j. Then Ψ 1 Φ 1 = Id A1. Thus E 1 := Φ 1 Ψ 1 is an idempotent in M N (A 0 ).
12 The above results show that ( A, H, A 0 ) is a quantum principal U(1)-bundle if and only if A is strongly Z-graded, that is A n A (m) = A (n+m) Equivalently, the right-modules A (±1) are finitely generated and projective over A 0 if and only if A is strongly Z-graded C. Nastasescu, F. Van Oystaeyen, Graded Ring Theory K.H. Ulbrich, 1981
13 More generally: G any group with unit e An algebra A is G-graded if A = g G A g, and A g A h A gh If H := CG the group algebra, then A is G-graded if and only if A is a right H-comodule algebra for the coaction δ : A A H δ(a g ) = a g g, a g A g ; coinvariants given by A coh = A e, the identity components. Proposition 4. The datum ( A, H, A e ) is a noncommutative principal H-bundle for the canonical map can : A Ae A A H, a b g ab g g, if and only if A is strongly graded, that is A g A h = A gh. When G = Z = U(1), then CG = O(U(1)) as before.
14 More general scheme: Pimsner algebras M.V. Pimsner 97 The right-modules A 1 and A 1 before are line bundles over A 0 The slogan: a line bundle is a self-morita equivalence bimodule E a (right) Hilbert module over B B-valued hermitian structure, on E L(E) adjointable operators; K(E) L(E) compact operators with ξ, η E, denote θ ξ,η K(E) defined by θ ξ,η (ζ) = ξ η, ζ There is an isomorphism φ : B K(E) and E is a B-bimodule
15 Comparing with before: A 0 B and A 1 E Look for the analogue of A O E Pimsner algebra Examples B = O(CP n q ) E = L r (L 1 ) r quantum (weighted) projective spaces (powers of) tautological line bundle O E = O(L (n,r) q ) quantum lens spaces
16 Define the B-module E := N Z E φ N, E 0 = B E φ E the inner tensor product: a B-Hilbert module with B- valued hermitian structure ξ 1 η 1, ξ 2 η 2 = η 1, φ( ξ 1, ξ 2 )η 2 E 1 = E the dual module; its elements are written as λ ξ for ξ E : λ ξ (η) = ξ, η
17 For each ξ E a bounded adjointable operator S ξ : E E generated by S ξ : E φ N E φ (N+1) : S ξ (b) := ξ b, b B, S ξ (ξ 1 ξ N ) := ξ ξ 1 ξ N, N > 0, S ξ (λ ξ1 λ ξ N ) := λ ξ2 φ 1 (θ ξ1,ξ) λ ξ 3 λ ξ N, N < 0. Definition 5. The Pimsner algebra O E of the pair (φ, E) is the smallest subalgebra of L(E ) which contains the operators S ξ : E E for all ξ E. Pimsner: universality of O E
18 There is a natural inclusion B O E a generalized principal circle bundle roughly: as a vector space O E E and E φ N η ηλ N, λ U(1) Two natural classes in KK-theory: 1. the class [E] KK 0 (B, B) of the even Kasparov module (E, φ, 0) (with trivial grading) the map 1 [E] has the role of the Euler class χ(e) := 1 [E] of the line bundle E over the noncommutative space B
19 2. the class [ ] KK 1 (O E, B) of the odd Kasparov module (E, φ, F ): F := 2P 1 L(E ) of the projection P : E E with and inclusion φ : O E L(E ). Im(P ) = ( N=0 E φ N ) E The Kasparov product induces group homomorphisms [E] : K (B) K (B), [E] : K (B) K (B) and [ ] : K (O E ) K +1 (B), [ ] : K (B) K +1 (O E ),
20 Associated six-terms exact sequences Gysin sequences: in K-theory: K 0 (B) [ ] K 1 (O E ) 1 [E] K 0 (B) i i K 1 (B) 1 [E] K 0 (O E ) [ ] ; K 1 (B) the corresponding one in K-homology: K 0 (B) 1 [E] K 0 (B) i K 0 (O E ) [ ] [ ]. K 1 (O E ) In fact in KK-theory i K 1 (B) 1 [E] K 1 (B)
21 The quantum spheres and the projective spaces The coordinate algebra O(S 2n+1 q ) of quantum sphere S 2n+1 -algebra generated by 2n + 2 elements {z i, zi } i=0,...,n s.t.: q : [z n, z n ] = 0, [z i, z i] = (1 q 2 ) z i z j = q 1 z j z i 0 i < j n, zi z j = qz j zi i j, n j=i+1 z j z j i = 0,..., n 1, and a sphere relation: 1 = z 0 z 0 + z 1z z nz n. L. Vaksman, Ya. Soibelman, 1991 ; M. Welk, 2000
22 The -subalgebra of O(S 2n+1 q ) generated by p ij := z i z j coordinate algebra O(CP n q ) of the quantum projective space CP n q Invariant elements for the U(1)-action on the algebra O(S 2n+1 q ): (z 0, z 1,..., z n ) (λz 0, λz 1,..., λz n ), λ U(1). the fibration S 2n+1 q CP n q is a quantum U(1)-principal bundle: O(CP n q ) = O(S 2n+1 q ) U(1) O(S 2n+1 q ).
23 The C -algebras C(S 2n+1 q ) and C(CP n q ) of continuous functions: completions of O(S 2n+1 q ) and O(CP n q ) in the universal C -norms these are graph algebras J.H. Hong, W. Szymański 2002 K 0 (CP n q ) Z n+1 K 0 (C(CP n q )) F. D Andrea, G. L Generators of the homology group K 0 (C(CP n q )) given explicitly as (classes of) even Fredholm modules µ k = (O(CP n q ), H (k), π (k), γ (k), F (k) ), for 0 k n.
24 Generators of the K-theory K 0 (CP n q ) also given explicitly as projections whose entries are polynomial functions: line bundles & projections For N Z, vector-valued functions Ψ N := (ψ N j 0,...,j n ) s.t. Ψ N Ψ N = 1 P N := Ψ N Ψ N is a projection: P N M dn (O(CP n q )), d N := ( N + n), n Entries of P N are U(1)-invariant and so elements of O(CP n q )
25 Proposition 6. For all N N and for all 0 k n it holds that [µk ], [P N ] := Tr Hk (γ (k) (π (k) (Tr P N )) = ( N k ), [µ 0 ],..., [µ n ] are generators of K 0 (C(CP n q )), and [P 0 ],..., [P n ] are generators of K 0 (CP n q ) The matrix of couplings M M n+1 (Z) is invertible over Z: M ij := [µ i ], [P j ] = ( ) j i, (M 1 ) ij = ( 1) i+j( ) j i. These are bases of Z n+1 as Z-modules; they generate Z n+1 as an Abelian group.
26 The inclusion O(CP n q ) O(S 2n+1 q ) is a U(1) q.p.b. To a projection P N there corresponds an associated line bundle L N (O(CP n q )) d NP N P N (O(CP n q )) d N L N made of elements of O(S 2n+1 q ) transforming under U(1) as ϕ N ϕ N λ N, λ U(1) Each L N is indeed a bimodule over L 0 = O(CP n q ); the bimodule of equivariant maps for the IRREP of U(1) with weight N. Also, L N O(CP n q ) L M L N+M
27 Denote [P N ] = [L N ] in the group K 0 (CP n q ). The module L N is a line bundle, in the sense that its rank (as computed by pairing with [µ 0 ]) is equal to 1 Completely characterized by its first Chern number (as computed by pairing with the class [µ 1 ]): Proposition 7. For all N Z it holds that [µ 0 ], [L N ] = 1 and [µ 1 ], [L N ] = N.
28 The line bundle L 1 emerges as a central character: its only non-vanishing charges are [µ 0 ], [L 1 ] = 1 [µ 1 ], [L 1 ] = 1 L 1 is the tautological line bundle for CP n q, with Euler class u = χ([l 1 ]) := 1 [L 1 ]. Proposition 8. It holds that K 0 (CP n q ) Z[u]/u n+1 Z n+1. [µ k ] and ( u) j are dual bases of K-homology and K-theory
29 The quantum lens spaces Fix an integer r 2 and define O(L (n,r) q ) := N Z L rn. Proposition 9. O(L (n,r) q ) is a -algebra; all elements of O(Sq 2n+1 ) invariant under the action α r : Z r Aut(O(Sq 2n+1 )) of the cyclic group Z r : (z 0, z 1,..., z n ) (e 2πi/r z 0, e 2πi/r z 1,..., e 2πi/r z n ). The dual L (n,r) q : the quantum lens space of dimension 2n + 1 (and index r) There are algebra inclusions j : O(CP n q ) O(L (n,r) q ) O(S 2n+1 q ).
30 Pulling back line bundles Proposition 10. The algebra inclusion j : O(CP n q ) O(L (n,r) q ) is a quantum principal bundle with structure group Ũ(1) := U(1)/Z r : O(CP n q ) = O(L (n,r) q )Ũ(1). Then one can pull-back line bundles from CP n q to L(n,r) q. L N j L N O(L (n,r) q) O(CP n q ). j
31 Definition 11. For each L N an O(CP n q )-bimodule (a line bundle over CP n q ), its pull-back to L(n,r) q is the O(L (n,r) q )-bimodule L N = j (L N ) := O(L (n,r) q ) O(CP n q ) L N. The algebra inclusion j : O(CP n q ) O(L (n,r) q ) induces a map j : K 0 (CP n q ) K 0 (L (n,r) q )
32 Each L N over CP n q is not free when N 0, this need not be the case for L N over L (n,r) q : the pull-back L r of L r is tautologically free : L r = O(L (n,r) q ) L0 L r O(L (n,r) q ) = L 0. ( L N ) r L rn also has trivial class for any N Z L N define torsion classes; they generate the group K 0 (L (n,r) q )
33 Multiplying by the Euler class A second crucial ingredient α : K 0 (CP n q ) K 0(CP n q ), α is multiplication by χ(l r ) := 1 [L r ] the Euler class of the line bundle L r
34 Assembly these into an exact sequence, the Gysin sequence 0 K 1 (L (n,r) q ) K 0 (CP n q ) α K 0 (CP n q ) K 0 (L (n,r) q ) 0 0 K 1 (L (n,r) q ) Ind D K 0 (CP n q )... and... K 0 (L (n,r) q ) Ind D 0 Ind D comes from Kasparov theory
35 Some practical and important applications, notably, the computation of the K-theory of the quantum lens spaces L (n,r) q. Thus K 1 (L (n,r) q ) ker(α), K 0 (L (n,r) q ) coker(α). Moreover, geometric generators of the groups K 1 (L (n,r) q ) K 0 (L (n,r) q ) for the latter as pulled-back line bundles from CP n q to L (n,r) q Explicit generators as integral combinations of powers of the pull-back to the lens space L (n,r) q of the generator u := 1 [L 1 ]
36 The K-theory of quantum lens spaces Proposition 12. The (n + 1) (n + 1) matrix α has rank n: K 1 (C(L (n,r) q )) Z. On the other hand, the structure of the cokernel of the matrix A depends on the divisibility properties of the integer r. This leads to K 0 (L (n,r) q ) = Z Z/α 1 Z Z/α n Z. for suitable integers α 1,..., α n.
37 Example 13. For n = 1 K 0 (C(L (1,r) q )) = Z Z r. From definition [ L r ] = 1, thus L 1 generates the torsion part. Alternatively, from u 2 = 0 it follows that L j = (j 1) + jl 1 ; upon lifting to L q (1,r), for j = r this yields or 1 [ L 1 ] is cyclic of order r. r(1 [ L 1 ]) = 0
38 Example 14. If r = 2 L (n,2) q = Sq 2n+1 /Z 2 = RPq 2n+1, the quantum real projective space, we get K 0 (C(RPq 2n+1 )) = Z Z 2 n the generator 1 [ L 1 ] is cyclic with the correct order 2 n. Example 15. For n = 2 there are two cases. When r = 2k + 1: When r = 2k: r ũ = 0, r ũ 2 = 0, K 0 (L (2,r) q ) = Z Z r Z r 1 2 r (ũ ũ) = 0, 2r ũ = 0, K 0 (C(L (2,r) q )) = Z Z r Z 2 2r
39 T-dual Pimsner algebras: a simple example 0 K 1 (L (1,r) q ) K 0 (CP 1 q ) 1 [L r] K 0 (CP 1 q ) K 0 (L (1,r) q ) 0 ker(1 [L r ]) =< u >=< 1 [L 1 ] > and K 1 (L (1,r) q ) h (h) = h(1 [L 1 ]) 1 [L h ] (1 [L r ])(1 [L h ]) = 0 = (1 [L h ])(1 [L r ])
40 The exactness of the dual sequence for 0 K 1 (L (1,h) q ) K 0 (CP 1 q ) 1 [L h] K 0 (CP 1 q ) K 0 (L (1,h) q ) 0 implies there exists a r K 1 (L q (1,r) ) such that K 1 (L (1,h) q ) r (r) = r(1 [L 1 ]) 1 [L r ] The couples ( L (1,r) q, h K 1 (L (1,r) ) ) and ( L (1,h) q q, r K 1 (L (1,h) q ) ) are T-dual
41 More generally : Quantum w. projective lines and lens spaces: B = O(W q (k, l)) = quantum weighted projective line the fixed point algebra for a weighted circle action on O(S 3 q ) z 0 λ k z 0, z 1 λ l z 1, λ U(1) The corresponding universal enveloping C -algebra C(W q (k, l)) does not in fact depend on the label k: isomorphic to the unitalization of l copies of K = compact operators on l 2 (N 0 ) C(W q (k, l)) = l s=0 K Then: K 0 (C(W q (k, l))) = Z l+1, K 1 (C(W q (k, l))) = 0 a partial resolution of singularity, since classically K 0 (C(W (k, l))) = Z 2.
42 O E = O(L q (lk; k, l)) = quantum lens space Indeed, a vector space decomposition O(L q (lk; k, l)) = N Z L n (k, l), with E = L 1 (k, l) a right finitely projective module L 1 (k, l) := (z 1 )k O(W q (k, l)) + (z 0 )l O(W q (k, l)) Also, O(L q (lk; k, l)) the fixes point algebra of a cyclic action Z/(lk)Z S 3 q S 3 q z 0 exp( 2πi ) z 0, z 1 exp( 2πi l k ) z 1.
43 K-theory and K-homology of quantum lens space Denote the diagonal inclusion by ι : Z Z l, 1 (1,..., 1) with transpose ι t : Z l Z, ι t (m 1,..., m l ) = m m l. Proposition 16. (Arici, Kaad, L.) With k, l N coprime: K 0 ( Lq (lk; k, l)) ) coker(1 E) Z ( Z l /Im(ι) ) as well as K 1 ( Lq (lk; k, l)) ) ker(1 E) Z l K 0( L q (lk; k, l)) ) ker(1 E t ) Z ( ker(ι t ) ) K 1( L q (lk; k, l)) ) coker(1 E t ) Z l. Again there is no dependence on the label k.
44 grand motivations / applications : Gauge fields on noncommutative spaces T-duality for noncommutative spaces Chern-Simons theory A Gysin sequence for U(1)-bundles relates H-flux (three-forms on the total space E) to line bundles (two-forms on the base space M) also giving an isomorphism between Dixmier-Douady classes on E and line bundles on M
45 Summing up: many nice and elegant and useful geometry structures hope you enjoyed it Thank you!!
Bundles over quantum weighted projective spaces
Bundles over quantum weighted projective spaces Tomasz Swansea University Lancaster, September 2012 Joint work with Simon A Fairfax References: TB & SAF, Quantum teardrops, Comm. Math. Phys. in press (arxiv:1107.1417)
More informationPDF hosted at the Radboud Repository of the Radboud University Nijmegen
PDF hosted at the Radboud Repository of the Radboud University Nijmegen The following full text is a preprint version which may differ from the publisher's version. For additional information about this
More informationOn algebraic index theorems. Ryszard Nest. Introduction. The index theorem. Deformation quantization and Gelfand Fuks. Lie algebra theorem
s The s s The The term s is usually used to describe the equality of, on one hand, analytic invariants of certain operators on smooth manifolds and, on the other hand, topological/geometric invariants
More informationT-duality & noncommutative geometry
T-duality & noncommutative geometry Type IIA Type IIB duality rephrased Higher Structures in String Theory and Quantum Field Theory Instructional workshop for students and junior researchers Mathai Varghese
More informationA users guide to K-theory
A users guide to K-theory K-theory Alexander Kahle alexander.kahle@rub.de Mathematics Department, Ruhr-Universtät Bochum Bonn-Cologne Intensive Week: Tools of Topology for Quantum Matter, July 2014 Outline
More informationCHARACTERISTIC CLASSES
1 CHARACTERISTIC CLASSES Andrew Ranicki Index theory seminar 14th February, 2011 2 The Index Theorem identifies Introduction analytic index = topological index for a differential operator on a compact
More informationTHE NONCOMMUTATIVE TORUS
THE NONCOMMUTATIVE TORUS The noncommutative torus as a twisted convolution An ordinary two-torus T 2 with coordinate functions given by where x 1, x 2 [0, 1]. U 1 = e 2πix 1, U 2 = e 2πix 2, (1) By Fourier
More informationChern numbers and Hilbert Modular Varieties
Chern numbers and Hilbert Modular Varieties Dylan Attwell-Duval Department of Mathematics and Statistics McGill University Montreal, Quebec attwellduval@math.mcgill.ca April 9, 2011 A Topological Point
More informationLecture on Equivariant Cohomology
Lecture on Equivariant Cohomology Sébastien Racanière February 20, 2004 I wrote these notes for a hours lecture at Imperial College during January and February. Of course, I tried to track down and remove
More informationWHAT IS K-HOMOLOGY? Paul Baum Penn State. Texas A&M University College Station, Texas, USA. April 2, 2014
WHAT IS K-HOMOLOGY? Paul Baum Penn State Texas A&M University College Station, Texas, USA April 2, 2014 Paul Baum (Penn State) WHAT IS K-HOMOLOGY? April 2, 2014 1 / 56 Let X be a compact C manifold without
More informationKR-theory. Jean-Louis Tu. Lyon, septembre Université de Lorraine France. IECL, UMR 7502 du CNRS
Jean-Louis Tu Université de Lorraine France Lyon, 11-13 septembre 2013 Complex K -theory Basic definition Definition Let M be a compact manifold. K (M) = {[E] [F] E, F vector bundles } [E] [F] [E ] [F
More informationTorus equivariant spectral triples for odd dimensional quantum spheres coming from C -extensions
isid/ms/2007/02 March 5, 2007 http://www.isid.ac.in/ statmath/eprints Torus equivariant spectral triples for odd dimensional quantum spheres coming from C -extensions Partha Sarathi Chakraborty Arupkumar
More information120A LECTURE OUTLINES
120A LECTURE OUTLINES RUI WANG CONTENTS 1. Lecture 1. Introduction 1 2 1.1. An algebraic object to study 2 1.2. Group 2 1.3. Isomorphic binary operations 2 2. Lecture 2. Introduction 2 3 2.1. The multiplication
More informationT-duality : a basic introduction
T-duality : a basic introduction Type IIA () Type IIB 10th Geometry and Physics conference, Quantum Geometry Anogia, 6-10 August 2012 Mathai Varghese Collaborators and reference joint work with: - Peter
More informationarxiv: v1 [math.kt] 31 Mar 2011
A NOTE ON KASPAROV PRODUCTS arxiv:1103.6244v1 [math.kt] 31 Mar 2011 MARTIN GRENSING November 14, 2018 Combining Kasparov s theorem of Voiculesu and Cuntz s description of KK-theory in terms of quasihomomorphisms,
More informationSOME EXERCISES. By popular demand, I m putting up some fun problems to solve. These are meant to give intuition for messing around with spectra.
SOME EXERCISES By popular demand, I m putting up some fun problems to solve. These are meant to give intuition for messing around with spectra. 1. The algebraic thick subcategory theorem In Lecture 2,
More informationNONCOMMUTATIVE LOCALIZATION IN ALGEBRA AND TOPOLOGY Andrew Ranicki (Edinburgh) aar. Heidelberg, 17th December, 2008
1 NONCOMMUTATIVE LOCALIZATION IN ALGEBRA AND TOPOLOGY Andrew Ranicki (Edinburgh) http://www.maths.ed.ac.uk/ aar Heidelberg, 17th December, 2008 Noncommutative localization Localizations of noncommutative
More informationThus we get. ρj. Nρj i = δ D(i),j.
1.51. The distinguished invertible object. Let C be a finite tensor category with classes of simple objects labeled by a set I. Since duals to projective objects are projective, we can define a map D :
More informationk=0 /D : S + S /D = K 1 2 (3.5) consistently with the relation (1.75) and the Riemann-Roch-Hirzebruch-Atiyah-Singer index formula
20 VASILY PESTUN 3. Lecture: Grothendieck-Riemann-Roch-Hirzebruch-Atiyah-Singer Index theorems 3.. Index for a holomorphic vector bundle. For a holomorphic vector bundle E over a complex variety of dim
More informationBEYOND ELLIPTICITY. Paul Baum Penn State. Fields Institute Toronto, Canada. June 20, 2013
BEYOND ELLIPTICITY Paul Baum Penn State Fields Institute Toronto, Canada June 20, 2013 Paul Baum (Penn State) Beyond Ellipticity June 20, 2013 1 / 47 Minicourse of five lectures: 1. Dirac operator 2. Atiyah-Singer
More informationThe Hopf Bracket. Claude LeBrun SUNY Stony Brook and Michael Taylor UNC Chapel Hill. August 11, 2013
The Hopf Bracket Claude LeBrun SUY Stony Brook and ichael Taylor UC Chapel Hill August 11, 2013 Abstract Given a smooth map f : between smooth manifolds, we construct a hierarchy of bilinear forms on suitable
More informationE 0 0 F [E] + [F ] = 3. Chern-Weil Theory How can you tell if idempotents over X are similar?
. Characteristic Classes from the viewpoint of Operator Theory. Introduction Overarching Question: How can you tell if two vector bundles over a manifold are isomorphic? Let X be a compact Hausdorff space.
More informationModuli spaces of sheaves and the boson-fermion correspondence
Moduli spaces of sheaves and the boson-fermion correspondence Alistair Savage (alistair.savage@uottawa.ca) Department of Mathematics and Statistics University of Ottawa Joint work with Anthony Licata (Stanford/MPI)
More informationLECTURE 26: THE CHERN-WEIL THEORY
LECTURE 26: THE CHERN-WEIL THEORY 1. Invariant Polynomials We start with some necessary backgrounds on invariant polynomials. Let V be a vector space. Recall that a k-tensor T k V is called symmetric if
More informationIntroduction (Lecture 1)
Introduction (Lecture 1) February 2, 2011 In this course, we will be concerned with variations on the following: Question 1. Let X be a CW complex. When does there exist a homotopy equivalence X M, where
More informationL E C T U R E N O T E S O N H O M O T O P Y T H E O R Y A N D A P P L I C AT I O N S
L A U R E N T I U M A X I M U N I V E R S I T Y O F W I S C O N S I N - M A D I S O N L E C T U R E N O T E S O N H O M O T O P Y T H E O R Y A N D A P P L I C AT I O N S i Contents 1 Basics of Homotopy
More informationCohomology of some configuration spaces and associated bundles
Cohomology of some configuration spaces and associated bundles untitled t Page of Printed: Friday, July 8, 005 :7: PM 誕生日おめでとうの男 Laurence R. Taylor University of Notre Dame July, 005 For any space X, F
More informationPolynomial Hopf algebras in Algebra & Topology
Andrew Baker University of Glasgow/MSRI UC Santa Cruz Colloquium 6th May 2014 last updated 07/05/2014 Graded modules Given a commutative ring k, a graded k-module M = M or M = M means sequence of k-modules
More informationGeneralized Alexander duality and applications. Osaka Journal of Mathematics. 38(2) P.469-P.485
Title Generalized Alexander duality and applications Author(s) Romer, Tim Citation Osaka Journal of Mathematics. 38(2) P.469-P.485 Issue Date 2001-06 Text Version publisher URL https://doi.org/10.18910/4757
More informationThe Riemann-Roch Theorem
The Riemann-Roch Theorem TIFR Mumbai, India Paul Baum Penn State 7 August, 2015 Five lectures: 1. Dirac operator 2. Atiyah-Singer revisited 3. What is K-homology? 4. Beyond ellipticity 5. The Riemann-Roch
More informationQuasi Riemann surfaces II. Questions, comments, speculations
Quasi Riemann surfaces II. Questions, comments, speculations Daniel Friedan New High Energy Theory Center, Rutgers University and Natural Science Institute, The University of Iceland dfriedan@gmail.com
More informationNoncommutative geometry and quantum field theory
Noncommutative geometry and quantum field theory Graeme Segal The beginning of noncommutative geometry is the observation that there is a rough equivalence contravariant between the category of topological
More informationSECTION 5: EILENBERG ZILBER EQUIVALENCES AND THE KÜNNETH THEOREMS
SECTION 5: EILENBERG ZILBER EQUIVALENCES AND THE KÜNNETH THEOREMS In this section we will prove the Künneth theorem which in principle allows us to calculate the (co)homology of product spaces as soon
More informationEILENBERG-ZILBER VIA ACYCLIC MODELS, AND PRODUCTS IN HOMOLOGY AND COHOMOLOGY
EILENBERG-ZILBER VIA ACYCLIC MODELS, AND PRODUCTS IN HOMOLOGY AND COHOMOLOGY CHRIS KOTTKE 1. The Eilenberg-Zilber Theorem 1.1. Tensor products of chain complexes. Let C and D be chain complexes. We define
More informationHigher representation theory in algebra and geometry: Lecture II
Higher representation theory in algebra and geometry: Lecture II Ben Webster UVA ebruary 10, 2014 Ben Webster (UVA) HRT : Lecture II ebruary 10, 2014 1 / 35 References or this lecture, useful references
More informationMONDAY - TALK 4 ALGEBRAIC STRUCTURE ON COHOMOLOGY
MONDAY - TALK 4 ALGEBRAIC STRUCTURE ON COHOMOLOGY Contents 1. Cohomology 1 2. The ring structure and cup product 2 2.1. Idea and example 2 3. Tensor product of Chain complexes 2 4. Kunneth formula and
More informationK theory of C algebras
K theory of C algebras S.Sundar Institute of Mathematical Sciences,Chennai December 1, 2008 S.Sundar Institute of Mathematical Sciences,Chennai ()K theory of C algebras December 1, 2008 1 / 30 outline
More informationGeometry of Conformal Field Theory
Geometry of Conformal Field Theory Yoshitake HASHIMOTO (Tokyo City University) 2010/07/10 (Sat.) AKB Differential Geometry Seminar Based on a joint work with A. Tsuchiya (IPMU) Contents 0. Introduction
More informationINSTANTON MODULI AND COMPACTIFICATION MATTHEW MAHOWALD
INSTANTON MODULI AND COMPACTIFICATION MATTHEW MAHOWALD () Instanton (definition) (2) ADHM construction (3) Compactification. Instantons.. Notation. Throughout this talk, we will use the following notation:
More informationE ring spectra and Hopf invariant one elements
University of Aberdeen Seminar 23rd February 2015 last updated 22/02/2015 Hopf invariant one elements Conventions: Everything will be 2-local. Homology and cohomology will usually be taken with F 2 coefficients,
More informationDualities in field theories and the role of K-theory
Quantization and NCG, RIMS, Kyoto, Feb. 21 23, 2011 Plan of the Lectures Abstract: It is now known (or in some cases just believed) that many quantum field theories exhibit dualities, equivalences with
More informationCup product and intersection
Cup product and intersection Michael Hutchings March 28, 2005 Abstract This is a handout for my algebraic topology course. The goal is to explain a geometric interpretation of the cup product. Namely,
More informationCharacteristic classes and Invariants of Spin Geometry
Characteristic classes and Invariants of Spin Geometry Haibao Duan Institue of Mathematics, CAS 2018 Workshop on Algebraic and Geometric Topology, Southwest Jiaotong University July 29, 2018 Haibao Duan
More informationMath 752 Week s 1 1
Math 752 Week 13 1 Homotopy Groups Definition 1. For n 0 and X a topological space with x 0 X, define π n (X) = {f : (I n, I n ) (X, x 0 )}/ where is the usual homotopy of maps. Then we have the following
More informationMath 121 Homework 5: Notes on Selected Problems
Math 121 Homework 5: Notes on Selected Problems 12.1.2. Let M be a module over the integral domain R. (a) Assume that M has rank n and that x 1,..., x n is any maximal set of linearly independent elements
More informationUnbounded KK-theory and KK-bordisms
Unbounded KK-theory and KK-bordisms joint work with Robin Deeley and Bram Mesland University of Gothenburg 161026 Warzaw 1 Introduction 2 3 4 Introduction In NCG, a noncommutative manifold is a spectral
More informationFinite Depth and a Galois Correspondence. Lars Kadison
Finite Depth and a Galois Correspondence Lars Kadison October 12, 2007 Similarity of Functors F G Two functors between abelian categories F, G : C D are said to be similar if object X C, n, m Z + : two
More informationSegre classes of tautological bundles on Hilbert schemes of surfaces
Segre classes of tautological bundles on Hilbert schemes of surfaces Claire Voisin Abstract We first give an alternative proof, based on a simple geometric argument, of a result of Marian, Oprea and Pandharipande
More informationChern classes à la Grothendieck
Chern classes à la Grothendieck Theo Raedschelders October 16, 2014 Abstract In this note we introduce Chern classes based on Grothendieck s 1958 paper [4]. His approach is completely formal and he deduces
More informationSOME EXERCISES IN CHARACTERISTIC CLASSES
SOME EXERCISES IN CHARACTERISTIC CLASSES 1. GAUSSIAN CURVATURE AND GAUSS-BONNET THEOREM Let S R 3 be a smooth surface with Riemannian metric g induced from R 3. Its Levi-Civita connection can be defined
More informationDe Rham Cohomology. Smooth singular cochains. (Hatcher, 2.1)
II. De Rham Cohomology There is an obvious similarity between the condition d o q 1 d q = 0 for the differentials in a singular chain complex and the condition d[q] o d[q 1] = 0 which is satisfied by the
More informationBRST and Dirac Cohomology
BRST and Dirac Cohomology Peter Woit Columbia University Dartmouth Math Dept., October 23, 2008 Peter Woit (Columbia University) BRST and Dirac Cohomology October 2008 1 / 23 Outline 1 Introduction 2 Representation
More informationScuola Internazionale Superiore di Studi Avanzati Area of Mathematics Ph.D. in Mathematical Physics. Dirac Operators on Quantum Principal G-Bundles
Scuola Internazionale Superiore di Studi Avanzati Area of Mathematics Ph.D. in Mathematical Physics Dirac Operators on Quantum Principal G-Bundles Supervisor: Prof. Ludwik Dabrowski Candidate: Alessandro
More informationDivision Algebras and Parallelizable Spheres, Part II
Division Algebras and Parallelizable Spheres, Part II Seminartalk by Jerome Wettstein April 5, 2018 1 A quick Recap of Part I We are working on proving the following Theorem: Theorem 1.1. The following
More informationAn overview of D-modules: holonomic D-modules, b-functions, and V -filtrations
An overview of D-modules: holonomic D-modules, b-functions, and V -filtrations Mircea Mustaţă University of Michigan Mainz July 9, 2018 Mircea Mustaţă () An overview of D-modules Mainz July 9, 2018 1 The
More informationChain Complexes and Herbrand Quotients
LECTURE 7 Chain Complexes and Herbrand Quotients Last time, we defined the Tate cohomology groups Ĥ0 (G, M) and Ĥ1 (G, M) for cyclic groups. Recall that if G = Z/nZ with generator σ, then a G-module is
More informationON THE CHERN CHARACTER OF A THETA-SUMMABLE FREDHOLM MODULE.
ON THE CHERN CHARACTER OF A THETA-SUMMABLE FREDHOLM MODULE. Ezra Getzler and András Szenes Department of Mathematics, Harvard University, Cambridge, Mass. 02138 USA In [3], Connes defines the notion of
More informationFermionic coherent states in infinite dimensions
Fermionic coherent states in infinite dimensions Robert Oeckl Centro de Ciencias Matemáticas Universidad Nacional Autónoma de México Morelia, Mexico Coherent States and their Applications CIRM, Marseille,
More informationExercises on characteristic classes
Exercises on characteristic classes April 24, 2016 1. a) Compute the Stiefel-Whitney classes of the tangent bundle of RP n. (Use the method from class for the tangent Chern classes of complex projectives
More informationLecture 1: Crossed Products of C*-Algebras by Finite Groups. General motivation. A rough outline of all three lectures
Winter School on Operator Algebras Lecture 1: Crossed Products of C*-Algebras by Finite Groups RIMS, Kyoto University, Japan N Christopher Phillips 7 16 December 2011 University of Oregon Research Institute
More informationKathryn Hess. Conference on Algebraic Topology, Group Theory and Representation Theory Isle of Skye 9 June 2009
Institute of Geometry, lgebra and Topology Ecole Polytechnique Fédérale de Lausanne Conference on lgebraic Topology, Group Theory and Representation Theory Isle of Skye 9 June 2009 Outline 1 2 3 4 of rings:
More informationFormal Homotopy Quantum Field Theories and 2-groups.
Formal Homotopy Quantum Field Theories and 2-groups. ex-university of Wales, Bangor; ex-univertiy of Ottawa; ex-nui Galway, still PPS Paris, then...? All have helped! June 21, 2008 1 Crossed Modules, etc
More informationARITHMETIC OF CURVES OVER TWO DIMENSIONAL LOCAL FIELD
1 ARITHMETIC OF CURVES OVER TWO DIMENSIONAL LOCAL FIELD BELGACEM DRAOUIL Abstract. We study the class field theory of curve defined over two dimensional local field. The approch used here is a combination
More informationCharacteristic classes in the Chow ring
arxiv:alg-geom/9412008v1 10 Dec 1994 Characteristic classes in the Chow ring Dan Edidin and William Graham Department of Mathematics University of Chicago Chicago IL 60637 Let G be a reductive algebraic
More informationp-divisible Groups and the Chromatic Filtration
p-divisible Groups and the Chromatic Filtration January 20, 2010 1 Chromatic Homotopy Theory Some problems in homotopy theory involve studying the interaction between generalized cohomology theories. This
More informationThe Dirac operator on quantum SU(2)
Rencontres mathématiques de Glanon 27 June - 2 July 2005 The Dirac operator on quantum SU(2) Walter van Suijlekom (SISSA) Ref: L. D abrowski, G. Landi, A. Sitarz, WvS and J. Várilly The Dirac operator
More informationV = 1 2 (g ijχ i h j ) (2.4)
4 VASILY PESTUN 2. Lecture: Localization 2.. Euler class of vector bundle, Mathai-Quillen form and Poincare-Hopf theorem. We will present the Euler class of a vector bundle can be presented in the form
More informationK-Homology, Assembly and Rigidity Theorems for Relative Eta Invariants
K-Homology, Assembly and Rigidity Theorems for Relative Eta Invariants Department of Mathematics Pennsylvania State University Potsdam, May 16, 2008 Outline K-homology, elliptic operators and C*-algebras.
More information3. Signatures Problem 27. Show that if K` and K differ by a crossing change, then σpk`q
1. Introduction Problem 1. Prove that H 1 ps 3 zk; Zq Z and H 2 ps 3 zk; Zq 0 without using the Alexander duality. Problem 2. Compute the knot group of the trefoil. Show that it is not trivial. Problem
More informationA Primer on Homological Algebra
A Primer on Homological Algebra Henry Y Chan July 12, 213 1 Modules For people who have taken the algebra sequence, you can pretty much skip the first section Before telling you what a module is, you probably
More informationLECTURE 28: VECTOR BUNDLES AND FIBER BUNDLES
LECTURE 28: VECTOR BUNDLES AND FIBER BUNDLES 1. Vector Bundles In general, smooth manifolds are very non-linear. However, there exist many smooth manifolds which admit very nice partial linear structures.
More informationGALOIS COHOMOLOGY GEUNHO GIM
GALOIS COHOMOLOGY GEUNHO GIM Abstract. This note is based on the 3-hour presentation given in the student seminar on Fall 203. We will basically follow [HidMFG, Chapter IV] and [MilADT, Chapter I 0,, 2].
More informationarxiv:hep-th/ v3 26 Jun 2007
D-BRANES, RR-FIELDS AND DUALITY ON NONCOMMUTATIVE MANIFOLDS JACEK BRODZKI, VARGHESE MATHAI, JONATHAN ROSENBERG, AND RICHARD J. SZABO arxiv:hep-th/0607020v3 26 Jun 2007 Abstract. We develop some of the
More informationFractional Index Theory
Fractional Index Theory Index a ( + ) = Z Â(Z ) Q Workshop on Geometry and Lie Groups The University of Hong Kong Institute of Mathematical Research 26 March 2011 Mathai Varghese School of Mathematical
More informationIntroduction to Index Theory. Elmar Schrohe Institut für Analysis
Introduction to Index Theory Elmar Schrohe Institut für Analysis Basics Background In analysis and pde, you want to solve equations. In good cases: Linearize, end up with Au = f, where A L(E, F ) is a
More informationThree-dimensional imprimitive representations of PSL 2 (Z) and their associated vector-valued modular forms
Three-dimensional imprimitive representations of PSL 2 (Z) and their associated vector-valued modular forms U-M Automorphic forms workshop, March 2015 1 Definition 2 3 Let Γ = PSL 2 (Z) Write ( 0 1 S =
More informationAtiyah-Singer Revisited
Atiyah-Singer Revisited Paul Baum Penn State Texas A&M Universty College Station, Texas, USA April 1, 2014 From E 1, E 2,..., E n obtain : 1) The Dirac operator of R n D = n j=1 E j x j 2) The Bott generator
More informationIntroduction to surgery theory
Introduction to surgery theory Wolfgang Lück Bonn Germany email wolfgang.lueck@him.uni-bonn.de http://131.220.77.52/lueck/ Bonn, 17. & 19. April 2018 Wolfgang Lück (MI, Bonn) Introduction to surgery theory
More informationThe Choquet boundary of an operator system
1 The Choquet boundary of an operator system Matthew Kennedy (joint work with Ken Davidson) Carleton University Nov. 9, 2013 Operator systems and completely positive maps Definition An operator system
More informationSTEENROD OPERATIONS IN ALGEBRAIC GEOMETRY
STEENROD OPERATIONS IN ALGEBRAIC GEOMETRY ALEXANDER MERKURJEV 1. Introduction Let p be a prime integer. For a pair of topological spaces A X we write H i (X, A; Z/pZ) for the i-th singular cohomology group
More informationORAL QUALIFYING EXAM QUESTIONS. 1. Algebra
ORAL QUALIFYING EXAM QUESTIONS JOHN VOIGHT Below are some questions that I have asked on oral qualifying exams (starting in fall 2015). 1.1. Core questions. 1. Algebra (1) Let R be a noetherian (commutative)
More informationA geometric solution of the Kervaire Invariant One problem
A geometric solution of the Kervaire Invariant One problem Petr M. Akhmet ev 19 May 2009 Let f : M n 1 R n, n = 4k + 2, n 2 be a smooth generic immersion of a closed manifold of codimension 1. Let g :
More informationTHE ARTIN-TATE PAIRING ON THE BRAUER GROUP OF A SURFACE
THE ARTIN-TATE PAIRING ON THE BRAUER GROUP OF A SURFACE TONY FENG Abstract. There is a canonical pairing on the Brauer group of a surface over a finite field, and an old conjecture of Tate predicts that
More informationLecture VI: Projective varieties
Lecture VI: Projective varieties Jonathan Evans 28th October 2010 Jonathan Evans () Lecture VI: Projective varieties 28th October 2010 1 / 24 I will begin by proving the adjunction formula which we still
More informationFun with Dyer-Lashof operations
Nordic Topology Meeting, Stockholm (27th-28th August 2015) based on arxiv:1309.2323 last updated 27/08/2015 Power operations and coactions Recall the extended power construction for n 1: D n X = EΣ n Σn
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 24
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 24 RAVI VAKIL CONTENTS 1. Vector bundles and locally free sheaves 1 2. Toward quasicoherent sheaves: the distinguished affine base 5 Quasicoherent and coherent sheaves
More informationT-duality and the Bulk-Boundary Correspondence
T-duality and the Bulk-Boundary Correspondence Keith Hannabuss IGA/AMSI Workshop, Adelaide 2016: Topological matter, strings, K-theory, and related areas. 28 September 2016 Joint work with Mathai and Guo
More informationTHE INDEX OF PROJECTIVE FAMILIES OF ELLIPTIC OPERATORS. Introduction
THE INDEX OF PROJECTIVE FAMILIES OF ELLIPTIC OPERATORS V. MATHAI, R.B. MELROSE, AND I.M. SINGER Abstract. An index theory for projective families of elliptic pseudodifferential operators is developed.
More informationCyclic cohomology of projective limits of topological algebras
Cyclic cohomology of projective limits of topological algebras Zinaida Lykova Newcastle University 9 August 2006 The talk will cover the following points: We present some relations between Hochschild,
More informationA TALE OF TWO FUNCTORS. Marc Culler. 1. Hom and Tensor
A TALE OF TWO FUNCTORS Marc Culler 1. Hom and Tensor It was the best of times, it was the worst of times, it was the age of covariance, it was the age of contravariance, it was the epoch of homology, it
More informationTraces and Determinants of
Traces and Determinants of Pseudodifferential Operators Simon Scott King's College London OXFORD UNIVERSITY PRESS CONTENTS INTRODUCTION 1 1 Traces 7 1.1 Definition and uniqueness of a trace 7 1.1.1 Traces
More informationMATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA
MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA These are notes for our first unit on the algebraic side of homological algebra. While this is the last topic (Chap XX) in the book, it makes sense to
More informationFrobenius Green functors
UC at Santa Cruz Algebra & Number Theory Seminar 30th April 2014 Topological Motivation: Morava K-theory and finite groups For each prime p and each natural number n there is a 2-periodic multiplicative
More informationLecture 1. Toric Varieties: Basics
Lecture 1. Toric Varieties: Basics Taras Panov Lomonosov Moscow State University Summer School Current Developments in Geometry Novosibirsk, 27 August1 September 2018 Taras Panov (Moscow University) Lecture
More informationCrossed products of irrational rotation algebras by finite subgroups of SL 2 (Z) are AF
Crossed products of irrational rotation algebras by finite subgroups of SL 2 (Z) are AF N. Christopher Phillips 7 May 2008 N. Christopher Phillips () C (Z k, A θ ) is AF 7 May 2008 1 / 36 The Sixth Annual
More informationWinter School on Galois Theory Luxembourg, February INTRODUCTION TO PROFINITE GROUPS Luis Ribes Carleton University, Ottawa, Canada
Winter School on Galois Theory Luxembourg, 15-24 February 2012 INTRODUCTION TO PROFINITE GROUPS Luis Ribes Carleton University, Ottawa, Canada LECTURE 3 3.1 G-MODULES 3.2 THE COMPLETE GROUP ALGEBRA 3.3
More informationWe then have an analogous theorem. Theorem 1.2.
1. K-Theory of Topological Stacks, Ryan Grady, Notre Dame Throughout, G is sufficiently nice: simple, maybe π 1 is free, or perhaps it s even simply connected. Anyway, there are some assumptions lurking.
More informationInjective Modules and Matlis Duality
Appendix A Injective Modules and Matlis Duality Notes on 24 Hours of Local Cohomology William D. Taylor We take R to be a commutative ring, and will discuss the theory of injective R-modules. The following
More informationRTG Mini-Course Perspectives in Geometry Series
RTG Mini-Course Perspectives in Geometry Series Jacob Lurie Lecture IV: Applications and Examples (1/29/2009) Let Σ be a Riemann surface of genus g, then we can consider BDiff(Σ), the classifying space
More informationTensor algebras and subproduct systems arising from stochastic matrices
Tensor algebras and subproduct systems arising from stochastic matrices Daniel Markiewicz (Ben-Gurion Univ. of the Negev) Joint Work with Adam Dor-On (Univ. of Waterloo) OAOT 2014 at ISI, Bangalore Daniel
More information