Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
am giving this an entry of its own, split off from motivic homotopy theory.
Nothing much here yet, just a bare minimum so far
Incidentally, what is the right way to say “complement” more generally in a topos, for a general pointed object ?
I suppose: the union of all subobjects such that we have a Cartesian square
Not a big deal, I suppose, but does anyone discuss Tate spheres in this generality?
I am being dumb, please help:
Given a monomorphism between 0-truncated objects in an -topos, what’s the abstract argument (not via simplicial presheaves) that its homotopy cofiber is also 0-truncated?
If is a monomorphism, then its pushout along is a monomorphism. That is, the map is -truncated where is the cofiber of . A map is -truncated by definition if its fibers are -truncated, so is -truncated. In other words is -truncated.
That’s just the homotopy fiber at the basepoint. Why is that sufficient?
Sorry, was thinking of the pointed setting.
So we have to show is weakly contractible for every . We can at least see that it is discrete as follows:
Note is 0-truncated, as the pushout of . So its fiber over any point () is -truncated. We may write
This is a pullback of -truncated objects, hence is -truncated.
Somehow I also don’t see a clean argument that it is -truncated though.
Thanks. Notice that I really do need this for sheaves, where we cannot argue with global points.
Specifically in view of the topic of this thread I am looking at a class of examples where the pushout has only two global points in the first place, hence is far from being a concrete sheaf.
Incidentally, it’s trivial to see the statement in terms of prsentation by an injective model structure, using that the (-1)-truncated morphism is then represented by a monomorphism of presheaves, which is hence a cofibration of simplicial presheaves.
But it feels like this statement should have a quick intrinsic argument.
Late night thought:
Do Tate spheres represent configuration spaces of points?
For consider, in the smooth category (i.e. in the sheaf topos over the site of smooth manifolds), morphisms from Cartesian space to its Tate sphere:
We get such morphisms from, in particular, a choice of point , namely induced from any affine map which takes the origin to . This is such that any other point in goes to the base point of the Tate sphere, while the germ around maps to identically wrap around the Tate sphere.
Now, sheafifying this construction, we see that general maps include those given by any configuration of points in , sending the germ around any point in the configuration to identically wrap the Tate sphere and sending all points not in the configuration to the base point.
It feels like this construction should exhaust the set of such maps, though I don’t see right now how to prove this. But if true, then the internal hom should be close to being the unordered configuration space of points in , with its canonical smooth structure. (Or a bit fatter than that, including the choice of a germ of frames around each point.)
Just thinking out loud here. Is anything like this discussed in the literature? (The algebraic geometers might substitute “Hilbert scheme” for “configuration space”, throughout.)
Linked to Tate twist, both in the ’Related concepts’ section and in the introduction. Added some brief remarks on the relationship.
Is there a reason by the way to name this page ’Tate sphere’ rather than ’Tate circle’ this point? If we keep the name ’Tate sphere’, we should add ’Tate circle’ as a redirect I think.
(Some people do say “Tate sphere” for the Tate circle, but not conversely, as far as I am aware. Generally, it’s common to call a circle a “1-sphere”, but nobody calls the sphere a “2-circle”.)
Yes, after I wrote the above I reflected that Tate circle would be confusing. I’m not massively keen on Tate sphere, but I suppose the terminology comes from the fact that it is -weakly equivalent to , which over is a sphere of course. A bit tenuous in general though, especially for this page where it is considered more generally than the setting of -homotopy theory.
And what’s the relation to Tate twists?
I tried to roughly explain this in the entry. When forming the stable motivic homotopy category, we invert smashing with . The difference between doing this and inverting smashing with is exactly the ability to represent the Tate twist part of motivic cohomology theories. If you’re looking for something precise, see for example Theorem 10.2 in Mazza, Voevodsky, Weibel: , the étale motivic cohomology of with coefficients in where is prime to the characteristic of , is isomorphic , the étale cohomology of with coefficients in the -th Tate twist of . And to represent the part of motivic cohomology, i.e. the Tate twist part of étale cohomology with these coefficients, is exactly what inverting the Tate sphere (or in other words as well as ) rather than just allows.
I am not convinced of the deep significance of the description motivically really. It is that is really important, and the description is also important in -homotopy theory.
As I wrote in the entry, it is essentially the same story for pure motives, taking again the fact that the Tate sphere is as primary.
I tried to roughly explain this in the entry.
In which entry? At Tate sphere is just says
The Tate sphere gives rise to Tate twists
The sentences that follow just say that the Tate sphere is inverted in motivic homotopy theory.
That’s why I was asking.
If you’re looking for something precise
Since we are in the Idea section, something imprecise would be okay, possibly even desireable, but it should be contentful.
The paragraph starting with
In formal constructions of categories of motives, one typically ‘inverts the Tate sphere’
is reasonable at this point, but the two paragraphs that follow would seem to better fit in an entry like motivic homotopy theory. To keep them here would mean to effectively merge the entry Tate sphere back into the general discussion of motivic homotopy theory from which I had split it off for focus. I suggest you cut-and-paste this material to where it fits better.
The idea was to explain that the inverting of the Tate sphere is not just about representing motivic Tate twists, but ordinary ones in étale cohomology as well. But I’ve removed the two paragraphs now and added them to étale cohomology.
1 to 18 of 18