
We apply the Acyclicity Theorem of Hess, Kerdziorek, Riehl, and Shipley
(recently corrected by Garner, Kedziorek, and Riehl) to establishing the
existence of model category structure on categories of coalgebras over comonads
arising from simplicial adjunctions, under mild conditions on the adjunction
and the associated comonad. We study three concrete examples of such
adjunctions where the left adjoint is comonadic and show that in each case the
component of the derived counit of the comparison adjunction at any fibrant
object is an isomorphism, while the component of the derived unit at any
1connected object is a weak equivalence. To prove this last result, we explain
how to construct explicit fibrant replacements for 1connected coalgebras in
the image of the canonical comparison functor from the Postnikov decompositions
of their underlying simplicial sets. We also show in one case that the derived
unit is precisely the BousfieldKan completion map.

We show that the configuration spaces of a product of parallelizable
manifolds may be recovered from those of the factors as the BoardmanVogt
tensor product of right modules over the operads of little cubes of the
appropriate dimension. We also discuss an analogue of this result for manifolds
that are not necessarily parallelizable, which involves a new operad of skew
little cubes.

There is a growing need for unbiased clustering methods, ideally automated.
We have developed a topologybased analysis tool called TwoTier Mapper (TTMap)
to detect subgroups in global gene expression datasets and identify their
distinguishing features. First, TTMap discerns and adjusts for highly variable
features in the control group and identifies outliers. Second, the deviation of
each test sample from the control group in a highdimensional space is computed
and the test samples are clustered in a global and local network using a new
topological algorithm based on Mapper. Validation of TTMap on both synthetic
and biological datasets shows that it outperforms current clustering methods in
sensitivity and stability; clustering is not affected by removal of samples
from the control group, choice of normalization nor subselection of data. There
is no user induced bias because all parameters are datadriven. Datasets can
readily be combined into one analysis. TTMap reveals hitherto undetected gene
expression changes in mouse mammary glands related to hormonal changes during
the estrous cycle. This illustrates the ability to extract information from
highly variable biological samples and its potential for personalized medicine.

A common technique for producing a new model category structure is to lift
the fibrations and weak equivalences of an existing model structure along a
right adjoint. Formally dual but technically much harder is to lift the
cofibrations and weak equivalences along a left adjoint. For either technique
to define a valid model category, there is a wellknown necessary "acyclicity"
condition. We show that for a broad class of "accessible model structures"  a
generalization introduced here of the wellknown combinatorial model structures
 this necessary condition is also sufficient in both the rightinduced and
leftinduced contexts, and the resulting model category is again accessible. We
develop new and old techniques for proving the acyclity condition and apply
these observations to construct several new model structures, in particular on
categories of differential graded bialgebras, of differential graded comodule
algebras, and of comodules over corings in both the differential graded and the
spectral setting. We observe moreover that (generalized) Reedy model category
structures can also be understood as model categories of "bialgebras" in the
sense considered here.

In most applications of nanoporous materials the pore structure is as
important as the chemical composition as a determinant of performance. For
example, one can alter performance in applications like carbon capture or
methane storage by orders of magnitude by only modifying the pore structure
(1,2). For these applications it is therefore important to identify the optimal
pore geometry and use this information to find similar materials. However, the
mathematical language and tools to identify materials with similar pore
structures, but different composition, has been lacking. Here we develop a pore
recognition approach to quantify similarity of pore structures and classify
them using topological data analysis (3,4). Our approach allows us to identify
materials with similar pore geometries, and to screen for materials that are
similar to given topperforming structures. Using methane storage as a case
study, we also show that materials can be divided into topologically distinct
classes  and that each class requires different optimization strategies. In
this work we have focused on pore space, but our topological approach can be
generalised to quantify similarity of any geometric object, which, given the
many different Materials Genomics initiatives (5,6), opens many interesting
avenues for bigdata science.

We establish a formal framework for Rognes's homotopical Galois theory and
adapt it to the context of motivic spaces and spectra. We discuss examples of
Galois extensions between EilenbergMacLane motivic spectra and between the
Hermitian and algebraic Ktheory spectra.

Nervous systems are characterized by neurons displaying a diversity of
morphological shapes. Traditionally, different shapes have been qualitatively
described based on visual inspection and quantitatively described based on
morphometric parameters. Neither process provides a solid foundation for
categorizing the various morphologies, a problem that is important in many
fields. We propose a stable topological measure as a standardized descriptor
for any treelike morphology, which encodes its skeletal branching anatomy.
More specifically it is a barcode of the branching tree as determined by a
spherical filtration centered at the root or neuronal soma. This Topological
Morphology Descriptor (TMD) allows for the discrimination of groups of random
and neuronal trees at linear computational cost.

A recent publication provides the network graph for a neocortical
microcircuit comprising 8 million connections between 31,000 neurons (H.
Markram, et al., Reconstruction and simulation of neocortical microcircuitry,
Cell, 163 (2015) no. 2, 456492). Since traditional graphtheoretical methods
may not be sufficient to understand the immense complexity of such a biological
network, we explored whether methods from algebraic topology could provide a
new perspective on its structural and functional organization. Structural
topological analysis revealed that directed graphs representing connectivity
among neurons in the microcircuit deviated significantly from different
varieties of randomized graph. In particular, the directed graphs contained in
the order of $10^7$ simplices {\DH} groups of neurons with alltoall directed
connectivity. Some of these simplices contained up to 8 neurons, making them
the most extreme neuronal clustering motif ever reported. Functional
topological analysis of simulated neuronal activity in the microcircuit
revealed novel spatiotemporal metrics that provide an effective classification
of functional responses to qualitatively different stimuli. This study
represents the first algebraic topological analysis of structural connectomics
and connectomicsbased spatiotemporal activity in a biologically realistic
neural microcircuit. The methods used in the study show promise for more
general applications in network science.

In this article we revisit the theory of homotopic HopfGalois 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 HopfGalois correspondence in
forthcoming work of the second author and Karpova. We study in detail homotopic
HopfGalois extensions of differential graded algebras over a commutative ring,
for which we establish a descenttype 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
HopfGalois theory and Koszul duality theory. We show that nice enough
principal fibrations of simplicial sets give rise to homotopic HopfGalois
extensions in the differential graded setting, for which this Koszul duality
has a familiar form.

A coring (A,C) consists of an algebra A and a coalgebra C in the monoidal
category of Abimodules. Corings and their comodules arise naturally in the
study of HopfGalois 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 Amodules, 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 AMod and BMod 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.

Let $X$ be a simplicial set. We construct a novel adjunction between the
categories of retractive spaces over $X$ and of $X_{+}$comodules, then apply
recent work on leftinduced model category structures (arXiv:1401.3651v2
[math.AT],arXiv:1509.08154 [math.AT]) to establish the existence of a left
proper, simplicial model category structure on the category of $X_+$comodules,
with respect to which the adjunction is a Quillen equivalence after
localization with respect to some generalized homology theory. We show moreover
that this model category structure stabilizes, giving rise to a model category
structure on the category of $\Sigma^\infty X_{+}$comodule spectra.
The Waldhausen $K$theory of $X$, $A(X)$, is thus naturally weakly equivalent
to the Waldhausen $K$theory of the category of homotopically finite
$\Sigma^\infty X_{+}$comodule spectra, with weak equivalences given by twisted
homology. For $X$ simply connected, we exhibit explicit, natural weak
equivalences between the $K$theory of this category and that of the category
of homotopically finite $\Sigma^{\infty}(\Omega X)_+$modules, a more familiar
model for $A(X)$. For $X$ not necessarily simply connected, we have localized
versions of these results.
For $H$ a simplicial monoid, the category of $\Sigma^{\infty}H_{+}$comodule
algebras admits an induced model structure, providing a setting for defining
homotopy coinvariants of the coaction of $\Sigma^{\infty}H_{+}$ on a
$\Sigma^{\infty}H_{+}$comodule algebra, which is essential for homotopic
HopfGalois extensions of ring spectra as originally defined by Rognes in
arXiv:math/0502183v2} and generalized in arXiv:0902.3393v2 [math.AT]. An
algebraic analogue of this was only recently developed, and then only over a
field (arXiv:1401.3651v2 [math.AT]).

We exhibit an explicit delooping of the space of string links with $m$
components in the hypercube $I^{n}$, for $n\geq 4$ and $m\geq 1$.

We prove existence results a la Jeff Smith for leftinduced model category
structures, of which the injective model structure on a diagram category is an
important example. We further develop the notions of fibrant generation and
Postnikov presentation from Hess, which are dual to a weak form of cofibrant
generation and cellular presentation. As examples, for k a field and H a
differential graded Hopf algebra over k, we produce a leftinduced model
structure on augmented Hcomodule algebras and show that the category of
bounded below chain complexes of finitedimensional kvector spaces has a
Postnikov presentation.
To conclude, we investigate the fibrant generation of (generalized) Reedy
categories. In passing, we also consider cofibrant generation, cellular
presentation, and the small object argument for Reedy diagrams.

Let K be a comonad on a model category M. We provide conditions under which
the associated category of Kcoalgebras admits a model category structure such
that the forgetful functor to M creates both cofibrations and weak
equivalences.
We provide concrete examples that satisfy our conditions and are relevant in
descent theory and in the theory of HopfGalois extensions. These examples are
specific instances of the following categories of comodules over a coring. For
any semihereditary commutative ring R, let A be a dg Ralgebra that is
homologically simply connected. Let V be an Acoring that is semifree as a left
Amodule on a degreewise Rfree, homologically simply connected graded module
of finite type. We show that there is a model category structure on the
category of right Amodules satisfying the conditions of our existence theorem
with respect to the comonad given by tensoring over A with V and conclude that
the category of Vcomodules in the category of right Amodules admits a model
category structure of the desired type. Finally, under extra conditions on R,
A, and V, we describe fibrant replacements in this category of comodules in
terms of a generalized cobar construction.

We define and study a lift of the BoardmanVogt tensor product of operads to
bimodules over operads.

Working in the context of symmetric spectra, we describe and study a homotopy
completion tower for algebras and left modules over operads in the category of
modules over a commutative ring spectrum (e.g., structured ring spectra). We
prove a strong convergence theorem that for 0connected algebras and modules
over a (1)connected operad, the homotopy completion tower interpolates (in a
strong sense) between topological Quillen homology and the identity functor.
By systematically exploiting strong convergence, we prove several theorems
concerning the topological Quillen homology of algebras and modules over
operads. These include a theorem relating finiteness properties of topological
Quillen homology groups and homotopy groups that can be thought of as a
spectral algebra analog of Serre's finiteness theorem for spaces and H.R.
Miller's boundedness result for simplicial commutative rings (but in reverse
form). We also prove absolute and relative Hurewicz theorems and a
corresponding Whitehead theorem for topological Quillen homology. Furthermore,
we prove a rigidification theorem, which we use to describe completion with
respect to topological Quillen homology (or TQcompletion). The TQcompletion
construction can be thought of as a spectral algebra analog of Sullivan's
localization and completion of spaces, BousfieldKan's completion of spaces
with respect to homology, and Carlsson's and AroneKankaanrinta's completion
and localization of spaces with respect to stable homotopy. We prove analogous
results for algebras and left modules over operads in unbounded chain
complexes.

Let M be a monoidal category endowed with a distinguished class of weak
equivalences and with appropriately compatible classifying bundles for monoids
and comonoids. We define and study homotopyinvariant notions of normality for
maps of monoids and of conormality for maps of comonoids in M. These notions
generalize both principal bundles and crossed modules and are preserved by nice
enough monoidal functors, such as the normaliized chain complex functor.
We provide several explicit classes of examples of homotopynormal and of
homotopyconormal maps, when M is the category of simplicial sets or the
category of chain complexes over a commutative ring.

We introduce the notion of a strongly homotopycomultiplicative resolution of
a module coalgebra over a chain Hopf algebra, which we apply to proving a
comultiplicative enrichment of a wellknown theorem of Moore concerning the
homology of quotient spaces of group actions. The importance of our enriched
version of Moore's theorem lies in its application to the construction of
useful cochain algebra models for computing multiplicative structure in
equivariant cohomology.
In the special cases of homotopy orbits of circle actions on spaces and of
group actions on simplicial sets, we obtain small, explicit cochain algebra
models that we describe in detail.

Given any twisting cochain t:C >A, where C is a connected, coaugmented
chain coalgebra and A is an augmented chain algebra over an arbitrary PID R, we
construct a twisted extension of chain complexes A > H(t) > C. We show that
both the wellknown Hochschild complex of an associative algebra and the
coHochschild complex of a coassociative coalgebra are special cases of H(t),
which we therefore call the Hochschild complex of t.
We explore the extent of the naturality of the Hochschild complex
construction and apply the results of this exploration to determining
conditions under which H(t) admits multiplicative or comultiplicative
structure. In particular, we show that the Hochschild complex on a chain Hopf
algebra always admits a natural comultiplication.
Furthermore, when A is a chain Hopf algebra, we determine conditions under
which H(t) admits an rthpower map extending the usual rthpower map on A and
lifting the identity on C. As special cases, we obtain that both the Hochschild
complex of any cocommutative Hopf algebra and the coHochschild complex of the
normalized chain complex of a double suspension admit power maps. We show
moreover that if K is a double suspension, then the power map on the
coHochschild complex of the normalized chain complex of K is a model of the
topological power map on the space of free loops on the realization of K,
illustrating the topological relevance of our algebraic construction.

This paper has been withdrawn.

In an application of the notion of twisting structures introduced by Hess and
Lack, we define twisted composition products of symmetric sequences of chain
complexes that are degreewise projective and finitely generated. Let Q be a
cooperad and let BP be the bar construction on the operad P. To each morphism
of cooperads g from Q to BP is associated a Pcoring, K(g), which generalizes
the twosided Koszul and bar constructions. When the counit from K(g) to P is
a quasiisomorphism, we show that the Kleisli category for K(g) is isomorphic
to the category of Palgebras and of their morphisms up to strong homotopy, and
we give the classifying morphisms for both strict and homotopy Palgebras.
Parametrized morphisms of (co)associative chain (co)algebras up to strong
homotopy are also introduced and studied, and a general existence theorem is
proved. In the appendix, we study the particular case of the twosided Koszul
resolution of the associative operad.

We identify the space of tangentially straightened long knots in R^m, for m
greater than or equal to 4, as the double loops on the space of derived operad
maps from the associative operad into a version of the little mdisk operad.
This verifies a conjecture of Kontsevich, Lambrechts, and Turchin.

In this paper we elaborate a general homotopytheoretic framework in which to
study problems of descent and completion and of their duals, codescent and
cocompletion. Our approach to homotopic (co)descent and to derived
(co)completion can be viewed as $\infty$categorytheoretic, as our framework
is constructed in the universe of simplicially enriched categories, which are a
model for $(\infty, 1)$categories.
We provide general criteria, reminiscent of Mandell's theorem on
$E_{\infty}$algebra models of $p$complete spaces, under which homotopic
(co)descent is satisfied. Furthermore, we construct general descent and
codescent spectral sequences, which we interpret in terms of derived
(co)completion and homotopic (co)descent.
We show that a number of very wellknown spectral sequences, such as the
unstable and stable Adams spectral sequences, the AdamsNovikov spectral
sequence and the descent spectral sequence of a map, are examples of general
(co)descent spectral sequences. There is also a close relationship between the
LichtenbaumQuillen conjecture and homotopic descent along the
DwyerFriedlander map from algebraic Ktheory to \'etale Ktheory. Moreover,
there are intriguing analogies between derived cocompletion (respectively,
completion) and homotopy left (respectively, right) Kan extensions and their
associated assembly (respectively, coassembly) maps.

HopfGalois extensions of rings generalize Galois extensions, with the
coaction of a Hopf algebra replacing the action of a group. Galois extensions
with respect to a group $G$ are the HopfGalois extensions with respect to the
dual of the group algebra of $G$. Rognes recently defined an analogous notion
of HopfGalois extensions in the category of structured ring spectra, motivated
by the fundamental example of the unit map from the sphere spectrum to $MU$.
This article introduces a theory of homotopic HopfGalois extensions in a
monoidal category with compatible model category structure that generalizes the
case of structured ring spectra. In particular, we provide explicit examples of
homotopic HopfGalois extensions in various categories of interest to
topologists, showing that, for example, a principal fibration of simplicial
monoids is a homotopic HopfGalois extension in the category of simplicial
sets. We also investigate the relation of homotopic HopfGalois extensions to
descent.

We prove that for any 1reduced simplicial set X, Adams' cobar construction,
\Omega CX, on the normalised chain complex of X is naturally a strong
deformation retract of the normalised chains CGX on the Kan loop group GX,
opening up the possibility of applying the tools of homological algebra to
transfering perturbations of algebraic structure from the latter to the former.
In order to prove our theorem, we extend the definition of the cobar
construction and actually obtain the existence of such a strong deformation
retract for all 0reduced simplicial sets.