341:(2) There is now a section on general relativity. So, in general, "spacetime" in general relativity is some solution to Einstein's equations, and these solutions are not, in general, quotient spaces of some Lie group. However, that paragraph seems to suggest that, sometimes, the "space part" (of spacetime) might be a quotient space of Lie groups. But I can't quite tell if that is what it's trying to say. (This is certainly true for, e.g. the Schwarzschild solution, where the "space part" is just some ordinary spheres and are thus homogeneous in the narrow sense.)
84:
74:
53:
22:
358:, which do have quotienting in the definition. I guess I can be happy with a definition that involves "any space with a transitive group action" which, I guess, is the same as saying "there might be a short exact sequence but not necessarily." I'd like an explicit example of the "not necessarily" part, so I can wrap my mind around it.
284:
An example Where the concept is of interest but where continuity does not apply is with geometries over finite fields. Essentially, the concept is one which says that every point of the space is indistinguishable from every other point: the group of symmetries maps every point to every point in the
336:(1) The lead paragraph seems to suggest that homogeneous spaces are almost any kind of space with some transitive group action. I don't think that's correct; I think its misleading. Are there examples of homogeneous spaces that are NOT quotient spaces?
345:
So: are there any examples of a homogeneous space that is not a quotient space of Lie groups? If not, the lead should be cleaned up to directly say "its just a quotient" instead of suggesting its some arbitrary action on some arbitrary space.
280:
The requirement of continuity seems to me to be overly restrictive: a restriction of convenience for those not interested in other cases, but (or so it would seem to me) to be of no direct import to the concept of a homogeneous space.
331:
All of the examples given are quotient spaces of the classical Lie groups. (This matches up with how I learned them.) This is emphasized by the section that talks about cosets. All well and good. Except for two things.
353:
which provides a more formal discussion. In that discussion, there is no call for continuity (an example given is flags on a polytope). That article makes no explicit mention of quotienting; however, it does talk of
161:
from the introduction. It isn't a straightforward thing to explain what it means for a group action on a scheme S to be 'transitive'; nor what the 'orbits' of such an action are. It would be better to make it
140:
216:
by evaluation which is transitive if it satisfies the preceding property. I think (but don't know for sure!) that this definition is pretty common (I'm guessing this from the entry on the
299:
Could someone please add a simplified example for dummies? Some of us just want to get a quick idea of what you're talking about, without all the vocabulary. 23:30, 9 August 2021
285:
geometry. Thus, transitivity of the group action is the only requirement. I'm stripping out the continuity requirement in the lead, but feel free to correct me if I did it wrong. —
180:
I've heard the definition of "homogeneous space" without reference to a group or group actions (this was in an introductory topology course), namely a space in which, for any points
241:
Note that the automorphisms do not always form a topological group. Thus, to speak over _continuous_ actions and their homogenous spaces, you should request additionally that
306:
Informally, a homogeneous space is a space that "looks the same, everywhere, however you move through it", with "movement" being defined by the action of a group G.
259:
386:
130:
106:
381:
359:
312:
97:
58:
33:
350:
266:
363:
316:
169:
166:; but in any case one can regard that as a special case of a topological space without too much damage.
39:
83:
262:
300:
158:
261:
is compact and
Hausdorff. (Then, one can prove that the automorphisms form a _topological_ group).
21:
105:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
89:
73:
52:
355:
286:
163:
244:
375:
102:
235:
217:
79:
367:
320:
289:
270:
224:
is simply called a homogeneous space without reference to a group, it is
311:
I'll try to stuff that into the intro. Not sure if it will be accepted.
212:. Since the homeomorphisms are a group, this is just the action on
15:
247:
232:
though... so anyone who knows better can edit away!
101:, a collaborative effort to improve the coverage of
253:
176:Homogeneous space without reference to a group
8:
228:assumed that..." I don't know precisely how
47:
246:
49:
19:
7:
95:This article is within the scope of
38:It is of interest to the following
387:High-priority mathematics articles
14:
327:Quotient spaces vs. other spaces?
115:Knowledge:WikiProject Mathematics
118:Template:WikiProject Mathematics
82:
72:
51:
20:
192:, there exists a homeomorphism
135:This article has been rated as
349:Hmm. We also have the article
290:00:43, 18 September 2014 (UTC)
1:
109:and see a list of open tasks.
382:C-Class mathematics articles
351:Principal homogeneous space
403:
271:18:50, 14 April 2021 (UTC)
368:20:28, 11 June 2023 (UTC)
321:19:43, 11 June 2023 (UTC)
276:Requirement of continuity
238:18:34, 27 Aug 2004 (UTC)
220:), so I inserted the "If
172:10:47, 21 Aug 2004 (UTC)
134:
67:
46:
141:project's priority scale
98:WikiProject Mathematics
255:
28:This article is rated
256:
245:
200:to itself such that
159:scheme (mathematics)
121:mathematics articles
356:classifying spaces
251:
90:Mathematics portal
34:content assessment
254:{\displaystyle G}
164:algebraic variety
155:
154:
151:
150:
147:
146:
394:
260:
258:
257:
252:
170:Charles Matthews
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
402:
401:
397:
396:
395:
393:
392:
391:
372:
371:
329:
301:User:Skysong263
297:
278:
243:
242:
178:
120:
117:
114:
111:
110:
88:
81:
61:
32:on Knowledge's
29:
12:
11:
5:
400:
398:
390:
389:
384:
374:
373:
343:
342:
338:
337:
328:
325:
324:
323:
308:
307:
296:
295:simplification
293:
277:
274:
250:
177:
174:
153:
152:
149:
148:
145:
144:
133:
127:
126:
124:
107:the discussion
94:
93:
77:
65:
64:
56:
44:
43:
37:
26:
13:
10:
9:
6:
4:
3:
2:
399:
388:
385:
383:
380:
379:
377:
370:
369:
365:
361:
357:
352:
347:
340:
339:
335:
334:
333:
326:
322:
318:
314:
310:
309:
305:
304:
303:
302:
294:
292:
291:
288:
282:
275:
273:
272:
268:
264:
248:
239:
237:
233:
231:
227:
223:
219:
215:
211:
207:
203:
199:
195:
191:
187:
183:
175:
173:
171:
167:
165:
160:
157:I've removed
142:
138:
137:High-priority
132:
129:
128:
125:
108:
104:
100:
99:
91:
85:
80:
78:
75:
71:
70:
66:
62:High‑priority
60:
57:
54:
50:
45:
41:
35:
27:
23:
18:
17:
360:67.198.37.16
348:
344:
330:
313:67.198.37.16
298:
283:
279:
240:
234:
229:
225:
221:
213:
209:
205:
201:
197:
193:
189:
185:
181:
179:
168:
156:
136:
96:
40:WikiProjects
263:Mathelerner
112:Mathematics
103:mathematics
59:Mathematics
376:Categories
218:Cantor set
287:Quondum
230:usually
226:usually
139:on the
30:C-class
36:scale.
236:Choni
196:from
364:talk
317:talk
267:talk
208:) =
131:High
188:in
378::
366:)
319:)
269:)
184:,
362:(
315:(
265:(
249:G
222:X
214:X
210:y
206:x
204:(
202:f
198:X
194:f
190:X
186:y
182:x
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.
