The projective-geometry tag has no usage guidance.

**0**

votes

**1**answer

64 views

### Rigid effective divisors

Let $D\subset X$ be an effective smooth divisor in a smooth projective variety $X$. Assume that $h^0(X,D)=1$. In particular $D$ spans an extremal ray of the effective cone of $X$.
Now, let ...

**0**

votes

**0**answers

50 views

### Separating the points of projective spaces with real-analytic functions

Is there an easy way to separate the points of $\Bbb C \Bbb P^n$ or $\Bbb R \Bbb P^n$ (viewed as real-analytic manifolds) with real-analytic functions? If two points lie in a coordinate patch where a ...

**9**

votes

**1**answer

197 views

### Generalization of the rigidity lemma in birational geometry

Let $X,Y,Z$ be projective varieties, and let $f:X\rightarrow Y$, $g:X\rightarrow Z$ be dominant morphisms. Assume that all the fibers of $g$ have the same dimension and are connected.
If there exists ...

**-2**

votes

**1**answer

131 views

### Degree of quasi-projective variety [closed]

Why we cannot define the degree of a quasi-projective $k$-variety ($k=\bar k$) $X$ for a given embedding $X\subset \mathbb P^n_k$ ?
If we take any compactification $\bar X$ of $X$, $\bar X\backslash ...

**0**

votes

**0**answers

88 views

### Quadrics cutting out a polygon

Let $l_1,l_2,l_3,l_4,l_5\subset \mathbb P^4_k$ be distinct lines such that $|l_i\cap l_{i+1}|=1$ for all $i\ mod\ 5$ and $l_i\cap l_j\neq \emptyset\iff j=i+1\ mod\ 5$ (so that $\cup_{i=1}^5l_i$ is a ...

**2**

votes

**0**answers

53 views

### Determine the representation given by space of sections of symmetric products of cotangent bundle of projective plane

In a recent project, it was interesting for me to determine the $PGL(3)$ representation given by $H^0(S^2(\Omega(1)) \otimes \mathcal O(4))$ on $\mathbb P^2$. I did this by using the Euler sequence, ...

**4**

votes

**3**answers

342 views

### Automorphism group of a variety

Suppose $X$ is a (quasi-projective) variety over a field $k$, and let $\mathbb{P}^n(k)$ be the ambient projective space.
When can one decide that the automorphism group of $X$ is induced by a ...

**3**

votes

**0**answers

87 views

### Generalizing von Staudt's synthetic construction of the complex numbers

Starting from the real projective plane described synthetically/axiomatically, it is possible to construct the complex projective plane directly without passing through coordinates: one adjoins two ...

**6**

votes

**1**answer

156 views

### Sections of the conormal bundle

Let $X\subset\mathbb{P}^N$ be a quadratic manifold. That is $I(X)$ is generated by quadratic polynomials $Q_1,...,Q_m$.
Let $\mathcal{I}_X$ be the ideal sheaf of $X$ and ...

**5**

votes

**2**answers

275 views

### Automorphisms and infinitesimal deformations of a smooth complete intersection

Let $X\subset\mathbb{P}^{n+c}$ be a smooth complete intersection of dimension $n$.
Is it known when $Aut(X)$ is finite ?
Does there exist a formula for the dimension of the tangent space to the ...

**2**

votes

**1**answer

94 views

### Sections of a sheaf of differentials on a weighted complete intersection

Let $X\subset\mathbb{P}(a_0,...,a_N)$ be a smooth $n$-dimensional weighted complete intersection in a weighted projective space $\mathbb{P}(a_0,...,a_N)$.
Is it true that if $q\geq 1$ then ...

**3**

votes

**2**answers

120 views

### Quartic symmetroids and 10-points sets

A quartic surface in $\mathbb{P}^3$ is said to be a "symmetroid" if its equation is obtained as the determinant of a 4x4 symmetric matrix of linear forms. It is well known that the general symmetroid ...

**4**

votes

**1**answer

148 views

### Self intersection and deformations

Suppose I have a smooth projective surface $S$ and a curve $C\subset S$. The self-intersection of $C$ is by definition the degree of the restriction to $C$ of the normal bundle of $C$ inside $S$.
By ...

**5**

votes

**1**answer

242 views

### A question on young persons guide to canonical singularities

In the Corollary at pag 407 of Young persons guide to canonical singularities there is a formula to compute the contributions $c_q(D)$ to Riemann-Roch of a divisor $D$ passing through a point $q\in ...

**14**

votes

**4**answers

486 views

### Synthetic projective lines

The classical synthetic notion of projective plane consists of a set of points, a set of lines, and a relation of incidence between the two, such that any two distinct points lie on a unique line and ...

**9**

votes

**2**answers

334 views

### Which weighted projective spaces (and their finite quotients) are local complete intersections?

Let $G$ be a finite subgroup of $\textrm{Gl}_{n+1}(k)$ (where $k$ is an algebraically closed field). My question is: do there exist examples of $G$ such that the corresponding quotient $P$ of ...

**0**

votes

**0**answers

35 views

### cross sections of semialgebric sets

Let n be bigger than two, and let A be a subset of the n-dimensional euclidean space. Suppose that the intersection of A with any (n-1)-dimensional affine hyperplane is semialgebraic. Can one conclude ...

**1**

vote

**0**answers

90 views

### When is an intersection of quadrics empty

Is there an easy way to tell when the intersection of a set of quadrics (in complex projective space) is empty? Assume you know the quadrics explicitly.

**7**

votes

**3**answers

280 views

### Existence of a morphism between two toric varieties

Does there exist a morphism between the blow-up of $\mathbb{P}^3$ in four general points and $\mathbb{P}^1\times\mathbb{P}^1$? If not why?

**1**

vote

**0**answers

70 views

### Intersection of affine subspaces with specific Veronese variety

Consider the mapping
$$ \Psi: \mathbb R^2 \times \mathbb R^2 \to \mathbb R^5, \\
\Psi(x^{(1)},x^{(2)}) = \begin{pmatrix} x_1^{(1)} + x_1^{(2)} \\ x_2^{(1)} + x_2^{(2)} \\ (x_1^{(1)})^2 + ...

**3**

votes

**1**answer

288 views

### Ramification divisor on curves in weighted projective space

I was hesitant about posting this question here, but since it deals with a partially unanswered question already on this site I figured that this would be the best place for it. I apologise in advance ...

**4**

votes

**1**answer

163 views

### Equivariant Almost Complex Structures on the Full Flag Manifolds

On complex projective space ${\bf CP}^m$, there exists a unique $SU(m+1)$-equivariant almost-complex structure. What happens for the case of the full flag manifold of $SU(m+1)$, which is to say the ...

**6**

votes

**1**answer

193 views

### GIT quotients and automorphisms

Let $X$ be a smooth projective variety. Then we have an exact sequence:
$$0\mapsto Aut^{o}(X)\rightarrow Aut(X)\rightarrow H\mapsto 0$$
where $Aut^{o}(X)$ and $H$ are respectively the connected ...

**6**

votes

**1**answer

150 views

### Varieties parametrizing skew-symmetric matrices

Let $V$ be a vector space of dimension $n$ and let us consider the projective space $\mathbb{P}(\bigwedge^2V)$ parametrizing skew-symmetric matrices.
Let $M\in\mathbb{P}(\bigwedge^2V)$, for any ...

**6**

votes

**1**answer

192 views

### Do general sheaves on P^2 have cohomology governed by their Euler characteristic?

Suppose $\xi$ is chern character on $\mathbb P^2$. Then there is a moduli space $M(\xi)$ of semistable sheaves of chern character $\xi$.
If $\xi$ has Euler characteristic 0, then apparently there is ...

**3**

votes

**2**answers

550 views

### Can the projective line be provided with a ring structure?

A definition of multiplication on the projective $1$-points $(a:b)$ of $P_K^1$ with $a$ and $b$ elements of a field $K$ ( e.g. the real or rational numbers ) can be given by mimicking the ...

**3**

votes

**2**answers

219 views

### Fibrations on blow-ups of $\mathbb{P}^2$

Let $X_n = Bl_{p_1,...,p_n}\mathbb{P}^2$ be the blow-up of $\mathbb{P}^2$ in $n$ general points $p_1,...,p_n\in\mathbb{P}^2$.
Let $f_i:\mathbb{P}^{2}\dashrightarrow\mathbb{P}^1$ be the linear ...

**8**

votes

**1**answer

226 views

### Automorphisms of del Pezzo surfaces

Let $S$ be a del Pezzo surface of degree six over $\mathbb{C}$. Then $S$ is the blow-up of $\mathbb{P}^2$ in three general points $p_1,p_2,p_3$.
Is it true that its automorphism group is ...

**1**

vote

**2**answers

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

**10**

votes

**2**answers

322 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

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

**4**

votes

**2**answers

335 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

127 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

156 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

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

**6**

votes

**1**answer

209 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

265 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

74 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

214 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

116 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

230 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

212 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

249 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

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

**9**

votes

**1**answer

326 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

244 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

173 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

102 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

324 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

284 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$?