The projective-geometry tag has no wiki summary.

**7**

votes

**1**answer

233 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

**0**answers

25 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} ...

**3**

votes

**1**answer

184 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

**1**answer

65 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

**1**answer

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

**3**

votes

**4**answers

598 views

### When does a planar ternary ring uniquely coordinitise a projective plane?

From every projective plane a coordinitisation can be constructed on a planar ternary ring, and conversely from every planar ternary ring a projective plane can be constructed. (For background see ...

**11**

votes

**3**answers

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

**3**

votes

**2**answers

606 views

### Ample divisors on blown-up projective space

Let $\mathbb{P}=\mathrm{Proj}(\mathbb{C}[x_0,\ldots,x_n])$ be complex projective $n$-space. Assume I have linear subvarieties $L_1,\ldots,L_k\in\mathbb{P}$ of codimension $r_i\ge 2$, respectively. Let ...

**6**

votes

**1**answer

271 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**

votes

**0**answers

29 views

### Is it possible to transform projections? [migrated]

From linear algebra I know how to transform a point or a direction from one space to another using transformation matrices (and I think it's pretty awesome by the way). But what about projections? Is ...

**2**

votes

**1**answer

148 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

**0**answers

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

**3**

votes

**2**answers

150 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

**0**answers

96 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

**2**answers

180 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

**1**answer

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

**14**

votes

**6**answers

2k views

### Maps to projective space determined by a line bundle

The following should be pretty standard for any algebraic geometer.
Let $X$ be a compact complex variety, and let $L$ be a line bundle on $X$. We say $L$ is 'generated by global sections' if for ...

**4**

votes

**3**answers

590 views

### (Second) Chern class of projective space, blown up in a linear subvariety

I already asked the same question at stack exchange but got no response for quite a while, so I thought I'd ask here. I also know that this has a certain resemblance to this question, but I cannot ...

**2**

votes

**1**answer

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

**2**

votes

**1**answer

88 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

**1**answer

84 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

**1**answer

157 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

**2**answers

361 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

**0**answers

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

**0**

votes

**1**answer

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

**3**

votes

**1**answer

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

**4**

votes

**1**answer

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

**7**

votes

**2**answers

254 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

**2**answers

234 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

**0**answers

296 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

**0**answers

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

**0**

votes

**0**answers

186 views

### Projective spaces with nonconstant regular functions

I can construct a scheme by patching that represents a projective space over an arbitrary ring. I can also prove that, if the ring is a Jacobson domain, the only regular functions on it are constants.
...

**1**

vote

**1**answer

197 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

**1**answer

313 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

**1**answer

165 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

**0**answers

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

**10**

votes

**0**answers

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

**4**

votes

**1**answer

118 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$ ...

**2**

votes

**1**answer

198 views

### why is the homological projective dual of this Lefschetz decomposition non-commutative?

I am reading these notes of an excellent course by Kuznetsov on Homological Projective Duality. On page 10 there is Example 1''.
One starts with projective space, endowed with the identity embedding ...

**2**

votes

**2**answers

215 views

### On well-formedness of weighted projective spaces and a Hurwitz theorem calculation

This question has two parts: A calculation that is giving me a lot of troubles, and a theoretical one on weighted projective spaces.
1) I want to find the genus of the curve $C_7 \subset ...

**4**

votes

**1**answer

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

**3**

votes

**0**answers

104 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$ ...

**1**

vote

**1**answer

95 views

### Angles and projective metric

Unless I am very wrong, the following seems to be true:
If the angle between two vectors in $\mathbb{R}^{n}_{++}$ is small, then the
value of the Hilbert projective metric between them is also ...

**4**

votes

**1**answer

97 views

### A certain property of elliptic curves in a paper by Rees

In the paper "On a problem of Zariski", David Rees presents a counterexample to the following problem of Zariski.
Let $F/k$ be a f.g. field extension, $S$ a f.g. normal integral domain over $k$ ...

**3**

votes

**0**answers

71 views

### What criteria are to determine if two projective varieties are projectively equivalent?

A projective transformation is a morphism of $P^n$ to $P^n$, for some $n$, determined by an
$(n + 1) \times (n + 1)$ invertible matrix $A$ in the obvious way. The sets $Q$, $R$ are projectively ...

**6**

votes

**4**answers

422 views

### Divisors, extensions of functions

This might be a silly/obvious question. I know that we have the removable singularity theorem (of Riemann) on the complex line, and we also have the generalization of this to algebraic curves. ...

**3**

votes

**2**answers

466 views

### Visualization of the real projective plane [closed]

Consider a closed (compact and without boundary) and non-orientable 2-manifold $M$. By Whitney embedding theorem, one can embed $M$ in $\mathbb{R}^4$. $M$ cannot be embeded in $\mathbb{R}^3$ and just ...

**0**

votes

**1**answer

178 views

### Koszul complex of a variety inside a product

Suppose $X$ is a smooth projective complete intersection contained in the product $\mathbb{P}^n \times \mathbb{P}^m$, and call $X_n$ and $X_m$ the images of $X$ inside $\mathbb{P}^n$ and ...

**14**

votes

**1**answer

547 views

### Octonions and the Fano plane.

Does the Fano plane mnemonic for octonion multiplication have any deeper meaning?
http://upload.wikimedia.org/wikipedia/commons/2/2d/FanoPlane.svg
The symmetry group of the Fano plane is PSL(2,7), ...

**10**

votes

**1**answer

280 views

### Fano plane drawings: embedding PG(2,2) into the real plane

By a drawing of the Fano plane I mean a system of seven simple curves and
seven points in the real plane such that
every point lies on exactly three curves, and every curve contains
exactly three ...