Source author record

Alexander Berglund

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

ResearcherUnclaimed source record

math.AT math.AC math.CT math.RA math.CO math.GT math.QA

Catalog footprint

What is connected

10works

7topics

3close collaborators

Actions

Connect this record

Open graph Browse works

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.

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.

preprint2016arXiv

Homotopic Hopf-Galois extensions revisited

In this article we revisit the theory of homotopic Hopf-Galois extensions introduced in arXiv:0902.3393v2 [math.AT], in light of the homotopical Morita theory of comodules established in arXiv:1411.6517 [math.AT]. We generalize the theory to a relative framework, which we believe is new even in the classical context and which is essential for treating the Hopf-Galois correspondence in forthcoming work of the second author and Karpova. We study in detail homotopic Hopf-Galois extensions of differential graded algebras over a commutative ring, for which we establish a descent-type characterization analogous to the one Rognes provided in the context of ring spectra. An interesting feature in the differential graded setting is the close relationship between homotopic Hopf-Galois theory and Koszul duality theory. We show that nice enough principal fibrations of simplicial sets give rise to homotopic Hopf-Galois extensions in the differential graded setting, for which this Koszul duality has a familiar form.

preprint2016arXiv

Homotopical Morita theory for corings

A coring (A,C) consists of an algebra A and a coalgebra C in the monoidal category of A-bimodules. Corings and their comodules arise naturally in the study of Hopf-Galois extensions and descent theory, as well as in the study of Hopf algebroids. In this paper, we address the question of when two corings in a symmetric monoidal model category V are homotopically Morita equivalent, i.e., when their respective categories of comodules are Quillen equivalent. The category of comodules over the trivial coring (A,A) is isomorphic to the category of A-modules, so the question above englobes that of when two algebras are homotopically Morita equivalent. We discuss this special case in the first part of the paper, extending previously known results. To approach the general question, we introduce the notion of a 'braided bimodule' and show that adjunctions between A-Mod and B-Mod that lift to adjunctions between (A,C)-Comod and (B,D)-Comod correspond precisely to braided bimodules between (A,C) and (B,D). We then give criteria, in terms of homotopic descent, for when a braided bimodule induces a Quillen equivalence. In particular, we obtain criteria for when a morphism of corings induces a Quillen equivalence, providing a homotopic generalization of results by Hovey and Strickland on Morita equivalences of Hopf algebroids. To illustrate the general theory, we examine homotopical Morita theory for corings in the category of chain complexes over a commutative ring.

preprint2015arXiv

Free Loop Space Homology of Highly Connected Manifolds

We calculate the homology of the free loop space of (n-1)-connected closed manifolds of dimension at most 3n-2 (n > 1), with the Chas-Sullivan loop product and loop bracket. Over a field of characteristic zero, we obtain an expression for the BV-operator. We also give explicit formulas for the Betti numbers, showing they grow exponentially. Our main tool is the connection between formality, coformality and Koszul algebras that was elucidated in earlier work by the first author.

preprint2015arXiv

Rational homotopy theory of mapping spaces via Lie theory for L-infinity algebras

We calculate the higher homotopy groups of the Deligne-Getzler infinity-groupoid associated to a nilpotent L-infinity algebra. As an application, we present a new approach to the rational homotopy theory of mapping spaces.

preprint2014arXiv

Homological perturbation theory for algebras over operads

We extend homological perturbation theory to encompass algebraic structures governed by operads and cooperads. The main difficulty is to find a suitable notion of algebra homotopy that generalizes to algebras over operads O. To solve this problem, we introduce what we call thick maps of O-algebras and special thick maps that we call pseudo-derivations, which serve as appropriate generalizations of algebra homotopies for the purposes of homological perturbation theory. As an application, we derive explicit formulas for transferring Cobar(C)-algebra structures along contractions, where C is any connected cooperad in chain complexes. This specializes to transfer formulas for O-infinity algebras for any Koszul operad O, in particular for A-infinity, C-infinity, L-infinity and G-infinity algebras. A key feature is that our formulas are expressed in terms of the compact description of Cobar(C)-algebras as coderivation differentials on cofree C-coalgebras. Moreover, we get formulas not only for the transferred structure and a structure on the inclusion, but also for structures on the projection and the homotopy.

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

Koszul spaces

We prove that a nilpotent space is both formal and coformal if and only if it is rationally homotopy equivalent to the derived spatial realization of a graded commutative Koszul algebra. We call such spaces Koszul spaces and we show that the rational homotopy groups and the rational homology of iterated loop spaces of Koszul spaces can be computed by applying certain Koszul duality constructions to the cohomology algebra.

preprint2008arXiv

Shellability and the strong gcd-condition

Shellability is a well-known combinatorial criterion for verifying that a simplicial complex is Cohen-Macaulay. Another notion familiar to commutative algebraists, but which has not received as much attention from combinatorialists as the Cohen-Macaulay property, is the notion of a Golod ring. Recently, a criterion on simplicial complexes reminiscent of shellability, called the strong gcd-condition, was shown to imply Golodness of the associated Stanley-Reisner ring. The two algebraic notions were tied together by Herzog, Reiner and Welker who showed that if the Alexander dual of a complex is sequentially Cohen-Macaulay then the complex itself is Golod. In this paper, we present a combinatorial companion of this result, namely that if the Alexander dual of a complex is (non-pure) shellable then the complex itself satisfies the strong gcd-condition. Moreover, we show that all implications just mentioned are strict in general but that they are equivalences for flag complexes.

preprint2004arXiv

Poincare' series of monomial rings

Let R be the quotient of a polynomial ring over a field k by an ideal generated by monomials. We derive a formula for the multigraded Poincare' series of R, i.e., the generating function for the ranks of the modules in a minimal multigraded free resolution of k over R. The formula can be expressed in terms of the homology of lower intervals in a certain lattice associated to the minimal set of generators for the ideal.

Institution

Affiliation not imported yet

This author record came from a source that does not expose affiliation metadata. Once the author claims the profile or we enrich the record from another provider, this section will link to the concrete institution.

Topic footprint