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

learn more… | top users | synonyms

6
votes
0answers
376 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 ...
5
votes
0answers
87 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 ...
5
votes
0answers
125 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$ ...
4
votes
0answers
79 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
87 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
41 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
196 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
122 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
132 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
123 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
111 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
25 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
43 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
168 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
44 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
54 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
47 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
67 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
46 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, ...
2
votes
0answers
48 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
171 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 ...
2
votes
0answers
122 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 ...
2
votes
0answers
81 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 ...
1
vote
0answers
21 views
+50

Transformation matrix from quadrilateral to rectangle

There exists a rectangle somewhere in space with some orientation. A camera from the coordinate center point is looking along the z axis and is seeing the rectangle as a quadrilateral (due to ...
1
vote
0answers
24 views

Is it possible to transform projections?

From linear algebra I know how to transform a point or a direction from one space to another using transformation matrices (and I think it's pretty awesome by the way). But what about projections? Is ...
1
vote
0answers
23 views

Plücker coordinates of the Clifford parallels

Let $$q=\cos\theta+(x_q\textbf{i}+y_q\textbf{j}+z_q\textbf{k})\sin\theta$$ be a unit quaternion parameterised by $\theta\in\mathbb{R}$, where $(x_q,y_q,z_q)$ is fixed and $x_q^2+y_q^2+z_q^2=1$, and ...
1
vote
0answers
36 views

Quotient of a proj variety by an involution

Usually, if you have an affine variety defined by some equations and have an involution on it, it's quite easy to immediately see what the equations of the quotient of the variety by the involution ...
1
vote
0answers
43 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 ...
1
vote
0answers
19 views

Projective homologies

In a projective plane (i.e. two-dimensional) $\mathbb P$, we call a general homology a projective transformation $h:\mathbb P\to\mathbb P$ such that $h$ has a line of fixed points $L$ called the axis ...
1
vote
0answers
38 views

Classification of Projective transformation according to Jordan form

Say we have the projective space $\mathbb P^2_{\mathbb R}$ = $\mathbb P(\mathbb R^3) \stackrel {\text{def.}}{=} \{\text{span(u)}\mid u\in\mathbb R^3\smallsetminus\{0\}\}$. Denote $[u]$ for an element ...
1
vote
0answers
52 views

Question 1.1 in Projective Geometry by Coxeter

Thus projective geometry deals with triangles, quadrangles, and so on, but not with right-angled triangles, paralleograms, and so on. -Projective Geometry, Coxeter pg 3. The first question of ...
1
vote
0answers
64 views

Method of determining dimensions from photographs of multiple angles and degrees of perspective/parallax for a math newbie

I have a project that begins with some 300+ reference photos of a scale model. The only measurements I am certain of are the overall length, and the linear length of one element of one part of the ...
1
vote
0answers
34 views

Blowup of $\mathbb{P}^3$ along the ideal $(w^3 + x^3 + y^3 + z^3, w^4 + \alpha wxyz)$ for fixed $\alpha \in k$

I want to compute the blowup of $\mathbb{P}^3$ along the ideal $(w^3 + x^3 + y^3 + z^3, w^4 + \alpha wxyz)$ for fixed $\alpha \in k$. I've been working with blowups for a couple weeks, but this seems ...
1
vote
0answers
34 views

Projective transformation of a projective line is a homography

Let $K$ be a field. Prove that projective transformation of a projective line determined by an affine line $K$ is the same as homography. This means that I need to prove that it has the form: $x ...
1
vote
0answers
23 views

Fibers of $V(ax_0^2+bx_1x_2)$ in $\mathbb{P}^1\times \mathbb{P}^2$

What are the fibers of $Z=V(ax_0^2+bx_1x_2)$ for $(a:b)\in \mathbb{P}^1, (x_0:x_1,x_2)\in \mathbb{P}^2$? If we fix $(a:b)$ or $(x_0:x_1,x_2)$ and dehomogenize, we can see that $Z$ is a family of ...
1
vote
0answers
89 views

Derive 3D point array from multiple 2D projections of same point array

Let's assume that we have an array of $n$ 3D points, we don't know their coordinates (thus we have $3n$ indeterminate scalar values). We also have $m$ 2D projections with known coordinates (thus we ...
1
vote
0answers
66 views

Isomorphism between quotients of linear groups

Suppose that $n$ is even. Is it true that $$\mathrm{SL}_n (\mathbb{R})/\{ \pm I \} \times \{\pm 1\} \cong \mathrm{GL}_n(\mathbb{R})/{\sim}$$ where $A\sim B$ if and only if $A=aB$ for some $a\in ...
1
vote
0answers
83 views

Transversal and complete intersection of hypersurfaces in $\mathbb{P}^{n}$

(a) Let $k<n$ and $F_{1},\dots,F_{k}$ be homogeneous polynomials of degrees $d_{1},\dots,d_{k}$ of $n+1$ variables in generic case. Prove that the corresponding hypersurfaces in ...
1
vote
0answers
73 views

Mapping an object's projected 3D path to a pre-defined top-down 2D path.

The title of the question may be misleading and the context simpler. Please suggest more appropriate tags for this question. Consider looking at a plane from two different perspectives. Perspective ...
1
vote
0answers
70 views

Mathematical Basis for Dimetric Projection

For a school project, I need to make a program that can plot $y = f(x,z)$ using a form of dimetric projection. I was given the projection formulae $$\begin{align*} x' &= x + sz\cos(\theta)\\ y' ...
1
vote
0answers
78 views

viewing ray geometry - with multiple aerial photographs

I am working with multiple aerial images. My idea is to model 3d objects (only upper parts). I am having known orientation parameters. As I am new to this field so that, I want to clarify few general ...
1
vote
0answers
33 views

Smallest amount of planes to enclose a closed space in extended projective geometry $\mathbb R^3_{\pm\infty}$

The smallest amount of planes to enclose a polyhedron is 4 in the euclidean $\mathbb R^3$ where it encloses a tetrahedron. What is the smallest amount of planes to enclose a closed space in extended ...
1
vote
0answers
109 views

are oblique projections one specific subdivision of trimetric projections?

so i've reaserched a while and come with this broad definitions a projection is the representation of a 3D object in 2D by the use of "imaginary proyectors"(cameras of some sort). it has 2 branches, ...
1
vote
0answers
102 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$ ...
1
vote
0answers
40 views

how can we prove this fact?

Any perspectivity between planes corresponds to a projective transformation of the projective plane. Do you have the proof of this fact? thank you in advance
1
vote
0answers
259 views

What is the equation for a cone in $\mathbb{RP}^3$?

The zero locus of $x^2+y^2-z^2$ is a cone in $\mathbb{R}^3$. What is the projective version of this cone? That is, what is the homogeneous polynomial whose zero locus is a cone in $\mathbb{RP}^3$? ...
1
vote
0answers
273 views

Transforming points on a coordinate plane to their perspective equivalent?

I am currently working on a computer program that can properly plot a point on a 2d coordinate plane that has had its perspective changed to be tilted backwards. I don't have any information on how ...
0
votes
0answers
31 views

Book suggestions on projective geometry

I want to be acquainted with projective geometry, so I'm asking for a reference. I need some words to explain my specific background and motivation. There are many things I learnt related to ...
0
votes
0answers
39 views

Dimension of embeddings of Segre variety (product of projective spaces)

The Segre map gives an embedding of the Segre variety $\Sigma_{n,m}$ (i.e. of the categorical product of two projective spaces of dimension $n$ and $m$) into a projective space of dimension $nm+n+m$. ...