Stable Cellularity in Hopfological Algebra

You Qi

In the authors' words

Let $H$ be a nontrivial finite-dimensional nonnegatively graded connected Hopf algebra, with $ℓ = max {d : H_{d} \neq = 0}$ , and let $A \geq 0$ be a locally finite $H$ -module algebra with finite-dimensional split semisimple, $H$ -trivial $A_{0}$ . Under the gap $A_{d} = 0$ for $0 < d < ℓ$ , the shifted standard cells ${q^{- r} A e_{x} : 0 \leq r < ℓ}$ form a simple-minded collection. A socle estimate for positive syzygies proves negative-Hom vanishing, while the gap makes the degree-zero endomorphism algebra semisimple. A bounded $t$ -structure on the compact derived category with these cells is constructed, with standard cells as its simple heart objects. It is also shown that every compact object has a finite-cell representative and that compact $K_{0}$ is free on $[A e_{x}]$ over $O_{H} = K_{0} (H \mbox - g m o d)$ . The same connected-Hopf hypotheses give a Keller--Nicol\'as weight structure on the large derived category, without a claim of boundedness or preservation of compact objects. Neither a silting generator nor a bounded weight structure on compacts is forced by the gap. These arguments require neither cocommutativity nor finite representation type of $H$ . The $p$ -DG case, with $d e g (\partial) = 2$ and $ℓ = 2 p - 2$ , is treated as a specialization. Separately, under the stronger gap condition $A_{1} = \dots = A_{ℓ} = 0$ , literal cellularity of every finitely generated graded-projective hopfological module holds. Explicit $p$ -DG higher-cycle retracts and algebra-valued traces show why additional grading hypotheses are needed; in particular, dropping the gap can produce nonzero $p$ -torsion in the Grothendieck group of compact derived categories.

Main resultLimitation the authors admit

Stable Cellularity in Hopfological Algebra

In the authors' words

More on Algebra & number theory that day

A separably representable counterexample to Naimark's problem in ZFC

Some Infinite Families of Arithmetic Symplectic Hypergeometric Groups

The Kazhdan-Lusztig category of osp1∣2n​ at irrational levels

Degrees and directional defects of embedded algebraic vector bundles

Euler characteristics of strata of k-differentials

The Kazhdan-Lusztig category of $osp_{1∣2 n}$ at irrational levels

Euler characteristics of strata of $k$ -differentials