The tag has no wiki summary.

learn more… | top users | synonyms

60
votes
6answers
6k views

Is there an underlying explanation for the magical powers of the Schwarzian derivative?

Given a function $f(z)$ on the complex plane, define the Schwarzian derivative $S(f)$ to be the function $S(f) = \frac{f'''}{f'} - \frac{3}{2} (\frac{f''}{f'})^2$ Here is a somewhat more conceptual ...
2
votes
0answers
228 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
1answer
467 views

Blocking set in a projective plane.

Let S be any nontrivial blocking set in a projective plane of order q, such that S not containing any line. Let A be a set of points in the same projective plane of order q, raging over all these S. ...
4
votes
2answers
258 views

Endomorphisms of bundles associated to codimension 2 subvarieties

Preamble I initially decided to post this question on math.stackexchange a few days ago, as I consider it to be much less of a research question and much more of "I'm learning" question. But there ...
2
votes
2answers
616 views

Projective transformation between polygons.

Extending my earlier question about linear transformations, what's the easiest way to test if there exists a projective linear transformation that takes one polygon to another (in ...
3
votes
2answers
655 views

Decomposition of GL(2,p) into irreducible representations

Let $G=GL(2,p)$ be the group of linear transformations. It acts on the set $X=F_p^2$. Then $C^X$ is a linear representation of $G$. What is the decomposition of this representation into irreducible ...
1
vote
1answer
217 views

References on the dual frame of a projective frame.

A projective frame $\mathcal{F}$ of a projective space $P=P(E)$ defines a basis of the vector space $E$, defined up to multiplication by a scalar. The corresponding dual basis of $E^*$ is well defined ...
0
votes
1answer
216 views

Restriction of Proj S to D(f) is isomorphic to Spec S_{(f)}

$S$ is a graded ring (over non-negative integers), $f \in S_{+}$ is a homogeneous element of positive degree, $D(f)$ the elements of Proj $S$ not containing $f$. I don't see the bijection between ...
2
votes
1answer
795 views

How far is the tangent bundle from projective space?

Is there a general theory of embeddings of the (total variety of) the tangent bundle on a (nonsingular) projective variety into projective space? I suppose what I really mean is (and to be more ...
2
votes
2answers
495 views

What is known about finite morphisms from X to the projective line

Let $f:X\longrightarrow \mathbf{P}^1$ be a finite morphism of schemes. If $f$ is etale and $X$ is connected, we can show that $f$ is an isomorphism. That is, the projective line is simply connected. I ...
23
votes
6answers
2k views

How should I visualise RP^n?

So I did some algebraic topology at university, including homotopy theory and basic simplicial homology, as well as some differential geometry; and now I'm coming back to the subject for fun via ...
3
votes
1answer
151 views

Edge-maximizing projective transformation on polytopes

Let P and Q be simple polytopes such that P = Q ∩ H and let H be a halfspace with normal vector n. Let projn(e) denote the length of the projection of edge e onto vector n. Consider the set E of ...
4
votes
1answer
186 views

Rectifying texture from image

I have a camera matrix $P$ which defines a projective transformation $\mathbb{P}^3 \rightarrow \mathbb{P}^2$. In the former space there is a plane $[ x|\pi^Tx=0 ]$. The image of the plane under $P$ ...
6
votes
2answers
463 views

Can projective hypersurfaces contain linear spaces? How big?

I am in this, rather friendly, situation: I have a complex projective space $\mathbb{P}^n$, and there i have a (possibly non-smooth) hypersurface $S$ defined by one irreducible polynomial $P$ of ...
3
votes
2answers
899 views

Function Field of projective space

I'm reading the book of Silverman about elliptic curves. It describes the function field of a variety defined over K to be the quotient field of K[X]/I(V), then says that we may look at the function ...
5
votes
4answers
778 views

Is the theory of incidence geometry complete?

Consider the basic axioms of planar incidence geometry, which allow us to speak of in-betweeness, collinearity and concurrency. These axioms per se are not complete, since for example, Desargues ...
6
votes
4answers
431 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
2answers
372 views

Flag Varieties - Projective Curves

Is it true that there are no projective curves which are also flag manifolds? If so, why?
14
votes
6answers
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 ...
29
votes
11answers
3k views

What is the Cayley projective plane?

One can build a projective plane from R^n, C^n and H^n and is then tempted to do the same for octonions. This leads to the construction of a projective plane known as OP^2, the Cayley projective ...
8
votes
9answers
3k views

What is the exact statement of “there are 27 lines on a cubic”?

I think there was a theorem, like every cubic hypersurface in $\mathbb P^3$ has 27 lines on it. What is the exact statement and details?