# Analytic stuctures on $\mathbb R^n$ and the nilpotent ideal of supermanifolds

+ 3 like - 0 dislike
236 views

I have two questions which are somewhat related:

(a) It is a well known result (of Freedman?) in differential topology that $\mathbb R^4$ has exotic smooth structures. Apparently, it is known that this does not happen for any $\mathbb R^n$, $n\neq 4$. In other words, every smooth structure on $\mathbb R^n$, $n\neq 4$, is diffeomorphic to the standard structure. (Whose result is it?!)

MY QUESTION: What about analytic structures on $\mathbb R^n$? or complex-analytic structures on $\mathbb C^n$? Have these questions been answered?

(b) Let $(M,O_M)$ be a smooth (respectively, analytic) supermanifold (in the sense of Berezin, Kostant, Leites, Manin, etc.), that is, $M$ is a manifold and $O_M$ is a sheaf of $\mathbb Z_2$-graded algebras which is locally isomorphic to $C^\infty(\mathbb R^m)\otimes\Lambda \mathbb R^n$ (respectively, $C^\omega(\mathbb R^m)\otimes\Lambda \mathbb R^n$).

MY QUESTION: In his book "Gauge Field Theory and Complex Geometry", Manin defines the sheaf of ideals $J_M\subseteq O_M$ by $J_M=O_{M,1}^2+O_{M,1}$ and calls it the the "ideal generated by odd elements" (see $\S4.1.3$, page 182). Then he claims that for supermanifolds, $J_M$ is equal to the sheaf of ideals of nilpotent elements. I can prove (using partition of unity) that this statement is correct for smooth supermanifolds, but not for analytic supermanifolds. I have seen this statement in various places, but without a proper explanation.

I am not even sure why $O_{M,1}^2+O_{M,1}$ is a sheaf! Of course one can consider its sheafification, but I am not convinced that this is what they are doing, and in any case I don't have a counterexample.

This post imported from StackExchange MathOverflow at 2015-03-21 18:37 (UTC), posted by SE-user Valerie

edited Mar 21, 2015
Michael Freedman found the first exotic $\Bbb R^4$ in 1982. As far as I know Milnor never did any work on exotic $\Bbb R^4$'s.

This post imported from StackExchange MathOverflow at 2015-03-21 18:37 (UTC), posted by SE-user Henry T. Horton
Thanks. Corrected. Sorry, I am by no means an expert in differential topology.

This post imported from StackExchange MathOverflow at 2015-03-21 18:37 (UTC), posted by SE-user Valerie
You might split this into 2 questions, since (a) and (b) are not very closely related.

This post imported from StackExchange MathOverflow at 2015-03-21 18:37 (UTC), posted by SE-user Ben McKay
(b): Since it is a sheaf, you only have to work locally, looking at nilpotent elements defined in an open set, so you can work with a ball in Euclidean space, if you like. This should give global supermanifold coordinates.

This post imported from StackExchange MathOverflow at 2015-03-21 18:37 (UTC), posted by SE-user Ben McKay

 Please use answers only to (at least partly) answer questions. To comment, discuss, or ask for clarification, leave a comment instead. To mask links under text, please type your text, highlight it, and click the "link" button. You can then enter your link URL. Please consult the FAQ for as to how to format your post. This is the answer box; if you want to write a comment instead, please use the 'add comment' button. Live preview (may slow down editor)   Preview Your name to display (optional): Email me at this address if my answer is selected or commented on: Privacy: Your email address will only be used for sending these notifications. Anti-spam verification: If you are a human please identify the position of the character covered by the symbol $\varnothing$ in the following word:p$\hbar$ysicsOverfl$\varnothing$wThen drag the red bullet below over the corresponding character of our banner. When you drop it there, the bullet changes to green (on slow internet connections after a few seconds). To avoid this verification in future, please log in or register.