6
$\begingroup$

Let $X$ be a normal projective variety and $D$ a Cartier divisor on it. A point $p\in X$ is called a fixed point of $|D|$ if $p \in \operatorname{supp}(D')$ for any $D'\in |D|$. Here $|D|$ is the linear system of $D$ defined by $|D|=(H^0(X,O(D))\setminus0)/\mathbb{C}^\times\cong \mathbb{P}^{h^0(X,O(D))-1}$.

Could anyone give me a simple example of $X$ and $D$, where the fixed point set of $|D|$ is non-empty?

2 Answers 2

2

If $X$ is a smooth projective curve (e.g. a Riemann surface if you work over $\textbf C$) and $D$ is the divisor of a point $P\in X$, then $|D|$ is just $P$ (unless $X\cong\textbf P^1$, in which case $|D|=\textbf P^1$).

As another example, consider this pencil ($=$ one-dimensional linear system) on the projective plane: for $t$ ranging $\textbf P^1$, the corresponding divisor is given by the equation $y(x-tz)$: the $x$-axis plus a "vertical line". All these divisors meet at the point at infinity, and there is no other base point (even if the $x$-axis appears in each divisor!)

A useful characterization says that $|D|$ is base-point-free if and only if $\mathscr O_X(D)$ is generated by its global sections. Similarly, for non-complete linear systems: $\textbf PV^\ast\subseteq |D|$ is base-point-free if and only if $\mathscr O_X(D)$ is generated by the global sections in (a basis of) $V$. Translation: a linear system determines a rational map $\psi:X\dashrightarrow \textbf PV^\ast$, and $x\in X$ is a base point if and only if $\psi$ is not defined at $x$ (which means that all the sections generating $V$ vanish at $x$). Just take $V=H^0(X,\mathscr O_X(D))$ if you only care about complete linear systems.

Another example of a linear system with base points: let $k$ be the algebraic closure of $\textbf F_2$ and let $V\subset H^0(\textbf P^2_k,\mathscr O(3))$ be spanned by the cubics

\begin{equation} x^2y+xy^2,\,x^2z+z^2x,\,y^2z+z^2y. \end{equation}

Then the linear system $\textbf PV^\ast$ (which is two-dimensional) has $7$ base points: look at those points in $\textbf P^2_k$ at which the above sections vanish simultaneously, and you will find that this happens exactly when the coordinates all lie in $\textbf F_2$. So the base locus here is the finite projective plane $\textbf P^2_{\textbf F_2}$.

  • 0
    Thank you for clarifying the example. I will check the Keliman's article too. By the way, in my comments $O(Z)$ is typo and should be $O(-Z)$.2012-10-01
2
  1. If $D<0$, then every point of $X$ is a fixed point of $|D|=\emptyset$.

  2. If $X$ is a smooth projective curve of genus $\ge 1$, then for any rational point $P$ of $X$, $P$ is a fixed point of $|P|$ because otherwise, there would exits a rational function on $X$ with only a simple pole and this would imply that $X$ is the projective line.

  3. Let $X$ be as a curve as above. Let $P\in X$. Then $|2P|$ has no fixed point if and only if $P$ is a so called Weierstrass point. On a hyperelliptic curve, they are the ramification points of the canonical degree $2$ map $X\to \mathbb P^1$.

  4. Let $f$ be a rational map from $\mathbb P^n$ to $\mathbb P^m$. Let $D$ be the pullback of a hyperplane by $f$. Then $D$ has no fixed points if and only if $f$ is defined everywhere. So take for example f equal to a projection to a linear subspace, then $D$ has fixed points.

  • 0
    @M.K.: The first example is kind of cheating. But well logically it is correct because $|D|=\emptyset$ means there is no condition to verifiy for $p\in X$.2012-10-01