Zero Mode Counting in F-Theory via CAP
|
|
- Esmond Hamilton
- 5 years ago
- Views:
Transcription
1 Zero Mode Counting in F-Theory via CAP Martin Bies String Pheno 2017 Martin Bies Zero Mode Counting in F-Theory via CAP 1 / 10
2 Overview Task 4 dim. F-theory compactification Count (anti)-chiral massless matter fields in 4d effective theory Martin Bies Zero Mode Counting in F-Theory via CAP 1 / 10
3 Overview Task 4 dim. F-theory compactification Count (anti)-chiral massless matter fields in 4d effective theory Structure Analyse physics (C. Mayrhofer, T. Weigand, M.B ) Martin Bies Zero Mode Counting in F-Theory via CAP 1 / 10
4 Overview Task 4 dim. F-theory compactification Count (anti)-chiral massless matter fields in 4d effective theory Structure Analyse physics (C. Mayrhofer, T. Weigand, M.B ) Compute sheaf cohomologies of non-pullback line bundles Martin Bies Zero Mode Counting in F-Theory via CAP 1 / 10
5 Overview Task 4 dim. F-theory compactification Count (anti)-chiral massless matter fields in 4d effective theory Structure Analyse physics (C. Mayrhofer, T. Weigand, M.B ) Compute sheaf cohomologies of non-pullback line bundles Developed and implemented algorithms with M. Barakat et al. ( project , , , , , ) Martin Bies Zero Mode Counting in F-Theory via CAP 1 / 10
6 Schematic Picture: Physics and Geometry of F-theory base B 3 Martin Bies Zero Mode Counting in F-Theory via CAP 2 / 10
7 Schematic Picture: Physics and Geometry of F-theory fibre π base B 3 Martin Bies Zero Mode Counting in F-Theory via CAP 2 / 10
8 Schematic Picture: Physics and Geometry of F-theory fibre π C R1 C R2 base B 3 Martin Bies Zero Mode Counting in F-Theory via CAP 2 / 10
9 Schematic Picture: Physics and Geometry of F-theory 6 E A B C D fibre π C R1 C R2 base B 3 Martin Bies Zero Mode Counting in F-Theory via CAP 2 / 10
10 Counting zero modes From Physics of F-Theory to Line Bundles a-th state in rep. R matter surface S a R = n a i P 1 i (C R ) i=1 Martin Bies Zero Mode Counting in F-Theory via CAP 3 / 10
11 Counting zero modes From Physics of F-Theory to Line Bundles n a-th state in rep. R matter surface SR a = a i P 1 i (C R ) i=1 G 4 -flux (complex) 2-cycle A in Y 4 Martin Bies Zero Mode Counting in F-Theory via CAP 3 / 10
12 Counting zero modes From Physics of F-Theory to Line Bundles n a-th state in rep. R matter surface SR a = a i P 1 i (C R ) i=1 G 4 -flux (complex) 2-cycle A in Y 4 Consequence SR a and A intersect in number of points in Y 4 Martin Bies Zero Mode Counting in F-Theory via CAP 3 / 10
13 Counting zero modes From Physics of F-Theory to Line Bundles n a-th state in rep. R matter surface SR a = a i P 1 i (C R ) i=1 G 4 -flux (complex) 2-cycle A in Y 4 Consequence SR a and A intersect in number of points in Y 4 π (SR a A) number of points in C R Martin Bies Zero Mode Counting in F-Theory via CAP 3 / 10
14 Counting zero modes From Physics of F-Theory to Line Bundles a-th state in rep. R matter surface S a R = Consequence n a i P 1 i (C R ) i=1 G 4 -flux (complex) 2-cycle A in Y 4 S a R and A intersect in number of points in Y 4 π (S a R A) number of points in C R L (S a R, A) := O C R (π (S a R A)) Pic (C R) Martin Bies Zero Mode Counting in F-Theory via CAP 3 / 10
15 Counting zero modes From Physics of F-Theory to Line Bundles a-th state in rep. R matter surface S a R = Consequence n a i P 1 i (C R ) i=1 G 4 -flux (complex) 2-cycle A in Y 4 S a R and A intersect in number of points in Y 4 π (S a R A) number of points in C R L (S a R, A) := O C R (π (S a R A)) Pic (C R) Zero Modes and Sheaf Cohomology chiral zero modes of S a R H0 (C R, L (S a R, A) O spin,c R ) anti-chiral zero modes of S a R H1 (C R, L (S a R, A) O spin,c R ) Martin Bies Zero Mode Counting in F-Theory via CAP 3 / 10
16 Generalities Of The Implementations In CAP Martin Bies Zero Mode Counting in F-Theory via CAP 4 / 10
17 Generalities Of The Implementations In CAP Why new algorithm? L (S a R, A) = O C R (D). Extend L (S a R, A) by zero outside of C R. Coherent sheaf on X Σ Martin Bies Zero Mode Counting in F-Theory via CAP 4 / 10
18 Generalities Of The Implementations In CAP Why new algorithm? L (S a R, A) = O C R (D). Extend L (S a R, A) by zero outside of C R. Coherent sheaf on X Σ Schematic Picture Martin Bies Zero Mode Counting in F-Theory via CAP 4 / 10
19 Generalities Of The Implementations In CAP Why new algorithm? L (S a R, A) = O C R (D). Extend L (S a R, A) by zero outside of C R. Coherent sheaf on X Σ Schematic Picture idea of mathematician G. Smith et al. (math/ , math/ , DOI: /OWR/2013/25) Martin Bies Zero Mode Counting in F-Theory via CAP 4 / 10
20 Generalities Of The Implementations In CAP Why new algorithm? L (S a R, A) = O C R (D). Extend L (S a R, A) by zero outside of C R. Coherent sheaf on X Σ Schematic Picture idea of mathematician G. Smith et al. (math/ , math/ , DOI: /OWR/2013/25) cohomcalg by R. Blumenhagen et al. ( , , , ) Martin Bies Zero Mode Counting in F-Theory via CAP 4 / 10
21 Generalities Of The Implementations In CAP Why new algorithm? L (S a R, A) = O C R (D). Extend L (S a R, A) by zero outside of C R. Coherent sheaf on X Σ Schematic Picture idea of mathematician G. Smith et al. (math/ , math/ , DOI: /OWR/2013/25) cohomcalg by R. Blumenhagen et al. ( , , , ) Combine to obtain algorithm which applies Martin Bies Zero Mode Counting in F-Theory via CAP 4 / 10
22 Generalities Of The Implementations In CAP Why new algorithm? L (S a R, A) = O C R (D). Extend L (S a R, A) by zero outside of C R. Coherent sheaf on X Σ Schematic Picture idea of mathematician G. Smith et al. (math/ , math/ , DOI: /OWR/2013/25) cohomcalg by R. Blumenhagen et al. ( , , , ) Combine to obtain algorithm which applies on more general toric spaces (than idea of G. Smith) Martin Bies Zero Mode Counting in F-Theory via CAP 4 / 10
23 Generalities Of The Implementations In CAP Why new algorithm? L (S a R, A) = O C R (D). Extend L (S a R, A) by zero outside of C R. Coherent sheaf on X Σ Schematic Picture idea of mathematician G. Smith et al. (math/ , math/ , DOI: /OWR/2013/25) cohomcalg by R. Blumenhagen et al. ( , , , ) Combine to obtain algorithm which applies on more general toric spaces (than idea of G. Smith) to all coherent sheaves (i.e. not only line bundles as cohomcalg) Martin Bies Zero Mode Counting in F-Theory via CAP 4 / 10
24 From Points to Coherent Sheaves How to encode O XΣ ( D)? Martin Bies Zero Mode Counting in F-Theory via CAP 5 / 10
25 From Points to Coherent Sheaves How to encode O XΣ ( D)? X Σ toric variety (without torus factor) with coordinate ring S Martin Bies Zero Mode Counting in F-Theory via CAP 5 / 10
26 From Points to Coherent Sheaves How to encode O XΣ ( D)? X Σ toric variety (without torus factor) with coordinate ring S divisor D = V (P 1,..., P n ) cut out by hom. polynomials Martin Bies Zero Mode Counting in F-Theory via CAP 5 / 10
27 From Points to Coherent Sheaves How to encode O XΣ ( D)? X Σ toric variety (without torus factor) with coordinate ring S divisor D = V (P 1,..., P n ) cut out by hom. polynomials A := ker (P 1,..., P n ) relations among the P i Martin Bies Zero Mode Counting in F-Theory via CAP 5 / 10
28 From Points to Coherent Sheaves How to encode O XΣ ( D)? X Σ toric variety (without torus factor) with coordinate ring S divisor D = V (P 1,..., P n ) cut out by hom. polynomials A := ker (P 1,..., P n ) relations among the P i R 2 Look at exact sequence S (e j ) A R 1 S (d i ) M 0, j=1 which defines M S-fpgrmod i=1 Martin Bies Zero Mode Counting in F-Theory via CAP 5 / 10
29 From Points to Coherent Sheaves How to encode O XΣ ( D)? X Σ toric variety (without torus factor) with coordinate ring S divisor D = V (P 1,..., P n ) cut out by hom. polynomials A := ker (P 1,..., P n ) relations among the P i R 2 Look at exact sequence S (e j ) A R 1 S (d i ) M 0, j=1 which defines M S-fpgrmod i=1 Answer M = O XΣ ( D) via the sheafification functor : S-fpgrmod CohX Σ, N Ñ Martin Bies Zero Mode Counting in F-Theory via CAP 5 / 10
30 From Points to Coherent Sheaves How to encode O XΣ ( D)? X Σ toric variety (without torus factor) with coordinate ring S divisor D = V (P 1,..., P n ) cut out by hom. polynomials A := ker (P 1,..., P n ) relations among the P i R 2 Look at exact sequence S (e j ) A R 1 S (d i ) M 0, j=1 which defines M S-fpgrmod Answer M = O XΣ ( D) via the sheafification functor : S-fpgrmod CohX Σ, N Ñ Use M S-fpgrmod as computer model for O XΣ ( D) i=1 Martin Bies Zero Mode Counting in F-Theory via CAP 5 / 10
31 Sketch of Algorithm in CAP Martin Bies Zero Mode Counting in F-Theory via CAP 6 / 10
32 Sketch of Algorithm in CAP Input and Output (smooth, complete) or (simplicial, projective) toric variety X Σ M S-fpgrmod h (X i Σ, M ) Martin Bies Zero Mode Counting in F-Theory via CAP 6 / 10
33 Sketch of Algorithm in CAP Input and Output (smooth, complete) or (simplicial, projective) toric variety X Σ M S-fpgrmod h (X i Σ, M ) Step-by-step 1 Use cohomcalg to compute (0 k dim Q (X Σ )) { } V k (X Σ ) := L Pic (X Σ ), h k (X Σ, L) = 0 Martin Bies Zero Mode Counting in F-Theory via CAP 6 / 10
34 Sketch of Algorithm in CAP Input and Output (smooth, complete) or (simplicial, projective) toric variety X Σ M S-fpgrmod h (X i Σ, M ) Step-by-step 1 Use cohomcalg to compute (0 k dim Q (X Σ )) { } V k (X Σ ) := L Pic (X Σ ), h k (X Σ, L) = 0 2 Find ideal I S (along idea of G. Smith) s.t. H i ( X Σ, M) = Ext i S (I, M) 0 Martin Bies Zero Mode Counting in F-Theory via CAP 6 / 10
35 Sketch of Algorithm in CAP Input and Output (smooth, complete) or (simplicial, projective) toric variety X Σ M S-fpgrmod h (X i Σ, M ) Step-by-step 1 Use cohomcalg to compute (0 k dim Q (X Σ )) { } V k (X Σ ) := L Pic (X Σ ), h k (X Σ, L) = 0 2 Find ideal I S (along idea of G. Smith) s.t. H i ( X Σ, M) = Ext i S (I, M) 0 3 Compute Q-dimension of Ext i S (I, M) 0 Martin Bies Zero Mode Counting in F-Theory via CAP 6 / 10
36 SU(5) U(1)-Tate model from Input and Output C 5 2 P 2 Q L 5 2 M and M defined by S ( 36) S ( 39) S ( 41) S ( 23) S ( 38) S ( 6) S ( 21) M 0 h (P 1 2 Q, M ) =? Martin Bies Zero Mode Counting in F-Theory via CAP 7 / 10
37 SU(5) U(1)-Tate model from Input and Output C 5 2 P 2 Q L 5 2 M and M defined by S ( 36) S ( 39) S ( 41) S ( 23) S ( 38) S ( 6) S ( 21) M 0 h (P 1 2 Q, M ) =? Apply Algorithm 1 Compute vanishing sets via cohomcalg: V 0 (P 2 Q ) = (, 1] Z, V 1 (P 2 Q ) = Z, V 2 (P 2 Q ) = [ 2, ) Z Martin Bies Zero Mode Counting in F-Theory via CAP 7 / 10
38 SU(5) U(1)-Tate model from Input and Output C 5 2 P 2 Q L 5 2 M and M defined by S ( 36) S ( 39) S ( 41) S ( 23) S ( 38) S ( 6) S ( 21) M 0 h (P 1 2 Q, M ) =? Apply Algorithm 1 V 0 (P 2 Q ) = (, 1] Z, V 1 (P 2 Q ) = Z, V 2 (P 2 Q ) = [ 2, ) Z 2 Use vanishing sets to find ideal I (along idea of G. Smith): I = B (44) Σ x0 44, x 1 44, x 2 44 Martin Bies Zero Mode Counting in F-Theory via CAP 7 / 10
39 SU(5) U(1)-Tate model from Input and Output C 5 2 P 2 Q L 5 2 M and M defined by S ( 36) S ( 39) S ( 41) S ( 23) S ( 38) S ( 6) S ( 21) M 0 h (P 1 2 Q, M ) =? Apply Algorithm 1 V 0 (P 2 Q ) = (, 1] Z, V 1 (P 2 Q ) = Z, V 2 (P 2 Q ) = [ 2, ) Z 2 I = B (44) Σ x0 44, x 1 44, x Compute presentation of Ext 1 S Ext 1 S ( B (44) Σ, M )0 : ( B (44) Σ, M )0 Martin Bies Zero Mode Counting in F-Theory via CAP 7 / 10
40 SU(5) U(1)-Tate model from Input and Output C 5 2 P 2 Q L 5 2 M and M defined by S ( 36) S ( 39) S ( 41) S ( 23) S ( 38) S ( 6) S ( 21) M 0 h (P 1 2 Q, M ) =? Apply Algorithm 1 V 0 (P 2 Q ) = (, 1] Z, V 1 (P 2 Q ) = Z, V 2 (P 2 Q ) = [ 2, ) Z 2 I = B (44) Σ x0 44, x 1 44, x Compute presentation of Ext 1 S Q Q Ext 1 S ( B (44) Σ, M )0 : ( B (44) Σ, M )0 0 Martin Bies Zero Mode Counting in F-Theory via CAP 7 / 10
41 SU(5) U(1)-Tate model from Input and Output C 5 2 P 2 Q L 5 2 M and M defined by S ( 36) S ( 39) S ( 41) S ( 23) S ( 38) S ( 6) S ( 21) M 0 h (P 1 2 Q, M ) =? Apply Algorithm 1 V 0 (P 2 Q ) = (, 1] Z, V 1 (P 2 Q ) = Z, V 2 (P 2 Q ) = [ 2, ) Z 2 I = B (44) Σ x0 44, x 1 44, x 2 44 ( 3 Q Q Ext 1 S B (44) Σ )0, M 0 ( ] 28 = dim Q [Ext 1 S B (44) Σ )0 (, M = h 1 P 2 Q, M ) Martin Bies Zero Mode Counting in F-Theory via CAP 7 / 10
42 Scan Over Moduli Space Martin Bies Zero Mode Counting in F-Theory via CAP 8 / 10
43 Scan Over Moduli Space Note Values of complex structure moduli enter definition of M Martin Bies Zero Mode Counting in F-Theory via CAP 8 / 10
44 Scan Over Moduli Space Note Values of complex structure moduli enter definition of M Smoothness of matter curves NOT required Martin Bies Zero Mode Counting in F-Theory via CAP 8 / 10
45 Scan Over Moduli Space Note Values of complex structure moduli enter definition of M Smoothness of matter curves NOT required Run computation for different choices of moduli Martin Bies Zero Mode Counting in F-Theory via CAP 8 / 10
46 Scan Over Moduli Space Note Values of complex structure moduli enter definition of M Smoothness of matter curves NOT required Run computation for different choices of moduli SU(5)xU(1)-Tate Model from (R = 5 2 ) ã 1,0 ã 2,1 ã 3,2 ã 4,3 h i (C R, L R ) M 1 (x 1 x 2 ) 4 x1 7 x2 10 x3 13 (22, 43) M 2 (x 1 x 2 ) x3 3 x1 7 x2 10 x3 13 (21, 42) M 3 x3 4 x1 7 x2 7 (x 1 + x 2 ) 3 x x 2 ) (11, 32) M 4 (x 1 x 2 ) 3 x 3 x1 7 x2 10 x3 13 (9, 30) M 5 x3 4 x1 7 x2 8 (x 1 + x 2 ) 2 x x 2 ) 2 (7, 28) M 6 x3 4 x1 7 x2 10 x3 8 (x 1 x 2 ) 5 (6, 27) M 7 x3 4 x1 7 x2 9 (x 1 + x 2 ) x x 2 ) 3 (5, 26) Martin Bies Zero Mode Counting in F-Theory via CAP 8 / 10
47 Summary and Conclusion Martin Bies Zero Mode Counting in F-Theory via CAP 9 / 10
48 Summary and Conclusion Have combined cohomcalg by R. Blumenhagen et al. ( , , , ) and idea of G. Smith et al. (math/ , math/ , DOI: /OWR/2013/25) Martin Bies Zero Mode Counting in F-Theory via CAP 9 / 10
49 Summary and Conclusion Have combined cohomcalg by R. Blumenhagen et al. ( , , , ) and idea of G. Smith et al. (math/ , math/ , DOI: /OWR/2013/25) Toolkit to compute sheaf cohomologies of all coherent sheaves on toric varieties (visit Martin Bies Zero Mode Counting in F-Theory via CAP 9 / 10
50 Summary and Conclusion Have combined cohomcalg by R. Blumenhagen et al. ( , , , ) and idea of G. Smith et al. (math/ , math/ , DOI: /OWR/2013/25) Toolkit to compute sheaf cohomologies of all coherent sheaves on toric varieties (visit Features: Count zero modes in 4d F-theory compactifications Matter curves need not be smooth, nor complete intersections! Of particular interest: hypercharge flux in F-theory GUTs (applications currently on their way) Martin Bies Zero Mode Counting in F-Theory via CAP 9 / 10
51 Summary and Conclusion Have combined cohomcalg by R. Blumenhagen et al. ( , , , ) and idea of G. Smith et al. (math/ , math/ , DOI: /OWR/2013/25) Toolkit to compute sheaf cohomologies of all coherent sheaves on toric varieties (visit Features: Count zero modes in 4d F-theory compactifications Matter curves need not be smooth, nor complete intersections! Of particular interest: hypercharge flux in F-theory GUTs (applications currently on their way) Further possible applications Quite generally zero mode counting in topological string, IIB or heterotic compactifications Martin Bies Zero Mode Counting in F-Theory via CAP 9 / 10
52 Summary and Conclusion Have combined cohomcalg by R. Blumenhagen et al. ( , , , ) and idea of G. Smith et al. (math/ , math/ , DOI: /OWR/2013/25) Toolkit to compute sheaf cohomologies of all coherent sheaves on toric varieties (visit Features: Count zero modes in 4d F-theory compactifications Matter curves need not be smooth, nor complete intersections! Of particular interest: hypercharge flux in F-theory GUTs (applications currently on their way) Further possible applications Quite generally zero mode counting in topological string, IIB or heterotic compactifications T-branes as coherent sheaves (Collinucci et al )... Martin Bies Zero Mode Counting in F-Theory via CAP 9 / 10
53 Thank you for your attention! Martin Bies Zero Mode Counting in F-Theory via CAP 10 / 10
54 From Divisors to Modules Input and Output C = V (g 1,..., g k ) X Σ D = V (f 1,..., f n ) Div(C) M s.t. supp( M) = C and M C = OC ( D) Martin Bies Zero Mode Counting in F-Theory via CAP 10 / 10
55 From Divisors to Modules Input and Output C = V (g 1,..., g k ) X Σ D = V (f 1,..., f n ) Div(C) M s.t. supp( M) = C and M C = OC ( D) Step 1: S(C) := S/ g 1,..., g k, π : S S(C) 0 S (C) (j) 0 j J ker (m) 0 S (C) (i) m = (π (f 1 ),..., π (f n )) S (C) i I A C ι S (C) Martin Bies Zero Mode Counting in F-Theory via CAP 10 / 10
56 From Divisors to Modules II Step 2: Extend by zero to coherent sheaf on X Σ j J S (j) ker (m) i I S (i) k K S (k) g 1. g k S (C) A B M = A B satisfies Supp( M) = C and M C = OC ( D) Martin Bies Zero Mode Counting in F-Theory via CAP 10 / 10
57 From Divisors to Modules III Input and Output C = V (g 1,..., g k ) X Σ D = V (f 1,..., f n ) Div(C) M s.t. supp( M) = C and M C = OC (+D) Strategy 1 Compute A C 2 Dualise via A C := Hom S(C) (S (C), A C ) 3 Extend by zero by considering A B M := A B satisfies Supp( M) = C and M C = OC (+D) Martin Bies Zero Mode Counting in F-Theory via CAP 10 / 10
58 An idea of the sheafification functor Martin Bies Zero Mode Counting in F-Theory via CAP 11 / 10
59 An idea of the sheafification functor Affine open cover Toric variety X Σ with Cox ring S { } Covered by affine opens U σ = Specm(S (x ˆσ )) σ Σ Martin Bies Zero Mode Counting in F-Theory via CAP 11 / 10
60 An idea of the sheafification functor Affine open cover Toric variety X Σ with Cox ring S { } Covered by affine opens U σ = Specm(S (x ˆσ )) Localising ( restricting) a module M S-fpgrmod M (x ˆσ ) is f.p. S (x ˆσ )-module σ Σ Martin Bies Zero Mode Counting in F-Theory via CAP 11 / 10
61 An idea of the sheafification functor Affine open cover Toric variety X Σ with Cox ring S { } Covered by affine opens U σ = Specm(S (x ˆσ )) Localising ( restricting) a module M S-fpgrmod M (x ˆσ ) is f.p. S (x ˆσ )-module Consequence M (x ˆσ ) coherent sheaf on U σ = Specm(S (x ˆσ )) σ Σ local sections: M (x ˆσ ) (D (f )) = M (x ˆσ ) S(x ˆσ ) (S (x ˆσ ) ) f Martin Bies Zero Mode Counting in F-Theory via CAP 11 / 10
62 Module M 5 from : Quality Check I ) ] =0 20 ( [ B (e) Σ, M 5 Ext 0 S dimq e Martin Bies Zero Mode Counting in F-Theory via CAP 10 / 10
63 Module M 5 from : Quality Check I ) ] =0 20 ( [ B (e) Σ, M 5 Ext 0 S dimq e Martin Bies Zero Mode Counting in F-Theory via CAP 10 / 10
64 Module M 5 from : Quality Check I ) ] =0 20 ( [ B (e) Σ, M 5 Ext 0 S dimq e Martin Bies Zero Mode Counting in F-Theory via CAP 10 / 10
65 Module M 5 from : Quality Check II ] 600 ) [ ( B (e) Σ, M 5 Ext 1 S = dimq e Martin Bies Zero Mode Counting in F-Theory via CAP 10 / 10
66 Module M 5 from : Quality Check II ] 600 ) [ ( B (e) Σ, M 5 Ext 1 S = dimq e Martin Bies Zero Mode Counting in F-Theory via CAP 10 / 10
67 How to determine the ideal I in step 2 of algorithm? Input M S-fpgrmod V k (X Σ ) = { L Pic (X Σ ), h k (X Σ, L) = 0 } Martin Bies Zero Mode Counting in F-Theory via CAP 10 / 10
68 How to determine the ideal I in step 2 of algorithm? Input M S-fpgrmod V k (X Σ ) = { L Pic (X Σ ), h k (X Σ, L) = 0 } Preparation p Cl (X Σ ) ample, m (p) = {m 1,..., m k } all monomials of degree p and I (p, e) = m e 1,..., me k Pick e = 0 and increase it until subsequent conditions are met Martin Bies Zero Mode Counting in F-Theory via CAP 10 / 10
69 How to determine the ideal I in step 2 of algorithm? Input M S-fpgrmod V k (X Σ ) = { L Pic (X Σ ), h k (X Σ, L) = 0 } How to find ideal I? ( ) Look at spectral sequence E p,q 2 Ext p+q O XΣ I (p, e), M Martin Bies Zero Mode Counting in F-Theory via CAP 10 / 10
70 How to determine the ideal I in step 2 of algorithm? Input M S-fpgrmod V k (X Σ ) = { L Pic (X Σ ), h k (X Σ, L) = 0 } How to find ideal I? ( ) Look at spectral sequence E p,q 2 Ext p+q O XΣ I (p, e), M Some objects E p,q 2 vanish as seen by V k (X Σ ) Martin Bies Zero Mode Counting in F-Theory via CAP 10 / 10
71 How to determine the ideal I in step 2 of algorithm? Input M S-fpgrmod V k (X Σ ) = { L Pic (X Σ ), h k (X Σ, L) = 0 } How to find ideal I? ( ) Look at spectral sequence E p,q 2 Ext p+q O XΣ I (p, e), M Some objects E p,q 2 vanish as seen by V k (X Σ ) Does E p,q 2 degenerate (on E 2 -sheet)? Is its limit (co)homology H m ( C 0) of complex of global sections of vector bundles? Martin Bies Zero Mode Counting in F-Theory via CAP 10 / 10
72 How to determine the ideal I in step 2 of algorithm? Input M S-fpgrmod V k (X Σ ) = { L Pic (X Σ ), h k (X Σ, L) = 0 } How to find ideal I? ( ) Look at spectral sequence E p,q 2 Ext p+q O XΣ I (p, e), M Some objects E p,q 2 vanish as seen by V k (X Σ ) Does E p,q 2 degenerate (on E 2 -sheet)? Is its limit (co)homology H m ( C 0) of complex of global sections of vector bundles? If no increase e until this is the case! Martin Bies Zero Mode Counting in F-Theory via CAP 10 / 10
73 How to determine the ideal I in step 2 of algorithm? Input M S-fpgrmod V k (X Σ ) = { L Pic (X Σ ), h k (X Σ, L) = 0 } How to find ideal I? ( ) Look at spectral sequence E p,q 2 Ext p+q O XΣ I (p, e), M Some objects E p,q 2 vanish as seen by V k (X Σ ) Does E p,q 2 degenerate (on E 2 -sheet)? Is its limit (co)homology H m ( C 0) of complex of global sections of vector bundles? If no increase e until this is the case! Long exact sequence: sheaf cohomology local cohomology Martin Bies Zero Mode Counting in F-Theory via CAP 10 / 10
74 How to determine the ideal I in step 2 of algorithm? Input M S-fpgrmod V k (X Σ ) = { L Pic (X Σ ), h k (X Σ, L) = 0 } How to find ideal I? ( ) Look at spectral sequence E p,q 2 Ext p+q O XΣ I (p, e), M Some objects E p,q 2 vanish as seen by V k (X Σ ) Does E p,q 2 degenerate (on E 2 -sheet)? Is its limit (co)homology H m ( C 0) of complex of global sections of vector bundles? If no increase e until this is the case! Long exact sequence: sheaf cohomology local cohomology Increase e further until H m ( C 0) = Ext m S (I (p, e), M) 0 Martin Bies Zero Mode Counting in F-Theory via CAP 10 / 10
Combinatorial Commutative Algebra and D-Branes
Combinatorial Commutative Algebra and D-Branes Chirag Lakhani May 13, 2009 Abstract This is a survey paper written for Professor Ezra Miller s Combinatorial Commutative Algebra course in the Spring of
More informationNote that the first map is in fact the zero map, as can be checked locally. It follows that we get an isomorphism
11. The Serre construction Suppose we are given a globally generated rank two vector bundle E on P n. Then the general global section σ of E vanishes in codimension two on a smooth subvariety Y. If E is
More informationAn exploration of threefold bases in F-theory
1510.04978 & upcoming work with W. Taylor CTP, MIT String Pheno 2017; Jul. 6th, 2017 F-theory landscape program Classify distinct F-theory compactifications to 4D F-theory compactification on an elliptic
More informationThe geometry of Landau-Ginzburg models
Motivation Toric degeneration Hodge theory CY3s The Geometry of Landau-Ginzburg Models January 19, 2016 Motivation Toric degeneration Hodge theory CY3s Plan of talk 1. Landau-Ginzburg models and mirror
More informationF-theory and Particle Physics
F-theory and Particle Physics Eran Palti (Ecole Polytechnique, Paris) Heidelberg, April 2011 Unification of fields in the UV has been a recurring theme in particle physics Forces Electric + Magnetic +
More informationDERIVED CATEGORIES: LECTURE 4. References
DERIVED CATEGORIES: LECTURE 4 EVGENY SHINDER References [Muk] Shigeru Mukai, Fourier functor and its application to the moduli of bundles on an abelian variety, Algebraic geometry, Sendai, 1985, 515 550,
More informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More informationOn Flux Quantization in F-Theory
On Flux Quantization in F-Theory Raffaele Savelli MPI - Munich Bad Honnef, March 2011 Based on work with A. Collinucci, arxiv: 1011.6388 Motivations Motivations The recent attempts to find UV-completions
More informationWhat is noncommutative algebraic geometry?
What is noncommutative algebraic geometry? Robert Won University of California, San Diego Graduate Algebraic Geometry Seminar, August 2015 August 14, 2015 1 / 20 Overview In the great tradition of algebra,
More informationSome Issues in F-Theory Geometry
Outline Some Issues in F-Theory Geometry Arthur Hebecker (Heidelberg) based on work with A. Braun, S. Gerigk, H. Triendl 0912.1596 A. Braun, R. Ebert, R. Valandro 0907.2691 as well as two earlier papers
More informationNoncommutative deformations and perverse schobers
Noncommutative deformations and perverse schobers Work in progress with Ludmil Katzarkov Andrew Harder University of Miami January 26, 2017 Andrew Harder (University of Miami) NCD and PSC January 26, 2017
More informationOral exam practice problems: Algebraic Geometry
Oral exam practice problems: Algebraic Geometry Alberto García Raboso TP1. Let Q 1 and Q 2 be the quadric hypersurfaces in P n given by the equations f 1 x 2 0 + + x 2 n = 0 f 2 a 0 x 2 0 + + a n x 2 n
More informationALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES
ALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES HONGHAO GAO FEBRUARY 7, 2014 Quasi-coherent and coherent sheaves Let X Spec k be a scheme. A presheaf over X is a contravariant functor from the category of open
More informationMIXED HODGE MODULES PAVEL SAFRONOV
MIED HODGE MODULES PAVEL SAFRONOV 1. Mixed Hodge theory 1.1. Pure Hodge structures. Let be a smooth projective complex variety and Ω the complex of sheaves of holomorphic differential forms with the de
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 37
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 37 RAVI VAKIL CONTENTS 1. Application of cohomology: Hilbert polynomials and functions, Riemann- Roch, degrees, and arithmetic genus 1 1. APPLICATION OF COHOMOLOGY:
More informationCoherent sheaves on elliptic curves.
Coherent sheaves on elliptic curves. Aleksei Pakharev April 5, 2017 Abstract We describe the abelian category of coherent sheaves on an elliptic curve, and construct an action of a central extension of
More informationComputability of non-perturbative effects in the string theory landscape
Computability of non-perturbative effects in the string theory landscape IIB/F-theory perspective Iñaki García Etxebarria Nov 5, 2010 Based on [1009.5386] with M. Cvetič and J. Halverson. Phenomenology
More informationDUALITY SPECTRAL SEQUENCES FOR WEIERSTRASS FIBRATIONS AND APPLICATIONS. 1. Introduction
DUALITY SPECTRAL SEQUENCES FOR WEIERSTRASS FIBRATIONS AND APPLICATIONS JASON LO AND ZIYU ZHANG Abstract. We study duality spectral sequences for Weierstraß fibrations. Using these spectral sequences, we
More informationHomological mirror symmetry via families of Lagrangians
Homological mirror symmetry via families of Lagrangians String-Math 2018 Mohammed Abouzaid Columbia University June 17, 2018 Mirror symmetry Three facets of mirror symmetry: 1 Enumerative: GW invariants
More informationMath 797W Homework 4
Math 797W Homework 4 Paul Hacking December 5, 2016 We work over an algebraically closed field k. (1) Let F be a sheaf of abelian groups on a topological space X, and p X a point. Recall the definition
More informationGeometry 9: Serre-Swan theorem
Geometry 9: Serre-Swan theorem Rules: You may choose to solve only hard exercises (marked with!, * and **) or ordinary ones (marked with! or unmarked), or both, if you want to have extra problems. To have
More informationThe Hodge Numbers of Divisors of Calabi-Yau Threefold Hypersurfaces
The Hodge Numbers of Divisors of Calabi-Yau Threefold Hypersurfaces arxiv:72.4946v [hep-th] 3 Dec 27 Andreas P. Braun, a Cody Long, b Liam McAllister, c Michael Stillman, d and Benjamin Sung b a Mathematical
More informationString-Math 18, Sendai, June 18-22, Global Constraints on Matter Representations in F-theory. Mirjam Cvetič
String-Math 18, Sendai, June 18-22, 2018 Global Constraints on Matter Representations in F-theory Mirjam Cvetič Outline: I. F-theory Compactification: brief overview of non-abelian gauge symmetries, matter,
More informationFourier Mukai transforms II Orlov s criterion
Fourier Mukai transforms II Orlov s criterion Gregor Bruns 07.01.2015 1 Orlov s criterion In this note we re going to rely heavily on the projection formula, discussed earlier in Rostislav s talk) and
More informationSERRE FINITENESS AND SERRE VANISHING FOR NON-COMMUTATIVE P 1 -BUNDLES ADAM NYMAN
SERRE FINITENESS AND SERRE VANISHING FOR NON-COMMUTATIVE P 1 -BUNDLES ADAM NYMAN Abstract. Suppose X is a smooth projective scheme of finite type over a field K, E is a locally free O X -bimodule of rank
More informationThe Toric SO(10) F-theory Landscape
The Toric SO(10) F-theory Landscape Paul-Konstantin Oehlmann DESY/Hamburg University In preperation arxiv:170x.xxxx in collaboration with: W. Buchmueller, M. Dierigl, F. Ruehle Virginia Tech,Blacksburg
More informationZ-graded noncommutative projective geometry Algebra Seminar
Z-graded noncommutative projective geometry Algebra Seminar Robert Won University of California, San Diego November 9, 2015 1 / 43 Overview 1 Preliminaries Pre-talk catchup Noncommutative things 2 Noncommutative
More informationIdeals of three dimensional Artin-Schelter regular algebras. Koen De Naeghel Thesis Supervisor: Michel Van den Bergh
Ideals of three dimensional Artin-Schelter regular algebras Koen De Naeghel Thesis Supervisor: Michel Van den Bergh February 17, 2006 Polynomial ring Put k = C. Commutative polynomial ring S = k[x, y,
More informationThe Canonical Sheaf. Stefano Filipazzi. September 14, 2015
The Canonical Sheaf Stefano Filipazzi September 14, 015 These notes are supposed to be a handout for the student seminar in algebraic geometry at the University of Utah. In this seminar, we will go over
More informationCalabi-Yau Fourfolds with non-trivial Three-Form Cohomology
Calabi-Yau Fourfolds with non-trivial Three-Form Cohomology Sebastian Greiner arxiv: 1512.04859, 1702.03217 (T. Grimm, SG) Max-Planck-Institut für Physik and ITP Utrecht String Pheno 2017 Sebastian Greiner
More informationThe Riemann-Roch Theorem
The Riemann-Roch Theorem TIFR Mumbai, India Paul Baum Penn State 7 August, 2015 Five lectures: 1. Dirac operator 2. Atiyah-Singer revisited 3. What is K-homology? 4. Beyond ellipticity 5. The Riemann-Roch
More informationAn Algorithmic Approach to Heterotic Compactification
An Algorithmic Approach to Heterotic Compactification Lara B. Anderson Department of Physics, University of Pennsylvania, and Institute for Advanced Study, Princeton Work done in collaboration with: LBA,
More informationAn overview of D-modules: holonomic D-modules, b-functions, and V -filtrations
An overview of D-modules: holonomic D-modules, b-functions, and V -filtrations Mircea Mustaţă University of Michigan Mainz July 9, 2018 Mircea Mustaţă () An overview of D-modules Mainz July 9, 2018 1 The
More informationNORMALIZATION OF THE KRICHEVER DATA. Motohico Mulase
NORMALIZATION OF THE KRICHEVER DATA Motohico Mulase Institute of Theoretical Dynamics University of California Davis, CA 95616, U. S. A. and Max-Planck-Institut für Mathematik Gottfried-Claren-Strasse
More informationPredictions from F-theory GUTs. (High vs. low-scale SUSY; proton decay)
Predictions from F-theory GUTs Arthur Hebecker (Heidelberg) (including some original work with James Unwin (Notre Dame)) Outline: Motivation (Why F-theory GUTs?) Proton decay Flavor; neutrino masses Gauge
More informationAn introduction to mirror symmetry. Eric Sharpe Virginia Tech
An introduction to mirror symmetry Eric Sharpe Virginia Tech This will be a talk about string theory, so let me discuss the motivation. Twentieth-century physics saw two foundational advances: General
More informationChern classes à la Grothendieck
Chern classes à la Grothendieck Theo Raedschelders October 16, 2014 Abstract In this note we introduce Chern classes based on Grothendieck s 1958 paper [4]. His approach is completely formal and he deduces
More informationZ-graded noncommutative algebraic geometry University of Washington Algebra/Algebraic Geometry Seminar
Z-graded noncommutative algebraic geometry University of Washington Algebra/Algebraic Geometry Seminar Robert Won Wake Forest University Joint with Jason Gaddis (Miami University) and Cal Spicer (Imperial
More informationPreliminary Exam Topics Sarah Mayes
Preliminary Exam Topics Sarah Mayes 1. Sheaves Definition of a sheaf Definition of stalks of a sheaf Definition and universal property of sheaf associated to a presheaf [Hartshorne, II.1.2] Definition
More informationInstantons in string theory via F-theory
Instantons in string theory via F-theory Andrés Collinucci ASC, LMU, Munich Padova, May 12, 2010 arxiv:1002.1894 in collaboration with R. Blumenhagen and B. Jurke Outline 1. Intro: From string theory to
More informationHomological mirror symmetry
Homological mirror symmetry HMS (Kontsevich 1994, Hori-Vafa 2000, Kapustin-Li 2002, Katzarkov 2002,... ) relates symplectic and algebraic geometry via their categorical structures. A symplectic manifold
More informationIntroduction and preliminaries Wouter Zomervrucht, Februari 26, 2014
Introduction and preliminaries Wouter Zomervrucht, Februari 26, 204. Introduction Theorem. Serre duality). Let k be a field, X a smooth projective scheme over k of relative dimension n, and F a locally
More informationNew Aspects of Heterotic Geometry and Phenomenology
New Aspects of Heterotic Geometry and Phenomenology Lara B. Anderson Harvard University Work done in collaboration with: J. Gray, A. Lukas, and E. Palti: arxiv: 1106.4804, 1202.1757 J. Gray, A. Lukas and
More informationShifted Symplectic Derived Algebraic Geometry and generalizations of Donaldson Thomas Theory
Shifted Symplectic Derived Algebraic Geometry and generalizations of Donaldson Thomas Theory Lecture 2 of 3:. D-critical loci and perverse sheaves Dominic Joyce, Oxford University KIAS, Seoul, July 2018
More informationProblems on Minkowski sums of convex lattice polytopes
arxiv:08121418v1 [mathag] 8 Dec 2008 Problems on Minkowski sums of convex lattice polytopes Tadao Oda odatadao@mathtohokuacjp Abstract submitted at the Oberwolfach Conference Combinatorial Convexity and
More informationThe graded module category of a generalized Weyl algebra
The graded module category of a generalized Weyl algebra Final Defense Robert Won Advised by: Daniel Rogalski May 2, 2016 1 / 39 Overview 1 Graded rings and things 2 Noncommutative is not commutative 3
More informationE 6 Yukawa couplings in F-theory as D-brane instanton effects
E 6 Yukawa couplings in F-theory as D-brane instanton effects Iñaki García Etxebarria based on [1612.06874] with Andrés Collinucci Motivation F-theory is a beautiful and powerful framework for string model
More informationON THE INTEGRAL HODGE CONJECTURE FOR REAL THREEFOLDS. 1. Motivation
ON THE INTEGRAL HODGE CONJECTURE FOR REAL THREEFOLDS OLIVIER WITTENBERG This is joint work with Olivier Benoist. 1.1. Work of Kollár. 1. Motivation Theorem 1.1 (Kollár). If X is a smooth projective (geometrically)
More informationDivisor class groups of affine complete intersections
Divisor class groups of affine complete intersections Lambrecht, 2015 Introduction Let X be a normal complex algebraic variety. Then we can look at the group of divisor classes, more precisely Weil divisor
More informationThe Riemann-Roch Theorem
The Riemann-Roch Theorem Paul Baum Penn State Texas A&M University College Station, Texas, USA April 4, 2014 Minicourse of five lectures: 1. Dirac operator 2. Atiyah-Singer revisited 3. What is K-homology?
More informationI. Why Quantum K-theory?
Quantum groups and Quantum K-theory Andrei Okounkov in collaboration with M. Aganagic, D. Maulik, N. Nekrasov, A. Smirnov,... I. Why Quantum K-theory? mathematical physics mathematics algebraic geometry
More information6. Lecture cdh and Nisnevich topologies. These are Grothendieck topologies which play an important role in Suslin-Voevodsky s approach to not
6. Lecture 6 6.1. cdh and Nisnevich topologies. These are Grothendieck topologies which play an important role in Suslin-Voevodsky s approach to not only motivic cohomology, but also to Morel-Voevodsky
More informationThe Picard Scheme and the Dual Abelian Variety
The Picard Scheme and the Dual Abelian Variety Gabriel Dorfsman-Hopkins May 3, 2015 Contents 1 Introduction 2 1.1 Representable Functors and their Applications to Moduli Problems............... 2 1.2 Conditions
More informationF-theory with Quivers
University of Trieste String Phenomenology 2017 (Virginia Tech) Based on work in progress with A. Collinucci, M. Fazzi and D. Morrison Introduction In the M/F-theory geometric engineering, Abelian gauge
More informationarxiv:math/ v2 [math.ag] 17 Oct 2001
arxiv:math/0001045v2 [math.ag] 17 Oct 2001 Derived categories for the working mathematician R.P. Thomas Abstract. It is becoming increasingly difficult for geometers and even physicists to avoid papers
More informationStable bundles with small c 2 over 2-dimensional complex tori
Stable bundles with small c 2 over 2-dimensional complex tori Matei Toma Universität Osnabrück, Fachbereich Mathematik/Informatik, 49069 Osnabrück, Germany and Institute of Mathematics of the Romanian
More informationPorteous s Formula for Maps between Coherent Sheaves
Michigan Math. J. 52 (2004) Porteous s Formula for Maps between Coherent Sheaves Steven P. Diaz 1. Introduction Recall what the Thom Porteous formula for vector bundles tells us (see [2, Sec. 14.4] for
More informationOverview of classical mirror symmetry
Overview of classical mirror symmetry David Cox (notes by Paul Hacking) 9/8/09 () Physics (2) Quintic 3-fold (3) Math String theory is a N = 2 superconformal field theory (SCFT) which models elementary
More informationCohomology on Toric Varieties and Local Cohomology with Monomial Supports
J. Symbolic Computation (2000) 29, 583 600 doi:10.1006/jsco.1999.0326 Available online at http://www.idealibrary.com on Cohomology on Toric Varieties and Local Cohomology with Monomial Supports DAVID EISENBUD,
More informationCohomology groups of toric varieties
Cohomology groups of toric varieties Masanori Ishida Mathematical Institute, Tohoku University 1 Fans and Complexes Although we treat real fans later, we begin with fans consisting of rational cones which
More informationNOTES ON FLAT MORPHISMS AND THE FPQC TOPOLOGY
NOTES ON FLAT MORPHISMS AND THE FPQC TOPOLOGY RUNE HAUGSENG The aim of these notes is to define flat and faithfully flat morphisms and review some of their important properties, and to define the fpqc
More informationGeneralized Tian-Todorov theorems
Generalized Tian-Todorov theorems M.Kontsevich 1 The classical Tian-Todorov theorem Recall the classical Tian-Todorov theorem (see [4],[5]) about the smoothness of the moduli spaces of Calabi-Yau manifolds:
More informationAn introduction to heterotic mirror symmetry. Eric Sharpe Virginia Tech
An introduction to heterotic mirror symmetry Eric Sharpe Virginia Tech I ll begin today by reminding us all of ordinary mirror symmetry. Most basic incarnation: String theory on a Calabi-Yau X = String
More informationLocally G-ringed spaces and rigid spaces
18.727, Topics in Algebraic Geometry (rigid analytic geometry) Kiran S. Kedlaya, fall 2004 Rigid analytic spaces (at last!) We are now ready to talk about rigid analytic spaces in earnest. I ll give the
More informationAbelian Varieties and the Fourier Mukai transformations (Foschungsseminar 2005)
Abelian Varieties and the Fourier Mukai transformations (Foschungsseminar 2005) U. Bunke April 27, 2005 Contents 1 Abelian varieties 2 1.1 Basic definitions................................. 2 1.2 Examples
More informationTopology of Toric Varieties, Part II
Topology of Toric Varieties, Part II Daniel Chupin April 2, 2018 Abstract Notes for a talk leading up to a discussion of the Hirzebruch-Riemann-Roch (HRR) theorem for toric varieties, and some consequences
More informationAn Atlas For Bun r (X)
An Atlas For Bun r (X) As told by Dennis Gaitsgory to Nir Avni October 28, 2009 1 Bun r (X) Is Not Of Finite Type The goal of this lecture is to find a smooth atlas locally of finite type for the stack
More informationAlgebraic v.s. Analytic Point of View
Algebraic v.s. Analytic Point of View Ziwen Zhu September 19, 2015 In this talk, we will compare 3 different yet similar objects of interest in algebraic and complex geometry, namely algebraic variety,
More informationGK-SEMINAR SS2015: SHEAF COHOMOLOGY
GK-SEMINAR SS2015: SHEAF COHOMOLOGY FLORIAN BECK, JENS EBERHARDT, NATALIE PETERNELL Contents 1. Introduction 1 2. Talks 1 2.1. Introduction: Jordan curve theorem 1 2.2. Derived categories 2 2.3. Derived
More informationStable maps and Quot schemes
Stable maps and Quot schemes Mihnea Popa and Mike Roth Contents 1. Introduction........................................ 1 2. Basic Setup........................................ 4 3. Dimension Estimates
More informationAn Introduction to Spectral Sequences
An Introduction to Spectral Sequences Matt Booth December 4, 2016 This is the second half of a joint talk with Tim Weelinck. Tim introduced the concept of spectral sequences, and did some informal computations,
More informationTHE MONODROMY-WEIGHT CONJECTURE
THE MONODROMY-WEIGHT CONJECTURE DONU ARAPURA Deligne [D1] formulated his conjecture in 1970, simultaneously in the l-adic and Hodge theoretic settings. The Hodge theoretic statement, amounted to the existence
More information3. Lecture 3. Y Z[1/p]Hom (Sch/k) (Y, X).
3. Lecture 3 3.1. Freely generate qfh-sheaves. We recall that if F is a homotopy invariant presheaf with transfers in the sense of the last lecture, then we have a well defined pairing F(X) H 0 (X/S) F(S)
More informationString Phenomenology ???
String Phenomenology Andre Lukas Oxford, Theoretical Physics d=11 SUGRA IIB M IIA??? I E x E 8 8 SO(32) Outline A (very) basic introduction to string theory String theory and the real world? Recent work
More informationExtensions of Stanley-Reisner theory: Cell complexes and be
: Cell complexes and beyond February 1, 2012 Polyhedral cell complexes Γ a bounded polyhedral complex (or more generally: a finite regular cell complex with the intersection property). Polyhedral cell
More informationDERIVED CATEGORIES OF COHERENT SHEAVES
DERIVED CATEGORIES OF COHERENT SHEAVES OLIVER E. ANDERSON Abstract. We give an overview of derived categories of coherent sheaves. [Huy06]. Our main reference is 1. For the participants without bacground
More informationDERIVED CATEGORIES OF STACKS. Contents 1. Introduction 1 2. Conventions, notation, and abuse of language The lisse-étale and the flat-fppf sites
DERIVED CATEGORIES OF STACKS Contents 1. Introduction 1 2. Conventions, notation, and abuse of language 1 3. The lisse-étale and the flat-fppf sites 1 4. Derived categories of quasi-coherent modules 5
More informationConstruction of M B, M Dol, M DR
Construction of M B, M Dol, M DR Hendrik Orem Talbot Workshop, Spring 2011 Contents 1 Some Moduli Space Theory 1 1.1 Moduli of Sheaves: Semistability and Boundedness.............. 1 1.2 Geometric Invariant
More informationNested Donaldson-Thomas invariants and the Elliptic genera in String theor
Nested Donaldson-Thomas invariants and the Elliptic genera in String theory String-Math 2012, Hausdorff Center for Mathematics July 18, 2012 Elliptic Genus in String theory: 1 Gaiotto, Strominger, Yin
More informationWeb of threefold bases in F-theory and machine learning
and machine learning 1510.04978 & 1710.11235 with W. Taylor CTP, MIT String Data Science, Northeastern; Dec. 2th, 2017 1 / 33 Exploring a huge oriented graph 2 / 33 Nodes in the graph Physical setup: 4D
More informationFactorization of birational maps for qe schemes in characteristic 0
Factorization of birational maps for qe schemes in characteristic 0 AMS special session on Algebraic Geometry joint work with M. Temkin (Hebrew University) Dan Abramovich Brown University October 24, 2014
More informationDarboux theorems for shifted symplectic derived schemes and stacks
Darboux theorems for shifted symplectic derived schemes and stacks Lecture 1 of 3 Dominic Joyce, Oxford University January 2014 Based on: arxiv:1305.6302 and arxiv:1312.0090. Joint work with Oren Ben-Bassat,
More informationAlgebraic Geometry Buzzlist
Algebraic Geometry Buzzlist Fredrik Meyer 1 Algebraic Geometry Contents 1 Algebraic Geometry 1 1.1 General terms........................... 2 1.2 Moduli theory and stacks.................... 6 1.3 Results
More informationChern Classes and the Chern Character
Chern Classes and the Chern Character German Stefanich Chern Classes In this talk, all our topological spaces will be paracompact Hausdorff, and our vector bundles will be complex. Let Bun GLn(C) be the
More informationWe can choose generators of this k-algebra: s i H 0 (X, L r i. H 0 (X, L mr )
MODULI PROBLEMS AND GEOMETRIC INVARIANT THEORY 43 5.3. Linearisations. An abstract projective scheme X does not come with a pre-specified embedding in a projective space. However, an ample line bundle
More informationProof of Langlands for GL(2), II
Proof of Langlands for GL(), II Notes by Tony Feng for a talk by Jochen Heinloth April 8, 016 1 Overview Let X/F q be a smooth, projective, geometrically connected curve. The aim is to show that if E is
More informationP m 1 P(H 0 (X, O X (D)) ). Given a point x X, let
3. Ample and Semiample We recall some very classical algebraic geometry. Let D be an integral Weil divisor. Provided h 0 (X, O X (D)) > 0, D defines a rational map: φ = φ D : X Y. The simplest way to define
More information2 Type IIA String Theory with Background Fluxes in d=2
2 Type IIA String Theory with Background Fluxes in d=2 We consider compactifications of type IIA string theory on Calabi-Yau fourfolds. Consistency of a generic compactification requires switching on a
More informationHMS Seminar - Talk 1. Netanel Blaier (Brandeis) September 26, 2016
HMS Seminar - Talk 1 Netanel Blaier (Brandeis) September 26, 2016 Overview Fukaya categories : (naive) Lagrangian Floer homology, A -structures Introduction : what is mirror symmetry? The physical story
More information1 Moduli spaces of polarized Hodge structures.
1 Moduli spaces of polarized Hodge structures. First of all, we briefly summarize the classical theory of the moduli spaces of polarized Hodge structures. 1.1 The moduli space M h = Γ\D h. Let n be an
More informationSystems of linear equations. We start with some linear algebra. Let K be a field. We consider a system of linear homogeneous equations over K,
Systems of linear equations We start with some linear algebra. Let K be a field. We consider a system of linear homogeneous equations over K, f 11 t 1 +... + f 1n t n = 0, f 21 t 1 +... + f 2n t n = 0,.
More informationON DEGENERATIONS OF MODULI OF HITCHIN PAIRS
ELECRONIC RESEARCH ANNOUNCEMENS IN MAHEMAICAL SCIENCES Volume 20, Pages 105 110 S 1935-9179 AIMS (2013) doi:10.3934/era.2013.20.105 ON DEGENERAIONS OF MODULI OF HICHIN PAIRS V. BALAJI, P. BARIK, AND D.S.
More informationHeterotic Torsional Backgrounds, from Supergravity to CFT
Heterotic Torsional Backgrounds, from Supergravity to CFT IAP, Université Pierre et Marie Curie Eurostrings@Madrid, June 2010 L.Carlevaro, D.I. and M. Petropoulos, arxiv:0812.3391 L.Carlevaro and D.I.,
More informationGeneralized Alexander duality and applications. Osaka Journal of Mathematics. 38(2) P.469-P.485
Title Generalized Alexander duality and applications Author(s) Romer, Tim Citation Osaka Journal of Mathematics. 38(2) P.469-P.485 Issue Date 2001-06 Text Version publisher URL https://doi.org/10.18910/4757
More informationLogarithmic functional and reciprocity laws
Contemporary Mathematics Volume 00, 1997 Logarithmic functional and reciprocity laws Askold Khovanskii Abstract. In this paper, we give a short survey of results related to the reciprocity laws over the
More informationON COSTELLO S CONSTRUCTION OF THE WITTEN GENUS: L SPACES AND DG-MANIFOLDS
ON COSTELLO S CONSTRUCTION OF THE WITTEN GENUS: L SPACES AND DG-MANIFOLDS RYAN E GRADY 1. L SPACES An L space is a ringed space with a structure sheaf a sheaf L algebras, where an L algebra is the homotopical
More informationCOMPACTIFICATIONS OF MODULI OF ABELIAN VARIETIES: AN INTRODUCTION. 1. Introduction
COMPACTIFICATIONS OF MODULI OF ABELIAN VARIETIES: AN INTRODUCTION. MARTIN OLSSON Abstract. In this expository paper, we survey the various approaches to compactifying moduli stacks of polarized abelian
More informationSplitting criterion for reflexive sheaves
Splitting criterion for reflexive sheaves TAKURO ABE MASAHIKO YOSHINAGA April 6, 2005 Abstract The purpose of this paper is to study the structure of reflexive sheaves over projective spaces through hyperplane
More informationSymplectic algebraic geometry and quiver varieties
Symplectic algebraic geometry and quiver varieties Victor Ginzburg Lecture notes by Tony Feng Contents 1 Deformation quantization 2 1.1 Deformations................................. 2 1.2 Quantization..................................
More informationthe complete linear series of D. Notice that D = PH 0 (X; O X (D)). Given any subvectorspace V H 0 (X; O X (D)) there is a rational map given by V : X
2. Preliminaries 2.1. Divisors and line bundles. Let X be an irreducible complex variety of dimension n. The group of k-cycles on X is Z k (X) = fz linear combinations of subvarieties of dimension kg:
More information