--- created: 2024-05-09T21:17 updated: 2024-06-02T22:40 flashcard: Dissertation::May_2024 --- # Main ## Basics - [ ] Give an example of an equation of a conic in $\PP^3$. - [ ] Give an example of an equation of a quadric in $\PP^3$. - [ ] What is a geometrically connected scheme? - [ ] What is quasicompactness? - [ ] What is quasiseparated? - [ ] What is properness? - [ ] What is smoothness? - [ ] What is a closed immersion? - [ ] What is a locally closed immersion? - [ ] What is an unramified morphism? - [ ] What is an affine morphism? - [ ] What is a reduced scheme? - [ ] What is a regular scheme? - [ ] What is a separable field extension? - [ ] What is a morphism of finite presentation? ## Stacks - [ ] What is a stack? - [x] What does it mean for a morphism of sheaves to be representable by a scheme? ✅ 2024-05-15 - [ ] $F\to G$ where $\forall S\to G$ from a scheme, $F\fiberprod{G}S$ is a scheme - [x] What does it mean for a morphism of stacks to be representable? ✅ 2024-05-15 - [ ] $F\to G$ where $\forall S\to G$ from a scheme, $F\fiberprod{G} S$ is an algebraic space. - [x] What is an algebraic space? ✅ 2024-05-15 - [ ] A **sheaf** $X$ on $\Sch_\Et$ such that $\exists U\to X$ a scheme which is representable by schemes and is etale and surjective. - [ ] So etale-locally a scheme. - [x] What is a DM stack? ✅ 2024-05-15 - [ ] A **stack** $\mcx$ on $\Sch_\Et$ such that $\exists U\to \mcx$ a scheme which is representable, and is etale and surjective. - [ ] So etale-locally a scheme. - [ ] Admit a finite morphism from a scheme. - [x] What is an algebraic stack? ✅ 2024-05-15 - [ ] Same definition as a DM stack, but replace "etale and surjective" with "smooth and surjective". - [ ] So smooth-locally a scheme. - [x] What is the stabilizer characterization of stacks? ✅ 2024-05-15 - [ ] Algebraic space: trivial - [ ] DM stack: discrete and reduced (hence finite) - [ ] Algebraic stack: arbitrary - [x] What is a coarse moduli space? ✅ 2024-05-17 - [ ] A morphism $\pi: \mcx \to X$ from a stack to an algebraic space which is a bijection on geometric points, so $\mcx(k)\cong X(k)$ (and in particular $\abs \mcx \cong \abs X$), and $\pi$ is universal for maps to algebraic spaces. - [x] How can one show the existence of a coarse space? ✅ 2024-05-17 - [ ] Keel-Mori: a separated finite type DM stack over a Noetherian base always admits a separated finite type coarse space. - [x] How can one show a morphism is finite? ✅ 2024-05-17 - [ ] Proper and quasifinite. - [x] How can one show an algebraic space is a scheme? ✅ 2024-05-17 - [ ] Zariski's main theorem: a quasifinite separated morphism of algebraic spaces is quasiaffine. - [x] How can one show a curve is projective? ✅ 2024-05-17 - [ ] For curves, proper $\implies$ projective. - [x] What is Riemann-Roch for curves? ✅ 2024-05-17 - [ ] $\chi(\mcl) = \deg \mcl + 1 - g$. - [x] What is Serre duality for line bundles on a curve? ✅ 2024-05-17 - [ ] $h^1(\mcl) = h^0(\omega_C \tensor \mcl\inv)$. - [x] Discuss global sections and ampleness of line bundles on smooth projective curves. ✅ 2024-05-17 - [ ] $\deg \mcl < 0 \implies h^0(\mcl) = 0$ - [ ] $\deg \mcl > 0 \implies \mcl$ is ample. - [ ] $\deg \mcl \geq 2g \implies \mcl$ is basepoint free. - [ ] $\deg \mcl \geq 2g+1 \implies \mcl$ is very ample. - [x] How does one compute the genus of an arbitrary nodal curve? ✅ 2024-05-17 - [ ] Formula: $g = \sum g_i + \delta - \nu + 1$ where $\delta$ is the number of nodes and $\nu$ is the number of irreducible components, and $g_i$ are the genera of their normalizations. - [ ] Proof: take the normalization $\pi: \tilde C\to C$ and the LES associated to $\OO_C \injects \pi_* \OO_{\tilde C} \surjects \sum \kappa(p_i)$ where the latter are residue fields of nodes, a sheaf supported in dimension 0 so $H^1$ vanishes. - [ ] What is absolute Noetherian approximation? - [ ] What is Schlessinger's theorem? - [x] What is Artin approximation? ✅ 2024-06-02 - [ ] Allows passing from completions to etale neighborhoods. # General ## Formulas - [x] What is the [adjunction formula](adjunction%20formula.md)? ✅ 2024-01-09 - [ ] For $Y\leq X$: $K_Y=\left.\left(K_X+Y\right)\right|_Y$ - [x] What is the genus-degree formula? ✅ 2024-01-17 - [ ] $g = {1\over 2}(d-1)(d-2)$. - [x] Given a degree $n$, how many points in $\PP^2$ must be fixed to guarantee a unique curve of degree $d$ passing through them? Give an example. ✅ 2024-01-11 - [ ] $m = {n+2\choose 2}$ points, since it is a degree $n$ polynomial in 2 variables. - [ ] E.g. $m=9\implies n=3$ is a cubic. ## Big Theorems - [x] What is Kodaira vanishing? ✅ 2024-01-25 - [ ] Let $X$ be a smooth complex projective variety of dimension $n$, and let $D$ be an ample divisor on $X$. Then $$ h^{i \geq 1 } \left(\mathcal{O}_X\left(K_X+D\right)\right)=0 \text{ or equivalently } h^{i\leq n-1}\left(\mathcal{O}_X(-D)\right)=0.$$ ## Knowledge - [x] What is a K3 surface? ✅ 2024-01-24 - [ ] $K_X = h^1(\OO_X) = 0$, smooth and proper. - [ ] Thus $\omega_X \cong \OO_X$ is trivial. - [x] Give several examples of K3 surfaces ✅ 2024-06-02 - [ ] $V(f_4) \subseteq \PP^3$ - [ ] $V(f_2) \intersect V(f_3) \subseteq \PP^4$ a complete intersection. - [ ] $V(f_2^1) \intersect V(f_2^2) \intersect V(f_2^3) \subseteq \PP^5$ a complete intersection. - [ ] These yield - [x] What is an Enriques surface? ✅ 2024-01-09 - [ ] $q = h^1(\OO_S) = 0$ with $\omega_S$ nontrivial and $\omega_S^{\tensor 2} \cong \OO_S$ trivial. - [x] What is an unnodal Enriques surfaces? ✅ 2024-01-09 - [ ] $S$ containing no $(-2)\dash$curves. - [x] What is a [coble surface](Coble%20Surfaces.md)? ✅ 2024-01-09 - [ ] Smooth, rational, projective, $|-K_S| = \emptyset$ but $|-2K_S| \neq \emptyset$. - [x] Give an example of a coble surface. ✅ 2024-01-09 - [ ] $\Bl_{C_{10, 6}^\sing}(\PP^2)$ where $C_{10, 6}$ is an irreducible sextic curve of degree $6$ with 10 nodes. - [x] What is a [del Pezzo surface](del%20Pezzo.md)? ✅ 2024-01-09 - [ ] Smooth, projective, $\OO_S(-K_S)$ ample. For dimension 2, del Pezzo iff [Fano](Fano). - [x] How are Coble surfaces related to Enriques surfaces? ✅ 2024-01-09 - [ ] Let $S$ be a Coble branched over a sextic $C$. Take the double branched cover $X\to S$ branched along the proper transform $\hat{C} \subseteq S$. Then $X = \mcx_0$ where $\mcx_t \to S'$ is Enriques. - [ ] Let $|L|$ be the linear system of degree 10 curves with singular points of multiplicity 3 and the 10 codes of $C$. This embeds $S\embeds \PP^5$ as a degree 10 surface $Y = \mcy_0$ where $\mcy_t$ is a projective Enriques surfaces in its Fano embedding in $\PP^5$. - [x] How are Cobles related to K3s with involution? ✅ 2024-01-09 - [ ] If $|-2K_S| \ni D$ a reduced divisor, then the double cover $X\to S$ branched along $D$ is a normal K3 with involution. - [x] What is the Enriques period domain lattice? ✅ 2024-01-10 - [ ] $U(2) \oplus E_8(2)$. - [x] What is $p_g(S)$? ✅ 2024-01-10 - [ ] $p_g(S) = h^0(K_S) = h^2(\OO_S)$ - [x] What is $q$? ✅ 2024-01-10 - [ ] $q = h^1(\OO_S)$. - [x] What is $h^i(D)$ for $D$ a divisor? ✅ 2024-01-10 - [ ] $h^i(D) \da h^i(\OO_S(D)) = h^{2-i}(K_S-D)$. - [x] What is a nef divisor? ✅ 2024-01-10 - [ ] $D$ such that $D\cdot C \geq 0$ for any effective divisor $C$. - [x] Describe the characterization of the minimal model of an Enriques surface. ✅ 2024-01-10 - [ ] $f:S\to M$ where either $K_M$ is nef or $M$ is a projective bundle over $\spec k$ or $C$ a smooth projective curve. - [x] What is Noether's formula for an Enriques surface? ✅ 2024-01-10 - [ ] $12\left(1-q+p_g\right)=K_S^2+c_2,$ - [x] What is the Kodaira dimension of an Enriques surface? ✅ 2024-01-10 - [ ] $\kappa(S) = 0$. - [x] Show $q=p_g$ for an Enriques surface. ✅ 2024-01-10 - [ ] $\kappa(S) = 0 \implies K_S^2 = 0$, and $h^0(K_S) < \infty \implies p_g \leq 1$. By Noether's formula, $q=p_g$. - [x] Define $\NS(S)$. ✅ 2024-01-10 - [ ] $\NS(S) \da \Pic(S)/\Pic^0(S)$. - [x] Define $\Num(S)$ ✅ 2024-01-10 - [ ] $\Num(S) \da \Pic(S)/\Pic^\tau(S) \cong \NS(S)/\tors$. - [x] What is $\Pic^0(S)$? ✅ 2024-01-10 - [ ] $\Pic^0(S) \da \mathbf{Pic}^0_{S/k}(k)$ where the latter parameterizes divisor classes algebraically equivalent to zero. - [x] What is $\Pic^\tau(S)$? ✅ 2024-01-10 - [ ] $\Pic^\tau(S) \da \mathbf{Pic}^\tau_{S/k}(k)$ where the latter parameterizes divisors classes numerically equivalent to zero. - [x] Relate $\kappa(S)$ and $K_S$. ✅ 2024-01-10 - [ ] $\kappa(S) = 0 \implies K_S\sim 0$ numerically, by the classification of algebraic surfaces. - [ ] Explain why $\mcl \in \Pic(S)[n]$ gives an etale $n\dash$to-one cover. - [x] What lattice is $\Num(S)$? ✅ 2024-01-10 - [ ] $\Num(S) \cong \mathbb{E}_{10} \da U\oplus E_8$. - [x] How are Enriques surfaces related to $\Bl_{10}\PP^2$ and Cobles? ✅ 2024-01-10 - [ ] Let $Y = \Bl_{10}\PP^2$, this is a rational surface. Then $\EE_{10} \cong [K_Y]^{\perp}$. - [ ] If the 10 points are double points of an irreducible rational sextic, then $Y$ is Coble. - [x] Where are Cobles in $F_{\mathrm{En}}$? ✅ 2024-01-10 - [ ] On the boundary of a partial compactification. - [x] What is a nodal Enriques? ✅ 2024-01-10 - [ ] Contains a smooth rational curve. - [ ] What is the mobile part of a divisor? - [ ] What is the fixed part of a divisor? - [ ] What is a minimal surface? - [ ] What is an elliptic surface? - [ ] What is a Halphen surface? - [ ] What is a multiple fibre? - [ ] What is a quasi-elliptic surface? - [x] What is a supersingular K3? ✅ 2024-01-11 - [ ] Picard number 22. - [ ] What is a reduced divisor? - [ ] What is SNC? - [ ] What is Serre duality? - [ ] What is the projection formula? - [ ] What is the Hurwitz formula? - [ ] What is Wu's formula? - [ ] What is Noether's formula? - [ ] What is the Hirzebruch signature theorem? - [ ] What is the Lefschetz 1-1 theorem? - [x] What is a pseudo-ample line bundle? ✅ 2024-01-13 - [ ] Big and nef. - [ ] What is the effective cone? - [ ] What is the nef cone? - [ ] What is the ample cone? - [x] What is the Lefschetz fixed point formula? ✅ 2024-01-13 - [ ] $\operatorname{Lef}(g)=\operatorname{Tr}\left(g^*: H_{\text {ét }}^*\left(X, \mathbb{Q}_{\ell}\right) \rightarrow H_{\text {ét }}^*\left(X, \mathbb{Q}_{\ell}\right)\right)=e\left(X^g\right)$. - [x] What is the definition of a supersingular variety? ✅ 2024-01-13 - [ ] The height of the formal Brauer group is infinite. - [ ] Equivalently, the slopes of the Frobenius acting on the crystalline cohomology $H^2(Y / W)$ are equal to 1. - [ ] What is Riemann-Roch? - [x] What is the Enriques-Kodaira classification of surfaces? ✅ 2024-01-24 - [ ] rational, ruled (genus > 0), type VII, K3, Enriques, Kodaira, toric, hyperelliptic, properly quasi-elliptic, or general type surfaces. - [x] Draw the geography of complex surfaces graph. ✅ 2024-01-24 - [ ] ![](2024-01-24.png) - [x] Name some birational invariants. ✅ 2024-01-24 - [ ] Plurigenera $p_n(X)$ - [x] Name some birational non-invariants ✅ 2024-01-24 - [ ] $\Pic(\Bl_1 X) = \gens{E} \oplus \Pic(X)$. - [x] Define plurigenera. ✅ 2024-01-24 - [ ] $p_n(X) = h^0(\omega_X^n)$. - [x] Draw a Hodge diamond. ✅ 2024-01-24 - [ ] ![](2024-01-24-1.png) - [x] What is the geometric genus of a surface? ✅ 2024-01-24 - [ ] $p_g(X) = h^{0, 2} = h^{2, 0} = p_1(X)$. - [x] What is the arithmetic genus of a surface? ✅ 2024-01-24 - [ ] $p_a(X) \da h^1(\OO_X) = p_g - q = h^{0, 2} - h^{0, 1}$. - [x] Give a formula for the Euler characteristic of a surface. ✅ 2024-01-24 - [ ] $\chi=p_g-q+1 = p_a - 1 = h^{0,2}-h^{0,1}+1 .$ - [ ] What is the Picard group of a quartic elliptic K3 surface? - [ ] What is the semi-continuity theorem for flat families? # Notes Hodge Theory Looijenga See https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=7c5703ab981992ae3f9fb07d825d12f8f11c865e ## Misc - [x] What is a QHS? ✅ 2023-02-12 - [ ] For $V\in\qmod^\fd$, a decomposition $V = \bigoplus_{p, q} V^{p, q}$ with $\bar{V^{p, q}} = V^{q, p}$ where $V_m \da \bigoplus_{p+q=m} V^{p, q}$ is defined over $\QQ$. - [x] What is a ZHS? ✅ 2023-02-12 - [ ] A QHS $V$ with a lattice $V(\ZZ) \subset V(\QQ)$. - [x] What is the Weil element of a QHS? ✅ 2023-02-12 - [ ] $C\in \GL(V)$ which acts as $i^{p-q}$ in $V^{p, q}$. - [x] What is a pure QHS of weight $m$? ✅ 2023-02-12 - [ ] $p+q\neq m\implies V^{p, q} = 0$ - [x] What is the colevel of a HS? ✅ 2023-02-12 - [ ] $\min\ts{p\st h^{p, m-p} \neq 0}$. - [x] What are the filtrations on a HS? ✅ 2023-02-12 - [ ] Increasing Hodge filtration: $\Fil^n V \da \sum_{p > n, q} V^{p, q}$ - [ ] Decreasing weight filtration: $\Fil_n V \da \sum_{p+q \leq n} V^{p, q}$. - [x] What are the Weil and Griffiths intermediate Jacobians? ✅ 2023-02-12 - [ ] Define $V_W$ the Weil complex structure $V_W^{1, 0}$ and Griffiths complex structure $V_G^{1 ,0} = F^{k+1}V$ - [ ] Then $$J_W(V)=V /\left(V(\mathbb{Z})+V_W^{1,0}\right) \text { and } J_G(V)=V /\left(V(\mathbb{Z})+F^{k+1} V\right)$$ - [x] What is the Serre-Deligne torus $S$? Why is it important? ✅ 2023-02-12 - [ ] $S(\RR) =\CC\units$, so $S = \Restriction{\CC}{\RR} \GG_m$. - [ ] Alternatively $\matt a {-b} b a \in \GL_2(\RR)$. - [ ] There is a cocharacter $w: \GG_m\to S$ which on real points is $\RR\units\injects \CC\units$, a QHS on $V$ is the same as an action $S\actson V$ defined over $\RR$ with $w$ defined over $\QQ$, so $V^{p, q}$ are eigenspaces with characters $z^p\bar{z}^q$. - [x] What is the Tate HS? Where does it come from? ✅ 2023-02-12 - [ ] $\ZZ(1)$ the ZHS on $\CC$ of bidegree $(-1, -1)$ with lattice $2\pi i \ZZ$. - [ ] Natural HS on $H^1(\GG_m(k))$ for $k=\kbar \subseteq \CC$, regard as $H^2(\CP^1; \ZZ)$. - [x] What is $\ZZ(m)$? $V(m)$? ✅ 2023-02-12 - [ ] $\ZZ(m) = \ZZ(1)\tensorpower{}{m}$ with lattice $(2\pi i)^m \ZZ$ - [ ] $V(m) = V\tensor_\ZZ \ZZ(m)$. - [x] What is a polarization of a QHS? ✅ 2023-02-12 - [ ] For a pure HS of weight $m$, $Q:V\tensorpower{}{2}\to \ZZ(-m)$ defined over $\QQ$ such that the form $(v,w)\mapsto (2\pi i)^m Q(Cv, w)$ is Hermitian and positive-definite, where $C$ is the Weil element. - [ ] Alternatively a morphism $V\to V\dual(-m)$, motivated by Poincare duality. - [x] What is the Hodge spectral sequence? ✅ 2023-02-12 - [ ] $E_1^{p, q} = H^q(M; \Omega_M^p) \abuts H^{p+q}(M; \CC)$. - [x] What is the primitive part of cohomology? ✅ 2023-02-12 - [ ] $H_\prim^{n-k}(M) \da \ker\qty{H^{n-k} \mapsvia{L^{k+1}} H^{n+k+2} }$. - [x] Discuss the Hodge spectral sequence for $M$ connected and projective (or more generally compact Kahler). ✅ 2023-02-12 - [ ] Degenerates at $E_1$, yielding a decreasing filtration $\Fil^* H^d(M;\CC)$ with $\gr^p H^d(M; \CC) \cong H^{d-p}(M; \Omega_M^p)$. - [ ] Puts a HS of pure weight $d$ on $H^d(M; \CC)$ with Hodge filtration $\Fil^*$. - [ ] $H^{2n}(M; \CC)= \ZZ(-n)$. - [ ] For $\eta\in H^2(M; \QQ)$ a hyperplane class, $\eta$ is type $(1,1)$ and defines a Lefschetz operator $L(\wait) \da \eta\cup(\wait)$. - [ ] Hard Lefschetz holds: $L^k: H^{n-k}(M; \QQ)\iso H^{n+k}(M; \QQ)$ for all $n$. - [ ] $$\bigoplus_{k=0}^n H_\prim^{n-k}(M; \QQ)\tensor_\RR {\CC[L] \over \gens{L^{k+1}}}\iso H^*(M; \CC)$$ - [ ] There is a polarization $$\begin{align}I: H_\prim^{n-k}(M; \QQ)\tensorpower{}{2} &\to \QQ \\ a\tensor b &\mapsto(-1)^{(n-k)(n-k-1)\over 2} \int_M L^k(a\wedge b)\end{align}$$ - [x] Discuss relative differentials? ✅ 2023-02-12 - [ ] For $f: M\to S$, $\Omega^*_M / \gens{f^* \Omega^1_S}$, a quotient of a sheaf of dg $\OO_M\dash$algebras. - [ ] Fiber over $s\in S$ is the de Rham sheaf complex of the fiber $M_s$. - [ ] Resolves $f\inv \OO_S$ by coherent $\OO_M$ modules - [x] What is a VHS? ✅ 2023-02-12 - [ ] Over a smooth variety $S$, a local system $V$ on $S$ of $\cmod^\fd$ defined over $\QQ$ - [ ] With an increasing weight filtration by sub-local systems - [ ] With a decreasing Hodge filtration on the underlying vector bundle $\mcv \da \OO_S \tensor{\CC_S} V$ by sub-bundles satisfying - [ ] Having a HS on every fiber - [ ] The covariant derivative maps $\Fil^p \mcv\to \Fil^{p-1}\mcv$. - [x] What is a PVHS over $S$? ✅ 2023-02-12 - [ ] For a VHS of pure weight $m$, a polarization $V\tensor_{\CC_S}V\to \ZZ_S(-m)$. - [x] What is the Gysin sequence? ✅ 2023-02-12 - [ ] $$\cdots \rightarrow \mathrm{H}_{\mathrm{Y}}^{\mathrm{d}}(\mathrm{X}) \rightarrow \mathrm{H}^{\mathrm{d}}(\mathrm{X}) \rightarrow \mathrm{H}^{\mathrm{d}}(\mathrm{X}-\mathrm{Y}) \rightarrow \mathrm{H}_{\mathrm{Y}}^{\mathrm{d}+1}(\mathrm{X}) \rightarrow \cdots$$ - [x] What is an MHS? ✅ 2023-02-12 - [ ] A decreasing Hodge filtration $\Fil_H V$ and an increasing weight filtration $\Fil^W V$ such that the filtration on $\gr_\ell^W$ induced by $\Fil_H$ gives a HS of pure weight $\ell$. - [x] Discuss MHSs. ✅ 2023-02-12 - [ ] For $X\in \Sch\slice \CC^\ft$ a variety, $H^d(X)$ carries a MHS with weights in $\ts{0,1,\cdots, 2d}$. - [ ] If $X$ is smooth, the weights are $\geq d$. - [ ] If $X$ is complete, the weights are $\leq d$. - [ ] This extends the functor $\Mfd_\CC\to \mathsf{HS}$ to $\Var\slice \CC^\ft\to \mathsf{MHS}$. - [ ] What are the semisimple and unipotent parts of an operator? - [x] What is a primitively polarized K3 of genus $g$? ✅ 2023-02-12 - [ ] $(X, \eta)$ where $\eta\in H^{1,1}(X; \RR)$ is a Kahler class. - [ ] Torelli: iso type of $(X, \eta)$ completely determined by $(H^2(X;\ZZ), \cap)$, $\eta$, and the HS on $H^2(X;\CC)$. - [ ] Primitive: not a proper multiple of an integral class. - [ ] $g\da 1+{1\over 2}(\eta.\eta)$; the linear system $\eta$ defines contains curves of arithmetic genus $g$. - [x] What is the polarization on $H^1(X)$ for $X$ smooth Kahler? ✅ 2023-02-12 - [ ] $(\alpha, \beta)\mapsto \int_M \alpha\wedge\beta\wedge \omega^{\dim M - 1} \in \RR$. - [x] Where do MHSs appear? ✅ 2023-02-12 - [ ] Cohomology of noncompact $\CC\dash$varieties. - [ ] Limits of PVHS - [ ] $\pi_1(X) \tensor \RR$ for $X\in\Alg\Var\slice\CC$. - [ ] $\pi_*(X)\tensor \RR$ for $X\in \Alg\Var\slice \CC$ with $\pi_1(X) = 1$. - [x] What is a polarized Hodge structure on $V\in\mods{\CC}$? ✅ 2023-02-05 - [ ] $V = \bigoplus V^{p, q}$ with $Q:V\tensor_\CC \bar V \to \CC$ such that - [ ] the decomposition is orthogonal with respect to $Q$ and - [ ] $(-1)^p Q$ is positive definite on $V^{p, q}$, so there is a positive definite Hermitian product $\inp{v}{w} \da \sum_{p, q} (-1)^p Q(v^{p, q}, w^{p, q})$. - [x] What is a polarized VHS for $(E, d: A^0(E) \to A^1(E))$ a flat bundle on $X$? ✅ 2023-02-05 - [ ] Puts a Hermitian metric on a vector bundle! - [ ] $E = \bigoplus_{p+q=k} E^{p, q}$ as sub-bundles such that $$d(A^0\left(E^{p, q}\right)) \subseteq A^{1,0}\left(E^{p, q}\right) \oplus A^{1,0}\left(E^{p-1, q+1}\right) \oplus A^{0,1}\left(E^{p, q}\right) \oplus A^{0,1}\left(E^{p+1, q-1}\right)$$ - [ ] Each fiber $E_x$ is a Hodge structure of weight $k$. - [ ] Polarization: $Q: A^0(E) \tensor _{A^0}\bar{A^0(E)} \to A^0$ which satisfies the Leibniz rule wrt $d$ and induces polarizations on every fiber. - [ ] Yields a positive definite Hermitian metric $h(u, w)\da \sum_{p+q=k} (-1)^p Q(v^{p, q}, w^{p, q})$. - [x] What is Griffiths transversaility? ✅ 2023-02-12 - [ ] $$\nabla(\mcf^p)\subseteq \mcf^{p-1} \tensor \Omega^1$$ - [ ] Needed since the Hodge filtration on the fibers are not necessarily preserved by differentiation. - [x] What is the Leray spectral sequence? ✅ 2023-02-12 - [ ] For $f:X\to Y$, $$H^p\left(Y, \RR^q f_* \mathbb{Q}\right) \Rightarrow H^{p+q}(X, \mathbb{Q})$$ - [x] Give a sufficient condition for the Leray spectral sequence to degenerate. ✅ 2023-02-12 - [ ] $f:X\to Y$ smooth projective, by Deligne, as a conseuence of Hard Lefschetz. - [x] What is a connection? ✅ 2023-02-12 - [ ] For $L$ a local system on $Y$,parallel transport induces $\nabla_\eta: V_y\to V_y$ for $\eta\in T_y Y$ and $V\da \OO_Y\tensor_\CC L$ the associated vector bundle. - [ ] Satisfies $\nabla_\eta(fv) = \eta(f)v + f\nabla_\eta(v)$. - [ ] View as an operator $\nabla: V\to \Omega^1_Y \tensor V$ satisfying $\nabla(fv) = df\tensor v + f\nabla(v)$. - [x] When is a connection integrable? ✅ 2023-02-12 - [ ] E.g. if $\nabla^2 = 0$; equivalent to having $\rank V$ solutions to $\nabla v = 0$. - [x] What is the Gauss-Manin connection? ✅ 2023-02-12 - [ ] For $f:X\to Y$, the integrable connection on $V \da \OO_Y \tensor_\CC \RR^i f_* \ul{\CC}$, the vector bundle associated to the local system $L\da \RR^1 f_* \ul{\CC}$. - [ ] Sections $L$ are precisely solutions to $\nabla v = 0$. - [x] Motivate perverse sheaves. ✅ 2023-02-12 - [ ] The Leray spectral sequence doesn't degenerate for arbitrary morphisms $f:X\to Y$, nor is there a decomposition $\RR f_* \QQ = \bigoplus \RR^q f_* \QQ [-q]$. - [ ] Instead $\RR f_* \QQ$ decomposes (in a weaker sense) into perverse sheaves. - [ ] Decomposition theorem: Let $f: X \rightarrow Y$ be a projective map of complex algebraic varieties, with $X$ smooth, then $\mathbb{R} f_* \mathbb{Q}$ decomposes into a sum of translates of simple perverse sheaves. - [ ] What is a limit MHS? - [x] Motivate $\dmod$. ✅ 2023-02-12 - [ ] Generalize integrable connections. - [ ] Coherent such correspond to a system of PDEs. - [ ] A PVHS gives a regular holonomic $\dmod$. - [x] Define $\dmod$. ✅ 2023-02-12 - [ ] For $X$, let $D_X$ be the sheaf of algebras of holomorphic differential operators. - [ ] For $X = \AA^n$, $H^0(D_X) = W^n$ the Weyl algebra: $\gens{x_1,\cdots, x_n, \del_1,\cdots, \del_n}/\gens{\left[x_i, x_j\right]=\left[\partial_i, \partial_j\right]=0,\left[\partial_i, x_j\right]=\delta_{i j}}$. - [ ] $M\in \mods{\mathcal D_X} \subset\oxmods$ if $M\in \Sh(X; \Ab\Grp)$ where $D_X\actson M$ from the left. - [x] Give an example of $M\in \dmod$. ✅ 2023-02-12 - [ ] $(V, \nabla)$ an integrable vector bundle, with $\del_i .v \da \nabla_{\del_i}(v)$. - [ ] Need integrability to get $[\del_i \del_j] = 0$. - [ ] What is a holonomic $\dmod$? - [x] What is a perverse sheaf? ✅ 2023-02-12 - [ ] An object of $D_{\const}^b(X, \cmod)$ (complexes of sheaves of vector spaces with bounded constructible cohomology) isomorphic to $\mathrm{RH}(M)$ for some $M\in \dmod^{\hol}$ and $\mathrm{RH}(\wait) \da \RHom(\wait, \OO_X)$ is the functor inducing the Riemann-Hilbert equivalence. - [x] Motivate the sheaves $\mathrm{IC}(L)$ for a local system $L$. ✅ 2023-02-12 - [ ] For singular spaces, only allow chains which meet the singular strata with appropriate codimensions. - [ ] Always a perverse sheaf. - [x] What is Saito's theorem? ✅ 2023-02-12 - [ ] For $f:X\to Y$ projective, $\RR f_* K$ decomposes into a sum of IC complexes associated to PVHS when $K$ is in a certain subcategory of regular holonomic $\dmod$. - [x] What is the significant of the weight filtration? ✅ 2023-02-12 - [ ] $\gr_\ell W_*$ carries a pure HS of weight $\ell$, so looks like $H^\ell$ of a smooth projective variety. ## Main Results - [x] Discuss VHSs. ✅ 2023-02-12 - [ ] For $f:X\to Y$, suppose $H^k(X_y; \CC)$ carries a filtration - [ ] Organize $\ts{H^k(X_y; \CC)}_{y\in Y}$ into a local system. - [ ] Tensor with functions on the base to get a flat bundle $(V, \nabla)$ - [ ] Filtrations organize into sub-bundles. - [x] What is the monodromy theorem for VHSs? ✅ 2023-02-12 - [ ] For $V$ a PVHS over $\DD^\circ$, lift via $\pi: \HH\to \DD$ to get a monodromy morphism $\rho: \pi_1(\DD^\circ) \to \Orth(H^0(\HH; \pi^* V))$ with the form $I$. - [ ] Theorem: the eigenvalues of $T\da \rho(1)$ are of the form $\zeta_n$ for some $n$, and in particular $\abs{\lambda} = 1$. - [ ] $T$ has Jordan blocks of size at most $d\da \max\ts{\abs{p-q}\st h^{p, q}\neq 0}$. - [ ] What is the nilpotent orbit theorem? # Sterk91 - [x] What is $I_m(\Lambda)$? ✅ 2023-03-30 - [ ] The space of primitive rank $m$ isotropic sublattices. - [x] What is $\Orth^*(\Lambda)$? ✅ 2023-03-30 - [ ] $\ts{g\in \Orth(\Lambda) \st g^* = \id}$ where $g^*: D(\Lambda)\selfmap$ is induced. - [x] What is the Enriques lattice? ✅ 2023-03-30 - [ ] $M \da H \perp E_8(-1)$. - [ ] What is a nodal Enriques surface? - [x] Describe Vinberg's algorithm. ✅ 2023-03-31 - [ ] Take a vector $x\in C \intersect N$ - [ ] Look for hyperplanes $H_i = e_i^\perp$ where $s_{e_i} \in W(G)$ such that - [ ] $H_1$ is closed to $x$ in $\Lambda(N)$, i.e. $y=e_1$ minimizes $(xy)^2 / \norm{y^2}$. - [ ] $e_2$ is such that $e_1 e_2 \geq 0$ and $H_2$ is closed to $x$ under these conditions, etc.