We present a version of a proof by Andy Chermak of the existence and uniqueness of centric linking systems associated with arbitrary saturated fusion systems. This proof differs from the one in [Ch2] in that it is based on the computation of derived functors of certain inverse limits. This leads to a much shorter proof, but one which is aimed mostly at researchers familiar with homological algebra.

Topological cyclic homology is a refinement of Connes–Tsygan’s cyclic homology which was introduced by Bökstedt–Hsiang–Madsen in 1993 as an approximation to algebraic K-theory. There is a trace map from algebraic K-theory to topological cyclic homology, and a theorem of Dundas–Goodwillie–McCarthy asserts that this induces an equivalence of relative theories for nilpotent immersions, which gives a way for computing K-theory in various situations. The construction of topological cyclic homology is based on genuine equivariant homotopy theory, the use of explicit point-set models, and the elaborate notion of a cyclotomic spectrum. The goal of this paper is to revisit this theory using only homotopy-invariant notions. In particular, we give a new construction of topological cyclic homology. This is based on a new definition of the ∞-category of cyclotomic spectra: We define a cyclotomic spectrum to be a spectrum X with S1-action (in the most naive sense) together with S1-equivariant maps φp:X→XtCp for all primes p. Here, XtCp=cofib(Nm:XhCp→XhCp) is the Tate construction. On bounded below spectra, we prove that this agrees with previous definitions. As a consequence, we obtain a new and simple formula for topological cyclic homology. In order to construct the maps φp:X→XtCp in the example of topological Hochschild homology, we introduce and study Tate-diagonals for spectra and Frobenius homomorphisms of commutative ring spectra. In particular, we prove a version of the Segal conjecture for the Tate-diagonals and relate these Frobenius homomorphisms to power operations.

Let k be a commutative Noetherian ring. In this paper we consider filtered modules of the category FI firstly introduced by Nagpal. We show that a finitely generated FI-module V is filtered if and only if its higher homologies all vanish, and if and only if a certain homology vanishes. Using this homological characterization, we characterize finitely generated FI-modules V whose projective dimension is finite, and describe an upper bound for it. Furthermore, we give a new proof for the fact that V induces a finite complex of filtered modules, and use it as well as a result of Church and Ellenberg to obtain another upper bound for homological degrees of V.

We prove that every homomorphism $\mathcal{O}^{E}_{\zeta}\rightarrow\mathcal{O}^{F}_{\zeta}$ , with$E$and$F$Banach spaces and ζ∈ℂ^{$m$}, is induced by a $\mathop{\mathrm{Hom}}(E,F)$ -valued holomorphic germ, provided that 1≤$m$<∞. A similar structure theorem is obtained for the homomorphisms of type $\mathcal{O}^{E}_{\zeta}\rightarrow\mathcal{S}_{\zeta}$ , where $\mathcal{S}_{\zeta}$ is a stalk of a coherent sheaf of positive depth. We later extend these results to sheaf homomorphisms, obtaining a condition on coherent sheaves which guarantees the sheaf to be equipped with a unique analytic structure in the sense of Lempert–Patyi.

The subalgebra of the tautological ring of the moduli of curves of compact type generated by the κ classes is studied in all genera. Relations, constructed via the virtual geometry of the moduli of stable quotients, are used to obtain minimal sets of generators. Bases and Betti numbers of the κ rings are computed. A universality property relating the higher genus κ rings to the genus 0 rings is proven using the virtual geometry of the moduli space of stable maps. The λ_{g}-formula for Hodge integrals arises as the simplest consequence.