Talk:Principal homogeneous space

Notation

Header added. - Dusa McDuff (Dusam (talk) 14:27, 24 October 2010 (UTC))

The notation in this article is very confusing. It starts by using right actions and writes x.g and x\y. But when discussing composition, it seems to switch to left actions, writing g.x and x/y. I realize that the article may intend simply to define x/y.z as x.(y\z), but if so this should be said explicitly. At the moment it looks like a mistake.

Definition

Header added. —Nils von Barth (nbarth) (talk) 18:43, 2 April 2009 (UTC)

The page says "Note that this means X and G are isomorphic"; however this is only the case if X is non-empty.

Actually the definition of principal homogeneous space given here is incorrect: the assumption that X is non-empty should be added. This is a common mistake. Without this assumption we obtain what is called a "formally principal homogeneous space".

Also note that until the definition is corrected, the statement that the cohomology group H^1(X,G) parametrizes isomorphism classes of torsors is erroneous (take G=1 and X=point).

Axiomatic Characterization of a Torsor

A torsor can also be defined as an algebra in its own right through the ternary "torsor" operation (a,b,c) |-> a/b.c, subject to the axioms a/a.b = b, a/b.b = a, a/b.(c/d.e) = (a/b.c)/d.e. The additional axiom a/b.c = c/b.a characterizes torsors that correspond to Abelian groups.

The group G can be recovered from X intrinsically through the operator a\b, defined as the equivalence class [(a,b)] of the equivalence relation generated from (a,b/c.d) ~ (c/b.a,d), thus effecting the axiom a\(b/c.d) = (c/b.a)\d. In turn, this is identified as the corresponding group product (a\b)(c\d). One can then prove that a\a = b\b and that (a\b)(b\c) = a\c, thus providing the structure of a group, with the inverse of a\b being b\a.

The group can also be recovered as the fibre X_e associated with an element e by identifying e as the identity, the product as (a,b) |-> a/e.b and the inverse as a |-> e/a.e. Each fibre X_e is isomorphic to the group G via the map f_e: X_e -> G given by f_e(a) = e\a, or the inverse map g_e: G -> X_e given by g_e((a\b)) = e/a.b.

This characterization provides the structure where the group acts on the right, via a (b\c) = a/b.c. The corresponding structure with left actions is obtained by reversing all the slashes and order of operations in the foregoing (a kind of duality principle).

I'll leave it to others to relate this definition to the formal definition provided in the article (i.e., to find the isomorphism mentioned in the article); incorporating these observations in the article, proper.

Principal and Generalized Affine Bundles as Torsor Bundles

Besides the Principal Bundle, one has a more generalized notion of a "generalized affine bundle" which is just a torsor bundle. A Principal Bundle, itself, is just a trivial torsor bundle. Both of these can also be directly characterized algebraically in a similar fashion as the foregoing. -- Mark, 13 October 2006

“Torsor”

I'm curious about the name “torsor”. Is this statement accurate?:

This “torque”-related word comes from the action of rotation? That is, if I apply a 20° rotation, it twists everything by 20°—there is a zero rotation, but there needn't be a zero orientation.

Is that about right? Also, does this relate to other mathematical uses of the word “torsion”? —Ben FrantzDale 18:53, 4 January 2007 (UTC)

As far as I understand Torsors it's right what you have written. But I think there is no direct relation to "torsion". Or at least I don't see it. Florianhe 21:28, 11 January 2007 (UTC)

I suspect the term torsor is intended to remind one of the notion of "twisted form" as it occurs for instance in etale descent theory. There is a close connection between torsors and twisted forms. Wilberd 131.211.23.44 (talk) 13:20, 8 September 2008 (UTC)

Section "Other usage"

As far as I understand, the definition given here, i.e. a free action of G on E, so that the given map von E x G to E x E is bijective, implies transitivity. It also implies that the action is free. So I don't see the difference to the definition given above. Florianhe 21:28, 11 January 2007 (UTC)

You're correct, assuming that G is an ordinary group, and E is an object whose isomorphisms are determined by bijections on an underlying set. But when G and E are sheaves on some topological space, for instance, with G being group-valued and E being set-valued, the requirement that the map E x G to E x E be an isomorphism makes sense, whereas requiring that G act freely and transitively on E no longer has any meaning beyond that. The point is, since E x G --> E x E being an isomorphism is a category-theoretic requirement, that definition will work in a much larger range of categories. QBobWatson 04:40, 25 September 2007 (UTC)

Local Triviality

This is partially in response to the anonymous comment at the top of the page -- I agree that a principal homogeneous space should be nonempty; more generally (as in the "Other Usage" section), a torsor should be locally trivial on the base. This is certainly required if one is going to classify torsors using cohomology groups. I'm going to go ahead and update the page to reflect this. QBobWatson 23:42, 23 October 2007 (UTC)

"Applications" section needs a rewrite

The English is poor and the sentence structure nonsensical. Unfortunately, my understanding is insufficient to attempt to edit for style without the possibility of introducing mathematical errors. — Preceding unsigned comment added by 50.0.193.12 (talk) 14:31, 3 January 2013 (UTC)

This is readable and might be worth abstracting some examples from. 67.117.146.66 (talk) 18:05, 8 January 2013 (UTC)

Better explanation

I've found a webpage that explains torsors far more clearly than this article: http://math.ucr.edu/home/baez/torsors.html

I don't consider myself up to the task of matching that clarity without direct copying, but I propose that webpage as a model for how this article might be improved. --Brilliand (talk) 01:31, 22 January 2014 (UTC)

Error?

"That is, there is a map X × X → G that sends (x,y) to the unique element g = x \ y ∈ G such that y = x·g."

Shouldn't this say,

"That is, there is a map X × X → G that sends (x,y) to the unique element g = x \ y ∈ G such that x = y·g."?

I think I spotted an error

I think the following paragraph has an error:

In mathematics, a principal homogeneous space,[1] or torsor, for a group G is a homogeneous space X for G in which the stabilizer subgroup of every point is trivial. Equivalently, a principal homogeneous space for a group G is a non-empty set X on which G acts freely and transitively (meaning that, for any x, y in X, there exists a unique g in G such that x·g = y, where · denotes the (right) action of G on X).

The error is that every point having trivial stabilizer is equivalent to being free, not to being free AND transitive. The correct definition (I think) should require both free AND transitive.

-Sam W

2607:9880:1A18:10A:4D16:B0A6:FC95:5616 (talk) 07:48, 6 December 2020 (UTC)

It’s fine since we are taking about a homogeneous space; i.e., the action is transitive. It might be better to say "transitive" more explicitly in the article, though. —- Taku (talk) 00:58, 10 December 2020 (UTC)