Related papers: Monstrous Moonshine for integral group rings
We say that an $R$-module $M$ is {\it virtually simple} if $M\neq (0)$ and $N\cong M$ for every non-zero submodule $N$ of $M$, and {\it virtually semisimple} if each submodule of $M$ is isomorphic to a direct summand of $M$. We carry out a…
For a commutative ring $A$, we have the category of (bounded-below) chain complexes of $A$-modules $Ch_{+}(A\mymod)$, a closed symmetric monoidal category with a compatible stable Quillen model structure. The associated homotopy category is…
Let $k$ be a field of characteristic $2$ and let $H$ be a finite group or group scheme. We show that the negative Tate cohomology ring $\widehat{\text{H}}^{\leq 0}(H,k)$ can be realized as the endomorphism ring of the trivial module in a…
For a given class of modules $\A$, we denote by $\widetilde{\A}$ the class of exact complexes $X$ having all cycles in $\A$, and by $dw(\A)$ the class of complexes $Y$ with all components $Y_j$ in $\A$. We consider a two sided noetherian…
There are a number of fundamental results in the study of holomorphic function theory associated to the discrete group PSL(2,Z) including the following statements: The ring of holomorphic modular forms is generated by the holomorphic…
Let $K$ be a field, and let $R = K[X]$ be the polynomial ring in an infinite collection $X$ of indeterminates over $K$. Let ${\mathfrak S}_{X}$ be the symmetric group of $X$. The group ${\mathfrak S}_{X}$ acts naturally on $R$, and this in…
We introduce a notion of total acyclicity associated to a subcategory of an abelian category and consider the Gorenstein objects they define. These Gorenstein objects form a Frobenius category, whose induced stable category is equivalent to…
The simplest string theory compactifications to 3D with 16 supercharges -- the heterotic string on $T^7$, and type II strings on $K3 \times T^3$ -- are related by U-duality, and share a moduli space of vacua parametrized by $O(8,24;…
Using a representation theoretic parameterization for the orbits in the enhanced cyclic nilpotent cone, derived by the authors in a previous article, we compute the fundamental group of these orbits. This computation has several…
A classical theorem of Forster asserts that a finite module $M$ of rank $\leq n$ over a Noetherian ring of Krull dimension $d$ can be generated by $n + d$ elements. We prove a generalization of this result, with "module" replaced by…
For an $(n-1)$-Auslander algebra $\Lambda$ with global dimension $n$, we give some necessary conditions for $\Lambda$ admitting a maximal $(n-1)$-orthogonal subcategory in terms of the properties of simple $\Lambda$-modules with projective…
We obtain a partial classification of the finite groups $G$ for which the integral group ring $\mathbb{Z} G$ has projective cancellation, i.e. for which $P \oplus \mathbb{Z} G \cong Q \oplus \mathbb{Z} G$ implies $P \cong Q$ for projective…
The study of black holes in string theory has led to the discovery of deep and surprising connections between black holes and modular forms -- which are two classical, a priori unrelated, subjects. This article explains the main physical…
For a finite group $G$, we introduce a multiplication on the $\QQ$-vector space with basis $\scrS_{G\times G}$, the set of subgroups of $G\times G$. The resulting $\QQ$-algebra $\Atilde$ can be considered as a ghost algebra for the double…
We show that the higher Chow groups with modulus of Binda-Kerz-Saito for a smooth quasi-projective scheme $X$ is a module over the Chow ring of $X$. From this, we deduce certain pull-backs, the projective bundle formula, and the blow-up…
Answering a question posed by Conway and Norton in their seminal 1979 paper on moonshine, we prove the existence of a graded infinite-dimensional module for the sporadic simple group of O'Nan, for which the McKay--Thompson series are weight…
We compute the subgroup of the monodromy group of a generalized Kummer variety associated to equivalences of derived categories of abelian surfaces. The result was previously announced in arXiv:1201.0031. Mongardi showed that the subgroup…
We define a notion of total acyclicity for complexes of flat quasi-coherent sheaves over a semi-separated noetherian scheme, generalising complete flat resolutions over a ring. By studying these complexes as objects of the pure derived…
Let $\mathcal{M}$ be an $n$-cluster tilting subcategory of ${\rm mod}\mbox{-}\Lambda$, where $\Lambda$ is an artin algebra. Let $\mathcal{S}(\mathcal{M})$ denotes the full subcategory of $\mathcal{S}(\Lambda)$, the submodule category of…
We study rings of integral modular forms for congruence subgroups as modules over the ring of integral modular forms for the full modular group. In many cases these modules are free or decompose at least into well-understood pieces. We…