The tag has no usage guidance.

learn more… | top users | synonyms

0
votes
1answer
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
0answers
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
1answer
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
1answer
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
0answers
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
0answers
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
3answers
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
0answers
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
1answer
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
2answers
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
1answer
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
2answers
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
1answer
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
1answer
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
4answers
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
2answers
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
0answers
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
0answers
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
3answers
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
0answers
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
1answer
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
1answer
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
1answer
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
1answer
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
1answer
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
2answers
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
2answers
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
1answer
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
2answers
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
2answers
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
1answer
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
2answers
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
0answers
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
1answer
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
1answer
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
1answer
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
2answers
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
0answers
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
1answer
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
1answer
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
2answers
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
2answers
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
1answer
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
2answers
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
1answer
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
2answers
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
1answer
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
0answers
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
2answers
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
3answers
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$?