MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Hello everyone,

I'm trying to look at Mumford's Paper, The Pathologies of Modular Surfaces.

On page 341, section II he says a certain surface can be constructed as the join of 3 graphs $E_0 \rightarrow \mathbb{P}^1$. What is the join of graphs?


share|cite|improve this question
Added [terminology] tag and fixed some typos. – David Roberts Jul 26 '12 at 2:00 does this answer your question? – David Corwin Jul 26 '12 at 2:02
up vote 1 down vote accepted

The join of two varieties $X,Y\subseteq \mathbb{P}^n$ is $$ J(X,Y) = \overline{\bigcup_{\substack{x\in X,~y\in Y\\x\ne y}} \ell(x,y)}$$ where $\ell(x,y)$ denotes the projective line through $x$ and $y$. The join of $k$ varieties $X_1,\ldots,X_k\subseteq \mathbb{P}^n$ is defined to be the closure of the union of the corresponding, projective $(k-1)$-folds, or by induction $$J(X_1,\ldots,X_k) := J(X_1,J(X_2,\ldots,X_k))$$

This definition is from Joseph Landsberg's book Tensors: Geometry and Applications, page 118. The graph of a regular function is a projective variety, so this should be defined.

share|cite|improve this answer
thanks a lot mate – uncookedfalcon Jul 26 '12 at 23:04

A reference for the join of projective varieties, in Grothendieck's EGA style is

Altman, Allen B.; Kleiman, Steven L.: Joins of schemes, linear projections. Compositio Mathematica, 31 no. 3 (1975), pp. 309-343

You can dowload it here.

share|cite|improve this answer
thank you for the link! – uncookedfalcon Jul 26 '12 at 23:04

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.