Source author record

Ib Madsen

Ib Madsen appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

6works
2topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

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.

Published work

6 published item(s)

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.

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.