Yifei Lou, Ernie Esser, Jack Xin Barcode Recognition UCI iCAMP 2013.
Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern...
Transcript of Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern...
![Page 1: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/1.jpg)
Algebraic topology and arithmetic
Yifei Zhu
Southern University of Science and Technology
2019 Young Mathematician Forum, BICMR
Yifei Zhu Algebraic topology and arithmetic
![Page 2: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/2.jpg)
Motivation: cohomology theories and their operations
Generalized cohomology theory {hn} : Spaces→ AbGroups
Cup product h∗(X) a graded commutative algebra over h∗(pt)
Cohomology operation Qi : h∗(−)→ h∗+i(−)
Example (ordinary cohomology with Z/2-coefficients)
Steenrod squares Sqi : H∗(−;Z/2)→ H∗+i(−;Z/2)
Power operation Sqi(x) = x2 if i = |x|
Steenrod algebra
Yifei Zhu Algebraic topology and arithmetic
![Page 3: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/3.jpg)
Motivation: cohomology theories and their operations
Generalized cohomology theory {hn} : Spaces→ AbGroups
Cup product h∗(X) a graded commutative algebra over h∗(pt)
Cohomology operation Qi : h∗(−)→ h∗+i(−)
Example (ordinary cohomology with Z/2-coefficients)
Steenrod squares Sqi : H∗(−;Z/2)→ H∗+i(−;Z/2)
Power operation Sqi(x) = x2 if i = |x|
Steenrod algebra
Yifei Zhu Algebraic topology and arithmetic
![Page 4: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/4.jpg)
Motivation: cohomology theories and their operations
Generalized cohomology theory {hn} : Spaces→ AbGroups
Cup product h∗(X) a graded commutative algebra over h∗(pt)
Cohomology operation Qi : h∗(−)→ h∗+i(−)
Example (ordinary cohomology with Z/2-coefficients)
Steenrod squares Sqi : H∗(−;Z/2)→ H∗+i(−;Z/2)
Power operation Sqi(x) = x2 if i = |x|
Steenrod algebra
Yifei Zhu Algebraic topology and arithmetic
![Page 5: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/5.jpg)
Motivation: cohomology theories and their operations
Generalized cohomology theory {hn} : Spaces→ AbGroups
Cup product h∗(X) a graded commutative algebra over h∗(pt)
Cohomology operation Qi : h∗(−)→ h∗+i(−)
Example (ordinary cohomology with Z/2-coefficients)
Steenrod squares Sqi : H∗(−;Z/2)→ H∗+i(−;Z/2)
Power operation Sqi(x) = x2 if i = |x|
Steenrod algebra
Yifei Zhu Algebraic topology and arithmetic
![Page 6: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/6.jpg)
Motivation: cohomology theories and their operations
Generalized cohomology theory {hn} : Spaces→ AbGroups
Cup product h∗(X) a graded commutative algebra over h∗(pt)
Cohomology operation Qi : h∗(−)→ h∗+i(−)
Example (ordinary cohomology with Z/2-coefficients)
Steenrod squares Sqi : H∗(−;Z/2)→ H∗+i(−;Z/2)
Power operation Sqi(x) = x2 if i = |x|
Steenrod algebra
Yifei Zhu Algebraic topology and arithmetic
![Page 7: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/7.jpg)
Motivation: cohomology theories and their operations
Generalized cohomology theory {hn} : Spaces→ AbGroups
Cup product h∗(X) a graded commutative algebra over h∗(pt)
Cohomology operation Qi : h∗(−)→ h∗+i(−)
Example (ordinary cohomology with Z/2-coefficients)
Steenrod squares Sqi : H∗(−;Z/2)→ H∗+i(−;Z/2)
Power operation Sqi(x) = x2 if i = |x|
Steenrod algebra
Yifei Zhu Algebraic topology and arithmetic
![Page 8: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/8.jpg)
Motivation: cohomology theories and their operations
Generalized cohomology theory {hn} : Spaces→ AbGroups
Cup product h∗(X) a graded commutative algebra over h∗(pt)
Cohomology operation Qi : h∗(−)→ h∗+i(−)
Example (ordinary cohomology with Z/2-coefficients)
Steenrod squares Sqi : H∗(−;Z/2)→ H∗+i(−;Z/2)
Power operation Sqi(x) = x2 if i = |x|
Adem relations SqiSqj =
[ i2 ]∑k=0
(j − k − 1
i− 2k
)Sqi+j−kSqk, 0 < i < 2j
Cartan formula Sqi(xy) =
i∑k=0
Sqi−k(x) Sqk(y)
Yifei Zhu Algebraic topology and arithmetic
![Page 9: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/9.jpg)
Motivation: cohomology theories and their operations
Generalized cohomology theory {hn} : Spaces→ AbGroups
Cup product h∗(X) a graded commutative algebra over h∗(pt)
Cohomology operation Qi : h∗(−)→ h∗+i(−)
Example (ordinary cohomology with Z/2-coefficients)
Steenrod squares Sqi : H∗(−;Z/2)→ H∗+i(−;Z/2)
Power operation Sqi(x) = x2 if i = |x|
Adem relations SqiSqj =
[ i2 ]∑k=0
(j − k − 1
i− 2k
)Sqi+j−kSqk, 0 < i < 2j
Cartan formula Sqi(xy) =
i∑k=0
Sqi−k(x) Sqk(y)
Yifei Zhu Algebraic topology and arithmetic
![Page 10: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/10.jpg)
Motivation: cohomology theories and their operations
Generalized cohomology theory {hn} : Spaces→ AbGroups
Cup product h∗(X) a graded commutative algebra over h∗(pt)
Cohomology operation Qi : h∗(−)→ h∗+i(−)
Example (ordinary cohomology with Z/2-coefficients)
Steenrod squares Sqi : H∗(−;Z/2)→ H∗+i(−;Z/2)
Power operation Sqi(x) = x2 if i = |x|
Adem relations SqiSqj =
[ i2 ]∑k=0
(j − k − 1
i− 2k
)Sqi+j−kSqk, 0 < i < 2j
Cartan formula Sqi(xy) =
i∑k=0
Sqi−k(x) Sqk(y)
Yifei Zhu Algebraic topology and arithmetic
![Page 11: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/11.jpg)
Motivation: cohomology theories and their operations
Generalized cohomology theory {hn} : Spaces→ AbGroups
Cup product h∗(X) a graded commutative algebra over h∗(pt)
Cohomology operation Qi : h∗(−)→ h∗+i(−)
Example (complex K-theory)
Adams operations ψi : K(−)→ K(−)
Power operation ψp(x) ≡ xp mod p
ψiψj = ψij ψi(xy) = ψi(x)ψi(y)
J. F. Adams, Vector fields on spheres, Ann. of Math. (2) 75 (1962)
Yifei Zhu Algebraic topology and arithmetic
![Page 12: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/12.jpg)
Motivation: cohomology theories and their operations
Generalized cohomology theory {hn} : Spaces→ AbGroups
Cup product h∗(X) a graded commutative algebra over h∗(pt)
Cohomology operation Qi : h∗(−)→ h∗+i(−)
Example (more – a sample)
Voevodsky, Reduced power operations in motivic cohomology,2003.
Lipshitz and Sarkar, A Steenrod square on Khovanov homology,2014.
Feng, Etale Steenrod operations and the Artin–Tate pairing, 2018.
Seidel, Formal groups and quantum cohomology, 2019.
Yifei Zhu Algebraic topology and arithmetic
![Page 13: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/13.jpg)
Background: Chromatic Homotopy Theory 色展同伦论
A connection between Topology and Arithmetic (Quillen ’69)
stable homotopy theory! 1-dim formal group laws
complex-oriented h∗(−) F (x, y) over h∗(pt)
c1(L1 ⊗ L2) = F(c1(L1), c1(L2)
)Example
H∗(−;Z)! Ga(x, y) = x+ y
K∗(−)! Gm(x, y) = x+ y − xy = 1− (1− x)(1− y)
Yifei Zhu Algebraic topology and arithmetic
![Page 14: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/14.jpg)
Background: Chromatic Homotopy Theory 色展同伦论
A connection between Topology and Arithmetic (Quillen ’69)
stable homotopy theory! 1-dim formal group laws
complex-oriented h∗(−) F (x, y) over h∗(pt)
c1(L1 ⊗ L2) = F(c1(L1), c1(L2)
)Example
H∗(−;Z)! Ga(x, y) = x+ y
K∗(−)! Gm(x, y) = x+ y − xy = 1− (1− x)(1− y)
Yifei Zhu Algebraic topology and arithmetic
![Page 15: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/15.jpg)
Background: Chromatic Homotopy Theory 色展同伦论
A connection between Topology and Arithmetic (Quillen ’69)
stable homotopy theory! 1-dim formal group laws
complex-oriented h∗(−) F (x, y) over h∗(pt)
c1(L1 ⊗ L2) = F(c1(L1), c1(L2)
)Example
H∗(−;Z)! Ga(x, y) = x+ y
K∗(−)! Gm(x, y) = x+ y − xy = 1− (1− x)(1− y)
Yifei Zhu Algebraic topology and arithmetic
![Page 16: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/16.jpg)
Background: Chromatic Homotopy Theory 色展同伦论
A connection between Topology and Arithmetic (Quillen ’69)
stable homotopy theory! 1-dim formal group laws
complex-oriented h∗(−) F (x, y) over h∗(pt)
c1(L1 ⊗ L2) = F(c1(L1), c1(L2)
)Example
H∗(−;Z)! Ga(x, y) = x+ y
K∗(−)! Gm(x, y) = x+ y − xy = 1− (1− x)(1− y)
Yifei Zhu Algebraic topology and arithmetic
![Page 17: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/17.jpg)
Background: Chromatic Homotopy Theory 色展同伦论
A connection between Topology and Arithmetic (Quillen ’69)
stable homotopy theory! 1-dim formal group laws
complex-oriented h∗(−) F (x, y) over h∗(pt)
c1(L1 ⊗ L2) = F(c1(L1), c1(L2)
)Example
H∗(−;Z)! Ga(x, y) = x+ y
K∗(−)! Gm(x, y) = x+ y − xy = 1− (1− x)(1− y)
Yifei Zhu Algebraic topology and arithmetic
![Page 18: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/18.jpg)
Background: Chromatic Homotopy Theory 色展同伦论
A connection between Topology and Arithmetic (Quillen ’69)
stable homotopy theory! 1-dim formal group laws
complex-oriented h∗(−) F (x, y) over h∗(pt)
c1(L1 ⊗ L2) = F(c1(L1), c1(L2)
)Example
H∗(−;Z)! Ga(x, y) = x+ y
K∗(−)! Gm(x, y) = x+ y − xy = 1− (1− x)(1− y)
Yifei Zhu Algebraic topology and arithmetic
![Page 19: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/19.jpg)
Background: Chromatic Homotopy Theory 色展同伦论
A connection between Topology and Arithmetic (Quillen ’69)
stable homotopy theory! 1-dim formal group laws
complex-oriented h∗(−) F (x, y) over h∗(pt)
c1(L1 ⊗ L2) = F(c1(L1), c1(L2)
)Example
H∗(−;Z)! Ga(x, y) = x+ y
K∗(−)! Gm(x, y) = x+ y − xy = 1− (1− x)(1− y)
Yifei Zhu Algebraic topology and arithmetic
![Page 20: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/20.jpg)
Background: Chromatic Homotopy Theory 色展同伦论
A connection between Topology and Arithmetic (Quillen ’69)
stable homotopy theory! 1-dim formal group laws
complex-oriented h∗(−) F (x, y) over h∗(pt)
c1(L1 ⊗ L2) = F(c1(L1), c1(L2)
)Example
H∗(−;Z)! Ga(x, y) = x+ y
K∗(−)! Gm(x, y) = x+ y − xy = 1− (1− x)(1− y)
Yifei Zhu Algebraic topology and arithmetic
![Page 21: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/21.jpg)
Elliptic cohomology and Morava E-theory
Definition (Ando–Hopkins–Strickland ’01, Lurie ’09, ’18)
elliptic cohomology theory =
{E, CE0(pt),
α : Spf E0(CP∞)∼−→ C
}
Theorem (Morava ’78, Goerss–Hopkins–Miller ’90s–’04)
E : {formal groups over perfect fields, isos} → {E∞-ring spectra}
Spf E0(CP∞) = the univ deformation of a fg F of height nover a perfect field k of char p
π∗E ∼= W(k)Ju1, . . . , un−1K[u±1], |u| = −2
Yifei Zhu Algebraic topology and arithmetic
![Page 22: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/22.jpg)
Elliptic cohomology and Morava E-theory
Definition (Ando–Hopkins–Strickland ’01, Lurie ’09, ’18)
elliptic cohomology theory =
{E, CE0(pt),
α : Spf E0(CP∞)∼−→ C
}
Theorem (Morava ’78, Goerss–Hopkins–Miller ’90s–’04)
E : {formal groups over perfect fields, isos} → {E∞-ring spectra}
Spf E0(CP∞) = the univ deformation of a fg F of height nover a perfect field k of char p
π∗E ∼= W(k)Ju1, . . . , un−1K[u±1], |u| = −2
Yifei Zhu Algebraic topology and arithmetic
![Page 23: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/23.jpg)
Elliptic cohomology and Morava E-theory
Definition (Ando–Hopkins–Strickland ’01, Lurie ’09, ’18)
elliptic cohomology theory =
{E, CE0(pt),
α : Spf E0(CP∞)∼−→ C
}
Theorem (Morava ’78, Goerss–Hopkins–Miller ’90s–’04)
E : {formal groups over perfect fields, isos} → {E∞-ring spectra}
Spf E0(CP∞) = the univ deformation of a fg F of height nover a perfect field k of char p
π∗E ∼= W(k)Ju1, . . . , un−1K[u±1], |u| = −2
Yifei Zhu Algebraic topology and arithmetic
![Page 24: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/24.jpg)
Elliptic cohomology and Morava E-theory
Definition (Ando–Hopkins–Strickland ’01, Lurie ’09, ’18)
elliptic cohomology theory =
{E, CE0(pt),
α : Spf E0(CP∞)∼−→ C
}
Theorem (Morava ’78, Goerss–Hopkins–Miller ’90s–’04)
E : {formal groups over perfect fields, isos} → {E∞-ring spectra}
Spf E0(CP∞) = the univ deformation of a fg F of height nover a perfect field k of char p
π∗E ∼= W(k)Ju1, . . . , un−1K[u±1], |u| = −2
Yifei Zhu Algebraic topology and arithmetic
![Page 25: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/25.jpg)
Elliptic cohomology and Morava E-theory
Definition (Ando–Hopkins–Strickland ’01, Lurie ’09, ’18)
elliptic cohomology theory =
{E, CE0(pt),
α : Spf E0(CP∞)∼−→ C
}
Theorem (Morava ’78, Goerss–Hopkins–Miller ’90s–’04)
E : {formal groups over perfect fields, isos} → {E∞-ring spectra}
Spf E0(CP∞) = the univ deformation of a fg F of height nover a perfect field k of char p
π∗E ∼= W(k)Ju1, . . . , un−1K[u±1], |u| = −2
Yifei Zhu Algebraic topology and arithmetic
![Page 26: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/26.jpg)
Elliptic cohomology and Morava E-theory
Definition (Ando–Hopkins–Strickland ’01, Lurie ’09, ’18)
elliptic cohomology theory =
{E, CE0(pt),
α : Spf E0(CP∞)∼−→ C
}
Theorem (Morava ’78, Goerss–Hopkins–Miller ’90s–’04)
E : {formal groups over perfect fields, isos} → {E∞-ring spectra}
Spf E0(CP∞) = the univ deformation of a fg F of height nover a perfect field k of char p
π∗E ∼= W(k)Ju1, . . . , un−1K[u±1], |u| = −2
Yifei Zhu Algebraic topology and arithmetic
![Page 27: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/27.jpg)
Elliptic cohomology and Morava E-theory
Definition (Ando–Hopkins–Strickland ’01, Lurie ’09, ’18)
elliptic cohomology theory =
{E, CE0(pt),
α : Spf E0(CP∞)∼−→ C
}
Theorem (Morava ’78, Goerss–Hopkins–Miller ’90s–’04)
E : {formal groups over perfect fields, isos} → {E∞-ring spectra}
Spf E0(CP∞) = the univ deformation of a fg F of height nover a perfect field k of char p
π∗E ∼= W(k)Ju1, . . . , un−1K[u±1], |u| = −2
Yifei Zhu Algebraic topology and arithmetic
![Page 28: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/28.jpg)
Elliptic cohomology and Morava E-theory
Definition (Ando–Hopkins–Strickland ’01, Lurie ’09, ’18)
elliptic cohomology theory =
{E, CE0(pt),
α : Spf E0(CP∞)∼−→ C
}
Theorem (Morava ’78, Goerss–Hopkins–Miller ’90s–’04)
E : {formal groups over perfect fields, isos} → {E∞-ring spectra}
Spf E0(CP∞) = the univ deformation of a fg F of height nover a perfect field k of char p
π∗E ∼= W(k)Ju1, . . . , un−1K[u±1], |u| = −2
Yifei Zhu Algebraic topology and arithmetic
![Page 29: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/29.jpg)
Elliptic cohomology and Morava E-theory
Definition (Ando–Hopkins–Strickland ’01, Lurie ’09, ’18)
elliptic cohomology theory =
{E, CE0(pt),
α : Spf E0(CP∞)∼−→ C
}
Theorem (Morava ’78, Goerss–Hopkins–Miller ’90s–’04)
E : {formal groups over perfect fields, isos} → {E∞-ring spectra}
Spf E0(CP∞) = the univ deformation of a fg F of height nover a perfect field k of char p
π∗E ∼= W(k)Ju1, . . . , un−1K[u±1], |u| = −2
Yifei Zhu Algebraic topology and arithmetic
![Page 30: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/30.jpg)
Elliptic cohomology and Morava E-theory
Definition (Ando–Hopkins–Strickland ’01, Lurie ’09, ’18)
elliptic cohomology theory =
{E, CE0(pt),
α : Spf E0(CP∞)∼−→ C
}
Theorem (Morava ’78, Goerss–Hopkins–Miller ’90s–’04)
E : {formal groups over perfect fields, isos} → {E∞-ring spectra}
Spf E0(CP∞) = the univ deformation of a fg F of height nover a perfect field k of char p
π∗E ∼= W(k)Ju1, . . . , un−1K[u±1], |u| = −2
Yifei Zhu Algebraic topology and arithmetic
![Page 31: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/31.jpg)
Elliptic cohomology and Morava E-theory
Definition (Ando–Hopkins–Strickland ’01, Lurie ’09, ’18)
elliptic cohomology theory =
{E, CE0(pt),
α : Spf E0(CP∞)∼−→ C
}
Theorem (Morava ’78, Goerss–Hopkins–Miller ’90s–’04)
E : {formal groups over perfect fields, isos} → {E∞-ring spectra}
Spf E0(CP∞) = the univ deformation of a fg F of height nover a perfect field k of char p
π∗E ∼= W(k)Ju1, . . . , un−1K[u±1], |u| = −2
Yifei Zhu Algebraic topology and arithmetic
![Page 32: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/32.jpg)
Elliptic cohomology and Morava E-theory
Definition (Ando–Hopkins–Strickland ’01, Lurie ’09, ’18)
elliptic cohomology theory =
{E, CE0(pt),
α : Spf E0(CP∞)∼−→ C
}
Theorem (Morava ’78, Goerss–Hopkins–Miller ’90s–’04)
E : {formal groups over perfect fields, isos} → {E∞-ring spectra}
E = Morava E-theory of height n at the prime p
Goal explore the structure on E∗(−). Topology ! Arithmetic
Yifei Zhu Algebraic topology and arithmetic
![Page 33: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/33.jpg)
Elliptic cohomology and Morava E-theory
Definition (Ando–Hopkins–Strickland ’01, Lurie ’09, ’18)
elliptic cohomology theory =
{E, CE0(pt),
α : Spf E0(CP∞)∼−→ C
}
Theorem (Morava ’78, Goerss–Hopkins–Miller ’90s–’04)
E : {formal groups over perfect fields, isos} → {E∞-ring spectra}
E = Morava E-theory of height n at the prime p
Goal explore the structure on E∗(−). Topology ! Arithmetic
Yifei Zhu Algebraic topology and arithmetic
![Page 34: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/34.jpg)
Elliptic cohomology and Morava E-theory
Definition (Ando–Hopkins–Strickland ’01, Lurie ’09, ’18)
elliptic cohomology theory =
{E, CE0(pt),
α : Spf E0(CP∞)∼−→ C
}
Theorem (Morava ’78, Goerss–Hopkins–Miller ’90s–’04)
E : {formal groups over perfect fields, isos} → {E∞-ring spectra}
E = Morava E-theory of height n at the prime p
Goal explore the structure on E∗(−). Topology ! Arithmetic
Yifei Zhu Algebraic topology and arithmetic
![Page 35: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/35.jpg)
Power operations for Morava E-theory
M = E-module π0M = [S,M ]S ∼= [E,M ]E
PE(M) =∨i≥0
PiE(M) =∨i≥0
(M ∧E · · · ∧E M︸ ︷︷ ︸i-fold
)hΣi
A = commutative E-algebra= algebra for the monad PE with µ : PE(A)→ A
total power operation ψi : π0A→ π0
(ABΣ+
i
)∀η ∈ π0PiE(E), individual po Qη : π0A→ π0A
}/I additive
Efη−→ PiE(E)
PiE(fx)−−−−→ PiE(A) ↪→ PE(A)
µ−→ A
Yifei Zhu Algebraic topology and arithmetic
![Page 36: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/36.jpg)
Power operations for Morava E-theory
M = E-module π0M = [S,M ]S ∼= [E,M ]E
PE(M) =∨i≥0
PiE(M) =∨i≥0
(M ∧E · · · ∧E M︸ ︷︷ ︸i-fold
)hΣi
A = commutative E-algebra= algebra for the monad PE with µ : PE(A)→ A
total power operation ψi : π0A→ π0
(ABΣ+
i
)∀η ∈ π0PiE(E), individual po Qη : π0A→ π0A
}/I additive
Efη−→ PiE(E)
PiE(fx)−−−−→ PiE(A) ↪→ PE(A)
µ−→ A
Yifei Zhu Algebraic topology and arithmetic
![Page 37: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/37.jpg)
Power operations for Morava E-theory
M = E-module π0M = [S,M ]S ∼= [E,M ]E
PE(M) =∨i≥0
PiE(M) =∨i≥0
(M ∧E · · · ∧E M︸ ︷︷ ︸i-fold
)hΣi
A = commutative E-algebra= algebra for the monad PE with µ : PE(A)→ A
total power operation ψi : π0A→ π0
(ABΣ+
i
)∀η ∈ π0PiE(E), individual po Qη : π0A→ π0A
}/I additive
Efη−→ PiE(E)
PiE(fx)−−−−→ PiE(A) ↪→ PE(A)
µ−→ A
Yifei Zhu Algebraic topology and arithmetic
![Page 38: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/38.jpg)
Power operations for Morava E-theory
M = E-module π0M = [S,M ]S ∼= [E,M ]E
PE(M) =∨i≥0
PiE(M) =∨i≥0
(M ∧E · · · ∧E M︸ ︷︷ ︸i-fold
)hΣi
A = commutative E-algebra= algebra for the monad PE with µ : PE(A)→ A
total power operation ψi : π0A→ π0
(ABΣ+
i
)∀η ∈ π0PiE(E), individual po Qη : π0A→ π0A
}/I additive
Efη−→ PiE(E)
PiE(fx)−−−−→ PiE(A) ↪→ PE(A)
µ−→ A
Yifei Zhu Algebraic topology and arithmetic
![Page 39: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/39.jpg)
Power operations for Morava E-theory
M = E-module π0M = [S,M ]S ∼= [E,M ]E
PE(M) =∨i≥0
PiE(M) =∨i≥0
(M ∧E · · · ∧E M︸ ︷︷ ︸i-fold
)hΣi
A = commutative E-algebra= algebra for the monad PE with µ : PE(A)→ A
total power operation ψi : π0A→ π0
(ABΣ+
i
)∀η ∈ π0PiE(E), individual po Qη : π0A→ π0A
}/I additive
Efη−→ PiE(E)
PiE(fx)−−−−→ PiE(A) ↪→ PE(A)
µ−→ A
Yifei Zhu Algebraic topology and arithmetic
![Page 40: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/40.jpg)
Power operations for Morava E-theory
M = E-module π0M = [S,M ]S ∼= [E,M ]E
PE(M) =∨i≥0
PiE(M) =∨i≥0
(M ∧E · · · ∧E M︸ ︷︷ ︸i-fold
)hΣi
A = commutative E-algebra= algebra for the monad PE with µ : PE(A)→ A
total power operation ψi : π0A→ π0
(ABΣ+
i
)∀η ∈ π0PiE(E), individual po Qη : π0A→ π0A
}/I additive
Efη−→ PiE(E)
PiE(fx)−−−−→ PiE(A) ↪→ PE(A)
µ−→ A
Yifei Zhu Algebraic topology and arithmetic
![Page 41: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/41.jpg)
Power operations for Morava E-theory
M = E-module π0M = [S,M ]S ∼= [E,M ]E
PE(M) =∨i≥0
PiE(M) =∨i≥0
(M ∧E · · · ∧E M︸ ︷︷ ︸i-fold
)hΣi
A = commutative E-algebra= algebra for the monad PE with µ : PE(A)→ A
total power operation ψi : π0A→ π0
(ABΣ+
i
)∀η ∈ π0PiE(E), individual po Qη : π0A→ π0A
}/I additive
Efη−→ PiE(E)
PiE(fx)−−−−→ PiE(A) ↪→ PE(A)
µ−→ A
Yifei Zhu Algebraic topology and arithmetic
![Page 42: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/42.jpg)
Power operations for Morava E-theory
M = E-module π0M = [S,M ]S ∼= [E,M ]E
PE(M) =∨i≥0
PiE(M) =∨i≥0
(M ∧E · · · ∧E M︸ ︷︷ ︸i-fold
)hΣi
A = commutative E-algebra= algebra for the monad PE with µ : PE(A)→ A
total power operation ψi : π0A→ π0
(ABΣ+
i
)∀η ∈ π0PiE(E), individual po Qη : π0A→ π0A
}/I additive
Efη−→ PiE(E)
PiE(fx)−−−−→ PiE(A) ↪→ PE(A)
µ−→ A
Yifei Zhu Algebraic topology and arithmetic
![Page 43: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/43.jpg)
Power operations for Morava E-theory
M = E-module π0M = [S,M ]S ∼= [E,M ]E
PE(M) =∨i≥0
PiE(M) =∨i≥0
(M ∧E · · · ∧E M︸ ︷︷ ︸i-fold
)hΣi
A = commutative E-algebra= algebra for the monad PE with µ : PE(A)→ A
total power operation ψi : π0A→ π0
(ABΣ+
i
)∀η ∈ π0PiE(E), individual po Qη : π0A→ π0A
}/I additive
Efη−→ PiE(E)
PiE(fx)−−−−→ PiE(A) ↪→ PE(A)
µ−→ A
Yifei Zhu Algebraic topology and arithmetic
![Page 44: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/44.jpg)
Power operations for Morava E-theory
M = E-module π0M = [S,M ]S ∼= [E,M ]E
PE(M) =∨i≥0
PiE(M) =∨i≥0
(M ∧E · · · ∧E M︸ ︷︷ ︸i-fold
)hΣi
A = commutative E-algebra= algebra for the monad PE with µ : PE(A)→ A
total power operation ψi : π0A→ π0
(ABΣ+
i
)∀η ∈ π0PiE(E), individual po Qη : π0A→ π0A
}/I additive
Efη−→ PiE(E)
PiE(fx)−−−−→ PiE(A) ↪→ PE(A)
µ−→ A
Yifei Zhu Algebraic topology and arithmetic
![Page 45: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/45.jpg)
Power operations for Morava E-theory
M = E-module π0M = [S,M ]S ∼= [E,M ]E
PE(M) =∨i≥0
PiE(M) =∨i≥0
(M ∧E · · · ∧E M︸ ︷︷ ︸i-fold
)hΣi
A = commutative E-algebra= algebra for the monad PE with µ : PE(A)→ A
total power operation ψi : π0A→ π0
(ABΣ+
i
)∀η ∈ π0PiE(E), individual po Qη : π0A→ π0A
}/I additive
Efη−→ PiE(E)
PiE(fx)−−−−→ PiE(A) ↪→ PE(A)
µ−→ A
Yifei Zhu Algebraic topology and arithmetic
![Page 46: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/46.jpg)
Power operations for Morava E-theory
M = E-module π0M = [S,M ]S ∼= [E,M ]E
PE(M) =∨i≥0
PiE(M) =∨i≥0
(M ∧E · · · ∧E M︸ ︷︷ ︸i-fold
)hΣi
A = commutative E-algebra= algebra for the monad PE with µ : PE(A)→ A
total power operation ψi : π0A→ π0
(ABΣ+
i
)∀η ∈ π0PiE(E), individual po Qη : π0A→ π0A
}/I additive
Efη−→ PiE(E)
PiE(fx)−−−−→ PiE(A) ↪→ PE(A)
µ−→ A
Yifei Zhu Algebraic topology and arithmetic
![Page 47: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/47.jpg)
Power operations for Morava E-theory
M = E-module π0M = [S,M ]S ∼= [E,M ]E
PE(M) =∨i≥0
PiE(M) =∨i≥0
(M ∧E · · · ∧E M︸ ︷︷ ︸i-fold
)hΣi
A = commutative E-algebra= algebra for the monad PE with µ : PE(A)→ A
total power operation ψi : π0A→ π0
(ABΣ+
i
)∀η ∈ π0PiE(E), individual po Qη : π0A→ π0A
}/I additive
Efη−→ PiE(E)
PiE(fx)−−−−→ PiE(A) ↪→ PE(A)
µ−→ A
Yifei Zhu Algebraic topology and arithmetic
![Page 48: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/48.jpg)
Power operations for Morava E-theory
M = E-module π0M = [S,M ]S ∼= [E,M ]E
PE(M) =∨i≥0
PiE(M) =∨i≥0
(M ∧E · · · ∧E M︸ ︷︷ ︸i-fold
)hΣi
A = commutative E-algebra= algebra for the monad PE with µ : PE(A)→ A
total power operation ψi : π0A→ π0
(ABΣ+
i
)∀η ∈ π0PiE(E), individual po Qη : π0A→ π0A
}/I additive
Efη−→ PiE(E)
PiE(fx)−−−−→ PiE(A) ↪→ PE(A)
µ−→ A
Yifei Zhu Algebraic topology and arithmetic
![Page 49: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/49.jpg)
Power operations for Morava E-theory (height n prime p)
Theorem (Rezk ’09, Barthel–Frankland ’13)
If A = K(n)-local commutative E-algebra, then
π∗A = graded amplified L-complete Γ-ring
Γ = twisted bialgebra over E0 (Dyer–Lashof algebra)
∃ Q0 ∈ Γ with Q0(x) ≡ xp mod p (Frobenius congruence)
Goal make this structure explicit just as for Dyer–Lashof/Steenrodoperations in ordinary homology.The case of n = 2 has been worked out. Arithmetic
Yifei Zhu Algebraic topology and arithmetic
![Page 50: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/50.jpg)
Power operations for Morava E-theory (height n prime p)
Theorem (Rezk ’09, Barthel–Frankland ’13)
If A = K(n)-local commutative E-algebra, then
π∗A = graded amplified L-complete Γ-ring
Γ = twisted bialgebra over E0 (Dyer–Lashof algebra)
∃ Q0 ∈ Γ with Q0(x) ≡ xp mod p (Frobenius congruence)
Goal make this structure explicit just as for Dyer–Lashof/Steenrodoperations in ordinary homology.The case of n = 2 has been worked out. Arithmetic
Yifei Zhu Algebraic topology and arithmetic
![Page 51: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/51.jpg)
Power operations for Morava E-theory (height n prime p)
Theorem (Rezk ’09, Barthel–Frankland ’13)
If A = K(n)-local commutative E-algebra, then
π∗A = graded amplified L-complete Γ-ring
Γ = twisted bialgebra over E0 (Dyer–Lashof algebra)
∃ Q0 ∈ Γ with Q0(x) ≡ xp mod p (Frobenius congruence)
Goal make this structure explicit just as for Dyer–Lashof/Steenrodoperations in ordinary homology.The case of n = 2 has been worked out. Arithmetic
Yifei Zhu Algebraic topology and arithmetic
![Page 52: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/52.jpg)
Power operations for Morava E-theory (height n prime p)
Theorem (Rezk ’09, Barthel–Frankland ’13)
If A = K(n)-local commutative E-algebra, then
π∗A = graded amplified L-complete Γ-ring
Γ = twisted bialgebra over E0 (Dyer–Lashof algebra)
∃ Q0 ∈ Γ with Q0(x) ≡ xp mod p (Frobenius congruence)
Goal make this structure explicit just as for Dyer–Lashof/Steenrodoperations in ordinary homology.The case of n = 2 has been worked out. Arithmetic
Yifei Zhu Algebraic topology and arithmetic
![Page 53: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/53.jpg)
Power operations for Morava E-theory (height n prime p)
Theorem (Rezk ’09, Barthel–Frankland ’13)
If A = K(n)-local commutative E-algebra, then
π∗A = graded amplified L-complete Γ-ring
Γ = twisted bialgebra over E0 (Dyer–Lashof algebra)
∃ Q0 ∈ Γ with Q0(x) ≡ xp mod p (Frobenius congruence)
Goal make this structure explicit just as for Dyer–Lashof/Steenrodoperations in ordinary homology.The case of n = 2 has been worked out. Arithmetic
Yifei Zhu Algebraic topology and arithmetic
![Page 54: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/54.jpg)
Power operations for Morava E-theory (height n prime p)
Theorem (Rezk ’09, Barthel–Frankland ’13)
If A = K(n)-local commutative E-algebra, then
π∗A = graded amplified L-complete Γ-ring
Γ = twisted bialgebra over E0 (Dyer–Lashof algebra)
∃ Q0 ∈ Γ with Q0(x) ≡ xp mod p (Frobenius congruence)
Goal make this structure explicit just as for Dyer–Lashof/Steenrodoperations in ordinary homology.The case of n = 2 has been worked out. Arithmetic
Yifei Zhu Algebraic topology and arithmetic
![Page 55: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/55.jpg)
Power operations for Morava E-theory (height n prime p)
Theorem (Rezk ’09, Barthel–Frankland ’13)
If A = K(n)-local commutative E-algebra, then
π∗A = graded amplified L-complete Γ-ring
Γ = twisted bialgebra over E0 (Dyer–Lashof algebra)
∃ Q0 ∈ Γ with Q0(x) ≡ xp mod p (Frobenius congruence)
Goal make this structure explicit just as for Dyer–Lashof/Steenrodoperations in ordinary homology.The case of n = 2 has been worked out. Arithmetic
Yifei Zhu Algebraic topology and arithmetic
![Page 56: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/56.jpg)
Power operations for Morava E-theory (height n = 2)
Theorem (Z. ’19)
Given any Morava E-theory E of height 2 at a prime p, there is anexplicit presentation for its algebra of power operations, in terms ofgenerators Qi : E
0(−)→ E0(−), 0 ≤ i ≤ p, and quadraticrelations
QiQ0 = −p−i∑k=1
wk0 Qi+kQk −p∑
k=1
k−1∑m=0
wm0 di, k−mQmQk
for 1 ≤ i ≤ p, where the coefficients w0 and di, k−m arise fromcertain modular equations for elliptic curves.
Remark The first example, for p = 2, was calculated by Rezk ’08.These have been applied to computations in unstable v2-periodichomotopy theory (Z. ’18 and ongoing joint work with G. Wang).
Yifei Zhu Algebraic topology and arithmetic
![Page 57: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/57.jpg)
Power operations for Morava E-theory (height n = 2)
Theorem (Z. ’19)
Given any Morava E-theory E of height 2 at a prime p, there is anexplicit presentation for its algebra of power operations, in terms ofgenerators Qi : E
0(−)→ E0(−), 0 ≤ i ≤ p, and quadraticrelations
QiQ0 = −p−i∑k=1
wk0 Qi+kQk −p∑
k=1
k−1∑m=0
wm0 di, k−mQmQk
for 1 ≤ i ≤ p, where the coefficients w0 and di, k−m arise fromcertain modular equations for elliptic curves.
Remark The first example, for p = 2, was calculated by Rezk ’08.These have been applied to computations in unstable v2-periodichomotopy theory (Z. ’18 and ongoing joint work with G. Wang).
Yifei Zhu Algebraic topology and arithmetic
![Page 58: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/58.jpg)
Power operations for Morava E-theory (height n = 2)
Theorem (Z. ’19)
Given any Morava E-theory E of height 2 at a prime p, there is anexplicit presentation for its algebra of power operations, in terms ofgenerators Qi : E
0(−)→ E0(−), 0 ≤ i ≤ p, and quadraticrelations
QiQ0 = −p−i∑k=1
wk0 Qi+kQk −p∑
k=1
k−1∑m=0
wm0 di, k−mQmQk
for 1 ≤ i ≤ p, where the coefficients w0 and di, k−m arise fromcertain modular equations for elliptic curves.
Remark The first example, for p = 2, was calculated by Rezk ’08.These have been applied to computations in unstable v2-periodichomotopy theory (Z. ’18 and ongoing joint work with G. Wang).
Yifei Zhu Algebraic topology and arithmetic
![Page 59: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/59.jpg)
Power operations for Morava E-theory (height n = 2)
Theorem (Z. ’19)
Given any Morava E-theory E of height 2 at a prime p, there is anexplicit presentation for its algebra of power operations, in terms ofgenerators Qi : E
0(−)→ E0(−), 0 ≤ i ≤ p, and quadraticrelations
QiQ0 = −p−i∑k=1
wk0 Qi+kQk −p∑
k=1
k−1∑m=0
wm0 di, k−mQmQk
for 1 ≤ i ≤ p, where the coefficients w0 and di, k−m arise fromcertain modular equations for elliptic curves.
Remark The first example, for p = 2, was calculated by Rezk ’08.These have been applied to computations in unstable v2-periodichomotopy theory (Z. ’18 and ongoing joint work with G. Wang).
Yifei Zhu Algebraic topology and arithmetic
![Page 60: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/60.jpg)
Power operations for Morava E-theory (height n = 2)
Theorem (Z. ’19)
Given any Morava E-theory E of height 2 at a prime p, there is anexplicit presentation for its algebra of power operations, in terms ofgenerators Qi : E
0(−)→ E0(−), 0 ≤ i ≤ p, and quadraticrelations
QiQ0 = −p−i∑k=1
wk0 Qi+kQk −p∑
k=1
k−1∑m=0
wm0 di, k−mQmQk
for 1 ≤ i ≤ p, where the coefficients w0 and di, k−m arise fromcertain modular equations for elliptic curves.
Remark The first example, for p = 2, was calculated by Rezk ’08.These have been applied to computations in unstable v2-periodichomotopy theory (Z. ’18 and ongoing joint work with G. Wang).
Yifei Zhu Algebraic topology and arithmetic
![Page 61: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/61.jpg)
Power operations for Morava E-theory (height n = 2)
Theorem (Z. ’19)
Given any Morava E-theory E of height 2 at a prime p, there is anexplicit presentation for its algebra of power operations, in terms ofgenerators Qi : E
0(−)→ E0(−), 0 ≤ i ≤ p, and quadraticrelations
QiQ0 = −p−i∑k=1
wk0 Qi+kQk −p∑
k=1
k−1∑m=0
wm0 di, k−mQmQk
for 1 ≤ i ≤ p, where the coefficients w0 and di, k−m arise fromcertain modular equations for elliptic curves.
Remark The first example, for p = 2, was calculated by Rezk ’08.These have been applied to computations in unstable v2-periodichomotopy theory (Z. ’18 and ongoing joint work with G. Wang).
Yifei Zhu Algebraic topology and arithmetic
![Page 62: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/62.jpg)
Power operations for Morava E-theory (height n = 2)
Theorem (Z. ’19)
Given any Morava E-theory E of height 2 at a prime p, there is anexplicit presentation for its algebra of power operations, in terms ofgenerators Qi : E
0(−)→ E0(−), 0 ≤ i ≤ p, and quadraticrelations
QiQ0 = −p−i∑k=1
wk0 Qi+kQk −p∑
k=1
k−1∑m=0
wm0 di, k−mQmQk
for 1 ≤ i ≤ p, where the coefficients w0 and di, k−m arise fromcertain modular equations for elliptic curves.
Remark The first example, for p = 2, was calculated by Rezk ’08.These have been applied to computations in unstable v2-periodichomotopy theory (Z. ’18 and ongoing joint work with G. Wang).
Yifei Zhu Algebraic topology and arithmetic
![Page 63: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/63.jpg)
Moduli of formal groups and algebras of power operations
Recall E-theory at height n and prime p has an underlying model
Fkuniv defo←−−−−− ΓW(k)Ju1,...,un−1K ! E
Frobenius isogenies power operations
An equivalence of cats (Ando–Hopkins–Strickland ’04, Rezk ’09)qcoh sheaves of grd comm algs
over the moduli problem ofdefos of F/k and Frob isogs
∼=
grd comm algs overthe Dyer–Lashof algebra
for E
Goal Compute one side explicitly to get the other side.
Yifei Zhu Algebraic topology and arithmetic
![Page 64: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/64.jpg)
Moduli of formal groups and algebras of power operations
Recall E-theory at height n and prime p has an underlying model
Fkuniv defo←−−−−− ΓW(k)Ju1,...,un−1K ! E
Frobenius isogenies power operations
An equivalence of cats (Ando–Hopkins–Strickland ’04, Rezk ’09)qcoh sheaves of grd comm algs
over the moduli problem ofdefos of F/k and Frob isogs
∼=
grd comm algs overthe Dyer–Lashof algebra
for E
Goal Compute one side explicitly to get the other side.
Yifei Zhu Algebraic topology and arithmetic
![Page 65: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/65.jpg)
Moduli of formal groups and algebras of power operations
Recall E-theory at height n and prime p has an underlying model
Fkuniv defo←−−−−− ΓW(k)Ju1,...,un−1K ! E
Frobenius isogenies power operations
An equivalence of cats (Ando–Hopkins–Strickland ’04, Rezk ’09)qcoh sheaves of grd comm algs
over the moduli problem ofdefos of F/k and Frob isogs
∼=
grd comm algs overthe Dyer–Lashof algebra
for E
Goal Compute one side explicitly to get the other side.
Yifei Zhu Algebraic topology and arithmetic
![Page 66: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/66.jpg)
Moduli of formal groups and algebras of power operations
Recall E-theory at height n and prime p has an underlying model
Fkuniv defo←−−−−− ΓW(k)Ju1,...,un−1K ! E
Frobenius isogenies power operations
An equivalence of cats (Ando–Hopkins–Strickland ’04, Rezk ’09)qcoh sheaves of grd comm algs
over the moduli problem ofdefos of F/k and Frob isogs
∼=
grd comm algs overthe Dyer–Lashof algebra
for E
Goal Compute one side explicitly to get the other side.
Yifei Zhu Algebraic topology and arithmetic
![Page 67: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/67.jpg)
Moduli of formal groups and algebras of power operations
Recall E-theory at height n and prime p has an underlying model
Fkuniv defo←−−−−− ΓW(k)Ju1,...,un−1K ! E
Frobenius isogenies power operations
An equivalence of cats (Ando–Hopkins–Strickland ’04, Rezk ’09)qcoh sheaves of grd comm algs
over the moduli problem ofdefos of F/k and Frob isogs
∼=
grd comm algs overthe Dyer–Lashof algebra
for E
Goal Compute one side explicitly to get the other side.
Yifei Zhu Algebraic topology and arithmetic
![Page 68: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/68.jpg)
Moduli of formal groups and algebras of power operations
Recall E-theory at height n and prime p has an underlying model
Fkuniv defo←−−−−− ΓW(k)Ju1,...,un−1K ! E
Frobenius isogenies power operations
An equivalence of cats (Ando–Hopkins–Strickland ’04, Rezk ’09)qcoh sheaves of grd comm algs
over the moduli problem ofdefos of F/k and Frob isogs
∼=
grd comm algs overthe Dyer–Lashof algebra
for E
Goal Compute one side explicitly to get the other side.
Yifei Zhu Algebraic topology and arithmetic
![Page 69: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/69.jpg)
Moduli of formal groups and algebras of power operations
Recall E-theory at height n and prime p has an underlying model
Fkuniv defo←−−−−− ΓW(k)Ju1,...,un−1K ! E
Frobenius isogenies power operations
An equivalence of cats (Ando–Hopkins–Strickland ’04, Rezk ’09)qcoh sheaves of grd comm algs
over the moduli problem ofdefos of F/k and Frob isogs
∼=
grd comm algs overthe Dyer–Lashof algebra
for E
Goal Compute one side explicitly to get the other side.
Yifei Zhu Algebraic topology and arithmetic
![Page 70: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/70.jpg)
Moduli of formal groups and algebras of power operations
Recall E-theory at height n and prime p has an underlying model
Fkuniv defo←−−−−− ΓW(k)Ju1,...,un−1K ! E
Frobenius isogenies power operations
An equivalence of cats (Ando–Hopkins–Strickland ’04, Rezk ’09)qcoh sheaves of grd comm algs
over the moduli problem ofdefos of F/k and Frob isogs
∼=
grd comm algs overthe Dyer–Lashof algebra
for E
Goal Compute one side explicitly to get the other side.
Yifei Zhu Algebraic topology and arithmetic
![Page 71: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/71.jpg)
Moduli of formal groups and algebras of power operations
Recall E-theory at height n and prime p has an underlying model
Fkuniv defo←−−−−− ΓW(k)Ju1,...,un−1K ! E
Frobenius isogenies power operations
An equivalence of cats (Ando–Hopkins–Strickland ’04, Rezk ’09)qcoh sheaves of grd comm algs
over the moduli problem ofdefos of F/k and Frob isogs
∼=
grd comm algs overthe Dyer–Lashof algebra
for E
Goal Compute one side explicitly to get the other side.
Yifei Zhu Algebraic topology and arithmetic
![Page 72: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/72.jpg)
Moduli of formal groups and algebras of power operations
Recall E-theory at height n and prime p has an underlying model
Fkuniv defo←−−−−− ΓW(k)Ju1,...,un−1K ! E
Frobenius isogenies power operations
An equivalence of cats (Ando–Hopkins–Strickland ’04, Rezk ’09)qcoh sheaves of grd comm algs
over the moduli problem ofdefos of F/k and Frob isogs
∼=
grd comm algs overthe Dyer–Lashof algebra
for E
Goal Compute one side explicitly to get the other side.
Yifei Zhu Algebraic topology and arithmetic
![Page 73: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/73.jpg)
Moduli of elliptic curves and D.–L. algebras at height 2
Moduli of formal groups and moduli of ell. curves (Serre–Tate ’64)p-adically, defo thy of an ec ∼= defo thy of its p-divisible gp[Γ0(p)] as an open arithmetic surface (Katz–Mazur ’85)parameters for its local ring at a supersingular point, chosen fromspecific modular forms
• Compactify the moduli
• Compute with explicit
q-expansions
• Transport from cusps
to s.sing. pt
Theorem (Z. ’19)
A choice of such parameters, h and α, satisfies the equation(α− 1)p(α− p)−
((−1)p + (−1)p−1(−p)p+h
)α = 0
Yifei Zhu Algebraic topology and arithmetic
![Page 74: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/74.jpg)
Moduli of elliptic curves and D.–L. algebras at height 2
Moduli of formal groups and moduli of ell. curves (Serre–Tate ’64)p-adically, defo thy of an ec ∼= defo thy of its p-divisible gp[Γ0(p)] as an open arithmetic surface (Katz–Mazur ’85)parameters for its local ring at a supersingular point, chosen fromspecific modular forms
• Compactify the moduli
• Compute with explicit
q-expansions
• Transport from cusps
to s.sing. pt
Theorem (Z. ’19)
A choice of such parameters, h and α, satisfies the equation(α− 1)p(α− p)−
((−1)p + (−1)p−1(−p)p+h
)α = 0
Yifei Zhu Algebraic topology and arithmetic
![Page 75: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/75.jpg)
Moduli of elliptic curves and D.–L. algebras at height 2
Moduli of formal groups and moduli of ell. curves (Serre–Tate ’64)p-adically, defo thy of a s.sing. ec ∼= defo thy of its p-divisible gp[Γ0(p)] as an open arithmetic surface (Katz–Mazur ’85)parameters for its local ring at a supersingular point, chosen fromspecific modular forms
• Compactify the moduli
• Compute with explicit
q-expansions
• Transport from cusps
to s.sing. pt
Theorem (Z. ’19)
A choice of such parameters, h and α, satisfies the equation(α− 1)p(α− p)−
((−1)p + (−1)p−1(−p)p+h
)α = 0
Yifei Zhu Algebraic topology and arithmetic
![Page 76: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/76.jpg)
Moduli of elliptic curves and D.–L. algebras at height 2
Moduli of formal groups and moduli of ell. curves (Serre–Tate ’64)p-adically, defo thy of a s.sing. ec ∼= defo thy of its formal gp[Γ0(p)] as an open arithmetic surface (Katz–Mazur ’85)parameters for its local ring at a supersingular point, chosen fromspecific modular forms
• Compactify the moduli
• Compute with explicit
q-expansions
• Transport from cusps
to s.sing. pt
Theorem (Z. ’19)
A choice of such parameters, h and α, satisfies the equation(α− 1)p(α− p)−
((−1)p + (−1)p−1(−p)p+h
)α = 0
Yifei Zhu Algebraic topology and arithmetic
![Page 77: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/77.jpg)
Moduli of elliptic curves and D.–L. algebras at height 2
Moduli of formal groups and moduli of ell. curves (Serre–Tate ’64)p-adically, defo thy of a s.sing. ec ∼= defo thy of its formal gp[Γ0(p)] as an open arithmetic surface (Katz–Mazur ’85)parameters for its local ring at a supersingular point, chosen fromspecific modular forms
• Compactify the moduli
• Compute with explicit
q-expansions
• Transport from cusps
to s.sing. pt
Theorem (Z. ’19)
A choice of such parameters, h and α, satisfies the equation(α− 1)p(α− p)−
((−1)p + (−1)p−1(−p)p+h
)α = 0
Yifei Zhu Algebraic topology and arithmetic
![Page 78: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/78.jpg)
Moduli of elliptic curves and D.–L. algebras at height 2
Moduli of formal groups and moduli of ell. curves (Serre–Tate ’64)p-adically, defo thy of a s.sing. ec ∼= defo thy of its formal gp[Γ0(p)] as an open arithmetic surface (Katz–Mazur ’85)parameters for its local ring at a supersingular point, chosen fromspecific modular forms
• Compactify the moduli
• Compute with explicit
q-expansions
• Transport from cusps
to s.sing. pt
Theorem (Z. ’19)
A choice of such parameters, h and α, satisfies the equation(α− 1)p(α− p)−
((−1)p + (−1)p−1(−p)p+h
)α = 0
Yifei Zhu Algebraic topology and arithmetic
![Page 79: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/79.jpg)
Moduli of elliptic curves and D.–L. algebras at height 2
Moduli of formal groups and moduli of ell. curves (Serre–Tate ’64)p-adically, defo thy of a s.sing. ec ∼= defo thy of its formal gp[Γ0(p)] as an open arithmetic surface (Katz–Mazur ’85)parameters for its local ring at a supersingular point, chosen fromspecific modular forms
• Compactify the moduli
• Compute with explicit
q-expansions
• Transport from cusps
to s.sing. pt
Theorem (Z. ’19)
A choice of such parameters, h and α, satisfies the equation(α− 1)p(α− p)−
((−1)p + (−1)p−1(−p)p+h
)α = 0
Yifei Zhu Algebraic topology and arithmetic
![Page 80: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/80.jpg)
Moduli of elliptic curves and D.–L. algebras at height 2
Moduli of formal groups and moduli of ell. curves (Serre–Tate ’64)p-adically, defo thy of a s.sing. ec ∼= defo thy of its formal gp[Γ0(p)] as an open arithmetic surface (Katz–Mazur ’85)parameters for its local ring at a supersingular point, chosen fromspecific modular forms
• Compactify the moduli
• Compute with explicit
q-expansions
• Transport from cusps
to s.sing. pt
Theorem (Z. ’19)
A choice of such parameters, h and α, satisfies the equation(α− 1)p(α− p)−
((−1)p + (−1)p−1(−p)p+h
)α = 0
Yifei Zhu Algebraic topology and arithmetic
![Page 81: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/81.jpg)
Moduli of elliptic curves and D.–L. algebras at height 2
Moduli of formal groups and moduli of ell. curves (Serre–Tate ’64)p-adically, defo thy of a s.sing. ec ∼= defo thy of its formal gp[Γ0(p)] as an open arithmetic surface (Katz–Mazur ’85)parameters for its local ring at a supersingular point, chosen fromspecific modular forms
• Compactify the moduli
• Compute with explicit
q-expansions
• Transport from cusps
to s.sing. pt
Theorem (Z. ’19)
A choice of such parameters, h and α, satisfies the equation(α− 1)p(α− p)−
((−1)p + (−1)p−1(−p)p+h
)α = 0
Yifei Zhu Algebraic topology and arithmetic
![Page 82: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/82.jpg)
Moduli of elliptic curves and D.–L. algebras at height 2
Moduli of formal groups and moduli of ell. curves (Serre–Tate ’64)p-adically, defo thy of a s.sing. ec ∼= defo thy of its formal gp[Γ0(p)] as an open arithmetic surface (Katz–Mazur ’85)parameters for its local ring at a supersingular point, chosen fromspecific modular forms
• Compactify the moduli
• Compute with explicit
q-expansions
• Transport from cusps
to s.sing. pt
Theorem (Z. ’19)
A choice of such parameters, h and α, satisfies the equation(α− 1)p(α− p)−
((−1)p + (−1)p−1(−p)p+h
)α = 0
Yifei Zhu Algebraic topology and arithmetic
![Page 83: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/83.jpg)
Moduli of elliptic curves and D.–L. algebras at height 2
Moduli of formal groups and moduli of ell. curves (Serre–Tate ’64)p-adically, defo thy of a s.sing. ec ∼= defo thy of its formal gp[Γ0(p)] as an open arithmetic surface (Katz–Mazur ’85)parameters for its local ring at a supersingular point, chosen fromspecific modular forms
• Compactify the moduli
• Compute with explicit
q-expansions
• Transport from cusps
to s.sing. pt
Theorem (Z. ’19)
A choice of such parameters, h and α, satisfies the equation(α− 1)p(α− p)−
((−1)p + (−1)p−1(−p)p+h
)α = 0
Yifei Zhu Algebraic topology and arithmetic
![Page 84: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/84.jpg)
Moduli of elliptic curves and D.–L. algebras at height 2
Moduli of formal groups and moduli of ell. curves (Serre–Tate ’64)p-adically, defo thy of a s.sing. ec ∼= defo thy of its formal gp[Γ0(p)] as an open arithmetic surface (Katz–Mazur ’85)parameters for its local ring at a supersingular point, chosen fromspecific modular forms
• Compactify the moduli
• Compute with explicit
q-expansions
• Transport from cusps
to s.sing. pt
Theorem (Z. ’19)
A choice of such parameters, h and α, satisfies the equation(α− 1)p(α− p)−
((−1)p + (−1)p−1(−p)p+h
)α = 0
Yifei Zhu Algebraic topology and arithmetic
![Page 85: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/85.jpg)
Moduli of elliptic curves and D.–L. algebras at height 2
Moduli of formal groups and moduli of ell. curves (Serre–Tate ’64)p-adically, defo thy of a s.sing. ec ∼= defo thy of its formal gp[Γ0(p)] as an open arithmetic surface (Katz–Mazur ’85)parameters for its local ring at a supersingular point, chosen fromspecific modular forms
• Compactify the moduli
• Compute with explicit
q-expansions
• Transport from cusps
to s.sing. pt
Theorem (Z. ’19)
A choice of such parameters, h and α, satisfies the equation(α− 1)p(α− p)−
((−1)p + (−1)p−1(−p)p+h
)α = 0
Yifei Zhu Algebraic topology and arithmetic
![Page 86: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/86.jpg)
Moduli of elliptic curves and D.–L. algebras at height 2
Moduli of formal groups and moduli of ell. curves (Serre–Tate ’64)p-adically, defo thy of a s.sing. ec ∼= defo thy of its formal gp[Γ0(p)] as an open arithmetic surface (Katz–Mazur ’85)parameters for its local ring at a supersingular point, chosen fromspecific modular forms
• Compactify the moduli
• Compute with explicit
q-expansions
• Transport from cusps
to s.sing. pt
Theorem (Z. ’19)
A choice of such parameters, h and α, satisfies the equation(α− 1)p(α− p)−
((−1)p + (−1)p−1(−p)p+h
)α ≡ α(αp−h) mod p
Yifei Zhu Algebraic topology and arithmetic
![Page 87: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/87.jpg)
Moduli of elliptic curves and D.–L. algebras at height 2
Moduli of formal groups and moduli of ell. curves (Serre–Tate ’64)p-adically, defo thy of a s.sing. ec ∼= defo thy of its formal gp[Γ0(p)] as an open arithmetic surface (Katz–Mazur ’85)parameters for its local ring at a supersingular point, chosen fromspecific modular forms
• Compactify the moduli
• Compute with explicit
q-expansions
• Transport from cusps
to s.sing. pt
Theorem (Z. ’19)
A choice of such parameters, h and α, satisfies the equation(α− 1)p(α− p)−
((−1)p + (−1)p−1(−p)p+h
)α ≡ α( jp−j) mod p
Yifei Zhu Algebraic topology and arithmetic
![Page 88: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/88.jpg)
Moduli of elliptic curves and D.–L. algebras at height 2
Moduli of formal groups and moduli of ell. curves (Serre–Tate ’64)p-adically, defo thy of a s.sing. ec ∼= defo thy of its formal gp[Γ0(p)] as an open arithmetic surface (Katz–Mazur ’85)parameters for its local ring at a supersingular point, chosen fromspecific modular forms
• Compactify the moduli
• Compute with explicit
q-expansions
• Transport from cusps
to s.sing. pt
Theorem (Z. ’19)
A choice of such parameters, h and α, satisfies the equation(α− 1)p(α− p)−
((−1)p + (−1)p−1(−p)p+h
)α ≡ α(αp−h) mod p
Yifei Zhu Algebraic topology and arithmetic
![Page 89: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/89.jpg)
Moduli of elliptic curves and D.–L. algebras at height 2
Question At height n > 2, can we get an explicit presentation forthe Dyer–Lashof algebra of Morava E-theory?Investigating J. Weinstein’s approach to integral models formodular curves via the infinite Lubin–Tate tower.
A picture from Jared Weinstein, Semistable models for modular curves of arbitrary level
Yifei Zhu Algebraic topology and arithmetic
![Page 90: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/90.jpg)
Moduli of elliptic curves and D.–L. algebras at height 2
Question At height n > 2, can we get an explicit presentation forthe Dyer–Lashof algebra of Morava E-theory?Investigating J. Weinstein’s approach to integral models formodular curves via the infinite Lubin–Tate tower.
A picture from Jared Weinstein, Semistable models for modular curves of arbitrary level
Yifei Zhu Algebraic topology and arithmetic
![Page 91: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/91.jpg)
Moduli of elliptic curves and D.–L. algebras at height 2
Question At height n > 2, can we get an explicit presentation forthe Dyer–Lashof algebra of Morava E-theory?Investigating J. Weinstein’s approach to integral models formodular curves via the infinite Lubin–Tate tower.
A picture from Jared Weinstein, Semistable models for modular curves of arbitrary level
Yifei Zhu Algebraic topology and arithmetic
![Page 92: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/92.jpg)
About Southern University of Science and Technology (SUSTech) 南方科技大学
Established in 2012, a public research-oriented universityfunded by the municipal government of Shenzhen, China’sinnovation center.
Over 800 faculty members, 4205 undergrad students, 2214postgrad/doctoral students, international students from 15countries, student:teacher = 10:1.
Set on five hundred acres of wooded landscape in thepicturesque South Mountain area.
Department of Mathematics founded in June 2015.28 research-and-teaching-line faculty members, 6 teaching-linefaculty members, 101 grad students, 205 undergrad majors.
International Center for Mathematics founded in February2019.
Yifei Zhu Algebraic topology and arithmetic
![Page 93: Algebraic topology and arithmetic · Algebraic topology and arithmetic Yifei Zhu Southern University of Science and Technology 2019 Young Mathematician Forum, BICMR Yifei Zhu Algebraic](https://reader036.fdocuments.in/reader036/viewer/2022070803/5f030a4a7e708231d4073d45/html5/thumbnails/93.jpg)
Thank you.
Yifei Zhu Algebraic topology and arithmetic