Schreiber
∞-quantity

Idea

The duality of space and quantity is usefully refined to a higher category theoretical context:

while the idea of ∞-space is well established in terms of the notion of ∞-stack, under an \infty-quantity we here understand the corresponding dual notion.

As

so

  • an \infty-quantity is modeled as a cosimplicial co(pre)sheaf .

A typical co-sheaf condition is that underlying generalized algebras. The corresponding \infty-quantities in this case are therefore generalized cosimplicial algebras. Under the monoidal Dold-Kan correspondence these are identified with differential graded algebras.

Therefore, to a large extent the theory of \infty-quantities turns out to be just the theory of differential graded algebras reinterpreted from a more abstract nonsense perspective that we regard as helpful for making the relation to the theory of ∞-stacks usefully transparent.

A typical \infty-quantity is

that identifies under the monoidal Dold-Kan correspondence with

In particular the notion of \infty-quantity serves for us the purpose of providing the bridge between the definition of ∞-Lie algebroids as infinitesimal ∞-Lie groupoids and their widely used description in terms of differential graded algebra: the latter is the image under the monoidal Dold-Kan correspondence of the \infty-quantity of functions on the former.

Contents

  1. Background and motivation

  2. Definition

  3. The differential graded algebra of an \infty-quantity

  4. Examples

    1. singular cohomology

    2. Lie group cohomology

    3. differential forms

    4. Chevalley-Eilenberg algebra of Lie ∞-algebroids

    5. Lie ∞-algebroid valued differential forms

  5. References

Background and motivation

The categorification of the notion of space is that of ∞-space – a higher categorical presheaf usually called an ∞-stack. These may be modeled by simplicial presheaves.

Here we discuss the notion dual to the notion \infty-space/\infty-stack/simplicial presheaf in the sense of space and quantity: that of \infty-quantity .

This is such that for instance in the smooth context of smooth ∞-stack – i.e. a Lie ∞-groupoid – the \infty-quantity C (A)C^\infty(A) dual to a Lie ∞-groupoid AA is the cosimplicial algebra of smooth functions on neighbourhoods of identities in AA which turns out to be the Chevalley-Eilenberg algebra of the corresponding Lie ∞-algebroid.

For instance

Recall from the discussion at models for ∞-stack (∞,1)-toposes that simplicial presheaves model generalized spaces, in the form of ∞-groupoids with extra structure (smooth structure, for instance, in the case of smooth ∞-stacks).

In the sense of space and quantity the concrete dual notion obtained by homming into objects of the underlying site should be tought of as (,1)(\infty,1)-quantities. This way we obtain model for (,1)(\infty,1)-quantities in terms of a category of cosimplicial copresheaves [C,[Δ,Set]].[C,[\Delta, Set]]\,.

For C=C = CartSp those copresheaves that respect products in CC are generalized smooth algebras. By the dual monoidal Dold-Kan correspondence cosimplicial smooth algebras are equivalent to differential graded smooth algebras (in non-negative degree), namely differential graded algebras in the context of generalized smooth algebras. Therefore our (,1)(\infty,1)-quantities are also modeled by cochain complexes of copresheaves and in this incarnation they reproduce various entities familiar in homological algebra and Lie theory.

Definition

Let CC be a site with products.

We model \infty-quantities on CC the way simplicial presheaves on CC are models for ∞-space (∞,1)-toposes.

A special case of particular interest to keep in mind is the choice C=C = CartSp. For that choice of test spaces we have that

Definition (1-quantities and cosheaves)

We shall write CoSh(C)CoPSh(C):=[C,Set]CoSh(C) \subset CoPSh(C) := [C,Set] for the full subcategory of that on those co-presheaves AA on CC that satisfy the “co-sheaf” condition that for all there is an isomorphism

A(U×V)A(U)×A(V) A(U \times V) \stackrel{\simeq}{\to} A(U) \times A(V)

natural in U,VU,V.

Remark (smooth \infty-algebras)

For C=C = CartSp the cosheaves on CC are the generalized smooth algebras

CoSh(CartSp)C Alg. CoSh(CartSp) \simeq C^\infty Alg \,.
Remark (cosimplicial notation)

For KK a cosimplicial object we shall write

  • the degree increasing maps as d i:K nK n+1d_i : K^n \to K^{n+1}

  • the degree lowering maps as s i:K n+1K ns_i : K^{n+1} \to K^n.

Definition (homotopical category of \infty-quantities)
CoSCoSh(C)=[Δ,CoSh(C)][C,[Δ,Set]] CoSCoSh(C) = [\Delta,CoSh(C)] \subset [C,[\Delta,Set]]

for the category of cosimplicial cosheaves on CC, the cosimplicial objects in the category of cosheaves.

We regard CoSCoSh(C)CoSCoSh(C) as a category with weak equivalences by declaring a morphism to be a weak equivalence if it induces an isomorphism on cohomotopy groups. (…explain…)

Under the forgetful functor from generalized smooth algebras to the underlying algebras, these cosimplicial cosheaves map to cosimplicial algebras.

Remark (model structure on cosimplicial algebras)

For C=C = CartSp the condition on weak equivalences above becomes under the Dold-Kan correspondence the condition that a morphism is a weak equivalence precisely if under the Moore cochain complex functor it induces an isomorphism on cochain cohomology.

Moreover, in this case the forgetful functor from generalized smooth algebras to ordinary algebras sends CoSCoSh(C)CoSCoSh(C) to the category [Δ,Algebras][\Delta,Algebras] of cosimplicial algebras. There is a standard model category structure on these, with the weak equivalences as above, and the fibrations the objectwise surjections. See definition 9.1 of

  • Castiglioni, Cortiñas, Cosimplicial versus DG-rings (pdf)

In more detail this means that a morphism f:ABf : A \to B is a weak equivalence if for all nC\mathbb{R}^n \in C the morphism f(U):A(U)B(U)f(U) : A(U) \to B(U) of cosimplicial abelian groups (using the additive structure of generalized smooth algebras) induces under the dual normalized Moore complex a morphism N f(U):N A(U)N (B(U))N^\bullet f(U) : N^\bullet A(U) \to N^\bullet(B(U)) that induces an isomorphism on cochain complex cohomology.

Definition (quantities on an \infty-stack)

Recall that for XX a presheaf on CC its generalized smooth algebra is its Isbell dual copresheaf

C (X):UPSh C(X,Y(U)), C^\infty(X) : U \mapsto PSh_C(X, Y(U)) \,,

where YY is the Yoneda embedding.

This extends to a functor

C ():SPSh(C)CoSSh(C) C^\infty(-) : SPSh(C) \to CoSSh(C)

from simplicial presheaves to cosimplicial smooth algebras by degreewise application: for X SPSh(X)X_\bullet \in SPSh(X) we have

C (X ) k=C (X k). C^\infty(X_\bullet)^k = C^\infty(X_k) \,.

For X SConSh(C)X_\bullet \in SConSh(C) a simplicial concrete sheaf (a simplcial diffeological space) there is an obvious notion of open simplicial neighbourhood V X V_\bullet \subset X_\bullet of the entirely degenerate simplices (those in the image of X([k][0])X([k]\to [0])). Let

C loc (X ):=colim VC (V ) C^\infty_{loc}(X_\bullet) := colim_V C^\infty(V_\bullet)

be the (,1)(\infty,1)-quantity of local functions on XX.

The differential graded algebra of an \infty-quantity

Let C=C = CartSp, so that an \infty-quantity modeled on CC is a generalized smooth algebra.

As described at monoidal Dold-Kan correspondence, the Moore cochain complex C(K)C(K) of a cosimplicial algebra KK is a differential graded algebra, whose product is the cup product

:C (K)C (K)C (K). \cup : C^\bullet(K)\otimes C^\bullet(K) \to C^\bullet(K) \,.

We call C(K)C(K) the differential graded algebra given by the \infty-quantity KK.

Examples

Singular cohomology

Let C=C = CartSp.

Let Π(X)\Pi(X) be the Lie ∞-groupoid that is the path ∞-groupoid of XX. The Moore cochain complex associtated with the \infty-quantity C (Π(X)):=C (X Δ C )C^\infty(\Pi(X)) := C^\infty(X^{\Delta^\bullet_C}) of functions on Π(X)\Pi(X) is manifestly the one that computes singular cohomology (with values in \mathbb{R}).

The monoidal structure induced in C (Π(X))C^\infty(\Pi(X)) under the monoidal Dold-Kan correspondence is manifestly the ordinary cup product on singular cohomology.

Lie group cohomology

Let GG be a Lie group and let BG\mathbf{B}G be its delooping regarded as a Kan complex valued simplicial presheaf (on Diff or CartSp or the like). The cosimplicial smooth algebra C (BG)C^\infty(\mathbf{B}G) has in degree kk the smooth algebra of \mathbb{R}-valued functions on G × kG^{\times_k}. The differential of the corresponding dual Moore complex N (C (BG))N^\bullet(C^\infty(\mathbf{B}G)) is the one that computes smooth group cohomology on GG with coefficients in \mathbb{R} with the trivial module structure.

For more on this see

Differential forms

See also

Consider again the example of singular cohomology of a smooth space XX above. In the sense of synthetic differential geometry we have a natural restriction map

C (X Δ k)C (X Δ inf k) C^\infty(X^{\Delta^k}) \to C^\infty(X^{\Delta^k_{inf}})

from functions on simplices in XX to functions on infinitesimal simplices., i.e. from functions on the full path ∞-groupoid to functions on just the infinitesimal singular simplicial complex of XX.

The cosimplicial copresheaf C (X Δ inf )C^\infty(X^{\Delta^\bullet_{inf}}) we call the \infty-quantity of functions on infinitesimal simplices in XX.

For later reference we list in detail the interpretation of the face and degenercy maps in this cosimplicial object.

  • First think of X Δ inf k:=[Δ inf k,X]X^{\Delta^k_{inf}} := [\Delta^k_{inf}, X] as the space of infinitesimal kk-simplices in XX (formalized as such in some context that need not concern us here).

    • The maps δ i:[k][k+1]\delta_i : [k] \to [k+1] induce the face maps

      d i:=[δ i,X]:X Δ inf k+1X Δ inf k d_i := [\delta_i, X] : X^{\Delta^{k+1}_{inf}} \to X^{\Delta^{k}_{inf}}

    that send a (k+1)(k+1)-simplex to its iith kk-face.

    • The maps σ i:[k+1][k]\sigma_i : [k+1] \to [k] induce the degeneracy maps

      s i:=[σ i,X]:X Δ inf +1X Δ inf k+1 s_i := [\sigma_i, X] : X^{\Delta^{+1}_{inf}} \to X^{\Delta^{k+1}_{inf}}

      that regard a kk-simplex as a (k+1)(k+1)-simplex with degenerate iith face.

  • Accordingly, in the cosimplicial smooth algebra C ([Δ inf ,X])C^\infty([\Delta^\bullet_{inf},X]) of smooth algebras of functions on infinitesimal simplices

    • we have maps

      d i *:=C ([δ i,X]):C (X Δ inf k)C (X Δ inf k+1) d_i^* := C^\infty([\delta_i, X]) : C^\infty(X^{\Delta^{k}_{inf}}) \to C^\infty(X^{\Delta^{k+1}_{inf}})

      that build a function on (k+1)(k+1)-simplices from one on kk-simplices by evaluating the latter on the iith faces

    • and maps

      s i *:=C ([σ i,X]):C (X Δ inf k+1)C (X Δ inf k) s_i^* := C^\infty([\sigma_i, X]) : C^\infty(X^{\Delta^{k+1}_{inf}}) \to C^\infty(X^{\Delta^{k}_{inf}})

      that restrict functions on all (k+1)(k+1)-simplices to those simplices whose iith face is degenerate and regard the result as a function on kk-simplices.

Proposition

Let XX be a smooth manifold.

The normalized Moore DGA of the \infty-quantity C ([Δ inf ,X])C^\infty([\Delta_{inf}^\bullet,X]) of functions on infinitesimal simplices in XX is isomorphic, as a differential graded algebra to the differential algebra of differential forms on XX.

Ω (X)N (C ([Δ inf ,X])) \Omega^\bullet(X) \simeq N^\bullet(C^\infty([\Delta_{inf}^\bullet,X]))
Proof

Unwrapping what this means in detail, it turns out that this is item-per-item the characterization of differential forms as functions on infinitesimal simplices as given by Anders Kock in his work on synthetic differential geometry. See differential forms in synthetic differential geometry.

Anders Kock’s crucial insight in this context has been that the description of differential forms simplifies notably when considering them in terms of functions on infinitesimal simplices. He noticed that

  • plain functions on infinitesimal simplices are automatically alternating if they have the property that they vanish on degenaret simplices and hence are isomorphic to differential forms;

  • the coboundary operator on differential forms is given by the expression that defines the diferential of the Moore cochain complex on functions on simplices;

  • the ordinary cup product on such functions on infinitesimal simplicies is already the wedge product on the differential forms represented by them.

But notice that

  • those functions on infinitesimal simplices that vanish on degenerate simplices are precisely those that are in the joint kernel of the degeneracy maps of the cosimplicial ring C (X Δ inf )C^\infty(X^{\Delta^\bullet_{inf}}). Therefore these are precisely the elements of the normalized Moore complex N (C (X Δ inf ))N^\bullet(C^\infty(X^{\Delta^\bullet_{inf}})) of C (X Δ inf )C^\infty(X^{\Delta^\bullet_{inf}});

  • the induced monoidal structure on the Moore complex is, by the above, precisely the cup product.

The relevant theorems by Anders Kock are found here:

the identification of the deRham complex as functions on infinitesimal simplices that vanish on degenerate simplices is theorem 18.3 in

  • Anders Kock, Synthetic differential geometry (pdf)

That the coboundary operator on such simplicial differential forms is precisely the differential in the Moore cochain complex is around equation (3.2.1) in

  • Anders Kock, Synthetic Geometry of Manifolds (pdf)

That the wedge product on differential forms is then just the cup product of these functions on infinitesimal simplices is in section 3.5 of that book.

Chevalley-Eilenberg algebra

Let gg be the Lie algebra of GG and let CE(g)CE(g) denote the Chevalley-Eilenberg cochain complex that computes Lie algebra cohomology with coefficients in the corresponding trivial Lie algebra module.

There is a canonical cochain map

diff:N (C (BG))CE (g), diff : N^\bullet(C^\infty(\mathbf{B}G)) \stackrel{\simeq}{\to} CE^\bullet(g) \,,

the vanEst morphism, that sends a function on G ×kG^{\times k} to its differential at the identity. If GG is kk-connected, this morphism is an isomorphism on degree (nk+1)(n \leq k+1)-cohomology. Hence the cosimplicial algebra C (BG)C^\infty(\mathbf{B}G) is weakly equivalent to that truncation to the (cosimplicial version of) the Chevalley-Eilenberg algebra.

Let now C loc (BG)C (BG)C^\infty_{loc}(\mathbf{B}G) \subset C^\infty(\mathbf{B}G) be the cosimplicial algebra of function germs at the totally degenerate simplices (the identity nn-cells on the identity (n1)(n-1)-cells on the…).

The cohomology of the corresponding cochain complex is the local Lie group cohomology. It coincides with the Lie algebra cohomology. Therefore it should be true that under the cosimplicial Dold-Kan correspondence we have a weak equivalence

C loc (BG)CE(g). C^\infty_{loc}(\mathbf{B}G) \simeq CE(g) \,.

Lie algebra valued differential forms

Let XX be a manifold and GG a Lie group with Lie algebra gg. A flat gg-valued differential 1-form AΩ 1(X,g)A \in \Omega^1(X,g) with dA+[AA]=0d A + [A \wedge A ] = 0 is the same as

(The emphasis of this simple but far-reaching observation goes back to Cartan. For a detailed account of this in its wider context see for instance LInfCon)

Using the above we find that the systematic relation between these two points of view is that the latter is the image under C ()[C op,[Δ op,Set]][C,[Δ,Set]]C^\infty(-) [C^{op},[\Delta^{op}, Set]] \to [C,[\Delta, Set]] in that

Π(X) Pexp( A) BG C loc (Π(X)) C loc (BG) diff diff Ω (X) A CE(g) \array{ \Pi(X) &\stackrel{P exp(\int_{-} A)}{\to}& \mathbf{B}G \\ \\ C^\infty_{loc}(\Pi(X)) &\leftarrow& C^\infty_{loc}(\mathbf{B}G) \\ {}^\simeq\downarrow^{diff} && {}^{diff}\downarrow^\simeq \\ \Omega^\bullet(X) &\stackrel{A}{\leftarrow}& CE(g) }

References

At least for algebraic groups the statement that the Chevalley-Eilenberg complex of a Lie algebra is the normalized Moore cochain complex of the cosimplicial algebra of functions on neighbourhoods of the identity in BG\mathbf{B}G is well known. One reference where this is recalled is

  • Anette Huber, Guido Kings, A pp-adic analogue of the Borel regulator and the Block-Kato exponential map (pdf)

The analog of the map of cosimplicial rings that above is called C (BG)C loc (BG)C^\infty(\mathbf{B}G) \to C^\infty_{loc}(\mathbf{B}G) is in Lemma 3.4.2 there. The normalized Moore cochain complex N (C (BG) loc)N^\bullet(C^\infty(\mathbf{B}G)_{loc}) of a cosimplicial ring is in definition 3.4.3 and then the isomorphism with the Chevalley-Eilenberg algebra N (C (BG))simewCE(Lie(G))N^\bullet(C^\infty(\mathbf{B}G)) \simew CE(Lie(G)) is prop. 3.4.4.

Revised on September 21, 2014 08:38:27 by David Corfield (91.125.67.210)