## Criterions for Reflexiveness of sheaves and a special case

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

A coherent sheaf $V$ on a say noetherian scheme is called reflexive if the canonical map $V \rightarrow \mathcal Hom_{\mathcal O_X}(\mathcal Hom_{\mathcal O_X}(V,\mathcal O_X),\mathcal O_X)$ is an isomorphism of sheaves.

In principle, one can define this notion also for quasicoherent sheaves, and this is what my question is about: does one have criteria about when a quasicoherent module is reflexive? Or is the question of reflexiveness in general very hard to answer?

What I am particularly interested in as a special case:

If one has an infinite chain of inclusions $V_1 \subset V_2 \subset ...$ reflexive sheaves, then one knows of course that each $V_i$ is reflexive. But is the union of all these sheaves also reflexive?

-

## 4 Answers

I'll add another example to the mix even in the ring setting (as opposed to the sheaf setting). Fix a DVR $(R, \langle x \rangle)$. Then the fraction field $K(R) = \bigcup_n (x^{-n}R)$, is an ascending union of free (reflexive) modules. But clearly $K(R)$ is not itself reflexive.

On the other hand, under mild conditions on the scheme $X$, for example if it is normal, then for a coherent module being reflexive is equivalent to being S2 (Serre's second condition). The S2 condition behaves fairly well for quasi-coherent modules and might be useful for you. For example, see the paper(s) of Hartshorne: "Generalized divisors ..."

-

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

Let $R$ be a discrete valuation ring and $V$ a free $\mathcal O_X$-module of infinite rank on $X=\mathrm{Spec}(R)$. Then, neither $\mathcal Hom(V,\mathcal O_X)$ nor $\mathcal Hom(\mathcal Hom(V,\mathcal O_X),\mathcal O_X)$ is quasi-coherent. In particular, $V$ is not reflexive.

-

Let $O$ be the valuation ring of a valuation $v$ having a subgroup of the reals different from the integers as its value group. Let $v_1>v_2>\ldots >0$ be a monotonously decreasing sequence of values converging to $0$ and chose elements $x_i\in O$ such that $v(x_i)=v_i$. Then $O x_1\subset O x_2\subset\ldots \subset M$, where $M$ is the maximal ideal of $O$. Moreover

$M=\bigcup\limits_{i}Ox_i$.

But $M$ is not reflexive: $(O:M)=O$, hence $(O:(O:M))=(O:O)=O$.

However: this may only tell us that we should define reflexivity for non-coherent modules / sheaves in a different way.

-

I now clearly see the problems. Thanks to all for the nice examples and hints! – Veen Jan 30 2012 at 17:23

The problem with this attempt is that the dual of a direct sum is a direct product. So let $X=\mathrm{Spec} k$ and $V$ an infinite dimensional vector space over $k$. Then the (double) dual of $V$ is much larger than $V$ so they cannot be isomorphic.

-
{"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": 33, "mathjax_display_tex": 0, "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.9108211398124695, "perplexity_flag": "head"}