Not signed in

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

• Username
• Password
• Remember me

• Sign in using OpenID
• Remember me

• Forgot your password?
• Apply for membership

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 complex complex-geometry computable-mathematics computer-science constructive cosmology definitions deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration 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 nforum 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

1. • CommentRowNumber1.
   • CommentAuthorUrs
   • CommentTimeMay 13th 2010
   • (edited May 13th 2010)
   • PermaLink
   Author: Urs
   Format: Markdownconsiderably expanded [[Lie infinity-groupoid]]. But still stubby.

   considerably expanded Lie infinity-groupoid. But still stubby.

2. • CommentRowNumber2.
   • CommentAuthorUrs
   • CommentTimeJun 23rd 2010
   • PermaLink
   Author: Urs
   Format: MarkdownItexkeep adding stuff to [[Lie infinity-groupoid]], now there are sections on Lie 1- and 2-groups, their depooping and their "flat" objects, smooth nonabelian cohomology, flat Deligne cohomology, flat nonabelian cohomology. Some still a bit stubby, but mainly fully fledged with formal theorems and detailed proofs.

   keep adding stuff to Lie infinity-groupoid, now there are sections on Lie 1- and 2-groups, their depooping and their “flat” objects, smooth nonabelian cohomology, flat Deligne cohomology, flat nonabelian cohomology. Some still a bit stubby, but mainly fully fledged with formal theorems and detailed proofs.

3. • CommentRowNumber3.
   • CommentAuthorUrs
   • CommentTimeJul 7th 2010
   • (edited Jul 7th 2010)
   • PermaLink
   Author: Urs
   Format: MarkdownItexAm working on the entry [[Lie infinity-groupoid]]: have been expanding the section on <a href="">differential coefficients for Lie-integrated $\infty$-groups</a>, i.e. the discussion of differential refinements of those Lie $\infty$-groups $G$ that arise as the integration $\tau_n \exp(\mathfrak{g})$ of an $L_\infty$-algebra $\mathfrak{g}$. There is now detailed proof of the statements 1. that the presheaf $G TrivBund_{flat}$ of trivial $G$-principal $\infty$-bundles with flat $\infty$-connetion is equivalent to the underlying discrete $\infty$-groupoid $\mathbf{\flat} \mathbf{B}G$ of $\mathbf{B}G$ 1. and factors the canonical inclusion $\mathbf{\flat}\mathbf{B}G \to \mathbf{B}G$ as a fibration; 1. as a corollary one gets a model for the de Rham coefficient object $\mathbf{\flat}_{dR} \mathbf{B}G$ (the coefficient object for nonabelian de Rham cohomology with values in $\mathfrak{g}$). It is maybe noteworthy that $\mathbf{B}G$ is the _concretization_ (in the sense of [[concrete presheaf]]) of $G TrivBund_{flat}$ and $\mathbf{\flat}_{dR} \mathbf{B}G$ is the kernel of this concretization, i.e. the maximally non-concrete sub-object.

   Am working on the entry Lie infinity-groupoid:

   have been expanding the section on differential coefficients for Lie-integrated $\infty$-groups, i.e. the discussion of differential refinements of those Lie $\infty$-groups $G$ that arise as the integration $\tau_n \exp(\mathfrak{g})$ of an $L_\infty$-algebra $\mathfrak{g}$.

   There is now detailed proof of the statements

   1. that the presheaf $G TrivBund_{flat}$ of trivial $G$-principal $\infty$-bundles with flat $\infty$-connetion is equivalent to the underlying discrete $\infty$-groupoid $\mathbf{\flat} \mathbf{B}G$ of $\mathbf{B}G$

   2. and factors the canonical inclusion $\mathbf{\flat}\mathbf{B}G \to \mathbf{B}G$ as a fibration;

   3. as a corollary one gets a model for the de Rham coefficient object $\mathbf{\flat}_{dR} \mathbf{B}G$ (the coefficient object for nonabelian de Rham cohomology with values in $\mathfrak{g}$).

   It is maybe noteworthy that $\mathbf{B}G$ is the concretization (in the sense of concrete presheaf) of $G TrivBund_{flat}$ and $\mathbf{\flat}_{dR} \mathbf{B}G$ is the kernel of this concretization, i.e. the maximally non-concrete sub-object.

4. • CommentRowNumber4.
   • CommentAuthorJohn Baez
   • CommentTimeJul 8th 2010
   • (edited Jul 8th 2010)
   • PermaLink
   Author: John Baez
   Format: MarkdownItexWow, that sounds cool. Sounds like a nonabelian generalization of some famous exact sequence involving de Rham cohomology and Deligne cohomology. Yeah, it looks like that. There's a displayed equation in the $n$Lab entry that didn't compile...

   Wow, that sounds cool. Sounds like a nonabelian generalization of some famous exact sequence involving de Rham cohomology and Deligne cohomology.

   Yeah, it looks like that.

   There’s a displayed equation in the $n$Lab entry that didn’t compile…

5. • CommentRowNumber5.
   • CommentAuthorUrs
   • CommentTimeJul 8th 2010
   • (edited Jul 8th 2010)
   • PermaLink
   Author: Urs
   Format: MarkdownItexThanks for your comment! > Sounds like a nonabelian generalization of some famous exact sequence involving de Rham cohomology and Deligne cohomology. Yes, it's closely related. For the case that the $\infty$-group $G$ is "mildly abelian" (namely braided as a monoidal $\infty$-groupoid, in that two deloopings of it exist) the exact sequence that relates differential cohomology with coefficients in $G$ and de Rham cohomology with coefficients in $G$ is derived <a href="http://ncatlab.org/schreiber/show/differential+cohomology+in+an+(%E2%88%9E%2C1)-topos#DiffCohWithGroupalCoeffs">here</a> (scroll down just a little bit to the lemma called "differential fiber sequence"). And it is a direct formal consequence of the fiber sequence that I was discussing above, which I write $$ \mathbf{\flat}_{dR} \mathbf{B}G \to \mathbf{\flat} \mathbf{B}G \to \mathbf{B}G $$ The trick is to read "$\mathbf{\flat}$" as "flat": so $\mathbf{\flat}\mathbf{B}G$ is the coefficient object for _flat_ $G$ $\infty$-bundles (it's the discrete $\infty$-groupoid underlying the Lie $\infty$-groupoid $\mathbf{B}G$. Then by definition the homotopy fiber $\mathbf{\flat}_{dR} \mathbf{B}G$ is the coefficient for $G$-valued de Rham cohomology (and the definition justifies itself by reducing to what one expectes to see in the suitable special cases). In the fully nonabelian case, i.e. when $G$ is only once deloopable or when instead of $\mathbf{B}G$ we use any $\infty$-Lie groupoid $A$ there is also an exact sequence for differential $G$-cohomology. This involves nonabelian de Rham cohomology with coefficients in the object which I write $\Omega \mathbf{\Pi}_{dR} \mathbf{B}G$, where $\Omega$ denotes looping, of course, and $\mathbf{\Pi}_{dR} \mathbf{B}G$ is the homotopy cofiber of the constant path inclusion $\mathbf{B}G \to \mathbf{\Pi}\mathbf{B}G$. That's the topic of the section <a href="http://ncatlab.org/schreiber/show/differential+cohomology+in+an+(%E2%88%9E%2C1)-topos#WithCurvatureClasses">Differential cohomology with non-groupal coefficients</a>. All this is completely "formal" in that it involves only abstract operations in an <a href="http://ncatlab.org/nlab/show/locally+n-connected+(n%2C1)-topos">oo-connected (oo,1)-topos</a>. The discussion at [[Lie infinity-groupoid]] that I mentioned above is about what all this abstract stuff boils down to concretely when realized in the $(\infty,1)$-topos $\infty LieGrpd$.

   Thanks for your comment!

   Sounds like a nonabelian generalization of some famous exact sequence involving de Rham cohomology and Deligne cohomology.

   Yes, it’s closely related.

   For the case that the $\infty$-group $G$ is “mildly abelian” (namely braided as a monoidal $\infty$-groupoid, in that two deloopings of it exist) the exact sequence that relates differential cohomology with coefficients in $G$ and de Rham cohomology with coefficients in $G$ is derived here (scroll down just a little bit to the lemma called “differential fiber sequence”).

   And it is a direct formal consequence of the fiber sequence that I was discussing above, which I write

   $$\mathbf{\flat}_{dR} \mathbf{B}G \to \mathbf{\flat} \mathbf{B}G \to \mathbf{B}G$$

   The trick is to read “$\mathbf{\flat}$” as “flat”: so $\mathbf{\flat}\mathbf{B}G$ is the coefficient object for flat $G$ $\infty$-bundles (it’s the discrete $\infty$-groupoid underlying the Lie $\infty$-groupoid $\mathbf{B}G$. Then by definition the homotopy fiber $\mathbf{\flat}_{dR} \mathbf{B}G$ is the coefficient for $G$-valued de Rham cohomology (and the definition justifies itself by reducing to what one expectes to see in the suitable special cases).

   In the fully nonabelian case, i.e. when $G$ is only once deloopable or when instead of $\mathbf{B}G$ we use any $\infty$-Lie groupoid $A$ there is also an exact sequence for differential $G$-cohomology. This involves nonabelian de Rham cohomology with coefficients in the object which I write $\Omega \mathbf{\Pi}_{dR} \mathbf{B}G$, where $\Omega$ denotes looping, of course, and $\mathbf{\Pi}_{dR} \mathbf{B}G$ is the homotopy cofiber of the constant path inclusion $\mathbf{B}G \to \mathbf{\Pi}\mathbf{B}G$.

   That’s the topic of the section Differential cohomology with non-groupal coefficients.

   All this is completely “formal” in that it involves only abstract operations in an oo-connected (oo,1)-topos. The discussion at Lie infinity-groupoid that I mentioned above is about what all this abstract stuff boils down to concretely when realized in the $(\infty,1)$-topos $\infty LieGrpd$.

6. • CommentRowNumber6.
   • CommentAuthorUrs
   • CommentTimeJul 22nd 2010
   • PermaLink
   Author: Urs
   Format: MarkdownItexstarted a section <a href="http://ncatlab.org/nlab/show/Lie+infinity-groupoid#LieIntUnivBund">The Lie-integrated universal principal $\infty$-bundle</a>

   started a section The Lie-integrated universal principal $\infty$-bundle

7. • CommentRowNumber7.
   • CommentAuthorUrs
   • CommentTimeJul 26th 2010
   • PermaLink
   Author: Urs
   Format: MarkdownItexadded a section on <a href="http://ncatlab.org/nlab/show/Lie+infinity-groupoid#DescentForStrictInf">descent for strict oo-Lie groupoids</a>.

   added a section on descent for strict oo-Lie groupoids.

8. • CommentRowNumber8.
   • CommentAuthorUrs
   • CommentTimeJul 26th 2010
   • (edited Jul 26th 2010)
   • PermaLink
   Author: Urs
   Format: MarkdownItexam starting sections on <a href="http://ncatlab.org/nlab/show/Lie+infinity-groupoid#IntegrationOfCocycles">integration of an oo-Lie algebra cocycle</a> to a cocycle of $\infty$-Lie groupoids; and on the <a href="http://ncatlab.org/nlab/show/Lie+infinity-groupoid#ChernWeilHomomorphism">oo-Chern-Weil homomorphism</a>. But stubby for the moment.

   am starting sections on integration of an oo-Lie algebra cocycle to a cocycle of $\infty$-Lie groupoids; and on the oo-Chern-Weil homomorphism. But stubby for the moment.

9. • CommentRowNumber9.
   • CommentAuthorUrs
   • CommentTimeJul 30th 2010
   • PermaLink
   Author: Urs
   Format: MarkdownItexstarted a new section titled <a href="http://ncatlab.org/nlab/show/Lie+infinity-groupoid#DeRhamOfSimplicialManifold">simplicial de Rham complex</a> whose punchline is supposed to be this: the literature knows two standard models for the [[simplicial de Rham complex]] of a simplicial manifold $X_\bullet$, with a fiber integration map constituting a quasi-isomorphism between them. On the other hand, I happen to have two natural models (in terms of complexes of sheaves, as described in the entry) for the intrinsic de Rham coefficient object $\mathbf{\flat}_{dR} \mathbf{B}^n \mathbb{R}$, and a fiber integration map constitutes a weak equivalence between them. The claim is: the cocycle oo-groupoids of the two models for the simplicial de Rham complex are precisely the hom-complexes of morphisms of simplicial presheaves $$ X_\bullet \to \mathbf{\flat}_{dR} \mathbf{B}^n \mathbb{R} $$ into the given two models, respectively, and the quasi-isomorphism is that induced from the weak equivalence between these. I spelled out some details about how to prove this in the section linked to above and indicated how to continue. But have to interrupt now.

   started a new section titled simplicial de Rham complex whose punchline is supposed to be this:

   the literature knows two standard models for the simplicial de Rham complex of a simplicial manifold $X_\bullet$, with a fiber integration map constituting a quasi-isomorphism between them.

   On the other hand, I happen to have two natural models (in terms of complexes of sheaves, as described in the entry) for the intrinsic de Rham coefficient object $\mathbf{\flat}_{dR} \mathbf{B}^n \mathbb{R}$, and a fiber integration map constitutes a weak equivalence between them.

   The claim is: the cocycle oo-groupoids of the two models for the simplicial de Rham complex are precisely the hom-complexes of morphisms of simplicial presheaves

   $$X_\bullet \to \mathbf{\flat}_{dR} \mathbf{B}^n \mathbb{R}$$

   into the given two models, respectively, and the quasi-isomorphism is that induced from the weak equivalence between these.

   I spelled out some details about how to prove this in the section linked to above and indicated how to continue. But have to interrupt now.

10. • CommentRowNumber10.
    • CommentAuthorEric
    • CommentTimeJul 31st 2010
    • PermaLink
    Author: Eric
    Format: MarkdownItexThis sounds like it would be worth submitting as a brief note for publication. Not every publication needs to be earth shattering (few are). I obviously don't understand the details, but it sounds like a nice little result.

    This sounds like it would be worth submitting as a brief note for publication. Not every publication needs to be earth shattering (few are). I obviously don’t understand the details, but it sounds like a nice little result.

11. • CommentRowNumber11.
    • CommentAuthorUrs
    • CommentTimeAug 23rd 2010
    • (edited Aug 23rd 2010)
    • PermaLink
    Author: Urs
    Format: MarkdownItexIn another thread I had a few days ago announced a computation of the intrinsic de Rham cohomology of $\mathbf{B}^n U(1)$ in the $(\infty,1)$-topos of $\infty$-Lie groupoids. The first versions of what I had typed out had however been quite rough. I have now refined this to what I think is a rather detailed proof. I moved this to the section <a href="http://ncatlab.org/nlab/show/Lie+infinity-groupoid#DeRhamBnU(1)">oo-Lie groupoids -- Intrinsic de Rham cohomology of Bn U(1)</a>. As I try to indicate in the proof, using the projective model structure on simplicial presheaves there is an easy naive version where one ignores the need to pass to a cofibrant resolutioin of $\mathbf{B}^n U(1)$. The nontrivial work is required in demonstrating that the correct computation of maps out of a cofibrant resolution does reduce to this naive version after all. By the relation of cohomology in simplicial presheaves to ordinary abelian sheaf hypercohomology (as for instance in Jardine's lecture notes) there should be an alternative computation where we don't resolve $\mathbf{B}^n U(1)$ but use instead an injective resolution of the complex of sheaves $(\Omega^1(-) \stackrel{d_{dR}}{\to} \to \cdots \to \Omega^n_{cl}(-))$. First I tried to compute it this way, but then I wasn't sure how to handle some details. On the other hand, the proof that I have given now (in as far as it is correct) has the advantage over this would-be alternative proof that its structure works also for nonabelian coefficients.

    In another thread I had a few days ago announced a computation of the intrinsic de Rham cohomology of $\mathbf{B}^n U(1)$ in the $(\infty,1)$-topos of $\infty$-Lie groupoids. The first versions of what I had typed out had however been quite rough.

    I have now refined this to what I think is a rather detailed proof. I moved this to the section oo-Lie groupoids – Intrinsic de Rham cohomology of Bn U(1).

    As I try to indicate in the proof, using the projective model structure on simplicial presheaves there is an easy naive version where one ignores the need to pass to a cofibrant resolutioin of $\mathbf{B}^n U(1)$. The nontrivial work is required in demonstrating that the correct computation of maps out of a cofibrant resolution does reduce to this naive version after all.

    By the relation of cohomology in simplicial presheaves to ordinary abelian sheaf hypercohomology (as for instance in Jardine’s lecture notes) there should be an alternative computation where we don’t resolve $\mathbf{B}^n U(1)$ but use instead an injective resolution of the complex of sheaves $(\Omega^1(-) \stackrel{d_{dR}}{\to} \to \cdots \to \Omega^n_{cl}(-))$. First I tried to compute it this way, but then I wasn’t sure how to handle some details.

    On the other hand, the proof that I have given now (in as far as it is correct) has the advantage over this would-be alternative proof that its structure works also for nonabelian coefficients.