Lie groups | Projective geometry | Quadratic forms
In projective geometry and linear algebra, the projective orthogonal group PO is the induced action of the orthogonal group of a quadratic space V = (V,Q) on the associated projective space P(V). Explicitly, the projective orthogonal group is the quotient group PO(V) = O(V)/ZO(V) = O(V)/{±I} where O(V) is the orthogonal group of (V) and ZO(V)={±I} is the subgroup of all orthogonal scalar transformations of V – these consist of the identity and reflection through the origin. These scalars are quotiented out because they act trivially on the projective space and they form the kernel of the action, and the notation "Z" is because the scalar transformations are the center of the orthogonal group. The projective special orthogonal group, PSO, is defined analogously, as the induced action of the special orthogonal group on the associated projective space. Explicitly: PSO(V) = SO(V)/ZSO(V) where SO(V) is the special orthogonal group over V and ZSO(V) is the subgroup of orthogonal scalar transformations with unit determinant. Here ZSO is the center of SO, and is trivial in odd dimension, while it equals {±1} in even dimension – this odd/even distinction occurs throughout the structure of the orthogonal groups. By analogy with GL/SL and GO/SO, the projective orthogonal group is also sometimes called the projective general orthogonal group and denoted PGO. Like the orthogonal group, the projective orthogonal group can be defined over any field and with varied quadratic forms, though, as with the ordinary orthogonal group, the main emphasis is on the real positive definite projective orthogonal group; other fields are elaborated in , below. Except when mentioned otherwise, in the sequel PO and PSO will refer to the real positive definite groups. Like the spin groups and pin groups, which are covers rather than quotients of the (special) orthogonal groups, the projective (special) orthogonal groups are of interest for (projective) geometric analogs of Euclidean geometry, as related Lie groups, and in representation theory. More intrinsically, the (real positive definite) projective orthogonal group PO can be defined as the isometries of elliptic space (in the sense of elliptic geometry), while PSO can be defined as the orientation-preserving isometries of elliptic space (when the space is orientable; otherwise PSO = PO). (Wikipedia).
Isometry groups of the projective line (I) | Rational Geometry Math Foundations 138 | NJ Wildberger
The projective line can be given a Euclidean structure, just as the affine line can, but it is a bit more complicated. The algebraic structure of this projective line supports some symmetries. Symmetry in mathematics is often most efficiently encoded with the idea of a group--a technical t
From playlist Math Foundations
Linear Algebra 7.1 Orthogonal Matrices
My notes are available at http://asherbroberts.com/ (so you can write along with me). Elementary Linear Algebra: Applications Version 12th Edition by Howard Anton, Chris Rorres, and Anton Kaul A. Roberts is supported in part by the grants NSF CAREER 1653602 and NSF DMS 2153803.
From playlist Linear Algebra
Introduction to Projective Geometry (Part 1)
The first video in a series on projective geometry. We discuss the motivation for studying projective planes, and list the axioms of affine planes.
From playlist Introduction to Projective Geometry
11H Orthogonal Projection of a Vector
The orthogonal projection of one vector along another.
From playlist Linear Algebra
Isometry groups of the projective line (II) | Rational Geometry Math Foundations 139 | NJ Wildberger
In this video we show that the algebraic approach to the metrical structure of the projective line, including the group of isometries including rotations and reflections, can all be defined and studied over a finite field. This is quite a remarkable fact. It leads us to think that perhaps
From playlist Math Foundations
11J Orthogonal Projection of a Vector
The orthogonal projection of one vector along another.
From playlist Linear Algebra
Linear Algebra 21j: Two Geometric Interpretations of Orthogonal Matrices
https://bit.ly/PavelPatreon https://lem.ma/LA - Linear Algebra on Lemma http://bit.ly/ITCYTNew - Dr. Grinfeld's Tensor Calculus textbook https://lem.ma/prep - Complete SAT Math Prep
From playlist Part 3 Linear Algebra: Linear Transformations
Duality, polarity and projective linear algebra (II) | Differential Geometry 11 | NJ Wildberger
We review the simple algebraic set-up for projective points and projective lines, expressed as row and column 3-vectors. Transformations via projective geometry are introduced, along with an introduction to quadratic forms, associated symmetrix bilinear forms, and associated projective 3x3
From playlist Differential Geometry
11I Orthogonal Projection of a Vector
The Orthogonal Projection of one vector along another.
From playlist Linear Algebra
RT7.3. Finite Abelian Groups: Convolution
Representation Theory: We define convolution of two functions on L^2(G) and note general properties. Three themes: convolution as an analogue of matrix multiplication, convolution with character as an orthogonal projection on L^2(G), and using using convolution to project onto irreduci
From playlist Representation Theory
Ext-analogues of Branching laws – Dipendra Prasad – ICM2018
Lie Theory and Generalizations Invited Lecture 7.5 Ext-analogues of Branching laws Dipendra Prasad Abstract: We consider the Ext-analogues of branching laws for representations of a group to its subgroups in the context of p-adic groups. ICM 2018 – International Congress of Mathematic
From playlist Lie Theory and Generalizations
Antonio Lerario: Random algebraic geometry - Lecture 2
CONFERENCE Recording during the thematic meeting : "Real Algebraic Geometry" the October 25, 2022 at the Centre International de Rencontres Mathématiques (Marseille, France) Filmmaker: Guillaume Hennenfent Find this video and other talks given by worldwide mathematicians on CIRM's Audio
From playlist Algebraic and Complex Geometry
Sylvie Paycha: A Galois group on meromorphic germs and locality evaluators
Talk by Sylvie Paycha in Global Noncommutative Geometry Seminar (Europe) http://www.noncommutativegeometry.nl/ncgseminar/ on February 9, 2021
From playlist Global Noncommutative Geometry Seminar (Europe)
Markus Haase : Operators in ergodic theory - Lecture 3 : Compact semigroups and splitting theorems
Abstract : The titles of the of the individual lectures are: 1. Operators dynamics versus base space dynamics 2. Dilations and joinings 3. Compact semigroups and splitting theorems Recording during the thematic meeting : "Probabilistic Aspects of Multiple Ergodic Averages " the December 8
From playlist Dynamical Systems and Ordinary Differential Equations
High dimensional expanders - Part 2 - Shai Evra
Computer Science/Discrete Mathematics Seminar II Topic: High dimensional expanders - Part 2 Speaker: Shai Evra Affiliation: Princeton University Date: February 16, 2021 For more video please visit http://video.ias.edu
From playlist Mathematics
Hierarchy Hyperbolic Spaces (Lecture - 3) by Jason Behrstock
Geometry, Groups and Dynamics (GGD) - 2017 DATE: 06 November 2017 to 24 November 2017 VENUE: Ramanujan Lecture Hall, ICTS, Bengaluru The program focuses on geometry, dynamical systems and group actions. Topics are chosen to cover the modern aspects of these areas in which research has b
From playlist Geometry, Groups and Dynamics (GGD) - 2017
Dipendra Prasad - Branching laws: homological aspects
By this time in the summer school, the audience will have seen the question about decomposing a representation of a group when restricted to a subgroup which is referred to as the branching law. In this lecture, we focus attention on homological aspects of the branching law. The lecture
From playlist 2022 Summer School on the Langlands program
The circle and projective homogeneous coordinates | Universal Hyperbolic Geometry 7a | NJ Wildberger
Universal hyperbolic geometry is based on projective geometry. This video introduces this important subject, which these days is sadly absent from most undergrad/college curriculums. We adopt the 19th century view of a projective space as the space of one-dimensional subspaces of an affine
From playlist Universal Hyperbolic Geometry
Representation Theory(Repn Th) 2 by Gerhard Hiss
DATE & TIME 05 November 2016 to 14 November 2016 VENUE Ramanujan Lecture Hall, ICTS Bangalore Computational techniques are of great help in dealing with substantial, otherwise intractable examples, possibly leading to further structural insights and the detection of patterns in many abstra
From playlist Group Theory and Computational Methods