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.

In this paper we prove global regularity for the full water-wave system in three dimensions for small data, under the influence of both gravity and surface tension. This problem presents essential difficulties which were absent in all of the earlier global regularity results for other water-wave models. To construct global solutions, we use a combination of energy estimates and matching dispersive estimates. There is a significant new difficulty in proving energy estimates in our problem, namely the combination of slow pointwise decay of solutions (no better than |t|−5/6) and the presence of a large, codimension-1, set of quadratic time-resonances. To deal with such a situation, we propose here a new mechanism, which exploits a non-degeneracy property of the time-resonant hypersurfaces and some special structure of the quadratic part of the non-linearity, connected to the conserved energy of the system. The dispersive estimates rely on analysis of the Duhamel formula in the Fourier space. The main contributions come from the set of space-time resonances, which is a large set of dimension 1. To control the corresponding bilinear interactions, we use harmonic analysis techniques, such as orthogonality arguments in the Fourier space and atomic decompositions of functions. Most importantly, we construct and use a refined norm which is well adapted to the geometry of the problem.

We prove that on any compact complex manifold one can find Gauduchon metrics with prescribed volume form. This is equivalent to prescribing the Chern–Ricci curvature of the metrics, and thus solves a conjecture of Gauduchon from 1984.

We associate a half-integer number, called the quantum index, to algebraic curves in the real plane satisfying to certain conditions. The area encompassed by the logarithmic image of such curves is equal to π2 times the quantum index of the curve, and thus has a discrete spectrum of values. We use the quantum index to refine enumeration of real rational curves in a way consistent with the Block–Göttsche invariants from tropical enumerative geometry.

We introduce singular Ricci flows, which are Ricci flow spacetimes subject to certain asymptotic conditions. These provide a solution to the long-standing problem of finding a good notion of Ricci flow through singularities, in the 3-dimensional case. We prove that Ricci flow with surgery, starting from a fixed initial condition, subconverges to a singular Ricci flow as the surgery parameter tends to zero. We establish a number of geometric and analytical properties of singular Ricci flows.