What Sergio actually did is fix a typo at the end of this line.
(One day I hope to figure out why it happens that users duplicate other people’s nForum logs. Since it seems to be happening with different useres I guess it must be due to some glitch in the software?!)
]]>added publication data to this item:
Sergio
]]>added publication data to this item:
added publication data for:
So I went ahead and added a footnote (here).
]]>Thanks for the alert. I’ll try to look into it. But not now.
But since you just looked into it, you could maybe, without much effort, briefly add to the entry – not the resolution but – just this kind of caveat! Just a line like:
Beware here that … some authors… while other authors … which currently seems to remain ambiguous in this entry.
Thanks!
]]>I’m not an expert in cyclotomic spectra, but my understanding is that the various definitions in the literature are not all equivalent. The main difference I’m aware of is that the Nikolaus-Scholze definition doesn’t necessarily agree with “the other definitions” for spectra which are not bounded below. It would be nice if the nlab page made this clearer. If I had better familiarity with the subject, I’d make some edits myself.
]]>added minimal cross-link with cycle category and cyclic set and cyclic object
]]>New today:
]]>Title: Comparing cyclotomic structures on different models for topological Hochschild homology
Authors: Emanuele Dotto, Cary Malkiewich, Irakli Patchkoria, Steffen Sagave, Calvin Woo
The topological Hochschild homology of an orthogonal ring spectrum can be defined by evaluating the cyclic bar construction on or by applying B"okstedt’s original definition of to . In this paper, we construct a chain of stable equivalences of cyclotomic spectra comparing these two models for . This implies that the two versions of topological cyclic homology resulting from these variants of are equivalent. \ ( https://arxiv.org/abs/1707.07862, 33kb)
p. 6
]]>Note that contrary to the case of orthogonal cyclotomic spectra, we do not ask for any compatibility between the maps for different primes .
By the way that [BM15, Definition 4.7] they refer to, takes the term for , and then uses to provide two equivalences.
]]>Is this maybe related to the difference between their version and genuine cyclotomic spectra? When they come to define the latter, there’s something like those equivalences for all in Definition II.3.6 on p. 46, and footnote 21
Their commutative diagram in [BM15, Definition 4.7] looks different from ours, and does not seem to ask for a relation between and , ; we believe ours is the correct one, following [HM97, Definition 2.2].
By the way, how are we to think of their version? Is it that we really want the genuine form, but are to find as more convenient their version for spectra bounded below, as shown to be equivalent?
]]>The references I’ve seen say all natural numbers.
In Nikolaus-Scholze they use just the prime numbers, no? Maybe it does not matter due to the primary decomposition of cyclic groups. But that does not quite reduce to -s just to -s. Hm.
]]>The references I’ve seen say all natural numbers. Also we need to speak of the compatibility of maps.
So I’ve integrated what I found in
I’m sure it can be written more nicely.
]]>Thanks for the pointer. That’s a good thing to record. I made a start at cyclotomic space.
Hm, now I’d need go checking: do we sometimes ask for those equivalence only at primes and sometimes at all natural numbers?
(Need to run. Back later.)
]]>Since we’re seeing -completions of cyclotomic spectra, III.1.7: , how about other parts of the cohomology hexagon, -localization, etc.?
I wonder whether the category of these spectra is the tangent -category of an interesting category at . I see from here
A cyclotomic spectrum can be built by taking the suspension spectrum of a cyclotomic space
and
Def 3.6: A cyclotomic space is an -equivariant space together with compatible equivalences…
Now what kind of category would these spaces form?
]]>I have now checked with Thomas. Indeed there is nothing special about the sphere in the example II.1.2(ii). They come back to this in the middle of p. 126, where they consider the construction generally, and call it .
I have edited the Examples-section accordingly here.
Also, in the Definition section here I added the remark that those structure maps of a cyclotomic spectrum are “the Frobenius morphisms” .
I suppose this gives a neat realization of the perspective on Frobenius morphisms as arithmetic translation operators as in the section Motivation at Borger’s absolute geometry.
]]>Okay, thanks!
]]>Ah, so that’s
Theorem II.6.9.The functor induces an equivalence between the subcategories of those objects whose underlying non-equivariant spectra are bounded below.
Perhaps that could be clearer on the page, so I’ve added
]]>More formally, theorem II.6.9 states that the forgetful functor (Prop. II.3.4) induces an equivalence between the subcategories of those objects whose underlying non-equivariant spectra are bounded below.
So example 3.2 is the Nikolaus-Scholze (second picture) spectrum and example 4.9 of Blumberg-Mandell 13 is a (first picture) genuine spectrum:
Yes, they are both desribing the cyclotomic sphere, but on the two sides of the equivalence
(where the subscript is meant to be “bounded below”).
I thought you were asking if it can be right that the underlying -action on the cyclotomic sphere spectrum is trivial, and I took that as wondering whether it could be true that the genuine -equivariant sphere spectrum somehow has trival -dependence. I tried to say that the first is true without implying the latter, because these -structures on the sphere spectrum are on the two different sides of the above equivalence, and are not “the same”.
]]>What do you mean “we are going now across the equivalence”? The page cyclotomic spectrum has
The tensor unit in the symmetric monoidal (infinity,1)-category of cyclotomic spectra is the cyclotomic sphere spectrum from example 3.2 (Blumberg-Mandell 13, example 4.9)
So example 3.2 is the Nikolaus-Scholze (second picture) spectrum and example 4.9 of Blumberg-Mandell 13 is a (first picture) genuine spectrum:
]]>Example 4.9. The -equivariant sphere spectrum has a canonical structure as a cyclotomic spectrum induced by the canonical isomorphisms…
Notice that we are going now across the equivalence between “genuine” cyclotomic spectra, underlying which are genuine -equivariant spectra, and Nikolaus-Scholze cyclotomic spectra, underlying which is just a plain spectrum equipped with a plain -action (hence not a genuine but a “doubly naive” -equivariant structure).
The claim of that example II.1.2 (ii) is that to get the cyclotomic sphere in the second picture, one is to consider the trivial -action. This does not mean that the genuine -equivariant sphere spectrum (which is a very different object altogether) is trivial in its -dependence.
]]>Is it really the case, as claimed on the page, that the -equivariant sphere spectrum of Blumberg-Mandell 13, example 4.9, is the same as the sphere spectrum with trivial circle action?
]]>I have added the Nikolaus-Scholze definition here and wanted to start writing out examples here, but nothing really yet.
The construction of the cyclotomic structure on the sphere spectrum in Nikolaus-Scholze 17, example II.1.2 (ii), does that depend in any way on the spectrum being the sphere spectrum, or is it a general statement for spectra equipped with trivial circle action?
By the first lines on p. 31, this boils down to asking what it is about the sphere spectrum that makes the equivalence
work. I would have thought this is complely general, being the decomposition of the right base change along into base change along the composite
But maybe I am missing something.
]]>