Tensor triangular Chow groups (Q390941): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
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 / namelinks / 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
    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

    Identifiers