We conjecture that certain curvature invariants of compact hyperkähler manifolds are positive/negative. We prove the conjecture in complex dimension four, give an “experimental proof” in higher dimensions, and verify it for all known hyperkähler manifolds up to dimension eight. As an application, we show that our conjecture leads to a bound on the second Betti number in all dimensions.
more »
« less
Crystallization for Coulomb and Riesz interactions as a consequence of the Cohn-Kumar conjecture
The Cohn-Kumar conjecture states that the triangular lattice in dimension 2, the E 8 E_8 lattice in dimension 8, and the Leech lattice in dimension 24 are universally minimizing in the sense that they minimize the total pair interaction energy of infinite point configurations for all completely monotone functions of the squared distance. This conjecture was recently proved by Cohn-Kumar-Miller-Radchenko-Viazovska in dimensions 8 and 24. We explain in this note how the conjecture implies the minimality of the same lattices for the Coulomb and Riesz renormalized energies as well as jellium and periodic jellium energies, hence settling the question of their minimization in dimensions 8 and 24.
more »
« less
- Award ID(s):
- 2000205
- PAR ID:
- 10432951
- Date Published:
- Journal Name:
- Proceedings of the American Mathematical Society
- Volume:
- 148
- Issue:
- 733
- ISSN:
- 0002-9939
- Page Range / eLocation ID:
- 3047 to 3057
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
null (Ed.)A bstract We study some special features of F 24 , the holomorphic c = 12 superconformal field theory (SCFT) given by 24 chiral free fermions. We construct eight different Lie superalgebras of “physical” states of a chiral superstring compactified on F 24 , and we prove that they all have the structure of Borcherds-Kac-Moody superalgebras. This produces a family of new examples of such superalgebras. The models depend on the choice of an $$ \mathcal{N} $$ N = 1 supercurrent on F 24 , with the admissible choices labeled by the semisimple Lie algebras of dimension 24. We also discuss how F 24 , with any such choice of supercurrent, can be obtained via orbifolding from another distinguished c = 12 holomorphic SCFT, the $$ \mathcal{N} $$ N = 1 supersymmetric version of the chiral CFT based on the E 8 lattice.more » « less
-
Abstract We prove that among all 1-periodic configurations $$\Gamma $$ of points on the real line $$\mathbb{R}$$ the quantities $$\min _{x \in \mathbb{R}} \sum _{\gamma \in \Gamma } e^{- \pi \alpha (x - \gamma )^{2}}$$ and $$\max _{x \in \mathbb{R}} \sum _{\gamma \in \Gamma } e^{- \pi \alpha (x - \gamma )^{2}}$$ are maximized and minimized, respectively, if and only if the points are equispaced and whenever the number of points $$n$$ per period is sufficiently large (depending on $$\alpha $$). This solves the polarization problem for periodic configurations with a Gaussian weight on $$\mathbb{R}$$ for large $$n$$. The first result is shown using Fourier series. The second result follows from the work of Cohn and Kumar on universal optimality and holds for all $$n$$ (independent of $$\alpha $$).more » « less
-
We consider three graphs, 𝐺_{7,3}, 𝐺_{7,4}, and 𝐺_{7,6}, related to Keller’s conjecture in dimension 7. The conjecture is false for this dimension if and only if at least one of the graphs contains a clique of size 2^7 = 128. We present an automated method to solve this conjecture by encoding the existence of such a clique as a propositional formula. We apply satisfiability solving combined with symmetry-breaking techniques to determine that no such clique exists. This result implies that every unit cube tiling of ℝ^7 contains a facesharing pair of cubes. Since a faceshare-free unit cube tiling of ℝ^8 exists (which we also verify), this completely resolves Keller’s conjecture.more » « less
-
In this paper we study Zimmer's conjecture for $$C^{1}$$ actions of lattice subgroup of a higher-rank simple Lie group with finite center on compact manifolds. We show that when the rank of an uniform lattice is larger than the dimension of the manifold, then the action factors through a finite group. For lattices in $${\rm SL}(n, {{\mathbb {R}}})$$ , the dimensional bound is sharp.more » « less