Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Given a Lie group with Lie algebra , one can think of a -valued 1-form on a differential manifold as a connection form on the trivial principal -bundle . The curvature of is a -valued 2-form on , and is flat precisely when its curvature vanishes. These are in a sense the extreme cases: on the one side the curvature 2-form takes values in the whole of , on the other side the curvature takes values in the Lie subalgebra of . I was therefore wondering whether given a Lie subalgebra of there is a meaningful notion of connection form with -constrained curvature, i.e. whose curvature 2-form is -valued. This should be (hopefully) related to the homogeneous space , where is the Lie subgroup of corresponding to the Lie algebra .
What you say reminds me a bit of Cartan connections.
Have you read John Baez on torsoroids?
@David: I wasn’t aware of that. Thanks, that really seems something I have to investigate better.
@Urs: I’ll have to look into that, too, thanks. What I’m after, as you can have imagined, is a Lie algebra valued forms local description of -bundles induced by a G-princiapal bundle which parallels our local description of principal -bundles in terms of -valued differential forms on which are flat in the simplicial direction. I that can be done, then it would be another step in reproducing Brylinski-McLaughlin construction of differential characteristic classes via maps from into homogeneous spaces in our Lie algebra integration language.
It is of course possible to consider the sub-simplicial presheaf of for which the curvature forms satisfy an extra constraint. But now I am not sure what you have in mind with this. To me the problem we’d have to solve is how to get a resolution of by a simplicial object of homology-chains in .
@Urs: what I have in mind is not a subsheaf of but a supersheaf: in we impose curvature to vanish in the vertical direction, and this is the origin of the topological constrain. Namely, to give a flat -connection on is the same thing as giving a based map from to . This means that if we are given a flat -connection on , the obstruction to extending it to a flat -connection on is a topological one: it is an element in . Yet, assume we weaken our request and ask to extend the flat -connection on to an -curvature constrained connection on . Maybe this can be done and if we are lucky the obstruction to this is an element in . Surely thsi would not solve the issue with Pontryagin classes (since there is still a finite group there whicih is not seen by these Lie theoretic construtions), but this could hopefully handle Chern classes for princiapal -bundles (the Stiefel manifolds are connected-to-the-point-one-is-interested-in).
@jim: welcome in this discussion: I really hoped you would have joined here
I got an excellent answer from Robert Bryant here
Hi Domenico,
sorry for being silent for so long. I was utterly exhausted after the last two months and needed a good break in the last week, just family, and offline :-) Hope you all had good Christmas holidays.
But now some thoughts.
First: it seems to me that for the construction that we need, the question of how to most suitably parameterize maps into a coset is secondary. The primary problem is to exhibit a useful resolution of in terms of homology cycles in cosets, whichever way these are described.
Since we are discussing this out in the open anyway, let me briefly recall for other readers what this is all about, since otherwise this discussion must seem mysterious to everybody else:
Context.
In
the authors constructed what the title announces: Cech cohomology representatives of all classical characteristic classes.
In
we observed that for degree-4 classes this construction naturally refines to a morphism of smooth higher moduli stacks from the moduli stack of -principal connections to that of circle 3-connections.
More generally, for any degree -class, this refinement generalizes to a “higher Chern-Weil homomorphism” of this form where, however, is now required to be an n-group that extends the original Lie group.
For instance this way the second Pontryagin class is obtained not as a morphism on the moduli stack of -connections, but on that of String-connections .
Therefore there is the evident
Open question
Can the construction of Brylisnki-MacLaughlin be refined to a morphism of smooth higher moduli stacks with a Lie group also for the case of higher characteristic classes?
Or in other words, can we “push down” the universal construction of Fiorenza-Schreiber-Stasheff to lower connected covers? For instance, can we find the extension in
??
(We have the corresponding extension on the level of topological universal characteristic maps. The task is here to first refine to smooth higher stacks, and then further to their differential refinement.)
I want to state an attempt to answer this question. But I’ll do so in the next comment.
Hi Domenico,
let me try to play around with a suggestion for how to proceed.
Let . We need a simplicial presheaf resolution that supports that BMcL-construction not just for but also for higher .
For we used
which we may think of as “”, the simplicial complex of smooth simplices in that are based at the neutral element. The coskeleton construction at some point does away with the singular simplices and fills up everything with unique abstract simplices.
Our task is: replace the blunt coskeleton construction by a construction that instead fills in all higher simplicial spheres by homology chains in the coset .
There is an obvious guess for how to do this:
Let be given as follows
a single object;
1-morphisms are smooth based paths in ;
2-morphisms are smooth based triangles in ;
now:
3-morphisms are smooth based 3-chains over in , whose faces have representatives by maps ;
4-morphisms are smooth based 4-chains over whose faces are of the above form
and so on until
and then complete by the coskeleton
The evident projection should be a weak equivalence, since, by that table on p. 3 of BMcL, the integral homology of the coset space is all torsion in the relevant range, and hence vanishes over the reals.
Finally, should have a differential refinement and the BMcL-construction should extend to a morphism of simplicial presheaves . I’d hope.
That would be my suggestion. I haven’t fully thought this through. I am saying this in order to indicate in which direction I think we should be pushing.
[edit: after a bit of fiddling, I am not sure if I can make this work…]
Hi Urs,
thanks for this additions and suggestions. I’m now away for winter holidays and so I will be for other 4-5 days. After that I’ll come back to this. But as you see I’m giving a glance to what’s happening on nforum, so if this discussions evolves while I’m out I’ll nevertheless be able to follow it at least a bit
1 to 12 of 12