Closure of a one-parameter subgroup

  • Context: Graduate 
  • Thread starter Thread starter eok20
  • Start date Start date
  • Tags Tags
    closure Subgroup
Click For Summary
SUMMARY

The closure of a one-parameter subgroup can indeed have a dimension greater than 1, specifically when considering the torus represented as S^1 × S^1. An example is provided where a line drawn at an irrational angle on a square (representing the torus) generates a dense image, leading to the closure being the entire torus. This demonstrates that while rational angles yield closed curves, irrational angles result in dense subsets, confirming the closure encompasses the full dimensionality of the torus.

PREREQUISITES
  • Understanding of one-parameter subgroups in algebraic topology
  • Familiarity with the concept of torus as S^1 × S^1
  • Knowledge of dense subsets in topology
  • Basic principles of manifold theory
NEXT STEPS
  • Study the properties of dense subsets in topological spaces
  • Explore the implications of irrational angles in geometric representations
  • Learn about the classification of compact manifolds
  • Investigate the relationship between subgroup closures and manifold topology
USEFUL FOR

Mathematicians, particularly those focused on algebraic topology and manifold theory, as well as students studying the properties of toroidal structures and one-parameter subgroups.

eok20
Messages
198
Reaction score
0
I'm reading about a theorem that has as an assumption that the closure of some one-parameter subgroup is a torus. Could someone provide an example of a case where the closure of a one-parameter subgroup is of dimension greater than 1?

Thanks.
 
Physics news on Phys.org
eok20 said:
I'm reading about a theorem that has as an assumption that the closure of some one-parameter subgroup is a torus. Could someone provide an example of a case where the closure of a one-parameter subgroup is of dimension greater than 1?

Thanks.

The usual example pictures the torus as a square with opposite edges identified cylindrically.

On the square pick any starting point and draw a straight line at some angle to one of the edges. When the line hits an edge of the square continue the line starting on the opposite edge. Keep doing this. This generates a 1 parameter subgroup of the torus viewed as the group,

S^1 \times S^1

you should prove

- the line describes a closed curve on the torus iff the angle is a rational number

- if the angle is an irrational number the line's image on the torus is dense i.e. it comes arbitrarily close to any point on the torus.

Since the image is dense, its closure is the whole torus.

If you do not require the curve to be a subgroup then there are examples that actually completely fill the torus or for that matter any compact region of a manifold.
 
Last edited:

Similar threads

  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 1 ·
Replies
1
Views
493
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 16 ·
Replies
16
Views
5K
  • · Replies 2 ·
Replies
2
Views
4K
Replies
2
Views
3K