×

Tensor-triangular fields: ruminations. (English) Zbl 1409.18011

The authors study a notion of field in the abstract setting of tensor-triangulated categories. They analyse various approaches, with the ultimate objective that such theory would apply to many contexts (homotopy theory, algebraic geometry, KK-theory of \(\mathbb C^*\)-algebras, and more).
A big tt-category is a rigidly-compactly generated tensor-triangulated category \(\mathcal T\), which admits all coproducts, whose compact and rigid objects coincide, and such that the essentially small subcategory \(\mathcal T^c\) of compact-rigids generates \(\mathcal T\) as a localizing subcategory.
Their basic model is inspired from commutative algebra, and the reduction of problems from global to local rings (by localization), and then to residue fields (by quotient). The localization process for tt-categories is well-understood, and so the authors concentrate on the reduction of a problem from a set of local data to that of a ‘residue field data’, which they first need to define. Namely, given a local tt-category, \(\mathcal T\), they want to find a tt-category \(\mathcal F\) and a tt-functor \(F:\mathcal T\to\mathcal F\), such that \(\mathcal F\) is a ‘tt-field’. Drawing from examples in modular representation theory of finite groups, the authors come up with the following notion: A non-trivial big tt-category \(\mathcal F\) is a tt-field if every object of \(\mathcal F\) is a coproduct of compact-rigid objects of \(\mathcal F^c\), and if every non-zero object \(X\) of \(\mathcal F\) is \(\otimes\)-faithful, i.e. the functor \(X\otimes-:\mathcal F\to\mathcal F\) is faithful.
The authors prove some basic properties of such tt-fields; in particular every tt-field has minimal spectrum. Thus they address the question of the existence of a coproduct-preserving tt-functor \(F:\mathcal T\to\mathcal F\) with \(\mathcal F\) conservative on \(\mathcal T^c\). This question remains open in general, but they propose a palliative using abelian categories, in which there exists a restricted Yoneda functor \(h:\mathcal T\to\mathcal A\), where \(\mathcal A\) is the category of \(\mathcal T^c\)-modules. Working on \(\mathcal A\), they produce a ‘residue abelian category’ \(\overline{\mathcal A}\) by ‘killing’ a suitable ideal, which has many good properties. Their first series of results proves the unconditional existence of such \(\overline{\mathcal A}\) together with a coproduct-preserving, homological and strict-monoidal functor \(\bar h:\mathcal T\to\overline{\mathcal A}\), and it establishes several properties of \(\overline{\mathcal A}\).
In their second series of results, the authors prove that if \(\mathcal T\) admits a tt-residue field \(\mathcal F\), then it produces, in a natural way, a residue abelian category, which is very close to the category of \(\mathcal F\)-modules. Key to their second main theorem is the existence of a ring-object \(\mathbb E\) which is pure-injective in \(\mathcal T\).

MSC:

18E30 Derived categories, triangulated categories (MSC2010)
20J05 Homological methods in group theory
55U35 Abstract and axiomatic homotopy theory in algebraic topology
PDFBibTeX XMLCite
Full Text: DOI arXiv

References:

[1] Auslander, M.: Representation theory of Artin algebras. II. Commun. Algebra 1, 269-310 (1974) · Zbl 0285.16029 · doi:10.1080/00927877409412807
[2] Balmer, P.: Spectra, spectra, spectra – tensor triangular spectra versus Zariski spectra of endomorphism rings. Algebra Geom. Topol. 10(3), 1521-1563 (2010) · Zbl 1204.18005 · doi:10.2140/agt.2010.10.1521
[3] Balmer, P.: Tensor triangular geometry. In: International Congress of Mathematicians, Hyderabad (2010), vol. II, pp. 85-112. Hindustan Book Agency (2010) · Zbl 1235.18012
[4] Balmer, P.: Nilpotence theorems via homological residue fields. Preprint, 16 pp. arXiv:1710.04799 (2017) · Zbl 1427.18010
[5] Balmer, P., Dell’Ambrogio, I., Sanders, B.: Restriction to finite-index subgroups as étale extensions in topology KK-theory and geometry. Algebra Geom. Topol. 15(5), 3025-3047 (2015) · Zbl 1342.55006 · doi:10.2140/agt.2015.15.3025
[6] Balmer, P., Dell’Ambrogio, I., Sanders, B.: Grothendieck-Neeman duality and the Wirthmüller isomorphism. Compos. Math. 152(8), 1740-1776 (2016) · Zbl 1408.18026 · doi:10.1112/S0010437X16007375
[7] Beligiannis, A.: Relative homological algebra and purity in triangulated categories. J. Algebra 227(1), 268-361 (2000) · Zbl 0964.18008 · doi:10.1006/jabr.1999.8237
[8] Balmer, P., Favi, G.: Generalized tensor idempotents and the telescope conjecture. Proc. Lond. Math. Soc. 102(6), 1161-1185 (2011) · Zbl 1220.18009 · doi:10.1112/plms/pdq050
[9] Balmer, P., Krause, H., Stevenson, G.: The frame of smashing tensor-ideals. Math. Proc. Cambridge Philos. Soc. (2018). https://doi.org/10.1017/S0305004118000725 · Zbl 1469.18028
[10] Carlson, J.F., Friedlander, E.M., Pevtsova, J.: Modules of constant Jordan type. J. Reine Angew. Math. 614, 191-234 (2008) · Zbl 1144.20025
[11] Gabriel, P.: Des catégories abéliennes. Bull. Soc. Math. Fr. 90, 323-448 (1962) · Zbl 0201.35602 · doi:10.24033/bsmf.1583
[12] Grothendieck, A.: Sur quelques points d’algèbre homologique. Tôhoku Math. J. 2(9), 119-221 (1957) · Zbl 0118.26104
[13] Heller, J., Ormsby, K.M.: Primes and fields in stable motivic homotopy theory. Geom. Topol. 22(4), 2187-2218 (2018). https://doi.org/10.2140/gt.2018.22.2187 · Zbl 1434.14009
[14] Hovey, M., Palmieri, J.H.: The structure of the Bousfield lattice. In: Boardman, J.M., Meyer, J-P., Morava, J., Stephen Wilson, W. (eds.) Homotopy Invariant Algebraic Structures (Baltimore, MD, 1998), Contemporary Mathematics, vol. 239, pp. 175-196. American Mathematical Society, Providence, RI (1999)
[15] Hovey, M., Palmieri, J.H., Strickland, N.P.: Axiomatic Stable Homotopy Theory. Memoirs of the American Mathematical Society, vol. 128(610) (1997) · Zbl 0881.55001
[16] Krause, H., Reichenbach, U.: Endofiniteness in stable homotopy theory. Trans. Am. Math. Soc. 353(1), 157-173 (2001) · Zbl 0965.55004 · doi:10.1090/S0002-9947-00-02642-8
[17] Krause, Henning: Smashing subcategories and the telescope conjecture—an algebraic approach. Invent. Math. 139(1), 99-133 (2000) · Zbl 0937.18013 · doi:10.1007/s002229900022
[18] Mathew, A.: Residue fields for a class of rational \[{\text{ E }}_\infty\] E∞-rings andapplications. J. Pure Appl. Algebra 221(3), 707-748 (2017) · Zbl 1364.55017 · doi:10.1016/j.jpaa.2016.07.015
[19] Mac Lane, S.: Categories for the Working Mathematician. Graduate Texts in Mathematics, vol. 5. Springer, New York (1998) · Zbl 0906.18001
[20] Neeman, A.: The chromatic tower for \[D(R)\] D(R). Topology 31(3), 519-532 (1992) · Zbl 0793.18008 · doi:10.1016/0040-9383(92)90047-L
[21] Amnon, N.: The connection between the \[KK\]-theory localization theorem of Thomason, Trobaugh and Yao and the smashing subcategories of Bousfield and Ravenel. Ann. Sci. École Norm. Sup. 25(5), 547-566 (1992) · Zbl 0868.19001 · doi:10.24033/asens.1659
[22] Neeman, A.: Triangulated Categories. Annals of Mathematics Studies, vol. 148. Princeton University Press, Princeton (2001) · Zbl 0974.18008
[23] Claus Michael Ringel and Hiroyuki Tachikawa: \[{\text{ QF }}-3\] QF-3 rings. J. Reine Angew. Math. 272, 49-72 (1974) · Zbl 0318.16006
[24] Stevenson, G.: A tour of support theory for triangulated categories through tensor triangular geometry. In: Building Bridges Between Algebra and Topology, pp. 63-101. Springer (2018) · Zbl 1400.18018
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.