PlanetMath: locally compact groupoid

(more info)

Math for the people, by the people.

Main Menu

sections Encyclopædia
Papers
Books
Expositions

meta Requests (232)
Orphanage
Unclass'd
Unproven (519)
Corrections (23)
Classification

talkback Polls
Forums
Feedback
Bug Reports

downloads Snapshots
PM Book

information News
Docs
Wiki
ChangeLog
TODO List
Legalese
About

Entry average rating: No information on entry rating

locally compact groupoid

(Definition)

Definition 0.1 A groupoid ${\mathsf{G}}_{lc}$ is a locally compact groupoid if ${\mathsf{G}}_{lc}$ is a second countable, locally compact Hausdorff space, and if the product and also inversion maps are continuous. Moreover, each ${\mathsf{G}}_{lc}^u$ as well as the unit space ${\mathsf{G}}_{lc}^0$ is closed in ${\mathsf{G}}_{lc}$ .

Remarks: The locally compact Hausdorff second countable spaces are analytic.
One can therefore say also that ${\mathsf{G}}_{lc}$ is analytic.
When the groupoid ${\mathsf{G}}_{lc}$ has only one object in its object space, that is, when it becomes a group, the above definition is restricted to that of a locally compact topological group; it is then a special case of a one-object category with all of its morphisms being invertible, that is also endowed with a locally compact, topological structure.

Let us also recall the related concepts of groupoid and topological groupoid, together with the appropriate notations needed to define a locally compact groupoid.

Groupoids and Topological Groupoids

Recall that a groupoid ${\mathsf{G}}$ is a small category with inverses over its set of objects $X = Ob({\mathsf{G}})$ . One writes ${\mathsf{G}}^y_x$ for the set of morphisms in ${\mathsf{G}}$ from to . A topological groupoid consists of a space ${\mathsf{G}}$ , a distinguished subspace ${\mathsf{G}}^{(0)} = {\rm Ob(\mathsf{G)}}\subset {\mathsf{G}}$ , called the space of objects of ${\mathsf{G}}$ , together with maps

$\displaystyle r,s~:~ \xymatrix{ {\mathsf{G}}\ar@<1ex>[r]^r \ar[r]_s & {\mathsf{G}}^{(0)} }$

(0.1)

called the range and source maps respectively, together with a law of composition

$\displaystyle \circ~:~ {\mathsf{G}}^{(2)}: = {\mathsf{G}}\times_{{\mathsf{G}}^{... ...{\mathsf{G}}~:~ s(\gamma_1) = r(\gamma_2)~ \}~ {\longrightarrow}~{\mathsf{G}}~,$

(0.2)

such that the following hold :

(1): $s(\gamma_1 \circ \gamma_2) = r(\gamma_2)~,~ r(\gamma_1 \circ \gamma_2) = r(\gamma_1)$ , for all $(\gamma_1, \gamma_2) \in {\mathsf{G}}^{(2)}$ .
(2): , for all $x \in {\mathsf{G}}^{(0)}$ .
(3): $\gamma \circ s(\gamma) = \gamma~,~ r(\gamma) \circ \gamma = \gamma$ , for all $\gamma \in {\mathsf{G}}$ .
(4): $(\gamma_1 \circ \gamma_2) \circ \gamma_3 = \gamma_1 \circ (\gamma_2 \circ \gamma_3)$ .
(5): Each $\gamma$ has a two-sided inverse $\gamma^{-1}$ with $\gamma \gamma^{-1} = r(\gamma)~,~ \gamma^{-1} \gamma = s (\gamma)$ .
Furthermore, only for topological groupoids the inverse map needs be continuous. It is usual to call ${\mathsf{G}}^{(0)} = Ob({\mathsf{G}})$ the set of objects of ${\mathsf{G}}$ . For $u \in Ob({\mathsf{G}})$ , the set of arrows $u {\longrightarrow}u$ forms a group ${\mathsf{G}}_u$ , called the isotropy group of ${\mathsf{G}}$ at .

Thus, as is well kown, a topological groupoid is just a groupoid internal to the category of topological spaces and continuous maps. The notion of internal groupoid has proved significant in a number of fields, since groupoids generalize bundles of groups, group actions, and equivalence relations. For a further study of groupoids we refer the reader to ref. [1].

Bibliography

1: R. Brown. (2006). Topology and Groupoids. BookSurgeLLC

"locally compact groupoid" is owned by bci1.

(view preamble | get metadata)

, groupoid representations induced by measure, locally compact Hausdorff space, category of pointed topological spaces, weak Hopf C*-algebra, locally compact quantum groups: uniform continuity, uniform continuity over locally compact quantum groupoids, analytic space, example of paracompact topological spaces, Borel groupoid, Yetter-Drinfel'd module

Other names:

locally compact topological groupoids

Also defines:

locally compact topological group, second countable locally compact groupoid

Keywords:

locally compact groupoids, second countable topological space, locally compact Hausdorff space, topological groupoids, continuous inversion maps

Log in to rate this entry.
(view current ratings)

Cross-references: equivalence relations, group actions, fields, number, isotropy group, composition, source, range, subspace, inverses, small category, groupoids, topological groupoid, structure, invertible, morphisms, category, restricted, group, object, analytic, Hausdorff, locally compact, closed, unit space, continuous, maps, inversion, product, second countable, groupoid
There are 26 references to this entry.

This is version 30 of locally compact groupoid, born on 2008-08-04, modified 2008-09-25.
Object id is 10915, canonical name is LocallyCompactGroupoids.
Accessed 715 times total.

Classification:

AMS MSC:	22A22 (Topological groups, Lie groups :: Topological and differentiable algebraic systems :: Topological groupoids )
	55U40 (Algebraic topology :: Applied homological algebra and category theory :: Topological categories, foundations of homotopy theory)
	18B40 (Category theory; homological algebra :: Special categories :: Groupoids, semigroupoids, semigroups, groups )
	81R50 (Quantum theory :: Groups and algebras in quantum theory :: Quantum groups and related algebraic methods)
	46L05 (Functional analysis :: Selfadjoint operator algebras :: General theory of $C^*$-algebras)
	81R15 (Quantum theory :: Groups and algebras in quantum theory :: Operator algebra methods)
	46M20 (Functional analysis :: Methods of category theory in functional analysis :: Methods of algebraic topology )

Pending Errata and Addenda

None.

Discussion

forum policy

No messages.

Interact