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

learn more… | top users | synonyms

10
votes
0answers
563 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 ...
9
votes
0answers
74 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 ...
5
votes
0answers
54 views

Literature request: Method for constructing projective manifolds

Currently (background: I'm preparing to write a thesis in mathematical physics) I'm quite often encountering a certain method for constructing projective manifolds, where the space is specified by ...
5
votes
0answers
111 views

How to calculate the dimension of the intersection of projection of varieties?

In $\mathbb P_{n+1}$ we consider $d$ varieties $V_1,\ldots V_d$, each of them is defined by $d-1$ equations, as follows: we have $d-1$ polynomials $f_2(X_0,\ldots,X_n),\ldots,f_d(X_0,\ldots,X_n)$ and ...
4
votes
0answers
97 views

Weil does not imply Cartier on variety $X$.

Show that the divisor $D$ defined by $a = b = 0$ in the variety $X \subset \mathbb{A}^4$ defined by $ad - bc = 0$ $($the cone on a smooth quadric surface$)$ is not locally principal. My attempt ...
4
votes
0answers
63 views

Bridging the gap between classical and modern projective geometry

The language of projective geometry is quite common in modern mathematics. For this reason I'd like to learn this subject, however, modern treatments are incredibly abstract. Now, I'm vaguely aware of ...
4
votes
0answers
71 views

Is the cone over Grassmannian manifold $Gr_2(\mathbb{C}^n)$ an open set of a determinantal variety?

Let $Gr_2(\mathbb{C}^n)$ the Grassmann manifold of the planes in $\mathbb{C}^n$. It is, via Plucker embedding, a projective variety. If we consider the cone $C$ over $Gr_2(\mathbb{C}^n)$, is it ...
4
votes
0answers
85 views

A surprising locus of points

I was playing with the setup for Desargues Theorem in Geogebra today and got a very odd-looking (to me) result. I imagine I could grind through this analytically and get an ugly-looking parametric ...
4
votes
0answers
122 views

Harris, Exercise 10.28 (weighted projective spaces)

So I recently started teaching myself about weighted projective spaces from Harris' Algebraic geometry. It was going well until I came across this exercise, which has me stumped: "Show that any ...
4
votes
0answers
94 views

Describing $\mathbb{P}(\mathcal{O}_{\mathbb{P}^1} \oplus \mathcal{O}_{\mathbb{P}^1}(m))$ as gluing of affine charts

How can we describe $\mathbb{P}(\mathcal{O}_{\mathbb{P}^1} \oplus \mathcal{O}_{\mathbb{P}^1}(m))$ as a gluing of affine charts? I'm having trouble with this problem, perhaps because I don't understand ...
4
votes
0answers
44 views

Properties of divisors when moving from char 0 to char p.

Consider a smooth projective variety $X$ over $\mathbb{C}$ such that $X$ has models over $\mathbb{Z}[1/N]$ and $X_p=X_{\mathbb{Z}[1/N]}\times \text{Spec}(\mathbb{F}_p)$ is also a smooth projective ...
4
votes
0answers
210 views

Hirzebruch surfaces

How can I express the 2nd Hirzebruch surface, $F_{2}$ in terms of $SO(3)$. Is it true that $F_{2}$ is the total space of a bundle with fibre SO(3) over $\mathbb{R}_{+}$?
3
votes
0answers
45 views

Is the union of two projective curves in the projective plane a projective curve?

As the title suggests, is the union of two projective curves in the projective plane a projective curve? Any help would be appreciated, thanks.
3
votes
0answers
38 views

Gaussian curvature of a complex projective curve

Let $X \subset \mathbb CP^2$ be a complex curve inheriting metric from $\mathbb CP^2$. Suppose that locally $X$ is given by a holomorphic map $z \to [h_1(z) \colon h_2(z) \colon h_3(z)]$. What is the ...
3
votes
0answers
178 views

Irreducible closed subsets of projective varieties

I want to prove the following lemma: Let $X \subset \mathbb{P}^n$ be a projective variety. Let $W \subset X$ be a closed irreducible set. Then $W$ is also a projective variety. My idea is as ...
3
votes
0answers
50 views

Do we have homogeneous coordinates for probabilities?

As a roboticist, implementing visual odometry on a robot, homogeneous coordinates are convenient for projections of a non-moving object on an image sensor at $t$ and $t+1$ to estimate its position, ...
3
votes
0answers
233 views

There is some intuitive idea of Pascal's 's theorem in Projective Geometry?

In projective geometry, Pascal's theorem (formulated by Blaise Pascal when he was 16 years old) determines that a hexagon inscribed in a conic, the lines that contain the opposite sides intersect in ...
3
votes
0answers
139 views

Geometric interpretation of a certain property of graded rings

Let $k$ be a field, and $A$ a (commutative associative unital) $k$-algebra. It is known that there is a natural isomorphism between ‘regular’ (in the sense of regular maps of varieties) actions of ...
3
votes
0answers
139 views

Projecting Projective Curves

I've been stuck for quite a while on what is probably a trivial problem. Let $X\subset\mathbb{P}^n$ be a smooth projective curve, and let $$\mathcal{I}=\{(p,q,r):p,q\in X,p\neq ...
3
votes
0answers
89 views

Solving some geometry problems using involutions

Some geometry problems ( like this and this ) have short solutions if we use involutions. What references are there for solving geometry problems using involutions? I am particularly interested in ...
3
votes
0answers
115 views

The geometry of $\operatorname{PSO}(4)$ and the quaternions

Question: Given a twist of the projective space, how do I find unit quaternions that represent it? Backgroud and what do I mean: Following Conway & Smith's On Quaternions and Octonions, every ...
2
votes
0answers
13 views

Singular Conics and Intersection of Line with a Conic

I've been working through Silverman and Tate's book Rational Points on Elliptic Curves. They use conic equations as an introduction to singular/nonsingular curves. I've reproduced the problem with my ...
2
votes
0answers
16 views

Tangent lines of a smooth curve $C \subseteq \mathbb{P}^2$

Let $C$ be a smooth curve, given as the zero locus of a homogeneous polynomial $f \in \mathbb{K}[x_0,x_1,x_n]$. Consider the morphism $\varphi_C:C\rightarrow\mathbb{P}^2$ such that ...
2
votes
0answers
12 views

Scaling axes to reflect perspective plane of an image.

Suppose I have an image which contains a road in it, and I want to be able to pinpoint the locations of cars on that road using pre-calibrated distances. How to do that using formulas that map pixel ...
2
votes
0answers
86 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?
2
votes
0answers
52 views

A question from “Foundations of Projective Geometry” by Hartshorne.

"Foundations of Projective Geometry" by Hartshorne says the following: The completion of the affine plane of four points is a projective plane with 7 points. The affine plane of $4$ points is ...
2
votes
0answers
147 views

Projection and Pseudocontraction on Hilbert space

Let $H$ be a real Hilbert space with inner product $\langle\cdot, \cdot \rangle: H \times H \rightarrow \mathbb{R}$, and induced norm $\left\| \cdot \right\|: H \rightarrow \mathbb{R}_{\geq 0}$. Let ...
2
votes
0answers
38 views

Projection from a point to a plane - confused about terminology.

Edit: It seems rude to delete the question, but I have my answer now thanks to rghthndsd. I'm a bit unsure about the terminology in a homework question I'm doing, and I can't find any clear answers ...
2
votes
0answers
64 views

Projectivizing a group: how to go from AGL(n,K) to PGL(n+1,K)

$ \newcommand{\GL}{\operatorname{GL}} \newcommand{\AGL}{\operatorname{AGL}} \newcommand{\PGL}{\operatorname{PGL}} $Given an irreducible matrix group $G_{\infty,0} \leq \GL(n,K)$, I form the group ...
2
votes
0answers
80 views

Projective Geometry Question.

I want to learn projective gemetry. I have the coxeter book and found some youtube videos. I have just started. I have tried answering this Challege question from the video, and so far. I have ...
2
votes
0answers
292 views

Good textbook on geometries

I am looking for a good textbook that thoroughly covers euclidean, affine, projective and non-euclidean geometries. I will be starting graduate school in algebraic geometry next year and I would like ...
2
votes
0answers
90 views

Finding the equations of a variety under a projection map

Suppose I have a projective variety $X$ in $\mathbb{P}^N$ ($N >2$, say) defined as the zero set of some homogeneous polynomials $f_1, \ldots, f_r$. Consider the projection map $[x_0: x_1 : \cdots ...
2
votes
0answers
58 views

Are there in $(\mathbb{C}[x,y,z]/(x^3+y^3+z^3))_{x}$ exactly $12$ lines?

Let $R=\mathbb{C}[x,y,z]/(x^3+y^3+z^3)$ be the coordinate ring of the affine variety defined by the equation $x^3+y^3+z^3=0$. We can consider the localization in the element $x$, denoted by $R_x$. I ...
2
votes
0answers
69 views

Configuration analogues of projective spaces?

In a configuration, each point is incident to the same number of lines and each line is incident to the same number of points. The Fano plane is a configuration, with 3 points on each line, and 3 ...
2
votes
0answers
79 views

How can I compute the multiplicities of the projection map over a smooth projective plane curve?

Suppose that $F$ is a non-singular homogeneous polynomial in $\mathbb{C}^3$ and let $X$ be its zero locus, which is well-defined in $\mathbb{P}^2$. Consider the function $\pi:X\rightarrow\mathbb{P}^1$ ...
2
votes
0answers
51 views

Isomorphism of $P(V)$ and $P(V^*)$

Let $V$ be a finite-dimensional left vector space over a division ring $K$, and let $V^*$ the dual right vector space (consisting of all linear functions from $V$ to $K$). We can (and will) treat ...
2
votes
0answers
158 views

Complex projective space CP3 (Twistor space), as bundle space with base CP1, and fiber 4-D Minkowski space-time?

Twistor space, as complex projective space $CP3$, is related to Minkowski 4-D space time (metric $1, -1,-1,-1)$, by the incidence relation. Let $Z = (v_a, u^{\dot{a}})$ a point in $CP3$, where $v_a$ ...
2
votes
0answers
136 views

Intersection of a cone $x^2+y^2-z^2$ and a generic plane in $\mathbb{RP}^3$

If we take the zero locus of $x^2+y^2-z^2$ to be our cone, I'd like to know how to go about finding the intersection of the cone and a generic plane $Ax+By+Cz+Dw=0$. The result will be a conic, but ...
1
vote
0answers
30 views

Generalization of Euler theorem for homogeneous polynomials

Euler's theorem for homogeneous polynomials is well known. If $F:\mathbb{R}^{n}\rightarrow \mathbb{R}$ is a homogeneous polynomial, then we have: $x_{1}\frac{\partial F }{\partial x_{1}} + ... + ...
1
vote
0answers
11 views

Calculate the plane angle from 2D plane

I am analysing a squared plane from a perfect cube. This plane is distorted by the perspective view of a camera. I would like to know ask please, some approaches of how could I get to know the ...
1
vote
0answers
53 views

Is projective space really a moduli space for lines through the origin?

The Wikipedia page for Moduli spaces states that real projective space $\mathbb{RP}^n$ is a moduli space which parametrizes the space of lines in $\mathbb R^{n+1}$ passing through the origin. ...
1
vote
0answers
18 views

Vanishing points from three collinear points

I would like to find the 2D vanishing point from a three collinear points as is shown in "Multiple View Geometry in Computer Vision" Example 2.19 (see here). What I did so far: 1 - I've extracted ...
1
vote
0answers
24 views

Connection between Chladni Plates and Projective Geometry?

Does anybody know of a connection between Chladni Plates and Projective Geometry? Any published research on the subject? I am interested to know if Chladni Plates (or surfaces) can be ...
1
vote
0answers
28 views

Construct sum of points on projective line

In a course in Geometry we where asked to geometrically construct the sum of two points $x$ and $y$ on a projective line by help of "the theorem on complete quadrilaterals". This theorem (as stated in ...
1
vote
0answers
23 views

Determining if a set is projective or not

In $\mathbb{P}^3$ define the following sets: $$X=\{w_0w_1^2=w_2^2w_3-w_3^3\}\\Y_1=\{y_3=0\}\\Y_2=\{\sum_{i=0}^3 w_i=0\}\\Y_3=\{w_0+w_1+w_2+2w_3=0\}$$ Does the set $Z=X\cap Y_3\setminus((X\cap ...
1
vote
0answers
83 views

Finding two missing card corners under perspective

If I take a photo of a rectangular playing card, I can reconstruct the screen/photo-space position of one missing corner which lies outside the photo (outside the camera frustum): assuming simple ...
1
vote
0answers
21 views

Proving $FP^2$ is transitive?

Let $F$ be a field. A collineation of $F^3$, considered as the projective plane $FP^2$, is a permutation of lines and planes of $F^3$ that pass through the origin that preserves incidence. It's ...
1
vote
0answers
24 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 ...
1
vote
0answers
57 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 ...