L3

This purpose of this talk will be to introduce the idea that the spectrum of nonstandard models of a ``standard''

algebraic object can be used much like a microscope with which one may perceive and codify irrationality invisible within the standard model.

This will be done by examining the following three themes:

\item {\it Algebraic topology of foliated spaces} We define the fundamental germ, a generalization of fundamental group for foliations, and show that the fundamental germ of a foliation that covers a manifold $M$ is detected (as a substructure) by a nonstandard model of the fundamental group of $M$.

\item {\it Real algebraic number theory.} We introduce the group $(r)$ of diophantine approximations of a real number $r$, a subgroup of a nonstandard model of the integers, and show how $(r)$ gives rise to a notion of principal ideal generated by $r$.

The general linear group $GL(2, \mathbb{Z})$ plays here the role of a Galois group, permuting the real ideals of equivalent real numbers.

\item {\it Modular invariants of a Noncommutative Torus.} We use the fundamental germ of the associated Kronecker foliation as a lattice and define the notion of Eisenstein series, Weierstrass function, Weierstrass equation and j-invariant.

It a classical result from Kleinian groups that a discrete group, $G$, of isometries of hyperbolic k-space $\Bbb H^k$ will act on the

boundary sphere, $S^{k-1}$, of $\Bbb H^k$ as a convergence group.

That is:

For every sequence of distinct isometries $(g_i)\subset G$ there is a subsequence ${g_i{_j})$ and points $n,p \in \S^{k-1}$ such that for $ x \in S^{k-1} -\{n\}$, $g_i_{j}(x) \to p$ uniformly on compact subsets

Joint work with Soren Galatius. We study categories C of d-dimensional cobordisms, from the perspective of Galatius, Madsen, Tillmann and Weiss. Their main result is the determination of the homotopy type of the classifying-space of such cobordism categories, as the infinite loop space of a certain Thom spectrum. One can investigate subcategories D of C having the property that the classifying-space BD is equivalent to BC, the smaller such D one can find the better.

We prove that in may cases of interest, D can be taken to be a homotopy commutative monoid. As a consequence, the stable cohomology of many moduli spaces of surfaces can be identified with that of the infinite loop space of certain Thom spectra.