A Generalized Borcea-Voisin Construction · 3 Classification 4 Mirror Symmetry 5 Issue 6...
Transcript of A Generalized Borcea-Voisin Construction · 3 Classification 4 Mirror Symmetry 5 Issue 6...
![Page 1: A Generalized Borcea-Voisin Construction · 3 Classification 4 Mirror Symmetry 5 Issue 6 Conclusion. Mirror threefolds First family of mirror threefolds which were neither complete](https://reader034.fdocuments.net/reader034/viewer/2022052011/60273efd291df656262b2dd5/html5/thumbnails/1.jpg)
A Generalized Borcea-Voisin Construction
Jimmy Dillies
String-Math 2011Philadelphia
![Page 2: A Generalized Borcea-Voisin Construction · 3 Classification 4 Mirror Symmetry 5 Issue 6 Conclusion. Mirror threefolds First family of mirror threefolds which were neither complete](https://reader034.fdocuments.net/reader034/viewer/2022052011/60273efd291df656262b2dd5/html5/thumbnails/2.jpg)
1 History
2 Construction
3 Classification
4 Mirror Symmetry
5 Issue
6 Conclusion
![Page 3: A Generalized Borcea-Voisin Construction · 3 Classification 4 Mirror Symmetry 5 Issue 6 Conclusion. Mirror threefolds First family of mirror threefolds which were neither complete](https://reader034.fdocuments.net/reader034/viewer/2022052011/60273efd291df656262b2dd5/html5/thumbnails/3.jpg)
Mirror threefolds
First family of mirror threefolds which were neithercomplete intersection nor toric is due to [Borcea, C.; Voisin,C.] and relies on the existence of involutions on the productof a torus with a K3 surface.
Their construction is very similar to that introduced by[Vafa, C. & Witten, E.] who take the quotient of a three toriby a group action, (Z/2Z)2, preserving the volume form.Interesting Physics [Dixon, L., Harvey, J., Vafa, C. & Witten,E.]Construction of Vafa-Witten generalized and classified by[Donagi, R. and Faraggi, A.; Donagi A. and Wendland, K.;D.] taking more general actions (+translations +complexmultiplication)
QuestionCan we similarly generalize the construction of Borcea andVoisin?
![Page 4: A Generalized Borcea-Voisin Construction · 3 Classification 4 Mirror Symmetry 5 Issue 6 Conclusion. Mirror threefolds First family of mirror threefolds which were neither complete](https://reader034.fdocuments.net/reader034/viewer/2022052011/60273efd291df656262b2dd5/html5/thumbnails/4.jpg)
Mirror threefolds
First family of mirror threefolds which were neithercomplete intersection nor toric is due to [Borcea, C.; Voisin,C.] and relies on the existence of involutions on the productof a torus with a K3 surface.Their construction is very similar to that introduced by[Vafa, C. & Witten, E.] who take the quotient of a three toriby a group action, (Z/2Z)2, preserving the volume form.
Interesting Physics [Dixon, L., Harvey, J., Vafa, C. & Witten,E.]Construction of Vafa-Witten generalized and classified by[Donagi, R. and Faraggi, A.; Donagi A. and Wendland, K.;D.] taking more general actions (+translations +complexmultiplication)
QuestionCan we similarly generalize the construction of Borcea andVoisin?
![Page 5: A Generalized Borcea-Voisin Construction · 3 Classification 4 Mirror Symmetry 5 Issue 6 Conclusion. Mirror threefolds First family of mirror threefolds which were neither complete](https://reader034.fdocuments.net/reader034/viewer/2022052011/60273efd291df656262b2dd5/html5/thumbnails/5.jpg)
Mirror threefolds
First family of mirror threefolds which were neithercomplete intersection nor toric is due to [Borcea, C.; Voisin,C.] and relies on the existence of involutions on the productof a torus with a K3 surface.Their construction is very similar to that introduced by[Vafa, C. & Witten, E.] who take the quotient of a three toriby a group action, (Z/2Z)2, preserving the volume form.Interesting Physics [Dixon, L., Harvey, J., Vafa, C. & Witten,E.]
Construction of Vafa-Witten generalized and classified by[Donagi, R. and Faraggi, A.; Donagi A. and Wendland, K.;D.] taking more general actions (+translations +complexmultiplication)
QuestionCan we similarly generalize the construction of Borcea andVoisin?
![Page 6: A Generalized Borcea-Voisin Construction · 3 Classification 4 Mirror Symmetry 5 Issue 6 Conclusion. Mirror threefolds First family of mirror threefolds which were neither complete](https://reader034.fdocuments.net/reader034/viewer/2022052011/60273efd291df656262b2dd5/html5/thumbnails/6.jpg)
Mirror threefolds
First family of mirror threefolds which were neithercomplete intersection nor toric is due to [Borcea, C.; Voisin,C.] and relies on the existence of involutions on the productof a torus with a K3 surface.Their construction is very similar to that introduced by[Vafa, C. & Witten, E.] who take the quotient of a three toriby a group action, (Z/2Z)2, preserving the volume form.Interesting Physics [Dixon, L., Harvey, J., Vafa, C. & Witten,E.]Construction of Vafa-Witten generalized and classified by[Donagi, R. and Faraggi, A.; Donagi A. and Wendland, K.;D.] taking more general actions (+translations +complexmultiplication)
QuestionCan we similarly generalize the construction of Borcea andVoisin?
![Page 7: A Generalized Borcea-Voisin Construction · 3 Classification 4 Mirror Symmetry 5 Issue 6 Conclusion. Mirror threefolds First family of mirror threefolds which were neither complete](https://reader034.fdocuments.net/reader034/viewer/2022052011/60273efd291df656262b2dd5/html5/thumbnails/7.jpg)
Mirror threefolds
First family of mirror threefolds which were neithercomplete intersection nor toric is due to [Borcea, C.; Voisin,C.] and relies on the existence of involutions on the productof a torus with a K3 surface.Their construction is very similar to that introduced by[Vafa, C. & Witten, E.] who take the quotient of a three toriby a group action, (Z/2Z)2, preserving the volume form.Interesting Physics [Dixon, L., Harvey, J., Vafa, C. & Witten,E.]Construction of Vafa-Witten generalized and classified by[Donagi, R. and Faraggi, A.; Donagi A. and Wendland, K.;D.] taking more general actions (+translations +complexmultiplication)
QuestionCan we similarly generalize the construction of Borcea andVoisin?
![Page 8: A Generalized Borcea-Voisin Construction · 3 Classification 4 Mirror Symmetry 5 Issue 6 Conclusion. Mirror threefolds First family of mirror threefolds which were neither complete](https://reader034.fdocuments.net/reader034/viewer/2022052011/60273efd291df656262b2dd5/html5/thumbnails/8.jpg)
Borcea-Voisin threefolds
Ingredients = + + Symmetry
a torus E with a involution i (FREE)
a K3 surface S with a non-symplectic involution j ,i.e. j∗|H2,0(S) ≡ −id
DefinitionThe Borcea-Voising threefold associated to the above objects is
X =E × X〈(i , j)〉
![Page 9: A Generalized Borcea-Voisin Construction · 3 Classification 4 Mirror Symmetry 5 Issue 6 Conclusion. Mirror threefolds First family of mirror threefolds which were neither complete](https://reader034.fdocuments.net/reader034/viewer/2022052011/60273efd291df656262b2dd5/html5/thumbnails/9.jpg)
Borcea-Voisin threefolds
Ingredients = + + Symmetry
a torus E with a involution i (FREE)
a K3 surface S with a non-symplectic involution j ,i.e. j∗|H2,0(S) ≡ −id
DefinitionThe Borcea-Voising threefold associated to the above objects is
X =E × X〈(i , j)〉
![Page 10: A Generalized Borcea-Voisin Construction · 3 Classification 4 Mirror Symmetry 5 Issue 6 Conclusion. Mirror threefolds First family of mirror threefolds which were neither complete](https://reader034.fdocuments.net/reader034/viewer/2022052011/60273efd291df656262b2dd5/html5/thumbnails/10.jpg)
Borcea-Voisin threefolds
Ingredients = + + Symmetry
a torus E with a involution i (FREE)
a K3 surface S with a non-symplectic involution j ,i.e. j∗|H2,0(S) ≡ −id
DefinitionThe Borcea-Voising threefold associated to the above objects is
X =E × X〈(i , j)〉
![Page 11: A Generalized Borcea-Voisin Construction · 3 Classification 4 Mirror Symmetry 5 Issue 6 Conclusion. Mirror threefolds First family of mirror threefolds which were neither complete](https://reader034.fdocuments.net/reader034/viewer/2022052011/60273efd291df656262b2dd5/html5/thumbnails/11.jpg)
Borcea-Voisin threefolds
Ingredients = + + Symmetry
a torus E with a involution i (FREE)
a K3 surface S with a non-symplectic involution j ,i.e. j∗|H2,0(S) ≡ −id
DefinitionThe Borcea-Voising threefold associated to the above objects is
X =E × X〈(i , j)〉
![Page 12: A Generalized Borcea-Voisin Construction · 3 Classification 4 Mirror Symmetry 5 Issue 6 Conclusion. Mirror threefolds First family of mirror threefolds which were neither complete](https://reader034.fdocuments.net/reader034/viewer/2022052011/60273efd291df656262b2dd5/html5/thumbnails/12.jpg)
Generalized Borcea-Voisin three- and fourfolds
Xi=1,2 a Calabi-Yau manifold endowed with a primitivenon-symplectic automorphism ji of order p, prime.(today, dim Xi ∈ {1,2})From χ : Z/pZ× Z/pZ→ Aut(H top,0(X1)× H top,0(X2))extract the kernel K isomorphic to Z/pZ.
DefinitionThe Generalized Borcea-Voising orbifold associated to theabove objects is
X =X1 × X2
K
There might not be a crepant resolution !!
![Page 13: A Generalized Borcea-Voisin Construction · 3 Classification 4 Mirror Symmetry 5 Issue 6 Conclusion. Mirror threefolds First family of mirror threefolds which were neither complete](https://reader034.fdocuments.net/reader034/viewer/2022052011/60273efd291df656262b2dd5/html5/thumbnails/13.jpg)
Generalized Borcea-Voisin three- and fourfolds
Xi=1,2 a Calabi-Yau manifold endowed with a primitivenon-symplectic automorphism ji of order p, prime.(today, dim Xi ∈ {1,2})
From χ : Z/pZ× Z/pZ→ Aut(H top,0(X1)× H top,0(X2))extract the kernel K isomorphic to Z/pZ.
DefinitionThe Generalized Borcea-Voising orbifold associated to theabove objects is
X =X1 × X2
K
There might not be a crepant resolution !!
![Page 14: A Generalized Borcea-Voisin Construction · 3 Classification 4 Mirror Symmetry 5 Issue 6 Conclusion. Mirror threefolds First family of mirror threefolds which were neither complete](https://reader034.fdocuments.net/reader034/viewer/2022052011/60273efd291df656262b2dd5/html5/thumbnails/14.jpg)
Generalized Borcea-Voisin three- and fourfolds
Xi=1,2 a Calabi-Yau manifold endowed with a primitivenon-symplectic automorphism ji of order p, prime.(today, dim Xi ∈ {1,2})From χ : Z/pZ× Z/pZ→ Aut(H top,0(X1)× H top,0(X2))extract the kernel K isomorphic to Z/pZ.
DefinitionThe Generalized Borcea-Voising orbifold associated to theabove objects is
X =X1 × X2
K
There might not be a crepant resolution !!
![Page 15: A Generalized Borcea-Voisin Construction · 3 Classification 4 Mirror Symmetry 5 Issue 6 Conclusion. Mirror threefolds First family of mirror threefolds which were neither complete](https://reader034.fdocuments.net/reader034/viewer/2022052011/60273efd291df656262b2dd5/html5/thumbnails/15.jpg)
Generalized Borcea-Voisin three- and fourfolds
Xi=1,2 a Calabi-Yau manifold endowed with a primitivenon-symplectic automorphism ji of order p, prime.(today, dim Xi ∈ {1,2})From χ : Z/pZ× Z/pZ→ Aut(H top,0(X1)× H top,0(X2))extract the kernel K isomorphic to Z/pZ.
DefinitionThe Generalized Borcea-Voising orbifold associated to theabove objects is
X =X1 × X2
K
There might not be a crepant resolution !!
![Page 16: A Generalized Borcea-Voisin Construction · 3 Classification 4 Mirror Symmetry 5 Issue 6 Conclusion. Mirror threefolds First family of mirror threefolds which were neither complete](https://reader034.fdocuments.net/reader034/viewer/2022052011/60273efd291df656262b2dd5/html5/thumbnails/16.jpg)
Generalized Borcea-Voisin three- and fourfolds
Xi=1,2 a Calabi-Yau manifold endowed with a primitivenon-symplectic automorphism ji of order p, prime.(today, dim Xi ∈ {1,2})From χ : Z/pZ× Z/pZ→ Aut(H top,0(X1)× H top,0(X2))extract the kernel K isomorphic to Z/pZ.
DefinitionThe Generalized Borcea-Voising orbifold associated to theabove objects is
X =X1 × X2
K
There might not be a crepant resolution !!
![Page 17: A Generalized Borcea-Voisin Construction · 3 Classification 4 Mirror Symmetry 5 Issue 6 Conclusion. Mirror threefolds First family of mirror threefolds which were neither complete](https://reader034.fdocuments.net/reader034/viewer/2022052011/60273efd291df656262b2dd5/html5/thumbnails/17.jpg)
Generalized Borcea-Voisin three- and fourfolds
Xi=1,2 a Calabi-Yau manifold endowed with a primitivenon-symplectic automorphism ji of order p, prime.(today, dim Xi ∈ {1,2})From χ : Z/pZ× Z/pZ→ Aut(H top,0(X1)× H top,0(X2))extract the kernel K isomorphic to Z/pZ.
DefinitionThe Generalized Borcea-Voising orbifold associated to theabove objects is
X =X1 × X2
K
There might not be a crepant resolution !!
![Page 18: A Generalized Borcea-Voisin Construction · 3 Classification 4 Mirror Symmetry 5 Issue 6 Conclusion. Mirror threefolds First family of mirror threefolds which were neither complete](https://reader034.fdocuments.net/reader034/viewer/2022052011/60273efd291df656262b2dd5/html5/thumbnails/18.jpg)
Key tool: orbifold cohomology [Chen, W. & Ruan Y.]
H*,*orb (X/K ) =
⊕g∈Conj(K )
⊕Λ∈Φ(g)
H∗−κ(g,Λ),∗−κ(g,Λ) (Λ)K
Where Φ(g) is the set of irreducible components fixed by g, andκ(g,Λ) is the age of g at a point of Λ.
![Page 19: A Generalized Borcea-Voisin Construction · 3 Classification 4 Mirror Symmetry 5 Issue 6 Conclusion. Mirror threefolds First family of mirror threefolds which were neither complete](https://reader034.fdocuments.net/reader034/viewer/2022052011/60273efd291df656262b2dd5/html5/thumbnails/19.jpg)
Key tool: orbifold cohomology [Chen, W. & Ruan Y.]
H*,*orb (X/K ) = H∗,∗ (X )K ⊕
⊕Λ∈Φ(γ)
p−1⊕i=1
H∗−κ(γ i ,Λ),∗−κ(γ i ,Λ) (Λ)
Where Φ(g) is the set of irreducible components fixed by g, andκ(g,Λ) is the age of g at a point of Λ.
![Page 20: A Generalized Borcea-Voisin Construction · 3 Classification 4 Mirror Symmetry 5 Issue 6 Conclusion. Mirror threefolds First family of mirror threefolds which were neither complete](https://reader034.fdocuments.net/reader034/viewer/2022052011/60273efd291df656262b2dd5/html5/thumbnails/20.jpg)
Non-symplectic automorphisms of K3 surfaces
Need : classification of non-symplectic automorphisms ofprime order on K3 surfaces
Known! Work of [Nikulin, V.; Xiao, G; Mukai, S.; Oguiso, K.;Zhang, D.-Q.; Artebani, M. and Sarti, A.; D.; Taki; ...]Moreover, action is essentially characterized by rank r offixed locus Z on H2(S,Z) and by a where det Z = pa.In disguise, you have an action on the Gram graph.
![Page 21: A Generalized Borcea-Voisin Construction · 3 Classification 4 Mirror Symmetry 5 Issue 6 Conclusion. Mirror threefolds First family of mirror threefolds which were neither complete](https://reader034.fdocuments.net/reader034/viewer/2022052011/60273efd291df656262b2dd5/html5/thumbnails/21.jpg)
Non-symplectic automorphisms of K3 surfaces
Need : classification of non-symplectic automorphisms ofprime order on K3 surfacesKnown! Work of [Nikulin, V.; Xiao, G; Mukai, S.; Oguiso, K.;Zhang, D.-Q.; Artebani, M. and Sarti, A.; D.; Taki; ...]
Moreover, action is essentially characterized by rank r offixed locus Z on H2(S,Z) and by a where det Z = pa.In disguise, you have an action on the Gram graph.
![Page 22: A Generalized Borcea-Voisin Construction · 3 Classification 4 Mirror Symmetry 5 Issue 6 Conclusion. Mirror threefolds First family of mirror threefolds which were neither complete](https://reader034.fdocuments.net/reader034/viewer/2022052011/60273efd291df656262b2dd5/html5/thumbnails/22.jpg)
Non-symplectic automorphisms of K3 surfaces
Need : classification of non-symplectic automorphisms ofprime order on K3 surfacesKnown! Work of [Nikulin, V.; Xiao, G; Mukai, S.; Oguiso, K.;Zhang, D.-Q.; Artebani, M. and Sarti, A.; D.; Taki; ...]Moreover, action is essentially characterized by rank r offixed locus Z on H2(S,Z) and by a where det Z = pa.
In disguise, you have an action on the Gram graph.
![Page 23: A Generalized Borcea-Voisin Construction · 3 Classification 4 Mirror Symmetry 5 Issue 6 Conclusion. Mirror threefolds First family of mirror threefolds which were neither complete](https://reader034.fdocuments.net/reader034/viewer/2022052011/60273efd291df656262b2dd5/html5/thumbnails/23.jpg)
Non-symplectic automorphisms of K3 surfaces
Need : classification of non-symplectic automorphisms ofprime order on K3 surfacesKnown! Work of [Nikulin, V.; Xiao, G; Mukai, S.; Oguiso, K.;Zhang, D.-Q.; Artebani, M. and Sarti, A.; D.; Taki; ...]Moreover, action is essentially characterized by rank r offixed locus Z on H2(S,Z) and by a where det Z = pa.In disguise, you have an action on the Gram graph.
![Page 24: A Generalized Borcea-Voisin Construction · 3 Classification 4 Mirror Symmetry 5 Issue 6 Conclusion. Mirror threefolds First family of mirror threefolds which were neither complete](https://reader034.fdocuments.net/reader034/viewer/2022052011/60273efd291df656262b2dd5/html5/thumbnails/24.jpg)
Local picture (p = 3)
ζ23
ζ23
ζ23
13
(2,2,2)
Point × Point = Point
1
ζ3ζ2
3
13
(0,
1
,
2
)
Curve × Point = Curve
![Page 25: A Generalized Borcea-Voisin Construction · 3 Classification 4 Mirror Symmetry 5 Issue 6 Conclusion. Mirror threefolds First family of mirror threefolds which were neither complete](https://reader034.fdocuments.net/reader034/viewer/2022052011/60273efd291df656262b2dd5/html5/thumbnails/25.jpg)
Local picture (p = 3)
ζ23
ζ23
ζ23
13
(2,2,2)
Point × Point = Point
1ζ3
ζ23
13
(0,1,
2
)
Curve × Point = Curve
![Page 26: A Generalized Borcea-Voisin Construction · 3 Classification 4 Mirror Symmetry 5 Issue 6 Conclusion. Mirror threefolds First family of mirror threefolds which were neither complete](https://reader034.fdocuments.net/reader034/viewer/2022052011/60273efd291df656262b2dd5/html5/thumbnails/26.jpg)
Local picture (p = 3)
ζ23
ζ23
ζ23
13
(2,2,2)
Point × Point = Point
1ζ3
ζ23
13
(0,1,2)
Curve × Point = Curve
![Page 27: A Generalized Borcea-Voisin Construction · 3 Classification 4 Mirror Symmetry 5 Issue 6 Conclusion. Mirror threefolds First family of mirror threefolds which were neither complete](https://reader034.fdocuments.net/reader034/viewer/2022052011/60273efd291df656262b2dd5/html5/thumbnails/27.jpg)
Local picture (p = 3)
ζ23
ζ23
ζ23
13
(2,2,2)
Point × Point = Point
1ζ3
ζ23
13
(0,1,2)
Curve × Point = Curve
![Page 28: A Generalized Borcea-Voisin Construction · 3 Classification 4 Mirror Symmetry 5 Issue 6 Conclusion. Mirror threefolds First family of mirror threefolds which were neither complete](https://reader034.fdocuments.net/reader034/viewer/2022052011/60273efd291df656262b2dd5/html5/thumbnails/28.jpg)
Earlier Work
p = 3, dim X = 3 [Rohde, J.C.] �
p = 4 dim X = 3 [Garbagnati. A] partialp = 2, dim X = 4 [Borcea, C.; Abe, M. and Sato, M.] partialp > 2, dim X = 4 [Cynk, S. and Hulek, K.] partial
![Page 29: A Generalized Borcea-Voisin Construction · 3 Classification 4 Mirror Symmetry 5 Issue 6 Conclusion. Mirror threefolds First family of mirror threefolds which were neither complete](https://reader034.fdocuments.net/reader034/viewer/2022052011/60273efd291df656262b2dd5/html5/thumbnails/29.jpg)
Earlier Work
p = 3, dim X = 3 [Rohde, J.C.] �p = 4 dim X = 3 [Garbagnati. A] partial
p = 2, dim X = 4 [Borcea, C.; Abe, M. and Sato, M.] partialp > 2, dim X = 4 [Cynk, S. and Hulek, K.] partial
![Page 30: A Generalized Borcea-Voisin Construction · 3 Classification 4 Mirror Symmetry 5 Issue 6 Conclusion. Mirror threefolds First family of mirror threefolds which were neither complete](https://reader034.fdocuments.net/reader034/viewer/2022052011/60273efd291df656262b2dd5/html5/thumbnails/30.jpg)
Earlier Work
p = 3, dim X = 3 [Rohde, J.C.] �p = 4 dim X = 3 [Garbagnati. A] partialp = 2, dim X = 4 [Borcea, C.; Abe, M. and Sato, M.] partial
p > 2, dim X = 4 [Cynk, S. and Hulek, K.] partial
![Page 31: A Generalized Borcea-Voisin Construction · 3 Classification 4 Mirror Symmetry 5 Issue 6 Conclusion. Mirror threefolds First family of mirror threefolds which were neither complete](https://reader034.fdocuments.net/reader034/viewer/2022052011/60273efd291df656262b2dd5/html5/thumbnails/31.jpg)
Earlier Work
p = 3, dim X = 3 [Rohde, J.C.] �p = 4 dim X = 3 [Garbagnati. A] partialp = 2, dim X = 4 [Borcea, C.; Abe, M. and Sato, M.] partialp > 2, dim X = 4 [Cynk, S. and Hulek, K.] partial
![Page 32: A Generalized Borcea-Voisin Construction · 3 Classification 4 Mirror Symmetry 5 Issue 6 Conclusion. Mirror threefolds First family of mirror threefolds which were neither complete](https://reader034.fdocuments.net/reader034/viewer/2022052011/60273efd291df656262b2dd5/html5/thumbnails/32.jpg)
Results
dim p # Euler characteristic (χ) Minimal |χ|3 3 −62 + 12r −384 2 888− 60r2 − 60r1 + 6r1r2 −6, 0, 18
3 299 408− 36r2 − 36r1 + 6r1r2 −48, 0, 245 28 174− 21r2 − 21r1 + 15
2 r1r2 247 15 304
3 −403 r2 − 40
3 r1 + 283 r1r2 144
11 6 2645 −
125 r2 − 12
5 r1 + 665 r1r2 96
13 1 2184 218417 1 1376 137619 1 936 936
![Page 33: A Generalized Borcea-Voisin Construction · 3 Classification 4 Mirror Symmetry 5 Issue 6 Conclusion. Mirror threefolds First family of mirror threefolds which were neither complete](https://reader034.fdocuments.net/reader034/viewer/2022052011/60273efd291df656262b2dd5/html5/thumbnails/33.jpg)
Mirror Symmetry
QuestionIs there a mirror pairing within the realm of our families?
![Page 34: A Generalized Borcea-Voisin Construction · 3 Classification 4 Mirror Symmetry 5 Issue 6 Conclusion. Mirror threefolds First family of mirror threefolds which were neither complete](https://reader034.fdocuments.net/reader034/viewer/2022052011/60273efd291df656262b2dd5/html5/thumbnails/34.jpg)
K3 lattices when p = 2
r ↔ 20− r
![Page 35: A Generalized Borcea-Voisin Construction · 3 Classification 4 Mirror Symmetry 5 Issue 6 Conclusion. Mirror threefolds First family of mirror threefolds which were neither complete](https://reader034.fdocuments.net/reader034/viewer/2022052011/60273efd291df656262b2dd5/html5/thumbnails/35.jpg)
K3 lattices when p = 2
r ↔ 20− r
![Page 36: A Generalized Borcea-Voisin Construction · 3 Classification 4 Mirror Symmetry 5 Issue 6 Conclusion. Mirror threefolds First family of mirror threefolds which were neither complete](https://reader034.fdocuments.net/reader034/viewer/2022052011/60273efd291df656262b2dd5/html5/thumbnails/36.jpg)
K3 lattices when p ≥ 3
![Page 37: A Generalized Borcea-Voisin Construction · 3 Classification 4 Mirror Symmetry 5 Issue 6 Conclusion. Mirror threefolds First family of mirror threefolds which were neither complete](https://reader034.fdocuments.net/reader034/viewer/2022052011/60273efd291df656262b2dd5/html5/thumbnails/37.jpg)
Do our varieties come in pairs?
p = 2 p > 2dim X = 3 �
/
dim X = 4
� /
![Page 38: A Generalized Borcea-Voisin Construction · 3 Classification 4 Mirror Symmetry 5 Issue 6 Conclusion. Mirror threefolds First family of mirror threefolds which were neither complete](https://reader034.fdocuments.net/reader034/viewer/2022052011/60273efd291df656262b2dd5/html5/thumbnails/38.jpg)
Do our varieties come in pairs?
p = 2 p > 2dim X = 3 �
/
dim X = 4 �
/
![Page 39: A Generalized Borcea-Voisin Construction · 3 Classification 4 Mirror Symmetry 5 Issue 6 Conclusion. Mirror threefolds First family of mirror threefolds which were neither complete](https://reader034.fdocuments.net/reader034/viewer/2022052011/60273efd291df656262b2dd5/html5/thumbnails/39.jpg)
Do our varieties come in pairs?
p = 2 p > 2dim X = 3 � /dim X = 4 �
/
![Page 40: A Generalized Borcea-Voisin Construction · 3 Classification 4 Mirror Symmetry 5 Issue 6 Conclusion. Mirror threefolds First family of mirror threefolds which were neither complete](https://reader034.fdocuments.net/reader034/viewer/2022052011/60273efd291df656262b2dd5/html5/thumbnails/40.jpg)
Do our varieties come in pairs?
p = 2 p > 2dim X = 3 � /dim X = 4 � /
![Page 41: A Generalized Borcea-Voisin Construction · 3 Classification 4 Mirror Symmetry 5 Issue 6 Conclusion. Mirror threefolds First family of mirror threefolds which were neither complete](https://reader034.fdocuments.net/reader034/viewer/2022052011/60273efd291df656262b2dd5/html5/thumbnails/41.jpg)
In dimension 3
Also, Picard-Fuchs equation highlights lack of solutions withmaximally unipotent monodromy.
![Page 42: A Generalized Borcea-Voisin Construction · 3 Classification 4 Mirror Symmetry 5 Issue 6 Conclusion. Mirror threefolds First family of mirror threefolds which were neither complete](https://reader034.fdocuments.net/reader034/viewer/2022052011/60273efd291df656262b2dd5/html5/thumbnails/42.jpg)
In dimension 3
Also, Picard-Fuchs equation highlights lack of solutions withmaximally unipotent monodromy.
![Page 43: A Generalized Borcea-Voisin Construction · 3 Classification 4 Mirror Symmetry 5 Issue 6 Conclusion. Mirror threefolds First family of mirror threefolds which were neither complete](https://reader034.fdocuments.net/reader034/viewer/2022052011/60273efd291df656262b2dd5/html5/thumbnails/43.jpg)
In dimension 4
Problem with singularities[Batyrev, V. & Dais, D.; Reid, M.] If X has a fixed point of type1p (2,p − 1,1,p − 2) then X does not admit a crepant resolution.
For p > 2 all actions have fixed points of the above type→no resolution...
![Page 44: A Generalized Borcea-Voisin Construction · 3 Classification 4 Mirror Symmetry 5 Issue 6 Conclusion. Mirror threefolds First family of mirror threefolds which were neither complete](https://reader034.fdocuments.net/reader034/viewer/2022052011/60273efd291df656262b2dd5/html5/thumbnails/44.jpg)
In dimension 4
Problem with singularities[Batyrev, V. & Dais, D.; Reid, M.] If X has a fixed point of type1p (2,p − 1,1,p − 2) then X does not admit a crepant resolution.
For p > 2 all actions have fixed points of the above type→no resolution...
![Page 45: A Generalized Borcea-Voisin Construction · 3 Classification 4 Mirror Symmetry 5 Issue 6 Conclusion. Mirror threefolds First family of mirror threefolds which were neither complete](https://reader034.fdocuments.net/reader034/viewer/2022052011/60273efd291df656262b2dd5/html5/thumbnails/45.jpg)
In dimension 4
Problem with singularities[Batyrev, V. & Dais, D.; Reid, M.] If X has a fixed point of type1p (2,p − 1,1,p − 2) then X does not admit a crepant resolution.
For p > 2 all actions have fixed points of the above type→no resolution...
![Page 46: A Generalized Borcea-Voisin Construction · 3 Classification 4 Mirror Symmetry 5 Issue 6 Conclusion. Mirror threefolds First family of mirror threefolds which were neither complete](https://reader034.fdocuments.net/reader034/viewer/2022052011/60273efd291df656262b2dd5/html5/thumbnails/46.jpg)
The future
What’s next?How do we build the mirrors of these generalized Borcea-Voisinvarieties? Suggestions?
Toric GeometryLG-model
Thank you
![Page 47: A Generalized Borcea-Voisin Construction · 3 Classification 4 Mirror Symmetry 5 Issue 6 Conclusion. Mirror threefolds First family of mirror threefolds which were neither complete](https://reader034.fdocuments.net/reader034/viewer/2022052011/60273efd291df656262b2dd5/html5/thumbnails/47.jpg)
The future
What’s next?How do we build the mirrors of these generalized Borcea-Voisinvarieties? Suggestions?
Toric GeometryLG-model
Thank you