The projective-geometry tag has no usage guidance.

**1**

vote

**2**answers

156 views

### Transformations that leave the Plucker embedding of G(2,4) invariant

I am interested in a group of transformations that leave the Plucker embedding of complex Grassmannian $G(2,4)$ into $CP^5$ given by $\lambda_{12}\lambda_{34}-\lambda_{13}\lambda_{24}+\lambda_{14}\...

**10**

votes

**2**answers

330 views

### References on quaternionic geometry

Is there any analog, in the quaternionic setting, of Kahler potentials?
In particular I'm interested in a similar construction of the Fubini-Study 2-form on $\mathbb{P}^1(\mathbb{C})$ over the ...

**9**

votes

**1**answer

351 views

### Generalized geometries

Let $S$ be a non-empty set. A geometry of type $n$ for $n\geq 1$
on $S$ (consisting of at least $n$ elements) is a set ${\mathfrak P}\subseteq
{\mathcal P}(S)$ such that
all members of $\mathfrak P$...

**4**

votes

**2**answers

346 views

### Infinitesimal deformations of a fibration

Let $f:X\rightarrow Y$ be a morphism of normal projective varieties over an algebraically closed field with connected fibers.
Assume that both $Y$ and the general fiber of $f$ admit a non-trivial ...

**0**

votes

**0**answers

128 views

### Independent Generic Curves in the Projective Plane

I'm trying to read a paper by Masayoshi Nagata
(available here)
where he gives a counter-example to Hilbert's fourteenth prolem
and I've run into some trouble understanding the terminology he's using.
...

**1**

vote

**1**answer

163 views

### Morphisms contracting a family of curves

Let $f:X\rightarrow Y$ be a morphism of normal projective varieties. Let $S\subseteq X$ be a surface admitting a morphism $g:S\rightarrow C$ to a curve $C$ such that any fiber of $g$ is a curve.
...

**3**

votes

**1**answer

210 views

### dimension of singular locus and complete intersection of a hypersurface

Let $X$ be a reduced projective hypersurface over a field $k$, which is defined by the homogeneous equation $f(T_0,\ldots,T_n)=0$. If the dimension of the singular locus of $X$ is $s$, $0\leq s\leq n-...

**6**

votes

**1**answer

223 views

### Infinitesimal deformations of a singular projective surface

Let $X$ be a normal projective surface with just two singular points $x_1,x_2\in X$, where $X$ has rational quotient singularities.
Assume that both the singularities in $x_1$ and in $x_2$ admit a ...

**2**

votes

**2**answers

268 views

### A $d$-form on ${\mathbb R}^n$ that vanishes on $\binom{d+n-1}{n-1}$ general points, vanishes identically

I'm looking for a reference for the fact that a $d$-form on ${\mathbb R}^n$ that vanishes on $p_1,..,p_{\binom{d+n-1}{n-1}}$ general points, vanishes identically.
A specific construction of a set of ...

**2**

votes

**0**answers

75 views

### Rational curves through a fixed number of points

Let us fix two positive integers $d$, and $N$. Can we determine a third integer $n$ such that given $n$ general points $p_1,...,p_n\in\mathbb{P}^N$ there exists a unique rational curve of degree $d$ ...

**2**

votes

**1**answer

229 views

### Rational curves in projective spaces

Let $X\subset(\mathbb{P}^{N})^n$ be the variety defined as follows: $(p_1,...,p_n)\in (\mathbb{P}^{N})^n$ such that there exists a rational curve $C$ of degree $d$ with $p_1,...,p_n\in C$.
Is there a ...

**1**

vote

**1**answer

117 views

### Schubert Polynomials for Complex Projective Space

The Borel picture of the cohomology ring of a flag variety gives a description as a coset space, without identifying any representatives for the classes. Lascoux and Schützenberger gave specific ...

**4**

votes

**2**answers

240 views

### Secant varieties of curves in $\mathbb{P}^4$

My question is motivated by the following simple observations. By a standard dimensions count in $\mathbb{P}^4$ there should not exist neither an hypersurface of degree $3$ with multiplicity $2$ in ...

**6**

votes

**2**answers

267 views

### Singularities of Pfaffian hypersurfaces

Let $X\subset\mathbb{P}^4$ be an hypersurface of degree six given by the Pfaffian of a $6\times 6$ matrix $M$ whose entries are quadratic forms in the homogeneous coordinates of $\mathbb{P}^4$. I am ...

**5**

votes

**1**answer

254 views

### Looking for reference or proof to some facts stated on Anand Pillay's book

In my current work I am using facts 2.1.11 and 2.1.12 from Anand Pillay's book Geometric Stability Theory.
The facts are stated as follows:
Fact 2.1.11. Let $(S,\mbox{cl})$ be a locally ...

**3**

votes

**2**answers

308 views

### Upper bound on Betti numbers of an intersection of hypersurfaces (or quadrics)

I have a problem I have been stuck with since several weeks now, and yet I believe it should be easy to specialists.
Let $k$ be an algebraically closed field, $m$ and $n$ two integers. Let $H_1,\dots,...

**9**

votes

**1**answer

359 views

### A geometric construction of the complex projective plane?

The paper Kötter's synthetic geometry of algebraic curves, (N. Fraser, Proceedings of the Edinburgh Mathematical Society 7, 46–61, 1888) opens with a sketch of what appears to be a synthetic ...

**9**

votes

**2**answers

264 views

### Embedding $\mathrm{PGL}(n,q^h)$ in $\mathrm{PGL}(nh,q)$

It is not very hard to see that for each prime power $q$ and natural numbers $n,h$, we have an embedding
$$\iota \colon \mathrm{GL}(n,q^h) \hookrightarrow \mathrm{GL}(nh, q),$$
obtained by choosing a ...

**5**

votes

**1**answer

180 views

### Synthetic projective definition of cubic curves

In a synthetic (Pappian) projective plane, one can define a conic in various clever ways not referring to coordinates. For instance, if $f$ is a projectivity from the pencil of lines through a point $...

**7**

votes

**0**answers

105 views

### The Maximum Number of Lines Contained in the Point Set of a Finite Projective Plane

Consider a finite projective plane of order $q$. Define $f(m)$ to be the maximum number of lines completely contained in any point set of size $m$, where $1 \leq m \leq q^2+q+1$. I would like to ...

**6**

votes

**2**answers

334 views

### Will (general points + small number of arbitrary points) impose independent condtions on plane curves?

It is well known that imposing vanishing at general points of $\mathbb P^2$ gives independent conditions on curves of degree $d$. Also, it is known that a small number ($\le d+1$) points always impose ...

**4**

votes

**3**answers

292 views

### Reference request about the representations of the group $PSL_2(\mathbb{F}_q)$

Is there a review/exposition of the representation theory of $PSL_2(\mathbb{F}_q)$ ? Like an enumeration of its irreducible representations and their dimensions as a function of $q$?

**6**

votes

**1**answer

170 views

### How many subspaces are generated by three or more subspaces in a Hilbert space?

In the book of G. D. Birkhoff "lattice theory", it is mentioned that there are 28 subspaces that can be obtained from three subspaces in general position in a Hilbert space (using intersections and ...

**9**

votes

**2**answers

323 views

### Fibrations of projective varieties

Let $f:X\rightarrow Y$ be a flat morphism of normal projective varieties with fibers of positive dimension (in particular all the fibers are connected and of the same dimension).
Let $g:X\rightarrow ...

**0**

votes

**0**answers

48 views

### Pascal and Brianchon's theorems generalized for hyperbolic paraboloid

I know that giving a general version of these two theorems for quadrics can be quite tricky, but if we restrict ourselves to a verssion that holds for the hyperbolic paraboloid only it should be ...

**1**

vote

**1**answer

194 views

### Creating a Latin rectangle from a projective plane

Given a projective plane I'd like to form a latin rectangle from the lines. In particular, I'd like to take each line from the plane, order the elements in some way, and stick them into the matrix as ...

**2**

votes

**0**answers

290 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 ...

**1**

vote

**1**answer

183 views

### Special linear sections of a hypersurface

We discuss on the field of complex numbers. Let $X$ be a smooth projective hypersurface of dimension $n \geq 4$ in $\mathbb{P}^{n+1}(\mathbb{C})$. Assume that for a general point $x \in X$, there ...

**9**

votes

**1**answer

466 views

### Blowing-up a point in the singular locus

Let $X\subset\mathbb{P}^n$ be a variety singular along a smooth subvariety $Z\subset X$ of positive dimension. Let us assume that $X$ has ordinary singularities along $Z$. Now, let $\pi:Y\rightarrow \...

**4**

votes

**2**answers

248 views

### A question on the effective cone

Let $X$ be a projective variety and $G$ a finite group acting on $X$. We consider the quotient $\pi:X\rightarrow Y :=X/G$.
I'm interested in the relation between $Eff(X)$ and $Eff(Y)$. In particular,...

**1**

vote

**0**answers

74 views

### Higher entry loci

Let $X\subset\mathbb{P}^n$ be a projective variety, and let $p\in\mathbb{P}^n$ be a general point. The secant cone $C_p(X)$ relative to $p$ is the union of all the secant line of $X$ through $p$. The ...

**1**

vote

**1**answer

118 views

### When a collineation is a perspectivity?

Veblen & Young, in "projective geometry", vol. 1, section 105, use the following lemma:
If a collineation between two intersecting planes in 3d projective space is such that any two corresponding ...

**2**

votes

**1**answer

335 views

### A question about an intersection number

Let $\pi:Y\rightarrow \mathbb{P}^3$ be the blow-up of two points $p,q\in\mathbb{P}^3$, and then of the strict transform of the line $L$ spanned by them. Now, Let $E_p,E_q, E_{p,q}$ be respectively the ...

**0**

votes

**0**answers

175 views

### projective map from $\overline{\mathcal{M}}_{0,n}$

Suppose I have a morphism $f:\overline{\mathcal{M}}_{0,n} \to \mathbb{P}^N$ birational onto its image, and I know exactly what $F$-curves are contracted (or "dually", what divisors are contracted). ...

**0**

votes

**0**answers

109 views

### Why is the set of geometrically irreducible curves of degree d in P^2 open in P^((d+2 2)-1)?

Let $X$ be a $k$-scheme. We say that $X$ is geometrically irreducible if $X\times_k \mathrm{spec}{K}$ is irreducible for all algebraically closed extensions $K$ of $k$.
Ravi Vakil states in his ...

**8**

votes

**1**answer

431 views

### Who first proved the fundamental theorem of projective geometry?

The following theorem is often called the fundamental theorem of projective geometry:
Let $k$ be a field and let $n \geq 3$. Let $X$ be the partially ordered set of nonzero proper subspaces of $k^n$....

**6**

votes

**1**answer

118 views

### Measuring how closely a missing projective plane can be approached by an equivalent structure

It is well known that for a number of structures, their existence is equivalent to the existence of a projective plane for a given order. Some of them depend on more than one parameters, which means ...

**11**

votes

**2**answers

398 views

### Blow-ups of $\mathbb{P}^{n-3}$ and $(\mathbb{P}^1)^{n-3}$

Let us consider the points
$$p_1=[1:0:...:0],p_2 = [0:1:...:0],...,p_{n-2} =[0:...:0:1],\\
p_{n-1}=[1:1:...:1]\in\mathbb{P}^{n-3}$$
and the blow-up $X = Bl_{p_1,...,p_{n-1}}\mathbb{P}^{n-3}$.
...

**3**

votes

**2**answers

335 views

### Standard plane Cremona transformation

Let us consider nine general points $p_1,...,p_9\in\mathbb{P}^2$ and the line $L = \left\langle p_1,p_2\right\rangle$. Take the standard Cremona $f_1$ centred in $p_3,p_4,p_5$, then $C_1 = f_1(L)$ is ...

**5**

votes

**2**answers

388 views

### Generalization of Pascal's Theorem to Higher Dimensions

Pascal's celebrated theorem in classical geometry gives a necessary and sufficient condition for the existence of a conic through six given points in the plane. Does there exists a similar statement ...

**1**

vote

**0**answers

172 views

### A question on the secondary fan

I am studying the secondary fan decomposition of the effective cone of a projective variety $X$. Let as assume that $X$ is a Mori Dream Space. As far as I understand passing from a cone of maximal ...

**-1**

votes

**1**answer

85 views

### Equal-area projections of the hyperbolic plane [closed]

I'm aware of the projections of the hyperbolic plane at http://en.wikipedia.org/wiki/Hyperbolic_geometry#Models_of_the_hyperbolic_plane, but how would I project the hyperbolic plane onto a flat piece ...

**1**

vote

**1**answer

90 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

54 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

261 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

199 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

97 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 PSU(3).$...

**1**

vote

**0**answers

139 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 ...

**12**

votes

**3**answers

987 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

307 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 ...