nForum - Discussion Feed (fracture theorem) 2023-02-02T18:21:59+00:00 https://nforum.ncatlab.org/ Lussumo Vanilla & Feed Publisher Urs comments on "fracture theorem" (78588) https://nforum.ncatlab.org/discussion/6115/?Focus=78588#Comment_78588 2019-06-17T09:21:43+00:00 2023-02-02T18:21:58+00:00 Urs https://nforum.ncatlab.org/account/4/ added pointer to Luis Scoccola, Nilpotent Types and Fracture Squares in Homotopy Type Theory (arXiv:1903.03245) diff, v59, current

• Luis Scoccola, Nilpotent Types and Fracture Squares in Homotopy Type Theory (arXiv:1903.03245)
]]>
Urs comments on "fracture theorem" (76900) https://nforum.ncatlab.org/discussion/6115/?Focus=76900#Comment_76900 2019-03-27T16:47:45+00:00 2023-02-02T18:21:58+00:00 Urs https://nforum.ncatlab.org/account/4/ in the comment section to this MO reply some “FrankScience” points out that a condition is missing on the page here (missing also in Bauer’s notes, which I probably followed) and Neil ...

in the comment section to this MO reply some “FrankScience” points out that a condition is missing on the page here (missing also in Bauer’s notes, which I probably followed) and Neil Strickland then gives a counter-example showing that condition is in fact necessary.

]]>
David_Corfield comments on "fracture theorem" (55191) https://nforum.ncatlab.org/discussion/6115/?Focus=55191#Comment_55191 2015-11-15T21:36:27+00:00 2023-02-02T18:21:58+00:00 David_Corfield https://nforum.ncatlab.org/account/20/ There’s an article out ’Local duality in algebra and topology’ arXiv:1511.03526 presenting an abstract framework which generalizes a bunch of things including Greenlees-May duality. local ...

There’s an article out ’Local duality in algebra and topology’ arXiv:1511.03526 presenting an abstract framework which generalizes a bunch of things including Greenlees-May duality.

local duality admits a uniform and conceptual explanation when working in a homotopically enriched context, at the same time simplifying the arguments and uncovering new instances of the theory.

Since Greenlees-May duality occurs on the fracture theorem page, I mention it here. Maybe there should be an entry for ’local duality’?

]]>
Urs comments on "fracture theorem" (51600) https://nforum.ncatlab.org/discussion/6115/?Focus=51600#Comment_51600 2015-01-11T15:44:40+00:00 2023-02-02T18:21:58+00:00 Urs https://nforum.ncatlab.org/account/4/ Thanks for the pointer. I agree, that does look suggestive. Myself, though, I have absolutely no time to look into this right now, alas.

Thanks for the pointer. I agree, that does look suggestive.

Myself, though, I have absolutely no time to look into this right now, alas.

]]>
David_Corfield comments on "fracture theorem" (51594) https://nforum.ncatlab.org/discussion/6115/?Focus=51594#Comment_51594 2015-01-10T18:51:10+00:00 2023-02-02T18:21:58+00:00 David_Corfield https://nforum.ncatlab.org/account/20/ I got a hint of something fracture-ish in the ’broad’ part of this MO answer, but don’t know.

I got a hint of something fracture-ish in the ’broad’ part of this MO answer, but don’t know.

]]>
Urs comments on "fracture theorem" (49067) https://nforum.ncatlab.org/discussion/6115/?Focus=49067#Comment_49067 2014-08-13T05:38:16+00:00 2023-02-02T18:21:59+00:00 Urs https://nforum.ncatlab.org/account/4/ added the remark that the above adjoint modality is monoidal and therefore lifts to E &infin;E_\infty-algebras to yield (&Pi; mathfrala&dashv;&flat; &afr;)&colon;E ...

added the remark that the above adjoint modality is monoidal and therefore lifts to $E_\infty$-algebras to yield

$(\Pi_{\mathfral{a}} \dashv \flat_{\mathfrak{a}}) \colon E_\infty Alg^{op} \to E_\infty Alg^{op}$.

]]>
Urs comments on "fracture theorem" (49063) https://nforum.ncatlab.org/discussion/6115/?Focus=49063#Comment_49063 2014-08-12T18:14:34+00:00 2023-02-02T18:21:59+00:00 Urs https://nforum.ncatlab.org/account/4/ I have that statement to the entry, here: +– {: .num_prop #CompletionTorsionAdjointModalityForModuleSpectra} Proposition Let AA be an E-∞ ring and let &afr;&subset;&pi; ...

I have that statement to the entry, here:

###### Proposition

Let $A$ be an E-∞ ring and let $\mathfrak{a} \subset \pi_0 A$ be a finitely generated ideal in its underlying commutative ring.

$\array{ \underoverset{ A Mod_{\mathfrak{a}com}^{op}} {A Mod_{\mathfrak{a}tors}^{op}} {\simeq} &\stackrel{\overset{\Pi_{\mathfrak{a}}}{\longleftarrow}}{\stackrel{\hookrightarrow}{\underset{\flat_{\mathfrak{a}}}{\longleftarrow}}}& A Mod^{op} }$

where

• $A Mod$ is the stable (∞,1)-category of modules, i.e. of ∞-modules over $A$;

• $A Mod_{\mathfrak{a}tor}$ and $A Mod_{\mathfrak{a} comp}$ are the full sub-(∞,1)-categories of $\mathfrak{a}$-torsion and of $\mathfrak{a}$-complete $A$-∞-modules, respectively;

• $(-)^{op}$ denotes the opposite (∞,1)-category;

• the equivalence of (∞,1)-categories on the left is induced by the restriction of $\Pi_{\mathfrak{a}}$ and $\flat_{\mathfrak{a}}$.

=–

+– {: .proof}

###### Proof

This is effectively the content of (Lurie “Proper morphisms”, section 4):

• the existence of $\Pi_{\mathfrak{a}}$ is corollary 4.1.16 and remark 4.1.17

• the existence of $\flat_{\mathfrak{a}}$ is lemma 4.2.2 there;

• the equivalence of sub-$\infty$-categories is proposition 4.2.5 there.

=–

+– {: .num_cor}

###### Corollary

The traditional arithmetic fracture square of prop. \ref{SullivanArithmeticFracture}, regarded as in remark \ref{TwoThirdHexagon}, is the left part of the

differential cohomology diagram” induced by the adjoint modality $(\Pi_{\mathfrak{a}} \dashv \flat_{\mathfrak{a}} )$ of prop. \ref{CompletionTorsionAdjointModalityForModuleSpectra}, for the special case that $A = \mathbb{S}$ is the sphere spectrum and $\mathfrak{a} = (p)$ a prime ideal.

=–

]]>
Urs comments on "fracture theorem" (49062) https://nforum.ncatlab.org/discussion/6115/?Focus=49062#Comment_49062 2014-08-12T17:37:54+00:00 2023-02-02T18:21:59+00:00 Urs https://nforum.ncatlab.org/account/4/ Turns out the story is in full beauty in section 4.2 of DAG XII. I had missed that. In particular remark 4.2.6 there should give that we have cohesion on E &infin;Ring opE_\infty Ring^{op} over ...

Turns out the story is in full beauty in section 4.2 of DAG XII. I had missed that.

In particular remark 4.2.6 there should give that we have cohesion on $E_\infty Ring^{op}$ over $E_\infty Ring^{op}_{torsion}$, hence after passing to toposes $Sh_\infty(-)$ this should induce arithmetic cohesion on $E_\infty$-geometry. It seems. Whose differential cohomology hexagons in the left part are the traditional arithmetic fracture squares and their generalizations.

]]>
Urs comments on "fracture theorem" (49047) https://nforum.ncatlab.org/discussion/6115/?Focus=49047#Comment_49047 2014-08-12T03:28:14+00:00 2023-02-02T18:21:59+00:00 Urs https://nforum.ncatlab.org/account/4/ Have added here the following more formal version of the above statement (check): +– {: .num_defn} Definition Let AA be a commutative ring, let &afr;&subset;A\mathfrak{a} \subset A be ...

Have added here the following more formal version of the above statement (check):

+– {: .num_defn}

###### Definition

Let $A$ be a commutative ring, let $\mathfrak{a} \subset A$ be be an ideal generated by a single element. Write $A Mod_{\infty}^{op}$ for the opposite (∞,1)-category of the (∞,1)-category of modules over $A$.

Write

• $\flat_{\mathfrak{a}}\colon A Mod_\infty^{op} \to A Mod_{\infty}^{op}$ for the derived functor of formal completion (adic completion) of modules at $\mathfrak{a}$;

with canonical natural transformation

$\epsilon_{\mathfrak{a}} \colon \flat_{\mathfrak{a}} \longrightarrow id$

• $\Pi_{\mathfrak{a}} \colon A Mod_\infty^{op} \to A Mod_\infty^{op}$ for the total derived functor of the $\mathfrak{a}$-torsion subgroup-functor;

with canonical natural transformation

$\eta_{\mathfrak{a}}\colon id \longrightarrow \Pi_{\mathfrak{a}}$

Finally write

$(A Mod_\infty^{op})^{\mathfrak{a}com}, (A Mod_\infty^{op})^{\mathfrak{a}tor} \hookrightarrow A Mod_\infty$

for the full (∞,1)-subcategories of objects $X$ for which, $\epsilon_{\mathfrak{a}}(X)$ or $\eta_{\mathfrak{a}}(X)$ is an equivalence in an (∞,1)-category, respectively.

=–

+– {: .num_prop}

###### Proposition
1. The transformation $\epsilon_{\mathfrak{a}}$ exhibits $(A Mod_\infty^{op})^{\mathfrak{a}com}\hookrightarrow A Mod_\infty$ as a reflective (∞,1)-subcategory, hence $\flat_{\mathfrak{a}}$ as an idempotent (∞,1)-monad.

2. The transformation $\eta_{\mathfrak{a}}$ exhibits $(A Mod_\infty^{op})^{\mathfrak{a}tor}\hookrightarrow A Mod_\infty$ as a co-reflective $(\infty,1)$-category, hence $\Pi_{\mathfrak{a}}$ as an idempotent $(\infty,1)$-comonad.

3. Restricted to these sub-$(\infty,1)$-categories both $\flat_{\mathfrak{a}}$ as well as $\Pi_{\mathfrak{a}}$ become equivalences of (∞,1)-categories, hence exhibiting $(\Pi_{\mathfrak{a}} \dashv \flat_{\mathfrak{a}})$ as a higher adjoint modality.

=–

+– {: .proof}

###### Proof

This is a paraphrase of the results in (Porta-Shaul-Yekutieli 10):

First of all, by our simplifying assumption that $\mathfrak{a}$ is generated by a single element the running assumption of “weak proregularity” in (Porta-Shaul-Yekutieli 10, def.3.21) is trivially satisfied.

Then in view of (Porta-Shaul-Yekutieli 10, corollary 3.31) the statement of (Porta-Shaul-Yekutieli 10, theorem 6.12) is the characterization of reflectors as discussed at reflective sub-(∞,1)-category, and formally dually so for the coreflection. With the fully faithfulness that goes with this the equivalence of the two inclusions on the level of homotopy categories given by (Porta-Shaul-Yekutieli 10, theorem 6.11) implies the canonical equivalence of the two sub-(∞,1)-categories and this means that $\Pi_{\mathfrak{a}}$ and $\flat_{\mathfrak{a}}$ are the adjoint pair induced from the reflection/coreflection adjoint triple.

=–

]]>
Urs comments on "fracture theorem" (49045) https://nforum.ncatlab.org/discussion/6115/?Focus=49045#Comment_49045 2014-08-11T23:26:58+00:00 2023-02-02T18:21:59+00:00 Urs https://nforum.ncatlab.org/account/4/ Now in New York and online again, I have briefly noted the following (to be polished/expanded): Remark 4 suggests that arithmetic fracturing naturally goes along with adjoint pairs of ...

Now in New York and online again, I have briefly noted the following (to be polished/expanded):

Remark 4 suggests that arithmetic fracturing naturally goes along with adjoint pairs of (derived/(∞,1)-functorial) idempotent (co-)-monads given by formal completion and by taking torsion subgroups, respectivly.

Whether such adjoint modalities exist for spectra…, but in (Porta-Shaul-Yekutieli 10) they are essentially shown to exist on chain complexes (hence, by the stable Dold-Kan correspondence, at least for $H A$-module spectra ).

(Porta-Shaul-Yekutieli 10, corollary 3.30, prop. 6.10) says that for commutative rings $A$ with suitable (namely “weakly pro-regular”) ideals $\mathfrak{a}$, then the derived $\mathfrak{a}$-torsion subgroup-functor and the derived $\mathfrak{a}$-completion functor on the derived category of $A$-modules are idempotent via their unit/counit maps, respectively. Moreover, (Porta-Shaul-Yekutieli 10, theorem 6.12) says that the sub-categories of modal types are canonically equivalent, as befits an adjoint modality

$\mathfrak{a}completion \dashv \mathfrak{a}torsion \,.$ ]]>
Urs comments on "fracture theorem" (49031) https://nforum.ncatlab.org/discussion/6115/?Focus=49031#Comment_49031 2014-08-11T10:29:13+00:00 2023-02-02T18:21:59+00:00 Urs https://nforum.ncatlab.org/account/4/ The remaining question is then to which extent the two operations in the bottom row of the above diagram are adjoint. To which extent is passing to p &nu;p^\nu-torsion adjoint to ...

The remaining question is then to which extent the two operations in the bottom row of the above diagram are adjoint.

To which extent is passing to $p^\nu$-torsion adjoint to $p$-completion?

Should it not be true for suitably co-small objects which may be taken into the filtered limit which defines the completion?

[Edit: I see something going in this direction in Porta et al.: “On the homology of completion and torsion.” ]

]]>
Urs comments on "fracture theorem" (49004) https://nforum.ncatlab.org/discussion/6115/?Focus=49004#Comment_49004 2014-08-10T16:19:17+00:00 2023-02-02T18:21:59+00:00 Urs https://nforum.ncatlab.org/account/4/ Thanks! I have now added in this remark a third item noticing that by the pasting law there is indeed an “homotopy exact two-third hexagon” X &Qopf; &longleftarrow; G ...

Thanks!

I have now added in this remark a third item noticing that by the pasting law there is indeed an “homotopy exact two-third hexagon”

$\array{ && X_{\mathbb{Q}} && \longleftarrow && G_{S (\mathbb{Q}/\mathbb{Z})}(X) \\ & \swarrow && \nwarrow && \swarrow \\ (\prod_p X_p^\wedge)_{\mathbb{Q}} && && X \\ & \nwarrow && \swarrow && \nwarrow \\ && \prod_p X_p^\wedge && \longleftarrow && G_{H\mathbb{Q}}(X) }$

in that it follows that also the top and bottom outer sequences are homotopy exact.

(And yes, this means I am finally back online :-)

]]>
David_Corfield comments on "fracture theorem" (48873) https://nforum.ncatlab.org/discussion/6115/?Focus=48873#Comment_48873 2014-07-29T22:40:58+00:00 2023-02-02T18:21:59+00:00 David_Corfield https://nforum.ncatlab.org/account/20/ Added a ’chromatic fracture square’ diagram. I wonder how the text should flow after this into the tmf example.

Added a ’chromatic fracture square’ diagram. I wonder how the text should flow after this into the tmf example.

]]>
Urs comments on "fracture theorem" (48837) https://nforum.ncatlab.org/discussion/6115/?Focus=48837#Comment_48837 2014-07-27T11:16:30+00:00 2023-02-02T18:21:59+00:00 Urs https://nforum.ncatlab.org/account/4/ Yes, exactly. Or rather, it seems (looking at the variance of the morphisms) we should think of the homotopy-theoretic arithmetic fracture square (involving formal completion X p ...

Yes, exactly.

Or rather, it seems (looking at the variance of the morphisms) we should think of the homotopy-theoretic arithmetic fracture square (involving formal completion $X_p^\wedge$ of spectra $X$) as the image of the number-theoretic one (involving the integral adeles $\mathbb{A}_{\mathbb{Z}}$) as the image under mapping the geometric one (involving $Spf(\mathbb{A}_{\mathbb{Z}})$) into the arithmetic presheaf of spectra which is induced from $X$ by

$X : Spec(R) \mapsto X \otimes R \,.$

For instance homming

$\array{ Spec(\mathbb{Q}) \\ & \searrow \\ && Spec(\mathbb{Z}) }$

into this would yield

$\array{ X_{\mathbb{Q}} \\ & \nwarrow \\ && X }$

(the top right piece of the fracture square, am too rushed now to draw all of it).

From this point of view it would be sufficient to realize arithmetic geometry as cohesive over something, such that the flat modality forms “arithmetic jets”. A homotopy-theoretic version would then be induced by passing to sheaves of spectra and homming.

It seems that Borger’s absolute geometry might be getting in this direction, but something is missing still.

]]>
David_Corfield comments on "fracture theorem" (48833) https://nforum.ncatlab.org/discussion/6115/?Focus=48833#Comment_48833 2014-07-27T09:31:50+00:00 2023-02-02T18:21:59+00:00 David_Corfield https://nforum.ncatlab.org/account/20/ If the hope is to put arithmetic fracturing into line with differential cohesive fracturing, presumably we’re looking for a monad/comonad pair amongst the two pairs of L EL_E and G EG_Es, and a ...

If the hope is to put arithmetic fracturing into line with differential cohesive fracturing, presumably we’re looking for a monad/comonad pair amongst the two pairs of $L_E$ and $G_E$s, and a comparison map between an acyclification and a localization.

]]>
Urs comments on "fracture theorem" (48825) https://nforum.ncatlab.org/discussion/6115/?Focus=48825#Comment_48825 2014-07-25T21:00:42+00:00 2023-02-02T18:21:59+00:00 Urs https://nforum.ncatlab.org/account/4/ I need to go to the original articles. Van Koughnett has a brief lecture note known by Google which in prop. 4.2 has one relevant statement. Will include it a little later.

I need to go to the original articles. Van Koughnett has a brief lecture note known by Google which in prop. 4.2 has one relevant statement. Will include it a little later.

]]>
David_Corfield comments on "fracture theorem" (48824) https://nforum.ncatlab.org/discussion/6115/?Focus=48824#Comment_48824 2014-07-25T20:48:47+00:00 2023-02-02T18:21:59+00:00 David_Corfield https://nforum.ncatlab.org/account/20/ So can we complete the hexagon of the fracture diagram below remark 4?

So can we complete the hexagon of the fracture diagram below remark 4?

]]>
David_Corfield comments on "fracture theorem" (48822) https://nforum.ncatlab.org/discussion/6115/?Focus=48822#Comment_48822 2014-07-25T20:40:22+00:00 2023-02-02T18:21:59+00:00 David_Corfield https://nforum.ncatlab.org/account/20/ There were still several instances of EM-spectrum where Moore spectrum wanted at localization of a space, Bousfield localization of spectra, and fracture theorem. Hope I’ve got those changes right. ...

There were still several instances of EM-spectrum where Moore spectrum wanted at localization of a space, Bousfield localization of spectra, and fracture theorem. Hope I’ve got those changes right. Do people ever localize at EM-spectra?

]]>
Urs comments on "fracture theorem" (48817) https://nforum.ncatlab.org/discussion/6115/?Focus=48817#Comment_48817 2014-07-25T16:50:18+00:00 2023-02-02T18:21:59+00:00 Urs https://nforum.ncatlab.org/account/4/ I have now added a proper Idea-section; added the statement of the generalized fracture theorem (for any suitable pair of localizations); rewrote the section In cohesive homotopy theory to make it ...

I have now

]]>
Urs comments on "fracture theorem" (48816) https://nforum.ncatlab.org/discussion/6115/?Focus=48816#Comment_48816 2014-07-25T15:40:56+00:00 2023-02-02T18:21:59+00:00 Urs https://nforum.ncatlab.org/account/4/ Thanks! We should say it’s a Bousfield equivalence, I put that in now. Of course &Qopf;/&Zopf;\mathbb{Q}/\mathbb{Z} also comes in if one just takes the plain square &Qopf; ...

Thanks! We should say it’s a Bousfield equivalence, I put that in now.

Of course $\mathbb{Q}/\mathbb{Z}$ also comes in if one just takes the plain square

$\array{ && \mathbb{Q} \\ & \swarrow && \nwarrow \\ \mathbb{Q}\otimes_{\mathbb{Z}}\underset{p\;prime}{\prod} \mathbb{Z}_p && && \mathbb{Z} \\ & \nwarrow && \swarrow \\ && \underset{p\;prime}{\prod} \mathbb{Z}_p }$

and then extends the diagonals to their long homotopy fiber sequences in chain complexes, simply, induced from the short exact sequence

$\mathbb{Z} \longrightarrow \mathbb{Q} \longrightarrow \mathbb{Q}/\mathbb{Z}$

I had been wondering about what to do with that, but I suppose that Bousfield equivalence $S (\mathbb{Q}/\mathbb{Z}) \simeq_B \vee_p S \mathbb{F}_p$ is related.

]]>
David_Corfield comments on "fracture theorem" (48812) https://nforum.ncatlab.org/discussion/6115/?Focus=48812#Comment_48812 2014-07-25T14:03:39+00:00 2023-02-02T18:21:59+00:00 David_Corfield https://nforum.ncatlab.org/account/20/ OK. I put ’since’ rather than ’let’ in Since S(&Qopf;/&Zopf;)=&vee; pS&Fopf; pS (\mathbb{Q}/\mathbb{Z}) = \vee_p S \mathbb{F}_p, because it’s a result rather than ...

OK. I put ’since’ rather than ’let’ in

Since $S (\mathbb{Q}/\mathbb{Z}) = \vee_p S \mathbb{F}_p$,

because it’s a result rather than something in our power.

]]>
Urs comments on "fracture theorem" (48810) https://nforum.ncatlab.org/discussion/6115/?Focus=48810#Comment_48810 2014-07-25T13:51:18+00:00 2023-02-02T18:21:59+00:00 Urs https://nforum.ncatlab.org/account/4/ Thanks for all this, David! I just came online, but am again in a rush. The business of distinuishing Moore from EM was also an issue at localization of a space. I have tried to fix all ...

Thanks for all this, David! I just came online, but am again in a rush.

The business of distinuishing Moore from EM was also an issue at localization of a space. I have tried to fix all occurences.

Then I edited fracture theorem, added the statement that we talked about and then below that fixed the missing globalization in the top right entry of the big diagram.

Again, I am doing all this in a rush and haven’t proof-read yet, so your careful eye might usefully be exercised further. I will be offline now for another hour or more, then I hope to come back with more leisure.

]]>
David_Corfield comments on "fracture theorem" (48809) https://nforum.ncatlab.org/discussion/6115/?Focus=48809#Comment_48809 2014-07-25T13:28:49+00:00 2023-02-02T18:21:59+00:00 David_Corfield https://nforum.ncatlab.org/account/20/ There seems to be a ’Serre’s theorem’ which states that: rational homology is the same as rational stable homotopy, and which induces an equivalence M(&Qopf;)=H&Qopf;M(\mathbb{Q}) ...

There seems to be a ’Serre’s theorem’ which states that:

rational homology is the same as rational stable homotopy,

and which induces an equivalence $M(\mathbb{Q}) = H \mathbb{Q}$.

]]>
David_Corfield comments on "fracture theorem" (48808) https://nforum.ncatlab.org/discussion/6115/?Focus=48808#Comment_48808 2014-07-25T12:35:49+00:00 2023-02-02T18:21:59+00:00 David_Corfield https://nforum.ncatlab.org/account/20/ In the single prime case, do we see H&Fopf; pH \mathbb{F}_p anyway? I can see E=M(&Zopf;/p)E = M(\mathbb{Z}/p) (Moore spectrum), but I don’t see this equated in the way it is for ...

In the single prime case, do we see $H \mathbb{F}_p$ anyway?

I can see $E = M(\mathbb{Z}/p)$ (Moore spectrum), but I don’t see this equated in the way it is for $\mathbb{Q}$, i.e., we find $M(\mathbb{Q}) = H \mathbb{Q}$.

So globally now we need $E = \vee_p M(\mathbb{Z}/p)$. Is this $M(\mathbb{Q}/\mathbb{Z})$? From here, Strickland uses ’S’ for the Moore spectrum. So I guess that tallies with his MO answer.

]]>