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

2: Suppose that $R$ is an $F$-finite domain.  The \emph{$F$-signature of $R$} is defined to be

3: \[

4: s(R) = \lim_{e \to \infty} {\frk(F^e_* R) \over \rk(F^e_* R) }.

5: \]

6: This limit exists by \cite{TuckerFSigExists} and \cite{DeStefaniPolstraYaoGlobalizing}, also see \cite{PolstraTuckerCombined}.  Furthermore, by \cite[Theorem B]{DeStefaniPolstraYaoGlobalizing}, $\displaystyle s(R) = \min_{\fram \subseteq R} \{ s(R_{\fram}) \}$ where $\fram$ runs over maximal ideals of $R$.  Hence, for any Noetherian integral $F$-finite scheme $X$ we can define

7: \[

8: s(X) = \min_{x \in X} s(\O_{X,x}).

9: \]

10: \end{definition}

11: