Pin (2)-monopole theory I
|
|
- Domenic Pitts
- 5 years ago
- Views:
Transcription
1 Intersection forms with local coefficients Osaka Medical College Dec 12, 2016
2 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. Applications of SW equations Intersection forms Diagonalization theorem The 10/8 inequality for spin [Furuta] SW invariants Exotic structures Adjunction inequalities [Kronheimer-Mrowka] et al. SW=GW [Taubes] Calculation of the Yamabe invariants [LeBrun] et al stable cohomotopy invariants [Bauer-Furuta]
3 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. Applications of Pin (2)-monopole equations Intersection forms with local coefficients Diagonalization theorem in local coefficients 10/8-type inequality (for non-spin) Pin (2)-monopole invariants Exotic structures Adjunction inequalities Calculation of the Yamabe invariants (j/w M. Ishida & S. Matsuo) stable cohomotopy invariants
4 Today Intersection forms with local coefficients Diagonalization theorem in local coefficients - 10/8-type inequality (for non-spin) Z 2 -Froyshov invariants & 4-manifolds with boundary Next talk Pin (2)-monopole invariants stable cohomotopy invariants
5 Intersection forms with local coefficients X: closed oriented 4-manifold with double cover X X l := X {±1} Z, a Z-bundle over X. H (X; l): l-coefficient cohomology. Note l l = Z. The cup product : H 2 (X; l) H 2 (X; l) H 4 (X; Z) = Z, induces the intersection form with local coefficient Q X,l : H 2 (X; l)/torsion H 2 (X; l)/torsion Z. Q X,l is a symmetric bilinear unimodular form.
6 Theorem [Froyshov,2012] X: a closed connected oriented smooth 4-manifold s.t. { H 2 (X; l) contains no element of order 4 b + (X)+ dim Z/2 (torh 1 (X; Z) Z/2) 2. (1) l X: a nontrivial Z-bundle. If Q X,l is definite Q X,l diagonal. The original form of Froyshov s theorem is: If X with X = Y : ZHS 3 satisfies (1) & Q X,l is nonstandard definite δ 0 : HF 4 (Y ; Z/2) Z/2 is non-zero. Y = S 3 HF 4 (Y ; Z/2) = 0 The above result.
7 The proof uses SO(3)-Yang-Mills theory on a SO(3)-bundle V. Twisted reducibles (stabilizer = {±1}) play an important role. V is reduced to λ E, where E is an O(2)-bundle, λ = det E: a nontrivial R-bundle. Cf [Fintushel-Stern 84] s proof of Donaldson s theorem also used SO(3)-Yang-Mills. Abelian reducibles (stabilizer = U(1)) V is reduced to R L, where L is a U(1)-bundle.
8 Theorem 1.(N. 2013) X: a closed connected ori. smooth 4-manifold. l X: a nontrivial Z-bdl. s.t. w 1 (l R) 2 = 0. If Q X,l is definite Q X,l diagonal. Cf. Froyshov s theorem { H 2 (X; l) contains no element of order 4 X: s.t. b + (X)+ dim Z/2 (torh 1 (X; Z) Z/2) 2. l X: a nontrivial Z-bundle. If Q X,l is definite Q X,l diagonal.
9 Theorem 1.(N. 2013) X: a closed connected ori. smooth 4-manifold. l X: a nontrivial Z-bdl. s.t. w 1 (l R) 2 = 0. If Q X,l is definite Q X,l diagonal. The proof uses Pin (2)-monopole equations. Pin (2)-monopole eqns are defined on a Spin c structure. Spin c structure is a Pin (2)-variant of Spin c -structure whose complex structure is twisted along l.
10 The moduli space of Pin (2)-monopoles is compact. Bauer-Furuta theory can be developed. Furuta s theorem Let X be a closed ori. smooth spin 4-manifold with indefinite Q X. b 2 (X) 10 sign(x) Theorem 2(N. 13, Furuta) Let X be a closed connected ori. smooth 4-manifold. For any nontrivial Z-bundle l X s.t. w 1 (l R) 2 = w 2 (X). b l 2(X) 10 sign(x) + 2, 8 where b l 2 (X) = rank H 2(X; l).
11 Pin (2)-monopole equations Seiberg-Witten equations are defined on a Spin c -structure. Spin c (4) = Spin(4) {±1} U(1) Pin (2)-monopole eqns are defined on a Spin c -structure. Spin c (4) = Spin(4) {±1} Pin (2)
12 Spin c (4) Pin (2) = U(1), j = U(1) j U(1) Sp(1) H. Two-to-one homomorphism Pin (2) O(2) z U(1) Pin (2) z 2 U(1) = SO(2) O(2), ( ) 1 0 j. 0 1 Definition Spin c (4) := Spin(4) {±1} Pin (2). Spin c (4)/ Pin (2) = Spin(4)/{±1} = SO(4) Spin c (4)/ Spin(4) = O(2) The id. compo. of Spin c (4) = Spin(4) {±1} U(1) = Spin c (4) Spin c (4)/ Spin c (4) = {±1}.
13 Spin c -structures X: an oriented Riemannian 4-manifold. F r(x): The SO(4)-frame bundle. X 2:1 X: (nontrivial) double covering, l := X {±1} Z [Furuta,08] A Spin c -structure s on X X is given by P : a Spin c (4)-bundle over X, P/ Spin c (4) = X P/ Pin (2) = F r(x). E = P/ Spin(4) O(2) X: characteristic O(2)-bundle. l-coefficient Euler class c 1 (E) H 2 (X; l).
14 Spin c (4) P J, J 2 = 1 Spin c (4) P/ Spin c (4) = X ι, ι 2 = id X X 2:1 P Spinc (4) X defines a Spin c -structure s on X J = [1, j] Spin(4) {±1} Pin (2) = Spin c (4) J covers ι Involution I on the spinor bundles S ± of s: S ± = P Spin c (4) H ± [J, j] =: I I 2 = 1 & I is antilinear. S ± = S ± /I are the spinor bundles for the Spin c -str. s S ± are not complex bundles.
15 Twisted Clifford multiplication ρ: T X (l 1R) End(S + S ) An O(2)-connection A on E + Levi-Civita Dirac operator D A : Γ(S + ) Γ(S ) Weitzenböck formula DAΦ 2 = A A Φ + s g 4 Φ + ρ(f + A ) Φ 2
16 Pin (2)-monopole equations { DA Φ = 0, ρ(f + A ) = q(φ), where A: O(2)-connection on E & Φ Γ(S + ) F + A Ω+ (l 1R) q(φ) = (Φ Φ) 1 2 Φ 2 id End(S + ) Remark Pin (2)-monopole on X = I-invariant Seiberg-Witten on X
17 Gauge symmetry G Pin =Γ( X {±1} U(1)) ={f Map( X, U(1)) f(ιx) = f(x) 1 } where {±1} U(1) by z z 1. Cf. Ordinary SW (U(1)) case G U(1) = Map(X, U(1))
18 Moduli spaces M Pin = { solutions }/G Pin (A E Γ(S + ))/G Pin where A E = the space of O(2)-connections on E Proposition M Pin is compact. The virtual dimension of M Pin : d = 1 4 ( c 1(E) 2 sign(x)) (b l 0 b l 1 + b l +). where b l = rank H (X; l). - If l is nontrivial & X connected b l 0 = 0.
19 Reducibles Irreducible: (A, Φ), Φ 0 G Pin -action is free. reducible: (A, Φ 0) The stabilizer is {±1} { reducible solutions }/G Pin = T b l 1 MPin.
20 Key difference Ordinary SW(U(1)) case Reducible The stabilizer = U(1). M U(1) \ {reducibles} (A U(1) (Γ(S + ) \ {0}))/G U(1) BG U(1) T b 1 CP. Pin (2)-monopole case Reducible The stabilizer = {±1}. M Pin \ {reducibles} (A (Γ(S + ) \ {0}))/G Pin BG Pin T bl 1 RP.
21 Proof of Theorem 1 Recall Theorem 1. X: a closed connected ori. smooth 4-manifold. l X: a nontrivial Z-bundle s.t. w 1 (l R) 2 = 0. If Q X,l is definite Q X,l diagonal. For simplicity, assume b l 1 = 0.
22 Lemma 1 characteristic elements w of Q X,l, 0 w 2 + b l 2. An element w in a unimodular lattice L is called characteristic if w v v v mod 2 for v L. Lemma 1 & [Elkies 95] Q X,l diagonal.
23 Lemma 2 If w 1 (l R) 2 = 0 characteristic element w, Spin c -str. s.t. c 1 (E) = w. Lemma 3 If b l + = b l 1 = 0 dim M Pin 0 for Spin c -str. Lemma 2 & 3 Lemma 1 0 dim M Pin = 1 4 ( c 1(E) 2 sign(x)) (b l 0 b l 1 + b l +) = 1 4 ( w2 + b l 2)
24 The structure of M Pin when b + (X; l) = 0 b 1 (X, l) = 0 1 reducible class ρ 0 M Pin. Perturb the Pin (2)-monopole equations by adding η Ω + (iλ) to the curvature equation. F + A = q(ϕ) + η. For generic η, M Pin \ {ρ 0 } is a d-dimensional manifold. Fix a small neighborhood N(ρ 0 ) of {ρ 0 }. N(ρ 0 ) = R d /{±1} = a cone of RP d 1 Then M Pin := M Pin \ N(ρ 0 ) is a compact d-manifold & M Pin = RP d 1.
25
26 Note M Pin (A (Γ(S + ) \ {0})) /G =: B. Recall B T b1(x;l) RP. h.e. Lemma 3 If b l + = 0 & b l 1 = 0 d = dim M Pin 0. Proof Suppose d > 0. Recall M Pin is a compact d-manifold s.t. M Pin = RP d 1. C H d 1 (B ; Z/2) = H d 1 (RP ; Z/2) s.t. C, [ M Pin ] = 0. Contradiction.
27 Another proof of Lemma 3 Monopole map - For simplicity, we assume b l 1 = dim H 1 (X; l) = 0. Fix a reference O(2)-connection A on E µ: Γ(S + ) Ω(l ir) Γ(S ) (Ω + Ω 0 )(l ir) (a, ϕ) (D A+a ϕ, F + A+a q(ϕ), d a) µ is {±1}-equivariant µ 1 (ball) ball
28 Finite dimensional approximation [Furuta, 95] Decompose µ = D + Q as D: linear & Q: quadratic Fix λ 1. ( ) eigenspaces of D D V λ = Span eigenvalues < λ ( ) eigenspaces of DD W λ = Span eigenvalues < λ p λ : Γ(S ) (Ω + Ω 0 )(l ir) W λ, L 2 -projection Finite dim approx. f = D + p λ Q: V λ W λ f is {±1}-equivariant, proper
29 f has the following form: f : R x+a R y R x R y+b, a = ind R D A, b = b l +(X) { R by multiplication {±1} acts on R trivially R : spinor part, R : form part [Fact] f {0} R y is a linear inclusion Suppose b = b l +(X) = 0. Consider the diagram ( Rx+a R y ) + f + i 1 ( Rx R y ) + i 2 (R y ) + = (R y ) + ( ) + means the 1-point compactifications.
30 Let G = {±1}. Apply H G ( ; F 2) to the diagram. (f + ) H G (( R x+a R y ) + ; F 2 ) H G (( R x R y ) + ; F 2 ) i 1 i 2 H G ( (R y ) + ) = ( ; F 2 H G (R y ) + ) ; F 2 H G ( (R y ) + ; F 2 ) = H (BG; F 2 ) = H (RP ; F 2 ) = F 2 [v], (deg v = 1) Im i 1 = e( R x+a ) = v x+a, Im i 2 = e( R x ) = v x. Commutativity Im i 1 = vx+a Im i 2 = vx 0 a = ind R D A = 1 4 ( w2 + b l 2 )
31 Definite 4-manifold with boundary Recall: [Elkies] Q: Definite standard characteristic w, 0 w 2 + rank Q. ( ) For closed X, if Q X, Q X,l : definite ( ). However if X has a boundary Y : ZHS 3, even when Q X or Q X,l : definite, ( ) may not be true. Instead, we can estimate how false ( ) is by some quantities related with Y. For Q X Froyshov invariant For Q X,l Z 2 -Froyshov invariant
32 Froyshov invariants Y : QHS 3 with Spin c -structure [Froyshov invariant] δ U(1) (Y ) = h(y ) Q δ U(1) (Y ): Manolescu s convention h(y ): Froyshov, Kronheimer-Mrowka Theorem [Froyshov] δ U(1) (Y 1 #Y 2 ) = δ U(1) (Y 1 ) + δ U(1) (Y 2 ), δ U(1) ( Y ) = δ U(1) (Y ) δ U(1) (Y ) is a Spin c -homology cobordism invariant. W : compact Spin c 4-manifold s.t. W = Y 1 Y k, Y i : QHS 3. b + (W ) = 0 k δ U(1) (Y i ) 1 8 (c 1(L) 2 + b 2 (W )) i=1 where L is the determinant line bundle.
33 Corollary [Froyshov] W : compact 4-manifold, W = Y 1 Y k, Y i : ZHS 3. If b + (W ) = 0, for characteristic element w of Q W k δ U(1) (Y i ) 1 8 ( w2 + b 2 (W )) i=1
34 Z 2 -Froyshov invariant Y : QHS 3 with Spin c -structure Theorem 3 [N, 16] We can define a topological invariant δ Z 2 (Y ) Q δ Z 2 (Y ) is a homology cobordism invariant (for ZHS 3 ). δ Z 2 (Y ) 2δ U(1) (Y ) W : cobordism from Y 0 to Y 1 with a Z bundle l W s.t. b l +(W ) = 0 & l Y0, l Y1 : trivial For a Spin c structure on l, δ Z 2 (Y 1 ) δ Z 2 (Y 0 ) ( c 1(E) 2 + b l 2(W )) [Remark] l Yi : trivial Spin c str on W induces a Spin c str on Y i
35 Corollary [N, 16] W : compact 4-manifold, W = Y 1 Y k, Y i : ZHS 3. If l W is a Z bundle with w 1 (l R) 2 = 0 & b l +(W ) = 0, for characteristic element w of Q W,l k δ U(1) (Y i ) 1 2 δz 2 (Y 1 # #Y K ) 1 8 ( w2 + b l 2(W )) i=1 Conjecture δ Z 2 (Y 1 #Y 2 ) = δ Z 2 (Y 1 ) + δ Z 2 (Y 2 ) δ Z 2 ( Y ) = δ Z 2 (Y )
36 A definition of δ U(1) (Y ) Let X = SWF(Y) be the Seiberg-Witten-Floer homotopy type constructed by Manolescu. Here we assume X as a space. U(1) acts on X & X U(1) = (R s ) +. Apply H U(1) ( ; F) to the inclusion i: XU(1) X Note i : H U(1) (X; F) H U(1) (XU(1) ; F) H s U(1) (XU(1) ; F) = H (CP ; F) = F[u], deg u = 2. Via this identification, d, Im i = u d. δ U(1) (Y ) = d + (some grading shift)
37 Definition of δ Z 2 (Y ) Since X = SWF(Y) is a U(1)-space & U(1) {±1} = Z 2, Z 2 acts on X & X Z 2 = (R s ) +. Apply H Z 2 ( ; F 2 ) to the inclusion i: X Z 2 X Note i : H Z2 (X; F 2 ) H Z 2 (X Z 2 ; F 2 ) H s Z 2 (X Z 2 ; F 2 ) = H (RP ; F 2 ) = F 2 [v], deg v = 1. Via this identification, d 2, Im i = v d 2. δ Z 2 (Y ) = d 2 + (some grading shift)
38 Idea of the proof of Theorem 3 Let W be the Spin c cobordism in Theorem 3. Let X i = SWF(Y i ) (i = 0, 1). Pin (2)-monopole map on W induces a Z 2 -equivariant map We have a diagram f : Σ X 0 Σ X 1 Σ X 0 f Σ X 1 (Σ X 0 ) Z 2 (Σ X 1 ) Z 2 Applying H Z 2 ( ; F 2 ), we obtain the inequality in Theorem 3.
39 The outline of the proof of Theorem 2 Recall Theorem 2 Let X be a closed connected ori. smooth 4-manifold. For any nontrivial Z-bundle l X s.t. w 1 (l R) 2 = w 2 (X). where b l 2 (X) = rank H 2(X; l). b l 2(X) 10 sign(x) + 2, 8
40 w 1 (λ) 2 = w 2 (X) E = R (l R) Spin c -structure on (X, E) has a larger symmetry - For simplicity, assume b l 1(X) = 0. G Pin = Γ( X {±1} Pin (2)). By taking a finite dimensional approximation of the monopole map, we obtain a proper Z 4 -equivariant map f : R y C x+k 1 R y+b C x 1, k = ind C D A, b = b l +(X) { C1 by multiplication of i Z/4 acts on R via Z/4 Z/2 = {±1} R Here, Z 4 is generated by the constant section j G = Γ( X {±1} Pin (2)).
41 By using the techniques of equivariant homotopy theory, e.g., tom Dieck s character formula, we can see that any proper Z 4 -map of the form, should satisfy b > k. That is, f : R y C x+k 1 R y+b C x 1, b l +(X) 1 sign(x)
Mathematical 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 informationScalar curvature and the Thurston norm
Scalar curvature and the Thurston norm P. B. Kronheimer 1 andt.s.mrowka 2 Harvard University, CAMBRIDGE MA 02138 Massachusetts Institute of Technology, CAMBRIDGE MA 02139 1. Introduction Let Y be a closed,
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 informationON THE INTERSECTION FORMS OF SPIN FOUR-MANIFOLDS WITH BOUNDARY
ON THE INTERSECTION FORMS OF SPIN FOUR-MANIFOLDS WITH BOUNDARY CIPRIAN MANOLESCU Abstract. We prove Furuta-type bounds for the intersection forms of spin cobordisms between homology 3-spheres. The bounds
More informationMorse-Bott Framework for the 4-dim SW-Equations
Morse-Bott Framework for the 4-dim SW-Equations Celso M. Doria UFSC - Depto. de Matemática august/2010 Figure 1: Ilha de Santa Catarina Figure 2: Floripa research partially supported by FAPESC 2568/2010-2
More informationMONOPOLE CLASSES AND PERELMAN S INVARIANT OF FOUR-MANIFOLDS
MONOPOLE CLASSES AND PERELMAN S INVARIANT OF FOUR-MANIFOLDS D. KOTSCHICK ABSTRACT. We calculate Perelman s invariant for compact complex surfaces and a few other smooth four-manifolds. We also prove some
More informationCombinatorial Heegaard Floer Theory
Combinatorial Heegaard Floer Theory Ciprian Manolescu UCLA February 29, 2012 Ciprian Manolescu (UCLA) Combinatorial HF Theory February 29, 2012 1 / 31 Motivation (4D) Much insight into smooth 4-manifolds
More informationBroken pencils and four-manifold invariants. Tim Perutz (Cambridge)
Broken pencils and four-manifold invariants Tim Perutz (Cambridge) Aim This talk is about a project to construct and study a symplectic substitute for gauge theory in 2, 3 and 4 dimensions. The 3- and
More information4-MANIFOLDS: CLASSIFICATION AND EXAMPLES. 1. Outline
4-MANIFOLDS: CLASSIFICATION AND EXAMPLES 1. Outline Throughout, 4-manifold will be used to mean closed, oriented, simply-connected 4-manifold. Hopefully I will remember to append smooth wherever necessary.
More informationORIENTABILITY AND REAL SEIBERG-WITTEN INVARIANTS
(To appear in Intern. J. Math.) ORIENTABILITY AND REAL SEIBERG-WITTEN INVARIANTS GANG TIAN AND SHUGUANG WANG Abstract. We investigate Seiberg-Witten theory in the presence of real structures. Certain conditions
More informationAn exotic smooth structure on CP 2 #6CP 2
ISSN 1364-0380 (on line) 1465-3060 (printed) 813 Geometry & Topology Volume 9 (2005) 813 832 Published: 18 May 2005 G G G G T T T G T T T G T G T GG TT G G G G GG T T T TT An exotic smooth structure on
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 informationINSTANTON MODULI AND COMPACTIFICATION MATTHEW MAHOWALD
INSTANTON MODULI AND COMPACTIFICATION MATTHEW MAHOWALD () Instanton (definition) (2) ADHM construction (3) Compactification. Instantons.. Notation. Throughout this talk, we will use the following notation:
More informationMONOPOLES AND LENS SPACE SURGERIES
MONOPOLES AND LENS SPACE SURGERIES PETER KRONHEIMER, TOMASZ MROWKA, PETER OZSVÁTH, AND ZOLTÁN SZABÓ Abstract. Monopole Floer homology is used to prove that real projective three-space cannot be obtained
More informationClassifying complex surfaces and symplectic 4-manifolds
Classifying complex surfaces and symplectic 4-manifolds UT Austin, September 18, 2012 First Cut Seminar Basics Symplectic 4-manifolds Definition A symplectic 4-manifold (X, ω) is an oriented, smooth, 4-dimensional
More informationAarhus Gauge Theory Workshop
CENTRE FOR QUANTUM GEOMETRY OF MODULI SPACES FACULTY OF SCIENCE AARHUS UNIVERSITY Aarhus Gauge Theory Workshop 8-12 August 2011 Programme Monday 8 August: 09.30-10.30 Stefan Bauer: Differential eguations
More informationRohlin s Invariant and 4-dimensional Gauge Theory. Daniel Ruberman Nikolai Saveliev
Rohlin s Invariant and 4-dimensional Gauge Theory Daniel Ruberman Nikolai Saveliev 1 Overall theme: relation between Rohlin-type invariants and gauge theory, especially in dimension 4. Background: Recall
More informationINTERSECTION FORMS OF SPIN FOUR-MANIFOLDS. 1. Introduction. The purpose of this note is to prove the following
INTERSECTION FORMS OF SPIN FOUR-MANIFOLDS STEFAN BAUER 1. Introduction The purpose of this note is to prove the following Theorem 1.1. Let X be a smooth, closed, connected and simply connected, four-dimensional
More informationWe have the following immediate corollary. 1
1. Thom Spaces and Transversality Definition 1.1. Let π : E B be a real k vector bundle with a Euclidean metric and let E 1 be the set of elements of norm 1. The Thom space T (E) of E is the quotient E/E
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 informationQuantising noncompact Spin c -manifolds
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
More informationTransparent connections
The abelian case A definition (M, g) is a closed Riemannian manifold, d = dim M. E M is a rank n complex vector bundle with a Hermitian metric (i.e. a U(n)-bundle). is a Hermitian (i.e. metric) connection
More informationInstantons and Donaldson invariants
Instantons and Donaldson invariants George Korpas Trinity College Dublin IFT, November 20, 2015 A problem in mathematics A problem in mathematics Important probem: classify d-manifolds up to diffeomorphisms.
More informationTHE GENUS OF EMBEDDED SURFACES IN THE PROJECTIVE PLANE. P. B. Kronheimer and T. S. Mrowka
THE GENUS OF EMBEDDED SURFACES IN THE PROJECTIVE PLANE P. B. Kronheimer and T. S. Mrowka Abstract. We show how the new invariants of 4-manifolds resulting from the Seiberg-Witten monopole equation lead
More informationEinstein Metrics, Minimizing Sequences, and the. Differential Topology of Four-Manifolds. Claude LeBrun SUNY Stony Brook
Einstein Metrics, Minimizing Sequences, and the Differential Topology of Four-Manifolds Claude LeBrun SUNY Stony Brook Definition A Riemannian metric is said to be Einstein if it has constant Ricci curvature
More informationQuantising 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 informationON SEIBERG WITTEN EQUATIONS ON SYMPLECTIC 4 MANIFOLDS
SYPLECTIC SINGULARITIES AND GEOETRY OF GAUGE FIELDS BANACH CENTER PUBLICATIONS, VOLUE 39 INSTITUTE OF ATHEATICS POLISH ACADEY OF SCIENCES WARSZAWA 1997 ON SEIBERG WITTEN EQUATIONS ON SYPLECTIC 4 ANIFOLDS
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 informationLECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE
LECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE JOHANNES EBERT 1.1. October 11th. 1. Recapitulation from differential topology Definition 1.1. Let M m, N n, be two smooth manifolds
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 informationThe topology of symplectic four-manifolds
The topology of symplectic four-manifolds Michael Usher January 12, 2007 Definition A symplectic manifold is a pair (M, ω) where 1 M is a smooth manifold of some even dimension 2n. 2 ω Ω 2 (M) is a two-form
More informationDEFINITE MANIFOLDS BOUNDED BY RATIONAL HOMOLOGY THREE SPHERES
DEFINITE MANIFOLDS BOUNDED BY RATIONAL HOMOLOGY THREE SPHERES BRENDAN OWENS AND SAŠO STRLE Abstract. This paper is based on a talk given at the McMaster University Geometry and Topology conference, May
More informationDonaldson Invariants and Moduli of Yang-Mills Instantons
Donaldson Invariants and Moduli of Yang-Mills Instantons Lincoln College Oxford University (slides posted at users.ox.ac.uk/ linc4221) The ASD Equation in Low Dimensions, 17 November 2017 Moduli and Invariants
More informationFour-Manifold Geography and Superconformal Symmetry
YCTP-P30-98 math.dg/9812042 ariv:math/9812042v2 [math.dg] 9 Dec 1998 Four-Manifold Geography and Superconformal Symmetry Marcos Mariño, Gregory Moore, and Grigor Peradze Department of Physics, Yale University
More informationStratified surgery and the signature operator
Stratified surgery and the signature operator Paolo Piazza (Sapienza Università di Roma). Index Theory and Singular structures. Toulouse, June 1st 2017. Based on joint work with Pierre Albin (and also
More informationLECTURE 6: J-HOLOMORPHIC CURVES AND APPLICATIONS
LECTURE 6: J-HOLOMORPHIC CURVES AND APPLICATIONS WEIMIN CHEN, UMASS, SPRING 07 1. Basic elements of J-holomorphic curve theory Let (M, ω) be a symplectic manifold of dimension 2n, and let J J (M, ω) be
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 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 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 informationOn embedding all n-manifolds into a single (n + 1)-manifold
On embedding all n-manifolds into a single (n + 1)-manifold Jiangang Yao, UC Berkeley The Forth East Asian School of Knots and Related Topics Joint work with Fan Ding & Shicheng Wang 2008-01-23 Problem
More informationSymplectic 4-manifolds, singular plane curves, and isotopy problems
Symplectic 4-manifolds, singular plane curves, and isotopy problems Denis AUROUX Massachusetts Inst. of Technology and Ecole Polytechnique Symplectic manifolds A symplectic structure on a smooth manifold
More informationSemiclassical Framed BPS States
Semiclassical Framed BPS States Andy Royston Rutgers University String-Math, Bonn, July 18, 2012 Based on work with Dieter van den Bleeken and Greg Moore Motivation framed BPS state 1 : a BPS state in
More informationDISTINGUISHING EMBEDDED CURVES IN RATIONAL COMPLEX SURFACES
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 16, Number 1, January 1998, Pages 305 310 S 000-9939(98)04001-5 DISTINGUISHING EMBEDDED CURVES IN RATIONAL COMPLEX SURFACES TERRY FULLER (Communicated
More informationEXISTENCE THEORY FOR HARMONIC METRICS
EXISTENCE THEORY FOR HARMONIC METRICS These are the notes of a talk given by the author in Asheville at the workshop Higgs bundles and Harmonic maps in January 2015. It aims to sketch the proof of the
More informationGroupoids and Orbifold Cohomology, Part 2
Groupoids and Orbifold Cohomology, Part 2 Dorette Pronk (with Laura Scull) Dalhousie University (and Fort Lewis College) Groupoidfest 2011, University of Nevada Reno, January 22, 2012 Motivation Orbifolds:
More informationSymmetries and exotic smooth structures on a K3 surface
University of Massachusetts Amherst ScholarWorks@UMass Amherst Mathematics and Statistics Department Faculty Publication Series Mathematics and Statistics 2008 Symmetries and exotic smooth structures on
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 informationPERIODIC FLOER PRO-SPECTRA FROM THE SEIBERG-WITTEN EQUATIONS
PERIODIC FLOER PRO-SPECTRA FROM THE SEIBERG-WITTEN EQUATIONS PETER B. KRONHEIMER AND CIPRIAN MANOLESCU Abstract. Given a three-manifold with b 1 = 1 and a nontorsion spin c structure, we use finite dimensional
More informationPU(2) MONOPOLES, I: REGULARITY, UHLENBECK COMPACTNESS, AND TRANSVERSALITY 1 PAUL M. N. FEEHAN AND THOMAS G. LENESS
PU(2) MONOPOLES, I: REGULARITY, UHLENBECK COMPACTNESS, AND TRANSVERSALITY 1 PAUL M. N. FEEHAN AND THOMAS G. LENESS arxiv:dg-ga/9710032v1 29 Oct 1997 1. Introduction At seminars at Harvard and MIT, during
More informationarxiv: v2 [math.gt] 26 Sep 2013
HOMOLOGY CLASSES OF NEGATIVE SQUARE AND EMBEDDED SURFACES IN 4-MANIFOLDS arxiv:1301.3733v2 [math.gt] 26 Sep 2013 M. J. D. HAMILTON ABSTRACT. Let X be a simply-connected closed oriented 4-manifold and A
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 informationMATHEMATICAL GAUGE THEORY II
Ludwig-Maximilians-Universität München MATHEMATICAL GAUGE THEORY II Prof. Hamilton & Prof. Kotschick Wintersemester 2016 2017 Contents 1 Introduction 3 1.1 The Seiberg-Witten Equations.....................................
More informationThe Seiberg-Witten equations and the Weinstein conjecture II: More closed integral curves for the Reeb vector field. Clifford Henry Taubes
2/15/07 The Seiberg-Witten equations and the Weinstein conjecture II: More closed integral curves for the Reeb vector field Clifford Henry Taubes Department of Mathematics Harvard University Cambridge
More informationPossible Advanced Topics Course
Preprint typeset in JHEP style - HYPER VERSION Possible Advanced Topics Course Gregory W. Moore Abstract: Potential List of Topics for an Advanced Topics version of Physics 695, Fall 2013 September 2,
More informationA Crash Course of Floer Homology for Lagrangian Intersections
A Crash Course of Floer Homology for Lagrangian Intersections Manabu AKAHO Department of Mathematics Tokyo Metropolitan University akaho@math.metro-u.ac.jp 1 Introduction There are several kinds of Floer
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 informationTorus actions on positively curved manifolds
on joint work with Lee Kennard and Michael Wiemeler Sao Paulo, July 25 2018 Positively curved manifolds Examples with K > 0 Few known positively curved simply connected closed manifolds. The compact rank
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 informationAn observation concerning uniquely ergodic vector fields on 3-manifolds. Clifford Henry Taubes
/24/08 An observation concerning uniquely ergodic vector fields on 3-manifolds Clifford Henry Taubes Department of athematics Harvard University Cambridge, A 0238 Supported in part by the National Science
More informationEmbedded contact homology and its applications
Embedded contact homology and its applications Michael Hutchings Department of Mathematics University of California, Berkeley International Congress of Mathematicians, Hyderabad August 26, 2010 arxiv:1003.3209
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 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 informationA surgery formula for the smooth Yamabe invariant
A surgery formula for the smooth Yamabe invariant B. Ammann 1 M. Dahl 2 E. Humbert 3 1 Universität Regensburg Germany 2 Kungliga Tekniska Högskolan, Stockholm Sweden 3 Université Henri Poincaré, Nancy
More informationTHE MAPPING CLASS GROUP ACTS REDUCIBLY ON SU(n)-CHARACTER VARIETIES
THE MAPPING CLASS GROUP ACTS REDUCIBLY ON SU(n)-CHARACTER VARIETIES WILLIAM M. GOLDMAN Abstract. When G is a connected compact Lie group, and π is a closed surface group, then Hom(π, G)/G contains an open
More informationLECTURE 26: THE CHERN-WEIL THEORY
LECTURE 26: THE CHERN-WEIL THEORY 1. Invariant Polynomials We start with some necessary backgrounds on invariant polynomials. Let V be a vector space. Recall that a k-tensor T k V is called symmetric if
More informationMonopoles and lens space surgeries
Annals of Mathematics, 165 (2007), 457 546 Monopoles and lens space surgeries By P. Kronheimer, T. Mrowka, P. Ozsváth, and Z. Szabó* Abstract Monopole Floer homology is used to prove that real projective
More informationTHE GEOMETRIC TRIANGLE FOR 3-DIMENSIONAL SEIBERG WITTEN MONOPOLES
Communications in Contemporary Mathematics Vol. 5, No. 2 (2003) 197 250 c World Scientific Publishing Company THE GEOMETRIC TRIANGLE FOR 3-DIMENSIONAL SEIBERG WITTEN MONOPOLES A. L. CAREY School of Mathematical
More informationA NOTE ON E 8 -INTERSECTION FORMS AND CORRECTION TERMS
A NOTE ON E 8 -INTERSECTION FORMS AND CORRECTION TERMS MOTOO TANGE Abstract. In this paper we construct families of homology spheres which bound 4-manifolds with intersection forms isomorphic to E 8. We
More informationarxiv:math/ v2 [math.gt] 18 Apr 2007
arxiv:math/0703480v2 [math.gt] 18 Apr 2007 CONSTRUCTING INFINITELY MANY SMOOTH STRUCTURES ON SMALL 4-MANIFOLDS ANAR AKHMEDOV, R. İNANÇ BAYKUR, AND B. DOUG PARK Abstract. The purpose of this article is
More informationBordism and the Pontryagin-Thom Theorem
Bordism and the Pontryagin-Thom Theorem Richard Wong Differential Topology Term Paper December 2, 2016 1 Introduction Given the classification of low dimensional manifolds up to equivalence relations such
More informationCohomology jump loci of local systems
Cohomology jump loci of local systems Botong Wang Joint work with Nero Budur University of Notre Dame June 28 2013 Introduction Given a topological space X, we can associate some homotopy invariants to
More informationWild ramification and the characteristic cycle of an l-adic sheaf
Wild ramification and the characteristic cycle of an l-adic sheaf Takeshi Saito March 14 (Chicago), 23 (Toronto), 2007 Abstract The graded quotients of the logarithmic higher ramification groups of a local
More informationInvariants from noncommutative index theory for homotopy equivalences
Invariants from noncommutative index theory for homotopy equivalences Charlotte Wahl ECOAS 2010 Charlotte Wahl (Hannover) Invariants for homotopy equivalences ECOAS 2010 1 / 12 Basics in noncommutative
More informationINERTIA GROUPS AND SMOOTH STRUCTURES OF (n - 1)- CONNECTED 2n-MANIFOLDS. Osaka Journal of Mathematics. 53(2) P.309-P.319
Title Author(s) INERTIA GROUPS AND SMOOTH STRUCTURES OF (n - 1)- CONNECTED 2n-MANIFOLDS Ramesh, Kaslingam Citation Osaka Journal of Mathematics. 53(2) P.309-P.319 Issue Date 2016-04 Text Version publisher
More informationKhovanov Homology And Gauge Theory
hep-th/yymm.nnnn Khovanov Homology And Gauge Theory Edward Witten School of Natural Sciences, Institute for Advanced Study Einstein Drive, Princeton, NJ 08540 USA Abstract In these notes, I will sketch
More informationMathematical Research Letters 13, (2006) A CHARACTERISATION OF THE n 1 3 FORM AND APPLICATIONS TO RATIONAL HOMOLOGY SPHERES
Mathematical Research Letters 13, 10001 10013 (2006) A CHARACTERISATION OF THE n 1 3 FORM AND APPLICATIONS TO RATIONAL HOMOLOGY SPHERES Brendan Owens and Sašo Strle Abstract. We conjecture two generalisations
More informationModuli spaces of graphs and homology operations on loop spaces of manifolds
Moduli spaces of graphs and homology operations on loop spaces of manifolds Ralph L. Cohen Stanford University July 2, 2005 String topology:= intersection theory in loop spaces (and spaces of paths) of
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 informationarxiv:hep-th/ v1 21 Jul 1997
Seiberg-Witten Equations on R 8 arxiv:hep-th/9707178v1 21 Jul 1997 Ayşe Hümeyra Bilge Department of Mathematics Institute for Basic Sciences TUBITAK Marmara Research Center Gebze-Kocaeli Turkey E.mail
More informationLECTURE 5: SOME BASIC CONSTRUCTIONS IN SYMPLECTIC TOPOLOGY
LECTURE 5: SOME BASIC CONSTRUCTIONS IN SYMPLECTIC TOPOLOGY WEIMIN CHEN, UMASS, SPRING 07 1. Blowing up and symplectic cutting In complex geometry the blowing-up operation amounts to replace a point in
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 informationAtiyah-Singer Revisited
Atiyah-Singer Revisited Paul Baum Penn State Texas A&M Universty College Station, Texas, USA April 1, 2014 From E 1, E 2,..., E n obtain : 1) The Dirac operator of R n D = n j=1 E j x j 2) The Bott generator
More informationDIMENSION 4: GETTING SOMETHING FROM NOTHING
DIMENSION 4: GETTING SOMETHING FROM NOTHING RON STERN UNIVERSITY OF CALIFORNIA, IRVINE MAY 6, 21 JOINT WORK WITH RON FINTUSHEL Topological n-manifold: locally homeomorphic to R n TOPOLOGICAL VS. SMOOTH
More informationThe Ordinary RO(C 2 )-graded Cohomology of a Point
The Ordinary RO(C 2 )-graded Cohomology of a Point Tiago uerreiro May 27, 2015 Abstract This paper consists of an extended abstract of the Master Thesis of the author. Here, we outline the most important
More informationPart III Symmetries, Fields and Particles
Part III Symmetries, Fields and Particles Theorems Based on lectures by N. Dorey Notes taken by Dexter Chua Michaelmas 2016 These notes are not endorsed by the lecturers, and I have modified them (often
More informationBetti numbers of abelian covers
Betti numbers of abelian covers Alex Suciu Northeastern University Geometry and Topology Seminar University of Wisconsin May 6, 2011 Alex Suciu (Northeastern University) Betti numbers of abelian covers
More informationMILNOR SEMINAR: DIFFERENTIAL FORMS AND CHERN CLASSES
MILNOR SEMINAR: DIFFERENTIAL FORMS AND CHERN CLASSES NILAY KUMAR In these lectures I want to introduce the Chern-Weil approach to characteristic classes on manifolds, and in particular, the Chern classes.
More informationCHARACTERISTIC CLASSES
1 CHARACTERISTIC CLASSES Andrew Ranicki Index theory seminar 14th February, 2011 2 The Index Theorem identifies Introduction analytic index = topological index for a differential operator on a compact
More 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 informationRATIONAL BLOW DOWNS IN HEEGAARD-FLOER HOMOLOGY
RATIONAL BLOW DOWNS IN HEEGAARD-FLOER HOMOLOGY LAWRENCE P ROBERTS In [2], R Fintushel and R Stern introduced the rational blow down, a process which could be applied to a smooth four manifold containing
More informationDirac Operator. Göttingen Mathematical Institute. Paul Baum Penn State 6 February, 2017
Dirac Operator Göttingen Mathematical Institute Paul Baum Penn State 6 February, 2017 Five lectures: 1. Dirac operator 2. Atiyah-Singer revisited 3. What is K-homology? 4. The Riemann-Roch theorem 5. K-theory
More informationL E C T U R E N O T E S O N H O M O T O P Y T H E O R Y A N D A P P L I C AT I O N S
L A U R E N T I U M A X I M U N I V E R S I T Y O F W I S C O N S I N - M A D I S O N L E C T U R E N O T E S O N H O M O T O P Y T H E O R Y A N D A P P L I C AT I O N S i Contents 1 Basics of Homotopy
More informationApplications of embedded contact homology
Applications of embedded contact homology Michael Hutchings Department of Mathematics University of California, Berkeley conference in honor of Michael Freedman June 8, 2011 Michael Hutchings (UC Berkeley)
More informationDEFECTS IN COHOMOLOGICAL GAUGE THEORY AND DONALDSON- THOMAS INVARIANTS
DEFECTS IN COHOMOLOGICAL GAUGE THEORY AND DONALDSON- THOMAS INVARIANTS SISSA - VBAC 2013 Michele Cirafici CAMGSD & LARSyS, IST, Lisbon CAMGSD @LARSyS based on arxiv: 1302.7297 OUTLINE Introduction Defects
More informationPOINCARÉ INVARIANTS ARE SEIBERG-WITTEN INVARIANTS
POINCARÉ INVARIANS ARE SEIBERG-WIEN INVARIANS HUAI-LIANG CHANG AND YOUNG-HOON KIEM Abstract. We prove a conjecture of Dürr, Kabanov and Okonek which provides an algebro-geometric theory of Seiberg-Witten
More informationHans U. Boden, Christopher M. Herald, and Paul Kirk
Mathematical Research Letters 8, 589 603 (2001) AN INTEGER VALUED SU(3) CASSON INVARIANT Hans U. Boden, Christopher M. Herald, and Paul Kirk Abstract. We define an integer valued invariant of homology
More informationConstructing compact 8-manifolds with holonomy Spin(7)
Constructing compact 8-manifolds with holonomy Spin(7) Dominic Joyce, Oxford University Simons Collaboration meeting, Imperial College, June 2017. Based on Invent. math. 123 (1996), 507 552; J. Diff. Geom.
More information30 Surfaces and nondegenerate symmetric bilinear forms
80 CHAPTER 3. COHOMOLOGY AND DUALITY This calculation is useful! Corollary 29.4. Let p, q > 0. Any map S p+q S p S q induces the zero map in H p+q ( ). Proof. Let f : S p+q S p S q be such a map. It induces
More informationThe Classification of (n 1)-connected 2n-manifolds
The Classification of (n 1)-connected 2n-manifolds Kyler Siegel December 18, 2014 1 Prologue Our goal (following [Wal]): Question 1.1 For 2n 6, what is the diffeomorphic classification of (n 1)-connected
More informationCobordant differentiable manifolds
Variétés différentiables cobordant, Colloque Int. du C. N. R. S., v. LII, Géométrie différentielle, Strasbourg (1953), pp. 143-149. Cobordant differentiable manifolds By R. THOM (Strasbourg) Translated
More information