Analytical Geometry. 2.4 The Hyperbolic Quadric of PG(3,F)

Similar documents
Quadratic Sets 4.5 Elliptic, Parabolic and Hyperbolic Quadratic Sets

Synthetic Geometry. 1.4 Quotient Geometries

6.4 BASIS AND DIMENSION (Review) DEF 1 Vectors v 1, v 2,, v k in a vector space V are said to form a basis for V if. (a) v 1,, v k span V and

Functional codes arising from quadric intersections with Hermitian varieties

For more information visit here:

Lax embeddings of the Hermitian Unital

Computational Methods in Finite Geometry

COMMUTING PAIRS AND TRIPLES OF MATRICES AND RELATED VARIETIES

Shult Sets and Translation Ovoids of the Hermitian Surface

Finite affine planes in projective spaces

Introduction to Linear Algebra, Second Edition, Serge Lange

A subset of the Hermitian surface

MODEL ANSWERS TO HWK #3

Embeddings of Small Generalized Polygons

Math 54 HW 4 solutions

DEF 1 Let V be a vector space and W be a nonempty subset of V. If W is a vector space w.r.t. the operations, in V, then W is called a subspace of V.

0.2 Vector spaces. J.A.Beachy 1

Chapter 2: Linear Independence and Bases

Math 290, Midterm II-key

1 Fields and vector spaces

On the intersection of Hermitian surfaces

Derivation Techniques on the Hermitian Surface

Practical Linear Algebra: A Geometry Toolbox

Definition 1. A set V is a vector space over the scalar field F {R, C} iff. there are two operations defined on V, called vector addition

Chapter 7. Linear Algebra: Matrices, Vectors,

Vector Spaces and Subspaces

REPRESENTATION THEORY WEEK 5. B : V V k

About Maximal Partial 2-Spreads in PG(3m 1, q)

Linear Algebra. Paul Yiu. 6D: 2-planes in R 4. Department of Mathematics Florida Atlantic University. Fall 2011

Chapter 1. Vectors, Matrices, and Linear Spaces

We showed that adding a vector to a basis produces a linearly dependent set of vectors; more is true.

EXERCISE SET 5.1. = (kx + kx + k, ky + ky + k ) = (kx + kx + 1, ky + ky + 1) = ((k + )x + 1, (k + )y + 1)

Apprentice Linear Algebra, 1st day, 6/27/05

Vector Spaces. distributive law u,v. Associative Law. 1 v v. Let 1 be the unit element in F, then

First we introduce the sets that are going to serve as the generalizations of the scalars.

Hyperplanes of Hermitian dual polar spaces of rank 3 containing a quad

MODEL ANSWERS TO THE FIRST QUIZ. 1. (18pts) (i) Give the definition of a m n matrix. A m n matrix with entries in a field F is a function

MATH 221: SOLUTIONS TO SELECTED HOMEWORK PROBLEMS

1 Last time: inverses

Lax Embeddings of Generalized Quadrangles in Finite Projective Spaces

The geometry of secants in embedded polar spaces

Codes from generalized hexagons

Math 4377/6308 Advanced Linear Algebra

On small minimal blocking sets in classical generalized quadrangles

MTH 362: Advanced Engineering Mathematics

Linear Combination. v = a 1 v 1 + a 2 v a k v k

arxiv: v6 [math.mg] 9 May 2014

A characterization of the Split Cayley Generalized Hexagon H(q) using one subhexagon of order (1, q)

IRREDUCIBLE REPRESENTATIONS OF SEMISIMPLE LIE ALGEBRAS. Contents

Matrices and Matrix Algebra.

The geometry of projective space

Collineations of polar spaces with restricted displacements

Ring Sums, Bridges and Fundamental Sets

Generalized Veronesean embeddings of projective spaces, Part II. The lax case.

European Journal of Combinatorics. Locally subquadrangular hyperplanes in symplectic and Hermitian dual polar spaces

Linear independence, span, basis, dimension - and their connection with linear systems

Orthogonal Arrays & Codes

ARCS IN FINITE PROJECTIVE SPACES. Basic objects and definitions

Math 203, Solution Set 4.

Characterizations of the finite quadric Veroneseans V 2n

OHSx XM511 Linear Algebra: Solutions to Online True/False Exercises

SOLUTIONS TO EXERCISES FOR. MATHEMATICS 133 Part 2. I. Topics from linear algebra

Solutions to Exercises Chapter 10: Ramsey s Theorem

Definition. Example: In Z 13

A study of a permutation representation of P GL(4, q) via the Klein correspondence. May 20, 1999

Solutions to practice questions for the final

Solution to Homework 1

BILINEAR FORMS KEITH CONRAD

Math 121 Homework 4: Notes on Selected Problems

NAME MATH 304 Examination 2 Page 1

1. What is the determinant of the following matrix? a 1 a 2 4a 3 2a 2 b 1 b 2 4b 3 2b c 1. = 4, then det

Math 550 Notes. Chapter 2. Jesse Crawford. Department of Mathematics Tarleton State University. Fall 2010

Simplicity of P SL n (F ) for n > 2

ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA

Lecture Summaries for Linear Algebra M51A

FINITE AFFINE PLANES. An incidence structure α = (P α, L α ) is said to be a finite affine plane if the following axioms are

Study Guide for Linear Algebra Exam 2

Ore extensions of Baer and p.p.-rings

On Quasi Quadratic Functionals and Existence of Related Sesquilinear Functionals

Sudoku, gerechte designs, resolutions, affine space, spreads, reguli, and Hamming codes

This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and

Real, Complex, and Quarternionic Representations

CSC 470 Introduction to Computer Graphics. Mathematical Foundations Part 2

Abstract Vector Spaces

Linear Equations in Linear Algebra

Bilinear and quadratic forms

DS-GA 1002 Lecture notes 0 Fall Linear Algebra. These notes provide a review of basic concepts in linear algebra.

MTH5102 Spring 2017 HW Assignment 1: Prob. Set; Sec. 1.2, #7, 8, 12, 13, 20, 21 The due date for this assignment is 1/18/17.

Trees. A tree is a graph which is. (a) Connected and. (b) has no cycles (acyclic).

Homework 2 Solutions

Topological 3- Rings

Lecture 17: Section 4.2

Characterizations of Segre Varieties

Math 4377/6308 Advanced Linear Algebra

Exercises for Unit I (Topics from linear algebra)

MULTIDIMENSIONAL PROJECTIVE GEOMETRY

MODEL ANSWERS TO HWK #7. 1. Suppose that F is a field and that a and b are in F. Suppose that. Thus a = 0. It follows that F is an integral domain.

ALGEBRAIC GEOMETRY I, FALL 2016.

Exercises for Unit I (Topics from linear algebra)

EXERCISES. a b = a + b l aq b = ab - (a + b) + 2. a b = a + b + 1 n0i) = oii + ii + fi. A. Examples of Rings. C. Ring of 2 x 2 Matrices

Transcription:

Analytical Geometry 2.4 The Hyperbolic Quadric of PG(3,F)

Transversals Def: A set of subspaces of a projective space are skew if no two of them have a point in common. A line is called a transversal of a set of skew subspaces if it intersects each in exactly one point. Lemma 2.4.1: Let P be a projective space. Let be two skew lines, and denote by P a point on neither line. Then there is at most one transversal of through P. If P is 3-dimensional then there is exactly one transversal of through P. Pf: Assume that there are two transversals through P. These two lines span a plane which contains, a contradiction.

Transversals Lemma 2.4.1: Let P be a projective space. Let be two skew lines, and denote by P a point on neither line. Then there is at most one transversal of through P. If P is 3-dimensional then there is exactly one transversal of through P. Pf (cont.): Now suppose that P is 3-dimensional. The plane <P, must intersect the line g 2 in some point Q (since the plane is a hyperplane). The line PQ lies in the plane and so intersects the line. PQ is thus a transversal through P.

The 16 Point Theorem Theorem 2.4.2: Let P be a 3-dimensional projective space over the division ring F. Let { } and {h 1 } be sets of skew lines with the property that each line g i meets each line h j. Then F is commutative (hence a field) if and only if each transversal g of {h 1 } meets each transversal h of { }. Pf: Consider this diagram: h 1 h 2 h 3 <v 2 + v 2 g 2 <v 3 <v 4 + v 3 <v 3 + v 4

The 16 Point Theorem Theorem 2.4.2: Let P be a 3-dimensional projective space over the division ring F. Let { } and {h 1 } be sets of skew lines with the property that each line g i meets each line h j. Then F is commutative (hence a field) if and only if each transversal g of {h 1 } meets each transversal h of { }. Pf(cont.): h1 h 2 h 3 g 2 <v 2 <v 3 <v 4 + v 3 + v 2 h 2 = <v 2 + av 4. And h 3 = <v 3 + v 4 <v 2 + v 4 +v 2 +v 3 +v 4 <b(v 1 +v 3 ) + c(v 2 +av 4 ) = <d(v 1 +v 2 ) + e(v 3 +v 4 ). Equating the coefficients: b = d c = d b = e ca = e b = c = d = e and a = 1.

The 16 Point Theorem Theorem 2.4.2: Let P be a 3-dimensional projective space over the division ring F. Let { } and {h 1 } be sets of skew lines with the property that each line g i meets each line h j. Then F is commutative (hence a field) if and only if each transversal g of {h 1 } meets each transversal h of { }. Pf(cont.): h1 h 2 h 3 <v 2 + v 2 h + bv 2 g 2 g <v 3 <v 4 <v 3 + v 4 + v 3 <v 2 + v 4 +v 2 +v 3 +v 4 + av 3 Claim: g meets h iff ab = ba.

Pf(cont.): h1 h 2 h 3 g 2 g The 16 Point Theorem <v 2 <v 3 <v 4 + v 3 + av 3 + v 2 <v 3 + v 4 <v 2 + v 4 +v 2 +v 3 +v 4 h + bv 2 <v 2 + av 4 is on h 2, +v 2 + a(v 3 +v 4 ) is on h 3. Since v 1 + av 3 = v 1 + v 2 + a(v 3 +v 4 ) (v 2 + av 4 ), + av 3 is on the line determined by those two points, and since there is only one transversal to h 2 and h 3 through +av 3 this line must be g. So g = + av 3, v 2 + av 4 and similarly, h = + bv 2, v 3 + bv 4.

The 16 Point Theorem Theorem 2.4.2: Let P be a 3-dimensional projective space over the division ring F. Let { } and {h 1 } be sets of skew lines with the property that each line g i meets each line h j. Then F is commutative (hence a field) if and only if each transversal g of {h 1 } meets each transversal h of { }. Pf(cont.): If there is a point in the intersection of the subspaces g and h, there are scalars x,y,z and w such that: x(v 1 +av 3 ) + y(v 2 +av 4 ) = z(v 1 +bv 2 ) + w(v 3 +bv 4 ). By the independence of the vectors, we can equate coefficients: x = z, y = zb, xa = w and ya = wb. But then, xba = zba = ya = wb = xab. If x = 0, then z = y = w = 0 and there is no point of intersection. Otherwise, we get ba = ab. Conversely, if ab = ba, then + av 3 + bv 2 + bav 4 is a common point of g and h.

Reguli Def: Let P be a 3-dimensional projective space. A nonempty set R of skew lines of P is called a regulus if: a. Through each point of each line of R there is a transversal of R. b. Through each point of a transversal of R there is a line of R. The set R' of all transversals of a regulus R is itself a regulus, called the opposite regulus of R. If P has finite order q then any regulus consists of exactly q+1 lines.

Existence of Reguli Theorem 2.4.3: Let P be a 3-dimensional projective space over the division ring F. Let be three skew lines of P. Then a. There is at most one regulus containing. b. If F is non-commutative (a skewfield) then there is no regulus in P. c. If F is commutative (a field) then there is exactly one regulus through. Pf: (a) Each point of is on exactly one transversal of. Let R' be the set of these transversals. Any regulus containing, g 2 and must therefore have R' as its set of transversals. Since contains at least three points, there are at least three transversals in R', h 1, h 2 and h 3.

Existence of Reguli Theorem 2.4.3: Let P be a 3-dimensional projective space over the division ring F. Let be three skew lines of P. Then a. There is at most one regulus containing. b. If F is non-commutative (a skewfield) then there is no regulus in P. c. If F is commutative (a field) then there is exactly one regulus through. Pf(cont.): (a) Let P be a point on h 1 that is not incident with, g 2 or. Any regulus R containing, g 2, has the property that the line of R through P is necessarily a transversal of h 1, h 2, h 3 through P. Since there can be only one such line, the lines in R are uniquely determined. (b) and (c) follow directly from the 16-point theorem.

The Hyperbolic Quadric of PG(3,F) Theorem 2.4.4: Let P be a 3-dimensional projective space over the field F which is represented by homogeneous coordinates. Let = <(1:0:0:0), (0:1:0:0), g 2 = <(0:0:1:0), (0:0:0:1), = <(1:0:1:0), (0:1:0:1) be three skew lines. Then the set Q of points on the uniquely determined regulus R through, g 2, can be described as Q = {(a 0 :a 1 :a 2 :a 3 ) a 0 a 3 = a 1 a 2 with a i F, not all a i = 0}; therefore, the coordinates of the points of Q satisfy the quadratic equation x 0 x 3 - x 1 x 2 = 0.

The Hyperbolic Quadric of PG(3,F) Theorem 2.4.4: Let P be a 3-dimensional projective space over the field F which is represented by homogeneous coordinates. Let = <(1:0:0:0), (0:1:0:0), g 2 = <(0:0:1:0), (0:0:0:1), = <(1:0:1:0), (0:1:0:1) be three skew lines. Then the set Q of points on the uniquely determined regulus R through, g 2, can be described as Q = {(a 0 :a 1 :a 2 :a 3 ) a 0 a 3 = a 1 a 2 with a i F, not all a i = 0}; and the coordinates of the points of Q satisfy the quadratic equation x 0 x 3 - x 1 x 2 = 0. Pf: Using the notation in Theorem 2.4.2, let v 1 = (1:0:0:0), v 2 = (0:1:0:0), v 3 = (0:0:1:0) and v 4 = (0:0:0:1). The points of Q have the form + av 3 + bv 2 + abv 4 (from the proof of 2.4.2) for arbitrary choices of a and b in F. In homogeneous coordinates, such a point is (1:a:b:ab) and so satisfies x 0 x 3 - x 1 x 2 = 0.

The Hyperbolic Quadric of PG(3,F) Theorem 2.4.4: Let P be a 3-dimensional projective space over the field F which is represented by homogeneous coordinates. Let = <(1:0:0:0), (0:1:0:0), g 2 = <(0:0:1:0), (0:0:0:1), = <(1:0:1:0), (0:1:0:1) be three skew lines. Then the set Q of points on the uniquely determined regulus R through, g 2, can be described as Q = {(a 0 :a 1 :a 2 :a 3 ) a 0 a 3 = a 1 a 2 with a i F, not all a i = 0}; and the coordinates of the points of Q satisfy the quadratic equation x 0 x 3 - x 1 x 2 = 0. Pf(cont.): Now suppose that a point P has coordinates (a 0 :a 1 :a 2 :a 3 ) which satisfy x 0 x 3 - x 1 x 2 = 0. If a 0 0, we can also write the coordinates of P as (a 0 :a 1 :a 2 : a 1 a 2 /a 0 ) = (1:a 1 /a 0 :a 2 /a 0 :(a 1 /a 0 )(a 2 /a 0 )) and so is a point of Q. If a 0 = 0, then either a 1 or a 2 must be 0. W.l.o.g. assume that a 1 = 0. Then P = (0:0:a 2 :a 3 ). If a 2 = 0 then P = <v 4, otherwise P I g 2. So in all cases P in Q.

The Hyperbolic Quadric of PG(3,F) Q is called the hyperbolic quadric of PG(3,F). Example: Consider PG(3,4). The field GF(4) = {0,1,a,a+1} where a 2 = a+1. The hyperbolic quadric Q consists of the points: (0:0:0:1) (0:0:1:0) (0:0:1:1) (0:0:1:a) (0:0:1:a 2 ) (0:1:0:0) (1:0:0:0) (1:1:0:0) (1:a:0:0) (1:a 2 :0:0) (0:1:0:1) (1:0:1:0) (1:1:1:1) (1:a:1:a) (1:a 2 :1:a 2 ) (0:1:0:a) (1:0:a:0) (1:1:a:a) (1:a:a:1) (1:a 2 :a:1) (0:1:0:a 2 ) (1:0:a 2 :0) (1:1:a 2 :a 2 ) (1:a:a 2 :1) (1:a 2 :a 2 :a) The points along each row are collinear, and the 5 lines so formed are a regulus. The points in each column are also collinear (check these statements) and these 5 lines form the opposite regulus.

2024 © sciencedocbox.com Privacy Policy | Terms of Service | Feedback