Source author record

Ib Madsen

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AT math.GT

Catalog footprint

Research overview

6works

2topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2020arXiv

Rational homotopy theory of automorphisms of manifolds

We study the rational homotopy types of classifying spaces of automorphism groups of smooth simply connected manifolds of dimension at least five. We give dg Lie algebra models for the homotopy automorphisms and the block diffeomorphisms of such manifolds. Moreover, we use these models to calculate the rational cohomology of the classifying spaces of the homotopy automorphisms and block diffeomorphisms of the manifold #^g S^d x S^d relative to an embedded disk as g tends to infinity. The answer is expressed in terms of stable cohomology of arithmetic groups and invariant Lie algebra cohomology. Through an extension of Kontsevich's work on graph complexes, we relate our results to the (unstable) homology of automorphisms of free groups with boundaries.

preprint2012arXiv

Homological stability of diffeomorphism groups

In this paper we prove a stability theorem for block diffeomorphisms of 2d-dimensional manifolds that are connected sums of S^d x S^d. Combining this with a recent theorem of S. Galatius and O. Randal-Williams and Morlet's lemma of disjunction, we determine the homology of the classifying space of their diffeomorphism groups relative to an embedded disk in a stable range.

preprint2011arXiv

The cobordism category and Waldhausen's K-theory

This paper examines the category C^k_{d,n} whose morphisms are d-dimensional smooth manifolds that are properly embedded in the product of a k-dimensional cube with an (d+n-k)-dimensional Euclidean space. There are k directions to compose k-dimensional cubes, so C^k_{d,n} is a (strict) k-tuple category. The geometric realization of the k-dimensional multi-nerve is the classifying space BC^k_{d,n}. At the end of the paper we construct an infinite loop map to Waldhausens K-theory. ΩBC^1_{d,n}-> A(BO(d)), We believe that the map factors through Ω^\inftyΣ^\infty(BO(d)_+) and that the composite B{Diff}(M^d)\to A(BO(d)) is homotopic to the map considered by Dwyer, Williams and Weiss.

preprint2010arXiv

Stability for closed surfaces in a background space

In this paper we present a new proof of the homological stability of the moduli space of closed surfaces in a simply connected background space $K$ , which we denote by $S_g (K)$ . The homology stability of surfaces in $K$ with an arbitrary number of boundary components, $S_{g,n} (K)$ was studied by the authors in \cite{cohenmadsen}. The study there relied on stability results for the homology of mapping class groups, $Γ_{g,n}$ with certain families of twisted coefficients. It turns out that these mapping class groups only have homological stability when $n$ , the number of boundary components, is positive, or in the closed case when the coefficient modules are trivial. Because of this we present a new proof of the rational homological stability for $S_g(K)$ , that is homotopy theoretic in nature. We also take the opportunity to prove a new stability theorem for closed surfaces in $K$ that have marked points.

preprint2010arXiv

The homotopy type of the cobordism category

The embedded cobordism category under study in this paper generalizes the category of conformal surfaces, introduced by G. Segal in order to formalize the concept of field theories. Our main result identifies the homotopy type of the classifying space of the embedded d-dimensional cobordism category for all d. For d=2, our results lead to a new proof of the generalized Mumford conjecture, somewhat different in spirit from the original one.

preprint2010arXiv

The moduli space of generalized Morse functions

We study the moduli and determine a homotopy type of the space of all generalized Morse functions on d-manifolds for given d. This moduli space is closely connected to the moduli space of all Morse functions studied in the paper math.AT/0212321, and the classifying space of the corresponding cobordism category.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Ib Madsen

Research overview

Is this your work?

6 publications

Rational homotopy theory of automorphisms of manifolds

Homological stability of diffeomorphism groups

The cobordism category and Waldhausen's K-theory

Stability for closed surfaces in a background space

The homotopy type of the cobordism category

The moduli space of generalized Morse functions

See the researcher in context

Building this map preview