Suppose X is a pure dimensional projective complex scheme, reducible and non-reduced but without embedded components of lower dimension. Let $X=\cup X\_i$ be the decomposition such that $X\_i$ is set-theoretically irreducible and $\dim(X\_i\cap X\_j)<\dim(X\_i)$. 


Let $F\_X$ be a torsion free sheaf of $\mathcal{O}\_X$-modules. If $F$ is generically locally free on each $X\_i$ then one can define its multi-rank. What to do if $F|\_{X\_i}$ is not generically locally free?


For example let $X:=(x^p=0)\subset\mathbf P^2$ be the multiple line. Let $F\_j$ be the $\mathcal{O}\_X$ module generated by $x^j$. For $0 < j < p$ it is not locally free at any point.


My guess: let $pt\in X\_i$ be generic enough closed point. Let $p\_i$ be the generic multiplicity of $X\_i$. At the point $pt\in X$ consider the intersection of $X\_i$ with the generic plane of the complementary dimension. This gives the sub-scheme $Y\subset X $ supported on $pt$. Take the fraction $\frac{length(F\otimes\mathcal{O}\_Y)}{p\_i}$ as the rank on $X\_i$.


In the previous example this gives the rank of $F\_j$: $\frac{p-j}{p}$.


Is this the commonly accepted definition? References?



How the multi-rank of a torsion free sheaf on a non-reduced scheme is defined?
I don't know about commonly accepted, but here is one definition of rank (not multi-rank) that appears in theory of [stable sheaves](http://www.numdam.org/item?id=PMIHES_1994__79__47_0). Fix an ample line bundle $L$ and consider the Hilbert polynomial $P\_{L}(F, t)$, defined by 


$$
 P\_{L}(F, n) = \chi(F \otimes L^{\otimes n}).
$$


The leading term of $P\_{F, L}(t)$ is of the form $ \frac{r}{d!} t^d$, where $d$ is the dimension of the support. The number $r$ is called the ``rank" (with respect to $L$).


You can try to define multi-rank by doing this component-by-component.


**Added:** Here is an example. Consider the projective plane $\mathbb{P}^2\_{\mathbb{C}}$ with coordinates $X, Y, Z$. A closed subscheme $C$ is defined by $X^p=0$, and the hyperplane class defines a very ample line bundle $\mathcal{L}$ on $C$. What are $\mathcal{L}$-ranks of some sheaves on $C$?


The Hilbert polynomial of the structure sheaf is:
$$
 P\_{\mathcal{L}}(\mathcal{O}\_{C}, T) = p T + 1 - \frac{(p-1)(p-2)}{2}.
$$


In particular, the $\mathcal{L}$-rank is not $p$ and not $1$! More generally, you can check that every line bundle on $X$ has $\mathcal{L}$-rank $p$. This suggests that the $\mathcal{L}$-rank takes into account both the degree of the polarization and some information about the generators of $F$.


Now let's consider a sheaf that is generically non-zero, but also generically non-free. If $i \colon \mathbb{P}^1 \to C$ is the inclusion of the reduced subscheme, then 


$$I := i\_{\*}(\mathcal{O}\_{\mathbb{P}^1})$$


has this property. An application of the projection formula shows that the Hilbert polynomial of this function is:
$$
 P\_{\mathcal{L}}(I, T) = T + 1.
$$


In particular, the $\mathcal{L}$-rank is $1$!. The ratio of the $\mathcal{L}$-rank and the degree of $\mathcal{L}$ is equal to $1/p$. This looks closer to the number you are expecting.


