1: \begin{definition}[$F$-signature, \cite{HunekeLeuschkeTwoTheoremsAboutMaximal} \cite{BlickleSchwedeTuckerFSigPairs1}]

2: Suppose that $(R, \fram, k)$ is a $d$-dimensinal $F$-finite local ring with $\alpha = \alpha(R)$ such that $p^{\alpha} = [k : k^p]$.  If we write $F^e_* R = R^{\oplus a_e} \oplus M$ where $M$ has no free $R$-summands, in other words $a_e$ is the maximal rank of a free $R$-summand of $F^e_* R$, then the \emph{$F$-signature of $R$}, is equal to

3: \[

4: s(R) := \lim_{e \rightarrow \infty} {a_e \over p^{e(d+\alpha)}}.

5: \]

6: More generally, if $\Delta \geq 0$ is a $\bQ$-divisor on $\Spec R$ and if we let $a_e^\Delta$ denote the maximal rank of a free $R$-summand of $F^e_* R$ whose corresponding projection maps lie in $\Hom_R\bigl(F^e_* R(\lceil (p^e - 1)\Delta\rceil), R\bigr) \subseteq \Hom_R(F^e_* R, R)$, then the \emph{$F$-signature of the pair $(R, \Delta)$} is equal to

7: \[

8: s(R, \Delta) := \lim_{e \rightarrow \infty} {a_e^\Delta \over p^{e(d+\alpha)}}.

9: \]

10: \end{definition}

11: