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

33
votes
3answers
2k views

Why the emphasis on Projective Space in Algebraic Geometry?

I have no doubt this is a basic question. However, I am working through Miranda's book on Riemann surfaces and algebraic curves, and it has yet to be addressed. Why does Miranda (and from what little ...
12
votes
1answer
352 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 ...
12
votes
2answers
4k views

Lines in projective space

I have the following definitions: Given a vector space $V$ over a field $k$, we can define the projective space $\mathbb P V = (V \backslash \{0\}) / \sim $ where $\sim$ identifies all points that ...
11
votes
1answer
196 views

$\mathbb{R}\text{P}^{n-1}$ is not retract of $\mathbb{R}\text{P}^n$

I have to solve the following: Show that $\mathbb{R}\text{P}^{n-1}$ is not retract of $\mathbb{R}\text{P}^n$ for $n\geq 2$. I have done this with knowledge of homotopy-groups, by showing that ...
10
votes
2answers
234 views

Does projectivizing always fix problems at infinity? (Or, am I making a mistake somewhere?)

This question is motivated by the following homework problem. I'm trying to explicitly compute the homeomorphism $f:S^2 \rightarrow \mathbb{CP}^1$ by using stereographic projection and considering ...
9
votes
1answer
570 views

Tangent bundle of a quotient by a proper action

Given a compact group $G$ acting freely on a manifold $X$, is there a "nice" way to describe the tangent bundle of the quotient $X/G$ (when it is a manifold)? In the case the group $G$ is finite, or ...
8
votes
4answers
753 views

Orientability of $\mathbb{RP}^3$

I was wondering if there is a nice way to see that $\mathbb{RP}^{3}$ is orientable without using tools of algebraic topology, like homology. The only think I could think of was to argue that ...
8
votes
8answers
185 views

How to show $P^1\times P^1$ (as projective variety by Segre embedding)is not isomorphic to $P^2$?

I am a biginner. This is an excise from Hartshorne Ch 1, 4.5. By his hint, it seems this can be argued that there are two curves in image of Segre embedding that do not intersect with each other ...
8
votes
3answers
721 views

Give an explicit embedding from $\mathbb{R}P_2$ to $\mathbb{R}^4$

I have heard that the least dimension $m$ required for $\mathbb{R}P_2$ to be embedded in the Euclidean space is 4, thus I wanted to find an explicit formulae for it. I found two possible strategies, ...
8
votes
1answer
136 views

Line Bundle on subvarieties

I've been having problem actually restricting a Line bundle $L$ defined on some projective space $\mathbb C \mathbb P^{N-1}$ to a subvariety $X$. I know how to do this on an abstract level, but ...
8
votes
1answer
64 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 ...
8
votes
1answer
205 views

What does projective space classify?

Let $A$ be a ring and let $\mathbb{P}^n = \operatorname{Proj} \mathbb{Z} [x_0, \ldots, x_n]$. Question. What does $\mathbb{P}^n$ classify? In other words, is there some kind of algebraic structure ...
7
votes
2answers
316 views

Coordinate ring in projective space. What are they?

When $X$ is an algebraic variety of affine $n$-space, then the coordinate ring of $X$ are polynomials restricted to $X$. But when $X$ is a variety of projective $n$ space, what are the elements ...
7
votes
1answer
121 views

Trivial Restriction of Line Bundles

Say I have some projective space $\mathbb{P}^n$ and some line bundle $L=\mathcal{O}(-k)$. Now, I want to have a subvariety $Y$ in $\mathbb{P}^n$ such that $L\vert_Y$ is trivial. When is this the ...
7
votes
1answer
101 views

Line bundles over $\mathbb R P^2$

As in this post, I'm continuing studying line bundles. Now it's line bundle over $\mathbb R P^2$. I know that this bundle is not trivial. So I want list up to equivalence all bundles over $\mathbb R ...
6
votes
2answers
124 views

Is the Projective Real Plane Compact?

I feel like $\Bbb P (\Bbb R^2)$ is compact, but I know that $\Bbb R^2$ is locally compact, therefore it has a one-point compactification. $\Bbb P (\Bbb R^2)$ adds more than one point to the real ...
6
votes
1answer
168 views

Why is $0$ excluded in the definition of the projective space for a vector space?

For a vector space $V$, $P(V)$ is defined to be $(V \setminus \{0 \}) / \sim$, where two non-zero vectors $v_1, v_2$ in $V$ are equivalent if they differ by a non-zero scalar $λ$, i.e., $v_1 = ...
6
votes
1answer
190 views

Tensor product of real line bundles is trivial as a map $\mathbb{R}P^\infty\to\mathbb{R}P^\infty\times\mathbb{R}P^\infty\to\mathbb{R}P^\infty$

The tensor product of a real line bundle with itself is trivial, as is easily seen by looking at the transition functions or checking the Stiefel-Whitney class. Real line bundles are classified by the ...
6
votes
1answer
531 views

Classifying Quasi-coherent Sheaves on Projective Schemes

I know some references where I can find this, but they seem tedious(Both Hartshorne and Ueno cover this). I am wondering if there is an elegant way to describe these. If this task is too difficult in ...
6
votes
1answer
162 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$ ...
6
votes
1answer
305 views

Cup Product Structure on the Projective Space

I am reading about cup products and am stuck on this exercise in Hatcher (3.2.5). Taking as given that $H^*(\mathbb{R}P^\infty,\mathbb{Z}_2)\simeq\mathbb{Z}_2[\alpha]$, how does one show ...
6
votes
1answer
155 views

Why is $\mathbb{R} P^n$ called projective space?

I know that: If one defines an equivalence relation on $\mathbb{R}^{n+1}-\{0\}$ by $$x\sim y \iff y=tx$$ for some nonzero real number $t$, where $x,y\in\mathbb{R}^{n+1}-\{0\}$, Then The real ...
6
votes
1answer
305 views

Projective duality

Given a curve how do you intuitively construct the picture of its projective dual? I know points --> lines, lines--> points but for something like the swallowtail this is not really obvious.
5
votes
2answers
109 views

Are homomorphisms into PGL related to the Schur multiplier?

I've been trying to understand homomorphisms from a finite group $G$ into $\operatorname{PGL}(n,R)$ for $n$ a positive integer, and $R$ a commutative ring with 1, usually a field. I had been under ...
5
votes
3answers
377 views

Projective spaces with Zariski topology

Why $\mathbb{P}^1\times\mathbb{P}^1\not\cong\mathbb{P}^2$ where the projective spaces have the Zariski topology?
5
votes
1answer
193 views

Proof you can't embed $\mathbb{P}^2$ into $\mathbb{R}^3$

I know you need to assume for a contradiction. The hard bit is the thing I can't do and that is show that if you do put $\mathbb{P}^2$ into $\mathbb{R}^3$ the path components of the complement are two ...
5
votes
2answers
280 views

Why are there no non-trivial regular maps $\mathbb{P}^n \to \mathbb{P}^m$ when $n > m$?

Question. Let $k$ be an algebraically closed field, an let $\mathbb{P}^n$ be projective $n$-space over $k$. Why is it true that every regular map $\mathbb{P}^n \to \mathbb{P}^m$ is constant, when $n ...
5
votes
1answer
338 views

rational functions on projective n space

How to prove that the field of rational functions on whole of projective n space is constant functions. By rational function I mean quotients of homogeneous polynomials of same degree ...
5
votes
1answer
378 views

Ways of defining topology on $P^{n}(\mathbb{R})$

I was wondering if the following two ways of defining topology on $P^n(\mathbb{R})$ are the same and why? Since $P^n(\mathbb{R})$ is the quotient space of $\mathbb{R}^{n+1}$, define the topology on ...
5
votes
1answer
63 views

Can you define a vector space in terms of a pre-existing projective space?

Projective spaces are usually defined as the quotient of a vector space (by the equivalence relation that identifies collinear vectors). However, in my opinion, projective spaces seem intuitively less ...
5
votes
1answer
39 views

Write $\mathbb{P}^3_{\mathbb{C}}$ as a union of disjoint lines

Is there a set $\Gamma=\{L \subseteq \mathbb{P}^3_{\mathbb{C}}: L \textrm{ is a projective line}\}$ such that every point $p \in \mathbb{P}^3_{\mathbb{C}}$ lies on exactly one line $L_p \in \Gamma$? ...
5
votes
0answers
69 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$ ...
5
votes
1answer
97 views

Cohomology of $\mathcal O(k)$

I am reading a paper in which it is claimed that $H^1(\mathcal O(-k),\mathcal O)=0$, where $k\geqslant 1$. Moreover, the argument also requires that $H^2(\mathcal O(-k),\mathcal O)=0$. Here ...
4
votes
3answers
229 views

what is the definition of a line in $\mathbb{P}^n(k)$ + how to compute the hilbert polynomial of two intersecting lines?

(1) I have never studied any projective/affine geometry or algebraic curves. I'd like to see a clear definition of a line in the projective space $\mathbb{P}^n(k)$, since I need it for my algebraic ...
4
votes
2answers
275 views

is there a decomposition of $L_2(q)$ into a direct product?

I wonder if there is a nontrivial decomposition of the $L_2(q)$, where $q$ is a prime power, into a direct product. I think that there is none, but I am not sure. $L_2(q)$ refers to the special ...
4
votes
1answer
44 views

Can $\mathbb{R}\mathbb{P}^2$ be embedded into an orientable 3-manifold?

We know that $\mathbb{R}\mathbb{P}^2$ cannot be embedded into $\mathbb{R}^3$, but is there an orientable 3-manifold where it is possible?
4
votes
1answer
92 views

plane cubic with a singularity must have non-constant morphism from $\mathbb{P}^1$?

If $C$ is a plane projective curve which is defined by an irreducible homogeneous cubic polynomial and has a singularity, why must there be a nonconstant morphism $\mathbb{P}^1\rightarrow C$? (I'm ...
4
votes
3answers
80 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\}$ ...
4
votes
1answer
63 views

Expressing $\mathbb{R} P^3$ as a fibre bundle

This question came up in office hours with my differential topology prof and since then I've almost settled on an answer. The question was whether we could write $\mathbb{R} P^3$ as a fiber bundle ...
4
votes
1answer
162 views

Consequences of Properness in Algebraic Geometry

Let's call a variety $X$ proper if the projection $Y\times X\rightarrow X$ is a closed map (where $Y$ is any variety). I read in Vakil's notes that properness is a version compactness in algebraic ...
4
votes
1answer
235 views

The canonical divisor of the projective line

Let $A$ be a ring. Assume it has some nice properties if necessary, e.g., $A$ is a Dedekind domain. Let $\mathbf{P}^1_A$ be the projective line over $A$. I want to show that $-2 [\infty]$ is a ...
4
votes
1answer
138 views

Embedding of curves in projective spaces… typo?

I'm reading from the book "Geometry of algebraic curves", by Griffiths, Harris, Arbarello and Cornalba. In the middle of page 5 they define the map $\phi_{\mathscr{D}}:C\to \mathbb{P}V^*$, from a ...
4
votes
3answers
118 views

The Lie algebra of the generators of the projective transformation is isomorphic to the Lie algebra of traceless matrices.

The general projective transformation of the $x$-$y$ plane is given by $$\tilde{x}=\frac{a_1x+a_2 y+a_3}{a_7x+a_8y+a_9},\quad\tilde{y}=\frac{a_4x+a_5y+a_6}{a_7x+a_8y+a_9}$$ for some constants ...
4
votes
1answer
108 views

Segre varieties contained in hyperplanes

Recall, the Segre embedding is a map $\sigma: \mathbb{P}^m \times \mathbb{P}^n \to \mathbb{P}^{(m+1)(n+1)-1}$ given by \begin{equation} ([x_0:\cdots:x_m],[y_0:\cdots:y_n]) \mapsto [x_0y_0:x_0y_1: ...
4
votes
1answer
2k 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 ...
4
votes
2answers
215 views

Find diagonal of inverse matrix

I have computed the Cholesky of a positive semidifinite matrix $\Theta$. However I wish to know the diagonal elements of the inverse of $\Theta^{-1}_{ii}$. Is it possible to do this using the cholesky ...
4
votes
1answer
127 views

Identifying a line bundle on $\mathbb{P}^1$

I have a geometric line bundle $L$ on $\mathbb{P}^1 = \{[x_0:x_1]\}$. With respect to the standard affine cover $U_0 = \{x_0 \neq 0\}$ and $U_1 = \{x_1 \neq 0\}$, I have the transition function ...
4
votes
1answer
243 views

Stiefel-Whitney numbers for product bundle

I'm reading Milnor's "characteristic classes" and I want to compute Stiefel-Whitney numbers of $ P^2 \times P^2 $ (product of projective spaces) for one of the problems, I know how Stiefel-Whitney ...
4
votes
1answer
159 views

Blow Up: Resolution of Singularity

For blow ups, I have worked only in $\mathbb{CP}^2$. Once I locate the base-point, say $[x,y,z]=[0,1,0]$, I go back to $\mathbb{C}^2$ by considering the chart $y=1$. I then proceed to blow up ...
4
votes
1answer
116 views

some fun with holomorphic line bundles

These are probably trivial questions... (for the experts) I'd like to get convinced (perhaps an intuitive/geometric explanation will be more effective than a formal one) of the following facts: i. ...