Return to Answer

For another perspective, think about definitions of "complex manifold" or "real analytic manifold". Normally you use atlases for this, imposing the Hausdorff and paracompactness conditions separately. You can restate the atlas part of the definition in sheaf language, but you can't hope to get the rest of it that way, can you? I mean, you can't get the paracompactness from properties like acyclicity or flasqueness, because you don't have those properties.

Of course, you can always fall back on "a complex manifold is a real manifold plus the following extra structure", but that seems to go against the spirit of the question.

On a related note, of course the "basic" property of transitivity of the automorphism group fails in the complex-analytic case. (Query: what about the real-analytic case?)

EDIT From the comments it is clear that I haven't expressed myself clearly. Let me try again.

The usual definition of "smooth manifold" says (1) the space is equipped with an atlas in which all the charts are pairwise smoothly compatible, or rather an equivalence class of such atlases, or if you prefer a maximal such atlas, (2) the space is paracompact, (3) the space is Hausdorff.

Daniel likes the option of replacing (1) by the logically equivalent:

(1)' the space is equipped with a sheaf of algebras such that every point has a nbhd such that ...

He is wondering if he can simultaneously replace (3) by some extra requirement on the sheaf (something implying acyclicity) to get either an equivalent definition or a slightly weaker but still useful notion, and he offers as evidence the idea that the usefulness of (3) can be expressed in sheaf language. I am not offering an opinion about that.

I am just pointing out the following: If you did succeed in reworking the definition of smooth manifold in this esthetically pleasing way, then you might want to do the same for the definition of complex analytic manifold. But you'd get stuck on the fact that the structure sheaf is not acyclic.

So maybe you would fall back on describing a complex manifold as a smooth manifold plus extra structure.

But wait, what about topological manifolds? Don't we like them to be paracompact, too? For similar reasons as in the real case. Does it seem esthetically right to emphasize the ring of continuous functions when dealing with topological manifolds?

By the way, why do we want complex manifolds to be paracompact? Probably to allow the occasional use of $C^\infty$ methods.

Oh, and what about piecewise linear manifolds? Here (and also, by the way, for $C^k$ manifolds for $k\ge 1$ finite) there is no sheaf of rings involved. But there is the option of using charts, where compatibility of charts depends on the notion of PL homeomorphism between open subsets of $\mathbb R^n$). If you don't also assume paracompactness and Hausdorff then you won't have triangulations. Is there some sheafy way to discuss this?

OK, I've rambled, and probably replaced one unclear thing by several other unclear things.

For another perspective, think about definitions of "complex manifold" or "real analytic manifold". Normally you use atlases for this, imposing the Hausdorff and paracompactness conditions separately. You can restate the atlas part of the definition in sheaf language, but you can't hope to get the rest of it that way, can you? I mean, you can't get the paracompactness from properties like acyclicity or flasqueness, because you don't have those properties.

Of course, you can always fall back on "a complex manifold is a real manifold plus the following extra structure", but that seems to go against the spirit of the question.

On a related note, of course the "basic" property of transitivity of the automorphism group fails in the complex-analytic case. (Query: what about the real-analytic case?)

EDIT From the comments it is clear that I haven't expressed myself clearly. Let me try again.

The usual definition of "smooth manifold" says (1) the space is equipped with an atlas in which all the charts are pairwise smoothly compatible, or rather an equivalence class of such atlases, or if you prefer a maximal such atlas, (2) the space is paracompact, (3) the space is Hausdorff.

Daniel likes the option of replacing (1) by the logically equivalent:

(1)' the space is equipped with a sheaf of algebras such that every point has a nbhd such that ...

He is wondering if he can simultaneously replace (2) by some extra requirement on the sheaf (something implying acyclicity) to get either an equivalent definition or a slightly weaker but still useful notion, and he offers as evidence the idea that the usefulness of (2) can be expressed in sheaf language. I am not offering an opinion about that.

I am just pointing out the following: If you did succeed in reworking the definition of smooth manifold in this esthetically pleasing way, then you might want to do the same for the definition of complex analytic manifold. But you'd get stuck on the fact that the structure sheaf is not acyclic.

So maybe you would fall back on describing a complex manifold as a smooth manifold plus extra structure.

But wait, what about topological manifolds? Don't we like them to be paracompact, too? For similar reasons as in the real case. Does it seem esthetically right to emphasize the ring of continuous functions when dealing with topological manifolds?

By the way, why do we want complex manifolds to be paracompact? Probably to allow the occasional use of $C^\infty$ methods.

Oh, and what about piecewise linear manifolds? Here (and also, by the way, for $C^k$ manifolds for $k\ge 1$ finite) there is no sheaf of rings involved. But there is the option of using charts, where compatibility of charts depends on the notion of PL homeomorphism between open subsets of $\mathbb R^n$). If you don't also assume paracompactness and Hausdorff then you won't have triangulations. Is there some sheafy way to discuss this?

OK, I've rambled, and probably replaced one unclear thing by several other unclear things.

For another perspective, think about definitions of "complex manifold" or "real analytic manifold". Normally you use atlases for this, imposing the Hausdorff and paracompactness conditions separately. You can restate the atlas part of the definition in sheaf language, but you can't hope to get the rest of it that way, can you? I mean, you can't get the paracompactness from properties like acyclicity or flasqueness, because you don't have those properties.

Of course, you can always fall back on "a complex manifold is a real manifold plus the following extra structure", but that seems to go against the spirit of the question.

On a related note, of course the "basic" property of transitivity of the automorphism group fails in the complex-analytic case. (Query: what about the real-analytic case?)

EDIT From the comments it is clear that I haven't expressed myself clearly. Let me try again.

The usual definition of "smooth manifold" says (1) the space is equipped with an atlas in which all the charts are pairwise smoothly compatible, or rather an equivalence class of such atlases, or if you prefer a maximal such atlas, (2) the space is paracompact, (3) the space is Hausdorff.

Daniel likes the option of replacing (1) by the logically equivalent:

(1)' the space is equipped with a sheaf of algebras such that every point has a nbhd such that ...

He is wondering if he can simultaneously replace (3) by some extra requirement on the sheaf (something implying acyclicity) to get either an equivalent definition or a slightly weaker but still useful notion, and he offers as evidence the idea that the usefulness of (3) can be expressed in sheaf language. I am not offering an opinion about that.

I am just pointing out the following: If you did succeed in reworking the definition of smooth manifold in this esthetically pleasing way, then you might want to do the same for the definition of complex analytic manifold. But you'd get stuck on the fact that the structure sheaf is not acyclic.

So maybe you would fall back on describing a complex manifold as a smooth manifold plus extra structure.

But wait, what about topological manifolds? Don't we like them to be paracompact, too? For similar reasons as in the real case. Does it seem esthetically right to emphasize the ring of continuous functions when dealing with topological manifolds?

By the way, why do we want complex manifolds to be paracompact? Probably to allow the occasional use of $C^\infty$ methods.

Oh, and what about piecewise linear manifolds? Here (and also, by the way, for $C^k$ manifolds when $0<k<\infty$) there is no sheaf of rings involved. But there is the option of using charts, where compatibility of charts depends on the notion of PL homeomorphism between open subsets of $\mathbb R^n$). If you don't also assume paracompactness and Hausdorff then you won't have triangulations. Is there some sheafy way to discuss this?

OK, I've rambled, and probably replaced one unclear thing by several other unclear things.

For another perspective, think about definitions of "complex manifold" or "real analytic manifold". Normally you use atlases for this, imposing the Hausdorff and paracompactness conditions separately. You can restate the atlas part of the definition in sheaf language, but you can't hope to get the rest of it that way, can you? I mean, you can't get the paracompactness from properties like acyclicity or flasqueness, because you don't have those properties.

Of course, you can always fall back on "a complex manifold is a real manifold plus the following extra structure", but that seems to go against the spirit of the question.

On a related note, of course the "basic" property of transitivity of the automorphism group fails in the complex-analytic case. (Query: what about the real-analytic case?)

EDIT From the comments it is clear that I haven't expressed myself clearly. Let me try again.

The usual definition of "smooth manifold" says (1) the space is equipped with an atlas in which all the charts are pairwise smoothly compatible, or rather an equivalence class of such atlases, or if you prefer a maximal such atlas, (2) the space is paracompact, (3) the space is Hausdorff.

Daniel likes the option of replacing (1) by the logically equivalent:

(1)' the space is equipped with a sheaf of algebras such that every point has a nbhd such that ...

He is wondering if he can simultaneously replace (3) by some extra requirement on the sheaf (something implying acyclicity) to get either an equivalent definition or a slightly weaker but still useful notion, and he offers as evidence the idea that the usefulness of (3) can be expressed in sheaf language. I am not offering an opinion about that.

I am just pointing out the following: If you did succeed in reworking the definition of smooth manifold in this esthetically pleasing way, then you might want to do the same for the definition of complex analytic manifold. But you'd get stuck on the fact that the structure sheaf is not acyclic.

So maybe you would fall back on describing a complex manifold as a smooth manifold plus extra structure.

But wait, what about topological manifolds? Don't we like them to be paracompact, too? For similar reasons as in the real case. Does it seem esthetically right to emphasize the ring of continuous functions when dealing with topological manifolds?

By the way, why do we want complex manifolds to be paracompact? Probably to allow the occasional use of $C^\infty$ methods.

Oh, and what about piecewise linear manifolds? Here (and also, by the way, for $C^k$ manifolds for $k\ge 1$ finite) there is no sheaf of rings involved. But there is the option of using charts, where compatibility of charts depends on the notion of PL homeomorphism between open subsets of $\mathbb R^n$). If you don't also assume paracompactness and Hausdorff then you won't have triangulations. Is there some sheafy way to discuss this?

OK, I've rambled, and probably replaced one unclear thing by several other unclear things.

For another perspective, think about definitions of "complex manifold" or "real analytic manifold". Normally you use atlases for this, imposing the Hausdorff and paracompactness conditions separately. You can restate the atlas part of the definition in sheaf language, but you can't hope to get the rest of it that way, can you? I mean, you can't get the paracompactness from properties like acyclicity or flasqueness, because you don't have those properties.

Of course, you can always fall back on "a complex manifold is a real manifold plus the following extra structure", but that seems to go against the spirit of the question.

On a related note, of course the "basic" property of transitivity of the automorphism group fails in the complex-analytic case. (Query: what about the real-analytic case?)

For another perspective, think about definitions of "complex manifold" or "real analytic manifold". Normally you use atlases for this, imposing the Hausdorff and paracompactness conditions separately. You can restate the atlas part of the definition in sheaf language, but you can't hope to get the rest of it that way, can you? I mean, you can't get the paracompactness from properties like acyclicity or flasqueness, because you don't have those properties.

Of course, you can always fall back on "a complex manifold is a real manifold plus the following extra structure", but that seems to go against the spirit of the question.

On a related note, of course the "basic" property of transitivity of the automorphism group fails in the complex-analytic case. (Query: what about the real-analytic case?)

EDIT From the comments it is clear that I haven't expressed myself clearly. Let me try again.

The usual definition of "smooth manifold" says (1) the space is equipped with an atlas in which all the charts are pairwise smoothly compatible, or rather an equivalence class of such atlases, or if you prefer a maximal such atlas, (2) the space is paracompact, (3) the space is Hausdorff.

Daniel likes the option of replacing (1) by the logically equivalent:

(1)' the space is equipped with a sheaf of algebras such that every point has a nbhd such that ...

He is wondering if he can simultaneously replace (3) by some extra requirement on the sheaf (something implying acyclicity) to get either an equivalent definition or a slightly weaker but still useful notion, and he offers as evidence the idea that the usefulness of (3) can be expressed in sheaf language. I am not offering an opinion about that.

I am just pointing out the following: If you did succeed in reworking the definition of smooth manifold in this esthetically pleasing way, then you might want to do the same for the definition of complex analytic manifold. But you'd get stuck on the fact that the structure sheaf is not acyclic.

So maybe you would fall back on describing a complex manifold as a smooth manifold plus extra structure.

But wait, what about topological manifolds? Don't we like them to be paracompact, too? For similar reasons as in the real case. Does it seem esthetically right to emphasize the ring of continuous functions when dealing with topological manifolds?

By the way, why do we want complex manifolds to be paracompact? Probably to allow the occasional use of $C^\infty$ methods.

Oh, and what about piecewise linear manifolds? Here (and also, by the way, for $C^k$ manifolds when $0<k<\infty$) there is no sheaf of rings involved. But there is the option of using charts, where compatibility of charts depends on the notion of PL homeomorphism between open subsets of $\mathbb R^n$). If you don't also assume paracompactness and Hausdorff then you won't have triangulations. Is there some sheafy way to discuss this?

OK, I've rambled, and probably replaced one unclear thing by several other unclear things.