The projective-geometry tag has no usage guidance.

**1**

vote

**1**answer

268 views

### finite surjective morphism to the projective line

Let X a smooth projective curve over $\mathbb{C}$.
We fix $d$ distinct closed points $x_{1},\dots,x_{d}$.
Can we find a finite surjective morphism $\pi:X\rightarrow\mathbb{P}^{1}$
and local ...

**11**

votes

**1**answer

666 views

### Is Wikipedia correct about desarguesian projective planes being self-dual?

I stumbled over a statement on Wikipedia http://en.wikipedia.org/wiki/Duality_%28projective_geometry%29 and would like to ask how this could possibly be true. It states the following
The ...

**4**

votes

**1**answer

357 views

### (3,3) abelian surface and k3 surfaces

SOrry for the very specific question, but curiosity bites....
So here's the story: an idecomposable principally polarized abelian surface is embedded in $P^8=|3\Theta |^* $ as a deg 18 surface A. ...

**2**

votes

**1**answer

284 views

### octic K3s inside cubic 4-folds

From the Thesis of B.Hassett I seem to understand that a smooth cubic 4-fold $X$ containing a $\mathbb{P}^2$ should contain also a octic K3, but I cannot see a natural way by which this K3 octic could ...

**20**

votes

**6**answers

2k views

### Does every ellipse inside a tetrahedron inside a ball fit in a triangle inside the ball?

In three-dimensional euclidean space, consider the closed unit ball $B$. Let $T$ be a tetrahedron, and $E$ an ellipse, with $E \subset T \subset B$. Does there necessarily exist a triangle $T'$ with ...

**1**

vote

**0**answers

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

**0**

votes

**1**answer

204 views

### complement of a codimension-one projective subspace

The complement of a codimension-one projective subspace of $\mathbb{R}\mathbf{P}^{3}$ is identifiable in a geodesic structure preserving manner with an affine $3$-space so that the group of projective ...

**4**

votes

**0**answers

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

**0**

votes

**0**answers

173 views

### lefschetz theorem for quadrics

Does there exist an analogue of Lefschetz Hyperplane Theorem for cohomology that holds for intersections with (smooth) quadrics?

**4**

votes

**2**answers

555 views

### How do I find the set of all lines lying on a general quadric in $\mathbb{CP}^3$?

I have heard that this set is the disjoint union of two conics in $Gr(2,4)$, but I do not have an original reference. Does anyone either have such a reference, or know a way of seeing this?

**4**

votes

**3**answers

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

**3**

votes

**0**answers

311 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}= ...

**2**

votes

**3**answers

322 views

### Equations for abelian coverings of $\mathbb{P^{1}}$

Cyclic coverings of $\mathbb{P^{1}}$ have a simple (affine) equation, namely the formula,
$y^{m}= (x_{1}-a_{1})^{t_{1}}....(x_{n}-a_{n})^{t_{n}}$. Is there such a nice equation for abelian non-cyclic ...

**0**

votes

**0**answers

245 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

**0**answers

174 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

**2**answers

288 views

### Mapping multivariate polynomial inequalities system to subspace

What I will ask, more than a solution, is better mathematical definition of my problem and directions to find the solution.
I have a set of linear equations, e.g.:
\begin{align}
d_1 &= L_1 - ...

**4**

votes

**2**answers

1k views

### Geometric interpretation of the exact sequence for the cotangent bundle of the projective space

Edit: As Dan Petersen pointed out, this question is a duplicate of a previous one. I would leave it for the moderators to decide if this should be closed. On the other hand, may be this should be ...

**1**

vote

**0**answers

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

**5**

votes

**2**answers

447 views

### Basics(?) about quasi-coherent modules on projective schemes

EDIT. (05-04-12) I have revised and improved the questions.
Let $A$ be a commutative $\mathbb{N}$-graded $R$-algebra, which is finitely generated by $A_1$ as an $A_0$-algebra. You may also assume ...

**4**

votes

**3**answers

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

**1**

vote

**1**answer

225 views

### In what sense is a generically submersive morphism of varieties subermersive over singular points?

Background/Motivation
I'm currently interested in the duality theorem for projective varieties and more specifically in properties of the conormal variety over the dual variety.
Let $V$ be a ...

**3**

votes

**1**answer

292 views

### Are there n polynomials for which all intersection multiplicities are at least m?

I don't know whether this is known or not, but I was thinking of the following problem.
Let $n$ and $m$ be natural numbers. Are there $n$ polynomial $f_1,...,f_n\in \mathbb{C}[x]$, such that all of ...

**9**

votes

**6**answers

3k views

### Explaining the concept of projective space: notes for students

This is a question on teaching.
I am teaching at this moment a course in algebraic geometry for master students on a very basic level. Today (this was the fourth lecture) I discovered that only four ...

**-1**

votes

**2**answers

585 views

### projective camera: back-projecting a point on the image plane into 3-space

suppose I got a projective camera model. for this model I would like to back-project a ray through a point in the image plane. I know that the equation for this is the following:
$$
y(\lambda) = P^+_0 ...

**6**

votes

**3**answers

1k views

### Original proof of Pappus' Hexagon Theorem

Does anyone know where I can find an english translation, preferrably online or in a book the library of a small liberal arts college would be likely to have, of the original proof of Pappus' hexagon ...

**1**

vote

**1**answer

224 views

### How to construct S(5,8,24)

I am aware of one construction technique, involving 8-dimensional subspaces of a 24-dimensioinal vector space to create the octads. This technique is shown in 12 Sporadic Groups.
However. I am ...

**7**

votes

**1**answer

567 views

### Proper morphism sending coherent to coherent

Hello,
Is there a proof that the push forward by a proper morphism of Noetherian schemes sends coherent sheaves to coherent ones, without passing in the argument through projective morphisms?
Thank ...

**13**

votes

**1**answer

573 views

### Vocabulary of 19th Century analytic projective geometry: What are “order” and “dimension”?

I am trying to understand the following introductory passage in an early lecture by the philosopher/mathematician Gottlob Frege because I am interested in how Frege conceived of the role of geometric ...

**1**

vote

**1**answer

296 views

### A weird action of SL_3 on a pair of lines

Let us consider the complex projective plane $P^2$ and two distinct lines $L,L'\subset P^2$. Let us moreover consider the restriction of the natural action of $SL_3$ to $L\cup L'$. Can you tell in ...

**5**

votes

**1**answer

534 views

### Are cubic four-folds containing a quartic scroll pfaffians?

Let $X\subset \mathbb{P}^5$ a smooth pfaffian smooth cubic fourfold hypersurface. It is easy to see that such a hypersurface must contain a quartic scroll surface. I wonder about the inverse question. ...

**16**

votes

**1**answer

1k views

### Accumulation of algebraic subvarieties: Near one subvariety there are many others (?), 3

Part 3 of this series of questions. In the meantime, I realized that there is some very simple question that was left open in Accumulation of algebraic subvarieties: Near one subvariety there are many ...

**3**

votes

**2**answers

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

**0**

votes

**1**answer

194 views

### Action of $SL_{n+1}$ on couples of linear spaces in $\mathbb{P}^n$.

Let $SL_{n+1}$ act on $\mathbb{P}^n$ in the natural way. Suppose I take two linear subspaces $\mathbb{P}^m$ and $\mathbb{P}^{n-m}$, with $m < n$, that intersect in one point. Is the action of ...

**1**

vote

**2**answers

374 views

### Configuration space of flags

Let $U\subset \mathbb{P}^1\times\mathbb{P}^1\times\mathbb{P}^1\times\mathbb{P}^1$ be the Zariksi open set of ordered quadruple of distinct points in the projective line. The quotient of $U$ by the ...

**3**

votes

**1**answer

295 views

### Sections of a fibration in intersections of quadrics

Suppose that we have a smooth variety $X$ of dimension $n$ that fibers (a flat morphism) over a curve $Y$, and s.t. the fibers of $X \to Y$ are all complete interesections of two quadric hypersurfaces ...

**0**

votes

**0**answers

202 views

### Does the normalization of a projective morphism determine the line bundle?

Let $X$ be a smooth, complete algebraic variety and suppose I have two projective, birational morphisms
$$f:X \to \mathbb{P}^n$$
and
$$g:X \to \mathbb{P}^m,$$
such that the image of $f$ is the ...

**2**

votes

**1**answer

571 views

### Line bundles, linear systems and normalization

One example that I always have in mind is that the plane nodal (or even the plane cuspidal) cubic curve $X$ is obtained by an appropirate 2-dim linear subsystem of $|\mathcal{O} (3)|$ on ...

**2**

votes

**2**answers

486 views

### Components of an exceptional divisor

Let $X$ be a projective variety and let $\tilde{X}$ be the blow-up of $X$ at a subscheme $Z$. Let $F$ be the exceptional divisor of $\tilde{X}$. I wonder:
What is the number of irreducible ...

**2**

votes

**2**answers

1k views

### Generalisations of Riemann-Roch for surfaces

Let $X$ be a smooth projective algebraic surface (over $\mathbb{C}$ ). For all $L\in \mathrm{Pic}(X)$, we have
$$\chi(L)=\chi(\mathcal{O}_X)+\frac{1}{2}(L^2-L\cdot \omega_X).$$
This is the famous ...

**2**

votes

**1**answer

250 views

### intersecting sections on the projective line

This question is about intersection theory on the easiest (arithmetic) surface over $\mathbf{Z}$: $\mathbf{P}^1_{\mathbf{Z}}$.
Suppose we are given two distinct $\mathbf{Q}$-rational points $b_1$ and ...

**2**

votes

**3**answers

1k views

### How to solve geometry problems using involutions

Some geometry problems ( like this and this ) have short solutions if we use involutions. What references are there for solving geometry problems using involutions? I am particularly interested in ...

**1**

vote

**1**answer

538 views

### projective geometry question

what is the three parameter family of plane projective transformations which fix a unit circle at the origin(that is map the unit circle to itself)?
I understand that one such transformation is a ...

**29**

votes

**10**answers

2k views

### Which 'well-known' algebraic geometric results do not hold in characteristic 2?

A smooth curve $X$ in $\mathbb{P}^n$ is strange if there is a point $p$ which lies on all the tangent lines of $X$.
Examples are $\mathbb{P}^1$ is strange and so is $y=x^2$ in characteristic $2$. ...

**1**

vote

**1**answer

199 views

### Projecting projective curves

I've been stuck for quite a while on what is probably a trivial problem. Let $X\subset\mathbb{P}^n$ be a smooth projective curve, and let
$$\mathcal{I}=\{(p,q,r):p,q\in X,p\neq ...

**2**

votes

**2**answers

2k views

### Calculate camera position from 3x4 projection matrix

I have a 3 x 4 projection matrix $P$ given that calculates a homogeneous 2-Vector ${\bf i}=(u,v,w)^T$ on some screen (e.g.) from a homogeneous 3-Vector ${\bf x}=(x,y,z,w)^T$ in world space by $P \cdot ...

**4**

votes

**2**answers

327 views

### Reference on the Veblen-Young characterization of projective spaces

Can someone point me to a modern treatment of the Veblen-Young characterization of projective spaces of dimension greater than $2$ as $P(V)$ for some vector space $V$?
[Added: see here for a ...

**21**

votes

**2**answers

2k views

### Accumulation of algebraic subvarieties: Near one subvariety there are many others (?)

Let's work over the field $\mathbb{C}$ of complex numbers, and let $X\subset \mathbb{P}^n$ be a projective variety. Let $\tilde{X}\subset \mathbb{P}^n$ be any small open neighborhood of $X$, in the ...

**16**

votes

**2**answers

1k views

### Why do all incidence theorems follow from Pappus' theorem?

In Hilbert and Cohn-Vossen's ``Geometry and the Imagination,"
they state in the last paragraph of Chapter 20 that "Any
theorems concerned solely with incidence relations in the
[Euclidean ...

**7**

votes

**4**answers

475 views

### Low rate c-uniform pairwise intersecting set systems

Let $U$ be some (unbounded) universe of elements, and let $\mathcal{S}$ be a collection of subsets of size $c$ each, such that any two elements from $\mathcal{S}$ have a non-empty intersection. Let $C ...

**0**

votes

**2**answers

223 views

### Dimensionality of a map — distance

Hello, I am looking for some words to describe what going on here. I'm sure this is not an original thought, so I'd like to read up on more from others who have thought out this topic further.
FORMAT
...