Cohomology of Flat Principal Bundles

2018 ◽  
Vol 61 (3) ◽  
pp. 869-877
Author(s):  
Yanghyun Byun ◽  
Joohee Kim

AbstractWe invoke the classical fact that the algebra of bi-invariant forms on a compact connected Lie group G is naturally isomorphic to the de Rham cohomology H*dR(G) itself. Then, we show that when a flat connection A exists on a principal G-bundle P, we may construct a homomorphism EA: H*dR(G)→H*dR(P), which eventually shows that the bundle satisfies a condition for the Leray–Hirsch theorem. A similar argument is shown to apply to its adjoint bundle. As a corollary, we show that that both the flat principal bundle and its adjoint bundle have the real coefficient cohomology isomorphic to that of the trivial bundle.

Author(s):  
Loring W. Tu

This chapter describes basic forms. On a principal bundle π‎: P → M, the differential forms on P that are pullbacks of forms ω‎ on the base M are called basic forms. The chapter characterizes basic forms in terms of the Lie derivative and interior multiplication. It shows that basic forms on a principal bundle are invariant and horizontal. To understand basic forms better, the chapter considers a simple example. The plane ℝ2 may be viewed as the total space of a principal ℝ-bundle. A connected Lie group is generated by any neighborhood of the identity. This example shows the necessity of the connectedness hypothesis.


2016 ◽  
Vol 3 (1) ◽  
Author(s):  
Hisashi Kasuya

AbstractFor a simply connected solvable Lie group G with a lattice Γ, the author constructed an explicit finite-dimensional differential graded algebra A*Γ which computes the complex valued de Rham cohomology H*(Γ\G, C) of the solvmanifold Γ\G. In this note, we give a quick introduction to the construction of such A*Γ including a simple proof of H*(A*Γ) ≅ H*(Γ\G, C).


Author(s):  
Loring W. Tu

This chapter offers an outline of a proof of the equivariant de Rham theorem. In 1950, Henri Cartan proved that the cohomology of the base of a principal G-bundle for a connected Lie group G can be computed from the Weil model of the total space. From Cartan's theorem it is not too difficult to deduce the equivariant de Rham theorem for a free action. Guillemin and Sternberg presents an algebraic proof of the equivariant de Rham theorem, although some details appear to be missing. Guillemin, Ginzburg, and Karshon outline in an appendix of be missing. Guillemin, Ginzburg, and Karshon outline in an appendix of a different approach using the Mayer–Vietoris argument. A limitation of the Mayer–Vietoris argument is that it applies only to manifolds with a finite good cover. The chapter provides a proof of the general case with no restrictions on the manifold and with all the details.


1989 ◽  
Vol 22 (1) ◽  
pp. 249-272 ◽  
Author(s):  
Wiesław Sasin

Author(s):  
A. L. Carey ◽  
W. Moran

AbstractLet G be a second countable locally compact group possessing a normal subgroup N with G/N abelian. We prove that if G/N is discrete then G has T1 primitive ideal space if and only if the G-quasiorbits in Prim N are closed. This condition on G-quasiorbits arose in Pukanzky's work on connected and simply connected solvable Lie groups where it is equivalent to the condition of Auslander and Moore that G be type R on N (-nilradical). Using an abstract version of Pukanzky's arguments due to Green and Pedersen we establish that if G is a connected and simply connected Lie group then Prim G is T1 whenever G-quasiorbits in [G, G] are closed.


Author(s):  
Federico Scavia

Abstract Building upon work of Epstein, May and Drury, we define and investigate the mod p Steenrod operations on the de Rham cohomology of smooth algebraic stacks over a field of characteristic $p>0$ . We then compute the action of the operations on the de Rham cohomology of classifying stacks for finite groups, connected reductive groups for which p is not a torsion prime and (special) orthogonal groups when $p=2$ .


1989 ◽  
Vol 105 (2) ◽  
pp. 253-261 ◽  
Author(s):  
K. H. Hofmann ◽  
T. S. Wu ◽  
J. S. Yang

Dense immersions occur frequently in Lie group theory. Suppose that exp: g → G denotes the exponential function of a Lie group and a is a Lie subalgebra of g. Then there is a unique Lie group ALie with exponential function exp:a → ALie and an immersion f:ALie→G whose induced morphism L(j) on the Lie algebra level is the inclusion a → g and which has as image an analytic subgroup A of G. The group Ā is a connected Lie group in which A is normal and dense and the corestrictionis a dense immersion. Unless A is closed, in which case f' is an isomorphism of Lie groups, dim a = dim ALie is strictly smaller than dim h = dim H.


2018 ◽  
Vol 154 (4) ◽  
pp. 850-882
Author(s):  
Yunqing Tang

In his 1982 paper, Ogus defined a class of cycles in the de Rham cohomology of smooth proper varieties over number fields. This notion is a crystalline analogue of$\ell$-adic Tate cycles. In the case of abelian varieties, this class includes all the Hodge cycles by the work of Deligne, Ogus, and Blasius. Ogus predicted that such cycles coincide with Hodge cycles for abelian varieties. In this paper, we confirm Ogus’ prediction for some families of abelian varieties. These families include geometrically simple abelian varieties of prime dimension that have non-trivial endomorphism ring. The proof uses a crystalline analogue of Faltings’ isogeny theorem due to Bost and the known cases of the Mumford–Tate conjecture.


Sign in / Sign up

Export Citation Format

Share Document