The projective-geometry tag has no usage guidance.

**1**

vote

**1**answer

89 views

### Piercing of subspaces in a projective space?

The "piercing subspace" problem may be stated as follows:
There are given several subspaces in a projective space, rather non-intersecting.
Find an additional subspace of a prescribed dimension that ...

**1**

vote

**0**answers

50 views

### Projection from a polytope to an affine space

Let $P\subseteq \mathbf{R}^n$ be some polytope defined by an intersection of half spaces with corresponding hyperplanes $H_k$, and let $A\subseteq \mathbf{R}^n$
be some affine space, with $A\cap P ...

**1**

vote

**0**answers

161 views

### Projective tangent cones, ordinary singularities and blow-ups

Let $X\subset\mathbb{P}^n$ be a projective variety and let $Y\subset X$ be the singular locus of $X$. Assume that $Y$ is smooth. I would like to know if the following are equivalent:
$X$ has an ...

**0**

votes

**1**answer

137 views

### the paraboloid model for hyperbolic space [closed]

In Thurston's Three-Dimensional Geometry and Topology, he gives a recipe for a non-standard model for hyperbolic space which he calls the paraboloid model. I'd like to use the model to try out ...

**1**

vote

**0**answers

88 views

### Reference for a proof of a projective representation of $A_6$

This question is copied from math.stackexchange, in hope that it might get some attension.
I want to understand the proof of
There is a projective representation of $A_6 \hookrightarrow ...

**1**

vote

**0**answers

120 views

### Resolution of singularities of projective varieties

Let $X\subset\mathbb{P}^n$ be an irreducible variety, and let $Sing(X)$ be its singular locus. Let $Y$ be the blow-up of $\mathbb{P}^n$ along $Sing(X)$. Assume that we know that the strict transform ...

**11**

votes

**3**answers

850 views

### Natural examples of Reverse Mathematics outside classical analysis?

Harvey Friedman at the 1974 ICM motivated Reverse Mathematics by the
following statement:
When the theorem is proved from the right axioms, the axioms can be proved
from the theorem.
Reverse ...

**1**

vote

**1**answer

205 views

### pencil of quadrics consisting of singular quadrics

A pencil $l$ of quadrics in $\mathbb{P}^4_{<x_0,\cdots,x_4>}$ consists of singular quadrics only if:
(1) quadrics in $l$ have a common singular point; or
(2) quadrics in $l$ contain a common ...

**0**

votes

**0**answers

32 views

### singular locus of $\mathcal{A}_3(2)^{hyp}$

The geometry of the Satake compactification of $\mathcal{A}_2(2)$ is very well known. It is the singular quartic 3-fold in $P^4$ known as $Igusa\ quartic$. I am looking for references (or ...

**3**

votes

**0**answers

117 views

### Universal covering space of a Zariski open subset of projective space

Let $U$ be a Zariski open subset of $\mathbb P^n_{\mathbb C}$. Assume $U$ is the complement of some divisors.
Have the possible universal covering spaces of $U$ been classified?
Do we know when the ...

**4**

votes

**1**answer

254 views

### The space of varieties between two given varieties

Let $\mathbf{P} = \mathbf{P}^n(k)$ be the $n$-dimensional projective space over a field $k$, let $A, B$ be projective varieties in $\mathbf{P}$ such that $A \subset B$. Now define
$V(A,B)$ to be the ...

**1**

vote

**1**answer

187 views

### Multiplicity of a variety along a subvariety

Let $X\subset\mathbb{P}^n$ be an hypersurface given by the vanishing of a polynomial $F\in k[x_0,...,x_n]_d$. Let $Y\subset X$ be a subvariety. Then $X$ has multiplicity $m$ along $Y$ if all the ...

**2**

votes

**0**answers

130 views

### A question on resolution of singularities

I am wondering if it could be possible in particular cases to resolve a singularity of dimension $n$ by blowing-up a locus of dimension smaller than $n$.
For instance consider a cubic surface ...

**14**

votes

**1**answer

609 views

### When is $(q^k-1)/(q-1)$ a perfect square?

Let $q$ be a prime power and $k>1$ a positive integer. For what values of $k$ and $q$ is the number $(q^k-1)/(q-1)$ a perfect square, that is the square of another integer? Is the number of such ...

**2**

votes

**1**answer

202 views

### Singularities of secant varieties of rational normal curves

Let $C\subset\mathbb{P}^n$ be a rational normal curve of degree $n$, and let $Sec_k(C)\subset\mathbb{P}^n$ be its $k$-th secant variety. By Theorem 1.1 in this paper:
...

**2**

votes

**0**answers

128 views

### Degree of join of two varieties

Let $X\subset\mathbb{P}^n$ be an irreducible variety of degree $d$ and dimension $n-4$. Let $L\subset X$ be a line of mulitplicity $m$ in $X$. Assume that $m+1\leq d$ so that the general line spanned ...

**15**

votes

**1**answer

475 views

### Maps to projective space == line bundles; what do maps to weighted projective space correspond to?

A map from an algebraic variety $X$ to a projective space is the same thing as a globally generated line bundle on $X$. What geometric object on $X$ corresponds to a map to a weighted projective ...

**1**

vote

**1**answer

204 views

### Cremona transformations

Let $f:\mathbb{P}^n_1\dashrightarrow\mathbb{P}^n_2$ be the standard Cremona transformation based on $p_1,...,p_{n+1}\in\mathbb{P}^n_1$ and $q_1,...,q_{n+1}\in\mathbb{P}^n_2$. That is, $f$ is the ...

**2**

votes

**2**answers

297 views

### Schwarzian derivative of a diffeomorphism is zero iff Linear-fractionals?

I have found the following derivation of the Schwarzian derivatives in the book of Ovsienko and Tabachnikov:
For a diffeomorphism $\gamma$ which acts on 4 points $t_1,t_2,t_3,t_4 \in \mathbb{RP}_1$, ...

**9**

votes

**1**answer

413 views

### $6$ points lie on a conic if and only if $ABC$ and $A_0B_0C_0$ are perspective

Let $ABC$ be a triangle with incircle $\omega$. Let $A_0,B_0,C_0$ be points outside $\omega$. The tangents from $A_0$ to $\omega$ intersect $BC$ at $A_1,A_2$. Define $B_1,B_2$ and $C_1,C_2$ similarly. ...

**0**

votes

**0**answers

154 views

### classify antiholomorphic involutions of projective space

On $\mathbb{CP}^1$ with standard complex structure, how to prove that there are only two types of antiholomorphic involution, given by
$$ \tau :[z:w]\mapsto [\bar w, \bar z] \qquad \eta :[z:w]\mapsto ...

**2**

votes

**1**answer

128 views

### dimensions of strata of Pfaffian varieties

Let $V$ a complex vector space of dimension $2n$. Let us consider $W=\wedge^2V$ and the Pfaffian variety $Pf\subset \mathbb{P}W$ that parametrize degenerate skew-symmetric matrices. $Pf$ is naturally ...

**1**

vote

**1**answer

219 views

### Rational normal curves as set-theoretic complete intersections

Let $C\subset\mathbb{P}^n$ be a rational normal curve of degree $n$. It is know that $C$ is a set-theoretic complete intersection and that, if $n\geq 3$, is a not a scheme-theoretic complete ...

**2**

votes

**0**answers

268 views

### Enumerating certain types of permutation polynomials

Given a prime power $q$, I would like to enumerate (preferably up to isomorphism*) all the permutation polynomials $f(x)$ on $K = GF(q^3)$ satisfying the following conditions:
$f(ax) = af(x)$ for ...

**4**

votes

**2**answers

333 views

### A question about pairs of lines in 3D projective space

Consider a 3-dimensional projective space $X$.
Let $m$ be the smallest number so that there are $m$ pairs of lines
$ \ell_1,\ell'_1$, $ \ell_2,\ell_2'$, ... , $\ell_m, \ell'_m$ in $X$:
a) For ...

**6**

votes

**0**answers

118 views

### Are Schubert varieties for Kac-Moody groups cut out by linear equations?

Let $G$ be a reductive group, and let $X$ be a partial flag variety for $G$. Then it is known that for any projective embedding of $X$, that the equations scheme-theoretically cutting out a Schubert ...

**5**

votes

**1**answer

651 views

### Top self-intersection of exceptional divisors

Let $Y\subset\mathbb{P}^n$ be a smooth variety of codimension two. Consider the blow-up $X = Bl_Y\mathbb{P}^n$ of $\mathbb{P}^n$ along $Y$, and let $E$ be the exceptional divisor over $Y$. Then $E$ ...

**2**

votes

**1**answer

221 views

### Surfaces singular along a curve

Let $C\subset\mathbb{P}^3$ be a smooth curve a degree $d$ and genus $g$. Let $\mathcal{S}$ be the system of surfaces of degree $k$ in $\mathbb{P}^3$ containing $C$ with multiplicity $\beta$.
What is ...

**2**

votes

**1**answer

107 views

### Point-Hyperplane incidence in finite projective spaces

Let $P$ be a finite projective space of order $q$ and dimension $d$. I am interested in finding the least $k$ such that for any set $S$ of $k$ points of $P$, and for any set $S'$ of $k$ hyperplanes of ...

**2**

votes

**1**answer

312 views

### degree 7 rational curves through ten points in P4

This is a very classical flavoured question, and probabaly it is not difficult. I would like to know the shape of the space of rational degree 7 curves in $P^4$ that pass through 10 fixed points. By ...

**7**

votes

**1**answer

534 views

### Bertini's Theorem

Let $p_1,...,p_n\in\mathbb{P}^{N}$ be general points. Consider the linear system $|L|$ of hypersurfaces of degree $d$ in $\mathbb{P}^{N}$ with prescribed multiplicities $m_1,...,m_n$ at $p_1,...,p_n$. ...

**1**

vote

**1**answer

195 views

### Counting curves of degree 4 in $\mathbb{P}^{3}$

Let $p_1,...,p_8\in\mathbb{P}^{3}$ be points in linear general position. Then there exists a unique elliptic curve $C$ of degree $4$ passing through $p_1,...,p_8$. I am interested in what happens for ...

**0**

votes

**0**answers

94 views

### Embed the normalization of a curve in a larger space

I'd like to believe that this problem has a positive answer, but I don't know a nice reference. Actually I've never worked with embedded curves, so I apologize in advance if the question is too silly.
...

**2**

votes

**2**answers

204 views

### Curve of 3-secant lines

Let $C\subset\mathbb{P}^{3}$ be a smooth, non-degenerate curve over an algebraically closed field of characteristic zero. Let $d$ be the degree of $C$ and $g$ be its genus.
Consider the variety ...

**2**

votes

**0**answers

125 views

### semi-orthogonal decompositions and embeddings

This is most likely a stupid question, but I am curious. It is well known that $\mathbb{P}^n$ has a semi-orthogonal decomposition
$$D^b(X)=\langle \mathcal{O},\dots,\mathcal{O}(n)\rangle$$
Suppose ...

**1**

vote

**2**answers

281 views

### Möbius transformation by 3 points in the Minkowski model

Goal
I'm interested in describing Möbius transformations in the plane, and I'd like to define them in terms of three points and their images.
What I have tried
I know that a projective ...

**1**

vote

**1**answer

104 views

### Non-equivariant vector bundles over complex projective $N$-space

From Grothendieck's lemma, we know that all holomorphic vector bundles over the complex projective line are direct sums of line bundles, and so, are $SU(2)$-equivariant.
I wonder, do there exist ...

**11**

votes

**3**answers

313 views

### (Non-)Existence of curves of low degree on affine and projective varieties

I am interested in papers that investigates the existence or non-existence of curves of low degree (relative to the degree of the ambient variety). The starting example is that of surfaces and ...

**2**

votes

**1**answer

105 views

### minimality/universality of the Springer resolution of a determinantal variety

Let $X\subset P^n$ be a singular determinantal variety and $S\to X$ its Springer resolution. Let $X'\to X$ another resolution of singularities (say, a blow-up). Does $S$ have some ...

**2**

votes

**1**answer

101 views

### Flag primitivity of the correlation group of classical projective planes.

We know that the full automorphism group of the $\pi_q = PG(2,q)$ acts imprimitively on the flags (all flags through a fixed point form a block). But, things change when we consider the action of full ...

**4**

votes

**1**answer

178 views

### What is the formula for the commutative multiplication on CP(infinity)?

There is a classic formula for maps $\mathrm{CP}(r) \times \mathrm{CP}(s) \to \mathrm{CP}(r+s)$ or maybe $r+s+1$ using Plücker coordinates - IF memory serves. In the limit we get the abelian ...

**2**

votes

**2**answers

575 views

### Degree of a smooth projective variety

Let $i_1:X \hookrightarrow \mathbb{P}^n$ and $i_2:Y \hookrightarrow \mathbb{P}^N$ be two projective schemes.
Let $f:X \to Y$ be a surjective projective morphism between smooth projective varieties ...

**5**

votes

**0**answers

181 views

### Non minimal K3 surfaces as hypersurfaces of weighted projective spaces

I recently learnt that the hypersurface
$$
S:=(x^2+y^3+z^{11}+w^{66}=0) \subset \mathbb{P}(33,22,6,1)
$$
is birational to a K3 surface. This is surprising because the surface is quasi-smooth, ...

**3**

votes

**1**answer

185 views

### Dimension of the global sections of the Serre twisting sheaf on a curve

Let, $C$ be a projective curve (not necessarily reduced), $i:C \to \mathbb{P}^n$ be a closed immersion. Does there exist a bound on/geometric interpretation of the dimension of ...

**0**

votes

**1**answer

265 views

### singularities of the dual variety of a surface

I am looking for a proof/reference of the following simple fact, which I think it holds true.
Let $S\subset \mathbb{P}^n$ be a surface embedded by a very ample linear system. Then I know that the ...

**4**

votes

**1**answer

199 views

### Extension of linear system

Let $X$ be a normal irreducible closed subvariety of $\mathbb{P}^n$ and let $\Lambda$ be a linear system on $X$, without fixed component. Then, there exists a linear system $\Lambda'$ on ...

**1**

vote

**1**answer

290 views

### Does every ample divisor “span” a hyperplane?

Let $X\subset\mathbb{P}^n$ be a smooth projective variety of dimension $\geq 2$ and assume that it is not contained in any hyperplane. Now, take some hyperplane $H\subset\mathbb{P}^n$ and consider the ...

**7**

votes

**2**answers

355 views

### Minor theorems of Pappus and Desargues in “old school” geometry?

My question concerns the dependence relations between the minor theorem of Pappus which, following Heyting, I will denote by $P_9$, and (one of the) minor theorems of Desargues, $D_9$.
$P_9$ states ...

**4**

votes

**2**answers

265 views

### A question on infinitely many closed points on a smooth projective variety and their behavior under embeddings

While working on a research problem (algebraic cycles), I bumped into a question that I want to prove, though I couldn't yet prove. After several days of attempts, I realized that if the following ...

**2**

votes

**0**answers

360 views

### Partitioning the Projective Plane

Throughout this post, by projective plane I mean the set of all lines through the origin in $\mathbb{R}^3$.
Side Note: If there are more standard definitions for any of the ideas presented here, ...