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 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 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 internal-categories k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure 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.
    • CommentAuthorUrs
    • CommentTimeMay 8th 2011

    added to Chern-Weil homomorphism the description of the construction of the refined CW homomorphism by differential functions built using the universal connection as described by Hopkins-Singer.

    • CommentRowNumber2.
    • CommentAuthorzskoda
    • CommentTimeMar 28th 2012

    The letter PP is used in the first paragraph both for the invariant polynomial and for the total space of the principal bundle. I did not change it as I do not know which one to change to stay in accordance with other entries on the topic. Urs ?

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeMar 28th 2012

    Thanks. I have changed the invariant polynomial notation to “\langle -\rangle”.

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeDec 15th 2018
    • (edited Dec 15th 2018)

    Thanks!

    I have moved the section to before the “refined” version, renamed to “The plain Chern-Weil homomorphism” (okay?) and instead added pointer to the actual reference Kobayashi-Nomizu 63

    diff, v13, current

  1. Thanks Urs. It looks good for me.
    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeDec 15th 2018
    • (edited Dec 15th 2018)

    All right.

    I only see now that the threads split, I had been replying, of course, to your message here.

    L Probably it’s the hyphen bug at work, which keeps haunting the nLab.

    • CommentRowNumber7.
    • CommentAuthorDavid_Corfield
    • CommentTimeDec 15th 2018

    Isn’t it that the category of the other thread is ’nLab’ rather than ’Latest Changes’ here?

  2. As mentioned by David, the category of thread is nLab there.
    • CommentRowNumber9.
    • CommentAuthorRichard Williamson
    • CommentTimeDec 15th 2018
    • (edited Dec 15th 2018)

    Yes, David C is correct. Let me know if the two threads should be merged. I am not aware of any present hyphen bug :-).

    • CommentRowNumber10.
    • CommentAuthorUrs
    • CommentTimeDec 15th 2018

    I think there is still a problem with some links on the nLab not working, because hyphens that look the same have different character encodings. I stopped reporting that long ago, but if you have the energy, I will drop a message next time I encounter it.

  3. Ah, yes, please do. We have a similar issue registered on the Technical TODO list (nlabmeta). I think people do it unintentionally, but if anyone is deliberately making a choice, I’d suggest to keep it simple and use the usual Ascii hyphen rather a unicode em or en dash :-).

    • CommentRowNumber12.
    • CommentAuthorUrs
    • CommentTimeDec 16th 2018

    I think the problem comes not so much from people making choices, but from some non-trivial transformation happening in the process of a) typing a hyphen into the source code, b) it being rendered (and maybe differently in bulk text and headlines?) and this rendered output c) being copy-and pasted into the next source.

    But I’ll check.

    • CommentRowNumber13.
    • CommentAuthorUrs
    • CommentTimeAug 25th 2020
    • (edited Aug 25th 2020)

    added pointer to:

    diff, v14, current

    • CommentRowNumber14.
    • CommentAuthorUrs
    • CommentTimeAug 26th 2020

    added pointer to

    diff, v15, current

    • CommentRowNumber15.
    • CommentAuthorUrs
    • CommentTimeAug 28th 2020

    turns out that Weil’s unpublished note is available in his collected works, have added the pointers:

    • André Weil, Géométrie différentielle des espaces fibres, unpublished, item [1949e] in: André Weil Oeuvres Scientifiques / Collected Papers, vol. 1 (1926-1951), 422-436, Springer 2009 (ISBN:978-3-662-45256-1)

    diff, v18, current

    • CommentRowNumber16.
    • CommentAuthorUrs
    • CommentTimeAug 28th 2020

    I finally realized that Cartan’s article exists in two different versions. Have now made the citation read as follows:

    • Henri Cartan, Section 7 of: _Cohomologie réelle d’un espace fibré principal différentiable. I : notions d’algèbre différentielle, algèbre de Weil d’un groupe de Lie _, Séminaire Henri Cartan, Volume 2 (1949-1950), Talk no. 19, 10 p. (numdam:SHC_1949-1950__2__A18_0)

      \linebreak

      Henri Cartan, Section 7 of: Notions d’algèbre différentielle; applications aux groupes de Lie et aux variétés où opère un groupe de Lie, in: Centre Belge de Recherches Mathématiques, Colloque de Topologie (Espaces Fibrés) Tenu à Bruxelles du 5 au 8 juin 1950, Geroges Thon 1951 (GoogleBooks)

      \linebreak

      (These two articles have the same content, with the same section outline, but not the same wording. The first one is a tad more detailed.)

    diff, v18, current

    • CommentRowNumber17.
    • CommentAuthorUrs
    • CommentTimeAug 28th 2020
    • (edited Aug 28th 2020)

    Funny how it goes:

    Cartan gives prominently placed seminars about the idea, and publishes it in an on-topic book collection.

    Three months later Chern gives a talk with quick reference to an unpublished and unavailable note by Weil, and henceforth Cartan’s idea is known as “Chern-Weil theory”. :-)

    • CommentRowNumber18.
    • CommentAuthorUrs
    • CommentTimeAug 28th 2020

    added pointer to Section 2 of

    diff, v19, current

    • CommentRowNumber19.
    • CommentAuthorUrs
    • CommentTimeAug 28th 2020

    Have added more references, such as to the universal connections that Chern had been appealing to. Also pointers to these further reviews:

    diff, v20, current

    • CommentRowNumber20.
    • CommentAuthorDmitri Pavlov
    • CommentTimeJul 1st 2022

    Where exactly is the requirement that GG is a compact Lie group used in the construction? The current exposition never mentions this condition.

    diff, v24, current

    • CommentRowNumber21.
    • CommentAuthorDavidRoberts
    • CommentTimeJul 2nd 2022

    If the group has no faithful finite-dimensional representation, how do we know there’s a finite-dimensional “level-nn” classifying space?

    • CommentRowNumber22.
    • CommentAuthorDmitri Pavlov
    • CommentTimeJul 2nd 2022
    • (edited Jul 2nd 2022)

    This is the Narasimhan–Ramanan theorem, which indeed assumes compactness.

    But this theorem is not necessary to define the Chern–Weil homomorphism.

    Indeed, Chapter XII in Kobayashi–Nomizu, which is already referenced in the article, constructs the Chern–Weil homomorphism in full generality without any assumptions on the Lie group G. The differential refinement also uses the computation of integral and real cohomology of the classifying space, which is insensitive to compactness because the inclusion of any maximal compact subgroup into a connected Lie group is a homotopy equivalence.

    And if one is looking for a proof using universal connections, then the modern proof by Freed–Hopkins is much more elegant and also does not require G to be compact.

    • CommentRowNumber23.
    • CommentAuthorDavidRoberts
    • CommentTimeJul 2nd 2022

    If you know how to generalise, then you should do so :-)

    I was just pointing out one fairly obvious place in the argument on the page (mention of the fin. dim. level-nn class. space) where it seems compactness of GG was used. If that step can be gotten around by something in Freed–Hopkins, then we should use that, instead of what is currently there.

    • CommentRowNumber24.
    • CommentAuthorDmitri Pavlov
    • CommentTimeJul 2nd 2022

    Added a modern construction.

    diff, v25, current

    • CommentRowNumber25.
    • CommentAuthorDmitri Pavlov
    • CommentTimeJul 2nd 2022

    Okay, I added a new section with the modern construction, best if a few people take a look at it now to make sure my description is consistent.

    Also, I believe Urs figured this out somewhere in his work, but he can probably supply a reference much faster than I can.

    • CommentRowNumber26.
    • CommentAuthorUrs
    • CommentTimeJul 3rd 2022

    Sorry for the slow reaction, I am operating on stolen moments this long weekend.

    But I am afraid I don’t have anything substantial to offer regarding the assumptions in the classical CW theory.

    Our ambition in Chapter 7 (pp. 74) of The non-abelian character map was just to show that the classical construction (specifically in its Hopkins&Singer-incarnation) is an example of the character map on non-abelian cohomology.

    Looking back at it, I see that we do assume compact GG, in order to be able to easily quote standard results. I’d be interested in seeing this generalized. (Back then I would have been eager to join you looking into this, now I am afraid that I am too busy on other questions.)