
Philip Engel
Assistant Professor in Mathematics
Boyd Hall, Room 437
Department of Mathematics
University of Georgia
Athens, GA
Email: philip dot engel at uga dot edu
I am an assistant professor at University of Georgia. I was previously at Harvard as an NSF postdoc and did my PhD with Robert Friedman at Columbia. I love talking about math and meeting new people, so please drop by my office if you feel like chatting. Thanks for visiting!
My research is in low-dimensional algebraic geometry, especially degenerations of surfaces. I’m also fascinated by tilings and have thought a bit about Hurwitz theory.
Assistant Professor in Mathematics
Boyd Hall, Room 437
Department of Mathematics
University of Georgia
Athens, GA
Email: philip dot engel at uga dot edu
I am an assistant professor at University of Georgia. I was previously at Harvard as an NSF postdoc and did my PhD with Robert Friedman at Columbia. I love talking about math and meeting new people, so please drop by my office if you feel like chatting. Thanks for visiting!
My research is in low-dimensional algebraic geometry, especially degenerations of surfaces. I’m also fascinated by tilings and have thought a bit about Hurwitz theory.
Publications and Preprints
-
Compact moduli of K3 surfaces with a nonsymplectic automorphism (with Valery Alexeev and Changho Han).
- Submitted, 2021. [+]
We study moduli spaces of K3 surfaces with a non-symplectic automorphism fixing a curve of genus at least two. We show that such a moduli space has a canonically defined compactification by KSBA stable pairs. Furthermore, we prove that this compactification is a Looijenga semitoroidal compactification for some semifan. -
The flex divisor of a K3 surface (with Valery Alexeev).
- Accepted to IMRN, 2021. [+]
This paper computes the degree of the flex divisor of a primitively polarized K3 surface, defined as the set of points for which there is a pencil in the linear system of the polarization whose base locus is exactly that point. -
Compact moduli of K3 surfaces (with Valery Alexeev).
- Under revision at Annals of Mathematics, 2021. [+]
In this paper, we resolve a long-standing open problem concerning the compactification of moduli of K3 surfaces, by proving that there are (semi)toroidal modular compactifications for all degrees 2d. Our approach introduces the notion of a recognizable divisor: this is an ample divisor on the generic polarized K3 surface which is well-defined on Kulikov surfaces. We prove that the stable pair compactification associated to such a recognizable divisor is normalized by a semitoroidal compactification. Furthermore, we show that the rational curve divisor defined by the sum of the rational curves in the polarization class, is recognizable for all degrees 2d. -
Compactifications of moduli of elliptic K3 surfaces: stable pair and toroidal
(with Valery Alexeev and Adrian Brunyate).
- Accepted to Geometry and Topology, 2020. [+]
We study the stable pair compactification of elliptic K3 moduli associated to the section plus the sum of the singular fibers. We prove that the normalization of this modular compactification is in fact a toroidal compactification, and compute the fan explicitly. It ends up being a refinement of a natural Coxeter fan, which results from decomposing each Coxeter chamber into nine subchambers. - Appendix to
Contribution of one-cylinder square-tiled surfaces to Masur-Veech volumes
(with Vincent Delecroix, Elise Goujard, Peter Zograf, and Anton Zorich).
- Asterisque 415: 223-274, 2020.
[+]
In the moduli space of abelian differentials, there is an equidistributed (with respect to the Masur-Veech volume form) subset formed by square-tiled surfaces. This paper studies which proportion of the volume is due to square-tiled surfaces formed from a fixed number of vertical or horizontal cylinders. It turns out that the one-cylinder contribution is asymptotic to the inverse of the genus. My appendix computes this contribution to the volume using some simple Hurwitz theory. - Stable pair
compactification of moduli of K3 surfaces of degree 2
(with Valery Alexeev and Alan Thompson).
- Submitted, 2019.
[+]
A stable pair compactification of the moduli space of K3 surfaces can be constructed by choosing canonically an ample divisor on each K3. For degree 2 K3s, the ramification divisor of the canonical double covering map is such a choice. We prove that up to normalization, this compactification is one of Looijenga’s semitoroidal compactifications. We explicitly identify the semifan and describe the surfaces which fiber of the boundary. - The number of
convex tilings of the sphere by triangles, squares, or hexagons (with Peter Smillie).
- Geometry and Topology 22: 2839-2864, 2018.
[+]
A buckyball is a spherical carbon molecule whose rings have length 6 or less. We give a formula for the number of such combinatorial arrangements with a fixed number of carbon atoms. It turns out that these numbers form the Fourier coefficients of a modular form. The key is to use a theorem of Thurston’s which identifies these triangulations with lattice points in a Hermitian hyperbolic lattice, then integrate the Siegel theta correspondence for the corresponding symmetric space. - Hurwitz theory of elliptic orbifolds, I.
- Geometry and Topology 25: 229–274, 2021.
[+]
This paper generalizes my work with Peter Smillie to higher genera. How many triangulations of a genus g surface are there with a specified set of non-zero curvatures? It turns out the generating function is a quasi-modular form. The idea goes back to Eskin and Okounkov who connected these types of question to Hurwitz theory. The key is to count branched covers of an elliptic orbifold, i.e. a finite quotient of an elliptic curve, with specified branch profile, using representation theory of symmetric groups. - Hurwitz theory of elliptic orbifolds, II.
- 2018. [+]
This paper makes some difficult technical computations which were necessary to achieve the full quasimodularity of the Hurwitz theory of elliptic orbifolds. The key step is to realize that the Hurwitz theory of the elliptic orbifold of order N is encoded by a certain tensor product of vertex operators on N copies of Fock space, multiplied the rotation operator which cyclically rotates the N tensor factors. - Smoothings and
rational double point adjacencies for cusp singularities (with Robert Friedman).
- Journal of Differential Geometry 118(1): 23-100, 2021.
[+]
This paper explores smoothings of cusp singularities further. We show that the number of smoothing components is at least the number of deformation types of anticanonical pairs with the dual cycle. We also classify the adjacencies of a cusp singularity to a rational double point configuration. -
A proof of Looijenga's conjecture via integral-affine geometry.
- Journal of Differential Geometry 109(3): 467-495, 2018.
[+]
A cusp singularity is a surface singularity whose minimal resolution is a cycle of rational curves. These singularities come in dual pairs. In 1981, Looijenga proved that if a cusp singularity is smoothable, then the dual cycle appears as the anticanonical divisor on a rational surface. He conjectured the converse. This paper gives a proof of Looijenga's cusp conjecture using surgeries on integral-affine surfaces.
Selected Conference Talks
- Recent Developments in Hodge Theory, IMSA, Spring 2021, Lectures I & II
- MSRI thematic semester on flat surfaces, Fall 2019
- Teichmuller Theory, Hyperbolicity and Dynamics at IMPA, Summer 2019
- Casa Matematica Oaxaca, Flat Surfaces and Dynamics on Moduli Space, II, Summer 2019
- Reptile Conference, Spring 2019, organized with Nikon Kurnosov
- Workshop on Modularity in GW Theory, Michigan, Spring 2019
- Workshop on Holomorphic Differentials, Stonybrook, Spring 2019
- Character Varieties and TQFT, University of Auckland, Fall 2018
- Flat Surfaces and Algebraic Curves, Oberwolfach, Fall 2018
- Algebraic and Combinatorial Aspects of Tropical Geometry (AMS Sectional), Ohio State, Spring 2018
- AGNUBC miniconference, Fall 2017
- Poisson Geometry and Stacks, Fields Institute, Summer 2017
- Conference on moduli spaces, mirror symmetry, and enumerative geometry, ICTP, Summer 2016
- Robert Friedman’s birthday, Perspectives on Complex Algebraic Geometry, Spring 2015
- IAS thematic year on topology of algebraic varieties, Fall 2014
Notes for Teaching
- Notes on 4-manifolds (Spring 2021)
Links
- My Hypocrite Reader article on BWV 849 by Bach.
- My Hypocrite Reader article on self-reference.
- My Hypocrite Reader article on the integers.
- Some of my math friends: Raju Krishnamoorthy, Michael McBreen, Francois Greer, Eduard Duryev (who made the cool background image).