Tensor triangular Chow groups (Q390941): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
Thanks to the the author's previous work, it is possible to reconstruct a scheme from its derived category of perfect complexes, provided we equip the latter with its derived tensor product. The scheme is recovered by means of the ``triangular spectrum'' construction, \(\mathrm{Spc}(T)\), which can be applied to any abstract tensor triangulated category~\(T\) to yield a nice (locally ringed) space in a functorial way. This is the starting point of ``tensor triangular geometry'', which is a geometric theory of tensor triangulated categories generalizing algebraic geometry (see [\textit{P. Balmer}, in: Proceedings of the international congress of mathematicians (ICM 2010), Hyderabad, India, August 2010. Vol. II: Invited lectures. Hackensack, NJ: World Scientific; New Delhi: Hindustan Book Agency. 85--112 (2011; Zbl 1235.18012)]). This very short paper addresses the question: How should we generalize the definition of the Chow group of a scheme, so that it still make good sense for more general tensor triangulated categories? Assuming that the tensor triangulated category~\(T\) is rigid and its spectrum Noetherian (which is quite reasonable), the proposed definition reads as follows. The group of ``generalized \(p\)-cycles'' of~\(T\) is the direct sum, over all \(p\)-dimensional points \(P\in \mathrm{Spc}(T)\) in the spectrum, of the (triangulated) Grothendieck \(K\)-group \(K_0(\mathrm{Min}(T_P))\), where \(\mathrm{Min}(T_P)\) denotes the subcategory of objects with minimum support in \(T_P\), the local category of \(T\) at~\(P\). This notion works for any reasonable dimension function on the spectrum. The Chow group of~\(T\) is then obtained from the group of cycles by quotienting out a suitable subgroup of boundaries. Two different definitions of boundaries are proposed here, and at least one of them allows to recover the Chow group of a scheme in the regular case. Both definitions make geometric sense in view of the classical theory. Their precise relationship and several other questions are investigated by the author's PhD student, Sebastian Klein. | |||
Property / review text: Thanks to the the author's previous work, it is possible to reconstruct a scheme from its derived category of perfect complexes, provided we equip the latter with its derived tensor product. The scheme is recovered by means of the ``triangular spectrum'' construction, \(\mathrm{Spc}(T)\), which can be applied to any abstract tensor triangulated category~\(T\) to yield a nice (locally ringed) space in a functorial way. This is the starting point of ``tensor triangular geometry'', which is a geometric theory of tensor triangulated categories generalizing algebraic geometry (see [\textit{P. Balmer}, in: Proceedings of the international congress of mathematicians (ICM 2010), Hyderabad, India, August 2010. Vol. II: Invited lectures. Hackensack, NJ: World Scientific; New Delhi: Hindustan Book Agency. 85--112 (2011; Zbl 1235.18012)]). This very short paper addresses the question: How should we generalize the definition of the Chow group of a scheme, so that it still make good sense for more general tensor triangulated categories? Assuming that the tensor triangulated category~\(T\) is rigid and its spectrum Noetherian (which is quite reasonable), the proposed definition reads as follows. The group of ``generalized \(p\)-cycles'' of~\(T\) is the direct sum, over all \(p\)-dimensional points \(P\in \mathrm{Spc}(T)\) in the spectrum, of the (triangulated) Grothendieck \(K\)-group \(K_0(\mathrm{Min}(T_P))\), where \(\mathrm{Min}(T_P)\) denotes the subcategory of objects with minimum support in \(T_P\), the local category of \(T\) at~\(P\). This notion works for any reasonable dimension function on the spectrum. The Chow group of~\(T\) is then obtained from the group of cycles by quotienting out a suitable subgroup of boundaries. Two different definitions of boundaries are proposed here, and at least one of them allows to recover the Chow group of a scheme in the regular case. Both definitions make geometric sense in view of the classical theory. Their precise relationship and several other questions are investigated by the author's PhD student, Sebastian Klein. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Ivo Dell'Ambrogio / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 18E30 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14C35 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6243809 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Chow groups | |||
Property / zbMATH Keywords: Chow groups / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
triangulated categories | |||
Property / zbMATH Keywords: triangulated categories / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
triangular spectrum | |||
Property / zbMATH Keywords: triangular spectrum / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.geomphys.2013.03.017 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2043111566 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The spectrum of prime ideals in tensor triangulated categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3096591 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Supports and filtrations in algebraic geometry and modular representation theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Spectra, spectra, spectra -- tensor triangular spectra versus Zariski spectra of endomorphism rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Modules of finite length and finite projective dimension / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Chow groups of tensor triangulated categories / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 04:36, 7 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Tensor triangular Chow groups |
scientific article |
Statements
Tensor triangular Chow groups (English)
0 references
9 January 2014
0 references
Thanks to the the author's previous work, it is possible to reconstruct a scheme from its derived category of perfect complexes, provided we equip the latter with its derived tensor product. The scheme is recovered by means of the ``triangular spectrum'' construction, \(\mathrm{Spc}(T)\), which can be applied to any abstract tensor triangulated category~\(T\) to yield a nice (locally ringed) space in a functorial way. This is the starting point of ``tensor triangular geometry'', which is a geometric theory of tensor triangulated categories generalizing algebraic geometry (see [\textit{P. Balmer}, in: Proceedings of the international congress of mathematicians (ICM 2010), Hyderabad, India, August 2010. Vol. II: Invited lectures. Hackensack, NJ: World Scientific; New Delhi: Hindustan Book Agency. 85--112 (2011; Zbl 1235.18012)]). This very short paper addresses the question: How should we generalize the definition of the Chow group of a scheme, so that it still make good sense for more general tensor triangulated categories? Assuming that the tensor triangulated category~\(T\) is rigid and its spectrum Noetherian (which is quite reasonable), the proposed definition reads as follows. The group of ``generalized \(p\)-cycles'' of~\(T\) is the direct sum, over all \(p\)-dimensional points \(P\in \mathrm{Spc}(T)\) in the spectrum, of the (triangulated) Grothendieck \(K\)-group \(K_0(\mathrm{Min}(T_P))\), where \(\mathrm{Min}(T_P)\) denotes the subcategory of objects with minimum support in \(T_P\), the local category of \(T\) at~\(P\). This notion works for any reasonable dimension function on the spectrum. The Chow group of~\(T\) is then obtained from the group of cycles by quotienting out a suitable subgroup of boundaries. Two different definitions of boundaries are proposed here, and at least one of them allows to recover the Chow group of a scheme in the regular case. Both definitions make geometric sense in view of the classical theory. Their precise relationship and several other questions are investigated by the author's PhD student, Sebastian Klein.
0 references
Chow groups
0 references
triangulated categories
0 references
triangular spectrum
0 references
0 references