Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Connes defined a noncommutative analog of a closed oriented Riemannian spin^c manifold using spectral triples.

Using his definition it is unclear how to separate the smooth structure from the metric.

How can we define a noncommutative smooth manifold without the additional Riemannian and spin^c structures?

Any references on this subject will be appreciated.

share|improve this question
    
Contrary to your premise, the smooth and spin-c structures seem to me to be crisply separated in the spectral triple of a spin-c manifold. One has the algebra A of smooth functions, the A-module H of L^2-spinors, and the Dirac operator D on H. So A is intrinsic to the manifold, while (H,D) depend on additional parameters. Connes' characterization of A as smooth is by its commutativity and the existence of an A-module "of the right kind". Perhaps one can pin down "the right kind" also for the module H of L^2 differential forms with its self-adjoint operator d+d*?? –  Tim Perutz Mar 3 '10 at 16:56
    
The algebra A is certainly intrinsic to the manifold but perhaps we need to extract some other piece of data from (H,D) before we can separate the smooth structure from the metric and spin^c structures. –  Dmitri Pavlov Mar 4 '10 at 3:52
4  
I can't be completely certain, but I don't think anybody knows how to do this. The problem is that to go from manifolds to spectral triples Connes uses the spinor Dirac operator (essentially because it determines the K-homology fundamental class), so that is what he axiomatizes. I think the right way to answer your question would be to axiomatize the signature operator instead, but I've never seen this done. –  Paul Siegel Jun 13 '11 at 13:18

3 Answers 3

I'm a bit wary of resurrecting such an old question, but given that the precise content of the reconstruction theorem doesn't seem to be terribly well disseminated, please permit me to cross-post from math.SE and then make some extra comments:

"To be absolutely clear about the state of the art, Connes's theorem actually tells you the following:

  • A unital Frechet pre-$C^\ast$-algebra $A$ is isomorphic to $C^\infty(X)$ for $X$ a compact orientable $p$-manifold if and only if there exists a $\ast$-representation of $A$ on a Hilbert space $H$ and a self-adjoint unbounded operator $D$ on $H$ such that $(A,H,D)$ is a commutative spectral triple of metric dimension $p$.
  • In particular, $A$ is isomorphic to $C^\infty(X)$ for $X$ a compact spin$^{\mathbb{C}}$ $p$-manifold if and only if there exist $H$ and $D$ such that $(A,H,D)$ is a commutative spectral triple of metric dimension $p$ and $A^{\prime\prime}$ acts on $H$ with multiplicity $2^{\lfloor p/2\rfloor}$.

"Once you know that $A \cong C^\infty(X)$, you can then apply the much earlier "baby reconstruction theorem" (for lack of a better phrase) announced by Connes and proved in detail by Gracia-Bondia--Varilly--Figueroa to conclude that:

  • In the general case, $(A,H,D) \cong (C^\infty(X),L^2(X,E),D)$ where $E \to X$ is a Hermitian vector bundle and $D$ can be interpreted as an essentially self-adjoint elliptic first-order differential operator on $E$.
  • In the case where $A^{\prime\prime}$ acts with multiplicity $2^{\lfloor p/2 \rfloor}$, $E \to X$ is in fact a spinor bundle (i.e., irreducible Clifford module bundle) and $D$ is Dirac-type (viz, a perturbation of a spin$^{\mathbb{C}}$ Dirac operator by a symmetric bundle endomorphism of $E$).

"So, whilst you can refine the reconstruction theorem to a characterisation of compact spin$^{\mathbb{C}}$ manifolds with spinor bundle and essentially self-adjoint Dirac-type operator, the general result is really just a statement about compact orientable manifolds. Indeed, one can even refine the reconstruction theorem to a characterisation of compact oriented Riemannian manifolds with self-adjoint Clifford module and essentially self-adjoint Dirac-type operator."

As for why you need more than just an algebra $A$, here's what I understand of the situation:

  1. Gel'fand--Naimark says that a commutative unital $C^\ast$-algebra gives a compact Hausdorff space, no more and no less.
  2. Going by the example of $C^\infty(X) \subset C(X)$, one might try considering commutative unital Frechet pre-$C^\ast$-algebras, but one can readily cook up examples of such algebras that aren't isomorphic to $C^\infty(X)$ for some $X$. So, if one still wishes to follow this line of inquiry, one would need still more structure.
  3. In terms of the reconstruction theorem itself (which does tend to be treated as a black box), Connes's proof (insofar as I can understand) really makes absolutely essential use of all three parts of the spectral triple $(A,H,D)$:

    • the norm closure of $A$ in $B(H)$, by Gel'fand--Naimark, gives you a (canonical) compact Hausdorff space $X$;
    • the noncommutative integral defined by $D$ gives a Radon measure on $X$;
    • the Hochschild cycle of the orientability condition gives you candidates for charts;
    • the operator $D$ then gets used to show that you actually have a smooth atlas.

    This doesn't suggest, of course, that a spectral triple is the optimal notion of algebra + extra data qua noncommutative manifold, but it does suggest that it might well be a reasonably economical definition. In particular, it suggests that the real puzzle with the spectral triple formalism isn't the extra Riemannian data, but rather the seemingly absolute necessity of orientability.

My apologies for the long-windedness!

share|improve this answer

I believe the closest answer is in Connes' On the Spectral Characterization of Manifolds. The main theorem is that if a (commutative) spectral triple (A,H,D) satisfies a list of certain nice properties, then A is the algebra of smooth functions on a compact oriented smooth manifold. I'm not sure this really separates the smooth structure and metric data, but hopefully the reference is still useful.

share|improve this answer
5  
Well, this is the paper that inspired me to ask this question. The actual statement of the theorem involves Riemannian and spin^c structures. I cannot find any relevant statement in this paper that is applicable to a manifold that does not admit a spin^c structure. –  Dmitri Pavlov Mar 3 '10 at 8:13

The right notion is the one of `smooth subalgebra' of a C*-algebra.

See by example the following paper, page 27:

Noncommutative spectral geometry of Riemannian foliations: some results and open problems

http://front.math.ucdavis.edu/0601.5093

share|improve this answer
    
I think you are being a bit hasty: you need not just a smooth subalgebra but a spectral triple, as the other answers and comments have pointed out. Since A is a smooth subalgebra of A, I think more is needed in order to encode some notion of NC manifold... (If you want slightly less fatuous examples, then take something like $\ell^1({\mathbb Z})$ viewed as a dense *-subalgebra of $C^*({\mathbb Z})\cong C({\mathbb T})$.) –  Yemon Choi Jun 13 '11 at 6:21

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.