+ All Categories
Home > Documents > Spin: a first look at modern Geometry - University of...

Spin: a first look at modern Geometry - University of...

Date post: 01-Jun-2020
Category:
Upload: others
View: 3 times
Download: 0 times
Share this document with a friend
58
Spin: a first look at modern Geometry Thomas Prince Magdalen College, Oxford 30 September 2017 Thomas Prince (Magdalen College, Oxford) Spin 30 September 2017 1 / 23
Transcript
Page 1: Spin: a first look at modern Geometry - University of Oxfordpeople.maths.ox.ac.uk/prince/Spin_slides.pdf · Spin: a rst look at modern Geometry Thomas Prince Magdalen College, Oxford

Spin: a first look at modern Geometry

Thomas Prince

Magdalen College, Oxford

30 September 2017

Thomas Prince (Magdalen College, Oxford) Spin 30 September 2017 1 / 23

Page 2: Spin: a first look at modern Geometry - University of Oxfordpeople.maths.ox.ac.uk/prince/Spin_slides.pdf · Spin: a rst look at modern Geometry Thomas Prince Magdalen College, Oxford

RI Masterclasses

The RI masterclass program was set in motion by Professor Zeeman afterhis Christmas lectures in 1978 (those lectures have also been continueduntil today).

Today we’ll see a little of Prof. Zeeman’s own subject: geometry andtopology.

You can find out more here: http://www.rigb.org/education/masterclasses

Thomas Prince (Magdalen College, Oxford) Spin 30 September 2017 2 / 23

Page 3: Spin: a first look at modern Geometry - University of Oxfordpeople.maths.ox.ac.uk/prince/Spin_slides.pdf · Spin: a rst look at modern Geometry Thomas Prince Magdalen College, Oxford

RI Masterclasses

The RI masterclass program was set in motion by Professor Zeeman afterhis Christmas lectures in 1978 (those lectures have also been continueduntil today).Today we’ll see a little of Prof. Zeeman’s own subject: geometry andtopology.

You can find out more here: http://www.rigb.org/education/masterclasses

Thomas Prince (Magdalen College, Oxford) Spin 30 September 2017 2 / 23

Page 4: Spin: a first look at modern Geometry - University of Oxfordpeople.maths.ox.ac.uk/prince/Spin_slides.pdf · Spin: a rst look at modern Geometry Thomas Prince Magdalen College, Oxford

RI Masterclasses

The RI masterclass program was set in motion by Professor Zeeman afterhis Christmas lectures in 1978 (those lectures have also been continueduntil today).Today we’ll see a little of Prof. Zeeman’s own subject: geometry andtopology.

You can find out more here: http://www.rigb.org/education/masterclasses

Thomas Prince (Magdalen College, Oxford) Spin 30 September 2017 2 / 23

Page 5: Spin: a first look at modern Geometry - University of Oxfordpeople.maths.ox.ac.uk/prince/Spin_slides.pdf · Spin: a rst look at modern Geometry Thomas Prince Magdalen College, Oxford

Introducing Geometry

What does the word geometry mean to you?

Can you think of any results in Geometry you’ve covered in class?

Pythagorus’ theorem,

Circle theorems,

Trigonometry.

Thomas Prince (Magdalen College, Oxford) Spin 30 September 2017 3 / 23

Page 6: Spin: a first look at modern Geometry - University of Oxfordpeople.maths.ox.ac.uk/prince/Spin_slides.pdf · Spin: a rst look at modern Geometry Thomas Prince Magdalen College, Oxford

Introducing Geometry

What does the word geometry mean to you?

Can you think of any results in Geometry you’ve covered in class?

Pythagorus’ theorem,

Circle theorems,

Trigonometry.

Thomas Prince (Magdalen College, Oxford) Spin 30 September 2017 3 / 23

Page 7: Spin: a first look at modern Geometry - University of Oxfordpeople.maths.ox.ac.uk/prince/Spin_slides.pdf · Spin: a rst look at modern Geometry Thomas Prince Magdalen College, Oxford

Introducing Geometry

What does the word geometry mean to you?

Can you think of any results in Geometry you’ve covered in class?

Pythagorus’ theorem,

Circle theorems,

Trigonometry.

Thomas Prince (Magdalen College, Oxford) Spin 30 September 2017 3 / 23

Page 8: Spin: a first look at modern Geometry - University of Oxfordpeople.maths.ox.ac.uk/prince/Spin_slides.pdf · Spin: a rst look at modern Geometry Thomas Prince Magdalen College, Oxford

A little history

The geometry you will have seen in classes is some of the most ancientmaterial taught in schools (including in history classes).

There is a clay tablet from around 1800BC listing a collection oftriples a, b, c such that a2 = b2 + c2.

Euclid’s Elements written around 300BC contains many results oncircles, cones and cylinders that are well known to you.

Here are some faces associated to results you will know...

Thomas Prince (Magdalen College, Oxford) Spin 30 September 2017 4 / 23

Page 9: Spin: a first look at modern Geometry - University of Oxfordpeople.maths.ox.ac.uk/prince/Spin_slides.pdf · Spin: a rst look at modern Geometry Thomas Prince Magdalen College, Oxford

A little history

The geometry you will have seen in classes is some of the most ancientmaterial taught in schools (including in history classes).

There is a clay tablet from around 1800BC listing a collection oftriples a, b, c such that a2 = b2 + c2.

Euclid’s Elements written around 300BC contains many results oncircles, cones and cylinders that are well known to you.

Here are some faces associated to results you will know...

Thomas Prince (Magdalen College, Oxford) Spin 30 September 2017 4 / 23

Page 10: Spin: a first look at modern Geometry - University of Oxfordpeople.maths.ox.ac.uk/prince/Spin_slides.pdf · Spin: a rst look at modern Geometry Thomas Prince Magdalen College, Oxford

A little history

The geometry you will have seen in classes is some of the most ancientmaterial taught in schools (including in history classes).

There is a clay tablet from around 1800BC listing a collection oftriples a, b, c such that a2 = b2 + c2.

Euclid’s Elements written around 300BC contains many results oncircles, cones and cylinders that are well known to you.

Here are some faces associated to results you will know...

Thomas Prince (Magdalen College, Oxford) Spin 30 September 2017 4 / 23

Page 11: Spin: a first look at modern Geometry - University of Oxfordpeople.maths.ox.ac.uk/prince/Spin_slides.pdf · Spin: a rst look at modern Geometry Thomas Prince Magdalen College, Oxford

Modern Geometry

Geometry remains a central subject within mathematics - with connectionsto number theory, mathematical physics, fluid mechanics,...

Exercises

The exercises and activities in this session are all basic or fundamentalexamples in various areas of modern research, I’ll try and say a little bitabout each as we go. In particular I want to reach a connection withmathematical physics which shows how the kind of geometry we look attoday can be used to understand aspects of nature.

Research

Another goal of the masterclass is to give a bit of an idea of what researchmathematics involves, why it is a creative pursuit, and what can attractpeople to it .

Thomas Prince (Magdalen College, Oxford) Spin 30 September 2017 5 / 23

Page 12: Spin: a first look at modern Geometry - University of Oxfordpeople.maths.ox.ac.uk/prince/Spin_slides.pdf · Spin: a rst look at modern Geometry Thomas Prince Magdalen College, Oxford

Modern Geometry

Geometry remains a central subject within mathematics - with connectionsto number theory, mathematical physics, fluid mechanics,...

Exercises

The exercises and activities in this session are all basic or fundamentalexamples in various areas of modern research, I’ll try and say a little bitabout each as we go. In particular I want to reach a connection withmathematical physics which shows how the kind of geometry we look attoday can be used to understand aspects of nature.

Research

Another goal of the masterclass is to give a bit of an idea of what researchmathematics involves, why it is a creative pursuit, and what can attractpeople to it .

Thomas Prince (Magdalen College, Oxford) Spin 30 September 2017 5 / 23

Page 13: Spin: a first look at modern Geometry - University of Oxfordpeople.maths.ox.ac.uk/prince/Spin_slides.pdf · Spin: a rst look at modern Geometry Thomas Prince Magdalen College, Oxford

Modern Geometry

Geometry remains a central subject within mathematics - with connectionsto number theory, mathematical physics, fluid mechanics,...

Exercises

The exercises and activities in this session are all basic or fundamentalexamples in various areas of modern research, I’ll try and say a little bitabout each as we go. In particular I want to reach a connection withmathematical physics which shows how the kind of geometry we look attoday can be used to understand aspects of nature.

Research

Another goal of the masterclass is to give a bit of an idea of what researchmathematics involves, why it is a creative pursuit, and what can attractpeople to it .

Thomas Prince (Magdalen College, Oxford) Spin 30 September 2017 5 / 23

Page 14: Spin: a first look at modern Geometry - University of Oxfordpeople.maths.ox.ac.uk/prince/Spin_slides.pdf · Spin: a rst look at modern Geometry Thomas Prince Magdalen College, Oxford

Rotations

You are hopefully at least a little familiar with rotational symmetry in 2D,but we’ll quickly review it.

Rotation in 2D

Given an angle a and a point p construct acircular arc centred at (0, 0) of angle adrawn anti-clockwise from p, the operationtaking every point p to te other end of thearc formed in this way is a rotation of anglea. You will see ways of making this precisein the next two years.

Recall that a shape in the plane has rotational symmetry with angle a ifthe rotation of angle a takes the shape to itself. How do we count thesesymmetries?

Thomas Prince (Magdalen College, Oxford) Spin 30 September 2017 6 / 23

Page 15: Spin: a first look at modern Geometry - University of Oxfordpeople.maths.ox.ac.uk/prince/Spin_slides.pdf · Spin: a rst look at modern Geometry Thomas Prince Magdalen College, Oxford

Rotations

You are hopefully at least a little familiar with rotational symmetry in 2D,but we’ll quickly review it.

Rotation in 2D

Given an angle a and a point p construct acircular arc centred at (0, 0) of angle adrawn anti-clockwise from p, the operationtaking every point p to te other end of thearc formed in this way is a rotation of anglea. You will see ways of making this precisein the next two years.

Recall that a shape in the plane has rotational symmetry with angle a ifthe rotation of angle a takes the shape to itself. How do we count thesesymmetries?

Thomas Prince (Magdalen College, Oxford) Spin 30 September 2017 6 / 23

Page 16: Spin: a first look at modern Geometry - University of Oxfordpeople.maths.ox.ac.uk/prince/Spin_slides.pdf · Spin: a rst look at modern Geometry Thomas Prince Magdalen College, Oxford

Rotations

You are hopefully at least a little familiar with rotational symmetry in 2D,but we’ll quickly review it.

Rotation in 2D

Given an angle a and a point p construct acircular arc centred at (0, 0) of angle adrawn anti-clockwise from p, the operationtaking every point p to te other end of thearc formed in this way is a rotation of anglea. You will see ways of making this precisein the next two years.

Recall that a shape in the plane has rotational symmetry with angle a ifthe rotation of angle a takes the shape to itself. How do we count thesesymmetries?

Thomas Prince (Magdalen College, Oxford) Spin 30 September 2017 6 / 23

Page 17: Spin: a first look at modern Geometry - University of Oxfordpeople.maths.ox.ac.uk/prince/Spin_slides.pdf · Spin: a rst look at modern Geometry Thomas Prince Magdalen College, Oxford

Rotations

We will use the analogous notion in 3D space.

Rotation in 3D

Fix a line l in 3D space, and an angle a (between 0 and 360◦). The set ofpoints at right angles to a point on l forms a plane. A rotation in 3D fixesl and rotates each plane at right angles to l by a.

Just as for two dimensional shapes, three dimensions objects can haverotational symmetry - with the same definition.

Thomas Prince (Magdalen College, Oxford) Spin 30 September 2017 7 / 23

Page 18: Spin: a first look at modern Geometry - University of Oxfordpeople.maths.ox.ac.uk/prince/Spin_slides.pdf · Spin: a rst look at modern Geometry Thomas Prince Magdalen College, Oxford

Rotations

We will use the analogous notion in 3D space.

Rotation in 3D

Fix a line l in 3D space, and an angle a (between 0 and 360◦). The set ofpoints at right angles to a point on l forms a plane. A rotation in 3D fixesl and rotates each plane at right angles to l by a.

Just as for two dimensional shapes, three dimensions objects can haverotational symmetry - with the same definition.

Thomas Prince (Magdalen College, Oxford) Spin 30 September 2017 7 / 23

Page 19: Spin: a first look at modern Geometry - University of Oxfordpeople.maths.ox.ac.uk/prince/Spin_slides.pdf · Spin: a rst look at modern Geometry Thomas Prince Magdalen College, Oxford

Rotations

We will use the analogous notion in 3D space.

Rotation in 3D

Fix a line l in 3D space, and an angle a (between 0 and 360◦). The set ofpoints at right angles to a point on l forms a plane. A rotation in 3D fixesl and rotates each plane at right angles to l by a.

Just as for two dimensional shapes, three dimensions objects can haverotational symmetry - with the same definition.

Thomas Prince (Magdalen College, Oxford) Spin 30 September 2017 7 / 23

Page 20: Spin: a first look at modern Geometry - University of Oxfordpeople.maths.ox.ac.uk/prince/Spin_slides.pdf · Spin: a rst look at modern Geometry Thomas Prince Magdalen College, Oxford

Exercises

How many rotational symmetries of a cube can you find?

How many rotations can I find which fix a given corner?

How many rotations can I find which fix a given face?

Can I find a pair of rotations which commute? Can I find a pair whichdoes not?

Thomas Prince (Magdalen College, Oxford) Spin 30 September 2017 8 / 23

Page 21: Spin: a first look at modern Geometry - University of Oxfordpeople.maths.ox.ac.uk/prince/Spin_slides.pdf · Spin: a rst look at modern Geometry Thomas Prince Magdalen College, Oxford

Combining rotations

Performing one rotation then another defines an operation on the set ofrotations, called a group.

Composing rotations

We can think of this as a kind of multiplication on the set of rotationalsymmetries of a cube. Notice that in this context multiplication a× b doesnot need to be the same as b × a.

The classification of finite (simple) groups was a fundamental problem inalgebra (more or less completed in the 1980s). For example, the rotationalsymmetries of a cube form a famous example (the symmetric group S4).

Thomas Prince (Magdalen College, Oxford) Spin 30 September 2017 9 / 23

Page 22: Spin: a first look at modern Geometry - University of Oxfordpeople.maths.ox.ac.uk/prince/Spin_slides.pdf · Spin: a rst look at modern Geometry Thomas Prince Magdalen College, Oxford

Combining rotations

Performing one rotation then another defines an operation on the set ofrotations, called a group.

Composing rotations

We can think of this as a kind of multiplication on the set of rotationalsymmetries of a cube. Notice that in this context multiplication a× b doesnot need to be the same as b × a.

The classification of finite (simple) groups was a fundamental problem inalgebra (more or less completed in the 1980s). For example, the rotationalsymmetries of a cube form a famous example (the symmetric group S4).

Thomas Prince (Magdalen College, Oxford) Spin 30 September 2017 9 / 23

Page 23: Spin: a first look at modern Geometry - University of Oxfordpeople.maths.ox.ac.uk/prince/Spin_slides.pdf · Spin: a rst look at modern Geometry Thomas Prince Magdalen College, Oxford

Combining rotations

Performing one rotation then another defines an operation on the set ofrotations, called a group.

Composing rotations

We can think of this as a kind of multiplication on the set of rotationalsymmetries of a cube. Notice that in this context multiplication a× b doesnot need to be the same as b × a.

The classification of finite (simple) groups was a fundamental problem inalgebra (more or less completed in the 1980s). For example, the rotationalsymmetries of a cube form a famous example (the symmetric group S4).

Thomas Prince (Magdalen College, Oxford) Spin 30 September 2017 9 / 23

Page 24: Spin: a first look at modern Geometry - University of Oxfordpeople.maths.ox.ac.uk/prince/Spin_slides.pdf · Spin: a rst look at modern Geometry Thomas Prince Magdalen College, Oxford

An Introduction to Topology

We now change direction (we’ll come back to 3D rotation at the endthough), and look at another important area of modern mathematics:topology.

Topology

Topology is the abstract study of shape, which is an active field ofresearch today. To a topologist shapes are ‘the same’ if they can bedeformed into each other by any ‘smooth’ process (no cutting or tearing),if you open a book these deformations are called ‘homotopies’.

Thomas Prince (Magdalen College, Oxford) Spin 30 September 2017 10 / 23

Page 25: Spin: a first look at modern Geometry - University of Oxfordpeople.maths.ox.ac.uk/prince/Spin_slides.pdf · Spin: a rst look at modern Geometry Thomas Prince Magdalen College, Oxford

An Introduction to Topology

We now change direction (we’ll come back to 3D rotation at the endthough), and look at another important area of modern mathematics:topology.

Topology

Topology is the abstract study of shape, which is an active field ofresearch today. To a topologist shapes are ‘the same’ if they can bedeformed into each other by any ‘smooth’ process (no cutting or tearing),if you open a book these deformations are called ‘homotopies’.

Thomas Prince (Magdalen College, Oxford) Spin 30 September 2017 10 / 23

Page 26: Spin: a first look at modern Geometry - University of Oxfordpeople.maths.ox.ac.uk/prince/Spin_slides.pdf · Spin: a rst look at modern Geometry Thomas Prince Magdalen College, Oxford

An Introduction to Topology

We now change direction (we’ll come back to 3D rotation at the endthough), and look at another important area of modern mathematics:topology.

Topology

Topology is the abstract study of shape, which is an active field ofresearch today. To a topologist shapes are ‘the same’ if they can bedeformed into each other by any ‘smooth’ process (no cutting or tearing),if you open a book these deformations are called ‘homotopies’.

Thomas Prince (Magdalen College, Oxford) Spin 30 September 2017 10 / 23

Page 27: Spin: a first look at modern Geometry - University of Oxfordpeople.maths.ox.ac.uk/prince/Spin_slides.pdf · Spin: a rst look at modern Geometry Thomas Prince Magdalen College, Oxford

Surfaces

One consequence of making any shape you can deform into another one‘the same’ is that you probably haven’t seen that many examples. Howmany topologically different shapes can you think of?

A list of shapes (up to deformation)

point (line?),

circle (square, triangle),

torus (bagel),

sphere,...

The last two can be made by gluing together a rectangle in certain ways.Can we see how? Can we see why we call these two-dimensional, orsurfaces.

Thomas Prince (Magdalen College, Oxford) Spin 30 September 2017 11 / 23

Page 28: Spin: a first look at modern Geometry - University of Oxfordpeople.maths.ox.ac.uk/prince/Spin_slides.pdf · Spin: a rst look at modern Geometry Thomas Prince Magdalen College, Oxford

Surfaces

One consequence of making any shape you can deform into another one‘the same’ is that you probably haven’t seen that many examples. Howmany topologically different shapes can you think of?

A list of shapes (up to deformation)

point (line?),

circle (square, triangle),

torus (bagel),

sphere,...

The last two can be made by gluing together a rectangle in certain ways.Can we see how? Can we see why we call these two-dimensional, orsurfaces.

Thomas Prince (Magdalen College, Oxford) Spin 30 September 2017 11 / 23

Page 29: Spin: a first look at modern Geometry - University of Oxfordpeople.maths.ox.ac.uk/prince/Spin_slides.pdf · Spin: a rst look at modern Geometry Thomas Prince Magdalen College, Oxford

Surfaces

One consequence of making any shape you can deform into another one‘the same’ is that you probably haven’t seen that many examples. Howmany topologically different shapes can you think of?

A list of shapes (up to deformation)

point (line?),

circle (square, triangle),

torus (bagel),

sphere,...

The last two can be made by gluing together a rectangle in certain ways.Can we see how? Can we see why we call these two-dimensional, orsurfaces.

Thomas Prince (Magdalen College, Oxford) Spin 30 September 2017 11 / 23

Page 30: Spin: a first look at modern Geometry - University of Oxfordpeople.maths.ox.ac.uk/prince/Spin_slides.pdf · Spin: a rst look at modern Geometry Thomas Prince Magdalen College, Oxford

Constructing surfaces

In the next exercise you will construct a number of different surfaces.These constructions involve using certain diagrams describing how to glueedges of simple shapes together.

Gluing diagrams

Sphere from square, disc from triangle.

Thomas Prince (Magdalen College, Oxford) Spin 30 September 2017 12 / 23

Page 31: Spin: a first look at modern Geometry - University of Oxfordpeople.maths.ox.ac.uk/prince/Spin_slides.pdf · Spin: a rst look at modern Geometry Thomas Prince Magdalen College, Oxford

Constructing surfaces

In the next exercise you will construct a number of different surfaces.These constructions involve using certain diagrams describing how to glueedges of simple shapes together.

Gluing diagrams

Sphere from square, disc from triangle.

Thomas Prince (Magdalen College, Oxford) Spin 30 September 2017 12 / 23

Page 32: Spin: a first look at modern Geometry - University of Oxfordpeople.maths.ox.ac.uk/prince/Spin_slides.pdf · Spin: a rst look at modern Geometry Thomas Prince Magdalen College, Oxford

Klein bottles and projective planes

The last diagram shows the construction of a Klein bottle.

Like the Mobius strip this has no ‘inner’ and ‘outer’ face (non-orientable).What is the other possible gluing? What shape do we get if we performthe other gluing?

Thomas Prince (Magdalen College, Oxford) Spin 30 September 2017 13 / 23

Page 33: Spin: a first look at modern Geometry - University of Oxfordpeople.maths.ox.ac.uk/prince/Spin_slides.pdf · Spin: a rst look at modern Geometry Thomas Prince Magdalen College, Oxford

Klein bottles and projective planes

The last diagram shows the construction of a Klein bottle.

Like the Mobius strip this has no ‘inner’ and ‘outer’ face (non-orientable).What is the other possible gluing? What shape do we get if we performthe other gluing?

Thomas Prince (Magdalen College, Oxford) Spin 30 September 2017 13 / 23

Page 34: Spin: a first look at modern Geometry - University of Oxfordpeople.maths.ox.ac.uk/prince/Spin_slides.pdf · Spin: a rst look at modern Geometry Thomas Prince Magdalen College, Oxford

Klein bottles and projective planes

The last diagram shows the construction of a Klein bottle.

Like the Mobius strip this has no ‘inner’ and ‘outer’ face (non-orientable).What is the other possible gluing? What shape do we get if we performthe other gluing?

Thomas Prince (Magdalen College, Oxford) Spin 30 September 2017 13 / 23

Page 35: Spin: a first look at modern Geometry - University of Oxfordpeople.maths.ox.ac.uk/prince/Spin_slides.pdf · Spin: a rst look at modern Geometry Thomas Prince Magdalen College, Oxford

Invariants

One basic question in geometry and topology is how to tell shapes apart.To do this one uses numbers we can attach to a shape which don’t dependon whatever we are allowed to do to our shape which keeps it the ‘same’.

Congruence

You are already familiar with this idea in a different context. If you wantto show two triangles (up to rigid transformations) are ‘the same’ you haverules (SSS,SAS,...) to see this.

Euler number

An analogous notion in topology is the Euler number. We can calculatethis by chopping the surface up into pieces.

Can we compute this in some examples? Is it a complete invariant.

Thomas Prince (Magdalen College, Oxford) Spin 30 September 2017 14 / 23

Page 36: Spin: a first look at modern Geometry - University of Oxfordpeople.maths.ox.ac.uk/prince/Spin_slides.pdf · Spin: a rst look at modern Geometry Thomas Prince Magdalen College, Oxford

Invariants

One basic question in geometry and topology is how to tell shapes apart.To do this one uses numbers we can attach to a shape which don’t dependon whatever we are allowed to do to our shape which keeps it the ‘same’.

Congruence

You are already familiar with this idea in a different context. If you wantto show two triangles (up to rigid transformations) are ‘the same’ you haverules (SSS,SAS,...) to see this.

Euler number

An analogous notion in topology is the Euler number. We can calculatethis by chopping the surface up into pieces.

Can we compute this in some examples? Is it a complete invariant.

Thomas Prince (Magdalen College, Oxford) Spin 30 September 2017 14 / 23

Page 37: Spin: a first look at modern Geometry - University of Oxfordpeople.maths.ox.ac.uk/prince/Spin_slides.pdf · Spin: a rst look at modern Geometry Thomas Prince Magdalen College, Oxford

Invariants

One basic question in geometry and topology is how to tell shapes apart.To do this one uses numbers we can attach to a shape which don’t dependon whatever we are allowed to do to our shape which keeps it the ‘same’.

Congruence

You are already familiar with this idea in a different context. If you wantto show two triangles (up to rigid transformations) are ‘the same’ you haverules (SSS,SAS,...) to see this.

Euler number

An analogous notion in topology is the Euler number. We can calculatethis by chopping the surface up into pieces.

Can we compute this in some examples? Is it a complete invariant.

Thomas Prince (Magdalen College, Oxford) Spin 30 September 2017 14 / 23

Page 38: Spin: a first look at modern Geometry - University of Oxfordpeople.maths.ox.ac.uk/prince/Spin_slides.pdf · Spin: a rst look at modern Geometry Thomas Prince Magdalen College, Oxford

Invariants

One basic question in geometry and topology is how to tell shapes apart.To do this one uses numbers we can attach to a shape which don’t dependon whatever we are allowed to do to our shape which keeps it the ‘same’.

Congruence

You are already familiar with this idea in a different context. If you wantto show two triangles (up to rigid transformations) are ‘the same’ you haverules (SSS,SAS,...) to see this.

Euler number

An analogous notion in topology is the Euler number. We can calculatethis by chopping the surface up into pieces.

Can we compute this in some examples? Is it a complete invariant.

Thomas Prince (Magdalen College, Oxford) Spin 30 September 2017 14 / 23

Page 39: Spin: a first look at modern Geometry - University of Oxfordpeople.maths.ox.ac.uk/prince/Spin_slides.pdf · Spin: a rst look at modern Geometry Thomas Prince Magdalen College, Oxford

Euler number examples

Below I have two diagrams showing how to cut up a sphere into pieces.

What (regular) shape does the diagram on the left represent? Can wedraw the one on the right? What are the Euler numbers?

Thomas Prince (Magdalen College, Oxford) Spin 30 September 2017 15 / 23

Page 40: Spin: a first look at modern Geometry - University of Oxfordpeople.maths.ox.ac.uk/prince/Spin_slides.pdf · Spin: a rst look at modern Geometry Thomas Prince Magdalen College, Oxford

Break

Thomas Prince (Magdalen College, Oxford) Spin 30 September 2017 16 / 23

Page 41: Spin: a first look at modern Geometry - University of Oxfordpeople.maths.ox.ac.uk/prince/Spin_slides.pdf · Spin: a rst look at modern Geometry Thomas Prince Magdalen College, Oxford

Parameter spaces

You might wonder why all the things we’ve discussed is really ‘maths’ - itis quite different from maths you are used to.

Classification in Geometry

Some problems in geometry involve classification (symmetries of a cube),some involve finding invariants (Euler characterstic), there is anothertypical problem: describing a ‘space’ or shape of objects in some class.

Circles

Discuss the parameter space of circles in the plane? (fixing the centre?)

Thomas Prince (Magdalen College, Oxford) Spin 30 September 2017 17 / 23

Page 42: Spin: a first look at modern Geometry - University of Oxfordpeople.maths.ox.ac.uk/prince/Spin_slides.pdf · Spin: a rst look at modern Geometry Thomas Prince Magdalen College, Oxford

Parameter spaces

You might wonder why all the things we’ve discussed is really ‘maths’ - itis quite different from maths you are used to.

Classification in Geometry

Some problems in geometry involve classification (symmetries of a cube),some involve finding invariants (Euler characterstic), there is anothertypical problem: describing a ‘space’ or shape of objects in some class.

Circles

Discuss the parameter space of circles in the plane? (fixing the centre?)

Thomas Prince (Magdalen College, Oxford) Spin 30 September 2017 17 / 23

Page 43: Spin: a first look at modern Geometry - University of Oxfordpeople.maths.ox.ac.uk/prince/Spin_slides.pdf · Spin: a rst look at modern Geometry Thomas Prince Magdalen College, Oxford

Parameter spaces

You might wonder why all the things we’ve discussed is really ‘maths’ - itis quite different from maths you are used to.

Classification in Geometry

Some problems in geometry involve classification (symmetries of a cube),some involve finding invariants (Euler characterstic), there is anothertypical problem: describing a ‘space’ or shape of objects in some class.

Circles

Discuss the parameter space of circles in the plane? (fixing the centre?)

Thomas Prince (Magdalen College, Oxford) Spin 30 September 2017 17 / 23

Page 44: Spin: a first look at modern Geometry - University of Oxfordpeople.maths.ox.ac.uk/prince/Spin_slides.pdf · Spin: a rst look at modern Geometry Thomas Prince Magdalen College, Oxford

Exercises

I would like to leave you to think about the parameter space of lines in theplane - which you should be familiar with.

Lines in the plane

There are two sheets, covering two different problems

The first is about lines passing through the origin, to introduce you tothe ideas I have in mind.

The second is about all lines in the plane, probably the most algebrayou’ll do in this masterclass.

Have you seen any spherical or hyperbolic geometry? What is the ‘spaceof lines’ in each of those contexts?

Thomas Prince (Magdalen College, Oxford) Spin 30 September 2017 18 / 23

Page 45: Spin: a first look at modern Geometry - University of Oxfordpeople.maths.ox.ac.uk/prince/Spin_slides.pdf · Spin: a rst look at modern Geometry Thomas Prince Magdalen College, Oxford

Exercises

I would like to leave you to think about the parameter space of lines in theplane - which you should be familiar with.

Lines in the plane

There are two sheets, covering two different problems

The first is about lines passing through the origin, to introduce you tothe ideas I have in mind.

The second is about all lines in the plane, probably the most algebrayou’ll do in this masterclass.

Have you seen any spherical or hyperbolic geometry? What is the ‘spaceof lines’ in each of those contexts?

Thomas Prince (Magdalen College, Oxford) Spin 30 September 2017 18 / 23

Page 46: Spin: a first look at modern Geometry - University of Oxfordpeople.maths.ox.ac.uk/prince/Spin_slides.pdf · Spin: a rst look at modern Geometry Thomas Prince Magdalen College, Oxford

Exercises

I would like to leave you to think about the parameter space of lines in theplane - which you should be familiar with.

Lines in the plane

There are two sheets, covering two different problems

The first is about lines passing through the origin, to introduce you tothe ideas I have in mind.

The second is about all lines in the plane, probably the most algebrayou’ll do in this masterclass.

Have you seen any spherical or hyperbolic geometry? What is the ‘spaceof lines’ in each of those contexts?

Thomas Prince (Magdalen College, Oxford) Spin 30 September 2017 18 / 23

Page 47: Spin: a first look at modern Geometry - University of Oxfordpeople.maths.ox.ac.uk/prince/Spin_slides.pdf · Spin: a rst look at modern Geometry Thomas Prince Magdalen College, Oxford

Dirac’s belt trick

In this last section I want to move onto a slightly more dramaticapplication of topology, this time to Mathematical Physics.

Belt trick

There are two experiments to do, both involve fixing one end of yourribbon securely:

Rotate the free end 360◦ (two half twists). Check that you cannotmake the ribbon untwisted without rotating the unsecured end again.

Rotate the free end 720◦ (four half twists). What happens now?

Thomas Prince (Magdalen College, Oxford) Spin 30 September 2017 19 / 23

Page 48: Spin: a first look at modern Geometry - University of Oxfordpeople.maths.ox.ac.uk/prince/Spin_slides.pdf · Spin: a rst look at modern Geometry Thomas Prince Magdalen College, Oxford

Dirac’s belt trick

In this last section I want to move onto a slightly more dramaticapplication of topology, this time to Mathematical Physics.

Belt trick

There are two experiments to do, both involve fixing one end of yourribbon securely:

Rotate the free end 360◦ (two half twists). Check that you cannotmake the ribbon untwisted without rotating the unsecured end again.

Rotate the free end 720◦ (four half twists). What happens now?

Thomas Prince (Magdalen College, Oxford) Spin 30 September 2017 19 / 23

Page 49: Spin: a first look at modern Geometry - University of Oxfordpeople.maths.ox.ac.uk/prince/Spin_slides.pdf · Spin: a rst look at modern Geometry Thomas Prince Magdalen College, Oxford

Spaces of rotations

In fact this is a consequence of a property of the space of rotations in 3D.Just as for the space of lines we can think about how to algebraicallydescribe all rotations and see what shape we find.

Rotations in 2D

We’ve already seen the space of rotations in 2D (if you like you can thinkof these as the rotational symmetries of a circle). What space do theyform?

Thomas Prince (Magdalen College, Oxford) Spin 30 September 2017 20 / 23

Page 50: Spin: a first look at modern Geometry - University of Oxfordpeople.maths.ox.ac.uk/prince/Spin_slides.pdf · Spin: a rst look at modern Geometry Thomas Prince Magdalen College, Oxford

Spaces of rotations

In fact this is a consequence of a property of the space of rotations in 3D.Just as for the space of lines we can think about how to algebraicallydescribe all rotations and see what shape we find.

Rotations in 2D

We’ve already seen the space of rotations in 2D (if you like you can thinkof these as the rotational symmetries of a circle). What space do theyform?

Thomas Prince (Magdalen College, Oxford) Spin 30 September 2017 20 / 23

Page 51: Spin: a first look at modern Geometry - University of Oxfordpeople.maths.ox.ac.uk/prince/Spin_slides.pdf · Spin: a rst look at modern Geometry Thomas Prince Magdalen College, Oxford

Rotation in 3D

The final exercise on the sheet will take you through the construction ofthe space of rotations in 3D. We construct the space in stages as follows.

Space of rotations

Identify each point in a ball of radius 180◦ with a rotation as follows.

The point p lies on a line containing the point (0, 0, 0) - this is theaxis of th rotation.

The length from (0, 0, 0) to p is the angle we twist by.

Points on the boundary on the same line represent the same rotation.

After gluing opposite points on the boundary the path along the linebetween them in the ball is a loop.

Thomas Prince (Magdalen College, Oxford) Spin 30 September 2017 21 / 23

Page 52: Spin: a first look at modern Geometry - University of Oxfordpeople.maths.ox.ac.uk/prince/Spin_slides.pdf · Spin: a rst look at modern Geometry Thomas Prince Magdalen College, Oxford

Rotation in 3D

The final exercise on the sheet will take you through the construction ofthe space of rotations in 3D. We construct the space in stages as follows.

Space of rotations

Identify each point in a ball of radius 180◦ with a rotation as follows.

The point p lies on a line containing the point (0, 0, 0) - this is theaxis of th rotation.

The length from (0, 0, 0) to p is the angle we twist by.

Points on the boundary on the same line represent the same rotation.

After gluing opposite points on the boundary the path along the linebetween them in the ball is a loop.

Thomas Prince (Magdalen College, Oxford) Spin 30 September 2017 21 / 23

Page 53: Spin: a first look at modern Geometry - University of Oxfordpeople.maths.ox.ac.uk/prince/Spin_slides.pdf · Spin: a rst look at modern Geometry Thomas Prince Magdalen College, Oxford

Rotation in 3D

The final exercise on the sheet will take you through the construction ofthe space of rotations in 3D. We construct the space in stages as follows.

Space of rotations

Identify each point in a ball of radius 180◦ with a rotation as follows.

The point p lies on a line containing the point (0, 0, 0) - this is theaxis of th rotation.

The length from (0, 0, 0) to p is the angle we twist by.

Points on the boundary on the same line represent the same rotation.

After gluing opposite points on the boundary the path along the linebetween them in the ball is a loop.

Thomas Prince (Magdalen College, Oxford) Spin 30 September 2017 21 / 23

Page 54: Spin: a first look at modern Geometry - University of Oxfordpeople.maths.ox.ac.uk/prince/Spin_slides.pdf · Spin: a rst look at modern Geometry Thomas Prince Magdalen College, Oxford

Rotation in 4D?

The space of rotations in 2D is a circle, the space of rotations in 3D spaceis a 3D shape which is nearly a sphere, but has the non-contractible loopswe saw in the belt trick. What about rotations in 4D?

4 dimensional space

Modern Geometry often involves working in spaces of dimension biggerthan three. That is, just define a space with a number of independentco-ordinates (x1, x2, x3, x4). There is a notion of length and angle, just asin 3D.

There is a notion of rotation in 4D too, how can we define this? There is aname for the space of rotations in any dimension, the special orthogonalgroup SO(n), and it is well understood in dimension 4.

Thomas Prince (Magdalen College, Oxford) Spin 30 September 2017 22 / 23

Page 55: Spin: a first look at modern Geometry - University of Oxfordpeople.maths.ox.ac.uk/prince/Spin_slides.pdf · Spin: a rst look at modern Geometry Thomas Prince Magdalen College, Oxford

Rotation in 4D?

The space of rotations in 2D is a circle, the space of rotations in 3D spaceis a 3D shape which is nearly a sphere, but has the non-contractible loopswe saw in the belt trick. What about rotations in 4D?

4 dimensional space

Modern Geometry often involves working in spaces of dimension biggerthan three. That is, just define a space with a number of independentco-ordinates (x1, x2, x3, x4). There is a notion of length and angle, just asin 3D.

There is a notion of rotation in 4D too, how can we define this? There is aname for the space of rotations in any dimension, the special orthogonalgroup SO(n), and it is well understood in dimension 4.

Thomas Prince (Magdalen College, Oxford) Spin 30 September 2017 22 / 23

Page 56: Spin: a first look at modern Geometry - University of Oxfordpeople.maths.ox.ac.uk/prince/Spin_slides.pdf · Spin: a rst look at modern Geometry Thomas Prince Magdalen College, Oxford

Rotation in 4D?

The space of rotations in 2D is a circle, the space of rotations in 3D spaceis a 3D shape which is nearly a sphere, but has the non-contractible loopswe saw in the belt trick. What about rotations in 4D?

4 dimensional space

Modern Geometry often involves working in spaces of dimension biggerthan three. That is, just define a space with a number of independentco-ordinates (x1, x2, x3, x4). There is a notion of length and angle, just asin 3D.

There is a notion of rotation in 4D too, how can we define this?

There is aname for the space of rotations in any dimension, the special orthogonalgroup SO(n), and it is well understood in dimension 4.

Thomas Prince (Magdalen College, Oxford) Spin 30 September 2017 22 / 23

Page 57: Spin: a first look at modern Geometry - University of Oxfordpeople.maths.ox.ac.uk/prince/Spin_slides.pdf · Spin: a rst look at modern Geometry Thomas Prince Magdalen College, Oxford

Rotation in 4D?

The space of rotations in 2D is a circle, the space of rotations in 3D spaceis a 3D shape which is nearly a sphere, but has the non-contractible loopswe saw in the belt trick. What about rotations in 4D?

4 dimensional space

Modern Geometry often involves working in spaces of dimension biggerthan three. That is, just define a space with a number of independentco-ordinates (x1, x2, x3, x4). There is a notion of length and angle, just asin 3D.

There is a notion of rotation in 4D too, how can we define this? There is aname for the space of rotations in any dimension, the special orthogonalgroup SO(n), and it is well understood in dimension 4.

Thomas Prince (Magdalen College, Oxford) Spin 30 September 2017 22 / 23

Page 58: Spin: a first look at modern Geometry - University of Oxfordpeople.maths.ox.ac.uk/prince/Spin_slides.pdf · Spin: a rst look at modern Geometry Thomas Prince Magdalen College, Oxford

The End

Thomas Prince (Magdalen College, Oxford) Spin 30 September 2017 23 / 23


Recommended