# A smooth non-compactly generated category

Preprint · Alexander Frolov

- Archive id: arxiv:2610.14874
- Published: 2026-10-10
- arXiv: https://arxiv.org/abs/2610.14874
- Source URL: https://arxiv.org/abs/2610.14874
- PDF: https://arxiv.org/pdf/2610.14874
- Provenance: arxiv

## Abstract

Let $A=\\mathbb{Q}\[t^{\\frac{1}{2^n}}:n\\geq 0\]$ and consider $A\[u,u^{-1};σ\]$, a skew Laurent polynomial ring, where $σ(t^q)=t^{2q}$. We study the kernel of derived extension of scalars along $ A\[u,u^{-1};σ\]\\longrightarrow\\mathbb{Q}\[u,u^{-1}\], $ the quotient by $\\mathfrak{m}A\[u,u^{-1};σ\]$, with $\\mathfrak{m}=(t^{\\frac{1}{2^n}}:n\\geq 0)$. A finite free resolution of $\\mathfrak{m}A\[u,u^{-1};σ\]$ over $ A\[u,u^{-1};σ\]\\otimes\_{\\mathbb{Q}} \\bigl(A\[u,u^{-1};σ\]\\bigr)^{\\mathrm{op}} $ proves smoothness. A specialization inequality for matrix ranks supplies a nonzero exact colimit-preserving functor that vanishes on every compact object, proving failure of compact generation.

_Abstract reproduced under CC0-1.0 (arXiv descriptive metadata)._

---
Space Kitty Archive · https://space-kitty.com · API: https://space-kitty.com/api/v1 · MCP: https://space-kitty.com/mcp · Premium: $0.20/request via x402 (Base Sepolia (testnet)). Metadata: arXiv (CC0), OpenAlex (CC0), Europe PMC (CC BY/CC0 works), ClinicalTrials.gov.