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

learn more… | top users | synonyms

1
vote
1answer
55 views
+200

3D projection coordinates onto 2D plane to determine transformation matrix?

I'm not sure if there is an actual solution to this problem or not, but thought I would give it a shot here to see if anyone has any ideas. So here goes: I basically have three vertices of a rigid ...
3
votes
0answers
31 views

About an example of normal bundle of a curve over a surface

I know the definition of the normal bundle $N_{C/S}$ of a curve $C$ over a surface $S$ as the cokernel of the injection $T_C \subset T_S|_C$ where $T$ is the tangent bundle. I would like to exhibit an ...
2
votes
0answers
20 views
+50

Invariant points and lines under homography

Given a matrix representation of an homography in a real projective space $P(\mathbb{R^3})$, what is the general procedure to calcule the invariant subspaces? A brief description would be enough.
0
votes
0answers
36 views

Generalization of a projective plane?

In the area of finite geometry, a projective plane is an incidence structure of points and lines with the following properties: Every two points are incident with a unique line Every two lines are ...
2
votes
1answer
36 views

What is the intersection of the Segre variety in $\mathbb{P}^5$ and the Veronese surface in $\mathbb{P}^5$?

This is an exercise from Chapter 8 of Ideals, Varieties and Algorithms by Cox et al. The projective Veronese surface in $\mathbb{P}^5$ is defined as the projective closure of the surface $S$ which ...
5
votes
2answers
3k views

Difference between Projective Geometry and Affine Geometry

I recently started reading the book Multiple View Geometry by Hartley and Zisserman. In the first chapter I came across the following concepts.. Projective geometry is an extension of Euclidean ...
5
votes
1answer
162 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 ...
0
votes
0answers
10 views

Closure of Schubert cell is the Schubert variety

My question concerns Proposition 1.4.6 in the following article: http://www.mi.uni-koeln.de/~littelma/SMTkurz.pdf . There's just one, apparently straightforward detail of the argument which I can't ...
2
votes
0answers
27 views

Inverting an isometric projection?

I'm trying to invert a function that takes points on a 2-d plane to an isometric projection of that plane. This function is encoded as follows (as part of the Isomer library): ...
1
vote
1answer
32 views

question about the dimension of the global section space of a vector bundle

Suppose that $L,L^{'}$ are a line bundle over a compact riemann surface $C$. Take $H^0(C,L\otimes L^{'})$. Is it true that $h^0(C,L\otimes L^{'})=h^0(C,L)+h^0(C,L^{'})$ where $h^0(V)$ ,means the ...
0
votes
0answers
7 views

Cross-verifying a homography on known correspondences

Context I have two sets of known 2D correspondences $S_1$ and $S_2$, from which I have constructed homographies $h_1$ and $h_2$. This was achieved using the homogeneous estimation method, ie. by ...
0
votes
0answers
21 views

Help to understand the proof of the Riemann Munford relation

Here i post a file where from page 617 to 618 there is the proof of the Riemann mumford relation that is the theorem 1.13. My problem is to understand the beginning of that proof. In particular ...
0
votes
1answer
26 views

constructing segments with equal cross ratio

I was puzzeling again and had the following problem: Given: two segments $AD$ and $PS$ on $AD$ there are points $B$ and $C$ so that $AD \gt AC \gt AB$ (so they are in order A, B , C, D ) on $PS$ ...
2
votes
2answers
243 views

Prove that the intersection of a sphere and plane is a circle

Prove that if a plane has two distinct common points with a sphere centered at $O$, then the intersection is a circle with some center $O_{1}$, where segment $OO_{1}$ is orthogonal to the plane. ...
2
votes
3answers
120 views

“Intrinsic” treatment of projective spaces

The question I would like to ask is the following one. Consider a projective space just as a smooth manifold, e.g. $\mathbb{C}P^1$ is $S^2$. Then most maps from $S^2$ to $S^2$ even if smooth, ...
2
votes
2answers
28 views

Alternative definition of projective space

I just found this definition of the projective space over a vector space: "Given a vector space V of dimension $n+1$, we will denote by $\mathbb{P}^n= \mathbb{P}(V)$ the projective space of all ...
3
votes
1answer
364 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 ...
0
votes
1answer
39 views

Question about the degree of a morphism

Suppose that $\phi$ is a morphism between compleax algebraic varieties named $X$ and $Y$. I know that the degree of the morphism $\phi= [Rat(X):Rat(Y)]$. Suppose that $\phi$ is a one degree morphism. ...
4
votes
0answers
46 views

Morphism between surfaces

Suppose that $S$ is a surface of general type. Let $K_S$ the canonical bundle of $S$ and $\phi=\phi_{K_S}$ the canonical map. Suppose that the canonical map is a morphism from $S$ to ...
1
vote
0answers
61 views

Optimizing over intersection of polytopes inside polytope

I have the following situation, as shown in the following diagram: $W=\{w_i\}_{i=1..|W|}$ is a set of vertices (show in diagram in blue) located within a regular simplex and having coordinates $\in ...
1
vote
0answers
18 views

For polytopes, does union and linear transformation commute?

Given two (convex) polytopes $P_1$ and $P_2$ and a linear transformation $T$, is it true that: $$T(P_1 \cup P_2) = TP_1 \cup TP_2$$ What if $P_1$ and $P_2$ are not convex?
3
votes
2answers
126 views

Projective line intersecting 3 projective subspaces

I am trying to solve the following problem: Let $\mathbb{P}(U),$ $\mathbb{P}(V)$ and $\mathbb{P}(W)$ be projective subspaces of dimension $k,$ $l$ and $m$ respectively in $\mathbb{P}_K^n$. Suppose ...
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). ...
4
votes
1answer
296 views

arithmetic and geometric genus for a reducible plane curve

If $C$ is an irreducible plane curve we have the well known formula relating the airthmetic (obtained via the degree-genus formula) and the geometric genus $$\frac{(d-1)(d-2)}{2} - \sum ...
0
votes
0answers
12 views

Cross Ratio of two rays through origin

There are two fixed and two variable concurrent rays of unit length in 3 space through the origin. How should the spherical coordinates of the two variable points be related to result in a constant ...
0
votes
2answers
74 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 ...
0
votes
0answers
9 views

Cross ratio for two variable rays

Given two fixed and two variable rays in the plane with ends of rotating vectors between origin O (0,0) and the unit circle centered at O: $\alpha $ constant, $t_1,t_2$ variable. $$ A (1, 0), B ( ...
2
votes
0answers
41 views

3D projection onto 2D plane to determine transformation matrix?

I'm not sure if there is an actual solution to this problem or not, but thought I would give it a shot here to see if anyone has any ideas. So here goes: I basically have three vertices of a rigid ...
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 ...
1
vote
1answer
55 views

Projective bundles

I am studying about projective bundles now. And I have the following doubts. 1) If we have an exact sequence of vector bundles over a scheme $X$, $0\longrightarrow E'\longrightarrow E\longrightarrow ...
0
votes
0answers
25 views

How would one define polynomials over the projective line $P_K^1$

May $K$ be a field. If I set $\varXi=(X:Y)$ as a "projective variable" and "projective coefficients" $a_k=(x_k:y_k)\in P_K^1$ - may I then write a polynomial map $P_K^1\longrightarrow P_K^1$ in a form ...
4
votes
1answer
228 views

Expressing the second Hirzebruch surface $F_2$ in terms of $SO(3)$

How can I express the second 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}_{+}$?
0
votes
0answers
34 views

Open subscheme in special fiber

Let $X$ be a projective scheme over $R$ a discrete valuation ring with generic fiber irreducible. Can an open subscheme of $X$ be contained in the special fiber of $X$ ? Or is it true that every open ...
0
votes
1answer
29 views

Proximal operators on Balls (Projection)

I was following this tutorial, In section 21 it is given Proximal operator over a ball $B_\epsilon$ of radius $\epsilon$ as $$\text{Proj}_{B_\epsilon(y)}(u) = y + (u-y) \max({1 , ...
3
votes
1answer
84 views

Affine varieties over finite fields

I read in this paper (http://www.math.iitb.ac.in/~srg/preprints/Chandigarh.pdf) that the following set is an affine variety: $V_f=\{(t_0,...,t_N)\in \mathbb{F}_p^{N+1} : f(t_0,...,t_N)=0 \}$ where ...
2
votes
1answer
29 views

Three points are collinear iff the determinant of the matrix of their barycentric coordinates vanishes

Let $A,B,C\in \mathbb{R}^2$ be noncollinear points. Then we have that for every point $P\in\mathbb{R}^2$ there exist $\alpha_1,\alpha_2,\alpha_3\in\mathbb{R}$ such that $P=\alpha_1A+\alpha_2 ...
1
vote
0answers
58 views

What is the degree of the pull back of a line bundle?

Let $X=\mathbb{P}^2$, and let $(y_1,y_2,y_3)$ be homogeneous coordinates on $X$. Consider a map $\phi:\mathbb{P}^1\longrightarrow X$, given by $\phi(x_1,x_2)=(x_1^2,x_1x_2,x_2^2)$, where $(x_1,x_2)$ ...
1
vote
0answers
27 views

Intuitive argument for the transitivity of $PGL(n+1)$ acting on $\mathbb{P}^n$

In spherical geometry we can consider the action of $\operatorname{O}(n+1)$ on the unit sphere $\mathbb{S}^n$. It's easy to see that this action is transitive, because for any two points $x,y \in ...
1
vote
1answer
43 views

Complete intersection curve

I have two very basic questions/clarifications. Let $X=\mathbb{P}^n_k$, and let $Y$ be a subvariety of $\mathbb{P}^n_k$ of dimension $m$. Then we say that $V$ is a complete intersection variety if ...
2
votes
1answer
20 views

Perspective projection of a sphere on a plane

I know the perspective projection of a sphere on a plane is an ellipse. How would I find the parametric equation for this ellipse? Say I have a camera at $(0, 0, z_2)$, a plane at $z=z_1$, and a ...
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 ...
0
votes
2answers
185 views

Image of a point reflected over $y=mx+b$ using dot product

So, I know that the image for a generic point is $$\left(\frac{1-m^2}{1+m^2}x + \frac{2m}{1+m^2}(y-b), \frac{2m}{1+m^2}x - \frac{1-m^2}{1+m^2}(y-b)+b\right)$$ when you reflect it over the line ...
1
vote
1answer
15 views

The significance of the 3-dimensional plot from homogeneous coordinates of a 2-dimensional function

If $(x,y)$ are your standard Cartesian coordinates and $(X,Y,Z)$ are homogeneous coordinates, then $x=X/Z$ and $y=Y/Z$. So if we have a function $f(x,y)$ we can convert it to a function $F(X,Y,Z)$ by ...
2
votes
2answers
24 views

The simplest way to find a parametrization of the plane projective curve $XZ-Y^2=0$.

I have to explain to some first year math students that the projective algebraic set $\textbf{Z}(XZ-Y^2)\subset\mathbb P^2_k$ is $$V=\{(a^2_0:a_0a_1:a^2_1)\subset\mathbb P^2_k \,:\, \textrm{for}\; ...
3
votes
0answers
43 views

Weighted blow-ups

I would like to understand what's a weighted blow-up in a very simple case: $\mathbb{C}^2$ blown-up in the origin with weights $(a,b)$. In found some notes online saying that this is the surface $X$ ...
0
votes
0answers
11 views

A couple of doubts regarding the proof of the Desargues theorem

I've just seen the Desargues' theorem and its proof. Now I have a couple of doubts. In the 3D space when the triangles are not coplanar, it's obvious that if the lines intersect at a finite point, ...
0
votes
1answer
18 views

Projective space of a module

I'm studying projective geometry in a basic course of geometry. My question is: Is there an equivalent definition of projective space not of a vector space but of a module? I think the basic ...
2
votes
1answer
52 views

How does the multiplicative group of a finite field, considered as a vector space, act on subspaces?

Given that a finite vector space $V = \operatorname{GF}(p)^n$ corresponds to the finite field $F = \operatorname{GF}(p^n)$, I'm wondering about how the multiplicative subgroup of $F$, $F^*$, acts on ...
1
vote
1answer
51 views

Number of points reduced in projection

Several points in space are projected orthogonally on some three planes $\alpha$, $\beta$ and $\gamma$. Could it happen that in the three projections, plane $\alpha$ contains 3 points, plane $\beta$ ...
0
votes
1answer
27 views

Are projective transformation linear and why?

As the title, I would like to know: Are projective transformation linear and why? I'm talking about projective transformation, linear transformation in terms of homogeneous coordinates. I can prove ...