Questions about projective space in geometry, a space which can be seen as the set of lines through the origin in some vector space. As such it is a special case of a Grassmanian. See https://en.wikipedia.org/wiki/Projective_space

learn more… | top users | synonyms

0
votes
0answers
14 views

Find an algebraic curve passing through given points with given slopes

Let $P_1 = [X_1,Y_1,Z_1]$ and $P_2 = [X_2,Y_2,Z_2]$ be two different points in $\mathbb CP^2$ with homogeneous coordinates $[X,Y,Z]$. For simplicity, suppose that $X_1 \neq 0$, $X_2 \neq 0$ and put $u ...
0
votes
0answers
16 views

Divisors on Smooth Projective Curves

Hello fellow Mathematicians/Algebraic Geometer, very straight forward questions i) Explain concretely the DVRS $R$ with $k\subset R\subset k(t)$ where $k$ is an algebraically closed field ...
0
votes
0answers
25 views

Linear Systems And invertible Sheaf

Hello Fellow Mathematicians/Algebraic Geometer , This is question has two parts one which is more conceptual and the other more straight forward: i) Let $X$ be a non-singular protective variety ...
1
vote
0answers
21 views

Gluing together holomorphic functions on $\mathbb{P}^n$

The problem Let $U_j$ for $0\leq j\leq n$ denote the standard coordinate charts of the complex manifold $\mathbb{P}^n$. Fix $d\geq 1$ and assume we are given holomorphic functions $f_j:U_j\to ...
2
votes
1answer
29 views

Homemorphism from projective plane to S1 and Moebius strip

Let $h$ be a homemorphism from $S^{1}$ to the border of the Möbius strip $M$. Also, let $X$ be the quotient of the disjoint union of the closed unit disk $D^{2}$ and $M$ by the equivalence relation ...
6
votes
1answer
149 views

Gap in Hartshorne I can't fill

Page 142, Example 6.11.4. I've been trying to go through the details of the sentence The proof of (6.10) shows that if $f \in K$ is invertible at $Z$, then the principal divisor $(f)$ on $X - Z$ ...
0
votes
0answers
30 views

Point at infinity

My main question is can point at infinity be (0:0:0). Actually I know this question may be ridiculous, since (0:0:0) is not even in projective space. But when I finding the point at infinity of a ...
8
votes
1answer
61 views

Parallelizing lines

Let $n \geq 1$ be an integer, and $L_1,\ldots,L_n$ be $n$ lines in $\mathbb{R}^3$ which are pairwise disjoint. Is it possible to move all $n$ lines continuously so that they never cross, and so as to ...
0
votes
1answer
25 views

Calculating the dimension of a projective variety?

I am having difficulty determining the dimension of a projective variety in general. For example, I am confused about the dimension of the projective variety $X-Y=0$ in $\mathbb{P}^3$. I was ...
2
votes
2answers
43 views

Domain of rational map $\mathbb{P}^2 \to \mathbb{P}^2$

Let $\phi:(t_0:t_1:t_2) \mapsto (\frac{1}{t_0}:\frac{1}{t_1}:\frac{1}{t_2})$. I think that we cat extend $\phi$ to rational map $\hat{\phi}$ with domain:$\mathbb{P}^2-\{(1:0:0),(0:1:0),(0:0:1)\}$. How ...
0
votes
1answer
48 views

Universal Property of the Universal Line

In "An Invitation to Quantum Cohomology" by Kock and Vainsencher, they talk about "the universal line", which is defined as the variety $U=\{ (L,p)\in Gr(1,\mathbb{P}^r)\times \mathbb{P}^r | p\in L ...
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 ...
0
votes
1answer
41 views

Question about $\mathbb{P^1}$ - without loss of generality doubt

I want to show that: Given three distinct points $P_1,P_2,P_3 \in \mathbb{P}^1$ and three distinct points $Q_1,Q_2,Q_3 \in \mathbb{P}^1$, there is a unique isomorphism $f: \mathbb{P}^1 \rightarrow ...
0
votes
1answer
35 views

Triangle inequality on the projective space

Given a unit $n$-sphere $\mathbb{S}^n = \{x \in \mathbb{R}^{n+1} : \langle x,x \rangle = 1\}$, we define the set $\mathbb{P}^n = \{[x] : x \in \mathbb{S}^n\}$, where $[x] = \{-x, x\}$, and a function ...
0
votes
0answers
49 views

Gluing construction of the projective space scheme.

When constructing the projective space scheme $\mathbb{P}_R^n$ for a ring $R$, we may take the subrings $$ A_i = R\left[\tfrac{X_0}{X_i}, \ldots, \widehat{\tfrac{X_i}{X_i}}, \ldots, ...
0
votes
1answer
42 views

What this notation R^3 ∖ (0, 0, 0) means?

I was reading a "Projective Space" article on Wikipedia, when I came across this line "equivalent definition is the set of equivalence classes of $\mathbb R^3 \setminus (0, 0, 0),$ i.e. 3-space ...
3
votes
2answers
78 views

The 2 Charts of “Blowing up the Origin in $\mathbb{C}^2$ ”

Consider the algebraic curve $\mathcal{C}$ given by $f(x,y)=0$, where $(x,y)\in\mathbb{C}^2$. Suppose that the singular point of $f$ is $p=(x,y)=(0,0)$. The blow-up of $p$ is given by ...
0
votes
0answers
13 views

find $\overline{U}$ explicitly in terms of the polynomials defining $U$ (Over $\mathbb{P}^n$)

Let $U_0 \subset \mathbb{P}^n$ be the set defined by $U_0= \{(x_0:x_1:...:x_n)\in \mathbb{P}^n: x_0\ne 0 \}$ Consider the map $\phi: \mathbb{A}^n \to U_0$ given by: $$ ...
0
votes
0answers
70 views

Is there a projective metric on a projective space induced by a p-norm?

A projective metric on a projective space is a metric on the underlying set such that shortest path with respect to this metric are parts of entire projective straight lines. The 2-norm induces the ...
0
votes
0answers
11 views

Nonlinear Co-ordinate transformation in Complex Projective Space

If (x_0 ^2, x_1 ^2, x_2 ^2) denote co-ordinates of points in the Complex Projective Space P^2, what space does (x_0, x_1, x_2) span?
0
votes
0answers
30 views

Projecting point in 3d space onto a 2d view

If I have the following information: The coordinates in 3d space of a point(x, y, z) The dimensions of a 2d viewing window(width, height) The coordinates in 3d space of the center of that view(x, y, ...
1
vote
3answers
44 views

Projection onto subspaces - point to line projection

In the following document about projection onto subspaces, the author is computing the transformation matrix to project a vector $b$ onto a line formed by vector $a$. Since the projected vector ...
0
votes
1answer
34 views

Proving $F\#T\cong F\#K$

Let $K$ be Klein bottle, $T$ a torus with one hole and $F$ a surface which contains Möbius strip (as a subspace). Show that $F\#T\cong F\#K$ (and in fact if $P$ is the projective plane $P\#T\cong ...
3
votes
1answer
24 views

Is $K\mathbb P^n\cong K^n\mathbin{\dot\cup}K\mathbb P^{n-1}$ for all fields $K$?

I know that for $K=\mathbb R$, the statement $\mathbb R\mathbb P^n\cong\mathbb R^n\mathbin{\dot\cup}\mathbb R\mathbb P^{n-1}$ (where $\cong$ denotes set isomorphism) holds. Is the identity $$K\mathbb ...
1
vote
0answers
25 views

If I homogenized $f(z) = \frac{az+b}{cz+d}$, what would that look like and what would the process be to doing it?

I have a quick question. If I homogenized $f(z) = \displaystyle\frac{az+b}{cz+d}$, what would that look like and what would the process be to doing it? I am extremely new to homogenization and I and ...
1
vote
1answer
53 views

Möbius band inside projective plane

How can I see inside the projective plane the Möbius band? I need to know how the Möbius Band appears inside the projective plane. I know it is easy using identifications and algebraic topology. ...
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 ...
0
votes
1answer
16 views

Help with Diagram of the Standard Lift of Projective Plane

I am posting here because I need help finding (or making) a visual aid for a presentation. I am giving a short presentation about Projective Geometry next week, and I am building a beamer for it. One ...
1
vote
0answers
63 views

integral cohomology ring of real projective space

What is the cohomology ring $$ H^*(\mathbb{R}P^\infty;\mathbb{Z})?$$ $$ H^*(\mathbb{R}P^n;\mathbb{Z})?$$ for mod 2 coefficient, the answer is on Hatcher's book and Proving that the cohomology ring ...
0
votes
1answer
20 views

Mipoint between points in projective space

Is there a way to define the midpoint between points in projective space?
2
votes
2answers
61 views

Lines in the projective plane

In my lecture notes we have the following: The set $$\mathbb{P}^2(K)=\{[x, y, z] | (x, y, z) \in (K^3)^{\star}\}$$ is called projective plane over $K$. There are the following cases: $z \neq ...
2
votes
1answer
35 views

The classes are lines of $K^3$ that passes through $(0, 0, 0)$.

In my lecture notes we have the following: We consider $(K^3)^{\star}=K^3 \setminus \{(0, 0, 0)\}$ and we define the relation $$(a_1, b_1 , c_1) \sim (a_2, b_2, c_2) \Leftrightarrow (\exists ...
0
votes
0answers
15 views

The Cusp $w^2 + p(z,w)=0$ is desingularizable in the origin $O \in \mathbb{C}$

I have just studied a method in projective geometry over complex numbers on how to desingularize a curve in a point but i'm a little bit confused. I don't know the name of this classical method in ...
0
votes
1answer
22 views

Two discrete lines always intersect at a point

In my lecture notes we have the following: $K$ field Extension of the affine space. Relation between points and lines: Two discrete points define an unique line and two discrete lines always ...
4
votes
3answers
78 views

The quotient map $q: \mathbb R^{n+1} \setminus \{0\} \to \mathbb P^n$ is open.

I'd like to show that the quotient map $q: \mathbb R^{n+1} \setminus \{0\} \to \mathbb P^n$ is open, where I'm considering $\mathbb P^n$ as the quotient space of $\mathbb R^{n+1} \setminus \{0\}$ ...
0
votes
1answer
60 views

Is $\mathbb{A}^1\times\mathbb{P}^1\cong\mathbb{P}^1\times\mathbb{P}^1$?

Just curious, is it true that $\mathbb{A}^1\times\mathbb{P}^1\cong\mathbb{P}^1\times\mathbb{P}^1$? Here I'm writing $\mathbb{A}^1$ is affine space, and $\mathbb{P}^1$ projective space, both over an ...
2
votes
1answer
46 views

Comparing vector bundle degrees coming from different embeddings into projective space

This question is a follow-up to this recent question of mine: Comparing notions of degree of vector bundle In that question, the definition of the degree of a vector bundle is discussed — in ...
0
votes
1answer
39 views

Projective coordinates for point at infinity on elliptic curve

What is the unique characteristic of the projective coordinates of a point at infinity? I am specifically looking for a characteristic on (short) weierstrass curves. I know that the point at infinity ...
0
votes
1answer
36 views

Questions about the space of rays with initial point the origin endowed with the quotient topology.

I need to know if some properties about the topological space $\mathbb{R}^n/{\sim}$ are true, where $\sim$ is a equivalence relation defined by $a\sim b \iff \exists \lambda >0$ such that ...
2
votes
1answer
57 views

What is the domain of definition of $S_1/S_0$ on $\mathbb{P}^2$?

Consider the regular function given by $S_1/S_0$ on the projective sphere $\mathbb{P}^2$ over a field $k$ (We can assume algebraically closed, if it's needed for some reason). I'm just worried, is the ...
3
votes
0answers
52 views

General form of regular maps $\mathbb{P}^n\to\mathbb{P}^m$?

I'm reading through Milne's algebraic geometry notes, and there's a remark without justification I'm having trouble seeing. Essentially: Suppose $F : \mathbb{P}^n\to\mathbb{P}^m$ is a regular map ...
1
vote
1answer
64 views

Vector Field in a complex projective space

This question is motivated by this answer here. Let $\mathbb{C}P^{n}$ be a complex projective space. Let $X\in\Gamma(T\mathbb{C}P^{n})$, be a vector field. It seems, by the answer I got in the ...
1
vote
1answer
74 views

zeros of a certain vector field in $\mathbb{C}P^{n}$

Let's consider the complex projective space $\mathbb{C}P^{n}$ and let $X$ be a vector field with flow given by $X_{t}:\mathbb{C}P^{n}\rightarrow\mathbb{C}P^{n}$ such that ...
12
votes
1answer
323 views

Does there exist a regular map $\mathbb{A}^1\to\mathbb{P}^1$ which is surjective?

Suppose $\mathbb{A}^1$ and $\mathbb{P}^1$ are affine space and projective space. I'm not sure if it matters, but I don't mind if we assume that we're working over algebraically closed fields. I'm ...
1
vote
0answers
19 views

Complex projective space and its dual are homeomorphic?

Consider $\mathbb{C} P^n$ and its dual space, which consists of hyperplanes in $\mathbb{C} P^n$. Are they homeomoprhic? I read this fact somewhere, but can't remember where. Also i don't even ...
1
vote
2answers
29 views

Why is the projection of a vector V onto a span W, independent of the orthogonal basis of W.

Very straightforward question. I have read time and again in my book that it is independent but I don't understand why? Wouldn't changing the basis mean changing the length of the projection?
0
votes
0answers
21 views

Why are closed discs preserved by linear fractional transformations in non-archimedean geometry?

If $K$ is a local field equipped with a non-archimedean metric, then I have read in several places that the action of $PGL_2(K)$ by linear fractional transformations takes closed discs to closed ...
0
votes
1answer
152 views

Is the complex projective plane a compact manifold with or without boundary (closed manifold)?

my question is the one in the title. (My motivation is to understand in which way Freedman's classification of compact simply-connected 4-manifolds implies the Poincare conjecture for 4-manifolds, as ...
1
vote
1answer
53 views

Reference request: second Chern class of P^2

I have heard that $c_2(T_{\mathbb{P}^2})=e(\mathbb{P}^2)$. What's the general result and where can I read about it? Thanks.
5
votes
0answers
68 views

How to prove that $Aut(\mathbb{P}^2) \cong PSL_3 (\mathbb{C})$?

Notation: $\mathbb{P}^2$ denotes complex projective plane. We have an action $$SL_3 \times \mathbb{P}^2 \to \mathbb{P}^2, \ (A,[v])\mapsto [Av]$$ with kernel $\mathbb{C}^*.Id\cap SL_3 \cong C_3$ ...