finite projective spaces
play

Finite projective spaces Leo Storme Ghent University Dept. of - PowerPoint PPT Presentation

Mar 21, 2024 •34 likes •454 views

Finite fields Projective plane PG ( 2 , q ) Projective space PG ( 3 , q ) Blocking sets Finite projective spaces Leo Storme Ghent University Dept. of Mathematics Krijgslaan 281 - S22 9000 Ghent Belgium Opatija, 2010 Leo Storme Projective

  1. Finite fields Projective plane PG ( 2 , q ) Projective space PG ( 3 , q ) Blocking sets Finite projective spaces Leo Storme Ghent University Dept. of Mathematics Krijgslaan 281 - S22 9000 Ghent Belgium Opatija, 2010 Leo Storme Projective spaces

  2. Finite fields Projective plane PG ( 2 , q ) Projective space PG ( 3 , q ) Blocking sets O UTLINE 1 F INITE FIELDS Prime fields 2 P ROJECTIVE PLANE PG ( 2 , q ) Points and lines Coordinates 3 P ROJECTIVE SPACE PG ( 3 , q ) Points, lines, and planes Equations PG ( 3 , 2 ) 4 B LOCKING SETS Leo Storme Projective spaces

  3. Finite fields Projective plane PG ( 2 , q ) Prime fields Projective space PG ( 3 , q ) Blocking sets O UTLINE 1 F INITE FIELDS Prime fields 2 P ROJECTIVE PLANE PG ( 2 , q ) Points and lines Coordinates 3 P ROJECTIVE SPACE PG ( 3 , q ) Points, lines, and planes Equations PG ( 3 , 2 ) 4 B LOCKING SETS Leo Storme Projective spaces

  4. Finite fields Projective plane PG ( 2 , q ) Prime fields Projective space PG ( 3 , q ) Blocking sets F INITE FIELDS q = prime number. Prime fields F q = { 0 , 1 , . . . , q − 1 } ( mod q ) . Binary field F 2 = { 0 , 1 } . Ternary field F 3 = { 0 , 1 , 2 } = {− 1 , 0 , 1 } . Finite fields F q : q prime power. Leo Storme Projective spaces

  5. Finite fields Projective plane PG ( 2 , q ) Points and lines Projective space PG ( 3 , q ) Coordinates Blocking sets O UTLINE 1 F INITE FIELDS Prime fields 2 P ROJECTIVE PLANE PG ( 2 , q ) Points and lines Coordinates 3 P ROJECTIVE SPACE PG ( 3 , q ) Points, lines, and planes Equations PG ( 3 , 2 ) 4 B LOCKING SETS Leo Storme Projective spaces

  6. Finite fields Projective plane PG ( 2 , q ) Points and lines Projective space PG ( 3 , q ) Coordinates Blocking sets F ROM V ( 3 , q ) TO PG ( 2 , q ) Leo Storme Projective spaces

  7. Finite fields Projective plane PG ( 2 , q ) Points and lines Projective space PG ( 3 , q ) Coordinates Blocking sets F ROM V ( 3 , q ) TO PG ( 2 , q ) Leo Storme Projective spaces

  8. Finite fields Projective plane PG ( 2 , q ) Points and lines Projective space PG ( 3 , q ) Coordinates Blocking sets P OINTS AND LINES T HEOREM PG ( 2 , q ) has q 2 + q + 1 points and q 2 + q + 1 lines. Proof: ( q 3 − 1 ) / ( q − 1 ) = q 2 + q + 1 vector lines in V ( 3 , q ) . Vector plane in V ( 3 , q ) : a 0 X 0 + a 1 X 1 + a 2 X 2 = 0. ( q 3 − 1 ) / ( q − 1 ) = q 2 + q + 1 vector planes in V ( 3 , q ) . Leo Storme Projective spaces

  9. Finite fields Projective plane PG ( 2 , q ) Points and lines Projective space PG ( 3 , q ) Coordinates Blocking sets P OINTS ON LINES T HEOREM (1) Two points in PG ( 2 , q ) belong to unique line of PG ( 2 , q ) . (2) Two lines in PG ( 2 , q ) intersect in unique point. Proof: Two vector lines in V ( 3 , q ) define unique vector plane in V ( 3 , q ) . Two vector planes in V ( 3 , q ) intersect in unique vector line in V ( 3 , q ) . Leo Storme Projective spaces

  10. Finite fields Projective plane PG ( 2 , q ) Points and lines Projective space PG ( 3 , q ) Coordinates Blocking sets P OINTS ON LINES T HEOREM (1) Line of PG ( 2 , q ) has q + 1 points. (2) Point of PG ( 2 , q ) lies on q + 1 lines of PG ( 2 , q ) . Proof: Vector plane of V ( 3 , q ) has q 2 − 1 non-zero vectors; each vector line has q − 1 non-zero vectors, so vector plane of V ( 3 , q ) has ( q 2 − 1 ) / ( q − 1 ) = q + 1 vector lines. Take vector line � ( 1 , 0 , 0 ) � . This lies in vector planes a 1 X 1 + a 2 X 2 = 0. Up to non-zero scalar multiple of ( a 1 , a 2 ) � = ( 0 , 0 ) , these equations define ( q 2 − 1 ) / ( q − 1 ) = q + 1 vector planes of V ( 3 , q ) . Leo Storme Projective spaces

  11. Finite fields Projective plane PG ( 2 , q ) Points and lines Projective space PG ( 3 , q ) Coordinates Blocking sets T HE F ANO PLANE PG ( 2 , 2 ) Leo Storme Projective spaces

  12. Finite fields Projective plane PG ( 2 , q ) Points and lines Projective space PG ( 3 , q ) Coordinates Blocking sets P ROPERTIES OF F ANO PLANE PG ( 2 , 2 ) has 7 points: � ( a 0 , a 1 , a 2 ) � = { ( 0 , 0 , 0 ) , ( a 0 , a 1 , a 2 ) } ≡ ( a 0 , a 1 , a 2 ) . PG ( 2 , 2 ) has 7 lines: a 0 X 0 + a 1 X 1 + a 2 X 2 = 0. Leo Storme Projective spaces

  13. Finite fields Projective plane PG ( 2 , q ) Points and lines Projective space PG ( 3 , q ) Coordinates Blocking sets T HE PLANE PG ( 2 , 3 ) Leo Storme Projective spaces

  14. Finite fields Projective plane PG ( 2 , q ) Points and lines Projective space PG ( 3 , q ) Coordinates Blocking sets P ROPERTIES OF PG ( 2 , 3 ) PG ( 2 , 3 ) has 13 points. Vector line � ( a 0 , a 1 , a 2 ) � = { ( 0 , 0 , 0 ) , ( a 0 , a 1 , a 2 ) , 2 · ( a 0 , a 1 , a 2 ) } . PG ( 2 , 3 ) has 13 lines: a 0 X 0 + a 1 X 1 + a 2 X 2 = 0. Leo Storme Projective spaces

  15. Finite fields Projective plane PG ( 2 , q ) Points and lines Projective space PG ( 3 , q ) Coordinates Blocking sets N ORMALIZED COORDINATES Projective point = vector line � ( a 0 , a 1 , a 2 ) � . Select leftmost non-zero coordinate equal to one. Example: In PG ( 2 , 3 ) , Point ( 2 , 2 , 0 ) ≡ ( 1 , 1 , 0 ) . Leo Storme Projective spaces

  16. Finite fields Points, lines, and planes Projective plane PG ( 2 , q ) Equations Projective space PG ( 3 , q ) PG ( 3 , 2 ) Blocking sets O UTLINE 1 F INITE FIELDS Prime fields 2 P ROJECTIVE PLANE PG ( 2 , q ) Points and lines Coordinates 3 P ROJECTIVE SPACE PG ( 3 , q ) Points, lines, and planes Equations PG ( 3 , 2 ) 4 B LOCKING SETS Leo Storme Projective spaces

  17. Finite fields Points, lines, and planes Projective plane PG ( 2 , q ) Equations Projective space PG ( 3 , q ) PG ( 3 , 2 ) Blocking sets F ROM V ( 4 , q ) TO PG ( 3 , q ) Leo Storme Projective spaces

  18. Finite fields Points, lines, and planes Projective plane PG ( 2 , q ) Equations Projective space PG ( 3 , q ) PG ( 3 , 2 ) Blocking sets F ROM V ( 4 , q ) TO PG ( 3 , q ) Leo Storme Projective spaces

  19. Finite fields Points, lines, and planes Projective plane PG ( 2 , q ) Equations Projective space PG ( 3 , q ) PG ( 3 , 2 ) Blocking sets P OINTS AND PLANES T HEOREM PG ( 3 , q ) has q 3 + q 2 + q + 1 points and q 3 + q 2 + q + 1 planes. Proof: ( q 4 − 1 ) / ( q − 1 ) = q 3 + q 2 + q + 1 vector lines in V ( 4 , q ) . 3-dimensional vector space in V ( 4 , q ) : a 0 X 0 + a 1 X 1 + a 2 X 2 + a 3 X 3 = 0. ( q 4 − 1 ) / ( q − 1 ) = q 3 + q 2 + q + 1 3-dimensional vector spaces in V ( 4 , q ) . Leo Storme Projective spaces

  20. Finite fields Points, lines, and planes Projective plane PG ( 2 , q ) Equations Projective space PG ( 3 , q ) PG ( 3 , 2 ) Blocking sets L INES IN PG ( 3 , q ) T HEOREM PG ( 3 , q ) has ( q 2 + 1 )( q 2 + q + 1 ) lines. Proof: 2 points define a line, containing q + 1 points. So ( q 3 + q 2 + q + 1 )( q 3 + q 2 + q ) = ( q 2 + 1 )( q 2 + q + 1 ) ( q + 1 ) q lines in PG ( 3 , q ) . Leo Storme Projective spaces

  21. Finite fields Points, lines, and planes Projective plane PG ( 2 , q ) Equations Projective space PG ( 3 , q ) PG ( 3 , 2 ) Blocking sets P OINTS ON LINES T HEOREM (1) Two points in PG ( 3 , q ) belong to unique line of PG ( 3 , q ) . (2) Two lines in PG ( 3 , q ) intersect in zero or one points. Proof: Two vector lines in V ( 4 , q ) define unique vector plane in V ( 4 , q ) . Two vector planes in V ( 4 , q ) intersect in unique vector line in V ( 4 , q ) , or only in zero vector. Leo Storme Projective spaces

  22. Finite fields Points, lines, and planes Projective plane PG ( 2 , q ) Equations Projective space PG ( 3 , q ) PG ( 3 , 2 ) Blocking sets P OINTS ON LINES T HEOREM (1) Two planes in PG ( 3 , q ) intersect in unique line of PG ( 3 , q ) . (2) A line and a plane in PG ( 3 , q ) intersect in one point if the line is not contained in this plane. Proof: Two 3-dimensional vector spaces in V ( 4 , q ) intersect in unique vector plane in V ( 4 , q ) . Vector plane in V ( 4 , q ) and 3-dimensional vector space in V ( 4 , q ) intersect in unique vector line in V ( 4 , q ) , if vector plane is not contained in 3-dimensional vector space. Leo Storme Projective spaces

  23. Finite fields Points, lines, and planes Projective plane PG ( 2 , q ) Equations Projective space PG ( 3 , q ) PG ( 3 , 2 ) Blocking sets E QUATIONS FOR LINES AND PLANES IN PG ( 3 , q ) Plane: a 0 X 0 + a 1 X 1 + a 2 X 2 + a 3 X 3 = 0. Line: � a 0 X 0 + a 1 X 1 + a 2 X 2 + a 3 X 3 = 0 b 0 X 0 + b 1 X 1 + b 2 X 2 + b 3 X 3 = 0 , where ( a 0 , a 1 , a 2 , a 3 ) , ( b 0 , b 1 , b 2 , b 3 ) � = ( 0 , 0 , 0 , 0 ) and where ( a 0 , a 1 , a 2 , a 3 ) � = ρ ( b 0 , b 1 , b 2 , b 3 ) . Leo Storme Projective spaces

  24. Finite fields Points, lines, and planes Projective plane PG ( 2 , q ) Equations Projective space PG ( 3 , q ) PG ( 3 , 2 ) Blocking sets PG ( 3 , 2 ) Leo Storme Projective spaces

  25. Finite fields Points, lines, and planes Projective plane PG ( 2 , q ) Equations Projective space PG ( 3 , q ) PG ( 3 , 2 ) Blocking sets F ROM V ( n + 1 , q ) TO PG ( n , q ) From V ( 1 , q ) to PG ( 0 , q ) (projective point), 1 From V ( 2 , q ) to PG ( 1 , q ) (projective line), 2 · · · 3 From V ( i + 1 , q ) to PG ( i , q ) ( i -dimensional projective 4 subspace), · · · 5 From V ( n , q ) to PG ( n − 1 , q ) ( ( n − 1 ) -dimensional 6 subspace = hyperplane), From V ( n + 1 , q ) to PG ( n , q ) ( n -dimensional space). 7 Leo Storme Projective spaces

Recommend

Embedding Finite Partial Linear Spaces in Finite Projective Planes G. Eric Moorhouse, University

Embedding Finite Partial Linear Spaces in Finite Projective Planes G. Eric Moorhouse, University

Embedding Finite Partial Linear Spaces in Finite Projective Planes G. Eric Moorhouse, University of Wyoming 1 A partial linear space (PLS) is a pair = ( P , L ) consisting of a set P ( points ) and a collection L of distinguished subsets of P

448 views • 18 slides
Finite Incidence Geometry in GAP GAP in Algebraic Research Jan De Beule 21 November 2018

Finite Incidence Geometry in GAP GAP in Algebraic Research Jan De Beule 21 November 2018

Finite Incidence Geometry in GAP GAP in Algebraic Research Jan De Beule 21 November 2018 Contents Introduction Projective spaces Incidence Geometry Projective geometry over (skew)fields Groups of collineations of a projective space Polar

835 views • 60 slides
Last time 6.891 Computer Vision and Applications Projective SFM Projective spaces Prof.

Last time 6.891 Computer Vision and Applications Projective SFM Projective spaces Prof.

Last time 6.891 Computer Vision and Applications Projective SFM Projective spaces Prof. Trevor. Darrell Cross ratio Factorization algorithm Lecture 11: Model-based vision Hypothesize and test Euclidean upgrade

481 views • 11 slides
Weight enumeration of codes from finite spaces Relinde Jurrius Eindhoven University of

Weight enumeration of codes from finite spaces Relinde Jurrius Eindhoven University of

Weight enumeration of codes from finite spaces Relinde Jurrius Eindhoven University of Technology, The Netherlands Finite Geometries, Third Irsee conference, June 1925, 2011 1/15 Outline Projective systems and weight enumeration

250 views • 24 slides
Matrix Spaces vs. Projective Lines over Rings Hans Havlicek Research Group Differential Geometry

Matrix Spaces vs. Projective Lines over Rings Hans Havlicek Research Group Differential Geometry

Matrix Spaces The Projective Line over a Ring Distant Homomorphisms Conclusion Matrix Spaces vs. Projective Lines over Rings Hans Havlicek Research Group Differential Geometry and Geometric Structures Institute of Discrete Mathematics and

619 views • 45 slides
The Hilbert Scheme of the Diagonal in a Product of Projective Spaces Dustin Cartwright UC

The Hilbert Scheme of the Diagonal in a Product of Projective Spaces Dustin Cartwright UC

The Hilbert Scheme of the Diagonal in a Product of Projective Spaces Dustin Cartwright UC Berkeley joint with Bernd Sturmfels arXiv:0901.0212 AMS Session on Combinatorial and Homological Aspects of Commutative Algebra October 25, 2009

455 views • 19 slides
Finite Projective Planes and their Substructures G. Eric Moorhouse Department of Mathematics

Finite Projective Planes and their Substructures G. Eric Moorhouse Department of Mathematics

Projective Planes Substructures of known planes Nets A Call for Heuristics Finite Projective Planes and their Substructures G. Eric Moorhouse Department of Mathematics University of Wyoming RMAC Seminar 10 Sept 2010 G. Eric Moorhouse

792 views • 48 slides
Linear sets in the projective line over the endomorphism ring of a finite field Hans Havlicek and

Linear sets in the projective line over the endomorphism ring of a finite field Hans Havlicek and

Linear Sets The projective line over E References Linear sets in the projective line over the endomorphism ring of a finite field Hans Havlicek and Corrado Zanella Research Group Differential Geometry and Geometric Structures Institute of

663 views • 18 slides
A Mathematicians Insight into the Saniga-Planat Theorem Finite Projective Geometries in

A Mathematicians Insight into the Saniga-Planat Theorem Finite Projective Geometries in

A Mathematicians Insight into the Saniga-Planat Theorem Finite Projective Geometries in Quantum Theory (A Mini-Workshop) Tatransk a Lomnica, August 2nd, 2007 H ANS H AVLICEK F ORSCHUNGSGRUPPE D IFFERENTIALGEOMETRIE UND G EOMETRISCHE S

401 views • 36 slides
Finite subset spaces of the circle Christopher Tuffley Institute of Fundamental Sciences Massey

Finite subset spaces of the circle Christopher Tuffley Institute of Fundamental Sciences Massey

Finite subset spaces The circle Finite subset spaces of the circle Christopher Tuffley Institute of Fundamental Sciences Massey University, Palmerston North Devonport Topology Festival, 2008 Christopher Tuffley Finite subset spaces of the

545 views • 27 slides
Strongly regular graphs and substructures of finite classical polar spaces Jan De Beule

Strongly regular graphs and substructures of finite classical polar spaces Jan De Beule

Strongly regular graphs An easy example from finite geometry Cameron-Liebler line classes Finite classical polar spaces Strongly regular graphs and substructures of finite classical polar spaces Jan De Beule Department of Mathematics Ghent

630 views • 33 slides
Small Triangulations of Projective Spaces Sonia Balagopalan Maynooth University

Small Triangulations of Projective Spaces Sonia Balagopalan Maynooth University

Small Triangulations of Projective Spaces Sonia Balagopalan Maynooth University s.balagopalan@gmail.com June 18, 2018 What do we mean by Triangulations? Simplicial Complexes An abstract simplicial complex is a collection of sets closed under

896 views • 11 slides
Quantum Complex Projective Spaces Fredholm modules, K-theory, spectral triples Francesco

Quantum Complex Projective Spaces Fredholm modules, K-theory, spectral triples Francesco

Quantum Complex Projective Spaces Fredholm modules, K-theory, spectral triples Francesco DAndrea Universit Catholique de Louvain Chemin du Cyclotron 2, Louvain-La-Neuve, Belgium September 1, 2009 09GENCO: Noncommutative Geometry and

1.21k views • 85 slides
Quantum Complex Projective Spaces Fredholm modules, K-theory, spectral triples Francesco

Quantum Complex Projective Spaces Fredholm modules, K-theory, spectral triples Francesco

Quantum Complex Projective Spaces Fredholm modules, K-theory, spectral triples Francesco DAndrea Universit Catholique de Louvain Chemin du Cyclotron 2, Louvain-La-Neuve, Belgium MFO, 8 September 2009 Joint work with G. Landi and L. D

477 views • 19 slides
Math 221: LINEAR ALGEBRA 6-4. Vector Spaces - Finite Dimensional Spaces Le Chen 1 Emory

Math 221: LINEAR ALGEBRA 6-4. Vector Spaces - Finite Dimensional Spaces Le Chen 1 Emory

Math 221: LINEAR ALGEBRA 6-4. Vector Spaces - Finite Dimensional Spaces Le Chen 1 Emory University, 2020 Fall (last updated on 08/18/2020) Creative Commons License (CC BY-NC-SA) 1 Slides are adapted from those by Karen Seyffarth from

1.44k views • 60 slides
Embeddability of locally finite metric spaces into Banach spaces is finitely determined Mikhail

Embeddability of locally finite metric spaces into Banach spaces is finitely determined Mikhail

Embeddability of locally finite metric spaces into Banach spaces is finitely determined Mikhail Ostrovskii St. Johns University Queens, New York City, NY e-mail: ostrovsm@stjohns.edu web page: http://facpub.stjohns.edu/ostrovsm March

241 views • 11 slides
Geometry of Locally Finite Spaces Presentation of the monograph V. Kovalevsky, Berlin Abstract

Geometry of Locally Finite Spaces Presentation of the monograph V. Kovalevsky, Berlin Abstract

1 Geometry of Locally Finite Spaces Presentation of the monograph V. Kovalevsky, Berlin Abstract The main topic of the monograph [Kov2008] is an axiomatic theory of locally finite topological spaces and the digital geometry based on this

360 views • 11 slides
Statistical properties for holomorphic endomorphisms of morphisms F. Bianchi, projective spaces

Statistical properties for holomorphic endomorphisms of morphisms F. Bianchi, projective spaces

Statistical properties for endo- Statistical properties for holomorphic endomorphisms of morphisms F. Bianchi, projective spaces T.-C. Dinh Introduction Invariant measures Tien-Cuong Dinh (joint with Fabrizio Bianchi) Statistical

296 views • 28 slides
Discrete groups acting on complex projective spaces e Seade 1 Jos 1 Instituto de Matem

Discrete groups acting on complex projective spaces e Seade 1 Jos 1 Instituto de Matem

Discrete groups acting on complex projective spaces e Seade 1 Jos 1 Instituto de Matem aticas, Universidad Nacional Aut onoma de M exico. LMS Singularity Day, Liverpool, G.B., March 29, 2016 Seade Discrete groups acting on complex

924 views • 48 slides
DISCRETE EXTENSION OPERATORS FOR MIXED FINITE ELEMENT SPACES ON LOCALLY REFINED MESHES Johnny

DISCRETE EXTENSION OPERATORS FOR MIXED FINITE ELEMENT SPACES ON LOCALLY REFINED MESHES Johnny

Motivation Our Contribution Techniques for Raviart-Thomas spaces Techniques for Nedelec spaces DISCRETE EXTENSION OPERATORS FOR MIXED FINITE ELEMENT SPACES ON LOCALLY REFINED MESHES Johnny Guzm an Division of Applied Mathematics, Brown

498 views • 25 slides
Homology decompositions for classifying spaces of finite groups Silvia Onofrei Department of

Homology decompositions for classifying spaces of finite groups Silvia Onofrei Department of

Homology decompositions for classifying spaces of finite groups Silvia Onofrei Department of Mathematics, University of California at Riverside Thursday, October 20 , 2005 1. Outline of the talk and motivation Let G be a finite group and p a

439 views • 16 slides
Some Fra ss e Classes of Finite Integral Cherlin Metric Spaces Metrically Ho- mogeneous

Some Fra ss e Classes of Finite Integral Cherlin Metric Spaces Metrically Ho- mogeneous

Some Fra ss e Classes of Finite Integral Metric Spaces Gregory Some Fra ss e Classes of Finite Integral Cherlin Metric Spaces Metrically Ho- mogeneous Graphs Finite Distance Transitive Graphs Homogeneous Gregory Cherlin

467 views • 34 slides
Algebraic structures related with finite projective planes Kuznetsov Eugene (Chisinau, MOLDOVA)

Algebraic structures related with finite projective planes Kuznetsov Eugene (Chisinau, MOLDOVA)

Algebraic structures related with finite projective planes Kuznetsov Eugene (Chisinau, MOLDOVA) Institute of Mathematics and Computer Science Vladimir Andrunachievici Chisinau, MOLDOVA E-mail: kuznet1964@mail.ru International Algebraic

677 views • 32 slides
Introduction to the geometry of moduli spaces of Higgs bundles Jochen Heinloth (Universitt

Introduction to the geometry of moduli spaces of Higgs bundles Jochen Heinloth (Universitt

Introduction to the geometry of moduli spaces of Higgs bundles Jochen Heinloth (Universitt Duisburg-Essen) 1 / 18 What are these moduli spaces? Fix: C / k smooth projective curve/compact Riemann surface 2 / 18 What are these moduli spaces?

1.04k views • 75 slides

More recommend