Related papers: On the construction of permutation complexes for p…
In arXiv:1308.3152, the author proved that the Khovanov-Rozansky homology $\mathcal{H}_N$ with potential $ax^{N+1}$ is an invariant for transverse links in the standard contact $3$-sphere. In the current paper, we study the $\mathbb{Z}_2…
At large primes, the height $n$ Ravenel-May spectral sequence takes as input the cohomology of a certain solvable Lie $\mathbb{F}_p$-algebra, and produces as output the mod $p$ cohomology of the height $n$ strict Morava stabilizer group…
The functors constructed by Arakawa and the author relate the representation theory of gl_n and that of the degenerate affine Hecke algebra H_l of GL_l. They transform the Verma modules over gl_n to the standard modules over H_l. They…
We construct a model structure on simplicial profinite sets such that the homotopy groups carry a natural profinite structure. This yields a rigid profinite completion functor for spaces and pro-spaces. One motivation is the \'etale…
Using the modularity technique of Wiles, we study the Hecke algebra of weight 2 and prime level N localized at the Eisenstein primes. On the way, we recover some results of Mazur ("Modular Curves and the Eisenstein Ideal") from a…
We construct a representation of the affine W-algebra of gl_r on the equivariant homology space of the moduli space of U_r-instantons on A^2, and identify the corresponding module. As a corollary we give a proof of a version of the AGT…
We extend the computations in [AGM4] to find the mod 2 homology in degree 1 of a congruence subgroup Gamma of SL(4,Z) with coefficients in the sharbly complex, along with the action of the Hecke algebra. This homology group is closely…
In this article, we explore the second integral homology, or Schur multiplier, of the special linear group ${\rm SL}_2(\mathbb{Z}[1/n])$ for a positive integer $n$. We definitively calculate the group structure of $H_2({\rm…
In [Boltje,Hartmann: Permutation resolutions for Specht modules, J. Algebraic Combin. 34 (2011), 141-162], a chain complex was constructed in a combinatorial way which conjecturally is a resolution of the (dual of the) integral Specht…
We give several resolutions of the Steinberg representation St_n for the general linear group over a principal ideal domain, in particular over Z. We compare them, and use these results to prove that the computations in [AGM4] are…
Let $G$ be a permutation group of degree $n$ and let $s(G)$ denote the number of set-orbits of $G$. We determine $\inf(\frac {\log_2 s(G)} n)$ over all groups $G$ that satisfy certain restrictions on composition factors (i.e. $Alt(k), k >…
We develop a Gr\"obner basis theory for a class of algebras that generalizes both PBW-algebras and rings of differential algebras on smooth varieties. Emphasis lies on methods to compute filtrations and graded structures defined by weight…
It is known that for a prime $p\ne 2$ there is the following natural description of the homology algebra of an abelian group $H_*(A,\mathbb F_p)\cong \Lambda(A/p)\otimes \Gamma({}_pA)$ and for finitely generated abelian groups there is the…
The well-known theory of Pontryagin duality provides a strong connection between the homology and cohomology theories of a profinite group in appropriate categories. A construction for taking the `profinite direct sum' of an infinite family…
We prove a homological stabilization theorem for Hurwitz spaces: moduli spaces of branched covers of the complex projective line. This has the following arithmetic consequence: let l>2 be prime and A a finite abelian l-group. Then there…
We study the projective linear group PGL_2(A), associated with an arbitrary algebra A, and its subgroups from the point of view of their action on the space of involutions in A. This action formally resembles Moebius transformations known…
For associative algebras in many different categories, it is possible to develop the machinery of Gr\"obner bases. A Gr\"obner basis of defining relations for an algebra of such a category provides a "monomial replacement" of this algebra.…
Consider a field k of characteristic p > 0, G_r the r-th Frobenius kernel of a smooth algebraic group G, DG_r the Drinfeld double of G_r, and M a finite dimensional DG_r-module. We prove that the cohomology algebra H*(DG_r,k) is finitely…
We study graded rings of meromorphic Hermitian modular forms of degree two whose poles are supported on an arrangement of Heegner divisors. For the group $\mathrm{SU}_{2,2}(\mathcal{O}_K)$ where $K$ is the imaginary-quadratic number field…
We introduce a refinement of the Bloch-Wigner complex of a field F. This is a complex of modules over the multiplicative group of the field. Instead of computing K_2 and indecomposable K_3 - as the classical Bloch-Wigner complex does - it…