Questions tagged [projective-geometry]
The projective-geometry tag has no usage guidance.
615
questions
1
vote
0
answers
263
views
Dimension projectivised tangent space equal dimension variety+1
I'm reading some lecture notes (unfortunatey in italian, https://me.unitn.it/system/files/Bernardi%20Alessandra/tesi_teroni_1.pdf , page 5), where there's this statement (without proof):
Suppose we ...
6
votes
1
answer
636
views
Generalized projective spaces, spheres, and exotic spheres [closed]
I like to explore and ask for proper references for the relations between generalized projective spaces, spheres, and exotic spheres:
The real projective space
$\mathbb{RP}^1 \simeq S^1,$
is ...
5
votes
0
answers
329
views
$N$-$th$ closed chain of six circles
Since 2013, I found a very nice configuration: $N$-th closed chain of six circles. This is a generalization of theorem 1, problem 2 in here and theorem 2 in here and here (and is also generalization ...
2
votes
1
answer
354
views
Yiu's equilateral triangle-triplet points
In more than 2300 years since Euclid's Elements appear, there were only two equilateral triangles become famous: The Morely equilateral triangle and the Napoleon equilateral triangle. In more than ...
18
votes
3
answers
1k
views
An ellipse through 12 points related to Golden ratio
I am looking for a proof of the problem as follows:
Let $ABC$ be a triangle, let points $D$, $E$ be chosen on $BC$, points $F$, $G$ be chosen on $CA$, points $H$, $I$ be chosen on $AB$, such that $IF$,...
2
votes
0
answers
296
views
Extension of a rational section of a projective bundle
Let us assume that we work over the complex field and let $X$ be a smooth projective variety and $\pi: P \to X$ a projective bundle (i.e. a fibration in projective spaces of constant dimension). Let $...
3
votes
2
answers
563
views
Stability and complete types (in Model Theory)
I read the following statement in these slides of Saharon Shelah:
"$K$ is stable iff for every $M \in K$ there are only "few" complete types
over $M$." About the notation: here $K$ consists of all ...
2
votes
0
answers
483
views
Intersection number of two projective curves using the resultant and tangent lines
For my thesis, I'm working on the intersection of projective plane curves over $\mathbb{C}$. We define the intersection number of projective plane curves (see for example Gibson - Elementary Geometry ...
0
votes
0
answers
397
views
Twisted sheaves on tower of $\mathbb{P}^n$
Take the projective space $\mathbb{P}^n$ over a ring $W$.
We call $\mathcal{O}(q)$ the usual twisted line bundle.
Now take the map $f: \mathbb{P}^n\to\mathbb{P}^n$ defined by
$$[x_0,\ldots, x_n]\...
4
votes
2
answers
693
views
Linear sections of Segre varieties and rational normal scrolls
In a projective space $\mathbb{P}^{k+2}$ consider two complementary subspaces $\mathbb{P}^1,\mathbb{P}^k$, and let $C\subset\mathbb{P}^k$ be a degree $k$ rational normal curve. Fixed an isomorphism $\...
0
votes
0
answers
739
views
Non-degenerate varieties in projective space
Let $X\subseteq \mathbb{P}^n(K)$, where $K$ is an algebraic closed field, be a projective variety. $X$ is called non-degenerate if $X$ is not contained in any hyperplane. For a given variety $X$, is ...
5
votes
1
answer
211
views
Uniqueness of Mukai presentation of canonical model in genus 6
In his 92 paper, Mukai showed that a general genus $6$ curve may be represented in $\mathbb{P}^9$ as the intersection of the Grassmannian $G(2,5)$ (under the Plucker embedding), a plane $H\cong \...
5
votes
1
answer
156
views
Rational map given by pfaffians
Consider a general skew-symmetric $(n+1)\times (n+1)$ matrix $Z$, and let su map $Z$ to the point of $\mathbb{P}^n$ determined by $[pf_0(Z):\dots:pf_n(Z)]$ where the $pf_i(Z)$ are the principal ...
2
votes
1
answer
151
views
Very symmetric quadrangle in $\Bbb CP^2$
Is there a quadrangle $Q \subset \Bbb CP^2$, namely $Q$ is a set of four points, such that every permutation of $Q$ can be realizad by an isometric projectivity of $\Bbb CP^2$?
Clearly the analogous ...
4
votes
1
answer
243
views
Ideal of the Spinor variety $S^{10}\subset\mathbb{P}^{15}$
The ideal of the $10$-dimensional Spinor variety $S^{10}\subset\mathbb{P}^{15}$ is generated by $10$ quadrics.
Does anyone know a reference where these 10 quadratic equations are written down ...
2
votes
1
answer
421
views
Closure of quasi projective scheme
If $S$ is a scheme, $X$ is a smooth quasi-projective $S$-scheme, is the $S$-projective closure of $X$ a smooth $S$-scheme with $X$ an open subscheme?
4
votes
1
answer
618
views
Picard group of quasi-projective varieties
Let $X$ be a smooth open sub-variety of a projective, not necessarily smooth, variety $X'$, defined over a finite field.
Is $\text{Pic}(X)$ a finitely generated abelian group?
I'm tempted to just ...
4
votes
1
answer
272
views
Intermediate moduli spaces of stable maps
In the following paper:
A. Mustata, M. A. Mustata, "Intermediate moduli spaces of stable maps", Invent. math. 167, 47–90 (2007)
the authors introduced a variation on moduli spaces of stable maps ...
6
votes
2
answers
568
views
Rational normal curves and tangent lines
Let $C,\Gamma\subset\mathbb{P}^n$ be degree $n$ rational normal curves in $\mathbb{P}^n$, such that for any $p\in C$ the tangent line $T_pC$ of $C$ at $p$ is tangent to $\Gamma$ as well. This means ...
1
vote
1
answer
213
views
Compactifications of spaces of morphisms
Let us denote by $Mor_3(\mathbb{P}^1,\mathbb{P}^3)$ the spaces of degree three morphisms $f:\mathbb{P}^1\rightarrow\mathbb{P}^3$,
$$f(x_0,x_1)=[f_0(x_0,x_1):f_1(x_0,x_1):f_2(x_0,x_1):f_3(x_0,x_1)]$$
...
3
votes
0
answers
259
views
Reference for the Koszul--Malgrange Theorem
The Koszul--Malgrange theorem, roughly, identifies holomorphic vectors bundles over a complex manifold, as those finitely generated projective modules admitting a flat $(0,1)$-connection. The ...
3
votes
1
answer
280
views
Ring of sections and normalization
Let $D$ be a base-point-free divisor on a normal projective variety $X$, and let $Y$ be the image of the morphism $f_{D}:X\rightarrow Y$ induced by $D$. Assume that $f_D$ is birational.
Now, let $X(D)...
2
votes
1
answer
223
views
Flipping and flipped loci
Let $f:X\dashrightarrow Y$ be the flip of a small contraction $\phi:X\rightarrow Z$, and let $\psi:Y\rightarrow Z$ be the small contraction such that $\psi\circ f = \phi$. Let $Exc(\phi), Exc(\psi)$ ...
2
votes
0
answers
220
views
On a class of loci in Chow varieties
Let $k$ be a field, $i:X\hookrightarrow \mathbf{P}(\mathscr{E})$ be a fixed projective embedding of a smooth projective $k$-variety $X$, whose dimension is pure and equals $d\ge 0$.
For $0\le p\le d$,...
6
votes
1
answer
486
views
Where do the (Akizuki)-Nakano Identities First Appear
The answers to this M.O. question give a history of the Kaehler identities. The identities can be extended to the vector bundle-valued setting, and play a central role in the proof of the Kodaira ...
2
votes
1
answer
203
views
Curves contracted by a rational map
Let $D$ be a big but not nef divisor on a normal $\mathbb{Q}$-factorial projective variety. Assume that the section ring
$$R(D) = \bigoplus_{n\in\mathbb{N}}H^0(X,nD)$$
is finitely generated and ...
7
votes
2
answers
378
views
Infinite projective plane with small edges
Let $\kappa$ be an infinite cardinal. We say $E\subseteq {\cal P}(\kappa)$ is an infinite projective plane on $\kappa$ if
$e_1\neq e_2\in E$ implies $|e_1\cap e_2| = 1$, and
whenever $n\neq m\in \...
5
votes
1
answer
238
views
G-modules and ideals of secant varieties
Consider the action of $G = SL(n+1)$ on $\mathbb{P}^N$, and embed $\mathbb{P}^n$ in $\mathbb{P}^N$ via the degree two Veronese embedding. Let $V\subset\mathbb{P}^N$ be the corresponding Veronese ...
4
votes
0
answers
1k
views
Variational Hodge Conjecture vs Hodge Conjecture
Motivation.
Let us state the following version of Grothendieck's variational Hodge Conjecture:
Conjecture (VHC). Let $\mathcal{X}\to S$ be a proper smooth map of smooth algebraic varieties over $\...
14
votes
1
answer
495
views
Birational automorphisms of varieties of Picard number one
Let $X$ be a smooth projective variety of Picard number one, and let $f:X\dashrightarrow X$ be a birational automorphism which is not an automorphism.
Must $f$ necessarily contract a divisor?
10
votes
1
answer
632
views
$K_0$-equivalence of varieties
Let $k$ be an algebraically closed field of characteristic zero.
Let $A$ be the $\mathbf{Z}$-subalgebra of the Grothendieck ring of $k$-varieties $K_0(\text{Var}_k)$ generated by classes of semi-...
5
votes
1
answer
232
views
Blowing-up an ideal generated by squares
Let $f_1,\dots,f_r$ be regular functions on a smooth projective variety $X$, and consider the ideals $I = (f_1^2,\dots,f_r^2)$ and $J = (f_1,\dots,f_r)$. Let $Y = Z(I)$ and $W = Z(J)$ be the ...
1
vote
1
answer
189
views
If $A\subset B$, what to say about their $\operatorname{Proj}$?
Let $k$ be a field and $A$ and $B$ be two graded $k$-algebras satisfying $A\subset B$. The $\operatorname{Proj}$ construction is not functorial but is there nothing to say about $\operatorname{Proj}(A)...
4
votes
1
answer
276
views
Polynomials on spaces of matrices
Let $\mathbb{P}^N$ be the projective space parametrizing $n\times n$ non-zero matrices modulo scalar multiplication, and let $\mathbb{P}^M\subset\mathbb{P}^N$ be the subspaces of symmetric matrices.
...
3
votes
2
answers
305
views
Infinite Fano planes
Let $\kappa$ be an infinite cardinal. Then we call $F\subseteq{\cal P}(\kappa)$ a Fano plane on $\kappa$ if
$\bigcup F = \kappa$; $|F|=\kappa$; and $|a| = \kappa$ for all $|a|\in F$,
if $a\neq b\in F$...
7
votes
1
answer
823
views
Push-forward of nef divisors via finite morphisms
Let $f:X\rightarrow Y$ be a finite morphism between smooth projective varieties, and let $D$ be an effective nef but not ample divisor on $X$.
Consider the divisor $f_{*}D$ on $Y$. Is $f_{*}D$ nef ...
6
votes
2
answers
675
views
Intersection numbers in $\mathbb{P}^1$-bundles
Let $\mathcal{E}$ be a rank two vector bundle on $\mathbb{P}^2$ fitting in the following exact sequence
$$0\rightarrow \mathcal{O}_{\mathbb{P}^2}\rightarrow \mathcal{E}\rightarrow \mathcal{I}_p(-1)\...
4
votes
1
answer
549
views
Chern classes of a vector bundle
Let $\mathcal{E}$ be a rank two vector bundle on $\mathbb{P}^2$ fitting in the following exact sequence
$$0\rightarrow \mathcal{O}_{\mathbb{P}^2}\rightarrow \mathcal{E}\rightarrow \mathcal{I}_p(-1)\...
5
votes
1
answer
537
views
Anti-canonical divisor of a Fano variety
Let $X$ be a normal projective Fano variety, that is the anti-canonical divisor $-K_X$ is ample.
For any $m>0$ let us consider the complete linear system $|-mK_X|$ and the map
$$f_{|-mK_X|}:X\...
5
votes
1
answer
232
views
Permutations of points in the projective plane
Let $p_1,...,p_7\in\mathbb{P}^{2}$ be seven general points in the projective plane $\mathbb{P}^{2}$ over the complex numbers.
Let $f$ be an automorphism of $\mathbb{P}^{2}$ inducing a permutation of $...
3
votes
2
answers
579
views
Is this divisorial contraction a blow-up?
Let $C$ be a curve in a smooth $3$-fold $X$ with an ordinary node $p\in X$. Blow-up $p$ let $E$ be the exceptional divisor, and $\widetilde{C}$ the strict transform of $C$. Furthermore let $L$ be the ...
4
votes
1
answer
547
views
Pushforward of curves
Let $Z$ be a subvariety of an irreducible projective variety $X$, and let $i:Z\rightarrow X$ be the inclusion.
Let $N_1(X),N_1(Z)$ be the $\mathbb{Q}$-vector spaces of curves in $X$ and $Z$ ...
2
votes
1
answer
171
views
Anti-canonical divisorial contractions of weak Fano $3$-folds
Let $X$ be a smooth weak Fano but not Fano $3$-fold ($-K_X$ is nef and big but not ample). Then the anti-canonical morphism $\phi:X\rightarrow W$ (the morphsim induced by the linear system $|-mK_X|$ ...
2
votes
0
answers
113
views
On isomorphisms of closed subsets in Grothendieck rings of varieties
Consider the Grothendieck ring $K_0(\mathcal{V}_k)$ of $k$-varieties. Then for any $k$-variety $X$, and closed subset $C$ of $X$, we have the relation $$[X] = [X \setminus C] + [C],$$
where $[X]$ ...
2
votes
1
answer
116
views
multiple cross-ratios and extensions of the Moebius group
I have a very naive question, I am wondering whether there exist an extension of the Moebius group for permutations of the 4 points in a cross ratio to the case of multiple cross ratios?
If I take n ...
7
votes
1
answer
304
views
Pencils on del Pezzo surfaces
Let $X$ be the blow-up of $\mathbb{P}^2$ at three general points $p_1,p_2,p_3$, that is a del Pezzo surface of degree six, and let $\pi_i:X\rightarrow\mathbb{P}^1$ be the morphism induced by the ...
3
votes
0
answers
127
views
Plane Cremona groups over finite fields
Many research has been done on Cremona groups - the Cremona group $\mathrm{Cr}(\mathbb{P}^d(k))$ in dimension $d$ over a field $k$ is the group of birational transformations of $\mathbb{P}^d(k)$. (...
6
votes
1
answer
270
views
Largest number of points one can pick in finite projective space without getting three on a line
Consider the projectivization $\mathbb P\mathbb F_p^n$ of $\mathbb F_p^n$. How large a set $B \subseteq \mathbb P \mathbb F_p^n$ can I pick so that no three points of $B$ lie on the same line?
1
vote
1
answer
86
views
dense orbit projective dual homogeneous space
Let $\mathrm{G}$ be a semi-simple algebraic group over $\mathbb{C}$ and $V$ be a finite dimensional representation of $\mathrm{G}$. Let $x \in V$ be a non zero vector such that the variety $\mathrm{G}....
2
votes
0
answers
145
views
Stable base loci and flips
Let $D_1,D_2$ be two effective divisors on o normal and $\mathbb{Q}$-factorial projective variety $X$ of Picard rank two. Assume that $D_1$ is semi-ample and that it induces a small-comtraction $f_{...