 $\bullet $ ${\prod}_{i=1}^{n}{x}_{i}^{f\left({v}_{i}\right)}=1$ for any linear function $f:N\to \mathbb{Z}$ ,
 $\bullet $ ${\prod}_{i\in I}(1{x}_{i})=0$ for any set $I\subseteq [1,\dots ,n]$ such that ${v}_{i},i\in I$ are not contained in any cone of $\Sigma $ .

Proof.
Theorem 4.6 shows that
$\rho $
is surjective. It is therefore sufficient to show its injectivity. We will define a map
${\rho}_{1}:{K}_{0}\left({\mathbb{P}}_{\mathbf{\Sigma}}\right)\to B$
and prove that
${\rho}_{1}\circ \rho =\mathbf{i}\mathbf{d}$
. For any $G$ linearized sheaf $\mathcal{\mathcal{F}}$ on $Z$ , consider the $G$ equivariant module $M={H}^{0}(Z,\mathcal{\mathcal{F}})$ over $A=\mathbb{C}[{z}_{1},\dots ,{z}_{n}]$ . Consider the $A$ module $\mathbb{C}$ with trivial $G$ action. For each $i$ from $0$ to $n$ the finitedimensional vector space $To{r}_{A}^{i}(M,\mathbb{C})$ is acted upon by $G$ . It is a direct sum over the characters of $\chi :G\to {\mathbb{C}}^{*}$ of the eigenspaces ${V}_{i,\chi}$ . The group $Hom(G,{\mathbb{C}}^{*})$ is a quotient of ${\mathbb{Z}}^{n}$ by ${N}^{\vee}$ . Because of the first set of relations on ${x}_{i}$ , every character $\chi $ gives a welldefined monomial ${x}_{\chi}\in B$ . We then define $${\rho}_{1}:\mathcal{\mathcal{F}}\mapsto {\sum}_{\chi}{\sum}_{i=0}^{n}(1{)}^{i}{dim}_{\mathbb{C}}({V}_{i,\chi}){x}_{\chi}.$$ We would like to show that ${\rho}_{1}$ passes down to a welldefined map on $K$ theory, i.e. it is additive on short exact sequences. If
is an exact sequence of $G$ linearized sheaves on $Z$ with $G$ equivariant morphisms, then the sequence of $A$ modules $$0\to {M}_{1}\to {M}_{2}\to {M}_{3}$$ is only exact on the left. We complete it to a long exact sequence $$0\to {M}_{1}\to {M}_{2}\to {M}_{3}\to {M}_{4}\to 0.$$ This long exact sequence of modules splits into short exact sequences, which, in turn, give long exact sequences of $To{r}^{i}(*,\mathbb{C})$ . This shows that $${\rho}_{1}\left({M}_{1}\right)+{\rho}_{1}\left({M}_{3}\right){\rho}_{1}\left({M}_{2}\right)={\sum}_{\chi}{\sum}_{i=0}^{n}(1{)}^{i}{dim}_{\mathbb{C}}(To{r}^{i}({M}_{4},\mathbb{C}{)}_{\chi}){R}_{\chi}.$$ Because of 6 , ${M}_{4}$ is associated to the $G$ equivariant sheaf ${\mathcal{\mathcal{F}}}_{4}$ which is supported on ${\mathbb{C}}^{n}Z$ . We will show that$$\begin{array}{c}0\to {\mathcal{\mathcal{F}}}_{1}\to {\mathcal{\mathcal{F}}}_{2}\to {\mathcal{\mathcal{F}}}_{3}\to 0\end{array}$$ (6)
in $B$ by Noetherian induction on ${M}_{4}$ . Since the above element is additive on short exact sequences, it is enough to find a $G$ equivariant submodule $M$ of ${M}_{4}$ which satisfies 7 . Pick an associated prime $p$ of ${M}_{4}$ and consider an element $m\in {M}_{4}$ such that $Ann\left(m\right)=p$ . In general, we can not expect $m$ to be an eigenelement, nor can we expect $p$ to be $G$ invariant. However, let us look at the vector space $V$ which is the linear span of $gm,g\in G$ . Observe that for each $g\in G$ , the annihilator $gp$ of $gm$ is also an associated prime of ${M}_{4}$ . Since $G$ may not be connected, it could conceivably permute the associated primes.$$\begin{array}{c}{\sum}_{\chi}{\sum}_{i=0}^{n}(1{)}^{i}{dim}_{\mathbb{C}}(To{r}^{i}({M}_{4},\mathbb{C}{)}_{\chi}){x}_{\chi}=0\end{array}$$ (7) Consider the ideal $I\subset A$ given by $$I={\bigcap}_{g\in G}gp.$$ It is clear that $I$ is $G$ invariant and that it annihilates $V$ . Hence the submodule $M$ of ${M}_{4}$ generated by $V$ is an $A/I$ module.Since ${M}_{4}$ is supported on ${\mathbb{C}}^{n}Z$ , each of its associated primes contains a prime ideal of $A$ that corresponds to an irreducible component of ${\mathbb{C}}^{n}Z$ . More specifically, this is an ideal $J$ which is generated by ${z}_{i}$ with indices $i$ , such that ${v}_{i}$ do not lie in a cone $C$ of $\Sigma $ . Since $p\supseteq J$ , we get $I\supseteq J$ , and $M$ is also an $A/J$ module. We now repeat the argument of Theorem 4.6 to resolve $M$ by direct sums of rank one free $G$ equivariant $A/J$ modules generated by eigenelements. In view of the long exact sequences of $Tor$ , it suffices to show that 7 holds true for such rank one $A/J$ module. But this is precisely a relation from the second set of relations on ${x}_{i}$ , times a monomial in ${x}_{i}$ to account for possible character of the action of $G$ on the generator.It remains to show that ${\rho}_{1}\circ \rho $ is the identity. Since $B$ is additively generated by monomials ${\prod}_{i}{x}_{i}^{{r}_{i}}$ , it is enough to check this for a monomial.Observe that the global sections of ${\otimes}_{i}{\mathcal{\mathcal{L}}}_{i}^{{r}_{i}}$ form a free module ${A}_{\chi}$ over $A$ of rank one. Hence $To{r}^{>0}({A}_{\chi},\mathbb{C})$ are zero and $To{r}^{0}({A}_{\chi},\mathbb{C})=\mathbb{C}$ , with character the $\chi $ that corresponds to ${\prod}_{i}{R}_{i}^{{r}_{i}}$ . This finishes the proof. □
5 Combinatorial Chern character
In this section we study the
$K$
theory of the reduced toric DM stack
${\mathbb{P}}_{\mathbf{\Sigma}}$
in more detail. More specifically, we show that
${K}_{0}({\mathbb{P}}_{\mathbf{\Sigma}},\mathbb{C}):={K}_{0}\left({\mathbb{P}}_{\mathbf{\Sigma}}\right){\otimes}_{\mathbb{Z}}\mathbb{C}$
is isomorphic as a vector space to
${H}_{SR}({\mathbb{P}}_{\mathbf{\Sigma}},\mathbb{C})$
.
By Theorem 4.10 , we have that
${K}_{0}({\mathbb{P}}_{\mathbf{\Sigma}},\mathbb{C})\sim ={B}_{\mathbb{C}}:=B{\otimes}_{\mathbb{Z}}\mathbb{C}$
. Its maximum ideals correspond to points
$({y}_{1},\dots ,{y}_{n})\in {\mathbb{C}}^{n}$
that satisfy
${\prod}_{i=1}^{n}{y}_{i}^{f\left({v}_{i}\right)}=1$
and
${\prod}_{i\in I}(1{y}_{i})=0$
, for
$f$
and
$I$
in the definition of
$B$
.
Lemma 5.1.
The ring
${B}_{\mathbb{C}}$
is Artinian. Its maximum ideals are in onetoone correspondence with the elements of
$Box(\mathbf{\Sigma})$
as follows. A point
$v={\sum}_{{v}_{i}\in C}{\alpha}_{i}{v}_{i}$
corresponds to the
$n$
tuple
$({y}_{1},\dots ,{y}_{n})\in {\mathbb{C}}^{n}$
with
${y}_{i}={e}^{2\pi i{\alpha}_{i}}$
for
${v}_{i}\in C$
and
${y}_{i}=1$
otherwise.
Since
${B}_{\mathbb{C}}$
is Artinian, it is a direct sum of Artinian local rings obtained by localizing at maximum ideals, which we denote by
$({B}_{\mathbb{C}}{)}_{v}$
. We have
$${B}_{\mathbb{C}}={\oplus}_{v\in Box(\mathbf{\Sigma})}({B}_{\mathbb{C}}{)}_{v}$$
The next lemma describes the structure of
$({B}_{\mathbb{C}}{)}_{v}$
.

Proof.
We need to solve for
$({y}_{1},\dots ,{y}_{n})\in {\mathbb{C}}^{n}$
that satisfy
${\prod}_{i=1}^{n}{y}_{i}^{f\left({v}_{i}\right)}=1$
and
${\prod}_{i\in I}(1{y}_{i})=0$
as in the definition of
$B$
. Because of the second set of equations,
${y}_{i}$
are equal to
$1$
for all
${v}_{i}$
outside some cone
$C\in \Sigma $
. We can assume that $C$ is generated precisely by ${v}_{i}$ for indices $i$ with ${y}_{i}\ne 1$ . To simplify notations, let us assume that these ${v}_{i}$ are ${v}_{1},\dots ,{v}_{k}$ for some $k\le rkN$ .The first set of relations now reads
for any linear function $f:N\to \mathbb{Z}$ . Let ${N}_{1}$ be the intersection of $N$ and the rational span of ${v}_{1},\dots ,{v}_{k}$ . It is enough to look at $f:{N}_{1}\to \mathbb{Z}$ .$$\begin{array}{c}{}^{k}{\prod}_{i=1}{y}_{i}^{f\left({v}_{i}\right)}=1\end{array}$$ (8) By looking at some ${f}_{i}$ which is zero for $j\in [1,\dots ,k]\left\{i\right\}$ , we conclude that ${y}_{i}$ is a root of $1$ . We introduce ${\alpha}_{i}\in [0,1)$ , such that ${y}_{i}={e}^{2\pi i{\alpha}_{i}}$ .Then the relations 8 amount to ${\sum}_{i}f\left({v}_{i}\right){\alpha}_{i}\in \mathbb{Z}$ for all $f\in {N}_{1}^{\vee}$ . This is true if and only if $v={\sum}_{i=1}^{k}{\alpha}_{i}{v}_{i}\in {N}_{1}$ . Hence, the solutions to 8 are in onetoone correspondence with elements of $Box\left(C\right)$ . The condition ${y}_{i}\ne 1$ for ${v}_{i}\in C$ assures that $v$ does not lie in $Box\left({C}_{1}\right)$ for any proper face ${C}_{1}$ of $C$ .Since we are looking at all possible cones $C$ here, the description of maximum ideals follows. Finally, the ring ${B}_{\mathbb{C}}$ is Artinian, since it is Noetherian of Krull dimension zero. □
Lemma 5.2.
Let
$C$
be the minimum cone of
$\Sigma $
that contains
$v$
. Then the ring
$({B}_{\mathbb{C}}{)}_{v}$
is isomorphic as a
$\mathbb{C}$
algebra to the SRcohomology with complex coefficients of the (closed) subvariety of
${\mathbb{P}}_{\Sigma}$
that corresponds to
$C$
.

Proof.
To simplify notations, we assume that
$v={\sum}_{i=1}^{k}{\alpha}_{i}{v}_{i}$
with
${\alpha}_{i}\in (0,1)$
. We will also index the rest of
${v}_{i}$
in such a way that
${v}_{k+1},\dots ,{v}_{l}$
are contained in some cone
${C}_{1}\supset C$
, and
${v}_{l+1},\dots ,{v}_{n}$
are not. We can localize first and then apply our relations. In fact, since ${B}_{\mathbb{C}}$ is Artinian, we may assume to be working in the quotient of the power series ring in ${x}_{i}{y}_{i}$ by a sufficiently high power of the maximum ideal.This makes ${x}_{i}1$ nilpotent in $({B}_{\mathbb{C}}{)}_{v}$ for $i>k$ and it makes ${x}_{i}{e}^{2\pi i{\alpha}_{i}}$ nilpotent for $1\le i\le k$ . We define ${z}_{i}=log\left({x}_{i}\right):={\sum}_{m>0}\frac{1}{m}({x}_{i}1{)}^{m}$ for $i>k$ and ${z}_{i}=log\left({x}_{i}{e}^{2\pi i{\alpha}_{i}}\right):={\sum}_{m>0}\frac{1}{m}({x}_{i}{e}^{2\pi i{\alpha}_{i}}1{)}^{m}$ for $i=1,\dots ,k$ . The elements ${z}_{i}$ are also nilpotent and we can assume to be working in the quotient ${B}_{1}$ of $\mathbb{C}\left[\right[{z}_{1},\dots ,{z}_{n}\left]\right]$ by a sufficiently high power of the maximum ideal.We further observe that ${z}_{j}=0$ in $({B}_{\mathbb{C}}{)}_{v}$ for $j>l$ . Indeed, we have $$({x}_{j}1{)}^{k}{\prod}_{i=1}({x}_{i}1)=0$$ which translates into $$({e}^{{z}_{j}}1{)}^{k}{\prod}_{i=1}({e}^{2\pi i{\alpha}_{i}}{e}^{{z}_{i}}1)=0.$$ Since ${\alpha}_{i}\in (0,1)$ , we see that $({e}^{2\pi i{\alpha}_{i}}{e}^{{z}_{i}}1)$ is invertible in ${B}_{1}$ , so ${e}^{{z}_{j}}1=0$ . This gives ${z}_{j}(1+\frac{1}{2}{z}_{j}+...)=0$ , which leads to ${z}_{j}=0$ . As a result, we may just ignore ${z}_{j}$ for $j>l$ in our calculations and work in the quotient ${B}_{2}$ of $\mathbb{C}\left[\right[{z}_{1},\dots ,{z}_{l}\left]\right]$ by a sufficiently high power of the maximum ideal.The relations ${\prod}_{i\in I}({x}_{i}1)=0$ are now only nontrivial for $I\subseteq [1,\dots ,l]$ . Then every such set can be enlarged by adding all of $[1,\dots ,i]$ .Consider the quotient fan ${\Sigma}_{C}$ in $N/{N}_{1}$ which is made from the images of the cones that contain $C$ . Since $({x}_{i}1)$ is invertible for $i\le k$ , the relations ${\prod}_{i\in I}({x}_{i}1)=0$ become relations of the form ${\prod}_{i\in {I}_{1}}({e}^{{z}_{i}}1)$ for ${I}_{1}\subseteq [k+1,\dots ,l]$ such that ${z}_{i},i\in {I}_{1}$ are not contained in any cone of ${\Sigma}_{C}$ . As before, this is equivalent to ${\prod}_{i\in {I}_{1}}{z}_{i}=0$ for these ${I}_{1}\subseteq [k+1,\dots ,l]$ . This completely describes the second set of relations on ${z}_{i}$ .We now need to rewrite the first set of relations in terms of ${z}_{i}$ . Let $f:N\to \mathbb{Z}$ be a linear function. Then we have $${}^{k}{\prod}_{i=1}({e}^{2\pi i{\alpha}_{i}}{{)}^{f\left({v}_{i}\right)}}^{k+l}{\prod}_{i=1}{e}^{{z}_{i}f\left({v}_{i}\right)}1=0.$$ Since $f\left(v\right)\in \mathbb{Z}$ , this becomes simply $${e}^{{\sum}_{i=1}^{k+l}{z}_{i}f\left({v}_{i}\right)}1=0,$$ which is further equivalent to $${\sum}_{i=1}^{k+l}{z}_{i}f\left({v}_{i}\right)=0.$$ We can now ignore the integrality condition on $f$ and simply look at all linear functions $f:N\to \mathbb{Z}$ . Consider the subspace $V$ of linear functions on $N$ that satisfy $f\left({v}_{i}\right)=0$ for all $i\le k$ , and let ${V}_{1}$ be a complement of it. We can use elements of ${V}_{1}$ to express ${z}_{1},\dots ,{z}_{k}$ as linear combinations of ${z}_{k+1},\dots ,{z}_{l}$ . This will allow us to write $({B}_{\mathbb{C}}{)}_{v}$ as the quotient of the ring ${B}_{3}=\mathbb{C}[{z}_{k+1},\dots ,{z}_{l}]$ by a high power of a maximum ideal, and by the relations
 $\bullet $ ${\prod}_{i\in {I}_{1}}{z}_{i}$ , for ${I}_{1}$ such that ${z}_{i},i\in {I}_{1}$ do not lie in a cone of ${\Sigma}_{C}$ ,
 $\bullet $ ${\sum}_{i=1}^{k+l}{z}_{i}f\left({v}_{i}\right)$ for any linear function $f:N/{N}_{1}\to \mathbb{Q}$ .
Theorem 5.3.
There is a natural vector space isomorphism between
${K}_{0}({\mathbb{P}}_{\mathbf{\Sigma}},\mathbb{C})$
and
${H}_{SR}({\mathbb{P}}_{\mathbf{\Sigma}},\mathbb{C})$
.
Remark 5.4.
We call the map of Theorem 5.3 combinatorial Chern character. While it is an isomorphism of vector spaces, we stress that this map is not a ring homomorphism, since
${B}_{\mathbb{C}}$
is semilocal and
${H}_{SR}({\mathbb{P}}_{\mathbf{\Sigma}},\mathbb{C})$
is local. One motivation behind our construction is that it generalizes the Chern character for projective toric varieties (which, however, is a ring isomorphism).
Remark 5.5.
If
${\mathbb{P}}_{\Sigma}$
is projective, one can use the isomorphism of SRand orbifold cohomology to construct a map
${K}_{0}(\mathbf{\Sigma},\mathbb{C})\to {H}_{orb}({\mathbb{P}}_{\mathbf{\Sigma}},\mathbb{C})$
. We suspect that this map is the Chern character map of [AR] , which also motivated our terminology. But since our technique is quite different, we found it hard to make the connection explicit.
Remark 5.6.
It is an interesting question as to under what conditions on the fan the
$K$
theory is torsionfree. We do not know the answer to this, even in the case of smooth toric varieties.
Remark 5.7.
The additive isomorphism between
${K}_{0}({\mathbb{P}}_{\Sigma},\mathbb{C})$
and the SRcohomology
${H}_{SR}(N,\Sigma ,\mathbb{C})$
indicates that the
$K$
theory of a reduced toric DM stack possesses an alternative product structure that makes it into a local ring. One wonders what the geometric meaning of this structure may be. A related open question is whether there is a structure like this for the
$K$
theory of any DM stack, not necessarily a toric one.
6 The $K$ theory of nonreduced toric DM stacks
In this section we extend the calculation of
$K$
theory of toric stacks to the nonreduced case. Since this is not the main focus of this paper, we only sketch the changes necessary to extend the results.
The principal feature of the nonreduced case is that
$N$
is now just a finitely generated abelian group, i.e. it is allowed to have torsion. A fan in
$N$
is a pullback of a fan in
$N/torsion$
. A stacky fan is defined by a choice of a nonzero element
${v}_{i}$
in each of the onedimensional cones of
$\Sigma $
. We still have a map
$${\mathbb{Z}}^{n}\to N$$
with finite coindex. This allows one to define a Gale dual
$$({\mathbb{Z}}^{n}{)}^{\vee}\to {N}^{\prime}$$
which is the analog of
$({\mathbb{Z}}^{n}{)}^{\vee}\to Coker\phi $
of Section 2 , but we no longer have the surjectivity. We refer the reader to [BCS] for the details.
Consequently, the group
$G=Hom({N}^{\prime},\mathbb{C})$
is no longer a subgroup of
$({\mathbb{C}}^{*}{)}^{n}$
, but rather maps to it with a finite kernel.
Otherwise, the definition of the open subset
$Z\subseteq {\mathbb{C}}^{n}$
is the same as in the reduced case. This allows one to define line bundles
${\mathcal{\mathcal{L}}}_{i}$
on
${\mathbb{P}}_{\mathbf{\Sigma}}$
.
Unfortunately, they will no longer generate the
$K$
theory. The problem is that in the proof of Theorem 4.6 we have used that every character of
$G$
lifts to a character of
$({\mathbb{C}}^{*}{)}^{n}$
. This is no longer the case. However, we can still look at the ring
$B$
which is the quotient of the character ring of
$G$
by the relations
$${\prod}_{i\in I}({x}_{i}1)=0$$
for all
$I\subseteq [1,\dots ,n]$
, such that
${v}_{i},i\in I$
are not contained in any cone of
$\Sigma $
. Here
${x}_{i}$
correspond to
${\mathcal{\mathcal{L}}}_{i}$
as in nonreduced case. With this modification, the proofs of both Theorems 4.6 and 4.10 are extended to the nonreduced case without any major changes to show that
${K}_{0}\left({\mathbb{P}}_{\mathbf{\Sigma}}\right)\sim =B$
.
The description of the maximum ideals of
${B}_{\mathbb{C}}$
from Lemma 5.1 still holds in the nonreduced case, but the proof is a bit more complicated, especially is one does not assume the condition 4 . Specifically, these ideals correspond to elements of
$G$
whose action on
${\mathbb{C}}^{n}$
has eigenvalues one outside of the set of indices
$i$
for
${v}_{i}$
in some cone
$C\in \Sigma $
. So we have a morphism
$\psi :{N}^{\prime}\to {\mathbb{C}}^{*}$
such that the composition
$({\mathbb{Z}}^{n}{)}^{\vee}\to {N}^{\prime}\to {\mathbb{C}}^{*}$
takes value one on the basis elements that correspond to
${v}_{i}$
outside of
$C$
. The value of
$\psi $
on any element of
${N}^{\prime}$
is a root of one. Indeed,
$\psi \in G$
fixes a point in
$Z$
, and it has been shown in [BCS] that all isotropy subgroups of
$G$
action are finite. Consequently, we can think of
$\psi $
as a map
${N}^{\prime}\to \mathbb{Q}/\mathbb{Z}$
. Conversely, every such
$\psi $
gives rise to a group element with the above eigenvalue properties, and hence to a local subring of
${B}_{\mathbb{C}}$
.
We split
$({\mathbb{Z}}^{n}{)}^{\vee}$
into
$({\mathbb{Z}}^{dimC}{)}^{\vee}\oplus ({\mathbb{Z}}^{ndimC}{)}^{\vee}$
according to whether the corresponding basis elements lie in
$C$
. Consider the short exact sequence of complexes
where we assume that the vertical lines are extended by zeroes in both directions. Gale duality with torsion (see [BCS] ) implies that
$N$
can be canonically identified with the
${H}^{1}$
of the derived
$Hom(*,\mathbb{Z})$
of the middle complex. The above exact sequence shows that
$N/Span({v}_{i}\in C)$
is
${H}^{1}$
of the derived
$Hom\left(\right({\mathbb{Z}}^{ndimC}{)}^{\vee}\to {N}^{\prime},\mathbb{Z})$
.
$$\begin{array}{ccccccc}0\to & ({\mathbb{Z}}^{ndimC}{)}^{\vee}& \to & ({\mathbb{Z}}^{dimC}{)}^{\vee}\oplus ({\mathbb{Z}}^{ndimC}{)}^{\vee}& \to & ({\mathbb{Z}}^{dimC}{)}^{\vee}& \to 0\end{array}$$ 
$$\begin{array}{ccccccc}& \downarrow & & \downarrow & & \downarrow & \end{array}$$ 
$$\begin{array}{ccccccc}0\to & {N}^{\prime}& \to & {N}^{\prime}& \to & 0& \to 0\end{array}$$ 
We observe that
$\psi :{N}^{\prime}\to \mathbb{Q}/\mathbb{Z}$
constructed earlier can be identified with elements of
${H}^{0}$
of derived
$Hom\left(\right({\mathbb{Z}}^{ndimC}{)}^{\vee}\to {N}^{\prime},\mathbb{Q}/\mathbb{Z})$
. The short exact sequence
$0\to \mathbb{Z}\to \mathbb{Q}\to \mathbb{Q}/\mathbb{Z}\to 0$
yields an exact sequence
$${H}^{0}\left(Hom\right(({\mathbb{Z}}^{ndimC}{)}^{\vee}\to {N}^{\prime},\mathbb{Z}))\to {H}^{1}(Hom\left(\right({\mathbb{Z}}^{ndimC}{)}^{\vee}\to {N}^{\prime},\mathbb{Z}\left)\right)\to $$
$$\to {H}^{1}\left(Hom\right(({\mathbb{Z}}^{ndimC}{)}^{\vee}\to {N}^{\prime},\mathbb{Q})).$$
Since the last term of the above sequence is torsion free, the group
${H}^{0}\left(Hom\right(({\mathbb{Z}}^{ndimC}{)}^{\vee}\to {N}^{\prime},\mathbb{Z}))$
is precisely the torsion subgroup of
$N/Span({v}_{i}\in C)$
. Finally, elements of this torsion subgroup are in onetoone correspondence with elements of
$Box\left(C\right)$
. We leave to the reader to check that these identifications are compatible with embeddings
$Box\left({C}_{1}\right)\subseteq Box\left({C}_{2}\right)$
for
${C}_{1}\subseteq {C}_{2}$
and that they coincide with the construction of Section 5 in the reduced case. The SRcohomology of
${\mathbb{P}}_{\mathbf{\Sigma}}$
is again given as the quotient of
$\mathbb{C}[N,\Sigma ]$
by the linear relations
${\sum}_{i}f\left({v}_{i}\right)\left[{v}_{i}\right]$
. Note that it is no longer a local ring, because of the graded zero part is the group ring of the torsion subgroup of
$N$
. SRcohomology again splits into the untwisted and twisted sectors according to elements of
$Box(\mathbf{\Sigma})$
, and Propositions 3.8 and 3.9 still hold.
The combinatorial Chern character map of Theorem 5.3 still exists in the nonreduced case. It sends the local subring of the Artinian ring
${B}_{\mathbb{C}}$
which corresponds to the point
$v\in Box(\mathbf{\Sigma})$
to the SRcohomology of the corresponding twisted sector. More specifically, let
$v$
be this point and let
$C$
be the minimum cone of
$\Sigma $
that contains it. The map from
$G$
to
${G}^{\prime}$
is a finite unramified cover, so the local ring summand for
${B}_{\mathbb{C}}$
is isomorphic to the local ring of a semilocal ring
${B}_{\mathbb{C}}^{\prime}$
which is obtained by cutting the character ring of
${G}^{\prime}$
by the same set of relations. Then the calculation of Lemma 5.2 shows that
$({B}_{\mathbb{C}}{)}_{v}\sim =({B}_{\mathbb{C}}^{\prime}{)}_{v}$
is isomorphic to the SRcohomology of the twisted sector of the reduction of
${\mathbb{P}}_{\mathbf{\Sigma}}$
that corresponds to the reduction of
$v$
modulo torsion. However, this reduction does not change the coarse moduli space of the twisted sector, which finishes the construction of the isomorphism. The details are left to the reader.
7 Birational morphisms of reduced toric DM stacks
The statements of this section are implicit in [K1] , but we adjust the exposition for our notations.
Let
$N$
be a lattice and let
$\mathbf{\Sigma}=(\Sigma ,\{{v}_{i}\left\}\right)$
be a stacky fan in
$N$
.
We will assume that every cone of
$\Sigma $
is contained in a cone of
$\Sigma $
of dimension
$rkN$
. As before, let
$n$
be the number of
${v}_{i}$
and let
$Z\subset {\mathbb{C}}^{n}$
consist of the points
$\mathbf{z}=({z}_{1},\dots ,{z}_{n})$
such that the set of
${v}_{i}$
for the zero coordinates of
$\mathbf{z}$
is contained in a cone of
$\Sigma $
. Let
$G$
be the subgroup of
$({\mathbb{C}}^{*}{)}^{n}$
described by 3 . The toric DM stack
${\mathbb{P}}_{\mathbf{\Sigma}}$
is defined as the stack quotient
$[Z/G]$
where
$Z$
and
$G$
are endowed with the natural reduced scheme structures and the action of
$\left({\lambda}_{i}\right)$
on
$\left({z}_{i}\right)$
is given by
$\left({\lambda}_{i}{z}_{i}\right)$
.
Let
${\mathbf{\Sigma}}^{\prime}=({\Sigma}^{\prime},\{{v}_{j}^{\prime}\left\}\right)$
be another stacky fan in the same lattice
$N$
. Let us further assume that every cone of
${\Sigma}^{\prime}$
is contained in a cone of
$\Sigma $
. In particular, for every
$j$
there is a unique way of writing
${v}_{j}^{\prime}$
in the form
$${v}_{j}^{\prime}={\sum}_{i}{\alpha}_{i,j}{v}_{i},{\alpha}_{i,j}\in \mathbb{Q}$$
under the assumption that
${\alpha}_{i,j}$
are zero unless
${v}_{i}$
lies in the minimum cone of
$\Sigma $
that contains
${v}_{j}^{\prime}$
. Moreover, let us assume that all
${\alpha}_{i,j}$
above are integer.
Definition 7.1.
Under the above assumptions, there is a morphism
$${\mathbb{P}}_{{\mathbf{\Sigma}}^{\prime}}\to {\mathbb{P}}_{\mathbf{\Sigma}}$$
defined as follows. Define a homomorphism
$({\mathbb{C}}^{*}{)}^{{n}^{\prime}}\to ({\mathbb{C}}^{*}{)}^{n}$
which sends
$\left({\lambda}_{j}^{\prime}\right)$
to
$\left({\prod}_{j}\right({\lambda}_{j}^{\prime}{)}^{{\alpha}_{i,j}})$
. It is easy to see that this homomorphism sends points of
${G}^{\prime}$
to points of
$G$
. We also consider the map from
${\mathbb{C}}^{{n}^{\prime}}$
to
${\mathbb{C}}^{n}$
which sends
$\left({z}_{j}^{\prime}\right)$
to
$\left({\prod}_{j}\right({z}_{j}^{\prime}{)}^{{\alpha}_{i,j}})$
.
This map sends points in
${Z}^{\prime}$
to points in
$Z$
. Indeed, if the
${C}^{\prime}$
is a cone of
${\Sigma}^{\prime}$
that contains all
${v}_{j}^{\prime}$
for which
${z}_{j}^{\prime}=0$
, then
${\prod}_{j}({z}_{j}^{\prime}{)}^{{\alpha}_{i,j}}$
is nonzero unless
${v}_{i}$
lies in the minimum cone of
$\Sigma $
that contains
${C}^{\prime}$
. The map
${Z}^{\prime}\to Z$
is compatible with the map of groups
${G}^{\prime}\to G$
and their actions. This gives a map of quotient stacks, since one has the map between the corresponding groupoids.
Remark 7.2.
We call the toric morphisms of Definition 7.1 birational, because they induce isomorphisms on the big strata
$({\mathbb{C}}^{*}{)}^{rkN}$
in both stacks.
8 $K$ theory pullbacks for birational morphisms
Let
$\mu :{\mathbb{P}}_{{\Sigma}^{\prime},\left\{{v}_{j}^{\prime}\right\}}\to {\mathbb{P}}_{\Sigma ,\left\{{v}_{i}\right\}}$
be a toric birational morphism of toric DM stacks. Let
${R}_{i}$
be defined as the elements of
${K}_{0}({\mathbb{P}}_{\Sigma ,\left\{{v}_{i}\right\}},\mathbb{Q})$
that correspond to the invertible sheaves that correspond to
${v}_{i}$
, and similarly for
${R}_{j}^{\prime}$
. There is a pullback map
$${\mu}^{*}:{K}_{0}({\mathbb{P}}_{\Sigma ,\left\{{v}_{i}\right\}},\mathbb{Q})\to {K}_{0}({\mathbb{P}}_{{\Sigma}^{\prime},\left\{{v}_{j}^{\prime}\right\}},\mathbb{Q})$$
defined by pulling back the coherent sheaves. As we saw earlier in Theorem 4.10 , the elements
${\prod}_{i}{R}_{i}^{{r}_{i}}$
span
${K}_{0}({\mathbb{P}}_{\Sigma ,\left\{{v}_{i}\right\}},\mathbb{Q})$
.
Proposition 8.1.
The pullback map
${\mu}^{*}$
is given by
$${\mu}^{*}{\prod}_{i}{R}_{i}^{{r}_{i}}={\prod}_{j}({R}_{j}^{\prime}{)}^{{\sum}_{i}{\alpha}_{i,j}{r}_{i}}$$
 Proof. The category of coherent sheaves on ${\mathbb{P}}_{\Sigma ,\left\{{v}_{i}\right\}}$ is equivalent to that of $G$ linearized coherent sheaves on $Z$ , see [V,Example7.21] . Under this equivalence, ${\prod}_{i}{R}_{i}^{{r}_{i}}$ corresponds to the trivial sheaf on $Z$ , linearized by ${\mathcal{O}}_{Z}\to {g}^{*}{\mathcal{O}}_{Z}={\mathcal{O}}_{Z}$ which send $1$ to ${\prod}_{i}({\lambda}_{i}{)}^{{r}_{i}}$ . These isomorphisms pull back to the isomorphisms of ${\mathcal{O}}_{{Z}^{\prime}}$ that, for given $({\lambda}_{1}^{\prime},\dots ,{\lambda}_{{n}^{\prime}}^{\prime})$ , send $1$ to ${\prod}_{i,j}\left(\right({\lambda}_{j}^{\prime}{)}^{{\alpha}_{i,j}}{)}^{{r}_{i}}$ on ${Z}^{\prime}$ . Since the power of ${\lambda}_{j}^{\prime}$ is ${\sum}_{i}{\alpha}_{i,j}{r}_{i}$ , the result follows. □
Remark 8.2.
It is an amusing, though unnecessary, combinatorial exercise to see that the relations among
${\prod}_{i}{R}_{i}^{{r}_{i}}$
get mapped in the ideal of the relations among
${\prod}_{j}({R}_{j}^{\prime}{)}^{{r}_{j}^{\prime}}$
.
9 Weighted blowups and pushforward formulas
Let
$(\Sigma ,\{{v}_{i}\left\}\right)$
be a stacky fan in lattice
$N$
. Let
$C$
be a cone in
$\Sigma $
of dimension
$d>1$
and let
$\{{v}_{1},\dots {v}_{d}\}$
be the set of
${v}_{i}\in C$
. Let
${h}_{1},\dots ,{h}_{d}$
be some positive integers. Consider
$${v}_{0}^{\prime}:={\sum}_{i=1}^{d}{h}_{i}{v}_{i}.$$
The cone
$C$
decomposes into a union of
$d$
cones of dimension
$d$
which are given by positive linear combinations of
${v}_{0}^{\prime}$
and all but one of
${v}_{i},1\le i\le d$
.
We define a stacky fan
$({\Sigma}^{\prime},\{{v}_{j}^{\prime}\left\}\right)$
as follows. We add an extra ray which corresponds to
${v}_{0}^{\prime}$
and keep the rest of
${v}_{i}$
unchanged. Thus
${n}^{\prime}=n+1$
and
${v}_{i}^{\prime}={v}_{i}$
for
$i>0$
. Every cone
$\hat{C}$
of
$\Sigma $
that does not contain
$C$
is still a cone of
${\Sigma}^{\prime}$
. Every cone
$\hat{C}\supseteq C$
is subdivided into
$d$
cones
${C}_{1}^{\prime},\dots ,{C}_{d}^{\prime}$
according to the above decomposition of
$C$
.
Our definitions assure that there is a birational morphism
$$\mu :{\mathbb{P}}_{{\Sigma}^{\prime},\left\{{v}_{j}^{\prime}\right\}}\to {\mathbb{P}}_{\Sigma ,\left\{{v}_{i}\right\}}$$
which we call the weighted blowdown morphism. We will also denote by
$\pi $
the corresponding morphism
${Z}^{\prime}\to Z$
. Our goal is to calculate the
$K$
theory pushforward of
$\mu $
. It is best described in terms of generating functions.
Theorem 9.1.
Let
$R={R}_{0}^{\prime}$
be the
$K$
theory class of the invertible sheaf that corresponds to the extra ray
${v}_{0}^{\prime}$
. There holds
$${\mu}_{*}\left(\frac{1}{1{R}^{1}t}\right)=\frac{1}{1t}\frac{t}{1t}{\prod}_{i}\frac{1{R}_{i}^{1}}{1{R}_{i}^{1}{t}^{{h}_{i}}}$$
which should be interpreted as an identity of formal power series in
$t$
with values in
$K$
theory.

Proof.
We will again identify the abelian categories of sheaves of
${\mathbb{P}}_{{\Sigma}^{\prime},\left\{{v}_{j}^{\prime}\right\}}$
and
${\mathbb{P}}_{\Sigma ,\left\{{v}_{i}\right\}}$
with the categories of
${G}^{\prime}$
and
$G$
linearized sheaves on
${Z}^{\prime}$
and
$Z$
respectively. The
$K$
theory pushforward of a sheaf
${F}^{\prime}$
is defined as the
$K$
theory image of the alternating sum of the higher direct images of
${F}^{\prime}$
under
$\mu $
. In order to describe the higher direct images of
$\mu $
, we need to describe the direct image functor for
$\mu $
in terms of
$\pi :{Z}^{\prime}\to Z$
. We first observe that the kernel
$H$
of
${G}^{\prime}\to G$
is isomorphic to
${\mathbb{C}}^{*}$
. Indeed, the map comes from $({\mathbb{C}}^{*}{)}^{n+1}\to ({\mathbb{C}}^{*}{)}^{n}$ defined by $$({\lambda}_{0}^{\prime},{\lambda}_{1}^{\prime},\dots ,{\lambda}_{n}^{\prime})\mapsto \left({\lambda}_{1}^{\prime}\right({\lambda}_{0}^{\prime}{)}^{{h}_{1}},\dots ,{\lambda}_{d}^{\prime}({\lambda}_{0}^{\prime}{)}^{{h}_{d}},{\lambda}_{d+1}^{\prime},\dots ,{\lambda}_{n}^{\prime}).$$ The kernel is given by ${\lambda}_{0}^{\prime}=\lambda $ , ${\lambda}_{i}^{\prime}={\lambda}^{{h}_{i}}$ for $1\le i\le d$ , ${\lambda}_{>d}^{\prime}=1$ , which clearly lies in ${G}^{\prime}$ . Moreover, the map ${G}^{\prime}\to G$ is split surjective.Indeed, given $\left({\lambda}_{i}\right)\in G$ , the collection $(1,{\lambda}_{1},\dots ,{\lambda}_{n})$ will lie in ${G}^{\prime}$ , which produces the splitting. We will only need surjectivity for our arguments.For every ${G}^{\prime}$ linearized coherent sheaf ${\mathcal{\mathcal{F}}}^{\prime}$ on ${Z}^{\prime}$ , its pushforward $\mathcal{\mathcal{F}}={\pi}_{*}{\mathcal{\mathcal{F}}}^{\prime}$ on $Z$ inherits the ${G}^{\prime}$ linearization under the action of ${G}^{\prime}$ on $Z$ induced from ${G}^{\prime}\to G$ . Its subsheaf ${\mathcal{\mathcal{F}}}^{H}$ of $H$ invariants is therefore given the structure of a $G$ linearized sheaf on $Z$ . The $K$ theory pushforward of a sheaf on ${\mathbb{P}}_{{\Sigma}^{\prime},\left\{{v}_{j}^{\prime}\right\}}$ that corresponds to ${\mathcal{\mathcal{F}}}^{\prime}$ is given by ${\mathcal{\mathcal{F}}}^{H}$ . Indeed, consider the following commutative diagram
$$\begin{array}{ccccc}& {Z}^{\prime}& \stackrel{\pi}{\to}& Z& \end{array}$$ $$\begin{array}{ccccc}& {q}^{\prime}\downarrow & & \downarrow q& \end{array}$$
The sheaf on $[{Z}^{\prime}/{G}^{\prime}]$ that corresponds to ${\mathcal{\mathcal{F}}}^{\prime}$ is the subsheaf of ${G}^{\prime}$ invariants of ${q}_{*}^{\prime}{\mathcal{\mathcal{F}}}^{\prime}$ . Consequently, its direct image in $[Z/G]$ is the subsheaf of ${G}^{\prime}$ invariants of ${q}_{*}{\pi}_{*}{\mathcal{\mathcal{F}}}^{\prime}={q}_{*}\mathcal{\mathcal{F}}$ . The subgroup $H$ of ${G}^{\prime}$ acts trivially on $Z$ , so the ${G}^{\prime}$ invariants of ${q}_{*}\mathcal{\mathcal{F}}$ are the $G$ invariants of ${q}_{*}{\mathcal{\mathcal{F}}}^{H}$ . This corresponds to the $G$ equivariant sheaf ${\mathcal{\mathcal{F}}}^{H}$ on $Z$ .$$\begin{array}{ccccc}& [{Z}^{\prime}/{G}^{\prime}]& \stackrel{\mu}{\to}& [Z/G]& \end{array}$$ We have thus described the direct image functor in terms of the composition of the direct image functor ${\pi}_{*}$ from $Co{h}_{{G}^{\prime}}\left({Z}^{\prime}\right)$ to $Co{h}_{{G}^{\prime}}\left(Z\right)$ and the functor of $H$ invariants from $Co{h}_{{G}^{\prime}}\left(Z\right)$ to $Co{h}_{G}\left(Z\right)$ . The latter is exact, therefore, the higher direct images of $\mu $ are given by $\left({R}^{k}{\pi}_{*}\right({\mathcal{\mathcal{F}}}^{\prime}){)}^{H}$ .In order to prove the theorem, we need to calculate the higher direct images of the ${G}^{\prime}$ linearized invertible sheaf $\mathcal{\mathcal{L}}$ on ${Z}^{\prime}$ with the linearization that sends $1$ to $({\lambda}_{0}^{\prime}{)}^{l}$ for some integer $l\ge 0$ . We claim that $$({R}^{>0}{\pi}_{*}\mathcal{\mathcal{L}}{)}^{H}=0.$$ It is sufficient to check the statement at a fiber. Let $\mathbf{z}=({z}_{1},\dots ,{z}_{n})$ be a point in $Z$ . The fiber of $\pi $ consists of points $({z}_{0}^{\prime},{z}_{1}^{\prime},\dots ,{z}_{n}^{\prime})\in {Z}^{\prime}$ such that $$\mathbf{z}=\left({z}_{1}^{\prime}\right({z}_{0}^{\prime}{)}^{{h}_{1}},\dots ,{z}_{d}^{\prime}({z}_{0}^{\prime}{)}^{{h}_{d}},{z}_{d+1}^{\prime},\dots ,{z}_{n}^{\prime}).$$ Hence if one or more of ${z}_{1},\dots ,{z}_{d}$ are nonzero, then the fiber is isomorphic to ${\mathbb{C}}^{*}$ , which is an orbit of $H$ . The structure sheaf of ${\mathbb{C}}^{*}$ has no higher cohomology, so ${R}^{>0}{\pi}_{*}\mathcal{\mathcal{L}}$ will have zero fibers at such $\mathbf{z}$ , and ${R}^{>0}{\pi}_{*}\mathcal{\mathcal{L}}$ are supported over ${z}_{1}=\dots ={z}_{d}=0$ . For these $\mathbf{z}$ , the fiber is described by ${z}_{0}^{\prime}=0$ , ${z}_{i}^{\prime}={z}_{i}$ for $i>d$ , and $({z}_{1}^{\prime},\dots ,{z}_{d}^{\prime})\ne (0,\dots ,0)$ . The fiber is isomorphic to ${\mathbb{C}}^{d}0$ , with the group $H$ acting by multiplications of the $i$ th coordinate by ${\lambda}^{{h}_{i}}$ . The cohomology of the structure sheaf $\mathcal{O}$ on ${\mathbb{C}}^{d}0$ occurs at ${H}^{0}$ and ${H}^{d1}$ only, as can be easily calculated by the Čech complex for the covering by the open sets $({z}_{i}^{\prime}\ne 0)$ . Moreover, there is a natural isomorphism $${H}^{d1}({\mathbb{C}}^{d}0,\mathcal{O})\sim =\left({\prod}_{i}\right({z}_{i}^{\prime}{)}^{1})\mathbb{C}[({z}_{1}^{\prime}{)}^{1},\dots ,({z}_{d}^{\prime}{)}^{1}].$$ This means that the action of $\lambda \in H$ multiplies monomial generators of ${H}^{d1}({\mathbb{C}}^{d}0,\mathcal{O})$ by ${\lambda}^{{\sum}_{i}{h}_{i}{s}_{i}}$ for some ${s}_{i}<0$ . Consequently, it multiplies generators of ${H}^{d1}({\mathbb{C}}^{d}0,\mathcal{\mathcal{L}})$ by ${\lambda}^{l{\sum}_{i}{h}_{i}{s}_{i}}$ , which shows that the space of $H$ invariants is zero. Of course, the above is basically a calculation of cohomology of a line bundle on a weighted projective space.As a result, to calculate the $K$ theory pushforward of ${R}^{l}$ for $l\ge 0$ it is enough to calculate the direct image of the corresponding invertible sheaf. In the notations of the preceding paragraph, $\mathcal{\mathcal{L}}$ is naturally embedded into $\mathcal{O}$ as an ideal sheaf of $({z}_{0}^{\prime}{)}^{l}$ . As a result, $({\pi}_{*}\mathcal{\mathcal{L}}{)}^{H}$ is embedded into $({\pi}_{*}\mathcal{O}{)}^{H}$ . We first show that the latter is isomorphic to ${\mathcal{O}}_{Z}$ , which is just the statement that ${\mu}_{*}\mathcal{O}=\mathcal{O}$ for a birational morphism.The isomorphism will be glued from the isomorphisms on $({\mathbb{C}}^{*}{)}^{n}$ invariant affine subsets ${U}_{\sigma}\subseteq Z$ which correspond to the maximumdimensional cones $\sigma $ of $\Sigma $ . The subset ${U}_{\sigma}$ is defined by the condition that ${z}_{i}\ne 0$ for all ${v}_{i}\notin \sigma $ and is isomorphic to $({\mathbb{C}}^{*}{)}^{nrkN}\times {\mathbb{C}}^{rkN}$ . If $\sigma \u2289C$ , then the preimage ${\pi}^{1}{U}_{\sigma}$ in ${Z}^{\prime}$ is given by the conditions ${z}_{0}^{\prime}\ne 0$ and ${z}_{i}^{\prime}\ne 0$ for $i>0$ and ${v}_{i}\notin \sigma $ . Then ${\pi}^{1}{U}_{\sigma}$ is isomorphic to $({\mathbb{C}}^{*}{)}^{n+1rkN}\times {\mathbb{C}}^{rkN}$ . The sections of ${\pi}_{*}{\mathcal{O}}_{{Z}^{\prime}}$ on ${U}_{\sigma}$ are spanned by the monomials $\left({z}_{0}^{\prime}{)}^{{s}_{0}}{\prod}_{i}\right({z}_{i}^{\prime}{)}^{{s}_{i}}$ with ${s}_{i}\ge 0$ for all ${v}_{i}\in \sigma $ . The $H$ invariant sections in addition satisfy ${s}_{0}={\sum}_{i=1}^{d}{h}_{i}{s}_{i}$ . The isomorphism from ${\mathcal{O}}_{{U}_{\sigma}}$ to $({\pi}_{*}{\mathcal{O}}_{{Z}^{\prime}}{)}^{H}$ is constructed by sending ${\prod}_{i=1}^{n}{z}_{i}^{{s}_{i}}$ to $\left({z}_{0}^{\prime}{)}^{\sum {h}_{i}{s}_{i}}{\prod}_{i=1}^{n}\right({z}_{i}^{\prime}{)}^{{s}_{i}}$ . In the case when $\sigma \supseteq C$ , the preimage ${\pi}^{1}{U}_{\sigma}$ is given by the conditions ${z}_{i}^{\prime}\ne 0$ for ${v}_{i}\notin \sigma $ , and $({z}_{1}^{\prime},\dots ,{z}_{d}^{\prime})\ne 0$ . Consequently, it is isomorphic to $\mathbb{C}\times ({\mathbb{C}}^{d}0)\times ({\mathbb{C}}^{*}{)}^{nrkN}\times {\mathbb{C}}^{rkNd}$ . Because $d\ge 2$ , the sections of $\mathcal{O}$ on this space ignore the deletion of $0$ . The sections of ${\pi}_{*}{\mathcal{O}}_{{Z}^{\prime}}$ are over ${U}_{\sigma}$ are therefore spanned by monomials $\left({z}_{0}^{\prime}{)}^{{s}_{0}}{\prod}_{i}\right({z}_{i}^{\prime}{)}^{{s}_{i}}$ with ${s}_{0}\ge 0$ and ${s}_{i}\ge 0$ for ${v}_{i}\in \sigma $ . The $H$ invariance condition simply expresses ${s}_{0}$ in terms of other ${s}_{i}$ but imposes no further restrictions on ${s}_{1},\dots ,{s}_{n}$ . Consequently, we again have an isomorphism between ${\mathcal{O}}_{Z}$ and $({\pi}_{*}{\mathcal{O}}_{{Z}^{\prime}}{)}^{H}$ . It is clear that these isomorphisms are compatible on the intersections and hence glue together to show $({\pi}_{*}{\mathcal{O}}_{{Z}^{\prime}}{)}^{H}\sim ={\mathcal{O}}_{Z}$ .Obviously, the sheaf ${\mathcal{O}}_{Z}$ is a restriction of ${\mathcal{O}}_{{\mathbb{C}}^{n}}$ via the open embedding $Z\subseteq {\mathbb{C}}^{n}$ . We claim that $({\pi}_{*}\mathcal{\mathcal{L}}{)}^{H}$ is also a restriction of an ideal sheaf $\mathcal{\mathcal{I}}$ from ${\mathbb{C}}^{n}$ . Namely, consider the ideal sheaf $\mathcal{\mathcal{I}}$ on ${\mathbb{C}}^{N}$ which corresponds to the submodule over $\mathbb{C}[{z}_{1},\dots ,{z}_{n}]$ which is the span of monomials ${\prod}_{i=1}^{n}{z}_{i}^{{s}_{i}}$ with $${\sum}_{i=1}^{d}{s}_{i}{h}_{i}\ge l.$$ To show that it restricts to $({\pi}_{*}\mathcal{\mathcal{L}}{)}^{H}$ on $Z$ , it is again enough to calculate the sections over the open subsets ${U}_{\sigma}$ . For $\sigma \u2289C$ , we have ${\mathcal{O}}_{Z}{}_{{U}_{\sigma}}\sim =\mathcal{\mathcal{I}}{}_{{U}_{\sigma}}$ . For $\sigma \supseteq C$ , the condition on $\left({z}_{0}^{\prime}{)}^{{s}_{0}}{\prod}_{i}\right({z}_{i}^{\prime}{)}^{{s}_{i}}$ to lie in the ideal of $({z}_{0}^{\prime}{)}^{l}$ translates into ${s}_{0}\ge l$ . The invariants of that come from the monomials ${\prod}_{i}{z}_{i}^{{s}_{i}}$ with ${\sum}_{i=1}^{d}{s}_{i}{h}_{i}\ge l$ , as claimed.To calculate the pushforward of $\mathcal{\mathcal{L}}$ we now simply need to calculate the free graded resolution of the ideal $I$ of the polynomial ring $\mathbb{C}[{z}_{1},\dots ,{z}_{n}]$ which is the span of the monomials with the condition ${\prod}_{i}{z}_{i}^{{s}_{i}}$ with ${\sum}_{i=1}^{d}{s}_{i}{h}_{i}\ge l$ . Clearly, the variables ${z}_{d+1},\dots ,{z}_{n}$ can be ignored. If $$0\to {F}^{d}\to {F}^{d1}\to \cdots \to {F}^{0}\to I\to 0$$ is such a free resolution, then the alternating sum of the ${\mathbb{Z}}^{d}$ graded dimensions of ${F}^{k}$ is the ${\mathbb{Z}}^{d}$ graded dimension of $I$ , and the same is true for their generating functions. The generating function of a copy $A$ of $\mathbb{C}[{z}_{1},\dots ,{z}_{n}]$ with the grading shifted so that the multidegree of $1$ is $({r}_{1},\dots ,{r}_{d})$ is $${\sum}_{\mathbf{d}\mathbf{e}\mathbf{g}\in {\mathbb{Z}}^{d}}{dim}_{\mathbb{C}}\left({A}_{\mathbf{d}\mathbf{e}\mathbf{g}}\right){\mathbf{t}}^{\mathbf{d}\mathbf{e}\mathbf{g}}{=}^{d}{\prod}_{i=1}\frac{{t}_{i}^{{r}_{i}}}{1{t}_{i}}.$$ On the the other hand, such a module $A$ gives rise to the invertible sheaf on $Z$ that gives ${\prod}_{i=1}^{d}{R}_{i}^{{r}_{i}}$ in $K$ theory of ${\mathbb{P}}_{\Sigma ,\left\{{v}_{i}\right\}}$ . So the $K$ theory pushforward of ${R}^{l}$ is given by $${\mu}_{*}{R}^{l}{=}^{d}{\prod}_{i=1}(1{R}_{i}^{1}){\sum}_{({s}_{1},\dots ,{s}_{d})\in {\mathbb{Z}}_{\ge 0}^{d},{h}_{1}{s}_{1}+\cdots +{h}_{d}{s}_{d}\ge l}{R}_{1}^{{s}_{1}}\cdot \dots \cdot {R}_{d}^{{s}_{d}}$$ where the sum should be interpreted as a formal power series in ${R}_{i}^{1}$ which actually gives a polynomial after being multiplied by $\prod (1{R}_{i}^{1})$ .It remains to observe that if we look at the above in terms of the generating functions for all $l\ge 0$ , then $${\sum}_{l\ge 0}{t}^{l}{\mu}_{*}{R}^{l}{=}^{d}{\prod}_{i=1}(1{R}_{i}^{1}){\sum}_{l\ge 0}{t}^{l}{{\sum}_{({s}_{1},\dots ,{s}_{d})\in {\mathbb{Z}}_{\ge 0}^{d},{\sum}_{i=1}^{d}{h}_{i}{s}_{i}\ge l}}^{d}{\prod}_{i=1}{R}_{i}^{{s}_{i}}$$ $${=}^{d}{\prod}_{i=1}(1{R}_{i}^{1}){{\sum}_{({s}_{1},\dots ,{s}_{d})\in {\mathbb{Z}}_{\ge 0}^{d}}}^{d}{\prod}_{i=1}{R}_{i}^{{s}_{i}}{\sum}_{0\le l\le {\sum}_{i=1}^{d}{h}_{i}{s}_{i}}{t}^{l}$$ $${=}^{d}{\prod}_{i=1}(1{R}_{i}^{1}){\sum}_{({s}_{1},\dots ,{s}_{d})\in {\mathbb{Z}}_{\ge 0}^{d}}{\frac{1{t}^{1+{\sum}_{i}{h}_{i}{s}_{i}}}{1t}}^{d}{\prod}_{i=1}{R}_{i}^{{s}_{i}}$$ $$=\frac{1}{1t}{\frac{t}{1t}}^{d}{\prod}_{i=1}(1{R}_{i}^{1}){\sum}_{({s}_{1},\dots ,{s}_{d})\in {\mathbb{Z}}_{\ge 0}^{d}}{{t}^{{\sum}_{i}{h}_{i}{s}_{i}}}^{d}{\prod}_{i=1}{R}_{i}^{{s}_{i}}$$ $$=\frac{1}{1t}{\frac{t}{1t}}^{d}{\prod}_{i=1}\frac{1{R}_{i}^{1}}{1{R}_{i}^{1}{t}^{{h}_{i}}}.$$ We remark that the above calculations should be interpreted as calculations in formal power series in $t$ and ${R}_{i}^{1}$ with only finitely many terms at any given degree, so convergence is never an issue. This gives the desired formula for ${\mu}_{*}\frac{1}{1{R}^{1}t}$ . □
Remark 9.2.
The above theorem allows one to calculate the pushforward of any element of
$K$
theory in view of the description of the pullback in Proposition 8.1 and the pullpush formula. Indeed, every element of
${K}_{0}\left({\mathbb{P}}_{{\Sigma}^{\prime},\left\{{v}_{i}^{\prime}\right\}}\right)$
can be written as a polynomial in
$R$
and
${R}^{1}$
with coefficients in
${\mu}^{*}{K}_{0}\left({\mathbb{P}}_{\Sigma ,\left\{{v}_{i}\right\}}\right)$
.
Since
$R$
is quasiunipotent, it can be expressed in terms of negative powers of
$R$
.
So far we have considered the weighted blowups of a stratum of codimension
$d>1$
. While blowups in codimension one are isomorphisms in the smooth variety case, this is no longer true for weighted blowups of stacks. Namely, let
$(\Sigma ,\{{v}_{i}\left\}\right)$
be a stacky fan in
$N$
. Let
$C$
be a dimension one cone of
$\Sigma $
and let
${v}_{1}$
be the chosen lattice point on
$C$
.
For a positive integer
$k$
consider the stacky fan
$({\Sigma}^{\prime},\{{v}_{i}^{\prime}\left\}\right)$
defined by
${\Sigma}^{\prime}=\Sigma $
,
${v}_{1}^{\prime}=k{v}_{1}$
,
${v}_{i}^{\prime}={v}_{i},i>1$
. There is a birational morphism
$$\mu :{\mathbb{P}}_{{\Sigma}^{\prime},\left\{{v}_{i}^{\prime}\right\}}\to {\mathbb{P}}_{\Sigma ,\left\{{v}_{i}\right\}}$$
which we again call weighted blowdown morphism. To complete the discussion, we calculate the corresponding pushforward in
$K$
theory.
Since the pullback is given by
${\mu}^{*}{R}_{1}={R}_{1}^{k}$
,
${\mu}^{*}{R}_{i}={R}_{i}^{\prime}$
for
$i>1$
, it is enough to calculate the pushforward of
${R}_{1}^{m}$
for
$m=1,\dots ,k$
.
Proposition 9.3.
For
$1\le m\le k$
we have
${\mu}_{*}({R}_{1}^{\prime}{)}^{m}={R}_{1}^{1}$
.
We rewrite the result of Proposition 9.3 to resemble that of Theorem 9.1 . We denote
$R={R}_{1}^{\prime}$
.
References
Department of Mathematics, University of Wisconsin, Madison, WI, 53706, USA, borisov@math.wisc.edu , The Fields Institute, 222 College St, Toronto, Ontario, M5T 3J1, Canada, horja@fields.utoronto.ca .

Proof.
The map
${G}^{\prime}\to G$
is given by
$$({\lambda}_{1}^{\prime},{\lambda}_{2}^{\prime},\dots ,{\lambda}_{n}^{\prime})\to ({\lambda}_{k}^{\prime},{\lambda}_{2}^{\prime},\dots ,{\lambda}_{n}^{\prime})$$
and the map
$\pi :{Z}^{\prime}\to Z$
is given by
$$\pi :({z}_{1},{z}_{2},\dots ,{z}_{n})\mapsto ({z}_{1}^{k},{z}_{2},\dots ,{z}_{n}).$$
We denote by
$H$
the kernel of
${G}^{\prime}\to G$
. Since
$\pi $
is finite, its higher direct images vanish, and we only need to calculate
$({\pi}_{*}\mathcal{\mathcal{L}}{)}^{H}$
for the sheaf
$\mathcal{\mathcal{L}}$
which is isomorphic to
${\mathcal{O}}_{{Z}^{\prime}}$
with linearization given by multiplication by
$({\lambda}_{1}^{\prime}{)}^{m}$
. We can think of
$\mathcal{\mathcal{L}}$
as an ideal sheaf of
${\mathcal{O}}_{{Z}^{\prime}}$
generated by
$({z}_{1}^{\prime}{)}^{m}$
. Similar to the proof of Theorem 4.10 , $({\pi}_{*}\mathcal{\mathcal{L}}{)}^{H}$ is an ideal sheaf in ${\mathcal{O}}_{Z}$ . It is induced from a sheaf on ${\mathbb{C}}^{n}\supset Z$ . A monomial ${\prod}_{i}{z}_{i}^{{s}_{i}}$ lies in the corresponding ideal of $\mathbb{C}[{z}_{1},\dots ,{z}_{n}]$ if and only if ${s}_{1}k\ge m$ . Since $1\le m\le k$ , this is equivalent to ${s}_{1}\ge 1$ . This ideal sheaf is then identified with ${\mathcal{\mathcal{L}}}_{1}^{1}$ . □
Corollary 9.4.
For the blowdown of codimension one,
$${\mu}_{*}\left(\frac{1}{1{R}^{1}t}\right)=\frac{1}{1t}\frac{t}{(1t)}\frac{(1{R}_{1}^{1})}{(1{R}_{1}^{1}{t}^{k})}.$$
 Proof. $${\mu}_{*}\left(\frac{1}{1{R}^{1}t}\right)=1+{\sum}_{l>0}{\mu}_{*}{R}^{l}{t}^{l}=1+{\sum}_{l\ge 0}{\sum}_{m=1}^{k}{\mu}_{*}{R}^{lkm}{t}^{lk+m}$$ $$=1+{\sum}_{l\ge 0}{\sum}_{m=1}^{k}{\mu}_{*}\left({R}^{m}{\mu}^{*}{R}_{1}^{l}\right){t}^{lk+m}=1+{\sum}_{l\ge 0}{\sum}_{m=1}^{k}{R}_{1}^{l1}{t}^{lk+m}$$ $$=1+\frac{{R}_{1}^{1}(t{t}^{k+1})}{(1{R}_{1}^{1}{t}^{k})(1t)}=\frac{1}{1t}\frac{t}{(1t)}\frac{(1{R}_{1}^{1})}{(1{R}_{1}^{1}{t}^{k})}.$$ □
 D. Abramovich, T. Graber, A. Vistoli, Algebraic orbifold quantum products, Orbifolds in mathematics and physics (Madison, WI, 2001), 124, Contemp. Math., 310, Amer. Math. Soc., Providence, RI, 2002.
 A. Adem, Y. Ruan, Twisted orbifold $K$ theory, Comm. Math. Phys. 237 (2003), no. 3, 533–556.
 S. Baggio, Equivariant KTheory of Smooth Toric Varieties, preprint math.AG/0410378.
 L. Borisov, L. Chen, G. Smith, The orbifold Chow ring of toric DeligneMumford stacks, preprint math.AG/0309229, to appear in J. Amer. Math. Soc.
 L. Borisov, R. P. Horja, GKZ systems, toric DM stacks and mirror symmetry, in preparation.
 L. Borisov, A. Mavlyutov, String cohomology of CalabiYau hypersurfaces via mirror symmetry, Adv. Math. 180 (2003), no. 1, 355–390.
 W. Chen, Y. Ruan, Orbifold GromovWitten theory, Orbifolds in mathematics and physics (Madison, WI, 2001), Contemporary Mathematics 310, American Mathematical Society, Providence, RI, 2002, 25–85.
 D. Eisenbud, Commutative algebra with a view toward algebraic geometry, Graduate Texts in Mathematics, 150. SpringerVerlag, New York, 1995.
 W. Fulton, Introduction to toric varieties, Annals of Mathematics Studies, 131. The William H. Roever Lectures in Geometry. Princeton University Press, Princeton, NJ, 1993.
 R. Hartshorne, Algebraic geometry, Graduate Texts in Mathematics, No. 52. SpringerVerlag, New YorkHeidelberg, 1977.
 T. J. Jarvis, R. Kaufmann, T. Kimura, Stringy Ktheory and the Chern character, preprint math.AG/0502280.
 Y. Kawamata, Log Crepant Birational Maps and Derived Categories, preprint math.AG/0311139.
 Y. Kawamata, Derived Categories of Toric Varieties, preprint math.AG/0503102.
 G. Mumford, J. Fogarty, Geometric invariant theory. Second edition, Ergebnisse der Mathematik und ihrer Grenzgebiete [Results in Mathematics and Related Areas], 34. SpringerVerlag, Berlin, 1982.
 A. Vistoli, Intersection theory on algebraic stacks and on their moduli spaces, Invent. Math. 97 (1989), no. 3, 613–670.