WikiLeanRecent changes · Proposals · Flags · Stats · About

Diff — Cartan connection

Revision #730 → #1059 · back to history

addedCartan connection (informal)335c8b7992ab
addedKlein geometry998693e5916e
addedCartan geometry (informal)698958aa2fb5
addedAffine connection from tangent planes9c637ef5f48a
addedConformal connection from spheres7d42b1a805b0
addedCongruence of model spaces6474d0e2a4d8
addedCartan connection as generic G-connection8d1889e91c5c
addedAffine connectionf59bda7928ee
addedPrincipal H-bundle2c3c0b7182bf
addedPrincipal H-connection9115c860a707
addedSolder form40cbe49b2b79
addedCartan connection from connection and solder form968f736ff4f4
addedMaurer-Cartan form of P91772a9337c0
addedStructure equation for Maurer-Cartan form63f0e925cd62
addedCartan geometryc513799bab11
addedH-related coordinate systems798550bf898a
addedCartan connection (infinitesimal symmetry)3fe6835cd341
addedCartan connection via gauge transitions8c81f114c3a0
addedCurvature (gauge formulation)d79b3cd784ea
addedCartan connection via absolute parallelismcccf6d14d5d8
addedCartan condition3281820a8f7b
addedCurvature of a Cartan connection8a6fdf39434b
addedCartan connection as principal connection5aa45fc68760
addedCartan connection via Ehresmann connection194fc849b96d
addedDevelopment of a curveb3e93c908a76
addedReductive Cartan connectioneeaa2634360e
addedParabolic Cartan geometryfbb787c5c1dc
addedExamples of parabolic geometries67fc24c4eccf
addedInduced covariant derivativefe7bd7a9ef53
addedLeibniz rule for covariant derivative3961df8f0168
addedCanonical isomorphism of V-valued forms85d512e0529d
addedFundamental (universal) derivative57019075d4c9