summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
l---------lists/zz_all/0041
-rwxr-xr-xposts.sh32
-rw-r--r--posts/torsors.md28
3 files changed, 61 insertions, 0 deletions
diff --git a/lists/zz_all/004 b/lists/zz_all/004
new file mode 120000
index 0000000..69340df
--- /dev/null
+++ b/lists/zz_all/004
@@ -0,0 +1 @@
../../posts/torsors.md \ No newline at end of file
diff --git a/posts.sh b/posts.sh
new file mode 100755
index 0000000..a259dd4
--- /dev/null
+++ b/posts.sh
@@ -0,0 +1,32 @@
1#!/usr/bin/env bash
2
3shopt -s extglob nullglob
4
5
6new_post() {
7 filename="$1"
8 shift 1
9 cat >posts/$filename <<EOF
10% $@
11EOF
12 last_link=$(find ./lists/zz_all -regex '.*/[0-9]*$' -printf '%f\n' | sort | tail -n1)
13 new_link=$(printf '%03d\n' $(($last_link + 1)))
14 ln -s ../../posts/"$filename" ./lists/zz_all/"$new_link"
15}
16
17
18. ./getopts_long.sh
19
20while getopts_long ":n:" opt \
21 "" "$@"
22do
23 case $opt in
24 n)
25 shift "$(($OPTLIND - 1))"
26 new_post "$OPTLARG" "$@"
27 exit 0;;
28 :)
29 printf >&2 '%s: %s\n' "${0##*/}" "$OPTLERR"
30 exit 1;;
31 esac
32done
diff --git a/posts/torsors.md b/posts/torsors.md
new file mode 100644
index 0000000..22bf7af
--- /dev/null
+++ b/posts/torsors.md
@@ -0,0 +1,28 @@
1% Torsors and Their Classification
2
3Let $\ca C$ be some Grothendieck topos, that is a category of sheaves on some
4Grothendieck topology. This text will look at some properties of *torsors* in
5$\ca C$ and how they might be classified using cohomology and homotopy
6theory. For this we will first need to define group objects. Torsors will then
7be associated to those.
8
9<defn> A *group object* in a category $\ca C$ is an object $G\in\ca C$ such that
10the associated Yoneda functor $\hom(\_,G)\colon \op{\ca C}\to\Set$ actually
11takes values in the category $\Grp$ of groups. </defn>
12
13A trivial kind of example would be just a group considered as an object in
14$\Set$. A more involved example would be a *group scheme* $G$ over some base
15$S$. Such a thing is essentially defined as a group object in the category
16$\sch[S]$. If we have any subcanonical topology on $\sch[S]$, then $G$ defines a
17sheaf on the associated site and we obtain in this way a group object in the
18corresponding topos on $S$.
19
20Let's now assume we have a group object $G$ in a Grothendieck topos $\ca
21C$. Then we can define torsors over $G$ as follows:
22
23<defn> A *trivial torsor* over $G$ is an object $X$ with a left $G$--action
24which is isomorphic to $G$ itself with the action given by left
25multiplication. A *torsor* over $G$ is an object $X\in\ca C$ with a left
26$G$--action which is locally isomorphic to a trivial torsor; that is, there is
27an epimorphism $U\to *$ such that $U\times X$ is a trivial torsor in $\ca C/U$
28over $U \times G$. </defn>