The tag has no wiki summary.

learn more… | top users | synonyms

1
vote
1answer
151 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 ...
0
votes
0answers
25 views

singular locus of $\mathcal{A}_3(2)^{hyp}$

The geometry of the Satake compactification of $\mathcal{A}_2(2)$ is very well known. It is the singular quartic 3-fold in $P^4$ known as $Igusa\ quartic$. I am looking for references (or ...
3
votes
0answers
97 views

Universal covering space of a Zariski open subset of projective space

Let $U$ be a Zariski open subset of $\mathbb P^n_{\mathbb C}$. Assume $U$ is the complement of some divisors. Have the possible universal covering spaces of $U$ been classified? Do we know when the ...
4
votes
1answer
246 views

The space of varieties between two given varieties

Let $\mathbf{P} = \mathbf{P}^n(k)$ be the $n$-dimensional projective space over a field $k$, let $A, B$ be projective varieties in $\mathbf{P}$ such that $A \subset B$. Now define $V(A,B)$ to be the ...
1
vote
1answer
97 views

Multiplicity of a variety along a subvariety

Let $X\subset\mathbb{P}^n$ be an hypersurface given by the vanishing of a polynomial $F\in k[x_0,...,x_n]_d$. Let $Y\subset X$ be a subvariety. Then $X$ has multiplicity $m$ along $Y$ if all the ...
2
votes
0answers
113 views

A question on resolution of singularities

I am wondering if it could be possible in particular cases to resolve a singularity of dimension $n$ by blowing-up a locus of dimension smaller than $n$. For instance consider a cubic surface ...
13
votes
1answer
484 views

When is $(q^k-1)/(q-1)$ a perfect square?

Let $q$ be a prime power and $k>1$ a positive integer. For what values of $k$ and $q$ is the number $(q^k-1)/(q-1)$ a perfect square, that is the square of another integer? Is the number of such ...
2
votes
1answer
127 views

Singularities of secant varieties of rational normal curves

Let $C\subset\mathbb{P}^n$ be a rational normal curve of degree $n$, and let $Sec_k(C)\subset\mathbb{P}^n$ be its $k$-th secant variety. By Theorem 1.1 in this paper: ...
2
votes
0answers
81 views

Degree of join of two varieties‏

Let $X\subset\mathbb{P}^n$ be an irreducible variety of degree $d$ and dimension $n-4$. Let $L\subset X$ be a line of mulitplicity $m$ in $X$. Assume that $m+1\leq d$ so that the general line spanned ...
14
votes
1answer
359 views

Maps to projective space == line bundles; what do maps to weighted projective space correspond to?

A map from an algebraic variety $X$ to a projective space is the same thing as a globally generated line bundle on $X$. What geometric object on $X$ corresponds to a map to a weighted projective ...
1
vote
1answer
184 views

Cremona transformations

Let $f:\mathbb{P}^n_1\dashrightarrow\mathbb{P}^n_2$ be the standard Cremona transformation based on $p_1,...,p_{n+1}\in\mathbb{P}^n_1$ and $q_1,...,q_{n+1}\in\mathbb{P}^n_2$. That is, $f$ is the ...
2
votes
2answers
232 views

Schwarzian derivative of a diffeomorphism is zero iff Linear-fractionals?

I have found the following derivation of the Schwarzian derivatives in the book of Ovsienko and Tabachnikov: For a diffeomorphism $\gamma$ which acts on 4 points $t_1,t_2,t_3,t_4 \in \mathbb{RP}_1$, ...
9
votes
1answer
374 views

$6$ points lie on a conic if and only if $ABC$ and $A_0B_0C_0$ are perspective

Let $ABC$ be a triangle with incircle $\omega$. Let $A_0,B_0,C_0$ be points outside $\omega$. The tangents from $A_0$ to $\omega$ intersect $BC$ at $A_1,A_2$. Define $B_1,B_2$ and $C_1,C_2$ similarly. ...
0
votes
0answers
119 views

classify antiholomorphic involutions of projective space

On $\mathbb{CP}^1$ with standard complex structure, how to prove that there are only two types of antiholomorphic involution, given by $$ \tau :[z:w]\mapsto [\bar w, \bar z] \qquad \eta :[z:w]\mapsto ...
2
votes
1answer
92 views

dimensions of strata of Pfaffian varieties

Let $V$ a complex vector space of dimension $2n$. Let us consider $W=\wedge^2V$ and the Pfaffian variety $Pf\subset \mathbb{P}W$ that parametrize degenerate skew-symmetric matrices. $Pf$ is naturally ...
1
vote
1answer
147 views

Rational normal curves as set-theoretic complete intersections

Let $C\subset\mathbb{P}^n$ be a rational normal curve of degree $n$. It is know that $C$ is a set-theoretic complete intersection and that, if $n\geq 3$, is a not a scheme-theoretic complete ...
1
vote
0answers
227 views

Enumerating certain types of permutation polynomials

Given a prime power $q$, I would like to enumerate (preferably up to isomorphism*) all the permutation polynomials $f(x)$ on $K = GF(q^3)$ satisfying the following conditions: $f(ax) = af(x)$ for ...
4
votes
2answers
315 views

A question about pairs of lines in 3D projective space

Consider a 3-dimensional projective space $X$. Let $m$ be the smallest number so that there are $m$ pairs of lines $ \ell_1,\ell'_1$, $ \ell_2,\ell_2'$, ... , $\ell_m, \ell'_m$ in $X$: a) For ...
6
votes
0answers
98 views

Are Schubert varieties for Kac-Moody groups cut out by linear equations?

Let $G$ be a reductive group, and let $X$ be a partial flag variety for $G$. Then it is known that for any projective embedding of $X$, that the equations scheme-theoretically cutting out a Schubert ...
5
votes
1answer
430 views

Top self-intersection of exceptional divisors

Let $Y\subset\mathbb{P}^n$ be a smooth variety of codimension two. Consider the blow-up $X = Bl_Y\mathbb{P}^n$ of $\mathbb{P}^n$ along $Y$, and let $E$ be the exceptional divisor over $Y$. Then $E$ ...
0
votes
0answers
29 views

Maximizing the product of projections of a vector on another vectors

I want to get the $N\times1$ complex vector $\mathbf{x}$ which maximizes this real valued function $f=\mathbf{x}^{H}\left (\mathbf{a}_{1} \mathbf{a}_{1}^{H}\mathbf{x}\mathbf{x}^{H}\mathbf{a}_{2} ...
2
votes
1answer
205 views

Surfaces singular along a curve

Let $C\subset\mathbb{P}^3$ be a smooth curve a degree $d$ and genus $g$. Let $\mathcal{S}$ be the system of surfaces of degree $k$ in $\mathbb{P}^3$ containing $C$ with multiplicity $\beta$. What is ...
2
votes
1answer
89 views

Point-Hyperplane incidence in finite projective spaces

Let $P$ be a finite projective space of order $q$ and dimension $d$. I am interested in finding the least $k$ such that for any set $S$ of $k$ points of $P$, and for any set $S'$ of $k$ hyperplanes of ...
2
votes
1answer
298 views

degree 7 rational curves through ten points in P4

This is a very classical flavoured question, and probabaly it is not difficult. I would like to know the shape of the space of rational degree 7 curves in $P^4$ that pass through 10 fixed points. By ...
5
votes
1answer
386 views

Bertini's Theorem

Let $p_1,...,p_n\in\mathbb{P}^{N}$ be general points. Consider the linear system $|L|$ of hypersurfaces of degree $d$ in $\mathbb{P}^{N}$ with prescribed multiplicities $m_1,...,m_n$ at $p_1,...,p_n$. ...
1
vote
1answer
174 views

Counting curves of degree 4 in $\mathbb{P}^{3}$

Let $p_1,...,p_8\in\mathbb{P}^{3}$ be points in linear general position. Then there exists a unique elliptic curve $C$ of degree $4$ passing through $p_1,...,p_8$. I am interested in what happens for ...
0
votes
0answers
82 views

Embed the normalization of a curve in a larger space

I'd like to believe that this problem has a positive answer, but I don't know a nice reference. Actually I've never worked with embedded curves, so I apologize in advance if the question is too silly. ...
2
votes
2answers
173 views

Curve of 3-secant lines

Let $C\subset\mathbb{P}^{3}$ be a smooth, non-degenerate curve over an algebraically closed field of characteristic zero. Let $d$ be the degree of $C$ and $g$ be its genus. Consider the variety ...
2
votes
0answers
107 views

semi-orthogonal decompositions and embeddings

This is most likely a stupid question, but I am curious. It is well known that $\mathbb{P}^n$ has a semi-orthogonal decomposition $$D^b(X)=\langle \mathcal{O},\dots,\mathcal{O}(n)\rangle$$ Suppose ...
1
vote
2answers
214 views

Möbius transformation by 3 points in the Minkowski model

Goal I'm interested in describing Möbius transformations in the plane, and I'd like to define them in terms of three points and their images. What I have tried I know that a projective ...
1
vote
1answer
93 views

Non-equivariant vector bundles over complex projective $N$-space

From Grothendieck's lemma, we know that all holomorphic vector bundles over the complex projective line are direct sums of line bundles, and so, are $SU(2)$-equivariant. I wonder, do there exist ...
11
votes
3answers
297 views

(Non-)Existence of curves of low degree on affine and projective varieties

I am interested in papers that investigates the existence or non-existence of curves of low degree (relative to the degree of the ambient variety). The starting example is that of surfaces and ...
2
votes
1answer
95 views

minimality/universality of the Springer resolution of a determinantal variety

Let $X\subset P^n$ be a singular determinantal variety and $S\to X$ its Springer resolution. Let $X'\to X$ another resolution of singularities (say, a blow-up). Does $S$ have some ...
2
votes
1answer
93 views

Flag primitivity of the correlation group of classical projective planes.

We know that the full automorphism group of the $\pi_q = PG(2,q)$ acts imprimitively on the flags (all flags through a fixed point form a block). But, things change when we consider the action of full ...
4
votes
1answer
169 views

What is the formula for the commutative multiplication on CP(infinity)?

There is a classic formula for maps $\mathrm{CP}(r) \times \mathrm{CP}(s) \to \mathrm{CP}(r+s)$ or maybe $r+s+1$ using Plücker coordinates - IF memory serves. In the limit we get the abelian ...
2
votes
2answers
414 views

Degree of a smooth projective variety

Let $i_1:X \hookrightarrow \mathbb{P}^n$ and $i_2:Y \hookrightarrow \mathbb{P}^N$ be two projective schemes. Let $f:X \to Y$ be a surjective projective morphism between smooth projective varieties ...
5
votes
0answers
158 views

Non minimal K3 surfaces as hypersurfaces of weighted projective spaces

I recently learnt that the hypersurface $$ S:=(x^2+y^3+z^{11}+w^{66}=0) \subset \mathbb{P}(33,22,6,1) $$ is birational to a K3 surface. This is surprising because the surface is quasi-smooth, ...
3
votes
1answer
141 views

Dimension of the global sections of the Serre twisting sheaf on a curve

Let, $C$ be a projective curve (not necessarily reduced), $i:C \to \mathbb{P}^n$ be a closed immersion. Does there exist a bound on/geometric interpretation of the dimension of ...
0
votes
1answer
217 views

singularities of the dual variety of a surface

I am looking for a proof/reference of the following simple fact, which I think it holds true. Let $S\subset \mathbb{P}^n$ be a surface embedded by a very ample linear system. Then I know that the ...
4
votes
1answer
195 views

Extension of linear system

Let $X$ be a normal irreducible closed subvariety of $\mathbb{P}^n$ and let $\Lambda$ be a linear system on $X$, without fixed component. Then, there exists a linear system $\Lambda'$ on ...
1
vote
1answer
266 views

Does every ample divisor “span” a hyperplane?

Let $X\subset\mathbb{P}^n$ be a smooth projective variety of dimension $\geq 2$ and assume that it is not contained in any hyperplane. Now, take some hyperplane $H\subset\mathbb{P}^n$ and consider the ...
7
votes
2answers
281 views

Minor theorems of Pappus and Desargues in “old school” geometry?

My question concerns the dependence relations between the minor theorem of Pappus which, following Heyting, I will denote by $P_9$, and (one of the) minor theorems of Desargues, $D_9$. $P_9$ states ...
4
votes
2answers
248 views

A question on infinitely many closed points on a smooth projective variety and their behavior under embeddings

While working on a research problem (algebraic cycles), I bumped into a question that I want to prove, though I couldn't yet prove. After several days of attempts, I realized that if the following ...
2
votes
0answers
322 views

Partitioning the Projective Plane

Throughout this post, by projective plane I mean the set of all lines through the origin in $\mathbb{R}^3$. Side Note: If there are more standard definitions for any of the ideas presented here, ...
1
vote
1answer
225 views

blow-up along singular variety

Can somebody give me a nice example of blow-up of a smooth algebraic variety along a singular subvariety? Something I can do some exercise on and check the differences with a smooth blow-up. Thanks!
4
votes
1answer
316 views

Properties of divisors when moving from char 0 to char p.

Consider a smooth projective variety $X$ over $\mathbb{C}$ such that $X$ has models over $\mathbb{Z}[1/N]$ and $X_p=X_{\mathbb{Z}[1/N]}\times \text{Spec}(\mathbb{F}_p)$ is also a smooth projective ...
0
votes
1answer
184 views

Non-Symmetric Equivariant Riemannian Metrics on Homogeneous Spaces

For a homogeneous space $M = G/H$, the number of $H$-equivariant Riemannian metrics on $M$ is usually much smaller than the space of Riemannian metrics. I am wondering what happens when the symmetric ...
2
votes
0answers
221 views

Global sections of a coherent sheaf in terms of a presentation

Let $A$ be a graded ring satisfying the usual finiteness conditions of EGA II (for example $A_0$ is noetherian, $A_1$ is finite over $A_0$ and $A$ is generated by finitely many elements of $A_1$ as an ...
4
votes
1answer
144 views

Projective planes that contain the Fano plane

I am interested in the following question: Given a projective plane of order $n=2^a$, is its incidence matrix must contain the incidence matrix of the Fano plane? If not, is it true that for any $n$ ...
6
votes
2answers
374 views

Reference for Weighted Projective Stacks

For a sequence of positive integers $a_0, \ldots, a_n$ and a ring $R$, there is a graded ring $R[x_0,\ldots, x_n]$ where $x_i$ is in degree $a_i$. There is a corresponding $\mathbb{G}_m$-action on ...