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

1
vote
0answers
16 views

Definition of regular map from aquasi projective variety

These are from the book Basic Algebraic geometry by Shafarevich Definition of regular function on a quasi projective variety is as follows : Let $X\subset \mathbb{P}^n $ be a quasi projective ...
0
votes
0answers
14 views

QR factorization for least squares

This is from my textbook I don't undertand why small errorr in $A^TA$ can lead to large error in cofficient matrix? Because A=QR, so there should be no difference to use A or QR anyway.Could someone ...
1
vote
0answers
14 views

Verifying that the weighted projective space $\Bbb{P}_{\Bbb{Q}}(1,1,2,3)$ is singular.

I while ago I attended a talk that was somewhat over my head, and the speaker mentioned in passing that the weighted projective space $\Bbb{P}:=\Bbb{P}_{\Bbb{Q}}(1,1,2,3)$ is singular. I suppose this ...
2
votes
1answer
20 views

cubic surface equation

If $[1,0,0,],[0,1,0],[0,0,1],[1,1,1],[1,3,2],[1,4,3]$ are six points on $P^2$ in general position and $f_0, f_1, f_2, f_3$ are the generators of the four dimensional vector space generated by cubics ...
1
vote
1answer
22 views

Geometric Significance that 2D Points Form a Line

I'm reading through Multiple View Geometry in Computer Vision, by Hartley and Zisserman, and on page 2 it is stated that points at infinity in the two-dimensional projective space form a line, and in ...
1
vote
1answer
21 views

Homotopy 'diagrams' for Klein bottle and projective plane

Background: I recently discovered that the complement to the circle and vertical axis shown below is homotopy equivalent to a torus Also complement to three infinite straight non-intersecting ...
1
vote
0answers
42 views

Associating to every line a vector in that line in an algebraic way

Let $X$ be a complex variety and $\mathscr E$ a locally free sheaf on $X$. Consider the fiber bundles $$ \mathbb P(\mathscr E) \overset{def}= \mathrm{Proj}(\mathrm{Sym}(\mathscr E)), \quad \mathbb ...
0
votes
1answer
21 views

Euler characteristic of the projective plane (using embedding diagram)

Make the square into the projective plane $\mathbb{P}$ by identifying edges and compute the Euler characteristic by embedding the following graph onto the surface: Here is my diagram of the ...
0
votes
0answers
32 views

Degree of maps $\mu \colon \mathbb{P}^1\rightarrow \mathbb{P}^r$

In the book I am reading right now, it is defined that for a map $\mu \colon \mathbb{P}^1\rightarrow \mathbb{P}^r$ the degree is the degree of the direct image cycle $\mu_{*}[\mathbb{P}^1]$. We are ...
0
votes
1answer
50 views

Is $\mathbb{R}P^1 \times \mathbb{R}P^1 = \mathbb{R}P^2$? If it isn't what does it look like?

We know that $\mathbb{R}P^1$ may be conceptualized as the set of all lines through the origin in $\mathbb{R}^2$. Alternatively, it may be conceptualized as a hemisphere of $S^1$ with antipodal points ...
1
vote
0answers
20 views

The subgroup of $PGL(V)$ stabilizing a projective configuration

Let $P(V)$ be a projective space and consider the natural action of $G=PGL(V)$ on it. Let $S=\{p_1,\dots, p_k\}$ be a finite set of points in $V$ where $k\geq 2$. Is there any reference about the ...
2
votes
1answer
79 views

If two projective lines both intersect four given projective lines, must the two lines be parallel on an affine open?

L.S., I am trying to solve an exercise of my algebraic geometry course, which is as follows. Given four projective lines in $\mathbb{P}^3$, show that the number of lines intersecting them all is ...
4
votes
1answer
63 views

What would an infinite dimensional projective space look like as a scheme?

In topology, we can construct $\mathbb{CP}^\infty$ as the direct limit of $\cdots\rightarrow \mathbb{CP}^n \rightarrow \mathbb{CP}^{n+1}\rightarrow \cdots$ with the embedding given by $[x_0: x_1: x_2: ...
1
vote
2answers
65 views

Intersection of 3 or 4 dimensional subspaces of $\mathbb{P}^5$

What do we know about the intersection of 3 or 4 dimensional subspaces in $\mathbb{P}^5$? If we for example take two 4-dimensional subspaces of $\mathbb{P}^5$, what do we know about the dimension of ...
4
votes
1answer
57 views

An example calculated in Principles of Algebraic Geometry of Griffiths and Harris'.

On page 413 they write: Example. We can now make a second computation for Chern classes of projective space. Let $X_0, \ldots , X_n$ be linear coordinates on $\mathbb{C}^{n+1}$, and let ...
2
votes
0answers
48 views

What properties single out $ \operatorname{Spec}(\mathbb{k}) $-schemes that are quasi-projective varieties over $ \mathbb{k} $?

I have a question in algebraic geometry that I would like to ask: Let $ \mathbb{k} $ be an algebraically closed field. Is there a property $ P $, phrased in the language of schemes, such that ...
1
vote
1answer
54 views

Understanding problem 2.6 in Hartshornes algebraic geometry book .

Can anybody help me in understanding the hint given in the problem $2.6$ in Chapter $1$ of Hartshorne's Algebraic Geometry book ? I cannot see why $A(Y_i) $ can be identified with degree zero ...
1
vote
2answers
40 views

How to write the real projective plane as a pushout of a disk and the mobius strip?

I heard in topology class that the real projective plane is obtained by gluing a disk along the boundary of the mobius strip. I was wondering - how can I write this as a pushout? Also, how can I ...
1
vote
1answer
35 views

Projectivised tangent bundle of 2 sphere

I'm trying to understand how rotations act on the "projectivised" tangent bundle of the sphere. Let $S^2$ be the two sphere and denote by $P(TS^2)$ the tangent bundle where each tangent space ...
0
votes
0answers
27 views

On Kapranov's “On the derived categories of coherent sheaves on some homogeneous spaces”

As a graduate master student I am reading Kapranov's paper "On the derived categories of coherent sheaves on some homogeneous spaces" (1988). One problem is that the paper assume lot of notations and ...
3
votes
1answer
56 views

Intuitive explanation for the connection between Lie Groups and projective spaces over $\mathbb{R}$, $\mathbb{C}$, and $\mathbb{H}$

In this post John Baez states that the classical simple Lie groups "arise naturally as symmetry groups of projective spaces over $\mathbb{R}$, $\mathbb{C}$, and $\mathbb{H}$". Is there some ...
2
votes
1answer
34 views

tangent space of a curve in projective space

Suppose we have the curve $Z\subset \mathbb{P}^2$ given by the equation $y^2z-x^3=0.$ I have to find a basis for the tangent space at $(0:0:1)$, but I find the definition hard: Let $X$ be a variety ...
-2
votes
1answer
54 views

What exactly is the $O_X$-module and the corresponding sheaf of modules?

I am very puzzled by the definition in the Wiki page. I understand that over a subset $U$ we can assign a sheaf of abelian groups, e.g. some analytic functions over $U$. So we consider that these ...
3
votes
1answer
61 views

Hilbert function and homogenous polynomials.

Let $\{[1:0:0],[0:1:0],[0:0:1],[1:1:1] \} = \{p_1,p_2,p_3,p_4\}$ be four points in the projective space $\mathbb{P}^2$. For every $p_i$, show there is a homogenous polynomial $f_i$ such that ...
1
vote
0answers
19 views

Constructing Incidence variety without using equations

Let $k$ be a field. Let $X$ be the Hilbert scheme of subschemes of $\mathbb{P}^n_k$ with a specified Hilbert polynomial. Let $Y$ be another Hilbert scheme of subschemes of $\mathbb{P}^n_k$ with a ...
0
votes
1answer
34 views

Difference between Grassmann and Projective space?

I recently read the first few chapters of Pyramid Algorithms: A Dynamic Programming Approach to Curves and Surfaces for Geometric Modeling and I am confused about ...
0
votes
0answers
28 views

Using Riemann-Roch

I have canonical divisor $K$ of curve $\mathbb{P}^1$, and I would like to find $l(2K)$, $l(3K)$ and $l(-K)$ using Riemann-Roch theorem. I know that $g=0$ in this case, so $deg(K)=2\cdot 0-2=-2$. ...
0
votes
0answers
23 views

Hyperplanes without Axiom of Choice

For any projective space that contains more than one point, is it possible to prove that it contains a hyperplane without using the Axiom of Choice? It's easy enough to prove that there exists a ...
0
votes
0answers
29 views

Understanding functions in $\mathbb{P}^1$

I just need solution check: I am given function $f\in k(\mathbb{P}^1)$ that sends $(x:y) $ in $\frac{x}{y}$. If I understood this right, this is just coordinate function $x$ since it send and point ...
0
votes
0answers
18 views

pencil of cubic curve passing six points

Let [1,0,0],[0,1,0],[0,0,1],[1,1,1],[1,3,2],[1,4,3] be a six points in general position. The question is how can determine the pencil of cubic curve passing through these points? Many thanks.
0
votes
0answers
28 views

projective nullstellensatz proof

I have to give a talk about projective varieties, including the projective nullstellensatz. As I'm not really into algebra or algebraic geometry, I've got some problems with the proof. Projectiv ...
-1
votes
1answer
155 views

Group acting on a Projective Space

Let $G$ be an algebraic (zariski closed) subgroup of $SL(n,C)$ for some algebraically closed field $C$. Now $G$ acts on an $n$-dimensional vector space $V$ over $C$ where $V$ is a solution space of a ...
0
votes
1answer
16 views

Projection on the subspace perpendicular to a vector

I am running an algorithm and during one of the steps of the algorithm, I have to update a matrix $B$ but projecting every column of the matrix, $B_j$, j=1,...,k, on the subspace perpendicular to a ...
2
votes
1answer
73 views

Lines on a Quintic Threefold

We work over an algebraically closed field $k$. I've been given the exercise of showing (using only the technology introduced in the first chapter of Shafarevich's Basic Algebraic Geometry) that ...
0
votes
0answers
19 views

Rings of Regular functions, and regular maps between Quasi Affine to Quasi Proj. Varieties.

I have studied classical algebraic geometry a while ago. I want to sum up in short as possible everything regarding their rings of regular functions. If my understanding not correct, please correct ...
0
votes
1answer
29 views

describing proj. seurface.

I have the surface $W=Z(x_0x_1-x_2x_3)$, in $\mathbb{P^3}$ and I want to describe it as a union of an affine piece and some other piece laying in $\mathbb{P^2}$. My solution is to look at: ...
1
vote
0answers
28 views

Intersection of circle and line.

Now we can realize that intersection of two parallel lines at point of infinity in projective space. I can manage to visualize this and compute it. My issue is if we have the two varieties $ X_1= Z ...
1
vote
1answer
52 views

Show that any two distinct lines in $\Bbb P^2$ intersect in one point.

Show that any two distinct lines in $\Bbb P^2$ intersect in one point. Proof(My attempt). Let $L_1, L_2$ be any two distinct lines in $P^2$. Write $L_i = V (a_iX + b_iY + c_iZ), i = 1,2$. It ...
0
votes
1answer
42 views

Localization of the ideal of some projective variety

Let $X \subset P^n$ be some projective variety, and $I$ be its ideal. We consider the 0th graded piece of the localization $(I \cdot k[Z_0,...,Z_n,Z_i^{-1}])_0$ in the coordinate ring ...
1
vote
1answer
33 views

All translations on $\mathbb{R}$ are induced by a $2\times2$-matrix

I want to prove that all translations on an affine straight line are induced by projective transformations of the projective extension. If we look at $\mathbb{R}$ as our affine straight line, ...
1
vote
0answers
42 views

Examples of homogeneous polynomials that define $\mathbb{P}^n$

The complex projective space $\mathbb{P}^n$ is also a projective variety. According to Hartshorne, a projective variety is defined a s the zero set of a subset of homogeneous polynomials defined on ...
0
votes
0answers
31 views

Uniqueness of affine cone

Let $Z$ be a projective variety embedded into $\mathbb P^n$. Then we can define an affine cone over $Z$ as the inverse image of $Z$ under canonical map $\mathbb A^{n+1}\setminus0 \to \mathbb P^n$. I ...
0
votes
1answer
59 views

Why does a parabola have a single point at infinity?

Consider the parabola $V(zy-x^2) \subset \mathbb P^2$. This parabola has only one point at infinity which is $[0:1:0]$. On the other hand we sketch the parabola, we see that there are two asympotes, ...
1
vote
1answer
32 views

Smoothness of projective hypersurface

I'm trying to understand the question and answer here, but I don't quite follow what they're doing, so here is my take on it. The problem is to show that in $\mathbb R P^2$, given a homogeneous ...
1
vote
1answer
50 views

Surface in complex projective space

Let $\mathbb CP^3$ be projective space. Consider polynomial $f$ of degree $k$ satisfying $f(a \mathbb v)=a^k f(\mathbb v)$ for complex number $a$ and vector $v \in \mathbb C^4$. For example ...
1
vote
1answer
136 views

Is there an easy way to find the cohomology ring of the complex projective plane?

I am trying to find the cohomology ring of $\mathbb{C}\mathbb{P}^2$. But I don't know how. We know from the CW structure of $\mathbb{C}\mathbb{P}^2$ that the cohomology groups must be $\mathbb{Z}$ in ...
2
votes
0answers
25 views

A CW complex for $\mathbb{CP}^n$ so that $\mathbb{RP}^n$ is a subcomplex

Both $\mathbb{RP}^n$ and $\mathbb{CP}^n$ arise as particularly simple CW complexes: $\mathbb{RP}^n$ has a single cell in every dimension between $0$ and $n$, and $\mathbb{CP}^n$ has a single cell in ...
0
votes
0answers
13 views

Can a 4-d quadric in $\mathbb{P}_5$ contain a $\mathbb{P}_3$?

In a 5-d projective space $\mathbb{P}_5$ the so-called Klein quadric is defined as the points that satisfy the equation $x_0x_3 + x_1x_4 + x_2x_5=0$ - where $(x_0 : x_1 : x_2 : x_3 : x_4 : x_5)$ are ...
1
vote
0answers
32 views

Calculating the stiefel whitney class of Tangent Bundle of projective space

I was reading the proof of the fact that whitney sum of the tangent bundle of $RP^n$ with the trivial bundle is isomorphic to whitney sum of $n+1$ tautological line bundles on $RP^n$ from Hatcher's ...
1
vote
0answers
35 views

Elliptic curve Schoof algorithm, projective polynomial point coordinates

I'm trying to understand Schoofs algorithm for determining $\#E(F_P)$ of an Elliptic curve $y^2 = x^3 + ax + b$ over $F_P$. For this I'm looking at the implementation of MIRACL: ...