Classically, an indecomposable class $$R$$ in the cone of effective curves on a K3 surface $$X$$ is representable by a smooth rational curve if and only if $$R^{2}=-2$$ . We prove a higher-dimensional generalization conjectured by Hassett and Tschinkel: for a holomorphic symplectic variety $$M$$ deformation equivalent to a Hilbert scheme of $$n$$ points on a K3 surface, an extremal curve class $$R\in H_{2}(M,\mathbb{Z})$$ in the Mori cone is the line in a Lagrangian $$n$$ -plane $$\mathbb{P}^{n}\subset M$$ if and only if certain intersection-theoretic criteria are met. In particular, any such class satisfies $$(R,R)=-\frac{n+3}{2}$$ , and the primitive such classes are all contained in a single monodromy orbit.
more »
« less
Primitive rational points on expanding horocycles in products of the modular surface with the torus
We prove effective equidistribution of primitive rational points and of primitive rational points defined by monomials along long horocycle orbits in products of the torus and the modular surface. This answers a question posed in joint work by the first and the last-named author with Shahar Mozes and Uri Shapira. Under certain congruence conditions, we prove the joint equidistribution of conjugate rational points in the 2-torus and the modular surface.
more »
« less
- Award ID(s):
- 1700394
- PAR ID:
- 10193030
- Date Published:
- Journal Name:
- Ergodic theory and dynamical systems
- ISSN:
- 1469-4417
- Page Range / eLocation ID:
- 1 to 45
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
Abstract We prove prime geodesic theorems counting primitive closed geodesics on a compact hyperbolic 3-manifold with length and holonomy in prescribed intervals, which are allowed to shrink. Our results imply effective equidistribution of holonomy and have both the rate of shrinking and the strength of the error term fully symmetric in length and holonomy.more » « less
-
null (Ed.)We study the existence of special Lagrangian submanifolds of log Calabi–Yau manifolds equipped with the complete Ricci-flat Kähler metric constructed by Tian and Yau. We prove that if X is a Tian–Yau manifold and if the compact Calabi–Yau manifold at infinity admits a single special Lagrangian, then X admits infinitely many disjoint special Lagrangians. In complex dimension 2, we prove that if Y is a del Pezzo surface or a rational elliptic surface and D is a smooth divisor in the linear system of K_Y with D^2=d, then X=Y/D admits a special Lagrangian torus fibration, as conjectured by Strominger–Yau–Zaslow and Auroux. In fact, we show that X admits twin special Lagrangian fibrations, confirming a prediction of Leung and Yau. In the special case that Y is a rational elliptic surface or Y=P^2, we identify the singular fibers for generic data, thereby confirming two conjectures of Auroux. Finally, we prove that after a hyper-Kähler rotation, X can be compactified to the complement of a Kodaira type I_d fiber appearing as a singular fiber in a rational elliptic surface.more » « less
-
Using predictions in mirror symmetry, Căldăraru, He, and Huang recently formulated a “Moonshine Conjecture at Landau-Ginzburg points” [arXiv:2107.12405, 2021] for Klein’s modular j j -function at j = 0 j=0 and j = 1728. j=1728. The conjecture asserts that the j j -function, when specialized at specific flat coordinates on the moduli spaces of versal deformations of the corresponding CM elliptic curves, yields simple rational functions. We prove this conjecture, and show that these rational functions arise from classical 2 F 1 _2F_1 -hypergeometric inversion formulae for the j j -function.more » « less
-
Abstract We prove a 1979 conjecture of Lusztig on the cohomology of semi-infinite Deligne–Lusztig varieties attached to division algebras over local fields. We also prove the two conjectures of Boyarchenko on these varieties. It is known that in this setting, the semi-infinite Deligne–Lusztig varieties are ind-schemes comprised of limits of certain finite-type schemes X h {X_{h}} . Boyarchenko’s two conjectures are on the maximality of X h {X_{h}} and on the behavior of the torus-eigenspaces of their cohomology. Both of these conjectures were known in full generality only for division algebras with Hasse invariant 1 / n {1/n} in the case h = 2 {h=2} (the “lowest level”) by the work of Boyarchenko–Weinstein on the cohomology of a special affinoid in the Lubin–Tate tower. We prove that the number of rational points of X h {X_{h}} attains its Weil–Deligne bound, so that the cohomology of X h {X_{h}} is pure in a very strong sense. We prove that the torus-eigenspaces of the cohomology group H c i ( X h ) {H_{c}^{i}(X_{h})} are irreducible representations and are supported in exactly one cohomological degree. Finally, we give a complete description of the homology groups of the semi-infinite Deligne–Lusztig varieties attached to any division algebra, thus giving a geometric realization of a large class of supercuspidal representations of these groups. Moreover, the correspondence θ ↦ H c i ( X h ) [ θ ] {\theta\mapsto H_{c}^{i}(X_{h})[\theta]} agrees with local Langlands and Jacquet–Langlands correspondences. The techniques developed in this paper should be useful in studying these constructions for p -adic groups in general.more » « less
An official website of the United States government

