Quantising noncompact Spin c -manifolds
|
|
- Ami Wilson
- 6 years ago
- Views:
Transcription
1 Quantising noncompact Spin c -manifolds Peter Hochs University of Adelaide Workshop on Positive Curvature and Index Theory National University of Singapore, 20 November 2014 Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
2 Joint work with Mathai Varghese: Geometric quantization and families of inner products, ArXiv: (symplectic case) Quantising proper actions on Spin c -manifolds, ArXiv: (Spin c -case) Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
3 1 Indices of Spin c -Dirac operators 2 Quantisation commutes with reduction 3 Noncompact groups and manifolds 4 An analytic approach in the compact case 5 The invariant, transversally L 2 -index 6 An analytic approach in the noncompact case Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
4 1. Indices of Spin c -Dirac operators Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
5 Connections on spinor bundles Let M be a Spin c -manifold. Let S M be the spinor bundle; L M be the determinant line bundle associated to the Spin c -structure. Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
6 Connections on spinor bundles Let M be a Spin c -manifold. Let S M be the spinor bundle; L M be the determinant line bundle associated to the Spin c -structure. Locally, on small enough open sets U M, one has where S U 0 S U = S U 0 (L U ) 1/2, U is the spinor bundle associated to a local Spin-structure. Consider the Clifford connection on S U defined by a chosen connection L on L and the connection on S0 U induced by the Levi Civita connection. This yields a globally well-defined connection S on S. Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
7 The Spin c -Dirac operator Using the connection S on S and the Clifford action c by TM on S, one can define the Spin c -Dirac operator D : Γ (S) S Ω 1 (M; S) = Γ (TM S) c Γ (S). Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
8 The Spin c -Dirac operator Using the connection S on S and the Clifford action c by TM on S, one can define the Spin c -Dirac operator Properties: D : Γ (S) S Ω 1 (M; S) = Γ (TM S) c Γ (S). 1 Its principal symbol is the Clifford action σ D (ξ) = c(ξ) for ξ T M. Since c(ξ) 2 = ξ 2, the operator D is elliptic. 2 If dim(m) is even, then D is odd, i.e. splits as D ± : Γ (S ± ) Γ (S ). 3 If M is complete, D is essentially self-adjoint. Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
9 The Spin c -Dirac operator Using the connection S on S and the Clifford action c by TM on S, one can define the Spin c -Dirac operator Properties: D : Γ (S) S Ω 1 (M; S) = Γ (TM S) c Γ (S). 1 Its principal symbol is the Clifford action σ D (ξ) = c(ξ) for ξ T M. Since c(ξ) 2 = ξ 2, the operator D is elliptic. 2 If dim(m) is even, then D is odd, i.e. splits as D ± : Γ (S ± ) Γ (S ). 3 If M is complete, D is essentially self-adjoint. Hence if M is compact and even-dimensional, we can define index(d + ) = dim ker(d + ) dim ker(d ) Z. Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
10 The equivariant index in the compact case Let G be a compact Lie group acting on an even-dimensional compact manifold M with a G-equivariant Spin c -structure P M. Then ker(d ± ) is a finite-dimensional representation of G. Hence G-index(D) := [ker(d + )] [ker(d )] R(G), where R(G) = {[V ] [W ]; V and W finite-dimensional rep of G}. Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
11 The equivariant index in the compact case Let G be a compact Lie group acting on an even-dimensional compact manifold M with a G-equivariant Spin c -structure P M. Then ker(d ± ) is a finite-dimensional representation of G. Hence G-index(D) := [ker(d + )] [ker(d )] R(G), where R(G) = {[V ] [W ]; V and W finite-dimensional rep of G}. Indices of Dirac operators are a rich source of representations. A natural question is: what are the coefficients m V Z in G-index(D) = V Ĝ m V [V ]? This can be answered using quantisation commutes with reduction. Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
12 2. Quantisation and reduction Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
13 Background in physics Classical mechanics with symmetry quantisation Q Quantum mechanics with symmetry reduction R Classical mechanics (use symmetry to simplify) Q R Quantum mechanics Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
14 Background in physics Classical mechanics with symmetry quantisation Q Quantum mechanics with symmetry reduction R Classical mechanics (use symmetry to simplify) Q R Quantum mechanics Quantisation commutes with reduction: Q R = R Q, or [Q, R] = 0. Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
15 Geometric quantisation Let (M, ω) be a compact symplectic manifold, acted on by a compact Lie group G which preserves ω. Then M has a G-equivariant Spin c -structure. Suppose the determinant line bundle L satisfies c 1 (L) = 2[ω] H 2 (M). Definition The Spin c -quantisation of the action by G on (M, ω) is Q Spinc G (M) = G-index(D) R(G). Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
16 Reduced spaces Consider a momentum map such that for all X g, µ : M g, 2πi µ, X = L X M L L X End(L) = C (M), with X M the vector field induced by X, L a connection on L with ( L ) 2 = 2πi 2ω, and L L the Lie derivative. Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
17 Reduced spaces Consider a momentum map such that for all X g, µ : M g, 2πi µ, X = L X M L L X End(L) = C (M), with X M the vector field induced by X, L a connection on L with ( L ) 2 = 2πi 2ω, and L L the Lie derivative. Definition Let ξ g. The symplectic reduction of the action at ξ is the space Theorem (Marsden Weinstein) M ξ := µ 1 (G ξ)/g. If ξ is a regular value of µ, and G acts freely (properly) on µ 1 (ξ), then M ξ is a symplectic manifold (orbifold). Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
18 Quantum reduction On the quantum side, reduction means taking the dimension of the G-invariant part of a representation: Q G (M, ω) G = dim(ker D + ) G dim(ker D ) G Z. One can also take multiplicities of other irreducible representations than the trivial one. Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
19 Quantisation commutes with reduction Suppose M and G are compact. Then for a slightly different definition of quantisation, Meinrenken (1998), Tian Zhang (1998) and Paradan (2001) proved that quantisation commutes with reduction (after a conjecture by Guillemin Sternberg in 1982): G (M, ω) R Q [ker D + ] [ker D ] dim(ker D) G dim(ker D ) G R (M 0, ω 0 ) Q dim(ker D + M 0 ) dim(ker(d M0 ) ) Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
20 Quantisation commutes with reduction Suppose M and G are compact. Then for a slightly different definition of quantisation, Meinrenken (1998), Tian Zhang (1998) and Paradan (2001) proved that quantisation commutes with reduction (after a conjecture by Guillemin Sternberg in 1982): G (M, ω) R Q [ker D + ] [ker D ] dim(ker D) G dim(ker D ) G R (M 0, ω 0 ) Q dim(ker D + M 0 ) dim(ker(d M0 ) ) For Spin c -quantisation as defined earlier, Paradan (2012) proved that Q Spinc G (M) G = Q(M ρ ). Here ρ is half the sum of the positive roots. (Q Spinc (Ad (G)ρ) is the trivial representation.) Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
21 Reduction at nontrivial representations In the compact symplectic case, quantisation commutes with reduction at the trivial representation implies more generally that Q Spinc G (M) = V Ĝ Q Spinc (M λv +ρ)[v ], where λ V is the highest weight of V. Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
22 Reduction at nontrivial representations In the compact symplectic case, quantisation commutes with reduction at the trivial representation implies more generally that Q Spinc G (M) = V Ĝ Q Spinc (M λv +ρ)[v ], where λ V is the highest weight of V. This is based on the shifting trick: M ξ = ( M Ad (G)( ξ) ) 0. Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
23 Reduction at nontrivial representations In the compact symplectic case, quantisation commutes with reduction at the trivial representation implies more generally that Q Spinc G (M) = V Ĝ Q Spinc (M λv +ρ)[v ], where λ V is the highest weight of V. This is based on the shifting trick: M ξ = ( M Ad (G)( ξ) ) 0. Meinrenken Sjamaar defined Q Spinc (M ξ ) if ξ is a singular value of µ. Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
24 Spin c -reduction Now only assume M is only Spin c rather than symplectic. As in the symplectic case, one can define a Spin c -momentum map µ : M g by for X g. 2πi µ, X = L X M L L X, Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
25 Spin c -reduction Now only assume M is only Spin c rather than symplectic. As in the symplectic case, one can define a Spin c -momentum map µ : M g by for X g. Definition The reduced space at ξ g is 2πi µ, X = L X M L L X, M ξ := µ 1 (G ξ)/g. Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
26 Spin c -structures on reduced spaces In the symplectic case, Marsden and Weinstein s theorem stated that reduced spaces at regular values of µ are symplectic orbifolds. In the Spin c -setting, we have the following. Proposition (Paradan Vergne) Let ξ g be a regular value of µ. 1 If G is a torus, then M ξ inherits a Spin c -structure from M. 2 If G is not a torus (but still compact), then M ξ can be realised as a reduced space for a torus action, so the first point applies. Again, one can handle the case where ξ is not a regular value. Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
27 Spin c -quantisation commutes with reduction; compact case Write Q Spinc G (M) = V Ĝ m V [V ] R(G), with m V Z. Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
28 Spin c -quantisation commutes with reduction; compact case Write Q Spinc G (M) = V Ĝ m V [V ] R(G), with m V Z. Let λ V the highest weight of an irreducible representation V ˆK. Theorem (Paradan Vergne, 2014) If there are points with Abelian stabilisers, then m V = Q Spinc (M λv +ρ). In general, m V is expressed as a sum of quantisations of reduced spaces. This answers the question posed earlier for compact M and G. Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
29 3. Noncompact groups and manifolds Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
30 The noncompact setting Natural question: can this be generalised to noncompact G and M? Would give insight in representation theory of noncompact groups. Many phase spaces in classical mechanics (symplectic manifolds) are noncompact, e.g. cotangent bundles. In general, (equivariant) index theory of Spin c -Dirac operators is important in geometry, e.g. positive scalar curvature. Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
31 Existing results In the symplectic setting, there are [Q, R] = 0 results for noncompact groups and/or manifolds. For G compact and µ proper, there are results by Ma Zhang (2009) and Paradan (2011). For M/G compact, Landsman (2005) formulated a [Q, R] = 0 conjecture, and results in this context were obtained by Landsman, H. (2008, 2009, 2014), and Mathai Zhang (2010). Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
32 Existing results In the symplectic setting, there are [Q, R] = 0 results for noncompact groups and/or manifolds. For G compact and µ proper, there are results by Ma Zhang (2009) and Paradan (2011). For M/G compact, Landsman (2005) formulated a [Q, R] = 0 conjecture, and results in this context were obtained by Landsman, H. (2008, 2009, 2014), and Mathai Zhang (2010). There were no results in cases where both M/G and G are noncompact; or M is only Spin c and M or G is noncompact. Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
33 Noncompact example: free particle on a line G = R acting on M = R 2 by addition on the first coordinate Now G, M and M/G are noncompact, so outside the scope of the existing approaches. Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
34 Goals and method Goals: generalise [Q, R] = 0 to cases where 1 M, G and M/G may be noncompact; 2 M is only Spin c. Method: generalise the analytic approach developed by Tian Zhang. Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
35 4. An analytic approach in the compact case Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
36 Localising and decomposing Consider the symplectic setting, and suppose M and G are compact. Idea: 1 consider a deformed version D t of the Dirac operator D, with a real deformation parameter t; 2 localise the kernel of D t to a neighbourhood U of µ 1 (0) in a suitable sense, for t large enough; 3 on U, decompose D t into a part on µ 1 (0) and a part normal to µ 1 (0). Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
37 Localising and decomposing Consider the symplectic setting, and suppose M and G are compact. Idea: 1 consider a deformed version D t of the Dirac operator D, with a real deformation parameter t; 2 localise the kernel of D t to a neighbourhood U of µ 1 (0) in a suitable sense, for t large enough; 3 on U, decompose D t into a part on µ 1 (0) and a part normal to µ 1 (0). In this talk we focus on the localisation of the kernel of D t, where noncompactness plays the biggest role. Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
38 Deforming the Dirac operator Tian and Zhang used an Ad (G)-invariant inner product on g, which exists for compact groups G. Then they defined: the function H := µ 2 C (M) G ; the vector field v by with µ : M g dual to µ; v m := 2 ( µ (m) ) M m, the deformed Spin c -Dirac operator for t R. D t = D + t 1 2 c(v), The vector field v is the Hamiltonian vector field of H. Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
39 A Bochner formula Theorem (Tian Zhang) On G-invariant sections, one has D 2 t = D 2 + ta + 4πtH + t2 4 v 2, where A is a vector bundle endomorphism. Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
40 A Bochner formula Theorem (Tian Zhang) On G-invariant sections, one has D 2 t = D 2 + ta + 4πtH + t2 4 v 2, where A is a vector bundle endomorphism. By carefully analysing the operator A, this allowed Tian and Zhang to localise (ker D t ) G to µ 1 (0) for large t. Note that µ 1 (0) = H 1 (0). Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
41 5. The invariant, transversally L 2 -index Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
42 Quantisation in the noncompact setting The first question is how to define the quantisation of a noncompact Spin c -manifold M. We will define R Q(M) using the invariant, transversally L 2 -index. Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
43 Quantisation in the noncompact setting The first question is how to define the quantisation of a noncompact Spin c -manifold M. We will define R Q(M) using the invariant, transversally L 2 -index. Let M be a complete Riemannian manifold (for integration on M, we will use the Riemannian density); G be a unimodular Lie group, acting properly and isometrically on M; dg be a Haar measure on G; E M be a Hermitian G-vector bundle. Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
44 Transversally L 2 -sections A cutoff function is a function f C (M) such that for all m M, the intersection G m supp(f ) is compact, and G f (g m) 2 dg = 1. Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
45 Transversally L 2 -sections A cutoff function is a function f C (M) such that for all m M, the intersection G m supp(f ) is compact, and G f (g m) 2 dg = 1. The space of transversally L 2 -sections of E is L 2 T (E) := {s Γ(E); fs L2 (E) for all cutoff functions f }/ = a.e.. Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
46 Transversally L 2 -sections A cutoff function is a function f C (M) such that for all m M, the intersection G m supp(f ) is compact, and G f (g m) 2 dg = 1. The space of transversally L 2 -sections of E is L 2 T (E) := {s Γ(E); fs L2 (E) for all cutoff functions f }/ = a.e.. For any (differential) operator D on Γ (E), we have the transversally L 2 -kernel of D: ker L 2 (D) := {s Γ (E) L 2 T T (E); Ds = 0}. Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
47 Invariant sections We mainly consider G-invariant transversally L 2 -sections s. Then fs L 2 (E) is independent of the cutoff function f. Hence L 2 T (E)G is a Hilbert space. Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
48 A Fredholm criterion Let D be an elliptic, essentially self-adjoint, first order differential operator on a E. Let f be a cutoff function. One has the following generalisation of a result by Anghel (1993) and Gromov Lawson (1983). Proposition (Mathai H.) Suppose there is a cocompact subset K M and a number C > 0, such that for all s Γ (E) G with fs compactly supported outside K, fds L 2 (E) C fs L 2 (E). Then (ker L 2 T D) G is finite-dimensional. Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
49 The invariant, transversally L 2 -index As on the previous slide, suppose D is an elliptic, essentially self-adjoint, first order differential operator on E M, such that fds L 2 (E) C fs L 2 (E), for s supported outside a cocompact set K M. Suppose also that E is Z 2 -graded, and D is odd. Definition The G-invariant, transversally L 2 -index of D is index G L 2 T (D) := dim(ker L 2 T D + ) G dim(ker L 2 T D ) G Z. Here D ± is the restriction of D to sections of the even and odd parts of E. Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
50 Special cases If G is compact, f 1 is a cutoff function, so index G L (D) = dim(ker 2 L 2 D + ) G dim(ker L 2 D ) G. T If M/G is compact, cutoff functions have compact supports, so index G L (D) = dim(ker D + ) G dim(ker D ) G. 2 T Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
51 5. An analytic approach in the noncompact case Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
52 The noncompact case Idea: use invariant, transversally L 2 -index theory and generalise Tian Zhang s localisation arguments both to define quantisation and to prove [Q, R] = 0. Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
53 The noncompact case Idea: use invariant, transversally L 2 -index theory and generalise Tian Zhang s localisation arguments both to define quantisation and to prove [Q, R] = 0. Issues: If M/G is noncompact, need an argument to show that the invariant, transversally L 2 -index applies. If G is noncompact, there is no Ad (G)-invariant inner product on g in general, so the deformed Dirac operator may not be G-equivariant. If M/G is noncompact, the operator A in D 2 t = D 2 + ta + 4πtH + t2 4 v 2, may be unbounded (and H and v may go to zero at infinity). If M is only Spin c, the expression for the operator A becomes less explicit. Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
54 The noncompact case Idea: use invariant, transversally L 2 -index theory and generalise Tian Zhang s localisation arguments both to define quantisation and to prove [Q, R] = 0. Issues: If M/G is noncompact, need an argument to show that the invariant, transversally L 2 -index applies. If G is noncompact, there is no Ad (G)-invariant inner product on g in general, so the deformed Dirac operator may not be G-equivariant. If M/G is noncompact, the operator A in D 2 t = D 2 + ta + 4πtH + t2 4 v 2, may be unbounded (and H and v may go to zero at infinity). If M is only Spin c, the expression for the operator A becomes less explicit. Tool: families of inner products on g, parametrised by M. Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
55 Families of inner products Let {(, ) m } m M be a smooth family of inner products on g, with the invariance property that for all m M, g G and ξ, ξ g, ( Ad (g)ξ, Ad (g)ξ ) g m = (ξ, ξ ) m. Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
56 Families of inner products Let {(, ) m } m M be a smooth family of inner products on g, with the invariance property that for all m M, g G and ξ, ξ g, ( Ad (g)ξ, Ad (g)ξ ) g m = (ξ, ξ ) m. Then we define the function H C (M) G by the map µ : M g by H(m) = µ(m) 2 m; ξ, µ (m) = (ξ, µ(m)) m for all ξ g and m M; the vector field v as before v m := 2 ( µ (m) ) M m ; the deformed Dirac operator (which is equivariant) 1 D t = D + t 2 c(v). Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
57 Main assumption We defined: v m := 2 ( µ (m) ) M m. The main assumption is that Zeros(v)/G is compact. Since µ 1 (0) Zeros(v), this implies that M 0 is compact. Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
58 Main assumption We defined: v m := 2 ( µ (m) ) M m. The main assumption is that Zeros(v)/G is compact. Since µ 1 (0) Zeros(v), this implies that M 0 is compact. Other assumptions: G is unimodular, and acts properly on M. Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
59 Invariant quantisation Theorem (Mathai H. in symplectic case; generalised by Braverman) If Zeros(v)/G is compact, then there is a family of inner products on g such that for t 1, the operator D t satisfies the Fredholm criterion for the G-invariant, transverally L 2 -index, so dim ( ker L 2 T D t ) G <. Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
60 Invariant quantisation Theorem (Mathai H. in symplectic case; generalised by Braverman) If Zeros(v)/G is compact, then there is a family of inner products on g such that for t 1, the operator D t satisfies the Fredholm criterion for the G-invariant, transverally L 2 -index, so dim ( ker L 2 T D t ) G <. Suppose M is even-dimensional, and Zeros(v)/G is compact. Definition The G-invariant Spin c -quantisation of the action by G on M is Q Spinc (M) G = index G L 2 T (D t ) = dim ( ker L 2 T D + t ) G dim ( kerl 2 T D t ) G, for t 1 and a family of inner products on g as in the theorem. Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
61 Quantisation commutes with reduction Theorem (Mathai H.) Suppose M 0 is a smooth Spin c -manifold. Then there is a class of Spin c -structures on M, for which Q Spinc (M) G = Q Spinc (M 0 ). Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
62 Quantisation commutes with reduction Theorem (Mathai H.) Suppose M 0 is a smooth Spin c -manifold. Then there is a class of Spin c -structures on M, for which Remarks: Q Spinc (M) G = Q Spinc (M 0 ). The class of Spin c -structures in the theorem corresponds to using high enough tensor powers of the determinant line bundle. In the symplectic analogue of this result, one does not need high tensor powers of the line bundle if G is compact, or the action is locally free. There are conditions that imply M 0 is a Spin c -manifold: 0 is a Spin c -regular value of µ, and G acts freely on µ 1 (0). E.g. G is semisimple and 0 is a regular value of µ. Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
63 A Bochner formula for families of inner products As in the compact case, the proofs of the results start with an explicit expression for D 2 t. Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
64 A Bochner formula for families of inner products As in the compact case, the proofs of the results start with an explicit expression for D 2 t. Theorem On G-invariant sections, one has D 2 t = D 2 + ta + 2πtH + t2 4 v 2, with A a vector bundle endomorphism. Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
65 A Bochner formula for families of inner products As in the compact case, the proofs of the results start with an explicit expression for D 2 t. Theorem On G-invariant sections, one has D 2 t = D 2 + ta + 2πtH + t2 4 v 2, with A a vector bundle endomorphism. The expression for A is different from the compact symplectic case, because of extra terms due to the use of a family of inner products on g ; the fact that M is only assumed to be Spin c. In addition, one has no control over the behaviour of A, H and v at infinity. Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
66 Choosing the family of inner products on g Solution to issues arising in the noncompact/spin c -case: a suitable choice of the family of inner products on g. Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
67 Choosing the family of inner products on g Solution to issues arising in the noncompact/spin c -case: a suitable choice of the family of inner products on g. Let U be a G-invariant, relatively cocompact neighbourhood of Zeros(v) η be any G-invariant smooth function on M Proposition The family of inner products on g can be chosen in such a way that for all m M \ U, H(m) 1; v m η(m), and there is a C > 0, such that for all m M, A m C( v m 2 + 1). Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
68 Choosing the family of inner products on g Solution to issues arising in the noncompact/spin c -case: a suitable choice of the family of inner products on g. Let U be a G-invariant, relatively cocompact neighbourhood of Zeros(v) η be any G-invariant smooth function on M Proposition The family of inner products on g can be chosen in such a way that for all m M \ U, H(m) 1; v m η(m), and there is a C > 0, such that for all m M, A m C( v m 2 + 1). This turns out to be enough to localise (ker L 2 T D t ) G, and get [Q, R] = 0. Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
69 Conclusion Suppose M carries a G-Spin c -structure. Suppose Zeros(v)/G is compact. Quantisation after reduction: Q R(M) = Q ( µ 1 (0)/G ) = dim(ker D + M 0 ) dim(ker(d M0 ) ) Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
70 Conclusion Suppose M carries a G-Spin c -structure. Suppose Zeros(v)/G is compact. Quantisation after reduction: Q R(M) = Q ( µ 1 (0)/G ) Reduction after quantisation: = dim(ker D + M 0 ) dim(ker(d M0 ) ) R Q(M) = dim ( ker L 2 T D + t ) G dim ( kerl 2 T D t ) G. Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
71 Conclusion Suppose M carries a G-Spin c -structure. Suppose Zeros(v)/G is compact. Quantisation after reduction: Q R(M) = Q ( µ 1 (0)/G ) Reduction after quantisation: = dim(ker D + M 0 ) dim(ker(d M0 ) ) R Q(M) = dim ( ker L 2 T D + t ) G dim ( kerl 2 T D t ) G. One can prove that R Q(M) = Q R(M) for certain Spin c -structures, by localising to neighbourhoods of µ 1 (0), using and A C( v 2 + 1). D 2 t = D 2 + ta + 4πtH + t2 4 v 2 Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
72 Final comments Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
73 K-theory and nontrivial representations Now suppose M/G is compact. In the symplectic setting, Landsman formulated a conjecture for reduction at the trivial representation in terms of the K-theory of the C -algebra of G, by defining Q G (M) K (C G). This was solved to a large extent by Mathai Zhang. Our current result generalises theirs to the Spin c -setting. Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
74 K-theory and nontrivial representations Now suppose M/G is compact. In the symplectic setting, Landsman formulated a conjecture for reduction at the trivial representation in terms of the K-theory of the C -algebra of G, by defining Q G (M) K (C G). This was solved to a large extent by Mathai Zhang. Our current result generalises theirs to the Spin c -setting. With this definition, one can also consider reduction at K-theory generators representing nontrivial representations. Using different techniques and Paradan Vergne s result, we computed the multiplicities m λ in Q Spinc G (M) = m λ [λ] K (Cr G). λ Here λ runs over the dominant integral weights of a maximal compact subgroup of G, and [λ] are generators of K (C r G). Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
75 Positive scalar curvature...? We saw that for the Spin c -structures where our result applies, we have a topological expression for the (analytic) invariant, transversally L 2 -index of the deformed Dirac operator: Q Spinc (M) G = Q Spinc (M 0 ) = e 1 2 c 1(L 0 ) Â(M 0 ). M 0 This may yield obstructions to G-invariant metrics of positive scalar curvature on the noncompact manifold M, in terms of topological properties of M 0. Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
76 Thank you Peter Hochs (UoA) Noncompact Spin c -quantisation November / 35
Quantising proper actions on Spin c -manifolds
Quantising proper actions on Spin c -manifolds Peter Hochs University of Adelaide Differential geometry seminar Adelaide, 31 July 2015 Joint work with Mathai Varghese (symplectic case) Geometric quantization
More informationIntroduction to the Baum-Connes conjecture
Introduction to the Baum-Connes conjecture Nigel Higson, John Roe PSU NCGOA07 Nigel Higson, John Roe (PSU) Introduction to the Baum-Connes conjecture NCGOA07 1 / 15 History of the BC conjecture Lecture
More informationFixed Point Theorem and Character Formula
Fixed Point Theorem and Character Formula Hang Wang University of Adelaide Index Theory and Singular Structures Institut de Mathématiques de Toulouse 29 May, 2017 Outline Aim: Study representation theory
More informationarxiv:math-ph/ v2 15 May 2006
The Guillemin Sternberg conjecture for noncompact groups and spaces arxiv:math-ph/0512022v2 15 May 2006 P. Hochs & N.P. Landsman Radboud University Nijmegen Institute for Mathematics, Astrophysics, and
More informationThe transverse index problem for Riemannian foliations
The transverse index problem for Riemannian foliations John Lott UC-Berkeley http://math.berkeley.edu/ lott May 27, 2013 The transverse index problem for Riemannian foliations Introduction Riemannian foliations
More informationarxiv:math-ph/ v3 17 Sep 2001
INDEX THEOREM FOR EQUIVARIANT DIRAC OPERATORS ON NON-COMPACT MANIFOLDS arxiv:math-ph/0011045v3 17 Sep 2001 MAXIM BRAVERMAN Abstract. Let D be a (generalized) Dirac operator on a non-compact complete Riemannian
More informationIGA Lecture I: Introduction to G-valued moment maps
IGA Lecture I: Introduction to G-valued moment maps Adelaide, September 5, 2011 Review: Hamiltonian G-spaces Let G a Lie group, g = Lie(G), g with co-adjoint G-action denoted Ad. Definition A Hamiltonian
More informationPeter Hochs. Strings JC, 11 June, C -algebras and K-theory. Peter Hochs. Introduction. C -algebras. Group. C -algebras.
and of and Strings JC, 11 June, 2013 and of 1 2 3 4 5 of and of and Idea of 1 Study locally compact Hausdorff topological spaces through their algebras of continuous functions. The product on this algebra
More informationAn Invitation to Geometric Quantization
An Invitation to Geometric Quantization Alex Fok Department of Mathematics, Cornell University April 2012 What is quantization? Quantization is a process of associating a classical mechanical system to
More informationThe Spinor Representation
The Spinor Representation Math G4344, Spring 2012 As we have seen, the groups Spin(n) have a representation on R n given by identifying v R n as an element of the Clifford algebra C(n) and having g Spin(n)
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 informationQuantisation commutes with reduction for cocompact Hamiltonian group actions
Quantisation commutes with reduction for cocompact Hamiltonian group actions Een wetenschappelijke proeve op het gebied van de Natuurwetenschappen, Wiskunde en Informatica PROEFSCHRIFT ter verkrijging
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 informationA thesis submitted in conformity with the requirements for the degree of Doctor of Philosophy Graduate Department of Mathematics University of Toronto
Spin c Quantization, Prequantization and Cutting by Shay Fuchs A thesis submitted in conformity with the requirements for the degree of Doctor of Philosophy Graduate Department of Mathematics University
More informationSYMPLECTIC MANIFOLDS, GEOMETRIC QUANTIZATION, AND UNITARY REPRESENTATIONS OF LIE GROUPS. 1. Introduction
SYMPLECTIC MANIFOLDS, GEOMETRIC QUANTIZATION, AND UNITARY REPRESENTATIONS OF LIE GROUPS CRAIG JACKSON 1. Introduction Generally speaking, geometric quantization is a scheme for associating Hilbert spaces
More informationA Joint Adventure in Sasakian and Kähler Geometry
A Joint Adventure in Sasakian and Kähler Geometry Charles Boyer and Christina Tønnesen-Friedman Geometry Seminar, University of Bath March, 2015 2 Kähler Geometry Let N be a smooth compact manifold of
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 informationCohomology of the Mumford Quotient
Cohomology of the Mumford Quotient Maxim Braverman Abstract. Let X be a smooth projective variety acted on by a reductive group G. Let L be a positive G-equivariant line bundle over X. We use a Witten
More informationTwo simple ideas from calculus applied to Riemannian geometry
Calibrated Geometries and Special Holonomy p. 1/29 Two simple ideas from calculus applied to Riemannian geometry Spiro Karigiannis karigiannis@math.uwaterloo.ca Department of Pure Mathematics, University
More informationEXERCISES IN POISSON GEOMETRY
EXERCISES IN POISSON GEOMETRY The suggested problems for the exercise sessions #1 and #2 are marked with an asterisk. The material from the last section will be discussed in lecture IV, but it s possible
More informationNotes on symplectic geometry and group actions
Notes on symplectic geometry and group actions Peter Hochs November 5, 2013 Contents 1 Example of Hamiltonian mechanics 1 2 Proper actions and Hausdorff quotients 4 3 N particles in R 3 7 4 Commuting actions
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 informationEinstein-Hilbert action on Connes-Landi noncommutative manifolds
Einstein-Hilbert action on Connes-Landi noncommutative manifolds Yang Liu MPIM, Bonn Analysis, Noncommutative Geometry, Operator Algebras Workshop June 2017 Motivations and History Motivation: Explore
More informationLECTURE 1: LINEAR SYMPLECTIC GEOMETRY
LECTURE 1: LINEAR SYMPLECTIC GEOMETRY Contents 1. Linear symplectic structure 3 2. Distinguished subspaces 5 3. Linear complex structure 7 4. The symplectic group 10 *********************************************************************************
More informationDelzant s Garden. A one-hour tour to symplectic toric geometry
Delzant s Garden A one-hour tour to symplectic toric geometry Tour Guide: Zuoqin Wang Travel Plan: The earth America MIT Main building Math. dept. The moon Toric world Symplectic toric Delzant s theorem
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 informationGeometry of the momentum map
Geometry of the momentum map Gert Heckman Peter Hochs February 18, 2005 Contents 1 The momentum map 1 1.1 Definition of the momentum map.................. 2 1.2 Examples of Hamiltonian actions..................
More informationη = (e 1 (e 2 φ)) # = e 3
Research Statement My research interests lie in differential geometry and geometric analysis. My work has concentrated according to two themes. The first is the study of submanifolds of spaces with riemannian
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 informationIndex theory on manifolds with corners: Generalized Gauss-Bonnet formulas
Index theory on singular manifolds I p. 1/4 Index theory on singular manifolds I Index theory on manifolds with corners: Generalized Gauss-Bonnet formulas Paul Loya Index theory on singular manifolds I
More informationHodge theory for bundles over C algebras
Hodge theory for bundles over C algebras Svatopluk Krýsl Mathematical Institute, Charles University in Prague Varna, June 2013 Symplectic linear algebra Symplectic vector space (V, ω 0 ) - real/complex
More informationSYMPLECTIC GEOMETRY: LECTURE 5
SYMPLECTIC GEOMETRY: LECTURE 5 LIAT KESSLER Let (M, ω) be a connected compact symplectic manifold, T a torus, T M M a Hamiltonian action of T on M, and Φ: M t the assoaciated moment map. Theorem 0.1 (The
More informationHAMILTONIAN ACTIONS IN GENERALIZED COMPLEX GEOMETRY
HAMILTONIAN ACTIONS IN GENERALIZED COMPLEX GEOMETRY TIMOTHY E. GOLDBERG These are notes for a talk given in the Lie Groups Seminar at Cornell University on Friday, September 25, 2009. In retrospect, perhaps
More informationLinear connections on Lie groups
Linear connections on Lie groups The affine space of linear connections on a compact Lie group G contains a distinguished line segment with endpoints the connections L and R which make left (resp. right)
More informationDIFFERENTIAL FORMS, SPINORS AND BOUNDED CURVATURE COLLAPSE. John Lott. University of Michigan. November, 2000
DIFFERENTIAL FORMS, SPINORS AND BOUNDED CURVATURE COLLAPSE John Lott University of Michigan November, 2000 From preprints Collapsing and the Differential Form Laplacian On the Spectrum of a Finite-Volume
More informationThe Calabi Conjecture
The Calabi Conjecture notes by Aleksander Doan These are notes to the talk given on 9th March 2012 at the Graduate Topology and Geometry Seminar at the University of Warsaw. They are based almost entirely
More informationMorse theory and stable pairs
Richard A. SCGAS 2010 Joint with Introduction Georgios Daskalopoulos (Brown University) Jonathan Weitsman (Northeastern University) Graeme Wilkin (University of Colorado) Outline Introduction 1 Introduction
More informationCompact Riemannian manifolds with exceptional holonomy
Unspecified Book Proceedings Series Compact Riemannian manifolds with exceptional holonomy Dominic Joyce published as pages 39 65 in C. LeBrun and M. Wang, editors, Essays on Einstein Manifolds, Surveys
More informationFrom symplectic to spin geometry
From symplectic to spin geometry Jean-Philippe Michel University of Luxembourg Jean-Philippe MICHEL (UL) NCTS-CPT Workshop Hsinshu, 24-02-2011 1 / 16 Quantization for spinless system classical quantum
More informationEQUIVARIANT AND FRACTIONAL INDEX OF PROJECTIVE ELLIPTIC OPERATORS. V. Mathai, R.B. Melrose & I.M. Singer. Abstract
j. differential geometry x78 (2008) 465-473 EQUIVARIANT AND FRACTIONAL INDEX OF PROJECTIVE ELLIPTIC OPERATORS V. Mathai, R.B. Melrose & I.M. Singer Abstract In this note the fractional analytic index,
More informationROE C -ALGEBRA FOR GROUPOIDS AND GENERALIZED LICHNEROWICZ VANISHING THEOREM FOR FOLIATED MANIFOLDS
ROE C -ALGEBRA FOR GROUPOIDS AND GENERALIZED LICHNEROWICZ VANISHING THEOREM FOR FOLIATED MANIFOLDS XIANG TANG, RUFUS WILLETT, AND YI-JUN YAO Abstract. We introduce the concept of Roe C -algebra for a locally
More informationStratified Symplectic Spaces and Reduction
Stratified Symplectic Spaces and Reduction Reyer Sjamaar Eugene Lerman Mathematisch Instituut der Rijksuniversiteit te Utrecht Current addresses: R. Sjamaar, Dept. of Mathematics, MIT, Cambridge, MA 02139
More informationPin (2)-monopole theory I
Intersection forms with local coefficients Osaka Medical College Dec 12, 2016 Pin (2) = U(1) j U(1) Sp(1) H Pin (2)-monopole equations are a twisted version of the Seiberg-Witten (U(1)-monopole) equations.
More informationFrom holonomy reductions of Cartan geometries to geometric compactifications
From holonomy reductions of Cartan geometries to geometric compactifications 1 University of Vienna Faculty of Mathematics Berlin, November 11, 2016 1 supported by project P27072 N25 of the Austrian Science
More informationHYPERKÄHLER MANIFOLDS
HYPERKÄHLER MANIFOLDS PAVEL SAFRONOV, TALK AT 2011 TALBOT WORKSHOP 1.1. Basic definitions. 1. Hyperkähler manifolds Definition. A hyperkähler manifold is a C Riemannian manifold together with three covariantly
More informationInfinitesimal Einstein Deformations. Kähler Manifolds
on Nearly Kähler Manifolds (joint work with P.-A. Nagy and U. Semmelmann) Gemeinsame Jahrestagung DMV GDM Berlin, March 30, 2007 Nearly Kähler manifolds Definition and first properties Examples of NK manifolds
More informationThe kernel of the Dirac operator
The kernel of the Dirac operator B. Ammann 1 M. Dahl 2 E. Humbert 3 1 Universität Regensburg Germany 2 Institutionen för Matematik Kungliga Tekniska Högskolan, Stockholm Sweden 3 Laboratoire de Mathématiques
More informationHyperkähler geometry lecture 3
Hyperkähler geometry lecture 3 Misha Verbitsky Cohomology in Mathematics and Physics Euler Institute, September 25, 2013, St. Petersburg 1 Broom Bridge Here as he walked by on the 16th of October 1843
More informationGeneralized complex geometry
Generalized complex geometry Marco Gualtieri Abstract Generalized complex geometry encompasses complex and symplectic geometry as its extremal special cases. We explore the basic properties of this geometry,
More informationGeneralized complex geometry and topological sigma-models
Generalized complex geometry and topological sigma-models Anton Kapustin California Institute of Technology Generalized complex geometry and topological sigma-models p. 1/3 Outline Review of N = 2 sigma-models
More informationInvertible Dirac operators and handle attachments
Invertible Dirac operators and handle attachments Nadine Große Universität Leipzig (joint work with Mattias Dahl) Rauischholzhausen, 03.07.2012 Motivation Not every closed manifold admits a metric of positive
More informationLECTURE 10: THE ATIYAH-GUILLEMIN-STERNBERG CONVEXITY THEOREM
LECTURE 10: THE ATIYAH-GUILLEMIN-STERNBERG CONVEXITY THEOREM Contents 1. The Atiyah-Guillemin-Sternberg Convexity Theorem 1 2. Proof of the Atiyah-Guillemin-Sternberg Convexity theorem 3 3. Morse theory
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 informationOn the holonomy fibration
based on work with Alejandro Cabrera and Marco Gualtieri Workshop on Geometric Quantization Adelaide, July 2015 Introduction General theme: Hamiltonian LG-spaces q-hamiltonian G-spaces M Ψ Lg /L 0 G /L
More informationGEOMETRIC QUANTIZATION
GEOMETRIC QUANTIZATION 1. The basic idea The setting of the Hamiltonian version of classical (Newtonian) mechanics is the phase space (position and momentum), which is a symplectic manifold. The typical
More informationHomogeneous para-kähler Einstein manifolds. Dmitri V. Alekseevsky
Homogeneous para-kähler Einstein manifolds Dmitri V. Alekseevsky Hamburg,14-18 July 2008 1 The talk is based on a joint work with C.Medori and A.Tomassini (Parma) See ArXiv 0806.2272, where also a survey
More informationExercises in Geometry II University of Bonn, Summer semester 2015 Professor: Prof. Christian Blohmann Assistant: Saskia Voss Sheet 1
Assistant: Saskia Voss Sheet 1 1. Conformal change of Riemannian metrics [3 points] Let (M, g) be a Riemannian manifold. A conformal change is a nonnegative function λ : M (0, ). Such a function defines
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 informationLECTURE 11: SYMPLECTIC TORIC MANIFOLDS. Contents 1. Symplectic toric manifolds 1 2. Delzant s theorem 4 3. Symplectic cut 8
LECTURE 11: SYMPLECTIC TORIC MANIFOLDS Contents 1. Symplectic toric manifolds 1 2. Delzant s theorem 4 3. Symplectic cut 8 1. Symplectic toric manifolds Orbit of torus actions. Recall that in lecture 9
More informationTWISTOR AND KILLING FORMS IN RIEMANNIAN GEOMETRY
TWISTOR AND KILLING FORMS IN RIEMANNIAN GEOMETRY Andrei Moroianu CNRS - Ecole Polytechnique Palaiseau Prague, September 1 st, 2004 joint work with Uwe Semmelmann Plan of the talk Algebraic preliminaries
More informationLeft-invariant Einstein metrics
on Lie groups August 28, 2012 Differential Geometry seminar Department of Mathematics The Ohio State University these notes are posted at http://www.math.ohio-state.edu/ derdzinski.1/beamer/linv.pdf LEFT-INVARIANT
More informationTopology of the space of metrics with positive scalar curvature
Topology of the space of metrics with positive scalar curvature Boris Botvinnik University of Oregon, USA November 11, 2015 Geometric Analysis in Geometry and Topology, 2015 Tokyo University of Science
More informationDirac operators with torsion
Dirac operators with torsion Prof.Dr. habil. Ilka Agricola Philipps-Universität Marburg Golden Sands / Bulgaria, September 2011 1 Relations between different objects on a Riemannian manifold (M n, g):
More informationTHEORY OF GROUP REPRESENTATIONS AND APPLICATIONS
THEORY OF GROUP REPRESENTATIONS AND APPLICATIONS ASIM 0. BARUT Institute for Theoretical Physics, University of Colorado, Boulder, Colo., U.S.A. RYSZARD RATJZKA Institute for Nuclear Research, Warszawa,
More informationReduction of Homogeneous Riemannian structures
Geometric Structures in Mathematical Physics, 2011 Reduction of Homogeneous Riemannian structures M. Castrillón López 1 Ignacio Luján 2 1 ICMAT (CSIC-UAM-UC3M-UCM) Universidad Complutense de Madrid 2 Universidad
More informationIndex Theory and Spin Geometry
Index Theory and Spin Geometry Fabian Lenhardt and Lennart Meier March 20, 2010 Many of the familiar (and not-so-familiar) invariants in the algebraic topology of manifolds may be phrased as an index of
More informationMathematical Research Letters 2, (1995) A VANISHING THEOREM FOR SEIBERG-WITTEN INVARIANTS. Shuguang Wang
Mathematical Research Letters 2, 305 310 (1995) A VANISHING THEOREM FOR SEIBERG-WITTEN INVARIANTS Shuguang Wang Abstract. It is shown that the quotients of Kähler surfaces under free anti-holomorphic involutions
More information7.3 Singular Homology Groups
184 CHAPTER 7. HOMOLOGY THEORY 7.3 Singular Homology Groups 7.3.1 Cycles, Boundaries and Homology Groups We can define the singular p-chains with coefficients in a field K. Furthermore, we can define the
More informationInvariance Theory, the Heat Equation, and the Atiyah-Singer Index Theorem
PETER B. GILKEY Department of Mathematics, University of Oregon Invariance Theory, the Heat Equation, and the Atiyah-Singer Index Theorem Second Edition CRC PRESS Boca Raton Ann Arbor London Tokyo Contents
More informationDUISTERMAAT HECKMAN MEASURES AND THE EQUIVARIANT INDEX THEOREM
DUISTEAAT HECKAN EASUES AND THE EQUIVAIANT INDEX THEOE Let N be a symplectic manifold, with a Hamiltonian action of the circle group G and moment map µ : N. Assume that the level sets of µ are compact
More informationDonaldson and Seiberg-Witten theory and their relation to N = 2 SYM
Donaldson and Seiberg-Witten theory and their relation to N = SYM Brian Williams April 3, 013 We ve began to see what it means to twist a supersymmetric field theory. I will review Donaldson theory and
More informationStable bundles on CP 3 and special holonomies
Stable bundles on CP 3 and special holonomies Misha Verbitsky Géométrie des variétés complexes IV CIRM, Luminy, Oct 26, 2010 1 Hyperkähler manifolds DEFINITION: A hyperkähler structure on a manifold M
More informationA DANILOV-TYPE FORMULA FOR TORIC ORIGAMI MANIFOLDS VIA LOCALIZATION OF INDEX
A DANILOV-TYPE FORMULA FOR TORIC ORIGAMI MANIFOLDS VIA LOCALIZATION OF INDEX HAJIME FUJITA Abstract. We give a direct geometric proof of a Danilov-type formula for toric origami manifolds by using the
More informationarxiv:math-ph/ v1 29 Jul 2003
Functorial quantization and the Guillemin Sternberg conjecture N.P. Landsman arxiv:math-ph/0307059v1 29 Jul 2003 Korteweg de Vries Institute for Mathematics University of Amsterdam Plantage Muidergracht
More informationarxiv: v1 [math-ph] 15 May 2017
REDUCTION OF QUANTUM SYSTEMS AND THE LOCAL GAUSS LAW arxiv:1705.05259v1 [math-ph] 15 May 2017 RUBEN STIENSTRA AND WALTER D. VAN SUIJLEOM Abstract. We give an operator-algebraic interpretation of the notion
More informationHiggs Bundles and Character Varieties
Higgs Bundles and Character Varieties David Baraglia The University of Adelaide Adelaide, Australia 29 May 2014 GEAR Junior Retreat, University of Michigan David Baraglia (ADL) Higgs Bundles and Character
More informationTRANSVERSAL DIRAC OPERATORS ON DISTRIBUTIONS, FOLIATIONS, AND G-MANIFOLDS LECTURE NOTES
TRANSVERSAL DIRAC OPERATORS ON DISTRIBUTIONS, FOLIATIONS, AND G-MANIFOLDS LECTURE NOTES KEN RICHARDSON Abstract. In these lectures, we investigate generalizations of the ordinary Dirac operator to manifolds
More informationOverview of Atiyah-Singer Index Theory
Overview of Atiyah-Singer Index Theory Nikolai Nowaczyk December 4, 2014 Abstract. The aim of this text is to give an overview of the Index Theorems by Atiyah and Singer. Our primary motivation is to understand
More informationHamiltonian Toric Manifolds
Hamiltonian Toric Manifolds JWR (following Guillemin) August 26, 2001 1 Notation Throughout T is a torus, T C is its complexification, V = L(T ) is its Lie algebra, and Λ V is the kernel of the exponential
More informationMarsden-Weinstein Reductions for Kähler, Hyperkähler and Quaternionic Kähler Manifolds
Marsden-Weinstein Reductions for Kähler, Hyperkähler and Quaternionic Kähler Manifolds Chenchang Zhu Nov, 29th 2000 1 Introduction If a Lie group G acts on a symplectic manifold (M, ω) and preserves the
More informationTHE MCKEAN-SINGER FORMULA VIA EQUIVARIANT QUANTIZATION
THE MCKEAN-SINGER FORMULA VIA EQUIVARIANT QUANTIZATION EUGENE RABINOVICH 1. Introduction The aim of this talk is to present a proof, using the language of factorization algebras, and in particular the
More informationCALIBRATED FIBRATIONS ON NONCOMPACT MANIFOLDS VIA GROUP ACTIONS
DUKE MATHEMATICAL JOURNAL Vol. 110, No. 2, c 2001 CALIBRATED FIBRATIONS ON NONCOMPACT MANIFOLDS VIA GROUP ACTIONS EDWARD GOLDSTEIN Abstract In this paper we use Lie group actions on noncompact Riemannian
More informationA SHORT OVERVIEW OF SPIN REPRESENTATIONS. Contents
A SHORT OVERVIEW OF SPIN REPRESENTATIONS YUNFENG ZHANG Abstract. In this note, we make a short overview of spin representations. First, we introduce Clifford algebras and spin groups, and classify their
More informationTHE GEOMETRY OF B-FIELDS. Nigel Hitchin (Oxford) Odense November 26th 2009
THE GEOMETRY OF B-FIELDS Nigel Hitchin (Oxford) Odense November 26th 2009 THE B-FIELD IN PHYSICS B = i,j B ij dx i dx j flux: db = H a closed three-form Born-Infeld action: det(g ij + B ij ) complexified
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 informationARITHMETICITY OF TOTALLY GEODESIC LIE FOLIATIONS WITH LOCALLY SYMMETRIC LEAVES
ASIAN J. MATH. c 2008 International Press Vol. 12, No. 3, pp. 289 298, September 2008 002 ARITHMETICITY OF TOTALLY GEODESIC LIE FOLIATIONS WITH LOCALLY SYMMETRIC LEAVES RAUL QUIROGA-BARRANCO Abstract.
More informationCritical metrics on connected sums of Einstein four-manifolds
Critical metrics on connected sums of Einstein four-manifolds University of Wisconsin, Madison March 22, 2013 Kyoto Einstein manifolds Einstein-Hilbert functional in dimension 4: R(g) = V ol(g) 1/2 R g
More informationEigenvalue problem for Hermitian matrices and its generalization to arbitrary reductive groups
Eigenvalue problem for Hermitian matrices and its generalization to arbitrary reductive groups Shrawan Kumar Talk given at AMS Sectional meeting held at Davidson College, March 2007 1 Hermitian eigenvalue
More informationSingular Reduction of Generalized Complex Manifolds
Symmetry, Integrability and Geometry: Methods and Applications SIGMA 6 (2010), 081, 17 pages Singular Reduction of Generalized Complex Manifolds Timothy E. GOLDBERG Donald and Helen Schort School of Mathematics
More informationarxiv: v1 [math.dg] 2 Oct 2012
INDEX THEORY OF NON-COMPACT G-MANIFOLDS arxiv:1210.0929v1 [math.dg] 2 Oct 2012 MAXIM BRAVERMAN AND LEONARDO CANO The index theorem, discovered by Atiyah and Singer in 1963 [6], is one of most important
More informationClifford Algebras and Spin Groups
Clifford Algebras and Spin Groups Math G4344, Spring 2012 We ll now turn from the general theory to examine a specific class class of groups: the orthogonal groups. Recall that O(n, R) is the group of
More informationConification of Kähler and hyper-kähler manifolds and supergr
Conification of Kähler and hyper-kähler manifolds and supergravity c-map Masaryk University, Brno, Czech Republic and Institute for Information Transmission Problems, Moscow, Russia Villasimius, September
More informationPeriodic-end Dirac Operators and Positive Scalar Curvature. Daniel Ruberman Nikolai Saveliev
Periodic-end Dirac Operators and Positive Scalar Curvature Daniel Ruberman Nikolai Saveliev 1 Recall from basic differential geometry: (X, g) Riemannian manifold Riemannian curvature tensor tr scalar curvature
More informationThe topology of positive scalar curvature ICM Section Topology Seoul, August 2014
The topology of positive scalar curvature ICM Section Topology Seoul, August 2014 Thomas Schick Georg-August-Universität Göttingen ICM Seoul, August 2014 All pictures from wikimedia. Scalar curvature My
More informationCompact 8-manifolds with holonomy Spin(7)
Compact 8-manifolds with holonomy Spin(7) D.D. Joyce The Mathematical Institute, 24-29 St. Giles, Oxford, OX1 3LB. Published as Invent. math. 123 (1996), 507 552. 1 Introduction In Berger s classification
More informationarxiv:hep-th/ v1 9 Jun 1994
DAMTP 94-45 Geometric quantization on homogeneous spaces and the meaning of inequivalent quantizations M. A. Robson arxiv:hep-th/9406057v1 9 Jun 1994 Department of Applied Mathematics and Theoretical Physics,
More informationLecture 10: A (Brief) Introduction to Group Theory (See Chapter 3.13 in Boas, 3rd Edition)
Lecture 0: A (Brief) Introduction to Group heory (See Chapter 3.3 in Boas, 3rd Edition) Having gained some new experience with matrices, which provide us with representations of groups, and because symmetries
More informationON NEARLY SEMIFREE CIRCLE ACTIONS
ON NEARLY SEMIFREE CIRCLE ACTIONS DUSA MCDUFF AND SUSAN TOLMAN Abstract. Recall that an effective circle action is semifree if the stabilizer subgroup of each point is connected. We show that if (M, ω)
More informationLecture 11: Clifford algebras
Lecture 11: Clifford algebras In this lecture we introduce Clifford algebras, which will play an important role in the rest of the class. The link with K-theory is the Atiyah-Bott-Shapiro construction
More informationExotic nearly Kähler structures on S 6 and S 3 S 3
Exotic nearly Kähler structures on S 6 and S 3 S 3 Lorenzo Foscolo Stony Brook University joint with Mark Haskins, Imperial College London Friday Lunch Seminar, MSRI, April 22 2016 G 2 cones and nearly
More information