New directions in vertex algebras and moonshine
Project/Area Number |
22K03264
|
Research Category |
Grant-in-Aid for Scientific Research (C)
|
Allocation Type | Multi-year Fund |
Section | 一般 |
Review Section |
Basic Section 11010:Algebra-related
|
Research Institution | University of Tsukuba |
Principal Investigator |
|
Project Period (FY) |
2022-04-01 – 2026-03-31
|
Project Status |
Granted (Fiscal Year 2022)
|
Budget Amount *help |
¥4,160,000 (Direct Cost: ¥3,200,000、Indirect Cost: ¥960,000)
Fiscal Year 2025: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2024: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2023: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2022: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
|
Keywords | moonshine / vertex algebra / weak Hopf algebra / vertex operator algebra |
Outline of Research at the Start |
This research concerns vertex algebras. These are mathematical structures that let us precisely theorize about the physical notion of conformal field theory. Conformal field theories appear in real-world phenomena like spontaneous magnetization, but also in more abstract situations connected to string theory. This project concerns in part a particular vertex algebra with very unusual symmetry, but is also about a more general study of how new kinds of symmetry can be used to study the relations between different vertex algebras.
|
Outline of Annual Research Achievements |
Together with my student Satoru Urano, I have submitted a paper about our conjecture that unifies and generalizes Monstrous Moonshine and Modular Moonshine. Our conjecture asserts that for any subring R of the complex numbers, any subgroup G of the monster, and any ring homomorphism f from the representation ring (Green ring) of RG to the complex numbers, the "generalized McKay-Thompson series" given by applying f to the graded pieces of the monster vertex algebra is the q-expansion of a genus zero modular function. This is known in the special cases covered by Monstrous Moonshine (where R is the complex numbers) and Modular Moonshine (where R is isomorphic to a p-adic ring and G is cyclic of order with p-valuation 1), but we proved it in some additional cases, and we have shown that all generalized McKay-Thompson series satisfy an infinite collection of relations that we call "quasi-replicability". This paper has been accepted at IMRN. We have additional results that have not been submitted yet. First, we have classified homomorphisms from the Green rings of all groups of order pq, where p and q are distinct primes, and we have proved our conjecture for all "totally Fricke" cyclic groups of square-free order.
|
Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
Monstrous moonshine for integral group rings has gone more smoothly than planned. We have proved integral versions of the no-ghost theorem and analysis of the Laplacian on the monster Lie algebra, and we have proved a weak form of replicability for generalized McKay-Thompson series. We have also proved the Hauptmodul assertion of the conjecture for a large class of subgroups of the monster.
My project on weak Hopf algebras has gone more slowly than expected, because some parts turned out to be hard. In particular, I had hoped the internal tensor product would produce a symmetric monoidal category, but it turns out to require some laxness. We still do not have a Galois correspondence, and no Tannakian reconstruction.
|
Strategy for Future Research Activity |
In the moonshine project, I plan to do some computational experiments on classifying quasi-replicable functions. Additional directions for generalization include classifying homomorphisms from Green rings for more groups. Based on our positive results in order pq, it seems likely that all square-free order subgroups of the monster are tractable, and possibly even all groups whose Sylow subgroups are cyclic of cube-free order. After that, I intend to consider some cases with infinitely many indecomposable representations, like the 4-group.
In the project on weak Hopf algebras, I plan to work out more compatibility properties of internal intertwining operators, and construct a categorical framework that encodes them.
|
Report
(1 results)
Research Products
(2 results)