An official website of the United States government
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
-
-
I consider flat slices of moduli spaces where the (–∇ log T)-vectors of particle-towers and branes are constant, and I show that the Emergent String Conjecture constrains these vectors to reside on lattices. In asymptotic limits, this results in exponentially separated, discretized hierarchies of energy scales. I further identify conditions that determine whether a given lattice site must be populated, and I show that only a finite set of configurations satisfies these conditions. I classify all such configurations for 0d, 1d, and 2d moduli spaces in theories with 3 to 11 spacetime dimensions, and I argue that 11d is the maximal spacetime dimension compatible with my assumptions. Remarkably, this classification reproduces the detailed particle and brane content of various string theory examples with 32, 16, and 8 supercharges. It also describes some examples where the assumptions I use are violated, suggesting that my assumptions can be relaxed and the scope of this classification can be expanded. It might also predict new branes. For instance, if heterotic string theory is described by this classification, then it must possess non-BPS branes with D-brane-like tensions. Similarly, if this classification applies to the Dark Dimension Scenario with an extra modulus, then it requires the existence of strings with tensions related to the cosmological constant by T ≲ Λ^(1/6) in 4d Planck units.more » « less
-
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
-
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
-
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
- Free Publicly Accessible Full Text
-
Accepted Manuscript1.0
- Journal Article:
- https://doi.org/10.1090/proc/15003
