Welcome to MathOverflow

Question

0

1

I see in some books the authors call a one dimensional linear system a pencil, but in other books one call a linear system $|D|$ is not compsited with a pencil if $\dim \phi_{|D|}(X)\geq 2$ and even someone just say a pencil of curves etc. It seems these terms have different meanings. My question is the following.

What is the common pointview about the notion of a pencil? What is the realtions among above terms?

flag	asked Sep 8 at 3:04 MZWang 403●4

Sándor Kovács · Accepted Answer · 2012-09-08 17:32:57Z UTC

Well, I think this is kind of an antiquated terminology and I think it is going out of use (hopefully). I believe the classical meaning of a pencil was a 1-dimensional linear system of curves (whose members are connected) on a surface. In other words, calling the equivalent notion a pencil (in arbitrary dimensions) is just a generalization of the notion of a pencil of curves. The only not-necessarily-obvious usage is the expression not-composite-with-a-pencil. The point is, that by a pencil of curves they meant a surface fibred over a curve with connected fibers. I am sure that when this was originally invented they did not yet talk about fibrations and such. Anyway, the point is, if you say your linear system is one dimensional it could still be a fibration followed by a finite map, that is, the composition of a pencil and another map, so your original linear system is composite-with-a-pencil.

Jack Huizenga · Answer 2 · 2012-09-08 06:41:24Z UTC

1

There is a difference between the notion of "linear pencil" and "algebraic pencil." Roughly, a linear pencil on $X$ is just a linear series of dimension 1; equivalently, it can be thought of as a map $X\to \mathbb P^1$. On the other hand, an algebraic pencil is either a map $X\to C$ for a curve $C$, or equivalently, the family of fibers of such a map.

The terminology "not composite with a pencil" refers to the algebraic kind of pencil, not the linear kind.

answered Sep 8 at 6:41

Jack Huizenga
3,082●1●5●18

1

A remark on the last sentence: "not composite with a pencil" is use also for linear pencils. – rita Sep 8 at 17:34

Is it ever used specifically for linear pencils, or are you just remarking that a linear pencil is a special case of an algebraic pencil? – Jack Huizenga Sep 8 at 19:35

1

@Jack: it is often used without distinguishing the linear case (including case when there are base points) from the general one. Sometimes people talk about "rational" (i.e. over ${\mathbb P^1$) and "irrational" pencils (over a curve of genus $>0$). – rita Sep 9 at 10:23

@Jack: I prefer this explanation. Although I still have some confusion about a divisor composed of a pencil. – MZWang Sep 10 at 12:15

What’s the meaning of pencils in birational geometry?

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

2 Answers

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.