Related papers: The Algebraic Duality Resolution at $p=2$

A Gorenstein A-algebra R of codimension 2 is a perfect finite A-algebra such that R=Ext^2(R,A) holds as R-modules, A being a Cohen-Macaulay local ring with dim(A)-dim_A(R)=2. I prove a structure theorem for these algebras improving on an…

Let $\operatorname{E}_2$ be the Morava E-theory of height 2 at the prime 2. In this paper, we compute the homotopy groups of $\operatorname{E}_2^{hC_6} \wedge \mathbb{R}P^2$ and $\operatorname{E}_2^{hC_6} \wedge \mathbb{R}P^2 \wedge…

For a finite dimensional algebra $A$, we prove that the bounded homotopy category of projective $A$-modules and the bounded derived category of $A$-modules are dual to each other via certain categories of locally-finite cohomological…

Let $(A,\Delta)$ be a finite-dimensional Hopf algebra. The linear dual $B$ of $A$ is again a finite-dimensional Hopf algebra. The duality is given by an element $V\in B\otimes A$, defined by $\langle V,a\otimes b\rangle=\langle a,b\rangle$…

Let $F$ and $k$ be perfect fields. The main goal of this paper is to investigate algebraic models for the Morel-Voevodsky unstable motivic homotopy category $\mathrm{Ho}(F)$ after $\mathbf{H}^{\mathbb{A}^1}k$ localization. More…

We calculate the group $\kappa_2$ of exotic elements in the $K(2)$-local Picard group at the prime $2$ and find it is a group of order $2^9$ isomorphic to $(\mathbb{Z}/8)^2 \times (\mathbb{Z}/2)^3$. In order to do this we must define and…

We introduce the notion of being cohomologically complete for objects of the derived category of sheaves of $Z[\hbar]$-modules on a topological space. Then we consider a $Z[\hbar]$-algebra satisfying some suitable conditions and prove…

We calculate an explicit closed formula for the action of the height 2 full Morava stabilizer group on the coefficient ring of height 2 Morava E-theory. In particular, this yields an explicit, surprisingly simple closed formula for the…

Borel-Serre proved that $\mathrm{SL}_n(\mathbb{Z})$ is a virtual duality group of dimension $n \choose 2$ and the Steinberg module $\mathrm{St}_n(\mathbb{Q})$ is its dualizing module. This module is the top-dimensional homology group of the…

Using the root adjunction formalism developed in an earlier work and logarithmic THH, we obtain a simplified computation of $T(2)_*\text{K}(ku)$ for $p>3$. Through this, we also produce a new algebraic $K$-theory computation; namely we…

This is the last in a series of three notes on an investigation into core regular double Stone algebras, CRDSA, which are meant to be read in order. This note ends our initial investigation of duality for CRDSA through bi-topological…

We compute recursive approximations of the action of the height $h \geq 2$ Morava stabilizer group on the associated Lubin-Tate deformation ring. We then specialize to the case $h=3$ and $p>2$ to calculate the action explicitly. These…

Studied here is the effect of the presence of symmetry groups in a system of algebraic equations on the numerical resolution with fixed-point algorithms. It is proved that the symmetries imply two important properties of the system: the…

Let $G$ be a connected reductive group acting on a complex vector space $V$ and projective space ${\mathbb P}V$. Let $x\in V$ and ${\cal H}\subseteq {\cal G}$ be the Lie algebra of its stabilizer. Our objective is to understand points…

The problem of stability of the triangular libration points in the planar circular restricted three-body problem is considered. A software package, intended for normalization of autonomous Hamiltonian systems by means of computer algebra,…

We show that the $\mathbb{Z}/2$-equivariant Morava K-theories with reality (as defined by Hu) are self-dual with respect to equivariant Anderson duality. In particular, there is a universal coefficients exact sequence in Morava K-theory…

The question whether non-isomorphic finite $p$-groups can have isomorphic modular group algebras was recently answered in the negative by Garc\'ia-Lucas, Margolis and del R\'io [J. Reine Angew. Math. 783 (2022), pp. 269-274]. We embed these…

Let $K$ be the function field of a smooth projective geometrically integral curve over a finite extension of $\mathbb{Q}_p$. Following the works of Harari, Scheiderer, Szamuely, Izquierdo, and Tian, we study the local-global and weak…

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…

Let MS_2 be the p-primary second Morava stabilizer group, C a supersingular elliptic curve over \br{FF}_p, O the ring of endomorphisms of C, and \ell a topological generator of Z_p^x (respectively Z_2^x/{+-1} if p = 2). We show that for p >…