![Page 1: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/1.jpg)
An introduction to projective planes
Thematic Program in Commutative Algebra and itsInteraction with Algebraic Geometry
In honor of Bernd Ulrich
Undergraduate Colloquium by Juan Migliore
May 31, 2019
Juan C. Migliore An introduction to projective planes
![Page 2: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/2.jpg)
1999
Juan C. Migliore An introduction to projective planes
![Page 3: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/3.jpg)
Introduction
Two important branches of mathematics are
I algebraic geometry
I combinatorics
These branches interweave and merge in many points. One ofthese is called projective geometry.
Today we’ll focus on the projective plane, looking at it fromdifferent points of view.
Juan C. Migliore An introduction to projective planes
![Page 4: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/4.jpg)
Introduction
Two important branches of mathematics are
I algebraic geometry
I combinatorics
These branches interweave and merge in many points. One ofthese is called projective geometry.
Today we’ll focus on the projective plane, looking at it fromdifferent points of view.
Juan C. Migliore An introduction to projective planes
![Page 5: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/5.jpg)
Introduction
Two important branches of mathematics are
I algebraic geometry
I combinatorics
These branches interweave and merge in many points. One ofthese is called projective geometry.
Today we’ll focus on the projective plane, looking at it fromdifferent points of view.
Juan C. Migliore An introduction to projective planes
![Page 6: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/6.jpg)
Question. Given a point, P, in the plane and a line, λ, that doesnot pass through P,
how many lines pass through P and do notmeet λ?
• P
λ
In high school we learn that the answer is one, the unique lineparallel to λ.
This is true for the Euclidean plane.
Juan C. Migliore An introduction to projective planes
![Page 7: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/7.jpg)
Question. Given a point, P, in the plane and a line, λ, that doesnot pass through P,
how many lines pass through P and do notmeet λ?
• P
λ
In high school we learn that the answer is one, the unique lineparallel to λ.
This is true for the Euclidean plane.
Juan C. Migliore An introduction to projective planes
![Page 8: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/8.jpg)
Question. Given a point, P, in the plane and a line, λ, that doesnot pass through P, how many lines pass through P and do notmeet λ?
• P
λ
In high school we learn that the answer is one, the unique lineparallel to λ.
This is true for the Euclidean plane.
Juan C. Migliore An introduction to projective planes
![Page 9: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/9.jpg)
Question. Given a point, P, in the plane and a line, λ, that doesnot pass through P, how many lines pass through P and do notmeet λ?
• P
λ
In high school we learn that the answer is one, the unique lineparallel to λ.
This is true for the Euclidean plane.
Juan C. Migliore An introduction to projective planes
![Page 10: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/10.jpg)
Question. Given a point, P, in the plane and a line, λ, that doesnot pass through P, how many lines pass through P and do notmeet λ?
• P
λ
In high school we learn that the answer is one, the unique lineparallel to λ.
This is true for the Euclidean plane.
Juan C. Migliore An introduction to projective planes
![Page 11: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/11.jpg)
Question. Given a point, P, in the plane and a line, λ, that doesnot pass through P, how many lines pass through P and do notmeet λ?
• P
λ
In high school we learn that the answer is one, the unique lineparallel to λ.
This is true for the Euclidean plane.
Juan C. Migliore An introduction to projective planes
![Page 12: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/12.jpg)
Euclidc.330 – c.260 B.C.
(google images)
Juan C. Migliore An introduction to projective planes
![Page 13: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/13.jpg)
But there are non-Euclidean planes, and for these the answercan be “zero”, or it can be “infinitely many.”
One of these is the projective plane.
Here we’ll see that there are no parallel lines, i.e. the answer tothe question is “zero.”
So what’s the idea behind the projective plane? We’ll start withthe real projective plane, P2
R.
Look at this pair of parallel lines:
Juan C. Migliore An introduction to projective planes
![Page 14: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/14.jpg)
But there are non-Euclidean planes, and for these the answercan be “zero”, or it can be “infinitely many.”
One of these is the projective plane.
Here we’ll see that there are no parallel lines, i.e. the answer tothe question is “zero.”
So what’s the idea behind the projective plane? We’ll start withthe real projective plane, P2
R.
Look at this pair of parallel lines:
Juan C. Migliore An introduction to projective planes
![Page 15: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/15.jpg)
But there are non-Euclidean planes, and for these the answercan be “zero”, or it can be “infinitely many.”
One of these is the projective plane.
Here we’ll see that there are no parallel lines, i.e. the answer tothe question is “zero.”
So what’s the idea behind the projective plane? We’ll start withthe real projective plane, P2
R.
Look at this pair of parallel lines:
Juan C. Migliore An introduction to projective planes
![Page 16: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/16.jpg)
But there are non-Euclidean planes, and for these the answercan be “zero”, or it can be “infinitely many.”
One of these is the projective plane.
Here we’ll see that there are no parallel lines, i.e. the answer tothe question is “zero.”
So what’s the idea behind the projective plane? We’ll start withthe real projective plane, P2
R.
Look at this pair of parallel lines:
Juan C. Migliore An introduction to projective planes
![Page 17: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/17.jpg)
Juan C. Migliore An introduction to projective planes
![Page 18: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/18.jpg)
You can imagine that if there were points infinitely far from thecamera, these two “lines” would meet at one of those points.
And what if there are more than two parallel lines?
Juan C. Migliore An introduction to projective planes
![Page 19: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/19.jpg)
You can imagine that if there were points infinitely far from thecamera, these two “lines” would meet at one of those points.
And what if there are more than two parallel lines?
Juan C. Migliore An introduction to projective planes
![Page 20: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/20.jpg)
Juan C. Migliore An introduction to projective planes
![Page 21: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/21.jpg)
All the parallel lines meet in the same “point at infinity!”
This is the point of view of projective geometry (at least over thereals).
In a sec we’ll look at an axiomatic approach to projectiveplanes, giving rise to different models that satisfy those axioms.
But first let’s follow up this way of getting the real projectiveplane from the familiar Euclidean plane by adding points atinfinity.
Juan C. Migliore An introduction to projective planes
![Page 22: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/22.jpg)
All the parallel lines meet in the same “point at infinity!”
This is the point of view of projective geometry (at least over thereals).
In a sec we’ll look at an axiomatic approach to projectiveplanes, giving rise to different models that satisfy those axioms.
But first let’s follow up this way of getting the real projectiveplane from the familiar Euclidean plane by adding points atinfinity.
Juan C. Migliore An introduction to projective planes
![Page 23: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/23.jpg)
All the parallel lines meet in the same “point at infinity!”
This is the point of view of projective geometry (at least over thereals).
In a sec we’ll look at an axiomatic approach to projectiveplanes, giving rise to different models that satisfy those axioms.
But first let’s follow up this way of getting the real projectiveplane from the familiar Euclidean plane by adding points atinfinity.
Juan C. Migliore An introduction to projective planes
![Page 24: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/24.jpg)
For each family of parallel lines in the Euclidean plane (i.e. linesthat don’t meet)
����������
�����������
��
���
���
���
parallel lineswith slope m1
• point
s
at infinityLLLLLLLLLL
AAAAAAAAAA
JJJJJJJJJJ
@@@@@@@@@@
LLLLLLLLLL
AAAAAAAAAAA
JJJJJJJJJJJ
@@@@@@@@@@@
parallel lineswith slope m2 6= m1
• lineat
infinity
projective line(including point at infinity)
•
we add a point at infinity where all the lines in the family meet.
The set of all points at infinity defines the line at infinity, one foreach slope (including∞).
Juan C. Migliore An introduction to projective planes
![Page 25: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/25.jpg)
For each family of parallel lines in the Euclidean plane (i.e. linesthat don’t meet)
����������
����������
���
���
����
parallel lineswith slope m1
• point
s
at infinityLLLLLLLLLL
AAAAAAAAAA
JJJJJJJJJJ
@@@@@@@@@@
LLLLLLLLLL
AAAAAAAAAAA
JJJJJJJJJJJ
@@@@@@@@@@@
parallel lineswith slope m2 6= m1
•
lineat
infinity
projective line(including point at infinity)
•
we add a point at infinity where all the lines in the family meet.
The set of all points at infinity defines the line at infinity, one foreach slope (including∞).
Juan C. Migliore An introduction to projective planes
![Page 26: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/26.jpg)
For each family of parallel lines in the Euclidean plane (i.e. linesthat don’t meet)
����������
����������
���
���
����
parallel lineswith slope m1
• point
s
at infinityLLLLLLLLLL
AAAAAAAAAA
JJJJJJJJJJ
@@@@@@@@@@
LLLLLLLLLL
AAAAAAAAAAA
JJJJJJJJJJJ
@@@@@@@@@@@
parallel lineswith slope m2 6= m1
• lineat
infinity
projective line(including point at infinity)
•
we add a point at infinity where all the lines in the family meet.
The set of all points at infinity defines the line at infinity, one foreach slope (including∞).
Juan C. Migliore An introduction to projective planes
![Page 27: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/27.jpg)
For each family of parallel lines in the Euclidean plane (i.e. linesthat don’t meet)
����������
�����������
��
���
���
���
parallel lineswith slope m1
• point
s
at infinity
LLLLLLLLLL
AAAAAAAAAA
JJJJJJJJJJ
@@@@@@@@@@
LLLLLLLLLL
AAAAAAAAAAA
JJJJJJJJJJJ
@@@@@@@@@@@
parallel lineswith slope m2 6= m1
• lineat
infinity
projective line(including point at infinity)
•
we add a point at infinity where all the lines in the family meet.
The set of all points at infinity defines the line at infinity, one foreach slope (including∞).
Juan C. Migliore An introduction to projective planes
![Page 28: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/28.jpg)
For each family of parallel lines in the Euclidean plane (i.e. linesthat don’t meet)
����������
�����������
��
���
���
���
parallel lineswith slope m1
• point
s
at infinityLLLLLLLLLL
AAAAAAAAAA
JJJJJJJJJJ
@@@@@@@@@@
LLLLLLLLLL
AAAAAAAAAAA
JJJJJJJJJJJ
@@@@@@@@@@@
parallel lineswith slope m2 6= m1
• lineat
infinity
projective line(including point at infinity)
•
we add a point at infinity where all the lines in the family meet.
The set of all points at infinity defines the line at infinity, one foreach slope (including∞).
Juan C. Migliore An introduction to projective planes
![Page 29: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/29.jpg)
For each family of parallel lines in the Euclidean plane (i.e. linesthat don’t meet)
����������
�����������
��
���
���
���
parallel lineswith slope m1
• points at infinity
LLLLLLLLLL
AAAAAAAAAA
JJJJJJJJJJ
@@@@@@@@@@
LLLLLLLLLL
AAAAAAAAAAA
JJJJJJJJJJJ
@@@@@@@@@@@
parallel lineswith slope m2 6= m1
•
lineat
infinity
projective line(including point at infinity)
•
we add a point at infinity where all the lines in the family meet.
The set of all points at infinity defines the line at infinity, one foreach slope (including∞).
Juan C. Migliore An introduction to projective planes
![Page 30: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/30.jpg)
For each family of parallel lines in the Euclidean plane (i.e. linesthat don’t meet)
����������
�����������
��
���
���
���
parallel lineswith slope m1
• points at infinity
LLLLLLLLLL
AAAAAAAAAA
JJJJJJJJJJ
@@@@@@@@@@
LLLLLLLLLL
AAAAAAAAAAA
JJJJJJJJJJJ
@@@@@@@@@@@
parallel lineswith slope m2 6= m1
•
lineat
infinity
projective line(including point at infinity)
•
we add a point at infinity where all the lines in the family meet.The set of all points at infinity defines the line at infinity, one foreach slope (including∞).
Juan C. Migliore An introduction to projective planes
![Page 31: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/31.jpg)
For each family of parallel lines in the Euclidean plane (i.e. linesthat don’t meet)
����������
�����������
��
���
���
���
parallel lineswith slope m1
• points at infinity
LLLLLLLLLL
AAAAAAAAAA
JJJJJJJJJJ
@@@@@@@@@@
LLLLLLLLLL
AAAAAAAAAAA
JJJJJJJJJJJ
@@@@@@@@@@@
parallel lineswith slope m2 6= m1
• lineat
infinity
projective line(including point at infinity)
•
we add a point at infinity where all the lines in the family meet.The set of all points at infinity defines the line at infinity, one foreach slope (including∞).
Juan C. Migliore An introduction to projective planes
![Page 32: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/32.jpg)
For each family of parallel lines in the Euclidean plane (i.e. linesthat don’t meet)
����������
�����������
��
���
���
���
parallel lineswith slope m1
• points at infinity
LLLLLLLLLL
AAAAAAAAAA
JJJJJJJJJJ
@@@@@@@@@@
LLLLLLLLLL
AAAAAAAAAAA
JJJJJJJJJJJ
@@@@@@@@@@@
parallel lineswith slope m2 6= m1
•
lineat
infinity
projective line(including point at infinity)
•
we add a point at infinity where all the lines in the family meet.The set of all points at infinity defines the line at infinity, one foreach slope (including∞).
Juan C. Migliore An introduction to projective planes
![Page 33: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/33.jpg)
P2R is the union of the usual Euclidean plane and the
(projective) line at infinity:
P2R = R2 ∪ P1
R.
We’ve constructed the real projective plane, denoted P2R (the
“2” is because the plane has dimension 2, and the R becauseEuclidean geometry is based on the real numbers).
Let’s look at a different approach to get P2R.
Juan C. Migliore An introduction to projective planes
![Page 34: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/34.jpg)
P2R is the union of the usual Euclidean plane and the
(projective) line at infinity:
P2R = R2 ∪ P1
R.
We’ve constructed the real projective plane, denoted P2R (the
“2” is because the plane has dimension 2, and the R becauseEuclidean geometry is based on the real numbers).
Let’s look at a different approach to get P2R.
Juan C. Migliore An introduction to projective planes
![Page 35: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/35.jpg)
P2R is the union of the usual Euclidean plane and the
(projective) line at infinity:
P2R = R2 ∪ P1
R.
We’ve constructed the real projective plane, denoted P2R
(the“2” is because the plane has dimension 2, and the R becauseEuclidean geometry is based on the real numbers).
Let’s look at a different approach to get P2R.
Juan C. Migliore An introduction to projective planes
![Page 36: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/36.jpg)
P2R is the union of the usual Euclidean plane and the
(projective) line at infinity:
P2R = R2 ∪ P1
R.
We’ve constructed the real projective plane, denoted P2R (the
“2” is because the plane has dimension 2, and the R becauseEuclidean geometry is based on the real numbers).
Let’s look at a different approach to get P2R.
Juan C. Migliore An introduction to projective planes
![Page 37: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/37.jpg)
P2R is the union of the usual Euclidean plane and the
(projective) line at infinity:
P2R = R2 ∪ P1
R.
We’ve constructed the real projective plane, denoted P2R (the
“2” is because the plane has dimension 2, and the R becauseEuclidean geometry is based on the real numbers).
Let’s look at a different approach to get P2R.
Juan C. Migliore An introduction to projective planes
![Page 38: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/38.jpg)
Alternatively, we can define P2R as the set of lines through the
origin in R3.
•
{z = 1} = copy of R2
x-axis
y -axis
z-axis
•P
λP
Line λP not on (x , y)-plane↔ P ∈ R2.
Juan C. Migliore An introduction to projective planes
![Page 39: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/39.jpg)
Alternatively, we can define P2R as the set of lines through the
origin in R3.
•
{z = 1} = copy of R2
x-axis
y -axis
z-axis
•P
λP
Line λP not on (x , y)-plane↔ P ∈ R2.
Juan C. Migliore An introduction to projective planes
![Page 40: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/40.jpg)
Alternatively, we can define P2R as the set of lines through the
origin in R3.
•
{z = 1} = copy of R2
x-axis
y -axis
z-axis
•P
λP
Line λP not on (x , y)-plane↔ P ∈ R2.
Juan C. Migliore An introduction to projective planes
![Page 41: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/41.jpg)
•
{z = 1} = copy of R2
x-axis
y -axis
z-axis
•P
λP
•P2
λP2
•P3
λP3
λ∞
As P ∞ in R2 in any direction, λP corresponding linethrough the origin in the (x , y)-plane.
Juan C. Migliore An introduction to projective planes
![Page 42: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/42.jpg)
•
{z = 1} = copy of R2
x-axis
y -axis
z-axis
•P
λP
•P2
λP2
•P3
λP3
λ∞
As P ∞ in R2 in any direction,
λP corresponding linethrough the origin in the (x , y)-plane.
Juan C. Migliore An introduction to projective planes
![Page 43: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/43.jpg)
•
{z = 1} = copy of R2
x-axis
y -axis
z-axis
•P
λP
•P2
λP2
•P3
λP3
λ∞
As P ∞ in R2 in any direction,
λP corresponding linethrough the origin in the (x , y)-plane.
Juan C. Migliore An introduction to projective planes
![Page 44: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/44.jpg)
•
{z = 1} = copy of R2
x-axis
y -axis
z-axis
•P
λP
•P2
λP2
•P3
λP3
λ∞
As P ∞ in R2 in any direction,
λP corresponding linethrough the origin in the (x , y)-plane.
Juan C. Migliore An introduction to projective planes
![Page 45: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/45.jpg)
•
{z = 1} = copy of R2
x-axis
y -axis
z-axis
•P
λP
•P2
λP2
•P3
λP3
λ∞
As P ∞ in R2 in any direction, λP corresponding linethrough the origin in the (x , y)-plane.
Juan C. Migliore An introduction to projective planes
![Page 46: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/46.jpg)
We can identify
{ lines through the origin in the (x , y)-plane }
with the (projective) line at infinity (one point for each “slope”).
So again, P2R = R2 ∪ P1
R
(thinking of R2 as the plane {z = 1} in R3, and P1R as the set of
lines through the origin in R2).
Aside: We can also think of P2R topologically as a sphere with
antipodal points identified, but we’ll skip this point of view.
Juan C. Migliore An introduction to projective planes
![Page 47: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/47.jpg)
We can identify
{ lines through the origin in the (x , y)-plane }
with the (projective) line at infinity (one point for each “slope”).
So again, P2R = R2 ∪ P1
R
(thinking of R2 as the plane {z = 1} in R3, and P1R as the set of
lines through the origin in R2).
Aside: We can also think of P2R topologically as a sphere with
antipodal points identified, but we’ll skip this point of view.
Juan C. Migliore An introduction to projective planes
![Page 48: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/48.jpg)
We can identify
{ lines through the origin in the (x , y)-plane }
with the (projective) line at infinity (one point for each “slope”).
So again, P2R = R2 ∪ P1
R
(thinking of R2 as the plane {z = 1} in R3, and P1R as the set of
lines through the origin in R2).
Aside: We can also think of P2R topologically as a sphere with
antipodal points identified, but we’ll skip this point of view.
Juan C. Migliore An introduction to projective planes
![Page 49: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/49.jpg)
Next: such a projective plane comes equipped with a set ofcoordinates over R.
A line through the origin passing through a point (a,b, c) ∈ R3
((a,b, c) 6= (0,0,0)) can be described as
{(ta, tb, tc) | t ∈ R}.
So
P2R =
[a,b, c]
∣∣∣∣∣∣(a,b, c) 6= (0,0,0) and
[a,b, c] = [ta, tb, tc] ∀t ∈ R
(E.g. [1,2,3] = [2,4,6].)
Juan C. Migliore An introduction to projective planes
![Page 50: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/50.jpg)
Next: such a projective plane comes equipped with a set ofcoordinates over R.
A line through the origin passing through a point (a,b, c) ∈ R3
((a,b, c) 6= (0,0,0)) can be described as
{(ta, tb, tc) | t ∈ R}.
So
P2R =
[a,b, c]
∣∣∣∣∣∣(a,b, c) 6= (0,0,0) and
[a,b, c] = [ta, tb, tc] ∀t ∈ R
(E.g. [1,2,3] = [2,4,6].)
Juan C. Migliore An introduction to projective planes
![Page 51: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/51.jpg)
Next: such a projective plane comes equipped with a set ofcoordinates over R.
A line through the origin passing through a point (a,b, c) ∈ R3
((a,b, c) 6= (0,0,0)) can be described as
{(ta, tb, tc) | t ∈ R}.
So
P2R =
[a,b, c]
∣∣∣∣∣∣(a,b, c) 6= (0,0,0) and
[a,b, c] = [ta, tb, tc] ∀t ∈ R
(E.g. [1,2,3] = [2,4,6].)
Juan C. Migliore An introduction to projective planes
![Page 52: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/52.jpg)
Remark.1. Given any field k (e.g. k = R), you can construct a
projective plane P2k in an analogous way, as the lines
through the origin in k3.
Such a projective plane comes equipped with a set ofcoordinates over k in the same way.
2. We can also define Pnk (where k is any field) as the set of
lines through the origin in kn+1 and get a coordinatesystem in the same way.
This allows us to study algebraic varieties by consideringthe vanishing loci of homogeneous polynomials.
Juan C. Migliore An introduction to projective planes
![Page 53: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/53.jpg)
Remark.1. Given any field k (e.g. k = R), you can construct a
projective plane P2k in an analogous way, as the lines
through the origin in k3.
Such a projective plane comes equipped with a set ofcoordinates over k in the same way.
2. We can also define Pnk (where k is any field) as the set of
lines through the origin in kn+1 and get a coordinatesystem in the same way.
This allows us to study algebraic varieties by consideringthe vanishing loci of homogeneous polynomials.
Juan C. Migliore An introduction to projective planes
![Page 54: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/54.jpg)
Remark.1. Given any field k (e.g. k = R), you can construct a
projective plane P2k in an analogous way, as the lines
through the origin in k3.
Such a projective plane comes equipped with a set ofcoordinates over k in the same way.
2. We can also define Pnk (where k is any field) as the set of
lines through the origin in kn+1 and get a coordinatesystem in the same way.
This allows us to study algebraic varieties by consideringthe vanishing loci of homogeneous polynomials.
Juan C. Migliore An introduction to projective planes
![Page 55: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/55.jpg)
Remark.1. Given any field k (e.g. k = R), you can construct a
projective plane P2k in an analogous way, as the lines
through the origin in k3.
Such a projective plane comes equipped with a set ofcoordinates over k in the same way.
2. We can also define Pnk (where k is any field) as the set of
lines through the origin in kn+1 and get a coordinatesystem in the same way.
This allows us to study algebraic varieties by consideringthe vanishing loci of homogeneous polynomials.
Juan C. Migliore An introduction to projective planes
![Page 56: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/56.jpg)
We can then study projective algebraic geometry, includinghomogeneous ideals and commutative algebra.
This is a very beautiful and well-traveled road. But we won’t befollowing this road today.
Play
I shall be telling this with a sighSomewhere ages and ages hence:Two roads diverged in a wood, and I –I took the one less traveled by,And that has made all the difference.
from: Robert Frost, “The Road Not Taken”
Or to put it less poetically...
Juan C. Migliore An introduction to projective planes
![Page 57: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/57.jpg)
We can then study projective algebraic geometry, includinghomogeneous ideals and commutative algebra.
This is a very beautiful and well-traveled road. But we won’t befollowing this road today.
Play
I shall be telling this with a sighSomewhere ages and ages hence:Two roads diverged in a wood, and I –I took the one less traveled by,And that has made all the difference.
from: Robert Frost, “The Road Not Taken”
Or to put it less poetically...
Juan C. Migliore An introduction to projective planes
![Page 58: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/58.jpg)
We can then study projective algebraic geometry, includinghomogeneous ideals and commutative algebra.
This is a very beautiful and well-traveled road. But we won’t befollowing this road today.
Play
I shall be telling this with a sighSomewhere ages and ages hence:Two roads diverged in a wood, and I –I took the one less traveled by,And that has made all the difference.
from: Robert Frost, “The Road Not Taken”
Or to put it less poetically...
Juan C. Migliore An introduction to projective planes
![Page 59: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/59.jpg)
We can then study projective algebraic geometry, includinghomogeneous ideals and commutative algebra.
This is a very beautiful and well-traveled road. But we won’t befollowing this road today.
Play
I shall be telling this with a sighSomewhere ages and ages hence:Two roads diverged in a wood, and I –I took the one less traveled by,And that has made all the difference.
from: Robert Frost, “The Road Not Taken”
Or to put it less poetically...
Juan C. Migliore An introduction to projective planes
![Page 60: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/60.jpg)
(with apologies to Monty Python).
Let’s give the axiomatic definition of a projective plane, whichincludes the real projective plane as a special case.
Juan C. Migliore An introduction to projective planes
![Page 61: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/61.jpg)
(with apologies to Monty Python).
Let’s give the axiomatic definition of a projective plane, whichincludes the real projective plane as a special case.
Juan C. Migliore An introduction to projective planes
![Page 62: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/62.jpg)
The axiomatic definition of a projective plane
A projective plane, denoted P2, is defined as follows.
I a set S, whose elements are called points;
I a collection of subsets, called lines;
such that the following axioms hold:
P1. Given any two distinct points there is exactly one linecontaining them.
P2. Any two distinct lines meet in exactly one point.
P3. There exist at least three points not on the same line.
P4. Each line contains at least three points.
Juan C. Migliore An introduction to projective planes
![Page 63: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/63.jpg)
The axiomatic definition of a projective plane
A projective plane, denoted P2, is defined as follows.
I a set S, whose elements are called points;
I a collection of subsets, called lines;
such that the following axioms hold:
P1. Given any two distinct points there is exactly one linecontaining them.
P2. Any two distinct lines meet in exactly one point.
P3. There exist at least three points not on the same line.
P4. Each line contains at least three points.
Juan C. Migliore An introduction to projective planes
![Page 64: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/64.jpg)
The axiomatic definition of a projective plane
A projective plane, denoted P2, is defined as follows.
I a set S, whose elements are called points;
I a collection of subsets, called lines;
such that the following axioms hold:
P1. Given any two distinct points there is exactly one linecontaining them.
P2. Any two distinct lines meet in exactly one point.
P3. There exist at least three points not on the same line.
P4. Each line contains at least three points.
Juan C. Migliore An introduction to projective planes
![Page 65: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/65.jpg)
The axiomatic definition of a projective plane
A projective plane, denoted P2, is defined as follows.
I a set S, whose elements are called points;
I a collection of subsets, called lines;
such that the following axioms hold:
P1. Given any two distinct points there is exactly one linecontaining them.
P2. Any two distinct lines meet in exactly one point.
P3. There exist at least three points not on the same line.
P4. Each line contains at least three points.
Juan C. Migliore An introduction to projective planes
![Page 66: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/66.jpg)
The axiomatic definition of a projective plane
A projective plane, denoted P2, is defined as follows.
I a set S, whose elements are called points;
I a collection of subsets, called lines;
such that the following axioms hold:
P1. Given any two distinct points there is exactly one linecontaining them.
P2. Any two distinct lines meet in exactly one point.
P3. There exist at least three points not on the same line.
P4. Each line contains at least three points.
Juan C. Migliore An introduction to projective planes
![Page 67: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/67.jpg)
The axiomatic definition of a projective plane
A projective plane, denoted P2, is defined as follows.
I a set S, whose elements are called points;
I a collection of subsets, called lines;
such that the following axioms hold:
P1. Given any two distinct points there is exactly one linecontaining them.
P2. Any two distinct lines meet in exactly one point.
P3. There exist at least three points not on the same line.
P4. Each line contains at least three points.
Juan C. Migliore An introduction to projective planes
![Page 68: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/68.jpg)
The axiomatic definition of a projective plane
A projective plane, denoted P2, is defined as follows.
I a set S, whose elements are called points;
I a collection of subsets, called lines;
such that the following axioms hold:
P1. Given any two distinct points there is exactly one linecontaining them.
P2. Any two distinct lines meet in exactly one point.
P3. There exist at least three points not on the same line.
P4. Each line contains at least three points.
Juan C. Migliore An introduction to projective planes
![Page 69: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/69.jpg)
The axiomatic definition of a projective plane
A projective plane, denoted P2, is defined as follows.
I a set S, whose elements are called points;
I a collection of subsets, called lines;
such that the following axioms hold:
P1. Given any two distinct points there is exactly one linecontaining them.
P2. Any two distinct lines meet in exactly one point.
P3. There exist at least three points not on the same line.
P4. Each line contains at least three points.
Juan C. Migliore An introduction to projective planes
![Page 70: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/70.jpg)
Notice that these axioms don’t assume the real numbers R, oreven any underlying field.
Exercise. Verify these axioms for our real projective plane P2R:
So our real projective plane P2R is, in fact, a projective plane.
Juan C. Migliore An introduction to projective planes
![Page 71: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/71.jpg)
Notice that these axioms don’t assume the real numbers R, oreven any underlying field.
Exercise. Verify these axioms for our real projective plane P2R:
So our real projective plane P2R is, in fact, a projective plane.
Juan C. Migliore An introduction to projective planes
![Page 72: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/72.jpg)
A good reference for projective planes and related topics: G.Eric Moorhouse, “Incidence Geometry” (available online).
Also, there are many good textbooks, including a couple byRobin Hartshorne.
Even Wikipedia has interesting information.
Now let’s look at
finite projective planes!
One of these was discovered by Gino Fano.
Juan C. Migliore An introduction to projective planes
![Page 73: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/73.jpg)
A good reference for projective planes and related topics: G.Eric Moorhouse, “Incidence Geometry” (available online).
Also, there are many good textbooks, including a couple byRobin Hartshorne.
Even Wikipedia has interesting information.
Now let’s look at
finite projective planes!
One of these was discovered by Gino Fano.
Juan C. Migliore An introduction to projective planes
![Page 74: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/74.jpg)
A good reference for projective planes and related topics: G.Eric Moorhouse, “Incidence Geometry” (available online).
Also, there are many good textbooks, including a couple byRobin Hartshorne.
Even Wikipedia has interesting information.
Now let’s look at
finite projective planes!
One of these was discovered by Gino Fano.
Juan C. Migliore An introduction to projective planes
![Page 75: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/75.jpg)
Gino Fano1871 – 1952
(Biblioteca Digitale Italiana di Matematica)
Juan C. Migliore An introduction to projective planes
![Page 76: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/76.jpg)
The Fano projective plane
Oops, sorry! That’s the symbol for the Deathly Hallows fromHarry Potter. Here’s the Fano plane:
Juan C. Migliore An introduction to projective planes
![Page 77: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/77.jpg)
The Fano projective plane
Oops, sorry! That’s the symbol for the Deathly Hallows fromHarry Potter. Here’s the Fano plane:
Juan C. Migliore An introduction to projective planes
![Page 78: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/78.jpg)
The Fano projective plane
Oops, sorry! That’s the symbol for the Deathly Hallows fromHarry Potter.
Here’s the Fano plane:
Juan C. Migliore An introduction to projective planes
![Page 79: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/79.jpg)
The Fano projective plane
Oops, sorry! That’s the symbol for the Deathly Hallows fromHarry Potter. Here’s the Fano plane:
Juan C. Migliore An introduction to projective planes
![Page 80: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/80.jpg)
Example. The Fano projective plane (picture from Wikipedia):
The plane consists of exactly 7 points. The lines are subsets ofthree points, as indicated (there are 7 of them).
I leave it to you to verify axioms P1 – P4.
Juan C. Migliore An introduction to projective planes
![Page 81: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/81.jpg)
Example. The Fano projective plane (picture from Wikipedia):
The plane consists of exactly 7 points.
The lines are subsets ofthree points, as indicated (there are 7 of them).
I leave it to you to verify axioms P1 – P4.
Juan C. Migliore An introduction to projective planes
![Page 82: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/82.jpg)
Example. The Fano projective plane (picture from Wikipedia):
The plane consists of exactly 7 points. The lines are subsets ofthree points, as indicated (there are 7 of them).
I leave it to you to verify axioms P1 – P4.
Juan C. Migliore An introduction to projective planes
![Page 83: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/83.jpg)
Example. The Fano projective plane (picture from Wikipedia):
The plane consists of exactly 7 points. The lines are subsets ofthree points, as indicated (there are 7 of them).
I leave it to you to verify axioms P1 – P4.
Juan C. Migliore An introduction to projective planes
![Page 84: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/84.jpg)
Facts about finite projective planes
Every finite projective plane satisfies the following properties(derived from the axioms):
1. In a given finite projective plane, any two lines have thesame number of points. (!!!!) Let’s denote this number byd + 1 . The number d is the order of the projective plane.
2. There are d + 1 lines through every point.
3. The plane contains d2 + d + 1 points.
4. The plane also has d2 + d + 1 lines. (Notice the duality.)
5. It’s an open question to know exactly for which integers dthere exists a projective plane of order d . Let’s see somethings that are known, especially for small d .
Juan C. Migliore An introduction to projective planes
![Page 85: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/85.jpg)
Facts about finite projective planes
Every finite projective plane satisfies the following properties(derived from the axioms):
1. In a given finite projective plane, any two lines have thesame number of points. (!!!!) Let’s denote this number byd + 1 . The number d is the order of the projective plane.
2. There are d + 1 lines through every point.
3. The plane contains d2 + d + 1 points.
4. The plane also has d2 + d + 1 lines. (Notice the duality.)
5. It’s an open question to know exactly for which integers dthere exists a projective plane of order d . Let’s see somethings that are known, especially for small d .
Juan C. Migliore An introduction to projective planes
![Page 86: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/86.jpg)
Facts about finite projective planes
Every finite projective plane satisfies the following properties(derived from the axioms):
1. In a given finite projective plane, any two lines have thesame number of points. (!!!!)
Let’s denote this number byd + 1 . The number d is the order of the projective plane.
2. There are d + 1 lines through every point.
3. The plane contains d2 + d + 1 points.
4. The plane also has d2 + d + 1 lines. (Notice the duality.)
5. It’s an open question to know exactly for which integers dthere exists a projective plane of order d . Let’s see somethings that are known, especially for small d .
Juan C. Migliore An introduction to projective planes
![Page 87: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/87.jpg)
Facts about finite projective planes
Every finite projective plane satisfies the following properties(derived from the axioms):
1. In a given finite projective plane, any two lines have thesame number of points. (!!!!) Let’s denote this number byd + 1 . The number d is the order of the projective plane.
2. There are d + 1 lines through every point.
3. The plane contains d2 + d + 1 points.
4. The plane also has d2 + d + 1 lines. (Notice the duality.)
5. It’s an open question to know exactly for which integers dthere exists a projective plane of order d . Let’s see somethings that are known, especially for small d .
Juan C. Migliore An introduction to projective planes
![Page 88: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/88.jpg)
Facts about finite projective planes
Every finite projective plane satisfies the following properties(derived from the axioms):
1. In a given finite projective plane, any two lines have thesame number of points. (!!!!) Let’s denote this number byd + 1 . The number d is the order of the projective plane.
2. There are d + 1 lines through every point.
3. The plane contains d2 + d + 1 points.
4. The plane also has d2 + d + 1 lines. (Notice the duality.)
5. It’s an open question to know exactly for which integers dthere exists a projective plane of order d . Let’s see somethings that are known, especially for small d .
Juan C. Migliore An introduction to projective planes
![Page 89: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/89.jpg)
Facts about finite projective planes
Every finite projective plane satisfies the following properties(derived from the axioms):
1. In a given finite projective plane, any two lines have thesame number of points. (!!!!) Let’s denote this number byd + 1 . The number d is the order of the projective plane.
2. There are d + 1 lines through every point.
3. The plane contains d2 + d + 1 points.
4. The plane also has d2 + d + 1 lines. (Notice the duality.)
5. It’s an open question to know exactly for which integers dthere exists a projective plane of order d . Let’s see somethings that are known, especially for small d .
Juan C. Migliore An introduction to projective planes
![Page 90: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/90.jpg)
Facts about finite projective planes
Every finite projective plane satisfies the following properties(derived from the axioms):
1. In a given finite projective plane, any two lines have thesame number of points. (!!!!) Let’s denote this number byd + 1 . The number d is the order of the projective plane.
2. There are d + 1 lines through every point.
3. The plane contains d2 + d + 1 points.
4. The plane also has d2 + d + 1 lines.
(Notice the duality.)
5. It’s an open question to know exactly for which integers dthere exists a projective plane of order d . Let’s see somethings that are known, especially for small d .
Juan C. Migliore An introduction to projective planes
![Page 91: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/91.jpg)
Facts about finite projective planes
Every finite projective plane satisfies the following properties(derived from the axioms):
1. In a given finite projective plane, any two lines have thesame number of points. (!!!!) Let’s denote this number byd + 1 . The number d is the order of the projective plane.
2. There are d + 1 lines through every point.
3. The plane contains d2 + d + 1 points.
4. The plane also has d2 + d + 1 lines. (Notice the duality.)
5. It’s an open question to know exactly for which integers dthere exists a projective plane of order d . Let’s see somethings that are known, especially for small d .
Juan C. Migliore An introduction to projective planes
![Page 92: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/92.jpg)
Facts about finite projective planes
Every finite projective plane satisfies the following properties(derived from the axioms):
1. In a given finite projective plane, any two lines have thesame number of points. (!!!!) Let’s denote this number byd + 1 . The number d is the order of the projective plane.
2. There are d + 1 lines through every point.
3. The plane contains d2 + d + 1 points.
4. The plane also has d2 + d + 1 lines. (Notice the duality.)
5. It’s an open question to know exactly for which integers dthere exists a projective plane of order d . Let’s see somethings that are known, especially for small d .
Juan C. Migliore An introduction to projective planes
![Page 93: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/93.jpg)
(a) If p is a prime then there exists a projective plane of orderpn for any n ≥ 1. (Build it from k3 as before.)
(b) So orders 2, 3, 4, 5, 7, 8, 9, 11, 13 exist.
(c) Famous conjecture: Every finite projective plane has orderpn for some prime p and some integer n ≥ 1.
(d) (Bruck-Ryser theorem (1949).) If a finite projective plane oforder d exists, and d is congruent to 1 or 2 (mod 4), then dmust be the sum of two squares.
(e) That rules out order 6. Order 10 was ruled out by acomplicated computer check. First open case: order 12.
Juan C. Migliore An introduction to projective planes
![Page 94: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/94.jpg)
(a) If p is a prime then there exists a projective plane of orderpn for any n ≥ 1. (Build it from k3 as before.)
(b) So orders 2, 3, 4, 5, 7, 8, 9, 11, 13 exist.
(c) Famous conjecture: Every finite projective plane has orderpn for some prime p and some integer n ≥ 1.
(d) (Bruck-Ryser theorem (1949).) If a finite projective plane oforder d exists, and d is congruent to 1 or 2 (mod 4), then dmust be the sum of two squares.
(e) That rules out order 6. Order 10 was ruled out by acomplicated computer check. First open case: order 12.
Juan C. Migliore An introduction to projective planes
![Page 95: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/95.jpg)
(a) If p is a prime then there exists a projective plane of orderpn for any n ≥ 1. (Build it from k3 as before.)
(b) So orders 2, 3, 4, 5, 7, 8, 9, 11, 13 exist.
(c) Famous conjecture: Every finite projective plane has orderpn for some prime p and some integer n ≥ 1.
(d) (Bruck-Ryser theorem (1949).) If a finite projective plane oforder d exists, and d is congruent to 1 or 2 (mod 4), then dmust be the sum of two squares.
(e) That rules out order 6. Order 10 was ruled out by acomplicated computer check. First open case: order 12.
Juan C. Migliore An introduction to projective planes
![Page 96: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/96.jpg)
(a) If p is a prime then there exists a projective plane of orderpn for any n ≥ 1. (Build it from k3 as before.)
(b) So orders 2, 3, 4, 5, 7, 8, 9, 11, 13 exist.
(c) Famous conjecture: Every finite projective plane has orderpn for some prime p and some integer n ≥ 1.
(d) (Bruck-Ryser theorem (1949).) If a finite projective plane oforder d exists, and d is congruent to 1 or 2 (mod 4), then dmust be the sum of two squares.
(e) That rules out order 6. Order 10 was ruled out by acomplicated computer check. First open case: order 12.
Juan C. Migliore An introduction to projective planes
![Page 97: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/97.jpg)
(a) If p is a prime then there exists a projective plane of orderpn for any n ≥ 1. (Build it from k3 as before.)
(b) So orders 2, 3, 4, 5, 7, 8, 9, 11, 13 exist.
(c) Famous conjecture: Every finite projective plane has orderpn for some prime p and some integer n ≥ 1.
(d) (Bruck-Ryser theorem (1949).) If a finite projective plane oforder d exists, and d is congruent to 1 or 2 (mod 4), then dmust be the sum of two squares.
(e) That rules out order 6. Order 10 was ruled out by acomplicated computer check. First open case: order 12.
Juan C. Migliore An introduction to projective planes
![Page 98: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/98.jpg)
Example. Let’s verify Facts # 1 – 4 for the Fano projectiveplane.
1. Each line has d + 1 = 3 points. Sothe Fano plane has order d = 2.
2. Through each point pass d + 1 = 3lines.
3. The plane has q = 22 + 2 + 1 = 7points.
4. The plane has q = 7 lines.
In fact, the Fano plane is P2Z2
.
Juan C. Migliore An introduction to projective planes
![Page 99: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/99.jpg)
Example. Let’s verify Facts # 1 – 4 for the Fano projectiveplane.
1. Each line has d + 1 = 3 points. Sothe Fano plane has order d = 2.
2. Through each point pass d + 1 = 3lines.
3. The plane has q = 22 + 2 + 1 = 7points.
4. The plane has q = 7 lines.
In fact, the Fano plane is P2Z2
.
Juan C. Migliore An introduction to projective planes
![Page 100: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/100.jpg)
Example. Let’s verify Facts # 1 – 4 for the Fano projectiveplane.
1. Each line has d + 1 = 3 points.
Sothe Fano plane has order d = 2.
2. Through each point pass d + 1 = 3lines.
3. The plane has q = 22 + 2 + 1 = 7points.
4. The plane has q = 7 lines.
In fact, the Fano plane is P2Z2
.
Juan C. Migliore An introduction to projective planes
![Page 101: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/101.jpg)
Example. Let’s verify Facts # 1 – 4 for the Fano projectiveplane.
1. Each line has d + 1 = 3 points. Sothe Fano plane has order d = 2.
2. Through each point pass d + 1 = 3lines.
3. The plane has q = 22 + 2 + 1 = 7points.
4. The plane has q = 7 lines.
In fact, the Fano plane is P2Z2
.
Juan C. Migliore An introduction to projective planes
![Page 102: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/102.jpg)
Example. Let’s verify Facts # 1 – 4 for the Fano projectiveplane.
1. Each line has d + 1 = 3 points. Sothe Fano plane has order d = 2.
2. Through each point pass d + 1 = 3lines.
3. The plane has q = 22 + 2 + 1 = 7points.
4. The plane has q = 7 lines.
In fact, the Fano plane is P2Z2
.
Juan C. Migliore An introduction to projective planes
![Page 103: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/103.jpg)
Example. Let’s verify Facts # 1 – 4 for the Fano projectiveplane.
1. Each line has d + 1 = 3 points. Sothe Fano plane has order d = 2.
2. Through each point pass d + 1 = 3lines.
3. The plane has q = 22 + 2 + 1 = 7points.
4. The plane has q = 7 lines.
In fact, the Fano plane is P2Z2
.
Juan C. Migliore An introduction to projective planes
![Page 104: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/104.jpg)
Example. Let’s verify Facts # 1 – 4 for the Fano projectiveplane.
1. Each line has d + 1 = 3 points. Sothe Fano plane has order d = 2.
2. Through each point pass d + 1 = 3lines.
3. The plane has q = 22 + 2 + 1 = 7points.
4. The plane has q = 7 lines.
In fact, the Fano plane is P2Z2
.
Juan C. Migliore An introduction to projective planes
![Page 105: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/105.jpg)
Example. Let’s verify Facts # 1 – 4 for the Fano projectiveplane.
1. Each line has d + 1 = 3 points. Sothe Fano plane has order d = 2.
2. Through each point pass d + 1 = 3lines.
3. The plane has q = 22 + 2 + 1 = 7points.
4. The plane has q = 7 lines.
In fact, the Fano plane is P2Z2
.
Juan C. Migliore An introduction to projective planes
![Page 106: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/106.jpg)
Pure O-sequences
The study of finite projective planes can be approached throughalgebraic combinatorics.
One way that this is realized is through the notion of the pureO-sequence corresponding to our projective plane of order d .
First let’s define pure O-sequences in general, then say whichones correspond to finite projective planes.
Juan C. Migliore An introduction to projective planes
![Page 107: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/107.jpg)
Pure O-sequences
The study of finite projective planes can be approached throughalgebraic combinatorics.
One way that this is realized is through the notion of the pureO-sequence corresponding to our projective plane of order d .
First let’s define pure O-sequences in general, then say whichones correspond to finite projective planes.
Juan C. Migliore An introduction to projective planes
![Page 108: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/108.jpg)
Pure O-sequences
The study of finite projective planes can be approached throughalgebraic combinatorics.
One way that this is realized is through the notion of the pureO-sequence corresponding to our projective plane of order d .
First let’s define pure O-sequences in general, then say whichones correspond to finite projective planes.
Juan C. Migliore An introduction to projective planes
![Page 109: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/109.jpg)
LetMe = {m1, . . . ,mr} be a set of distinct monomials of thesame degree e (not necessarily squarefree in general) in somepolynomial ring k [x1, . . . , xn].
For each 1 ≤ i ≤ e, letMi be the monomials of degree i thatdivide at least one of m1, . . . ,mr .
The pure O-sequence associated toMe is the sequence
(1, |M1|, . . . , |Me−1|, |Me|).
Juan C. Migliore An introduction to projective planes
![Page 110: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/110.jpg)
LetMe = {m1, . . . ,mr} be a set of distinct monomials of thesame degree e (not necessarily squarefree in general) in somepolynomial ring k [x1, . . . , xn].
For each 1 ≤ i ≤ e, letMi be the monomials of degree i thatdivide at least one of m1, . . . ,mr .
The pure O-sequence associated toMe is the sequence
(1, |M1|, . . . , |Me−1|, |Me|).
Juan C. Migliore An introduction to projective planes
![Page 111: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/111.jpg)
LetMe = {m1, . . . ,mr} be a set of distinct monomials of thesame degree e (not necessarily squarefree in general) in somepolynomial ring k [x1, . . . , xn].
For each 1 ≤ i ≤ e, letMi be the monomials of degree i thatdivide at least one of m1, . . . ,mr .
The pure O-sequence associated toMe is the sequence
(1, |M1|, . . . , |Me−1|, |Me|).
Juan C. Migliore An introduction to projective planes
![Page 112: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/112.jpg)
Example. Let R = k [x , y , z] and e = 3. Let
M3 = {x3, xyz, x2y , y3}.
ThenM2 = {x2, xy , xz, yz, y2}
M1 = {x , y , z}
leading to the pure O-sequence
(1,3,5,4).
Juan C. Migliore An introduction to projective planes
![Page 113: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/113.jpg)
Example. Let R = k [x , y , z] and e = 3. Let
M3 = {x3, xyz, x2y , y3}.
ThenM2 = {x2, xy , xz, yz, y2}
M1 = {x , y , z}
leading to the pure O-sequence
(1,3,5,4).
Juan C. Migliore An introduction to projective planes
![Page 114: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/114.jpg)
Example. Let R = k [x , y , z] and e = 3. Let
M3 = {x3, xyz, x2y , y3}.
ThenM2 = {x2, xy , xz, yz, y2}
M1 = {x , y , z}
leading to the pure O-sequence
(1,3,5,4).
Juan C. Migliore An introduction to projective planes
![Page 115: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/115.jpg)
Example. Let R = k [x , y , z] and e = 3. Let
M3 = {x3, xyz, x2y , y3}.
ThenM2 = {x2, xy , xz, yz, y2}
M1 = {x , y , z}
leading to the pure O-sequence
(1,3,5,4).
Juan C. Migliore An introduction to projective planes
![Page 116: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/116.jpg)
Remark.
Algebraic point of view:
For each degree, collect the monomials not in thecorresponding listMi .
Together these generate a monomial ideal, whose quotient hasHilbert function equal to the pure O-sequence.
Let’s see how we can associate a pure O-sequence to a finiteprojective plane, using the Fano plane as an example.
Juan C. Migliore An introduction to projective planes
![Page 117: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/117.jpg)
Remark.
Algebraic point of view:
For each degree, collect the monomials not in thecorresponding listMi .
Together these generate a monomial ideal, whose quotient hasHilbert function equal to the pure O-sequence.
Let’s see how we can associate a pure O-sequence to a finiteprojective plane, using the Fano plane as an example.
Juan C. Migliore An introduction to projective planes
![Page 118: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/118.jpg)
x1
x2 x3x4
x5x6
x7
1. Label each point with a different variable. Recall that theplane has q = 22 + 2 + 1 = 7 points and 7 lines, and orderd = 2.
2. Collect and count the (squarefree) monomials of degreed + 1 = 3 corresponding to points on a line:
x1x2x5, x1x4x6, x1x3x7, x2x4x7, x2x3x6, x3x4x5, x5x6x7
Juan C. Migliore An introduction to projective planes
![Page 119: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/119.jpg)
x1
x2 x3x4
x5x6
x7
1. Label each point with a different variable. Recall that theplane has q = 22 + 2 + 1 = 7 points and 7 lines, and orderd = 2.
2. Collect and count the (squarefree) monomials of degreed + 1 = 3 corresponding to points on a line:
x1x2x5, x1x4x6, x1x3x7, x2x4x7, x2x3x6, x3x4x5, x5x6x7
Juan C. Migliore An introduction to projective planes
![Page 120: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/120.jpg)
x1
x2 x3x4
x5x6
x7
1. Label each point with a different variable. Recall that theplane has q = 22 + 2 + 1 = 7 points and 7 lines, and orderd = 2.
2. Collect and count the (squarefree) monomials of degreed + 1 = 3 corresponding to points on a line:
x1x2x5, x1x4x6, x1x3x7, x2x4x7, x2x3x6, x3x4x5, x5x6x7
Juan C. Migliore An introduction to projective planes
![Page 121: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/121.jpg)
x1
x2 x3x4
x5x6
x7
1. Label each point with a different variable. Recall that theplane has q = 22 + 2 + 1 = 7 points and 7 lines, and orderd = 2.
2. Collect and count the (squarefree) monomials of degreed + 1 = 3 corresponding to points on a line:
x1x2x5
, x1x4x6, x1x3x7, x2x4x7, x2x3x6, x3x4x5, x5x6x7
Juan C. Migliore An introduction to projective planes
![Page 122: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/122.jpg)
x1
x2 x3x4
x5x6
x7
1. Label each point with a different variable. Recall that theplane has q = 22 + 2 + 1 = 7 points and 7 lines, and orderd = 2.
2. Collect and count the (squarefree) monomials of degreed + 1 = 3 corresponding to points on a line:
x1x2x5, x1x4x6, x1x3x7, x2x4x7, x2x3x6, x3x4x5, x5x6x7
Juan C. Migliore An introduction to projective planes
![Page 123: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/123.jpg)
3. These monomials will be our setM3 generating our pureO-sequence. Note |M3| = 7 (there are 7 lines).
4. Since two points lie on exactly one line, we get
|M2| = 7 ·(
32
)= 7 · 3 = 21 =
(72
).
5. Since there are 7 points, we get
|M1| = 7.
This leads to the pure O-sequence
(1,7,21,7).
This is the pure O-sequence associated to the Fano plane.
Juan C. Migliore An introduction to projective planes
![Page 124: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/124.jpg)
3. These monomials will be our setM3 generating our pureO-sequence. Note |M3| = 7 (there are 7 lines).
4. Since two points lie on exactly one line, we get
|M2| = 7 ·(
32
)= 7 · 3 = 21
=
(72
).
5. Since there are 7 points, we get
|M1| = 7.
This leads to the pure O-sequence
(1,7,21,7).
This is the pure O-sequence associated to the Fano plane.
Juan C. Migliore An introduction to projective planes
![Page 125: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/125.jpg)
3. These monomials will be our setM3 generating our pureO-sequence. Note |M3| = 7 (there are 7 lines).
4. Since two points lie on exactly one line, we get
|M2| = 7 ·(
32
)= 7 · 3 = 21 =
(72
).
5. Since there are 7 points, we get
|M1| = 7.
This leads to the pure O-sequence
(1,7,21,7).
This is the pure O-sequence associated to the Fano plane.
Juan C. Migliore An introduction to projective planes
![Page 126: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/126.jpg)
3. These monomials will be our setM3 generating our pureO-sequence. Note |M3| = 7 (there are 7 lines).
4. Since two points lie on exactly one line, we get
|M2| = 7 ·(
32
)= 7 · 3 = 21 =
(72
).
5. Since there are 7 points, we get
|M1| = 7.
This leads to the pure O-sequence
(1,7,21,7).
This is the pure O-sequence associated to the Fano plane.
Juan C. Migliore An introduction to projective planes
![Page 127: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/127.jpg)
3. These monomials will be our setM3 generating our pureO-sequence. Note |M3| = 7 (there are 7 lines).
4. Since two points lie on exactly one line, we get
|M2| = 7 ·(
32
)= 7 · 3 = 21 =
(72
).
5. Since there are 7 points, we get
|M1| = 7.
This leads to the pure O-sequence
(1,7,21,7).
This is the pure O-sequence associated to the Fano plane.
Juan C. Migliore An introduction to projective planes
![Page 128: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/128.jpg)
Fact: A projective plane of order d exists if and only if(1,q,q
(d + 1
2
),q(
d + 13
), . . . ,q
(d + 1
d
),q).
is a pure O-sequence, where q = d2 + d + 1, d ≥ 2.
Note the monomials generating such a sequence must besquarefree.
Easy exercise:
q(
d + 12
)=
(q2
).
The above fact is not a trivial argument, although some of ourfacts are immediate (q points, q lines, . . . ).
Juan C. Migliore An introduction to projective planes
![Page 129: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/129.jpg)
Fact: A projective plane of order d exists if and only if(1,q,q
(d + 1
2
),q(
d + 13
), . . . ,q
(d + 1
d
),q).
is a pure O-sequence, where q = d2 + d + 1, d ≥ 2.
Note the monomials generating such a sequence must besquarefree.
Easy exercise:
q(
d + 12
)=
(q2
).
The above fact is not a trivial argument, although some of ourfacts are immediate (q points, q lines, . . . ).
Juan C. Migliore An introduction to projective planes
![Page 130: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/130.jpg)
Fact: A projective plane of order d exists if and only if(1,q,q
(d + 1
2
),q(
d + 13
), . . . ,q
(d + 1
d
),q).
is a pure O-sequence, where q = d2 + d + 1, d ≥ 2.
Note the monomials generating such a sequence must besquarefree.
Easy exercise:
q(
d + 12
)=
(q2
).
The above fact is not a trivial argument, although some of ourfacts are immediate (q points, q lines, . . . ).
Juan C. Migliore An introduction to projective planes
![Page 131: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/131.jpg)
Fact: A projective plane of order d exists if and only if(1,q,q
(d + 1
2
),q(
d + 13
), . . . ,q
(d + 1
d
),q).
is a pure O-sequence, where q = d2 + d + 1, d ≥ 2.
Note the monomials generating such a sequence must besquarefree.
Easy exercise:
q(
d + 12
)=
(q2
).
The above fact is not a trivial argument, although some of ourfacts are immediate (q points, q lines, . . . ).
Juan C. Migliore An introduction to projective planes
![Page 132: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/132.jpg)
This provides an algebraic approach to finite projective planes.
See for instance
D. Cook II, J.M., U. Nagel and F. Zanello, An algebraicapproach to finite projective planes, Journal of AlgebraicCombinatorics 43 (2016), 495–519.
We described algebraic properties of algebras associated tofinite projective planes, obtained as above.
Some of these properties are related to the characteristic of thefield defining the polynomial ring in which we place ourmonomials.
Juan C. Migliore An introduction to projective planes
![Page 133: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/133.jpg)
Email me at
if you want either the CMNZ paper or my slides.
Juan C. Migliore An introduction to projective planes
![Page 134: Thematic Program in Commutative Algebra and its …cmnd/programs/cmnd2019/undergrad/...Thematic Program in Commutative Algebra and its Interaction with Algebraic Geometry In honor](https://reader033.vdocuments.us/reader033/viewer/2022050514/5f9e4835653fc97f330df4d1/html5/thumbnails/134.jpg)
Thank you!
Happy Birthday, Bernd!
Juan C. Migliore An introduction to projective planes