Is there a sheaf theoretical characterization of a differentiable manifold? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-18T05:34:52Z http://mathoverflow.net/feeds/question/88056 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/88056/is-there-a-sheaf-theoretical-characterization-of-a-differentiable-manifold Is there a sheaf theoretical characterization of a differentiable manifold? Daniel Moskovich 2012-02-10T00:30:13Z 2012-02-16T13:31:54Z <p>I'm going through the crisis of being unhappy with the textbook definition of a differentiable manifold. I'm wondering whether there is a sheaf-theoretic approach which will make me happier. In a nutshell, is there a natural condition to impose on a structure sheaf $\mathcal{C}^k_M$ of a topological space $M$ that can stand-in for the requirement that $M$ be second-countable Hausdorff?</p> <h3>Background</h3> <p>Most textbooks introduce differentiable manifolds via <a href="http://en.wikipedia.org/wiki/Differentiable_manifold#Definition" rel="nofollow">atlases and charts</a>. This has the advantage of being concrete, and the disadvantage of involving an arbitrary choice of atlas, which obscures the basic property that a differential manifold "looks the same at all points" (for $M$ connected, without boundary: diffeomorphism group acts transitively). And isn't introducing local coordinates "an act of violence"?</p> <p>I saw a much nicer definition of differentiable manifolds on Wikipedia, which I don't know a good textbook reference for. This definition proceeds via <a href="http://en.wikipedia.org/wiki/Differentiable_manifold#Sheaves_of_local_rings" rel="nofollow">sheaves of local rings</a>. The Wikipedia definition stated:</p> <blockquote> A differentiable manifold (of class $C_k$) consists of a pair $(M, \mathcal{O}_M)$ where $M$ is a topological space, and $\mathcal{O}_M$ is a sheaf of local $\mathbb{R}$-algebras defined on $M$, such that the locally ringed space $(M,\mathcal{O}_M)$ is locally isomorphic to $(\mathbb{R}^n, \mathcal{O})$. <br>[$\mathcal{O}(U)=C^k(U,\mathbb{R})$ is the structure sheaf on $\mathbb{R}^n$.] </blockquote> <p>Beautiful, really! Entirely coordinate free. But isn't there a General Topology condition missing?</p> <p>I <a href="http://math.stackexchange.com/questions/107319/sanity-check-about-wikipedia-definition-of-differentiable-manifold-as-a-locally" rel="nofollow">confirmed on math.SE</a> (to make sure that I wasn't hallucinating) that this definition is indeed missing the condition that $M$ be second-countable Hausdorff. That indeed turned out to be the case, so I edited the Wikipedia definition to require $M$ to be second-countable Hausdorff.<br></p> <h3>Why am I still not happy?</h3> <p>The deep reason that we require a differentiable manifold to be paracompact, as per <a href="http://math.stackexchange.com/questions/98105/why-are-smooth-manifolds-defined-to-be-paracompact/98124#98124" rel="nofollow">Georges Elencwajg's extremely informative answer</a>, is that paracompactness makes sheaves of $C_M^k$-modules (maybe $k=\infty$) <a href="http://en.wikipedia.org/wiki/Injective_sheaf#Acyclic_sheaves" rel="nofollow">acyclic</a>. This is a purely sheaf-theoretic property (a condition on the structure sheaf of $M$ rather than on $M$ itself), which quickly implies good things like that every subbundle of a vector bundle on $M$ be a direct summand. Is this in fact enough?</p> <p>If it were enough to require that $\mathcal{O}_M$ be <a href="http://en.wikipedia.org/wiki/Injective_sheaf#Acyclic_sheaves" rel="nofollow">acyclic</a>, or maybe <a href="http://en.wikipedia.org/wiki/Injective_sheaf#Fine_sheaves" rel="nofollow">fine</a>, then the nicest, most flexible (and, in a strange sense, most enlightening) definition of differentiable manifold, would be:</p> <blockquote> <b>Definition</b>: A differentiable manifold (of class $C_k$) consists of a pair $(M, \mathcal{O}_M)$ where $M$ is a topological space, and $\mathcal{O}_M$ is an <b>acyclic</b> sheaf of local $\mathbb{R}$-algebras defined on $M$, such that the locally ringed space $(M,\mathcal{O}_M)$ is locally isomorphic to $(\mathbb{R}^n, \mathcal{O})$. </blockquote> <p>Maybe the word <b>acyclic</b> should be <b>fine</b>. Maybe soft and acyclic. Maybe a bit more, but still something that can be stated in terms of the structure sheaf.</p> <blockquote> <b>Question</b>: Can I put a natural sheaf-theoretic condition on $\mathcal{O}_M$ (acyclic? fine?) which ensures that $M$ (a topological space) must be a second-countable Hausdorff space? If not, would such a condition at least ensure that $M$ be a generalized differentiable manifold in some kind of useful sense? </blockquote> <p><hr> <b>Update</b>: This question really bothers me, so I've started a bounty. I'd like to narrow it down a little in order to make it easier to answer:</p> <p>Does <b>acyclicity</b> (or a slightly stronger condition) on $\mathcal{O}_M$ of a topological (Hausdorff?) space imply <b>paracompactness</b> (or a slightly weaker but still useful condition)? </p> <p>Hausdorff bothers me as well, of course; but a sheafy characterization of paracompactness somehow seems like it has the potential to be lovely and really enlightening. </p> http://mathoverflow.net/questions/88056/is-there-a-sheaf-theoretical-characterization-of-a-differentiable-manifold/88057#88057 Answer by Fernando Muro for Is there a sheaf theoretical characterization of a differentiable manifold? Fernando Muro 2012-02-10T00:34:24Z 2012-02-10T00:34:24Z <p>Why do you want manifolds to be second-countable Hausdorff? You exclude long lines and the line with double origin. You can develop most of the theory without these conditions. You won't have metrizability, though.</p> http://mathoverflow.net/questions/88056/is-there-a-sheaf-theoretical-characterization-of-a-differentiable-manifold/88074#88074 Answer by Tom Goodwillie for Is there a sheaf theoretical characterization of a differentiable manifold? Tom Goodwillie 2012-02-10T05:07:17Z 2012-02-14T14:17:20Z <p>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.</p> <p>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.</p> <p>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?) </p> <p>EDIT From the comments it is clear that I haven't expressed myself clearly. Let me try again. </p> <p>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. </p> <p>Daniel likes the option of replacing (1) by the logically equivalent:</p> <p>(1)' the space is equipped with a sheaf of algebras such that every point has a nbhd such that ... </p> <p>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.</p> <p>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. </p> <p>So maybe you would fall back on describing a complex manifold as a smooth manifold plus extra structure. </p> <p>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?</p> <p>By the way, why do we want complex manifolds to be paracompact? Probably to allow the occasional use of $C^\infty$ methods. </p> <p>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?</p> <p>OK, I've rambled, and probably replaced one unclear thing by several other unclear things.</p> http://mathoverflow.net/questions/88056/is-there-a-sheaf-theoretical-characterization-of-a-differentiable-manifold/88081#88081 Answer by Sebastian for Is there a sheaf theoretical characterization of a differentiable manifold? Sebastian 2012-02-10T07:53:22Z 2012-02-10T07:53:22Z <p>Dear Daniel, you should take a look into the nice book "Global Calculus" of S. Ramanan.</p> <p>From the Review of the book by John Miller: "This is a decidedly individual course on analysis and geometry on manifolds. The book begins by introducing smooth manifolds as spaces equipped with sheaves of differentiable functions. Although this approach is unusual in a textbook, it works rather smoothly. ...."</p> http://mathoverflow.net/questions/88056/is-there-a-sheaf-theoretical-characterization-of-a-differentiable-manifold/88085#88085 Answer by Johannes Ebert for Is there a sheaf theoretical characterization of a differentiable manifold? Johannes Ebert 2012-02-10T09:46:47Z 2012-02-16T13:31:54Z <p>Definition: ''A smooth manifold is a locally ringed space $(M;C^{\infty})$ which satisfies the conditions:</p> <ol> <li>Each $x \in M$ admits a neighborhood $U$, such that $(U,C^{\infty})$ is isomorphic to $(\mathbb{R}^n,C^{\infty})$ as a locally ringed space.</li> <li>The global sections of $C^{\infty}(M)$ separate points.</li> <li>The structure sheaf $C^{\infty}$ is fine as a sheaf of modules over itself.</li> <li>$C^{\infty}(M)$ has at most countably many indecoposable idempotents.''</li> </ol> <p>Explanations: </p> <p>1) is evident. </p> <p>2) means that for $x \neq y \in M$, there exists $f \in C^{\infty}(M)$ with $f(x)=0$, $f(y) \neq 0$. This ensures the Hausdorff condition once we know that elements of $C^{\infty}(M)$ give rise to continuous maps $M \to \mathbb{R}$. This is as follows: $f \in C^{\infty}(M)$ given, $x \in M$. Pick a chart $h:U \to \mathbb{R}^n$; under this chart, $f|_U$ corresponds to a smooth function on $\mathbb{R}^n$, whose value at $h(x)$ does not depend on the choice of the chart. Call this value $f(x)$. Checking the continuity of $x \mapsto f(x)$ can be done in charts.</p> <p>3.) By this I mean that for each open cover $(U_i)$, there is a partition of unity $\lambda_i$ with the usual properties and that $\lambda_i$ is a map of $C^{\infty} (M)$-modules. A standard argument shows that $\lambda_i$ is given by multiplication with a smooth function. Therefore, the underlying space $M$ is paracompact.</p> <p>4.) An idempotent $p\neq 0$ in a commutative ring $A$ is called indecomposable if </p> <p>$$p=q +r; r^2 =r; q^2 =q , q \neq 0 \Rightarrow p = q$$</p> <p>holds. Indecomposable idempotents in $C^{\infty}(M)$ correspond to connected components. Therefore condition 4 means that $M$ has only countably many connected components.</p> <p>These conditions together imply that $M$ is Hausdorff and second countable, because a locally euclidean, connected and paracompact Hausdorff space is second countable, see Gauld, "Topological properties of manifolds", Theorem 7 (see <a href="http://www.jstor.org/stable/2319220" rel="nofollow">http://www.jstor.org/stable/2319220</a> ). Paracompactness alone does not guarantee second countability, see $\mathbb{R}$ with the discrete topology.</p> <p>However, I think that sheaf theory and locally ringed spaces are the wrong software for differential geometry and differential topology.</p> http://mathoverflow.net/questions/88056/is-there-a-sheaf-theoretical-characterization-of-a-differentiable-manifold/88089#88089 Answer by Stefan Waldmann for Is there a sheaf theoretical characterization of a differentiable manifold? Stefan Waldmann 2012-02-10T10:28:02Z 2012-02-10T10:28:02Z <p>This is more a long comment than an answer, but the comments concerning the question Hausdorff or non-Hausdorff triggered this...</p> <p>The second countable condition is certainly desirable for many reasons (embedding theorems etc) but there are prominent examples of non-Hausdorff manifolds in differential geometry. If you have a Lie algebroid, i.e. a vector bundle $E \longrightarrow M$ such that the sections of $E$ are equipped with a Lie bracket which satisfies a Leibniz rule along a bundle map $E \longrightarrow TM$ (the anchor) then there is a notion of a corresponding Lie groupoid integrating this. The obstructions for existence have been described in a beautiful paper by Crainic and Fernandes. Nevertheless, the resulting Lie groupoid is typically not Hausdorff but the non-Hausdorffness (funny word) is not so bad. The fibers of the source/target as well as the base of the Lie groupoid are all Hausdorff, it is only the way they are glued together which makes it non-Hausdorff.</p> <p>So this does not answer your question at all, but I think that an answer should also take care of these kind of situation as this is really important in many areas of differential geometry (Lie groupoids are everywhere...).</p>