Matches in SemOpenAlex for { <https://semopenalex.org/work/W2044623296> ?p ?o ?g. }
Showing items 1 to 55 of
55
with 100 items per page.
- W2044623296 endingPage "151" @default.
- W2044623296 startingPage "141" @default.
- W2044623296 abstract "This article aims at clarifying the relationship between principal fibre bundles and groupoids, and along with it, the relationship between connections in the bundle or groupoid, and the associated connection forms. These notions are essentially due to E. Cartan [2] and to Ehresmann [4], [5], who in them saw some of the fundamental aspects of differential geometry, cf. also [IO]. To this end, we introduce the notion of pregroupoid over a base ‘space’ B (‘space’ may mean either ‘topological space’, ‘smooth manifold’, or ‘object in a topos (;5’ ‘, and accordingly for ‘map’ (or ‘operation’ or ‘law’)). We use the word ‘set’ synonymously with ‘space’, and give some standard comments for this abuse below. Formally, a pregroupoid over B is a set E-B over B equipped with a partially defined ternary operation A, satisfying certain equations. In essence, a pregroupoid over B is the same as a principal fibre bundle, or torsor, over B, but whereas for a torsor, a group has to be given in advance, a pregroupoid canonically creates its own group. Also, by a dual construction, a pregroupoid creates a groupoid over B. Identifying the pregroupoid with a principal bundle H, this groupoid is Ehresmann’s HH- ‘, [4]. In the context of differential geometry, a typical example of a pregroupoid is the bundle E of orthonormal frames on a Riemannian manifold B; for x,y,z such frames, with x and z being frames at the same point of B, L(x, y,z) is the frame (at the same point as y) which has the same coordinates in terms of y as z does in terms of x. To describe the relationship between connections and connection forms, we need to assume that the base ‘space’ B comes equipped with a reflexive symmetric ‘neighbour’ relation. Except for the two trivial extreme cases, topological spaces do not carry any natural relation of this kind, nor do smooth manifolds. However, for the latter, the method of synthetic differential geometry (cf. e.g. [7]) becomes available: essentially, it consists in embedding the category Mf of smooth manifolds into a suitable ‘well-adapted’ topos (5’. When viewed in 6, any smooth manifold does" @default.
- W2044623296 created "2016-06-24" @default.
- W2044623296 creator A5066054838 @default.
- W2044623296 date "1986-01-01" @default.
- W2044623296 modified "2023-09-27" @default.
- W2044623296 title "Combinatorial notions relating to principal fibre bundles" @default.
- W2044623296 cites W1549497574 @default.
- W2044623296 cites W1589741152 @default.
- W2044623296 cites W1964868989 @default.
- W2044623296 cites W1972098605 @default.
- W2044623296 cites W2005410096 @default.
- W2044623296 cites W2156855194 @default.
- W2044623296 cites W261160452 @default.
- W2044623296 cites W50522876 @default.
- W2044623296 cites W170009362 @default.
- W2044623296 doi "https://doi.org/10.1016/0022-4049(86)90141-6" @default.
- W2044623296 hasPublicationYear "1986" @default.
- W2044623296 type Work @default.
- W2044623296 sameAs 2044623296 @default.
- W2044623296 citedByCount "9" @default.
- W2044623296 crossrefType "journal-article" @default.
- W2044623296 hasAuthorship W2044623296A5066054838 @default.
- W2044623296 hasBestOaLocation W20446232961 @default.
- W2044623296 hasConcept C111919701 @default.
- W2044623296 hasConcept C136119220 @default.
- W2044623296 hasConcept C144559511 @default.
- W2044623296 hasConcept C202444582 @default.
- W2044623296 hasConcept C33923547 @default.
- W2044623296 hasConcept C41008148 @default.
- W2044623296 hasConceptScore W2044623296C111919701 @default.
- W2044623296 hasConceptScore W2044623296C136119220 @default.
- W2044623296 hasConceptScore W2044623296C144559511 @default.
- W2044623296 hasConceptScore W2044623296C202444582 @default.
- W2044623296 hasConceptScore W2044623296C33923547 @default.
- W2044623296 hasConceptScore W2044623296C41008148 @default.
- W2044623296 hasLocation W20446232961 @default.
- W2044623296 hasOpenAccess W2044623296 @default.
- W2044623296 hasPrimaryLocation W20446232961 @default.
- W2044623296 hasRelatedWork W1557945163 @default.
- W2044623296 hasRelatedWork W1985218657 @default.
- W2044623296 hasRelatedWork W2023661790 @default.
- W2044623296 hasRelatedWork W2073994398 @default.
- W2044623296 hasRelatedWork W2096753949 @default.
- W2044623296 hasRelatedWork W2963341196 @default.
- W2044623296 hasRelatedWork W3106133691 @default.
- W2044623296 hasRelatedWork W3124205579 @default.
- W2044623296 hasRelatedWork W4249580765 @default.
- W2044623296 hasRelatedWork W4311714614 @default.
- W2044623296 hasVolume "39" @default.
- W2044623296 isParatext "false" @default.
- W2044623296 isRetracted "false" @default.
- W2044623296 magId "2044623296" @default.
- W2044623296 workType "article" @default.