MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

4 Rollback to Revision 2

http://www.ams.org/mathscinet/search/publdoc.html?pg1=IID&s1=103495&vfpref=html&r=11&mx-pid=437541

which assigns a graded line bundle to a perfect complex of locally free coherent $\mathcal{O}_X$-modules. Here, a graded line bundle is just a pair $(L,\alpha)$ where $L$ is a line bundle and $\alpha$ is a locally constant function $X\rightarrow \mathbb{Z}$. The tensor product of two graded line bundles are defined to be $$(L,\alpha)\otimes (M,\beta):=(L\otimes M,\alpha+\beta)$$ with an isomorphism $$\phi: \phi (L,\alpha)\otimes (M,\beta) \rightarrow (M,\beta)\otimes (L,\alpha)$$

which sends $l\otimes m$ to $(-1)^{\alpha\beta} m\otimes l$. It is said in Soule, Abramovich, Burnol and Kramer, 'Lectures on Arakelov Geometry' Chapter VI Section 1, that we can define $(L,\alpha)^{-1}=(L^{-1},-\alpha)$ (it is slightly different since in the book, $\alpha$ is defined to be mod 2) to be the inverse of $(L,\alpha)$ and the identity is $(\mathcal{O}_X,0)$.

My question is:

is the map from $(L,\alpha)$ tensor its inverse to the identity canonical? If so, how to explain the possible sign appearing in $(L,\alpha)\otimes(L^{-1},-\alpha)\rightarrow(L^{-1},-\alpha)\otimes(L,\alpha)$? And also how to explain the following diagram: $$\xymatrix{ (L,\alpha)\otimes(L^{-1},-\alpha) \ar[dr]\ar[dd]_{(-1)^{\alpha^2}} && (L,\alpha+1)\otimes(L^{-1},-\alpha-1) \ar[dl]\ar[dd]^{(-1)^{(\alpha+1)^2}}\\ &\mathcal(O)_X&\\ ar[dl]\ar[dd]^{(-1)^{(\alpha+1)^2}}\ &\mathcal(O)_X&\ (L^{-1},-\alpha)\otimes(L,\alpha) \ar[ur] && (L^{-1},-\alpha-1)\otimes(L,\alpha+1) \ar[ul] }$$ where every arrow is an isomorphism?

3 fixed some minor tex

http://www.ams.org/mathscinet/search/publdoc.html?pg1=IID&s1=103495&vfpref=html&r=11&mx-pid=437541

which assigns a graded line bundle to a perfect complex of locally free coherent $\mathcal{O}_X$-modules. Here, a graded line bundle is just a pair $(L,\alpha)$ where $L$ is a line bundle and $\alpha$ is a locally constant function $X\rightarrow \mathbb{Z}$. The tensor product of two graded line bundles are defined to be $$(L,\alpha)\otimes (M,\beta):=(L\otimes M,\alpha+\beta)$$ with an isomorphism $$\phi \phi: (L,\alpha)\otimes (M,\beta) \rightarrow (M,\beta)\otimes (L,\alpha)$$ which sends $l\otimes m$ to $(-1)^{\alpha\beta} m\otimes l$. It is said in Soule, Abramovich, Burnol and Kramer, 'Lectures on Arakelov Geometry' Chapter VI Section 1, that we can define $(L,\alpha)^{-1}=(L^{-1},-\alpha)$ (it is slightly different since in the book, $\alpha$ is defined to be mod 2) to be the inverse of $(L,\alpha)$ and the identity is $(\mathcal{O}_X,0)$.

My question is:

is the map from $(L,\alpha)$ tensor its inverse to the identity canonical? If so, how to explain the possible sign appearing in $(L,\alpha)\otimes(L^{-1},-\alpha)\rightarrow(L^{-1},-\alpha)\otimes(L,\alpha)$? And also how to explain the following diagram: $$\xymatrix{ (L,\alpha)\otimes(L^{-1},-\alpha) \ar[dr]\ar[dd]_{(-1)^{\alpha^2}} && (L,\alpha+1)\otimes(L^{-1},-\alpha-1) \ar[dl]\ar[dd]^{(-1)^{(\alpha+1)^2}}\ &\mathcal(O)_X&\ ar[dl]\ar[dd]^{(-1)^{(\alpha+1)^2}}\\ &\mathcal(O)_X&\\ (L^{-1},-\alpha)\otimes(L,\alpha) \ar[ur] && (L^{-1},-\alpha-1)\otimes(L,\alpha+1) \ar[ul] }$$ where every arrow is an isomorphism?

2 edited latex

which assigns a graded line bundle to a perfect complex of locally free coherent $\mathcal{O}_X$-modules. Here, a graded line bundle is just a pair $(L,\alpha)$ where $L$ is a line bundle and $\apha$ \alpha$is a locally constant function$X\rightarrow \mathbb{Z}$. The tensor product of two graded line bundles are defined to be $$(L,\alpha)\otimes (M,\beta):=(L\otimes M,\alpha+\beta)$$ with an isomorphism $$\phi: \phi (L,\alpha)\otimes (M,\beta) & \rightarrow (M,\beta)\otimes (L,\alpha)$$ which sends$l\otimes m$to$(-1)^{\alpha\beta} m\otimes l$. It is said in Soule, Abramovich, Burnol and Kramer, 'Lectures on Arakelov Geometry' Chapter VI Section 1, that we can define$(L,\alpha)^{-1}=(L^{-1},-\alpha)$(it is slightly different since in the book,$\alpha$is defined to be mod 2) to be the inverse of$(L,\alpha)$and the identity is$(\mathcal{O}_X,0)$. My question is: is the map from$(L,\alpha)$tensor its inverse to the identity canonical? If so, how to explain the possible sign appearing in$(L,\alpha)\otimes(L^{-1},-\alpha)\rightarrow(L^{-1},-\alpha)\otimes(L,\alpha)\$? And also how to explain the following diagram: $$\xymatrix{ (L,\alpha)\otimes(L^{-1},-\alpha) \ar[dr]\ar[dd]_{(-1)^{\alpha^2}} && (L,\alpha+1)\otimes(L^{-1},-\alpha-1) \ar[dl]\ar[dd]^{(-1)^{(\alpha+1)^2}}\ &\mathcal(O)_X&\ (L^{-1},-\alpha)\otimes(L,\alpha) \ar[ur] && (L^{-1},-\alpha-1)\otimes(L,\alpha+1) \ar[ul] }$$ where every arrow is an isomorphism?