# Tagged Questions

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

3k 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 ...
776 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 ...
6k 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 ...
174 views

### Homeomorphism $(\mathbb{CP}^1)^m/S_m \overset{\sim}{\to} \mathbb{CP}^m$?

For each $m \ge 1$, how do I construct a homeomorphism $(\mathbb{CP}^1)^m/S_m \overset{\sim}{\to} \mathbb{CP}^m$? My thoughts so far: I probably want to identify $\mathbb{C}^{m+1}$ with the vector ...
213 views

901 views

217 views

### Topology of the Segre product vs. the product topology

In general, the product topology on two (quasiprojective) varieties is not the same as the topology of the product variety given by the Segre embedding. This is something I've often seen asserted is ...
154 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 ...
71 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 ...
213 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 (...
912 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 ...
96 views

121 views

481 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?
215 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 ...
696 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 ...
87 views

### what is the nature of a ball that goes over a “corner” of the real projective plane?

I'm make a little computer program to help me understand different 2d topological spaces, (such as torus and mobius band). I'm having issues with drawing balls that go over a corner of the real ...
653 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 defined/...
71 views

### Metric on real projective space

The standard metric on $RP^n$ is usually defined to be the metric that locally looks like the metric on $S^n$. But as a differentiable manifold (and not just as a set), $RP^n$ is not a subset of $S^n$,...
788 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 ...
182 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 ...
74 views

### All tangential Stiefel-Whitney numbers of $\mathbb{R}P^q$ are zero iff $q$ is odd, reference?

Where can I find a reference to the proof of the following fact? All tangential Stiefel-Whitney numbers of $\mathbb{R}P^q$ are zero if and only if $q$ is odd. I made a quick search through ...
242 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$ ...
428 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.
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 ...
111 views