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

learn more… | top users | synonyms

31
votes
5answers
4k views

Help understanding Algebraic Geometry

I while ago I started reading Hartshorne's Algebraic Geometry and it almost immediately felt like I hit a brick wall. I have some experience with category theory and abstract algebra but not with ...
27
votes
4answers
1k views

Geometry or topology behind the “impossible staircase”

This question on the topology of Escher games reminded me of a question I've had in my head for a little while now. Is there anything interesting geometric or topological that can be said about the ...
27
votes
4answers
13k 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 ...
19
votes
2answers
1k views

How should I think about very ample sheaves?

Definition. [Hartshorne] If $X$ is any scheme over $Y$, an invertible sheaf $\mathcal{L}$ is very ample relative to $Y$, if there is an imersion $i:X \to \mathbb{P}_Y^r$ for some $r$ such that ...
16
votes
1answer
2k views

Plücker Relations

Let $K$ be a field, $1 \leq d \leq n$ integers and $V$ an $n$-dimensional vector space. The Plücker relations are quadratic forms on $\wedge^d V$ whose zero set is exactly the set of decomposable ...
14
votes
1answer
222 views

Can a continuous map $S^2 \rightarrow S^2$ preserve orthogonality without being an isometry?

Suppose I have a map $\phi: S^2 \rightarrow S^2$ and I know that a) $\phi$ is continuous and bijective b) If $a$ and $b$ subtend an angle of $\pi / 2$ at the center of the sphere, then so do ...
14
votes
1answer
205 views

History of the point at infinity?

I'm curious to learn more about the history of the introduction of the concept of the point at infinity into mathematics. The sum of my knowledge of the historical aspect is from this paragraph (which ...
14
votes
1answer
462 views

topologies of spaces in escher games

There have been a couple of games released (or in development) in the past couple of years which do some weird topological tricks: Echochrome (video), Crush (video), and Fez (video). Do the spaces ...
13
votes
3answers
2k views

What is a good book to study classical projective geometry for the reader familiar with algebraic geometry?

The more I study algebraic geometry, the more I realize how I should have studied projective geometry in depth before. Not that I don't understand projective space (on the contrary, I am well versed ...
13
votes
1answer
287 views

Quaternionic veronese Embedding

I know that the complex projective line $\mathbb{C}P^1$ can be embedded in the complex projective space $\mathbb{C}P^n$ (Veronese embedding). For example, $\mathbb{C}P^1\rightarrow\mathbb{C}P^3$ is ...
11
votes
1answer
179 views

Is a line just an infinitely large circle?

A line is infinite, right? Well, if $-\infty = \infty$, then a line is an infinitely large circle. (Does this have something to do with $1/0$?) It seems wrong, is it? Could I disprove it? How ...
11
votes
4answers
363 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 ...
11
votes
2answers
273 views

Computing cohomology of hypersurface

I'm taking a course on differential geometry now, and we got the following exercise from the lecturer: compute the (de Rham) cohomology groups $H_{dR}^i(M)$ of your favourite space. In all the ...
11
votes
0answers
611 views

Prerequisite of Projective Geometry for Algebraic Geometry

I studied Euclidean Geometry in high-school, and I have not studied anything relates to geometry since I started studying in university. I am now intending to study Algebraic Geometry, however, I ...
10
votes
2answers
418 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$. ...
10
votes
4answers
15k views

The intersection of two parallel lines

My teacher told me that two parallel lines have a point of intersection, it is called Point at infinity. But I I can't understand how it can be true or how was it proved, can someone explain this to ...
10
votes
4answers
2k views

Textbook for Projective Geometry

So while not actually a specific problem I'm struggling with, I was hoping for some of your insight! For a course, I'm currently reading Stillwell's Four Pillars of Geometry. While it does a nice ...
10
votes
2answers
1k views

Augmented Reality Transformation Matrix Optimization

i am a software developer, i'm working on an Augmented Reality system. I'd like to receive some advice in order to optimize my math model. My program has to be slim and fast. Here's the situation: ...
10
votes
1answer
499 views

A modern textbook on affine and projective spaces

Requirements: Scalar fields other than $\mathbb{R}$ and $\mathbb{C}$. Precise. Visual explanations are good, but they must complement definitions and proofs, not replace them. No repetition of text. ...
10
votes
1answer
172 views

Packing infinitely many ellipses into a circle

Given a circle $C$, and an infinite set $S$ of mutually disjoint ellipses which are inside and tangent to $C$, prove that there must exist a disk $D$ which lies inside $C$ but outside every ellipse. ...
10
votes
0answers
100 views

Multiplicity of point as a zero of polynomial.

Let $C \subset \mathbb{P}_2$ be a projective curve defined by a homogeneous polynomial $P(x, y, z)$, and let $L \subset \mathbb{P}_2$ be the line $\{z = 0\}$. Assume $L$ is not a component of $C$. If ...
9
votes
1answer
89 views

$3\mathrm D$ Projection Of $4\mathrm D$ Polyhedron

Can someone identify this shape? I think it is a $3\mathrm D$ projection of $4\mathrm D$ polyhedron. The body in the center seems to be a truncated octahedron, so as the body in the middle. The ...
9
votes
1answer
626 views

Learning projective geometry

My ultimate goal is to learn some algebraic geometry with the more concrete immediate goal of understanding things like how $\mathbb R\mathrm P^2$ is embedded in $\mathbb C\mathrm P^2$ or how $\mathbb ...
9
votes
1answer
120 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): ...
8
votes
2answers
115 views

How can hypersurfaces “know” the degree of their defining polynomials?

I'm currently trying to learn some complex and projective geometry. There is one issue bugging me again and again, from different perspectives, and I just can't get my head around it. One incarnation ...
8
votes
1answer
339 views

Is the graph of morphism of projective varieties $X \rightarrow Y$ closed in $X \times Y$?

The graph of a morphism $X \rightarrow Y$ is closed in $X \times Y$ if $X$ and $Y$ are affine varieties. What if $X$ and $Y$ are projective varieties? I am still not quite familiar with projective ...
8
votes
1answer
215 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 ...
8
votes
1answer
564 views

The genus of the Fermat curve $x^d+y^d+z^d=0$

I need to calculate the genus of the Fermat Curve, and I'd like to be reviewed on what I have done so far; I'm not secure of my argumentation. Such curve is defined as the zero locus ...
7
votes
3answers
1k views

How do you create projective plane out of a finite field?

I have heard and read unclear mentions of links between projective planes and finite fields. Is it possible to construct a projective plane (or a Steiner system) starting out with a field? Could you, ...
7
votes
2answers
111 views

How to find the vertices of a particular ellipse with straightedge and compass?

In order to provide and alternative solution to a well-known problem $^{(*)}$ I would like to solve the following sub-problem in the most effective way (i.e. in the least number of steps). ...
7
votes
2answers
443 views

Is there a slick way to show that finite projective planes of $7$ points are unique up to isomorphism?

I was reading about the Fano plane, the smallest possible projective plane. After playing around with it, it seems that any projective plane of 7 points will be isomorphic to the Fano plane. ...
7
votes
2answers
563 views

How should I think of lines and planes in projective space?

I have been learning about projective varieties recently and I realised that I have some trouble trying to grasp what lines and planes are even in say $\Bbb{P}^3$. For one, how should I think about a ...
7
votes
1answer
965 views

Rectify image from congruent planar shape objects

I am implementing an algorithm to remove projective distortions on the following image. I understand this is possible by applying the following transformation: $$ \begin{matrix} 1 ...
7
votes
2answers
390 views

Perspective problem - trapezium turned square

True or false: If you draw a trapezium on the ground, there always exists a point above (but not necessarily directly above) the trapezium such that the trapezium looks like a square from that point. ...
7
votes
0answers
31 views

Reference Request: Complete Proof of Braikenridge–Maclaurin Theorem

Where can I find a reference to a complete proof of the Braikenridge–Maclaurin theorem, which is stated as: If the three pairs of opposite sides of (an irregular) hexagon meet at three collinear ...
6
votes
2answers
138 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 ...
6
votes
2answers
156 views

Construction of the projective plane over $\mathbb{F}_3$

I have a question about constructing projective plane over $\mathbb{F}_3$. We first establish seven equivalence classes $P= \{ [0,0,1], [0,1,0], [1,0,0], [0,1,1], [1,1,0], [1,0,1], [1,1,1] \}$. ...
6
votes
3answers
502 views

Understanding cross ratio and harmonic conjugates

I'm studying projective geometry and I'm really having trouble with ''grokking'' what's it all about. Is there an easy/intuitive/visual way to understand cross ratio? I understand that it's ...
6
votes
2answers
47 views

Metric in $\mathbb{P}_2$

I have to prove that $\mathbb{P}_2$ with the function $\delta(P,Q)$ defined by "Sine of the angle between two vector in $\mathbb{R}^3$ such that they correspond respectively to P and Q" is effectively ...
6
votes
1answer
96 views

Intersection of two quadrics

How to understand (maybe, informally) why the intersection of two quadrics in general position in $\mathbb{CP}^3$ is an elliptic curve? It is obvious that it is a compact 2-manifold, i.e. a sphere ...
6
votes
1answer
164 views

Why is $\mathbb{R} P^n$ called projective space?

I know that: If one defines an equivalence relation on $\mathbb{R}^{n+1}-\{0\}$ by $$x\sim y \iff y=tx$$ for some nonzero real number $t$, where $x,y\in\mathbb{R}^{n+1}-\{0\}$, Then The real ...
6
votes
1answer
161 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$ ...
5
votes
2answers
261 views

What do we lose in Projective Spaces?

We can think of the Complex Numbers as an extension of the Real Numbers, similarly we can think of the Projective Plane naturally as a nice extension of the Euclidean Plane. But, when we go from real ...
5
votes
1answer
294 views

If a line bundle and its dual both have a section (on a projective variety) does this imply that the bundle is trivial?

Is there any reason that, on a projective variety X, if a line bundle L has a (non-zero) section and also its dual has a section then this implies that L is the trivial line bundle?
5
votes
2answers
148 views

Characterizations of the cross-ratio

$$ (z_1,z_2;z_3,z_4) = \frac{(z_1-z_3)(z_2-z_4)}{(z_2-z_3)(z_1-z_4)} $$ What are the most prominent or most interesting theorems of the following form? Theorem: The cross-ratio is the only function ...
5
votes
1answer
167 views

Distinguished open sets in $\mathbb{P}^n$

I have given a homogenous polynomial $F\in\mathbb{C}[x_0,\ldots,x_n]$ of degree $d>0$ and consider the open set $U_F=\{p\in\mathbb{P}^n; F(p)\neq 0\}$. I'd like to prove that $U_F$ is isomorphic to ...
5
votes
3answers
403 views

Projective spaces with Zariski topology

Why $\mathbb{P}^1\times\mathbb{P}^1\not\cong\mathbb{P}^2$ where the projective spaces have the Zariski topology?
5
votes
1answer
109 views

Closed subschemes of projective space

We work over the complex numbers. If $X$ is an integral closed subscheme of $\mathbb P^n$, then there exists a homogeneous ideal $I$ of $A=\mathbb C[x_0,\ldots,x_n]$ such that $X = V_+(I) =$ ...
5
votes
1answer
122 views

projective cubic

I have some difficulties to prove that the image of the function $f:\,\mathbb P^1\longrightarrow\mathbb P^3$ such that $$(u,v)\longmapsto (u^3,\,u^2v,\,uv^2,\,v^3)$$ is the algebraic projective set ...
5
votes
1answer
133 views

Dual projective surface

Let $X \subset \mathbb{P}^3$ be a smooth surface of degree $d>1$ and consider the Gauss map $X \to \mathbb{P}^{3*}$, which sends a point of $X$ to its tangent plane. To see that the image $X^*$ of ...