The projective-geometry tag has no usage guidance.

**12**

votes

**0**answers

302 views

### Embedding of the product of two Grassmannians into a Grassmannian

Consider an embedding $$\Phi: G_{k_1}(R^{n_1})\times G_{k_2}(R^{n_2})\rightarrow G_k(R^n)$$ of the product of two Grassmannians $G_{k_1}(R^{n_1})\times G_{k_2}(R^{n_2})$ into $G_k(R^n)$, where $G_k(...

**7**

votes

**0**answers

106 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

**0**answers

130 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

**0**answers

198 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, well-...

**5**

votes

**0**answers

294 views

### Dual of a weighted projective space

I have a fairly good understanding of what the dual of a projective space is. I am currently interested in weighted projective space but I haven't found anything on the construction of its dual space ...

**5**

votes

**0**answers

267 views

### Quaternionic Veronese Embedding

I know that the complex projective line $\mathbb{C}P^1$ can be embedded in the complex projective space $\mathbb{C}P^n$ (Veronese embedding). For example, $\mathbb{C}P^1\rightarrow \mathbb{C}P^3$ is ...

**4**

votes

**0**answers

701 views

### What is projective duality from modern point of view ? (correspondence ? Fourier on D-mod ? Aut of D(Coh) ?)

Consider vector space $V$ and its dual $V^*$ then to any line subspace in $V$ one can correspond its kernel in $V^*$ which is hyperplane.
Projective duality states that this correspondence satisfies ...

**3**

votes

**0**answers

57 views

### Intersection multiplicity of limit linear spaces

Let $X\subset\mathbb{P}^N$ be a smooth projective variety. Let us fix a general point $q \in X$, and let $C\subseteq X$ be a smooth curve passing through $q$.
Now let $\Lambda_{\xi, q}$, with $\xi \...

**3**

votes

**0**answers

71 views

### Approximating formal surfaces by analytic surfaces

Let $C$ be a smooth projective curve contained in a smooth projective $3$-fold (everything defined over $\mathbb C$). Let $\widehat X$ be the formal completion of $X$ along $C$ and suppose there ...

**3**

votes

**0**answers

142 views

### Conjecture generalization of Feuerbach theorem and somes another theorems

My question: I am looking for a solution of a conjecture generalization of the Feuerbach theorem in the end of the topic. But I think, I should let you know why I found this conjecture. I thank to You ...

**3**

votes

**0**answers

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

**3**

votes

**0**answers

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

**3**

votes

**0**answers

120 views

### On the Haar measure of Grassmanians

How can one write down the Haar measure of complex Grassmanians in terms of Plucker coordinates? Is there any way to define a Kahlarian measure like $d\mu\propto \det(g)dp_{ij}dp^{*}_{ij}$ where $g$ ...

**3**

votes

**0**answers

323 views

### Galois group decomposition of non-cyclic covers

If $\pi: C \rightarrow \mathbb{P}^{1}$ is a cyclic cover of $\mathbb{P}^{1}$ with Galois group $\mathbb{Z}/m \mathbb{Z}$ and thus with the (affine) formula
$y^{m}= (x_{1}-a_{1})^{t_{1}}....(x_{n}-a_{...

**3**

votes

**0**answers

218 views

### Polarizations on $M_{0,n}$ from Kapranov's quotient constructions

In Kapranov's marvelous paper Chow quotients of Grassmannian I, he proves that $\overline{M}_{0,n}$ is isomorphic to both the Hilbert quotient and Chow quotient $(\mathbb{P}^1)^n//\text{SL}_2$. These ...

**2**

votes

**0**answers

107 views

### What techniques are available for constructing D-modules over smooth projective varieties?

I'm trying to learn about D-modules for computing intersection cohomology but I'm having trouble coming up with explicit constructions of D-modules on projective varieties. Since this is an involved ...

**2**

votes

**0**answers

86 views

### Resolution of indeterminacies for a map to Grassmannian of planes

Let $X\subset \mathbb P_k^N$ be a $n$-dimensional smooth projective variety ($n\geq 2$) and $\phi_l:X^l\dashrightarrow Gr(l,N+1)$ ($l\leq n+1$) be the natural rational map which associates to a ...

**2**

votes

**0**answers

62 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, ...

**2**

votes

**0**answers

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

**2**

votes

**0**answers

75 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

**0**answers

300 views

### Is there a projective metric on a projective space induced by a p-norm?

A projective metric on a projective space is a metric on the underlying set such that shortest path with respect to this metric are parts of entire projective straight lines.
The 2-norm induces the ...

**2**

votes

**0**answers

142 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 $S\...

**2**

votes

**0**answers

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

**2**

votes

**0**answers

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

**2**

votes

**0**answers

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

**2**

votes

**0**answers

417 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, ...

**2**

votes

**0**answers

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

**2**

votes

**0**answers

255 views

### quasi-trigonal curves

I have read in the literature about quasi-trigonal curves. Such a curve C is a hyperelliptic curve X with two points p,q identified (basically a pinch). They seem to be pretty important in the theory ...

**1**

vote

**0**answers

47 views

### Are those $2$ quadratic forms congruent over $\mathbb{Z}[1/q]$

Let $q$ be a natural number (the first cases of interest being $q = 10,12$ or $15$), and let $n = q^2+q+1$. Also, let $I_n$ be the $n\times n$ identity matrix, and let $A_n$ be the $n\times n$ ...

**1**

vote

**0**answers

59 views

### Quadrics passing through a point of a variety that are parametrized by a quadric

Let $X\subset\mathbb{P}^{N}$ be a $n$-dimensional algebraic variety and let $x\in X$. Let us suppose that
$$
\hat{Y}=\{\text{quadrics $Q\subset X$ of dimension $\frac{n}{2}$ such that $x\in Q$}\}
$$
...

**1**

vote

**0**answers

75 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 + (x_1^{(2)})^...

**1**

vote

**0**answers

74 views

### Higher entry loci

Let $X\subset\mathbb{P}^n$ be a projective variety, and let $p\in\mathbb{P}^n$ be a general point. The secant cone $C_p(X)$ relative to $p$ is the union of all the secant line of $X$ through $p$. The ...

**1**

vote

**0**answers

173 views

### A question on the secondary fan

I am studying the secondary fan decomposition of the effective cone of a projective variety $X$. Let as assume that $X$ is a Mori Dream Space. As far as I understand passing from a cone of maximal ...

**1**

vote

**0**answers

54 views

### Projection from a polytope to an affine space

Let $P\subseteq \mathbf{R}^n$ be some polytope defined by an intersection of half spaces with corresponding hyperplanes $H_k$, and let $A\subseteq \mathbf{R}^n$
be some affine space, with $A\cap P \...

**1**

vote

**0**answers

263 views

### Projective tangent cones, ordinary singularities and blow-ups

Let $X\subset\mathbb{P}^n$ be a projective variety and let $Y\subset X$ be the singular locus of $X$. Assume that $Y$ is smooth. I would like to know if the following are equivalent:
$X$ has an ...

**1**

vote

**0**answers

97 views

### Reference for a proof of a projective representation of $A_6$

This question is copied from math.stackexchange, in hope that it might get some attension.
I want to understand the proof of
There is a projective representation of $A_6 \hookrightarrow PSU(3).$...

**1**

vote

**0**answers

141 views

### Resolution of singularities of projective varieties

Let $X\subset\mathbb{P}^n$ be an irreducible variety, and let $Sing(X)$ be its singular locus. Let $Y$ be the blow-up of $\mathbb{P}^n$ along $Sing(X)$. Assume that we know that the strict transform ...

**1**

vote

**0**answers

215 views

### canonical model of a reducible curve

Let $C$ be a stable reducible curve. Is there a natural way to define it's canonical model (I guess via the dualizing sheaf)? And does somehow the dualizing sheaf restrict to the (probably twisted) ...

**1**

vote

**0**answers

160 views

### Fields over which cubic hypersurfaces are rational

All cubic hypersurfaces having at least one double point are birational to some $P^n$ over an algebraically closed field. How does the statement change as I pass to non alg closed fields? Does it hold ...

**1**

vote

**0**answers

179 views

### What is the Birkhoff norm of a Perron vector?

Let $A$ be a positive matrix. What is known about the Birkhoff norm of its Perron vector?
By the Birkhoff norm of a vector $x$ I refer to the quantity $\frac{\max{x}}{\min{x}}$.
P.S. This is ...

**1**

vote

**0**answers

90 views

### invariant lines avoiding fixed subvarieties

Could anybody help me with the following question ?
Assume we are given:
(1) a finite order (linear) automorphism $g$ of the complex projective space $\mathbb{P}^r$,
(2) a closed algebraic ...

**0**

votes

**0**answers

52 views

### A generalization of the Tucker circle theorem and the Thomsen theorem associated with a conic

I gave a generalization of the Tucker circle theorem and the Thomsen theorem at here. Now, I give a more generalization of these theorems as following:
Problem: Let $A_1A_2A_3A_4A_5A_6$ be a hexagon, ...

**0**

votes

**0**answers

96 views

### rationality of Fano 3fold $X_{18}$

I need a reference for an explicit proof of the rationality of the Fano 3-fold $X_{18}$. By explicit I mean by a sequence of explicit birational transformations.
Thank you!

**0**

votes

**0**answers

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

**0**

votes

**0**answers

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

**0**

votes

**0**answers

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

**0**

votes

**0**answers

49 views

### Pascal and Brianchon's theorems generalized for hyperbolic paraboloid

I know that giving a general version of these two theorems for quadrics can be quite tricky, but if we restrict ourselves to a verssion that holds for the hyperbolic paraboloid only it should be ...

**0**

votes

**0**answers

175 views

### projective map from $\overline{\mathcal{M}}_{0,n}$

Suppose I have a morphism $f:\overline{\mathcal{M}}_{0,n} \to \mathbb{P}^N$ birational onto its image, and I know exactly what $F$-curves are contracted (or "dually", what divisors are contracted). ...

**0**

votes

**0**answers

109 views

### Why is the set of geometrically irreducible curves of degree d in P^2 open in P^((d+2 2)-1)?

Let $X$ be a $k$-scheme. We say that $X$ is geometrically irreducible if $X\times_k \mathrm{spec}{K}$ is irreducible for all algebraically closed extensions $K$ of $k$.
Ravi Vakil states in his ...

**0**

votes

**0**answers

197 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 [...