Projective geometry is closely related to perspective geometry. These types of geometry originated with artists around the 14th century.

learn more… | top users | synonyms

9
votes
0answers
21 views

Intersection of two hyperplanes

$G$ and $H$ are hyperplanes in $\mathbb{P}_n$ with coordinates $g=(g_0, \ldots, g_n)$, $h=(h_0, \ldots, h_n)$. How can I find a symmetric matrix $A_Q$ of a quadric $Q$ with $ Q = G \cap H$, where ...
1
vote
0answers
14 views

What is the meaning of projectivized quadratic forms?

I have a quadratic form $$C_1=z_1^2 + z_2^2 +z_3^2.$$ What does it mean to projectivize $C_1$? I am guessing that it is $$[C_1]=\{C : C=\lambda C_1, \ \lambda \in \mathbb{C} \}.$$ Is this correct? ...
0
votes
1answer
15 views

First and second projection, definition and/or motivation for name

I have read that in the ordered pair $z=(x_1,x_2)$, an element of a direct product $Z=X_1 \times X_2$ of sets $X_1$ and $X_2$, the element $x_1$ is called the first projection and $x_2$ is called the ...
0
votes
2answers
53 views

Is the cross ratio the unique invariant under projective transformations up to multiples?

I have been studying the actions of $PSL_2(\mathbb{R})$ on the hyperbolic plane recently, and the hyperbolic distance $d(z_1, z_2)$ is the absolute value of the log of absolute value of the cross ...
2
votes
1answer
42 views

Axioms vs Models in projective and hyperbolic geometry

I'm studying Projective Geometry. The book I'm using begins with a little bit of history of Geometry, more precisely the history of the fifth postulate, the discovery of other geometries, etc. ...
1
vote
1answer
24 views

Show that an irregular 1-set in the plane is totally disconnected

A $1$-set is a Borel set such that $0 < \mathcal{H}^1(A) < \infty$, where $\mathcal{H}^s$ is the Hausdorff measure. Let $A$ be an irregular $1$-set in the plane. Deduce from the theorem below ...
1
vote
1answer
34 views

What is the center of the Valentiner group $\mathcal{V}=\langle I, Q \rangle$?

(Please refer to this question first: Is $\langle(26543),(34)(56),(12)(3654)\rangle $ isomorphic to $A_6$? ) I want to understand the center of the Valentiner group: $$\mathcal{V}=\langle I, Q ...
3
votes
1answer
70 views

Is $\langle(26543),(34)(56),(12)(3654)\rangle $ isomorphic to $A_6$?

My question is the one in the title. If you want to understand the context of the problem, please read further. I reduced a problem to proving the question. Background is: Valentiner group ...
10
votes
2answers
311 views

Is a divisor in the hyperplane class necessarily a hyperplane divisor?

Let $V$ be a smooth irreducible projective curve over an algebraically closed field $k$, embedded in some projective space $\mathbb{P}^n$, and let $[H]$ be the induced hyperplane divisor class on $V$. ...
1
vote
1answer
28 views

Construction of Projective Plane Up to Order 5

How does one construct projective planes of order 5? What are the references of projective geometry that describe the construction of projective planes of order at least up to 5?
2
votes
0answers
62 views

Can one prove Brianchon's theorem using Ceva's theorem?

Can I prove Brianchon's theorem using Ceva's? I am also wondering if parabola and hyperbola can be inscribed in a hexagon?
9
votes
1answer
98 views

A “trivial” implication I don't understand.

I'm reading the article "Belyi's theorem for complex surfaces - Gabino Gonzalez Diez" and there are few lines of a certain proof that I don't understand (the author claims that all is trivial): ...
6
votes
1answer
43 views

Geometric Interpretation of the Cross-Ratio

The cross ratio of 4 points $A,B,C,D$ in the plane is defined by $$(A,B,C,D) = \frac{AC}{AD} \frac{BD}{BC}$$ And it's a ratio which is preserved under projections, inversions and in general, by ...
1
vote
0answers
15 views

Finding a specific camera transformation matrix

I have the following situation: - two targets with known coordinates with respect to the "world". They are on a fixed xy plane on a height 0 in the z-direction. - Both targets have an angle associated ...
-2
votes
1answer
203 views

3D reconstruction from 2 images with baseline and single camera calibration

first posted: http://stackoverflow.com/q/24852151/3858076 i was forwarded to here cause this is more a mathematical problem so if anyone here could help me i would be very thankful. plz ignore the ...
0
votes
1answer
12 views

topologies of real projective plane models

Consider a sphere upon a plane (say $\mathbb{R}^2$). Let $C$ be the center of the sphere. Consider the lower hemisphere plus the boundary (bowl) and project lines from $C$ across the surface until ...
18
votes
4answers
7k views

Finding the Transform matrix from 4 projected points (with Javascript)

I'm working on a project using Chrome - JS and Webkit 3D CSS3 transform matrix. The final goal is to create a tool for artistic projects using projectors and animation - somewhat far away from using ...
1
vote
0answers
30 views

How to determine 3d measurements

I am trying to reproduce an artwork that is both a 2D drawing and 3D paper sculpture by Romanian artist Liviu Stoicoviu done in the 80s, The Triangle: I have tried to trace the 2D artwork which ...
3
votes
1answer
277 views

fixed point projective geometry

I am thinking about the following: Let $\sigma:\mathbb C P^n\rightarrow\mathbb C P^n$ be a projectivity with $\sigma\circ\sigma=id_{\mathbb C P^n}$. I define the set of all fix points by ...
1
vote
1answer
35 views

Looking for a supplement to my Projective Geometry course

this is my first time posting to Math Stack Exchange! So currently, I am taking a Projective Geometry course and I am struggling. I was wondering if anyone knew of any textbook I could read to help ...
0
votes
0answers
21 views

Camera Calibration

In a camera model, in order to find the camera calibration, how do we find the the parameters from the vector a in the equation $Ca=0$? I know that the camera matrix to convert a world point to image ...
8
votes
1answer
162 views

Characterizing $\text{PGL}_2(\mathbb F_p)$

Where can I find a description and proof of the basic structure of $\text{PGL}_2(\mathbb{F}_p)$ (number of elements with each order, conjugacy classes, etc.) which is understandable by an ...
0
votes
1answer
36 views

Fundamental group of $\mathbb{P}^n(\mathbb{C})$

We know that $$\Pi_1(\mathbb{P}^n(\mathbb{R})) \cong \mathbb{Z}_2 $$ for $n \geq 2 $. Is there a similar statement for $\Pi_1(\mathbb{P}^n(\mathbb{C}))$ ?
1
vote
0answers
4 views

Does the complete quadrangle transform to a rectangle or a parallelogram, when the vertices of the triangle is projected to infinity?

By pairing the vertices of a given quadrangle we draw lines joining them and the lines intersect forming triangles with the sides of the quadrangle. We now project the points of intersection, located ...
1
vote
0answers
48 views

Intersection of Segre variety with linear spaces

Consider the intersection of the Segre variety associated to product of $n$ copies of $\mathbb P^2$, with $k$ linearly independent hyperplanes. Is it possible to drop one of the hyperplanes and obtain ...
0
votes
0answers
13 views

Triangles form a harmonic set with their medians and altitudes

In a triangle $\triangle ABC$, let $AD,BE,CF$ be its altitudes and $AK,BL,CM$ their medians. Show that $D\{EF,AB\} = -1$ and $K\{LM,AB\} = -1$ I don't get any of the problems here. Not any of these ...
1
vote
2answers
79 views

Reference request: Projective space $\mathbb{RP}^3$

I have to write seminar paper in Projective geometry and the name of the seminar is (I would try to translate): Representation of the lines in the projective space $\mathbb{RP}^3-$Kernel, Lineal, ...
0
votes
1answer
31 views

If $K_X$ is not $\mathbb Q$-Cartier then it is not nef

Let $X$ be a projective variety. Is it true that if the canonical divisor $K_X$ is not $\mathbb Q$-Cartier then it is not nef?
0
votes
1answer
35 views

Find the N versors more 'spaced' [closed]

I have to deal with a concrete problem that is: Given a 3d object I want to select N directions with N integer and N>=3 for projection that would maximize the information I gain and thus my ability to ...
0
votes
0answers
13 views

Applying homography to ellipse derived from normal distribution

I need to apply a homography to an elliptic area. First question: Is the resulting also elliptic in every case? I think so, but actually i don't really know. Anyway, I assume it for this question. ...
1
vote
1answer
17 views

Is a Spread Unique?

Let $V$ be a vector space of dimension $n$. It is well known that when $r | n$, there is a set of disjoint $r$-dimensional subspaces of $V$, which covers $V$, called Spread. My question is that is a ...
6
votes
1answer
146 views

Existence of a special set of q+2 points in the finite affine plane over $\mathbb F_q$

I am working in the finite affine plane over $\mathbb F_q$ with $q=2^n$. Such a plane has $q^2$ points, $q^2+q$ lines, each line has $q$ points, and by a point is passing $q+1$ lines. There are $q+1$ ...
0
votes
1answer
13 views

A problem in projective geometry…

I have the following projectivity: $$ f[x_1,x_2,x_3]=[4x_1+2x_2-x_3,2x_2,x_3,-x_2-x_3]. $$ I have to find all the lines $L$ such that $f(L) \subset L$. I've found the eigenvalues of this matrix, ...
3
votes
2answers
84 views

Is the Projective Real Plane Compact?

I feel like $\Bbb P (\Bbb R^2)$ is compact, but I know that $\Bbb R^2$ is locally compact, therefore it has a one-point compactification. $\Bbb P (\Bbb R^2)$ adds more than one point to the real ...
1
vote
1answer
34 views

Surjectivity of a map $D^{2n} \to \mathbb{CP}^n$

I'm solving an exercise about the complex projective space, and during a step of the solution I'm asked to find a surjective map $D^{2n} \to \mathbb{CP}^n$. I defined the map in this way $$ ...
1
vote
1answer
420 views

How to get the intersection of two parallel lines on projective plane (P^2)?

On a real projective plane ($\mathbb{P}^2$), say we have two parallel lines, namely: $2x+y=0$ and $4x+2y+1=0$. What would be the equations of the projective lines, and how to find the point of their ...
1
vote
0answers
21 views

Project triangle from $\mathbb{R}^3$ into $\mathbb{R}^2$ with to fixed vertex texture coordinates

I have a triangle made out of the three vertices p1, p2, p3. I know the positions of the vertices in $\mathbb{R}^3$, called $x_i, y_i, z_i$ for $i=1,2,3$. I now want to assign each vertex a texture ...
5
votes
1answer
86 views

Bounding the cohomology of a smooth projective variety

Let $X/\mathbb C$ be a smooth projective variety. Suppose it is smoothly embedded in $\mathbf P^n$ as the zero locus of an ideal generated by homogeneous polynomials $f_1, f_2, \dots, f_r$ in $n+1$ ...
2
votes
1answer
32 views

Conic through 4 points

Let $p_1,\ p_2,\ p_3,\ p_4$ be any 4 different points on $\mathbb{CP}^1$ and $x_1,\ x_2,\ x_3,\ x_4$ are 4 different points on $\mathbb{CP}^2$. How can I show that there is unique conic $Q$ passing ...
0
votes
1answer
22 views

Can projective spaces be given structure of a linear space.

Let $\mathbb{RP^{n-1}}=\mathbb{R^n}/ \sim $ where x ~ y iff $\exists \ \lambda \in \mathbb{R} \ s.t \ \lambda x=y$ Can $\mathbb{RP^{n}}$ be given the structure of an $\mathbb{R}$-module . Moreover, ...
1
vote
1answer
28 views

Whitehead's axioms of projective geometry

According to Wikipedia(http://en.wikipedia.org/wiki/Projective_geometry#Axioms_of_projective_geometry), the axioms of projective geometry due to A. N. Whitehead are: G1: Every line contains at least ...
3
votes
1answer
45 views

Module over an associative ring with unity and axioms of projective geometry

According to Wikipedia(http://en.wikipedia.org/wiki/Projective_geometry#Axioms_of_projective_geometry), the axioms of projective geometry due to A. N. Whitehead are: G1: Every line contains at least ...
4
votes
1answer
79 views

CP(2) = SU(3)/U(2)?

In my understanding the complex projective line $CP^1 = \mathbb{C}^2/\mathbb{C^*}$ where $\mathbb{C^*}$ is $\mathbb{C}$ without $0$, i.e. just 2 complex coordinates and a homogeneous factor. And the ...
3
votes
1answer
60 views

Why is $\phi:\mathbb{P}^n\rightarrow \mathbb{P}^m$ constant if dim $\phi(\mathbb{P}^n)<n$?

Let $\phi:\mathbb{P}^n\rightarrow \mathbb{P}^m$, $n\leq m$. I want to demonstrate that if dim $\phi(\mathbb{P}^n)<n$ then $\phi(\mathbb{P}^n)=pt$ (ex. 7.3(a), ch.II from Hartshorne). It's well ...
0
votes
0answers
56 views

Hyperplanes as dual projective spaces

I was reading through Harris's Algebraic Geometry book, and was slightly perplexed by the following paragraph: "Note that the set of hyperplanes in a projective space $\mathbb{P}^{n}$ is again a ...
2
votes
2answers
81 views

Module over a ring which satisfies Whitehead's axioms of projective geometry

I asked this question(Characterization of a vector space over an associative division ring). It was pointed out that the answer was negative. So I reconsidered the problem and have come up with the ...
0
votes
1answer
33 views

Whitehead's axioms of projective geometry and a vector space over a field

According to Wikipedia(http://en.wikipedia.org/wiki/Projective_geometry#Axioms_of_projective_geometry), the axioms of projective geometry due to A. N. Whitehead are: G1: Every line contains at least ...
1
vote
1answer
24 views

Application of Desargues' theorem for constructions

I found this interesting document (german) on the internet. On page 8 it says: "Draw a line segment between two given points only using compass and ruler, while the distance between the two points is ...
1
vote
1answer
14 views

What is the plane gradient?

My professor recently used the following phrase "the unknown 3D point is in a plane whose gradient is $(a,b,c)^T$". I can't seem to place his terminology anywhere on the internet. What does he mean by ...
1
vote
0answers
26 views

Determining 3D position of point from 2D projection.

Say I have a 3D point $p$ and I project this point (using perspective projection) onto the image plane at 2D point $u$. Knowing that $p$ is on a plane with gradient $(a,b,c)^T$, how can I express the ...