Groupoid object: Difference between revisions
TakuyaMurata (talk | contribs) m →Definition: indent |
→Groupoid schemes: sfn, we don't need those parens |
||
(8 intermediate revisions by 5 users not shown) | |||
Line 1: | Line 1: | ||
In [[category theory]], a branch of [[mathematics]], a '''groupoid object''' is both a generalization of a [[groupoid]] which is built on richer structures than sets, and a generalization of a [[ |
In [[category theory]], a branch of [[mathematics]], a '''groupoid object''' is both a generalization of a [[groupoid]] which is built on richer structures than sets, and a generalization of a [[group object]]s when the multiplication is only partially defined. |
||
== Definition == |
== Definition == |
||
Line 13: | Line 13: | ||
=== Group objects === |
=== Group objects === |
||
A [[group object]] is a special case of a groupoid object, where <math>R = U</math> and <math>s = t</math>. One recovers therefore [[ |
A [[group object]] is a special case of a groupoid object, where <math>R = U</math> and <math>s = t</math>. One recovers therefore [[topological group]]s by taking the [[category of topological spaces]], or [[Lie group]]s by taking the [[category of manifolds]], etc. |
||
=== Groupoids === |
=== Groupoids === |
||
Line 21: | Line 21: | ||
=== Groupoid schemes === |
=== Groupoid schemes === |
||
A '''groupoid ''S''-scheme''' is a groupoid object in the category of [[scheme (mathematics)|scheme]]s over some fixed base scheme ''S''. If <math>U = S</math>, then a groupoid scheme (where <math>s = t</math> are necessarily the structure map) is the same as a [[group scheme]]. A groupoid scheme is also called an '''algebraic groupoid''', |
A '''groupoid ''S''-scheme''' is a groupoid object in the category of [[scheme (mathematics)|scheme]]s over some fixed base scheme ''S''. If <math>U = S</math>, then a groupoid scheme (where <math>s = t</math> are necessarily the structure map) is the same as a [[group scheme]]. A groupoid scheme is also called an '''algebraic groupoid''',{{sfn|Gillet|1984}} to convey the idea it is a generalization of [[algebraic group]]s and their actions. |
||
For example, suppose an [[algebraic group]] ''G'' [[Group-scheme action|acts]] from the right on a scheme ''U''. Then take <math>R = U \times G</math>, ''s'' the projection, ''t'' the given action. This determines a groupoid scheme. |
For example, suppose an [[algebraic group]] ''G'' [[Group-scheme action|acts]] from the right on a scheme ''U''. Then take <math>R = U \times G</math>, ''s'' the projection, ''t'' the given action. This determines a groupoid scheme. |
||
Line 38: | Line 38: | ||
{{reflist}} |
{{reflist}} |
||
== References == |
== References == |
||
*{{citation|url=http://www.math.unizh.ch/index.php?pr_vo_det&key1=1287&key2=580&no_cache=1|first1=Kai|last1=Behrend|first2=Brian|last2=Conrad|first3=Dan|last3=Edidin|first4=William|last4=Fulton|first5=Barbara|last5=Fantechi|first6=Lothar|last6=Göttsche|first7=Andrew|last7=Kresch|year=2006|title=Algebraic stacks|access-date=2014-02-11|archive-url=https://web.archive.org/web/20080505043444/http://www.math.unizh.ch/index.php?pr_vo_det&key1=1287&key2=580&no_cache=1|archive-date=2008-05-05|url-status=dead}} |
*{{citation |ref={{harvid|Algebraic stacks}} |url=http://www.math.unizh.ch/index.php?pr_vo_det&key1=1287&key2=580&no_cache=1 |first1=Kai |last1=Behrend |first2=Brian |last2=Conrad |first3=Dan |last3=Edidin |first4=William |last4=Fulton |first5=Barbara |last5=Fantechi |first6=Lothar |last6=Göttsche |first7=Andrew |last7=Kresch |year=2006 |title=Algebraic stacks |access-date=2014-02-11 |archive-url=https://web.archive.org/web/20080505043444/http://www.math.unizh.ch/index.php?pr_vo_det&key1=1287&key2=580&no_cache=1 |archive-date=2008-05-05 |url-status=dead}} |
||
* {{citation |
|||
*H. Gillet, [http://ac.els-cdn.com/0022404984900367/1-s2.0-0022404984900367-main.pdf?_tid=a96230a2-515a-11e7-8661-00000aab0f27&acdnat=1497483728_c3a14f29c251aa4dc2b55b3abfa6ba9e Intersection theory on algebraic stacks and Q-varieties], J. Pure Appl. Algebra 34 (1984), 193–240, Proceedings of the Luminy conference on algebraic K-theory (Luminy, 1983).<br /> |
|||
| last = Gillet | first = Henri | author-link = Henri Gillet |
|||
| department = Proceedings of the Luminy conference on algebraic {{mvar|K}}-theory (Luminy, 1983) |
|||
| doi = 10.1016/0022-4049(84)90036-7 |
|||
| issue = 2-3 |
|||
| journal = [[Journal of Pure and Applied Algebra]] |
|||
| mr = 772058 |
|||
| pages = 193–240 |
|||
| title = Intersection theory on algebraic stacks and {{mvar|Q}}-varieties |
|||
| url = https://scholar.archive.org/work/d7ssf5njzjdqla4qxvmvmj5ylu |
|||
| volume = 34 |
|||
| year = 1984}} |
|||
[[Category:Algebraic geometry]] |
[[Category:Algebraic geometry]] |
||
[[Category:Scheme theory]] |
[[Category:Scheme theory]] |
||
{{algebraic-geometry-stub}} |
|||
[[Category:Category theory]] |
[[Category:Category theory]] |
||
[[Category:Category theory stubs]] |
Latest revision as of 05:18, 4 July 2024
In category theory, a branch of mathematics, a groupoid object is both a generalization of a groupoid which is built on richer structures than sets, and a generalization of a group objects when the multiplication is only partially defined.
Definition
[edit]A groupoid object in a category C admitting finite fiber products consists of a pair of objects together with five morphisms
satisfying the following groupoid axioms
- where the are the two projections,
- (associativity)
- (unit)
- (inverse) , , .[1]
Examples
[edit]Group objects
[edit]A group object is a special case of a groupoid object, where and . One recovers therefore topological groups by taking the category of topological spaces, or Lie groups by taking the category of manifolds, etc.
Groupoids
[edit]A groupoid object in the category of sets is precisely a groupoid in the usual sense: a category in which every morphism is an isomorphism. Indeed, given such a category C, take U to be the set of all objects in C, R the set of all arrows in C, the five morphisms given by , , and . When the term "groupoid" can naturally refer to a groupoid object in some particular category in mind, the term groupoid set is used to refer to a groupoid object in the category of sets.
However, unlike in the previous example with Lie groups, a groupoid object in the category of manifolds is not necessarily a Lie groupoid, since the maps s and t fail to satisfy further requirements (they are not necessarily submersions).
Groupoid schemes
[edit]A groupoid S-scheme is a groupoid object in the category of schemes over some fixed base scheme S. If , then a groupoid scheme (where are necessarily the structure map) is the same as a group scheme. A groupoid scheme is also called an algebraic groupoid,[2] to convey the idea it is a generalization of algebraic groups and their actions.
For example, suppose an algebraic group G acts from the right on a scheme U. Then take , s the projection, t the given action. This determines a groupoid scheme.
Constructions
[edit]Given a groupoid object (R, U), the equalizer of , if any, is a group object called the inertia group of the groupoid. The coequalizer of the same diagram, if any, is the quotient of the groupoid.
Each groupoid object in a category C (if any) may be thought of as a contravariant functor from C to the category of groupoids. This way, each groupoid object determines a prestack in groupoids. This prestack is not a stack but it can be stackified to yield a stack.
The main use of the notion is that it provides an atlas for a stack. More specifically, let be the category of -torsors. Then it is a category fibered in groupoids; in fact, (in a nice case), a Deligne–Mumford stack. Conversely, any DM stack is of this form.
See also
[edit]Notes
[edit]- ^ Algebraic stacks, Ch 3. § 1.
- ^ Gillet 1984.
References
[edit]- Behrend, Kai; Conrad, Brian; Edidin, Dan; Fulton, William; Fantechi, Barbara; Göttsche, Lothar; Kresch, Andrew (2006), Algebraic stacks, archived from the original on 2008-05-05, retrieved 2014-02-11
- Gillet, Henri (1984), "Intersection theory on algebraic stacks and Q-varieties", Proceedings of the Luminy conference on algebraic K-theory (Luminy, 1983), Journal of Pure and Applied Algebra, 34 (2–3): 193–240, doi:10.1016/0022-4049(84)90036-7, MR 0772058