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

learn more… | top users | synonyms

11
votes
0answers
730 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
129 views
+200

How to complete Vakil's proof that the composition of projective morphisms are projective when the target is quasicompact?

For this question, a morphism $\pi : X \rightarrow Y$ is projective iff there exists a finite type quasicoherent sheaf $\mathcal{E}$ on $Y$ such that $X$ is isomorphic (as a $Y-$scheme) to a closed ...
8
votes
0answers
169 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$ ...
7
votes
0answers
159 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 ...
6
votes
0answers
53 views

Is this method of finding a “dual curve” correct?

I have a very limited exposure to projective geometry, but I'm having fun exploring the concept of duality. In particular I'd like to know if this naive method of finding a "dual" curve to a given ...
6
votes
0answers
118 views

Find the intersection of two lines entirely outside the given sheet of paper by straightedge alone

This is a problem from Courant:"Two straight lines entirely outside the given sheet of paper are each given by two pairs of straight lines intersecting at points of the lines outside the paper. ...
5
votes
0answers
64 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
76 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.
5
votes
0answers
118 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 ...
5
votes
0answers
162 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
79 views

What was the genesis of Hua's identity?

Many resources I have read prove Hua's identity more-or-less mechanically. I have seen there is more than one raison d'être for Hua's identity: e.g. its connection to the fundamental theorem of ...
4
votes
0answers
137 views

Two twisted cubic curves in $\mathbb P^3$ intersect iff they lie in a common cubic surface

Let $C_1$ and $C_2$ be twisted cubic curves in $\mathbb P^3$. I want to prove that they intersect if and only if they lie in common cubic surface, perhaps singular. The second condition can be ...
4
votes
0answers
48 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 $\mathbb{P}^{p_g-...
4
votes
0answers
76 views

Weighted Projective Spaces and varieties

Consider the weighted projective space $\mathbb{P}(1,1,2)$ with variables $x_0,x_1,x_2$ of degrees 1,1,2 respectively. Consider the map $$(a_0,a_1,a_2) \to (a_0^2,a_0 a_1,a_1^2,a_2)$$ with $F:\mathbb{...
4
votes
0answers
118 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
89 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
81 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 $G_\...
4
votes
0answers
100 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
45 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 ...
3
votes
0answers
54 views

Background for reading Atiyah's first paper on the twisted cubic

What should an undergraduate student need to know before being able to read Michael Atiyah's A Note on the Tangents of a Twisted Cubic ? Most of the words in the paper look foreign to me, but I'm ...
3
votes
0answers
52 views

Tricks to find $\dim H^0(O(D)(n))$

Let $X$ be a curve of genus $g\neq 0$ and $D$ a divisor on $X$. If $n \in \mathbb{Z}$ and $O(D)(n)=O(D)\otimes O(n)$ is the twist of $O(D)$ by $n$, there is a manageable proceedings to find the ...
3
votes
0answers
80 views

A generalization of Zeeman-Gossard perspector theorem

I found a conjectures of generalization of the Zeeman Gossard theorem a year ago, but I no found a solution for the conjecture. I'm an electrical engineer, I am not a mathematician. I don't know how ...
3
votes
0answers
65 views

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.
3
votes
0answers
128 views

Moduli space of algebraic surfaces Vs moduli space of curves

Define the surface $S$ as the complete intersection of four quadrics $Q_i$ with $i=1,2,3,4$ in $\mathbb{P}^6$ (complex six dimensional projective space) i.e. $$S=Q_1 \cap Q_2 \cap Q_3 \cap Q_4$$. Put $...
3
votes
0answers
50 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
439 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 ...
3
votes
0answers
188 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 :...
3
votes
0answers
242 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
53 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
222 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$ ...
3
votes
0answers
303 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
147 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 ...
3
votes
0answers
155 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 $k^\...
3
votes
0answers
157 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 q,r\in\overline{pq}\}$$...
3
votes
0answers
91 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
120 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
26 views

Formula for curvature of a hyperbolic plane

I would like to understand the curvature of a hyperbolic plane better in relation to the underlying Euclidean model and intrinsically without a model. I only consider the Beltrami-Klein model and the ...
2
votes
0answers
58 views

Question regarding Geometric meaning of Noether normalization theorem for projective varieties

In Ernst Kunz's ''commutative algebra and algebraic geometry'' book, ch.2, proposition 4.5 the author states: Let $K$ be an algebraically closed field, $V\subset \mathbb{P}^n(K)$ a variety of ...
2
votes
0answers
79 views

A chain of six circles associated with a conic

I am looking for a solution of the following problem: Let $A_1, ..., A_6$ and $B_1, ..., B_6$ be 12 points lying on a conic, and suppose that for $i=1, ..., 5$ through $A_i, A_{i+1}, B_{i+1}, B_i$ ...
2
votes
0answers
28 views

A projective proof of concurrency of symmedians

Does there exist a projective proof of concurrency of symmedians? I need a proof where the properties of isogonal conjugate are not used.
2
votes
0answers
78 views

Translations on an affine straight line are projective transformations of the projective extension

How do I prove that translations on an affine straight line are induced by projective transformations of the projective extension? I know that a projective transformation is a projective map of a ...
2
votes
0answers
49 views

If $p(x,y)$ is a irreducible quadratic polynomial, then there is a line not intersecting $p(x,y)=0$

Let $p(x,y)\in \mathbb{R}[x,y]$ be an irreducible polynomial and $deg(p)=2$. Then $p$ defines a conic $Q$ in $\mathbb{P}^2(\mathbb{R})$ as $$Q=\{[x,y,t]\in \mathbb{P}^2(\mathbb{R})|\hat{p}(x,y,t)=0\}$...
2
votes
0answers
37 views

Smooth curve in a linear system- what does that mean?

Let $X$ be a projective variety. Let $L$ be an ample line bundle on $X$. I noticed the notation $C\in |L|_s$, and they say that it denotes a smooth curve $C\in |L|$. There are two questions: a) if $X$...
2
votes
0answers
20 views

counting argument for unitals in project planes

Could someone explain the counting argument for how a unital can be embedded in a projective plane, could somone elaborate on the argument in wikipedia?
2
votes
0answers
45 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): ...
2
votes
0answers
133 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 ...
2
votes
0answers
53 views

Show that there exists a coordinate system in $\mathbb{P}^n$ such that $P_0=(1:0:\cdots:0),\ldots,P_n=(0:0:\cdots:1),P_{n+1}=(1:\cdots:1)$

Proposition: Let $P_0,\ldots,P_{n+1}$ be $n+2$ points in $\mathbb{P}^n$ such that every $n+1$ are in general position. There exists a coordinate system in $\mathbb{P}^n$ such that $P_0=(1:0:\cdots:0),\...
2
votes
0answers
23 views

Generalization of a Result Concerning Projective Planes

Let $\mathcal P$ denote the set of all possible orders of projective planes. For $q\in\mathcal P$, let $PG_2(q)$ denote the projective plane of order $q$. There is a theorem due to James Singler (http:...
2
votes
0answers
57 views

Visualizing projective closures - is it okay to just think of the affine case?

This question is quite general and has been discussed on MSE before, however my case is a little bit different and I'm wondering about the geometric interpretation of a specific example. I think that ...
2
votes
0answers
38 views

Number of parameter of a quadric

Suppose for example that $S$ is an algebraic complex surface contained in $\mathbb{P}^6$. $S$ is the complete intersection of four quadrics in the six dimensional projective space. If i take a quadric ...