Hopf cyclic cohomology and transverse characteristic classes
|
|
- Lora Conley
- 5 years ago
- Views:
Transcription
1 Hopf cyclic cohomoloy and transverse characteristic classes Lecture 2: Hopf cyclic complexes Bahram Ranipour, UNB Based on joint works with Henri Moscovici and with Serkan Sütlü Vanderbilt University May 2011
2 Contents Section 1: Hopf cyclic cohomoloy with coefficients in SAYD modules Section 2: Hopf cyclic Bicomplexes of a Lie-Hopf alebra and van Est isomorphism Section 4: Hopf cyclic cohomoloy of H n Section 5: Hopf cyclic cohomoloy of K n
3 Hopf cyclic cohomoloy and SAYD modules MPI and SAYD and their examples Hopf cyclic cohomoloy Lie alebra cohomoloy Examples
4 Hopf Cyclic Cohomoloy Hopf cyclic cohomoloy invented by Connes and Moscovici as a computational tool for computin the index cocycle appears in the local index formula Rouhly speakin, they used the Hopf alebra of eneral transverse symmetry to compute their desire part of the cyclic cohomoloy, differential cyclic cohomoloy, of the crossed product alebra representin the transverse manifold of a foliation The inredient for Hopf cyclic cohomoloy is a Hopf alebra endowed with a modular pair in involution Based on different needs we eneralize Hopf cyclic cohomoloy in different directions: Allowin noncommutative symmetries, ıe, Hopf (co)module (co)alebra Allowin hiher dimensional coefficients, ıe, SAYD modules Allowin Hopf alebras and (co)alebras with several objects, ıe, -Hopf alebras
5 SAYD modules Let H be a Hopf alebra By definition, a character δ : H C is an alebra map A roup-like σ H is the dual object of the character, ie, (σ) = σ σ The pair (δ, σ) are called modular pair in involution if δ(σ) = 1, and S 2 δ = Ad σ Here Ad σ (h) = σhσ 1 and S δ is defined by S δ (h) = δ(h(1))s(h(2)) A riht-left stable-anti-yetter-drinfeld module over a Hopf alebra H is a riht H-module M, which is also a left H-comodule and satisfyin (m h) = S(h(3))m < 1> h(1) m <0> h(2), m <0> m < 1> = m, Lemma Any MPI defines a one dimensional SAYD module and all one dimensional SAYD modules come this way
6 Canonical MPI associated to Lie-Hopf alebras Let (, F) be a Lie Hopf alebra Define the derivation δ : C, δ (X ) = Tr(Ad X ) Extend δ to an alebra map on F U δ := ε δ : F U() C by δ(f u) = ε(f )δ (u) The canonical rep functions fj i F defined for a fixed basis X 1,, X m of, It is clear that f i j (X j ) = m=dim i=1 X i f i j are independent of {X 1,, X m } Set σ F := ( 1) π f π(1) 1 f π(m) π S m m Theorem The pair (δ, σ) is a modular pair involution for the Hopf alebra F U
7 Induced module Let M be a left -module and a riht F-comodule via M : M M F We say that M is an induced module if M (X m) = X <0> m <0> X <1> m <1> + m <0> X m <1> H act on M from left via (f u) m = ε(f )u m H coact on M via, M (m) = m <0> m <1> 1 Lemma Any induced module is a YD-module over F U Let σ M δ := M as a vector space Then the followin make σ M δ a SAYD module over F U m (f u) := ε(f )δ(u(2))s(u(2))m (m) := σs(m <1> ) 1 m <0>
8 Induced Hopf cyclic coefficients in eometric cases Let M be a left := 1 2 -module such that the restriction of the action results a locally finite 2 -module Then, via the 1 action on M, by restriction, and the coaction defined by (m) = m <0> m <1>, iff v m = m <1> (v)m <0> M becomes an induced ( 1, R( 2 ))-module Conversely, every induced ( 1, R( 2 ))-module comes this way So for any representation M of = 1 2 we have a σ M δ as a SAYD module on R( 2 ) U( 1 ) Similarly for a matched pair of Lie roups G = G 1 G 2, and any representation M so that the action of G 2 is locally finite we have a SAYD module σ M δ on R(G 2 ) U( 1 ) For a complete characterization of SAYD modules on eometric bicrossed product Hopf alebars one needs more advanced technoloy which is not suitable to be discussed in this lecture series
9 Cyclic module of a Hopf alebra with a SAYD module C q (H, M) := M H q, q 0 We recall the followin operators on C (H, M) face operators i : C q (H, M) C q+1 (H, M), 0 i q + 1 deeneracy operators σ j : C q (H, M) C q 1 (H, M), 0 j q 1 cyclic operators τ : C q (H, M) C q (H, M), by 0 (m h 1 h q ) = m 1 h 1 h q, i (m h 1 h q ) = m h 1 h i (1) h i (2) h q, q+1 (m h 1 h q ) = m <0> h 1 h q m < 1>, σ j (m h 1 h q ) = m h 1 ε(h j+1 ) h q, τ(m h 1 h q ) = m <0> h 1 (1) S(h 1 (2)) (h 2 h q m < 1> where H acts on H q diaonally
10 cyclic module The raded module C (Hc, M) endowed with the above operators is then a cocyclic module This which means that i, σ j and τ satisfy the followin identities j i = i j 1, if i < j, σ j σ i = σ i σ j+1, if i j, i σ j 1, if i < j σ j i = Id if i = j or i = j + 1 i 1 σ j if i > j + 1, τ i = i 1 τ, τ 0 = q+1, τσ i = σ i 1 τ, τσ 0 = σ n τ 2, τ q+1 = Id 1 i q 1 i q
11 Hopf cyclic cohomoloy(definition) One uses the face operators to define the Hochschild coboundary b : C q (H, M) C q+1 (H, M), by q+1 b := ( 1) i i i=0 One uses the rest of the operators to define the Connes boundary operator, B : C q (H, M) C q 1 (H, M), by ( q ) B := ( 1) qi τ i σ q 1 (1 τ) i=0 It is shown for any cocyclic module that b 2 = B 2 = (b + B) 2 = 0
12 Continue As a result, one defines the cyclic cohomoloy of H with coefficients in SAYD module M, which is denoted by HC (H, M), as the total cohomoloy of the bicomplex M H q, if 0 p q, C p,q (H, M) = 0, otherwise One also defines the periodic cyclic cohomoloy of H with coefficients in M, which is denoted by HP (H, M), as the total cohomoloy of direct sum total of the followin bicomplex (1) M H q, if p q, C p,q (H, M) = 0, otherwise It is seen that the periodic cyclic complex and hence cohomoloy is Z 2 raded (2)
13 Lie alebra cohomoloy Let be a finite dimensional Lie alebra and V is a riht -module The Chevalley-Eilenber complex of the (, V ) is defined by C n (, V ) = Hom( q, V ) q 0 with V 0 C 1 (, V ) 1 C 2 (, V ) 2, (ω)(y 0,, Y q ) = i<j ( 1) i+j ω([y i, Y j ], Y 0,, Ŷi,, Ŷj,, Y q ) + i ( 1) i ω(y 0,, Ŷi, Y q )Y i Alternatively, for {θ i, X i } as a dual basis pair for and 0 (v) = vx i θ i, q (v ω) = vx i θ i ω + v dr (ω) Here dr : q q+1 is the de Rham coboundary which is a derivation of deree 1 and recalled here by dr (θ k ) = 1 2 C k i,jθ i θ j
14 Hopf cyclic cohomoloy of U() Let V be a representation of We easily see that V is a SAYD module on U() provided the coaction defined trivially The antisymmetrization map α : V q V U() q defined by α(v Y 1 Y q ) = 1 v Y q! σ(1) Y σ(q) σ S q We see that bα = 0, Bα = α Usin some standard homotopy aruments we see HP (U(), V ) H i (, V ) i= mod 2
15 Hopf cyclic cohomoloy of R(), and R(G) Let l be the solvable radical of, ie, l is the unique maximal solvable ideal of The Levi decomposition of Lie alebras implies that = s l, where s is a semisimple subalebra of called a Levi subalebra D Gr : V F q C q (, h, V ), D Gr (v f 1 f q )(X 1,, X q ) = ( 1) µ d d dt 1 dt µ S q t 1 =0 q f 1 (exp(t 1 X µ(1) )) f q (exp(t q X µ(q) )v tq=0 Theorem Let G be a Lie roup, V a representative G-module, and = s > l be a Levi decomposition Then D Gr induces the isomorphism HP (R(G), V ) = H i (, s, V ) =i mod 2
16 Continue D Al : V R() q (V q l ) s, D Al (v f 1 f q )(X 1,, X q ) = σ S q ( 1) σ f 1 (X σ(1) ) f q (X σ(q) )v Theorem Let be a finite dimensional Lie alebra with a Levi decomposition = s l Then for any finite dimensional -module V, the map D Al induces the isomorphism HP (R(), V ) = =i mod 2 H i (, s, V )
17 Hopf cyclic cohomoloy of Lie-Hopf alebras Bicomplexes associated to Lie Hopf alebras van Est isomorphism
18 Bullet action Let F a -Hopf alebra We denote the bicrossed product Hopf alebra F U() by H Let the character δ and the roup-like σ be the canonical modular pair in involution In addition, let M be an induced (, F)-module and σ M δ be the associated SAYD module over Hc The Hopf alebra U := U() admits the followin riht action on σ M δ F q, which plays a key role in the definition of the next bicocyclic module: (m f )u = δ (u(1))s(u(2)) m S(u(3)) f, u (f 1 f n ) := u(1) <0> f 1 u(1) <1> u(2) <0> f 2 u(1) <n 1> u(n 1) <1> u(n) f n
19 Bicocyclic module associated to Lie Hopf alebras One then defines a bicocyclic module C, (U, F, M), where C p,q (U, F, s M δ ) := s M δ U p F q, p, q 0, (3) whose horizontal part is the cocyclic module associated to U with coefficients in σ M δ F q The vertical part is the cocyclic module associated to F with coefficients in σ M δ U p One notes that, by definition, a bicocyclic module is a biraded module whose rows and columns form cocyclic modules and any horizontal arrow commute with any vertical one
20 Bicomplex associated to Lie Hopf alebra So each row and column have their own Hochschild coboundary and Connes boundary maps These boundaries and coboundaries are denoted by B, B, b, and b, which are demonstrated in the followin diaram b B σ M δ U 2 b B b B σ M δ U 2 F b B b B σ M δ U 2 F 2 b B b B σ M δ U b B b B σ M δ U F b B b B σ M δ U F 2 b B b B B b σ M σ δ M δ F B b b B b B b σ M δ F 2 B
21 Diaonal complex In the next move, we identify the standard Hopf cocyclic module C (H, σ M δ ) with the diaonal subcomplex D of C, This is achieved by means of the map Ψ : D C (H, σ M δ ) toether with its inverse Ψ 1 : C (H, σ M δ ) D They are explicitly defined as follows: Ψ (m u 1 u n f 1 f n ) = m f 1 u 1 <0> f 2 u 1 <1> u2 <0> respectively Ψ 1 (m f 1 u 1 f n u n ) f n u 1 <n 1> un 1 <1> un, = m u 1 <0> un 1 <0> un f 1 f 2 S(u 1 <n 1> ) f 3 S(u 1 <n 2> u2 <n 2> ) f n S(u 1 <1> un 1 <1> )
22 Simplification of the bicomplex The bicocyclic module C, (U, F, σ M δ ) can be further reduced to the bicomplex C, (, F, σ M δ ) := σ M δ F, via the antisymmetrization map α : σ M δ q F p σ M δ U q F p, α = α Id, the pullback of the vertical b-coboundary in vanishes, while the vertical B-coboundary becomes On the other hand, since F is commutative, the coaction : F, extends from to a unique coaction : p p F After tensorin with the riht coaction of σ M δ, (m X 1 X q ) = m <0> X 1 <0> X q <0> σ 1 m <1> X 1 <1> X q <1>
23 We arrive at the bicomplex C, (, F, σ M δ ), described by the diaram σ M δ 2 b F σ M δ 2 F b F σ M δ 2 F 2 b F σ M δ b F σ M δ F b F σ M δ F 2 b F σ M δ b F σ M δ F b F σ M δ F 2 b F
24 Application of Poincaré isomorphism Let C p,q (, F, M) = M p F q We apply the Poincaré isomorphism D P : C p,q (, F, σ M δ ) C m p,q (, F, M) The result is the followin bicomplex whose columns are Lie alebra cohomoloy complex and the row are Hopf cyclic cohomoloy M 2 b F M 2 F b F M 2 F 2 b F M b F M F b F M F 2 b F M b F M F b F M F 2 b F
25 H( 1 2, h, M) One uses the facts that a = 1 2, and 2 = h < l is a Levi decomposition to see that the relative Lie alebra cohomoloy H(a, h, M) is computed by the total complex of the followin bicomplex Here the vertical and horizontal arrows are induced by the Lie alebra cohomoloy coboundaries of 1 and 2 with values in M 2 and M 1 (M 2 1 )h (M 2 1 l ) h (M l ) h (M 1 )h (M 1 l ) h (M 1 2 l ) h M h (M l ) h (M 2 l ) h
26 Van Est isomorphism Let (, 2 ) be a matched pair of Lie alebras and M be a finite dimensional representation of 1 2 Let F be ( 1, 2 )-related Hopf alebra, that is F is a 1 -Hopf alebra with a 1 respected Hopf duality from U( 2 ) One then defines the followin Van Est Isomorphism V : M p 1 F q M p 1 q 2 V(m ω f 1 f q )(Y 1,, Y p, ζ 1,, ζ q ) = σ S q ( 1) σ ω(y 1,, Y p )f 1 (ζ σ(1) ) f q (ζ σ(q) )
27 HP(F U, σ M δ ) Theorem Let ( 1, 2 ) be a matched pair of Lie alebras and F a ( 1, 2 )-related Hopf alebra such as R( 2 ), R(G 2 ), or P(G 2 ) Assume that 2 = h l is a Levi decomposition such that h is 1 -invariant and the natural action of h on 1 is iven by derivations Then for any F-comodule and 1 -module M, the Van Est map V, is a map of bicomplexes and induces an isomorphism between Hopf cyclic cohomoloy of F U( 1 ) with coefficients in σ M δ and the Lie alebra cohomoloy of a := 1 2 relative to h with coefficients in the a-module induced by M In other words, HP (F U( 1 ), σ M δ ) = H i ( 1 2, h, M) i= mod 2
28 Hopf cyclic cohomoloy of H n Hopf-Koszul bicomplex Group cohomoloy bicomplex Equivariant bicomplex Wede-Equivariant bicmplex Hopf cyclic cohomoloy of H n relative to l n Hopf cyclic cohomoloy of H n
29 Passae to Lie alebra cohomoloy We recall that the Koszul resolution associated to the Lie alebra is the complex V ( ) : U K U K 2 U K, acts on U from the riht via u X = Xu K : V ( ) F V ( ) defined as follows: K (ω u) = S(u <0> (2)) S(u <1> ω <1> ) ω <0> u <0> (1) V ( ) U C b F,K B F,K V ( ) U F b F,K B F,K V ( ) U F 2 b F,K B F,K Theorem C U (F, V ( )) is a -equivariant Hopf cyclic complex of F with coefficients in the differential raded SAYD V ( ), and the map κ : C U (F, V ( )) C (F, ) induces an isomorphism of total complexes κ(ω u U f 1 f q ) = ω u (f 1 f q ),
30 Linkae with roup cohomoloy We define C p,q coinv (, F) := ( p F q+1 ) F by α f ( p F q+1 ) F if α <0> f S(α <1> ) = α f <0> f <1> ; We define I : p F q ( p F q+1 ) F by I(α f ) = = a <0> f 1 (1) S(f 1 (2))f 2 (1) S(f q 1 (2))f q (1) S(α <1> f q (2)) induces an isomorphism The isomorphism I turns the action into the diaonal action X (f 0 f q ) = q f 0 X f i f q i=0
31 One obtains the biraded module coinv ( 2 F) F coinv ( F) F coinv (C F) F b coinv b coinv b coinv B coinv B coinv B coinv coinv ( 2 F 2 ) F coinv ( F 2 ) F coinv (C F 2 ) F b coinv B coinv b coinv B coinv b coinv B coinv coinv ( 2 F 3 ) F coinv ( F 3 ) F coinv (C F 3 ) F B coinv b coinv b coinv B coinv b coinv B coinv (4)
32 We set N := lim N k, with N k := Jet (k) 0 (N) Recall that the k alebra F is precisely the polynomial alebra enerated by the components of such jets By ψ N we mean j 0 (ψ) N with ψ N Let C q pol (N, p ) be the set of polynomial functions c : N } {{ N } p q+1 times satisfyin the covariance condition c(ψ 0 ψ,, ψ q ψ) = ψ 1 c(ψ 0,, ψ q ), ψ N, q+1 b pol c(ψ 0,, ψ q+1 ) = ( 1) i c(ψ 0,, ˆψ i,, ψ q+1 ) i=0 τ pol (c)(ψ 0,, ψ q ) = c(ψ 1,, ψ q, ψ 0 )
33 We thus arrive at a bicomplex which mixes roup cohomoloy of N with coefficients in and Lie alebra cohomoloy of with coefficients in F, described by the diaram C 0 pol pol ( N, 2 ) b pol pol Cpol 0 pol C 0 pol B pol ( N, ) b pol B pol ( N, C ) b pol B pol pol Cpol 1 ( N, 2 ) pol Cpol 1 pol C 1 pol ( N, ) ( N, C ) b pol B pol b pol B pol b pol B pol pol Cpol 2 pol Cpol 2 pol C 2 pol ( N, ) ( N, ) b pol B pol b pol B pol ( ) N, C b pol B pol
34 In turn, this can be related to the bicomplex (4) via the obvious map J : C, coinv (, F) C pol (N, ) defined, with the self-explanatory notation, by the formula J ( α f ) (ψ0,, ψ q ) = f 0 (ψ 0 ) f q (ψ q )α (5) Proposition The map J : C, coinv (, F) C pol (N, ) is an isomorphism of bicomplexes
35 Wede-Coinvariant Bicomplex Since F is commutative we may consider the subcomplex C p,q c w (, F) C, coinv (, F) c w c w c w 2 c w b c w ( 2 2 F) F c w b c w ( 2 3 F) F c w b c w c w b c w ( 2 F) F c w b c w ( 3 F) F c w b c w C b c w (C 2 F) F b c w (C 3 F) F b c w, Proposition The antisym map α F : C p,q c w (, F) C p,q coinv (, F) is a quasi-isomorphism
36 van Est Isomorphism To construct the desired homomorphism, we associate to any ω CGF r (a) and any pair of inteers (p, q), p + m = q + r, 0 q m = dim G, a p-cochain C p,q (ω)(ψ 0,, ψ p ) on the roup N with values in q-currents on G as follows For each q-form with compact support ζ Ω q c (G), one sets C p,q (ω)(ψ 0,, ψ p ), ζ = Jπ1 (ζ) ω ; Σ(ψ 0,,ψ p) the interation is taken over the finite dimensional cycle in J 0 Theorem The map C : C top(a) C top(n, Ω (G)) is a map of complexes It lands in C, c w (, F) and induces an isomorphism in the level of cohomoloy
From Loop Groups To 2-Groups
From Loop Groups To 2-Groups John C. Baez Joint work with: Aaron Lauda Alissa Crans Danny Stevenson & Urs Schreiber 1 G f 1 f D 2 More details at: http://math.ucr.edu/home/baez/2roup/ 1 Hiher Gaue Theory
More informationTransverse geometry. consisting of finite sums of monomials of the form
Transverse geometry The space of leaves of a foliation (V, F) can be described in terms of (M, Γ), with M = complete transversal and Γ = holonomy pseudogroup. The natural transverse coordinates form the
More informationϕ APPROXIMATE BIFLAT AND ϕ AMENABLE BANACH ALGEBRAS
THE PUBLISHING HOUSE PROCEEDINGS OF THE ROMNIN CDEMY, Series, OF THE ROMNIN CDEMY Volume 13, Number 1/2012, pp 3 10 PPROXIMTE BIFLT ND MENBLE BNCH LGEBRS Zahra GHORBNI, Mahmood Lashkarizadeh BMI Department
More informationThe Real Grassmannian Gr(2, 4)
The Real Grassmannian Gr(2, 4) We discuss the topology of the real Grassmannian Gr(2, 4) of 2-planes in R 4 and its double cover Gr + (2, 4) by the Grassmannian of oriented 2-planes They are compact four-manifolds
More informationHOPF GALOIS (CO)EXTENSIONS IN NONCOMMUTATIVE GEOMETRY. Mohammad Hassanzadeh (Received June 17, 2012)
NEW ZEALAND JOURNAL OF MATHEMATICS Volume 42 (2012), 195-215 HOPF GALOIS (CO)EXTENSIONS IN NONCOMMUTATIVE GEOMETRY Mohammad Hassanzadeh (Received June 17, 2012) Abstract. We introduce an alternative proof,
More informationLecture 5 - Lie Algebra Cohomology II
Lecture 5 - Lie Algebra Cohomology II January 28, 2013 1 Motivation: Left-invariant modules over a group Given a vector bundle F ξ G over G where G has a representation on F, a left G- action on ξ is a
More informationResearch Article On Hopf-Cyclic Cohomology and Cuntz Algebra
ISRN Algebra Volume 2013, Article ID 793637, 5 pages http://dx.doi.org/10.1155/2013/793637 Research Article On Hopf-Cyclic Cohomology and Cuntz Algebra Andrzej Sitarz 1,2 1 Institute of Physics, Jagiellonian
More informationTHE GORENSTEIN DEFECT CATEGORY
THE GORENSTEIN DEFECT CATEGORY PETTER ANDREAS BERGH, DAVID A. JORGENSEN & STEFFEN OPPERMANN Dedicated to Ranar-Ola Buchweitz on the occasion o his sixtieth birthday Abstract. We consider the homotopy cateory
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 informationOn the Van Est homomorphism for Lie groupoids
Fields Institute, December 13, 2013 Overview Let G M be a Lie groupoid, with Lie algebroid A = Lie(G) Weinstein-Xu (1991) constructed a cochain map VE: C (G) C (A) from smooth groupoid cochains to the
More informationThe Hitchin map, local to global
The Hitchin map, local to global Andrei Negut Let X be a smooth projective curve of genus g > 1, a semisimple group and Bun = Bun (X) the moduli stack of principal bundles on X. In this talk, we will present
More informationAtiyah classes and homotopy algebras
Atiyah classes and homotopy algebras Mathieu Stiénon Workshop on Lie groupoids and Lie algebroids Kolkata, December 2012 Atiyah (1957): obstruction to existence of holomorphic connections Rozansky-Witten
More informationIwasawa algebras and duality
Iwasawa algebras and duality Romyar Sharifi University of Arizona March 6, 2013 Idea of the main result Goal of Talk (joint with Meng Fai Lim) Provide an analogue of Poitou-Tate duality which 1 takes place
More informationHopf Cyclic Cohomology and Characteristic Classes
Hopf Cyclic Cohomology and Characteristic Classes Ohio State University Noncommutative Geometry Festival TAMU, April 30 - May 3, 2014 Origins and motivation The version of cyclic cohomology adapted to
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 informationLecture 4 - Lie Algebra Cohomology I
Lecture 4 - Lie Algebra Cohomology I January 25, 2013 Given a differentiable manifold M n and a k-form ω, recall Cartan s formula for the exterior derivative k dω(v 0,..., v k ) = ( 1) i x i (ω(x 0,...,
More informationThe Gauss-Manin Connection for the Cyclic Homology of Smooth Deformations, and Noncommutative Tori
The Gauss-Manin Connection for the Cyclic Homology of Smooth Deformations, and Noncommutative Tori Allan Yashinski Abstract Given a smooth deformation of topological algebras, we define Getzler s Gauss-Manin
More informationA GENERALIZATION OF THE YOULA-KUČERA PARAMETRIZATION FOR MIMO STABILIZABLE SYSTEMS. Alban Quadrat
A GENERALIZATION OF THE YOULA-KUČERA ARAMETRIZATION FOR MIMO STABILIZABLE SYSTEMS Alban Quadrat INRIA Sophia Antipolis, CAFE project, 2004 Route des Lucioles, B 93, 06902 Sophia Antipolis cedex, France.
More informationA crash course in homological algebra
Chapter 2 A crash course in homoloical alebra By the 194 s techniques from alebraic topoloy bean to be applied to pure alebra, ivin rise to a new subject. To bein with, recall that a cateory C consists
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 informationINTERSECTION THEORY CLASSES 20 AND 21: BIVARIANT INTERSECTION THEORY
INTERSECTION THEORY CLASSES 20 AND 21: BIVARIANT INTERSECTION THEORY RAVI VAKIL CONTENTS 1. What we re doin this week 1 2. Precise statements 2 2.1. Basic operations and properties 4 3. Provin thins 6
More informationRepresentations and Linear Actions
Representations and Linear Actions Definition 0.1. Let G be an S-group. A representation of G is a morphism of S-groups φ G GL(n, S) for some n. We say φ is faithful if it is a monomorphism (in the category
More informationCategorical Background (Lecture 2)
Cateorical Backround (Lecture 2) February 2, 2011 In the last lecture, we stated the main theorem o simply-connected surery (at least or maniolds o dimension 4m), which hihlihts the importance o the sinature
More informationCyclic homology of truncated quiver algebras and notes on the no loops conjecture for Hochschild homology
Cyclic homology of truncated quiver algebras and notes on the no loops conjecture for Hochschild homology Tomohiro Itagaki (joint work with Katsunori Sanada) November 13, 2013 Perspectives of Representation
More informationLie algebra cohomology
Lie algebra cohomology November 16, 2018 1 History Citing [1]: In mathematics, Lie algebra cohomology is a cohomology theory for Lie algebras. It was first introduced in 1929 by Élie Cartan to study the
More informationTCC Homological Algebra: Assignment #3 (Solutions)
TCC Homological Algebra: Assignment #3 (Solutions) David Loeffler, d.a.loeffler@warwick.ac.uk 30th November 2016 This is the third of 4 problem sheets. Solutions should be submitted to me (via any appropriate
More informationQuaternionic Complexes
Quaternionic Complexes Andreas Čap University of Vienna Berlin, March 2007 Andreas Čap (University of Vienna) Quaternionic Complexes Berlin, March 2007 1 / 19 based on the joint article math.dg/0508534
More informationCYCLIC COHOMOLOGY AND BAAJ-SKANDALIS DUALITY
CYCLIC COHOMOLOGY AND BAAJ-SKANDALIS DUALITY CHRISTIAN VOIGT Abstract. We construct a duality isomorphism in equivariant periodic cyclic homology analogous to Baaj-Skandalis duality in equivariant Kasparov
More informationMath 602, Fall 2002, HW 2, due 10/14/2002
Math 602, Fall 2002, HW 2, due 10/14/2002 Part A AI) A Fermat prime, p, is a prime number of the form 2 α + 1. E.g., 2, 3, 5, 17, 257,.... (a) Show if 2 α + 1 is prime then α = 2 β. (b) Say p is a Fermat
More informationConformal blocks for a chiral algebra as quasi-coherent sheaf on Bun G.
Conformal blocks for a chiral algebra as quasi-coherent sheaf on Bun G. Giorgia Fortuna May 04, 2010 1 Conformal blocks for a chiral algebra. Recall that in Andrei s talk [4], we studied what it means
More informationJ þ in two special cases
1 Preliminaries... 1 1.1 Operator Algebras and Hilbert Modules... 1 1.1.1 C Algebras... 1 1.1.2 Von Neumann Algebras... 4 1.1.3 Free Product and Tensor Product... 5 1.1.4 Hilbert Modules.... 6 1.2 Quantum
More informationQuantizations and classical non-commutative non-associative algebras
Journal of Generalized Lie Theory and Applications Vol. (008), No., 35 44 Quantizations and classical non-commutative non-associative algebras Hilja Lisa HURU and Valentin LYCHAGIN Department of Mathematics,
More informationCurved A algebras and Landau-Ginzburg models
Curved A algebras and Landau-Ginzburg models Andrei Căldăraru, Junwu Tu Abstract We study the Hochschild homology and cohomology of curved A algebras that arise in the study of Landau-Ginzburg (LG) models
More informationHochschild homology and Grothendieck Duality
Hochschild homology and Grothendieck Duality Leovigildo Alonso Tarrío Universidade de Santiago de Compostela Purdue University July, 1, 2009 Leo Alonso (USC.es) Hochschild theory and Grothendieck Duality
More informationManifolds and Poincaré duality
226 CHAPTER 11 Manifolds and Poincaré duality 1. Manifolds The homology H (M) of a manifold M often exhibits an interesting symmetry. Here are some examples. M = S 1 S 1 S 1 : M = S 2 S 3 : H 0 = Z, H
More informationPrincipal -bundles Theory and applications
Principal -bundles Theory and applications Contents Urs Schreiber Notes for a talk, May 2012 reportin on joint work [NSS] with Thomas Nikolaus and Danny Stevenson with precursors in [NiWa, RoSt, SSS, S]
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 informationIntroduction and preliminaries Wouter Zomervrucht, Februari 26, 2014
Introduction and preliminaries Wouter Zomervrucht, Februari 26, 204. Introduction Theorem. Serre duality). Let k be a field, X a smooth projective scheme over k of relative dimension n, and F a locally
More informationLie groupoids, cyclic homology and index theory
Lie groupoids, cyclic homology and index theory (Based on joint work with M. Pflaum and X. Tang) H. Posthuma University of Amsterdam Kyoto, December 18, 2013 H. Posthuma (University of Amsterdam) Lie groupoids
More informationOn the singular elements of a semisimple Lie algebra and the generalized Amitsur-Levitski Theorem
On the singular elements of a semisimple Lie algebra and the generalized Amitsur-Levitski Theorem Bertram Kostant, MIT Conference on Representations of Reductive Groups Salt Lake City, Utah July 10, 2013
More informationNONCOMMUTATIVE COMPLEX GEOMETRY ON THE MODULI SPACE OF Q-LATTICES IN C
NONCOMMUTATIVE COMPLEX GEOMETRY ON THE MODULI SPACE OF Q-LATTICES IN C Joint work in progress with A. Connes on the hypoelliptic metric structure of the noncommutative complex moduli space of Q-lattices
More informationOn the Entire Cyclic Cohomology of Involutive Banach Algebras
International Mathematical Forum, Vol. 6, 2011, no. 33, 1613-1622 On the Entire Cyclic Cohomology of Involutive Banach Algebras Alaa Hassan Nor El-Dean Dept. of Math. University Collage in Leith (Girls
More informationAlgebraic Topology II Notes Week 12
Algebraic Topology II Notes Week 12 1 Cohomology Theory (Continued) 1.1 More Applications of Poincaré Duality Proposition 1.1. Any homotopy equivalence CP 2n f CP 2n preserves orientation (n 1). In other
More informationOn the modular curve X 0 (23)
On the modular curve X 0 (23) René Schoof Abstract. The Jacobian J 0(23) of the modular curve X 0(23) is a semi-stable abelian variety over Q with good reduction outside 23. It is simple. We prove that
More informationCategorical techniques for NC geometry and gravity
Categorical techniques for NC geometry and gravity Towards homotopical algebraic quantum field theory lexander Schenkel lexander Schenkel School of Mathematical Sciences, University of Nottingham School
More informationINTRODUCTION TO LIE ALGEBRAS. LECTURE 10.
INTRODUCTION TO LIE ALGEBRAS. LECTURE 10. 10. Jordan decomposition: theme with variations 10.1. Recall that f End(V ) is semisimple if f is diagonalizable (over the algebraic closure of the base field).
More information0, otherwise Furthermore, H i (X) is free for all i, so Ext(H i 1 (X), G) = 0. Thus we conclude. n i x i. i i
Cohomology of Spaces (continued) Let X = {point}. From UCT, we have H{ i (X; G) = Hom(H i (X), G) Ext(H i 1 (X), G). { Z, i = 0 G, i = 0 And since H i (X; G) =, we have Hom(H i(x); G) = Furthermore, H
More informationA Leibniz Algebra Structure on the Second Tensor Power
Journal of Lie Theory Volume 12 (2002) 583 596 c 2002 Heldermann Verlag A Leibniz Algebra Structure on the Second Tensor Power R. Kurdiani and T. Pirashvili Communicated by K.-H. Neeb Abstract. For any
More informationBundles 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 informationEzra Getzler and John D. S. Jones Harvard University and University of Warwick
A -ALGEBRAS AND THE CYCLIC BAR COMPLEX Ezra Getzler and John D. S. Jones Harvard University and University of Warwick This paper arose from our use of Chen s theory of iterated integrals as a tool in the
More informationThe Kervaire Invariant One Problem, Talk 0 (Introduction) Independent University of Moscow, Fall semester 2016
The Kervaire Invariant One Problem, Talk 0 (Introduction) Independent University of Moscow, Fall semester 2016 January 3, 2017 This is an introductory lecture which should (very roughly) explain what we
More informationLECTURES ON SYMPLECTIC REFLECTION ALGEBRAS
LECTURES ON SYMPLECTIC REFLECTION ALGEBRAS IVAN LOSEV 18. Category O for rational Cherednik algebra We begin to study the representation theory of Rational Chrednik algebras. Perhaps, the class of representations
More informationModules over the noncommutative torus, elliptic curves and cochain quantization
Modules over the noncommutative torus, elliptic curves and cochain quantization Francesco D Andrea ( joint work with G. Fiore & D. Franco ) ((A B) C) D Φ (12)34 Φ 123 (A B) (C D) (A (B C)) D Φ 12(34) Φ
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 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 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 informationRETRACTION OF THE BIVARIANT CHERN CHARACTER
RETRACTION OF THE BIVARIANT CHERN CHARACTER Denis PERROT Mathematisches Institut, Einsteinstr. 62, Münster, Germany perrot@math.uni-muenster.de March 1, 21 Abstract We show that the bivariant Chern character
More informationMODULI SPACES OF COHERENT SYSTEMS OF SMALL SLOPE ON ALGEBRAIC CURVES
MODULI SPACES OF COHERENT SYSTEMS OF SMALL SLOPE ON ALGEBRAIC CURVES S. B. BRADLOW, O. GARCÍA-PRADA, V. MERCAT, V. MUÑOZ, AND P. E. NEWSTEAD Abstract. Let C be an alebraic curve of enus 2. A coherent system
More informationIntroduction to finite element exterior calculus
Introduction to finite element exterior calculus Ragnar Winther CMA, University of Oslo Norway Why finite element exterior calculus? Recall the de Rham complex on the form: R H 1 (Ω) grad H(curl, Ω) curl
More informationVERLINDE ALGEBRA LEE COHN. Contents
VERLINDE ALGEBRA LEE COHN Contents 1. A 2-Dimensional Reduction of Chern-Simons 1 2. The example G = SU(2) and α = k 5 3. Twistings and Orientations 7 4. Pushforward Using Consistent Orientations 9 1.
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 informationProduct type actions of compact quantum groups
Product type actions of compact quantum groups Reiji TOMATSU May 26, 2014 @Fields institute 1 / 31 1 Product type actions I 2 Quantum flag manifolds 3 Product type actions II 4 Classification 2 / 31 Product
More informationON COSTELLO S CONSTRUCTION OF THE WITTEN GENUS: L SPACES AND DG-MANIFOLDS
ON COSTELLO S CONSTRUCTION OF THE WITTEN GENUS: L SPACES AND DG-MANIFOLDS RYAN E GRADY 1. L SPACES An L space is a ringed space with a structure sheaf a sheaf L algebras, where an L algebra is the homotopical
More informationOrientation transport
Orientation transport Liviu I. Nicolaescu Dept. of Mathematics University of Notre Dame Notre Dame, IN 46556-4618 nicolaescu.1@nd.edu June 2004 1 S 1 -bundles over 3-manifolds: homological properties Let
More informationLie algebra cohomology
Lie algebra cohomology Relation to the de Rham cohomology of Lie groups Presented by: Gazmend Mavraj (Master Mathematics and Diploma Physics) Supervisor: J-Prof. Dr. Christoph Wockel (Section Algebra and
More informationKathryn Hess. International Conference on K-theory and Homotopy Theory Santiago de Compostela, 17 September 2008
Institute of Geometry, Ecole Polytechnique Fédérale de Lausanne International Conference on K-theory and Homotopy Theory Santiago de Compostela, 17 September 2008 Joint work with John Rognes. Outline 1
More informationLifting Smooth Homotopies of Orbit Spaces of Proper Lie Group Actions
Journal of Lie Theory Volume 15 (2005) 447 456 c 2005 Heldermann Verlag Lifting Smooth Homotopies of Orbit Spaces of Proper Lie Group Actions Marja Kankaanrinta Communicated by J. D. Lawson Abstract. By
More informationMath 550 / David Dumas / Fall Problems
Math 550 / David Dumas / Fall 2014 Problems Please note: This list was last updated on November 30, 2014. Problems marked with * are challenge problems. Some problems are adapted from the course texts;
More informationMatrix multiplication: a group-theoretic approach
CSG399: Gems of Theoretical Computer Science. Lec. 21-23. Mar. 27-Apr. 3, 2009. Instructor: Emanuele Viola Scribe: Ravi Sundaram Matrix multiplication: a roup-theoretic approach Given two n n matrices
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 informationarxiv:math/ v3 [math.at] 11 Jul 2004
arxiv:math/0401160v3 [math.at] 11 Jul 2004 HOMOLOGICAL PERTURBATIONS, EQUIVARIANT COHOMOLOGY, AND KOSZUL DUALITY Johannes Huebschmann Université des Sciences et Technologies de Lille UFR de Mathématiques
More informationOn the Twisted KK-Theory and Positive Scalar Curvature Problem
International Journal of Advances in Mathematics Volume 2017, Number 3, Pages 9-15, 2017 eissn 2456-6098 c adv-math.com On the Twisted KK-Theory and Positive Scalar Curvature Problem Do Ngoc Diep Institute
More informationBernhard Keller. University Paris 7 and Jussieu Mathematics Institute. On differential graded categories. Bernhard Keller
graded graded University Paris 7 and Jussieu Mathematics Institute graded Philosophy graded Question: What is a non commutative (=NC) scheme? Grothendieck, Manin,... : NC scheme = abelian category classical
More informationarxiv: v2 [math.kt] 21 Apr 2018
THE HOMOTOPY FIXED POINTS OF THE CIRCLE ACTION ON HOCHSCHILD HOMOLOGY MARC HOYOIS arxiv:150607123v2 [mathkt] 21 Apr 2018 Abstract We show that Connes -operator on a cyclic differential graded k-module
More informationOn the homotopy invariance of string topology
On the homotopy invariance of string topology Ralph L. Cohen John Klein Dennis Sullivan August 25, 2005 Abstract Let M n be a closed, oriented, n-manifold, and LM its free loop space. In [3] a commutative
More informationNoncommutative geometry, quantum symmetries and quantum gravity II
Noncommutative geometry, quantum symmetries and quantum gravity II 4-7 July 2016, Wroclaw, Poland XXXVII Max Born Symposium & 2016 WG3 Meeting of COST Action MP1405 Cartan s structure equations and Levi-Civita
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 informationBLOCKS IN THE CATEGORY OF FINITE-DIMENSIONAL REPRESENTATIONS OF gl(m n)
BLOCKS IN THE CATEGORY OF FINITE-DIMENSIONAL REPRESENTATIONS OF gl(m n) VERA SERGANOVA Abstract. We decompose the category of finite-dimensional gl (m n)- modules into the direct sum of blocks, show that
More information(GJSZ) Homework II (due October 14), Math 602, Fall 2002.
(GJSZ) Homework II (due October 14), Math 602, Fall 2002. BI (b). The objective of this section is to prove if G is a finite group acting trivially on Z and Q/Z, then Hom (G, Q/Z) = H 2 (G, Z). The first
More informationLIE ALGEBRA PREDERIVATIONS AND STRONGLY NILPOTENT LIE ALGEBRAS
LIE ALGEBRA PREDERIVATIONS AND STRONGLY NILPOTENT LIE ALGEBRAS DIETRICH BURDE Abstract. We study Lie algebra prederivations. A Lie algebra admitting a non-singular prederivation is nilpotent. We classify
More informationThe Erwin Schrodinger International Boltzmanngasse 9. Institute for Mathematical Physics A-1090 Wien, Austria
ESI The Erwin Schrodinger International Boltzmanngasse 9 Institute for Mathematical Physics A-1090 Wien, Austria Lectures on Graded Dierential Algebras and Noncommutative Geometry M. Dubois-Violette Vienna,
More information(Not only) Line bundles over noncommutative spaces
(Not only) Line bundles over noncommutative spaces Giovanni Landi Trieste Gauge Theory and Noncommutative Geometry Radboud University Nijmegen ; April 4 8, 2016 Work done over few years with Francesca
More informationALGEBRAIC TOPOLOGY IV. Definition 1.1. Let A, B be abelian groups. The set of homomorphisms ϕ: A B is denoted by
ALGEBRAIC TOPOLOGY IV DIRK SCHÜTZ 1. Cochain complexes and singular cohomology Definition 1.1. Let A, B be abelian groups. The set of homomorphisms ϕ: A B is denoted by Hom(A, B) = {ϕ: A B ϕ homomorphism}
More informationTopologically pure extensions of Fréchet algebras and applications to homology. Zinaida Lykova
Topologically pure extensions of Fréchet algebras and applications to homology Zinaida Lykova University of Newcastle 26 October 2006 The talk will cover the following points: Topologically pure extensions
More informationEilenberg-Steenrod properties. (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, )
II.3 : Eilenberg-Steenrod properties (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, 8.3 8.5 Definition. Let U be an open subset of R n for some n. The de Rham cohomology groups (U are the cohomology groups
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 informationNoncommutative Geometry Lecture 3: Cyclic Cohomology
Noncommutative Geometry Lecture 3: Cyclic Cohomology Raphaël Ponge Seoul National University October 25, 2011 1 / 21 Hochschild Cohomology Setup A is a unital algebra over C. Definition (Hochschild Complex)
More informationThe BRST complex for a group action
BRST 2006 (jmf) 23 Lecture 3: The BRST complex for a group action In this lecture we will start our discussion of the homological approach to coisotropic reduction by studying the case where the coisotropic
More informationRiemannian Curvature Functionals: Lecture III
Riemannian Curvature Functionals: Lecture III Jeff Viaclovsky Park City Mathematics Institute July 18, 2013 Lecture Outline Today we will discuss the following: Complete the local description of the moduli
More informationGroup Actions and Cohomology in the Calculus of Variations
Group Actions and Cohomology in the Calculus of Variations JUHA POHJANPELTO Oregon State and Aalto Universities Focused Research Workshop on Exterior Differential Systems and Lie Theory Fields Institute,
More informationPoisson Lie 2-groups and Lie 2-bialgebras
Poisson Lie 2-groups and Lie 2-bialgebras PING XU Kolkata, December 2012 JOINT WITH ZHUO CHEN AND MATHIEU STIÉNON 1 Motivation 2 Strict 2-groups & crossed modules of groups 3 Strict Poisson Lie 2-groups
More informationGeometric Structure and the Local Langlands Conjecture
Geometric Structure and the Local Langlands Conjecture Paul Baum Penn State Representations of Reductive Groups University of Utah, Salt Lake City July 9, 2013 Paul Baum (Penn State) Geometric Structure
More information12. Projective modules The blanket assumptions about the base ring k, the k-algebra A, and A-modules enumerated at the start of 11 continue to hold.
12. Projective modules The blanket assumptions about the base ring k, the k-algebra A, and A-modules enumerated at the start of 11 continue to hold. 12.1. Indecomposability of M and the localness of End
More informationThree Descriptions of the Cohomology of Bun G (X) (Lecture 4)
Three Descriptions of the Cohomology of Bun G (X) (Lecture 4) February 5, 2014 Let k be an algebraically closed field, let X be a algebraic curve over k (always assumed to be smooth and complete), and
More informationThe Dirac-Ramond operator and vertex algebras
The Dirac-Ramond operator and vertex algebras Westfälische Wilhelms-Universität Münster cvoigt@math.uni-muenster.de http://wwwmath.uni-muenster.de/reine/u/cvoigt/ Vanderbilt May 11, 2011 Kasparov theory
More informationDerived Functors and Explicit Projective Resolutions
LECTURE 12 Derived Functors and Explicit Projective Resolutions A Let X and Y be complexes of A-modules. Recall that in the last lecture we defined Hom A (X, Y ), as well as Hom der A (X, Y ) := Hom A
More informationON A HIGHER STRUCTURE ON OPERADIC DEFORMATION COMPLEXES
Theory and Applications of Categories, Vol. 33, No. 32, 2018, pp. 988 1030. ON A HIGHER STRUCTURE ON OPERADIC DEFORMATION COMPLEXES BORIS SHOIKHET Abstract. In this paper, we prove that there is a canonical
More informationHodge Theory of Maps
Hodge Theory of Maps Migliorini and de Cataldo June 24, 2010 1 Migliorini 1 - Hodge Theory of Maps The existence of a Kähler form give strong topological constraints via Hodge theory. Can we get similar
More informationarxiv:math/ v2 [math.qa] 29 Jan 2001
DAMTP-98-117 arxiv:math/9904142v2 [math.qa] 29 Jan 2001 Cross Product Bialgebras Yuri Bespalov Part II Bernhard Drabant July 1998/March 1999 Abstract This is the central article of a series of three papers
More informationA RIEMANN-ROCH THEOREM FOR ONE-DIMENSIONAL COMPLEX GROUPOIDS
A RIEMANN-ROCH THEOREM FOR ONE-DIMENSIONAL COMLEX GROUOIDS Denis ERROT 1 Centre de hysique Théorique, CNRS-Luminy, Case 907, F-13288 Marseille cedex 9, France perrot@cpt.univ-mrs.fr Abstract We consider
More information