nForum - Discussion Feed (free loop space object) 2023-12-01T20:24:44+00:00 https://nforum.ncatlab.org/ Lussumo Vanilla & Feed Publisher Mike Shulman comments on "free loop space object" (65653) https://nforum.ncatlab.org/discussion/674/?Focus=65653#Comment_65653 2017-09-26T10:16:19+00:00 2023-12-01T20:24:42+00:00 Mike Shulman https://nforum.ncatlab.org/account/3/ I added a link to this answer for how to construct the action coherently.

]]>
Mike Shulman comments on "free loop space object" (65573) https://nforum.ncatlab.org/discussion/674/?Focus=65573#Comment_65573 2017-09-20T17:03:26+00:00 2023-12-01T20:24:42+00:00 Mike Shulman https://nforum.ncatlab.org/account/3/ Sure, I added a parenthetical.

]]>
David_Corfield comments on "free loop space object" (65570) https://nforum.ncatlab.org/discussion/674/?Focus=65570#Comment_65570 2017-09-20T07:42:36+00:00 2023-12-01T20:24:42+00:00 David_Corfield https://nforum.ncatlab.org/account/20/ Is that just me, or might the reader of …inducing equivalences Map(Y,X) K&simeq;Map(Y,X K)Map(Y,X)^K \simeq Map(Y,X^K) for all Y&Element;CY\in C… be given a little help with the ...

Is that just me, or might the reader of

…inducing equivalences $Map(Y,X)^K \simeq Map(Y,X^K)$ for all $Y\in C$

be given a little help with the left term? At first I was looking about for an object of $C$ to form the power of.

]]>
Mike Shulman comments on "free loop space object" (65569) https://nforum.ncatlab.org/discussion/674/?Focus=65569#Comment_65569 2017-09-20T06:48:02+00:00 2023-12-01T20:24:42+00:00 Mike Shulman https://nforum.ncatlab.org/account/3/ Ok, I added some discussion of this perspective to the “Definition” section, but I didn’t try to rewrite the “as a mapping space object” section, so there is a bit of dissonance.

Ok, I added some discussion of this perspective to the “Definition” section, but I didn’t try to rewrite the “as a mapping space object” section, so there is a bit of dissonance.

]]>
Urs comments on "free loop space object" (65552) https://nforum.ncatlab.org/discussion/674/?Focus=65552#Comment_65552 2017-09-18T19:41:01+00:00 2023-12-01T20:24:43+00:00 Urs https://nforum.ncatlab.org/account/4/ Thanks. Yes, this entry could do with some polishing and re-organization.

Thanks. Yes, this entry could do with some polishing and re-organization.

]]>
Mike Shulman comments on "free loop space object" (65551) https://nforum.ncatlab.org/discussion/674/?Focus=65551#Comment_65551 2017-09-18T18:44:20+00:00 2023-12-01T20:24:43+00:00 Mike Shulman https://nforum.ncatlab.org/account/3/ I added to free loop space object an intuitive discussion of how &Lscr;X\mathcal{L}X becomes a group object in C/XC/X and acts on all other objects of C/XC/X. Can anyone give a reference where ...

I added to free loop space object an intuitive discussion of how $\mathcal{L}X$ becomes a group object in $C/X$ and acts on all other objects of $C/X$. Can anyone give a reference where this is worked out precisely and coherently?

When I have some time, I would like to reorganize free loop space object a bit: I think the description of at “as a mapping space object” deserves to be up in the Definition section. In particular it’s not specific to $\infty$-toposes, but makes sense as a power in any $(\infty,1)$-category. It also yields another definition in terms of ordinary conical limits, namely as the equalizer of the identity map of $X$ with itself.

]]>
Urs comments on "free loop space object" (31192) https://nforum.ncatlab.org/discussion/674/?Focus=31192#Comment_31192 2012-05-09T20:11:44+00:00 2023-12-01T20:24:43+00:00 Urs https://nforum.ncatlab.org/account/4/ before I forget: I had added a brief remark on the formulation of free loop spaces in Homotopy type theory

before I forget: I had added a brief remark on the formulation of free loop spaces in Homotopy type theory

]]>
Urs comments on "free loop space object" (18583) https://nforum.ncatlab.org/discussion/674/?Focus=18583#Comment_18583 2010-11-24T09:13:56+00:00 2023-12-01T20:24:43+00:00 Urs https://nforum.ncatlab.org/account/4/ Where does the ’S 1S^1’ come from to give you LConstS 1LConst S^1? This is discussed in detail in the entry, starting here. Under Top&simeq;&infin;GrpdTop \simeq \infty Grpd the S 1S^1 ...

Where does the ’$S^1$’ come from to give you $LConst S^1$?

This is discussed in detail in the entry, starting here.

Under $Top \simeq \infty Grpd$ the $S^1$ is just the $S^1$! So in $\infty Grpd$ you may want to think of it as the fundamental $\infty$-groupoid $\Pi(S^1_{Top}) \simeq \mathbf{B}\mathbb{Z}$ of the topological circle.

But what makes all derived loop space and Hochschild cohomology yoga tick is the fact that

$S^1 \simeq * \coprod_{* \coprod *} *$

as an $\infty$-pushout. One way to see this formally is to model the $\infty$-pushout as a homotopy pushout and model that by an ordinary pushout of a resolved diagram in $sSet$. That resolved diagram can be taken to be

$\array{ * \coprod * &\to& * \\ \downarrow && \downarrow \\ \Delta &\to& \Delta/\partial \Delta }$

and so this way appears the model for $S^1$ that you have in mind.

]]>
DavidRoberts comments on "free loop space object" (18581) https://nforum.ncatlab.org/discussion/674/?Focus=18581#Comment_18581 2010-11-24T04:15:51+00:00 2023-12-01T20:24:43+00:00 DavidRoberts https://nforum.ncatlab.org/account/42/ Where does the ’S 1S^1’ come from to give you LConstS 1LConst S^1? Is it the the obvious quotient of an interval with distinct endpoints?

Where does the ’$S^1$’ come from to give you $LConst S^1$? Is it the the obvious quotient of an interval with distinct endpoints?

]]>
Urs comments on "free loop space object" (18579) https://nforum.ncatlab.org/discussion/674/?Focus=18579#Comment_18579 2010-11-24T00:46:32+00:00 2023-12-01T20:24:43+00:00 Urs https://nforum.ncatlab.org/account/4/ at free loop space object I formalized the discussion of how in an (&infin;,1)(\infty,1)-topos the free space object &Lscr;X\mathcal{L}X is given by the internal hom object [LConstS ...

at free loop space object I formalized the discussion of how in an $(\infty,1)$-topos the free space object $\mathcal{L}X$ is given by the internal hom object $[LConst S^1 , X]$.

This is now in the section Free loop space object – In an $(\infty,1)$-topos.

(The discussion of the induced $S^1$-action currently given there should be improved by discussing that $LConst S^1$ has a canonical cogroup object structure.)

]]>
zskoda comments on "free loop space object" (5720) https://nforum.ncatlab.org/discussion/674/?Focus=5720#Comment_5720 2010-02-24T14:13:47+00:00 2023-12-01T20:24:43+00:00 zskoda https://nforum.ncatlab.org/account/10/ But I also suggest reading together with it those crystals and D-modules notes to which I posted links to in nlab few days ago (e.g. to D-module) and left a note in nforum. The point is that there is ...

But I also suggest reading together with it those crystals and D-modules notes to which I posted links to in nlab few days ago (e.g. to D-module) and left a note in nforum. The point is that there is not only linear version (D-modules and crystals of qcoh modules), but also nonlinear (D-schemes and crystals of schemes).

]]>
zskoda comments on "free loop space object" (5719) https://nforum.ncatlab.org/discussion/674/?Focus=5719#Comment_5719 2010-02-24T14:00:36+00:00 2023-12-01T20:24:43+00:00 zskoda https://nforum.ncatlab.org/account/10/ I read it on Monday evening till 3:30 am and I am tired now.

I read it on Monday evening till 3:30 am and I am tired now.

]]>
Urs comments on "free loop space object" (5691) https://nforum.ncatlab.org/discussion/674/?Focus=5691#Comment_5691 2010-02-24T00:29:51+00:00 2023-12-01T20:24:43+00:00 Urs https://nforum.ncatlab.org/account/4/ I am busy reading David Ben-Zvi, David Nadler: Loop Spaces and Connections. Lots of answers in there...

David Ben-Zvi, David Nadler: Loop Spaces and Connections.

]]>
domenico_fiorenza comments on "free loop space object" (4800) https://nforum.ncatlab.org/discussion/674/?Focus=4800#Comment_4800 2010-02-02T11:13:36+00:00 2023-12-01T20:24:43+00:00 domenico_fiorenza https://nforum.ncatlab.org/account/37/ done. when you have time please have a look. done. when you have time please have a look. ]]> domenico_fiorenza comments on "free loop space object" (4796) https://nforum.ncatlab.org/discussion/674/?Focus=4796#Comment_4796 2010-02-02T10:38:08+00:00 2023-12-01T20:24:43+00:00 domenico_fiorenza https://nforum.ncatlab.org/account/37/ fine. I'll now edit the entry with the -action, and with as the subgroup giving the circle action. fine. I'll now edit the entry with the -action, and with as the subgroup giving the circle action. ]]> Urs comments on "free loop space object" (4795) https://nforum.ncatlab.org/discussion/674/?Focus=4795#Comment_4795 2010-02-02T10:18:39+00:00 2023-12-01T20:24:43+00:00 Urs https://nforum.ncatlab.org/account/4/ Domenico, yes, I agree, that's a way to put it. But maybe we can start out saying that a priori all of acts on , while the "circle action" proper is only the part . Because the other ...

Domenico,

yes, I agree, that's a way to put it.

But maybe we can start out saying that a priori all of $END(\mathbf{B} \mathbb{Z})$ acts on $\mathcal{L}X$, while the "circle action" proper is only the part $AUT_0(\mathbf{B}\mathbb{Z}) \simeq \mathbf{B}\mathbb{Z}$. Because the other parts of $END(\mathbf{B} \mathbb{Z})$ will have a role to play, too. As we said, the $\mathbb{N}$-grading on $C(\mathcal{L}X,\mathbb{C})$ is induced from the action of what on the homology $\simeq \mathbb{R} \oplus \theta \mathbb{R}$ of the circle acts by $\theta \frac{\partial}{\partial \theta}$ , while the differential is that induced by $\frac{\partial}{\partial \theta}$. The first, even, Lie algebra element should correspond to nontrivial objects in $AUT(\mathbf{B}\mathbb{Z})$.

]]>
domenico_fiorenza comments on "free loop space object" (4794) https://nforum.ncatlab.org/discussion/674/?Focus=4794#Comment_4794 2010-02-02T09:37:07+00:00 2023-12-01T20:24:43+00:00 domenico_fiorenza https://nforum.ncatlab.org/account/37/ I would rather consider only automorphisms of which are isomophic to the identity. this seems to me to better fit the topological picture where rigid rotations are a homotopy equivalent model for ... I would rather consider only automorphisms of which are isomophic to the identity. this seems to me to better fit the topological picture where rigid rotations are a homotopy equivalent model for the connected component of the identity in the group of homeomorphisms of .

with this restriction (which we could denote to use a notation inspired by the one which is customary in differential topology, where one usually writes ), the only object of is the identity functor and one has . moreover, having only , the categorical circle action on is , which also fits with having be -invariant.

waiting for feedback here before editing the page according to the above. ]]>
Urs comments on "free loop space object" (4780) https://nforum.ncatlab.org/discussion/674/?Focus=4780#Comment_4780 2010-02-02T01:21:57+00:00 2023-12-01T20:24:43+00:00 Urs https://nforum.ncatlab.org/account/4/ okay, fixed. So I removed your first query box, David. If you disagree, please put it back in. Also a quick reply in your second query box.

okay, fixed.

So I removed your first query box, David. If you disagree, please put it back in.

]]>
Urs comments on "free loop space object" (4779) https://nforum.ncatlab.org/discussion/674/?Focus=4779#Comment_4779 2010-02-02T01:16:38+00:00 2023-12-01T20:24:43+00:00 Urs https://nforum.ncatlab.org/account/4/ Also I added a bit about AUT(Pi_1(S^1)) after the 'exercise:...' statement. David, thanks, of course I am being stupid and for we just have a group homomorphism, not an automorphism. It's not a ...

David, thanks, of course I am being stupid and for $|n| \neq 1$ we just have a group homomorphism, not an automorphism.

It's not a drama, we could also be talking about endomorphisms. But I think I'll just fix this the way you indicate...

]]>
Urs comments on "free loop space object" (4778) https://nforum.ncatlab.org/discussion/674/?Focus=4778#Comment_4778 2010-02-02T01:11:56+00:00 2023-12-01T20:24:44+00:00 Urs https://nforum.ncatlab.org/account/4/ prove is equivariant with respect to the categorical circle action (this should be almost immediate) I almost missed this, sorry: yes, this statement will be almost tautology, no matter what ...

prove $\mathcal{L}f:\mathcal{L}X\to\mathcal{L}Y$ is equivariant with respect to the categorical circle action (this should be almost immediate)

I almost missed this, sorry: yes, this statement will be almost tautology, no matter what precisely the categorical circle action actually is concretely.

Because the map $\mathcal{L}f : \mathcal{L}X \to \mathcal{L}Y$ is just post-composition with $f$: $\mathcal{L}f = f \circ (-) : Hom(S^1_C,X) \to Hom(S^1_C,Y)$

If you wish, in the end it is the exchange law that says that it doesn't matter whether you first have a transformation and then postcompose or first postcompose and then have the transformation.

]]>
DavidRoberts comments on "free loop space object" (4769) https://nforum.ncatlab.org/discussion/674/?Focus=4769#Comment_4769 2010-02-02T00:21:40+00:00 2023-12-01T20:24:44+00:00 DavidRoberts https://nforum.ncatlab.org/account/42/ Also I added a bit about AUT(Pi_1(S^1)) after the 'exercise:...' statement. Also I added a bit about AUT(Pi_1(S^1)) after the 'exercise:...' statement. ]]> DavidRoberts comments on "free loop space object" (4768) https://nforum.ncatlab.org/discussion/674/?Focus=4768#Comment_4768 2010-02-02T00:16:48+00:00 2023-12-01T20:24:44+00:00 DavidRoberts https://nforum.ncatlab.org/account/42/ Hang on, multiplication by n can't be an automorphism of Z, as it isn't surjective! Only multiplication by +/-1 is an automorphism. In other words, Z isn't a divisible group. Hang on, multiplication by n can't be an automorphism of Z, as it isn't surjective! Only multiplication by +/-1 is an automorphism. In other words, Z isn't a divisible group. ]]> zskoda comments on "free loop space object" (4765) https://nforum.ncatlab.org/discussion/674/?Focus=4765#Comment_4765 2010-02-01T23:15:56+00:00 2023-12-01T20:24:44+00:00 zskoda https://nforum.ncatlab.org/account/10/ There is a neat model of Drinfel'd of cyclic objects where a usual circle comes via a categorical limit construction from finite approximations by discrete sets of n points around the circle; a paper ...

There is a neat model of Drinfel'd of cyclic objects where a usual circle comes via a categorical limit construction from finite approximations by discrete sets of n points around the circle; a paper few years ago on the arXiv. In your very interesting reasoning above I suspect you are talking also about inertia groupoid of the original groupoid as a model for loop groupoid of original groupoid. I did not hear word inertia groupoid (twisted sectors in the Harvey, Vafa etc. physics parlance) though (but is a good advertising for connections to physics).

]]>
Urs comments on "free loop space object" (4761) https://nforum.ncatlab.org/discussion/674/?Focus=4761#Comment_4761 2010-02-01T22:30:34+00:00 2023-12-01T20:24:44+00:00 Urs https://nforum.ncatlab.org/account/4/ I have now fixed some typos -- in case you were wondering :-) So in words maybe it's good to say it this way: if we use the skeleton as a model for what could also be modeled as then: the ...

I have now fixed some typos -- in case you were wondering :-)

So in words maybe it's good to say it this way:

if we use the skeleton $\mathbf{B}\mathbb{Z}$ as a model for what could also be modeled as $\Pi_1(S^1)$ then:

• the objects of $Aut_C( \mathbf{B}\mathbb{Z})$ -- labeled by some $n \in \mathbb{Z}$ -- describe maps from the circle onto itself that fix the basepoint and have winding number $n$

• the morphisms in $Aut_C( \mathbf{B}\mathbb{Z})$ -- labeled by some $\ell \in \mathbb{Z}$ -- describe a rigid rotation of the loop $\ell$-times around the circle.

It is due to $\mathbf{B}\mathbb{Z}$ being a skeleton, that only these integer-labeled maps appear, of course. But maybe it's actually useful to make this model explicit.

We should in parallel make the situation for the equivalent model $\Pi_1(S^1)$ explicit. That will produce a situation that looks much more like the naive circle action that one expects. But together probably both models illustrate nicely how we have to distinguish here between automorphisms of the circle (maps with winding number) and genuine rotations of the circle.

]]>