## Why is the symmetric monoidal structure on invertible modules strict?

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

Let $N$ be an object in a symmetric monoidal category. Then the braid map $N\otimes N\to N\otimes N$ is almost never the identity, and this is the obstruction to making a symmetric monoidal category into a "strict" symmetric monoidal category, in which the functor $\otimes$ is commutative on the nose. For example, when $\otimes$ is just the categorical product in the category of sets (or any other concrete category), this is the map $(x,y)\mapsto(y,x)$ which is almost never the identity.

However, one case in which the braid map is the identity is in the category of invertible modules over a commutative ring $R$, as a full subcategory of all modules. Indeed, the braid map $R\otimes R\to R\otimes R$ is the identity, and any invertible module $I$ is locally isomorphic to $R$, so the braid map $I\otimes I\to I\otimes I$ is locally equal to the identity and hence equal to the identity.

What I'd like to have is a more conceptual explanation for why the braid map is the identity for invertible modules, which does not use the fact that they are locally free (indeed, I'm interested in this because I want to use this to prove invertible modules are locally free in a more general setting). Unfortunately, the proof cannot just be abstract nonsense involving invertibility--for example, if we work with graded modules over a commutative ring instead of ordinary modules and use the usual sign conventions, then the braid map will be -1 rather than 1 on invertible modules concentrated in odd degrees. Does anyone know of a better explanation, or know a reason I shouldn't expect there to be one?

EDIT: Inspired by Charles's answer, here's a closely related question. I'm really interested in invertible objects in the derived category, and in the derived category dualizable objects can be represented by finite chain complexes of finite-rank projective modules. Over a local ring, then, all dualizable objects have an Euler characteristic which is an integer (as opposed to an arbitrary element of $R$). Since as Charles noted, the braid map of an invertible object can be identified with its Euler characteristic as a dualizable object, this implies that the braid map of any invertible object in the derived category of a local ring is $\pm 1$ (and so if you're willing to suspend your objects if necessary, you can assume it is 1).

Thus I would be satisfied with a conceptual answer to the following question: why is the Euler characteristic of a dualizable object in the derived category of a local ring always an integer? (It may be more natural to not assume that the ring is local, in which case you should replace "integer" with "integral linear combination of idempotents".)

-

## 1 Answer

This is an interesting question. I.e., I have no idea how to answer it ...

Here's a little bit of context to put this in. So $C$ is a symmetric monoidal category, with unit object $R$. Let $\mathrm{Pic}(C)$ be the collection of isomorphism classes of invertible objects in $C$; it's an abelian group using $\otimes$.

There's a group homomorphism $$\eta : \mathrm{Pic}(C) \to \text{($2$-torsion subgroup of $\mathrm{Aut}(R)$).}$$ This sends an invertible object $I$ to its Euler characteristic..

Here's a different construction of $\eta$ which I find easier to understand. If $I$ is an invertible object, there is a canonical isomorphism $\mathrm{Aut}(I)\approx \mathrm{Aut}(R)$; to construct it, choose an isomorphism $I\otimes J\approx R$, so that an automorphism $f:I\to I$ gets sent to an automorphism $R\approx I\otimes J \xrightarrow{f\otimes 1} I\otimes J\approx R$. Now $\eta (I)$ is just the image of the braid map $(\tau: I\otimes I \to I\otimes I)\in \mathrm{Aut}(I\otimes I)\approx \mathrm{Aut}(R)$. This definition makes it clear that $(\eta (I))^2=1$.

So you're asking why $\eta$ has trivial image when $C$ is a category of modules over a commutative ring. As you point out, in graded modules the image is ${\pm1}$. I got nothing here ...

-

What is the Euler characteristic of an invertible object?  – Martin Brandenburg Sep 15 2010 at 8:07
Martin: if an object X in C has a dual Y, then the "Euler characteristic" is a map $R\to R$; the definition is basically the same as one way to define "trace of the identity map on a vector space". "Dual" means you have maps $\eta:R\to X\otimesY$ and $\epsilon:Y\otimes X\to R$ which encode the idea that "$Y\otimes{−}$ and $X\otimes{−}$" are adjoint functors on C; then $\chi(X)$ is $R\to X\otimes Y\approx Y\otimes X\to R$, where the map in the middle is the "braid map".  – Charles Rezk Sep 15 2010 at 15:05
Hmmm...the idea of identifying $\eta$ with the Euler characteristic seems promising (though there's a bit of a diagram to chase to verify that they really are the same--the subtlety is that $\eta$ is defined in terms of the unit map and its inverse, while the Euler characteristic is defined in terms of the unit and the counit, which is NOT the same).  This lets you really recast the question: why is the Euler characteristic of any dualizable module (locally) a nonnegative integer, rather than being an arbitrary element of $R$? – Eric Wofsey Sep 15 2010 at 19:44
It is a curious diagram chase.  I do it this way: if $\chi: R\to R$ is the map which represents the euler characteristic of $X$, then show that $1_X\otimes \chi \otimes 1_X : X\otimes X\to X\otimes X$ is equal to the braid map.   – Charles Rezk Sep 15 2010 at 20:18
Hmmm, correction: it is not true that dualizable modules over local rings have Euler characteristics that are nonnegative integers.  For example, for $R=k[\epsilon]/\epsilon^2$, the module $R/\epsilon$ is dualizable and has Euler characteristic $\epsilon$. – Eric Wofsey Sep 16 2010 at 1:43
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 46, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.914766252040863, "perplexity_flag": "head"}