Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics comma complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration finite foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorDavid_Corfield
    • CommentTimeJul 24th 2010

    Back here Urs wrote on tangent spaces, differentials and curvature for nn-categories. I can see the entry for tangent spaces, but did nn-curvature find a place at nLab? I can’t see it.

    More generally, should we expect much of differential geometry to translate to n-categories? I’d like to be able to understand this from Goodwillie calculus

    There are in some sense exactly two tangent connections on the category of spaces (or should we say on any model category?). Both are flat and torsion-free. There is a map between them, so it is meaningful to subtract them. As is well-known in differential geometry, the difference between two connections is a 1-form with values in endomorphisms (whereas the curvature is a 2-form with values in endomorphisms). Thus there is a way of discussing the discrepancy between pushouts and pullbacks in the language of differential geometry, but it is a tensor field of a different type from what I had guessed.

    I could see how the tangent space at an object could be pulled back along a morphism. Hmm, is there something a little like adjoints to the base change functor going on?

    • CommentRowNumber2.
    • CommentAuthorEric
    • CommentTimeJul 24th 2010

    Here is a reference I’m currently looking at that is a few links deep following the links you posted, so I thought I would bump it up a little higher to make it more easily accessible:

    Arrow-theoretic differential theory

    If there is a reason for me to learn category theory, understanding this paper is a big one. The opening paragraphs are inspiring.

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeJul 26th 2010
    • (edited Jul 26th 2010)

    Maybe the notions that I was after were somewhat different than those needed in Goodwillie calculus . What i called “tangent category” was the codomain fibration without fiberwise stabilization, which is however the crucial aspect in the Goodwillie-context.

    I’d like to ask anyone interested in these ideas of mine to not look at these old notes, but into what has become of these ideas meanwhile. An approximation to the state of my art is being typed up at differential cohomology in an (oo,1)-topos.

    The upshot of essentially all I tried to do back then has condensed into this abstract statement:

    for AA an object in a \infty-connected (,1)(\infty,1)-topos that is once deloopable, its curvature characteristic class is a canonical morphism

    A dRBA A \to \mathbf{\flat}_{dR} \mathbf{B}A

    where :=LConstΓ\mathbf{\flat} := LConst \Gamma is the monad of the terminal global section geometric morphism and dRQ:=Q× Q*\mathbf{\flat}_{dR} Q := \mathbf{\flat}Q \times_Q *.

    It is then a theorem that this morphism may be modeled in a model category presentation of the (,1)(\infty,1)-topos as the map that takes the top two-thirds of the following diagram to the bottom third

    Y A underlyingcocycle Π R(Y) EA connectionandcurvature Π R(Y) BA curvatureclasses. \array{ Y &\to& A &&& underlying\;cocycle \\ \downarrow && \downarrow \\ \mathbf{\Pi}_R(Y) &\to& \mathbf{E}A &&& connection\;and\;curvature \\ \downarrow && \downarrow \\ \mathbf{\Pi}_R(Y) &\to& \mathbf{B}A &&& curvature\;classes } \,.

    (See the entry for the detailed statement). Here EA=A I× A*\mathbf{E}A = A^I \times_A * is what I used to call “tangent category”. It does indeed pick up the curvature of an AA-cocycle in the sense of differential cohomology.

    I can’t claim to have thought at all about how this might relate to topics in Goodwillie calculus. Maybe it’s not inconceivable that there is some kind of relation. But I suppose that would require much more thinking.

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeJul 26th 2010
    • (edited Jul 26th 2010)

    David,

    you made me think.

    Recall that I keep claiming that

    • while every (,1)(\infty,1)-topos comes with its intrinsic notion of cohomology;

    • if it is in addition an oo-connected (,1)(\infty,1)-topos then it comes moreover with a notion of intrinsic Lie theory and intrinsic differential cohomology.

    That involves notions of linearization , notably of Lie differentiation.

    I haven’t thought about how that could relate to Goodwillie calculus, but now that you are pushing me, it begins to seem not unplausible that maybe it should be related.

    But one needs to be careful. There are other oo-categorical notions of “linearizations”, too. For instance there is the notion of rational homotopy theory in an (infinity,1)-topos, which also is about linearization in an (oo,1)-topos in a sense. But I think quite differently from Goodwillie-linearization (or at least so it seems on first sight!).

    For a bit of time I thought that I should build all of intrinsic differential cohomology on that linearization notion of “rational homotopy theory on an (oo,1)-topos”. But then I noticed that this is, while possible, not necessary : the assumption of \infty-connectedness alone induces apparently all one needs for a notion of Lie theory, Lie differentiation, etc.

    So I am not sure how all these notions of linearization relate. But I am beginning to think that you are right and that this deserves more thinking.

    • CommentRowNumber5.
    • CommentAuthorDavid_Corfield
    • CommentTimeJul 27th 2010

    More on calculus of functors at MO. Mike Shulman says there:

    The “homotopy calculus” of functors from Top to Top (or to Spectra) doesn’t look a whole lot like stacks to me, but the “manifold calculus” of space-valued functors on some poset of subspaces of a manifold M does look very much like stacks to me. When I last thought about this (which was during Tom’s talks at the Georgia topology conference), it looked kind of as though there was a hierarchy of different Grothendieck topologies on that poset of subspaces, and an nth degree polynomial functor was a stack relative to the nth topology.

    There seem to be three parts to the calculus (orthogonal, homotopy, manifold). I wonder how ’linear’ plays itself out in each. In the third, immersions seem to form the derivative of embeddings.

    It would be good to understand this point from the Goodwillie calculus page:

    In these theories, covariant functors are analogous to presheaves and linear functors are analogous to sheaves (The definition of a linear functor is essentially a homotopy-invariant version of the definition of a sheaf). The process of approximating a general functor by a linear one is analogous to sheafification, and so forth.