Questions tagged [projective-geometry]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
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 ...
christmas_light's user avatar
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 ...
wonderich's user avatar
  • 10.3k
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 ...
Đào Thanh Oai's user avatar
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 ...
Đào Thanh Oai's user avatar
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$,...
Đào Thanh Oai's user avatar
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 $...
IMeasy's user avatar
  • 3,717
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 ...
THC's user avatar
  • 4,313
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 ...
Onnovz's user avatar
  • 21
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]\...
user avatar
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 $\...
user avatar
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 ...
MO B's user avatar
  • 527
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 \...
Hubokula's user avatar
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 ...
user avatar
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 ...
Daniele Zuddas's user avatar
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 ...
user avatar
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?
user avatar
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 ...
user avatar
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 ...
Puzzled's user avatar
  • 8,842
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 ...
Puzzled's user avatar
  • 8,842
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)]$$ ...
user avatar
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 ...
John Smith's user avatar
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)...
user avatar
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)$ ...
user avatar
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$,...
user avatar
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 ...
Réamonn Ó Buachalla's user avatar
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 ...
user avatar
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 \...
Dominic van der Zypen's user avatar
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 ...
user avatar
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 $\...
user avatar
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?
user avatar
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-...
user avatar
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 ...
user avatar
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)...
Stabilo's user avatar
  • 1,479
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. ...
user avatar
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$...
Dominic van der Zypen's user avatar
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 ...
user avatar
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)\...
user avatar
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)\...
user avatar
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\...
user avatar
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 $...
THF's user avatar
  • 51
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 ...
user avatar
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$ ...
user avatar
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|$ ...
user avatar
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]$ ...
THC's user avatar
  • 4,313
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 ...
Simone's user avatar
  • 21
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 ...
user avatar
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)$. (...
THC's user avatar
  • 4,313
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?
forget this's user avatar
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}....
Libli's user avatar
  • 7,210
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_{...
Puzzled's user avatar
  • 8,842

1
4 5
6
7 8
13