Lemma 55.4.2 (0C7I)—The Stacks project

Processing math: 0%

Table of contents
Part 3: Topics in Scheme Theory
Chapter 55: Semistable Reduction
Section 55.4: The Picard group of a numerical type
Lemma 55.4.2 (cite)

previous definition
next lemma

numberstags

history
statistics

Lemma 55.4.2. Let $n, m_ i, a_{ij}, w_ i, g_ i$ be a numerical type $T$ . The Picard group of $T$ is a finitely generated abelian group of rank $1$ .

Proof. If $n = 1$ , then $A = (a_{ij})$ is the zero matrix and the result is clear. For $n > 1$ the matrix $A$ has rank $n - 1$ by either Lemma 55.2.2 or Lemma 55.2.3. Of course the rank is not affected by scaling the rows by $1/w_ i$ . This proves the lemma. $\square$

Comments (0)

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$ ). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Comments (0)

Post a comment