Related papers: Buildings, elliptic curves, and the K(2)-local sph…

We prove structure theorems for the moduli stack of elliptic curves equipped with $G$-structures, where $G$ is a finite 2-generated metabelian group. In particular, we show that if $G$ has exponent $e$, then there is a subgroup $H\le…

Given an E-infinity ring spectrum R, with motivation from chromatic homotopy theory, we define relative effective Cartier divisors for a spectral Deligne-Mumford stack over Spet(R) and prove that, as a functor from connective R-algebras to…

The $C_2$-spectrum of Atiyah's Real $K$-theory is denoted by $\mathbf{KR}$ and the $C_2$-spectrum of topological modular forms of level structure $\Gamma_1(3)$ by $\mathbf{TMF}_1(3)$. In this short note we compute the $C_2$-equivariant…

We study the subgroup structure of discrete groups which share cohomological properties which resemble non-negative curvature. Examples include all Gromov hyperbolic groups. We provide strong restrictions on the possible s-normal subgroups…

We consider the category of presheaves of Gamma-spaces, or equivalently, of Gamma-objects in simplicial presheaves. Our main result is the construction of stable model structures on this category parametrised by local model structures on…

We define the notion of a $G$-structure for elliptic curves, where $G$ is a finite 2-generated group. When $G$ is abelian, a $G$-structure is the same as a classical congruence level structure. There is a natural action of…

We characterize all infinite-dimensional graded virtual modules for Thompson's sporadic simple group, whose graded traces are weight 3/2 weakly holomorphic modular forms satisfying certain special properties. We then use these modules to…

In this paper we find all solvable subgroups of Diff^omega(S^1) and classify their actions. We also investigate the C^r local rigidity of actions of the solvable Baumslag-Solitar groups on the circle. The investigation leads to two novel…

In this paper, we study the cohomology of the Morava stabilizer algebra $S(3)$. As an application, we show that for $p \geq 7$, if $s\not \equiv 0, \pm 1 \,\, mod \,p $, $n\not \equiv 1 \,\, mod\, 3$, $n>1$, then $\zeta_n\gamma_s$ is a…

Let F be the cubic field of discriminant -23 and O its ring of integers. Let Gamma be the arithmetic group GL_2 (O), and for any ideal n subset O let Gamma_0 (n) be the congruence subgroup of level n. In a previous paper, two of us (PG and…

Let $\Gamma$ be a group acting on with finite stabilizers and finite fundamental domain on a building of type $\tilde A_2$. We prove that any non-trivial normal subgroup of $\Gamma$ is of finite index in $\Gamma$.

We study the Picard group of Franke's category of quasi-periodic $E_0E$-comodules for $E$ a 2-periodic Landweber exact cohomology theory of height $n$ such as Morava $E$-theory, showing that for $2p-2 > n^2+n$, this group is infinite…

For a profinite group $G$, let $(\text{-})^{hG}$, $(\text{-})^{h_dG}$, and $(\text{-})^{h'G}$ denote continuous homotopy fixed points for profinite $G$-spectra, discrete $G$-spectra, and continuous $G$-spectra (coming from towers of…

A $p$-arithmetic subgroup of $\mathrm{SL}_2(\mathbb{Q})$ like the Ihara group $\Gamma := \mathrm{SL}_2(\mathbb{Z}[1/p])$ acts by M\"obius transformations on the Poincar\'e upper half plane $\mathcal{H}$ and on Drinfeld's $p$-adic upper half…

Given an elliptic curve over a field $K$ of algebraic numbers, we associate with it an action of the absolute Galois group $G_K$ in the type $A_1$ rigid DAHA-modules at roots of unity $q$ and over the rings $Z[q^{1/4}]/(p^m)$ for…

Let G be a closed subgroup of G_n, the extended Morava stabilizer group. Let E_n be the Lubin-Tate spectrum, let X be an arbitrary spectrum with trivial G-action, and define E^(X) to be L_K(n)(E_n ^ X). We prove that E^(X) is a continuous…

Let $K/F$ be a finite Galois extension of fields with $Gal(K/F)=\Gamma$. In an earlier work of Timothy Kohl, the author enumerated dihedral Hopf-Galois structures acting on dihedral extensions. Dihedral group is one particular example of…

Given a good homology theory E and a topological space X, the E-homology of X is not just an E_{*}-module but also a comodule over the Hopf algebroid (E_{*}, E_{*}E). We establish a framework for studying the homological algebra of…

The Bousfield-Kan (or unstable Adams) spectral sequence can be constructed for various homology theories such as Brown-Peterson homology theory BP, Johnson-Wilson theory $E(n)$, or Morava $E$-theory $E_n$. For nice spaces the $E_2$-term is…

Let Gamma be a semidirect product of the form Z^n rtimes Z/p where p is prime and the Z/p-action on Z^n is free away from the origin. We will compute the topological K-theory of the real and complex group C*-algebra of Gamma and show that…