We study a class of two-variable polynomials called exact polynomials which contains $A$-polynomials of knot complements. The Mahler measure of these polynomials can be computed in terms of a volume function defined on the vanishing set of the polynomial. We prove that the local extrema of the volume function are on the two-dimensional torus and give a closed formula for the Mahler measure in terms of these extremal values. This formula shows that the Mahler measure of an irreducible and exact polynomial divided by $\pi$ is greater than the amplitude of the volume function. We also prove a K-theoretic criterion for a polynomial to be a factor of an $A$-polynomial and give a topological interpretation of its Mahler measure.

We show a rigidity theorem for the Seiberg–Witten invariants mod 2 for families of spin 4-manifolds. A mechanism of this rigidity theorem also gives a family version of 10/8-type inequality. As an application, we prove the existence of non-smoothable topological families of 4-manifolds whose fiber, base space, and total space are smoothable as manifolds. These non-smoothable topological families provide new examples of $4$-manifolds $M$ for which the inclusion maps $\operatorname {Diff}(M) \hookrightarrow \operatorname {Homeo}(M)$ are not weak homotopy equivalences. We shall also give a new series of non-smoothable topological actions on some spin $4$-manifolds.

We study the cohomology of Jacobians and Hilbert schemes of points on reduced and locally planar curves, which are however allowed to be singular and reducible. We show that the cohomologies of all Hilbert schemes of all subcurves are encoded in the cohomologies of the fine compactified Jacobians of connected subcurves, via the perverse Leray filtration. We also prove, along the way, a result of independent interest, giving sufficient conditions for smoothness of the total space of the relative compactified Jacobian of a family of locally planar curves.

We introduce irregular constructible sheaves, which are ${\mathbb {C}}$-constructible with coefficients in a finite version of the Novikov ring $\Lambda$ and special gradings. We show that the bounded derived category of cohomologically irregular constructible complexes is equivalent to the bounded derived category of holonomic ${\mathcal {D}}$-modules by a modification of D’Agnolo and Kashiwara's irregular Riemann–Hilbert correspondence. The bounded derived category of cohomologically irregular constructible complexes is equipped with the irregular perverse $t$-structure, which is a straightforward generalization of usual perverse $t$-structure, and we prove that its heart is equivalent to the abelian category of holonomic ${\mathcal {D}}$-modules. We also develop the algebraic version of the theory.

We study the question of dualizability in higher Morita categories of locally presentable tensor categories and braided tensor categories. Our main results are that the 3-category of rigid tensor categories with enough compact projectives is 2-dualizable, that the 4-category of rigid braided tensor categories with enough compact projectives is 3-dualizable, and that (in characteristic zero) the 4-category of braided multi-fusion categories is 4-dualizable. Via the cobordism hypothesis, this produces respectively two-, three- and four-dimensional framed local topological field theories. In particular, we produce a framed three-dimensional local topological field theory attached to the category of representations of a quantum group at any value of $q$.

We study the depth filtration on multiple zeta values, on the motivic Galois group of mixed Tate motives over $\mathbb {Z}$ and on the Grothendieck–Teichmüller group, and its relation to modular forms. Using period polynomials for cusp forms for $\mathrm {SL} _2(\mathbb {Z})$, we construct an explicit Lie algebra of solutions to the linearized double shuffle equations, which gives a conjectural description of all identities between multiple zeta values modulo $\zeta (2)$ and modulo lower depth. We formulate a single conjecture about the homology of this Lie algebra which implies conjectures due to Broadhurst and Kreimer, Racinet, Zagier, and Drinfeld on the structure of multiple zeta values and on the Grothendieck–Teichmüller Lie algebra.

The purpose of this note is to correct a mistake in the article “A curve selection lemma in spaces of arcs and the image of the Nash map” Compositio Math. 142 (2006), 119–130. It is due to an overlooked hypothesis in the definition of generically stable subset of the space of arcs X∞ of a variety X defined over a perfect field k.

A spectral sequence is established whose $E_{2}$ page is Bar-Natan's variant of Khovanov homology and which abuts to a deformation of instanton homology for knots and links. This spectral sequence arises as a specialization of a spectral sequence whose $E_{2}$ page is a characteristic-2 version of $F_{5}$ homology in Khovanov's classification.

We construct examples of smooth proper rigid-analytic varieties admitting formal models with projective special fibers and violating Hodge symmetry for cohomology in degrees ${\geq }3$. This answers negatively the question raised by Hansen and Li.

La formule des traces relative de Jacquet–Rallis (pour les groupes unitaires ou les groupes linéaires généraux) est une identité entre des périodes des représentations automorphes et des distributions géométriques. Selon Jacquet et Rallis, une comparaison de ces deux formules des traces relatives devrait aboutir à une démonstration des conjectures de Gan–Gross–Prasad et Ichino–Ikeda pour les groupes unitaires. Les termes géométriques des groupes unitaires ou des groupes linéaires sont indexés par les points rationnels d'un espace quotient commun. Nous établissons que ces termes géométriques peuvent être vus comme des fonctionnelles sur des espaces d'intégrales orbitales semi-simples régulières locales. En outre, nous montrons que point par point ces distributions sont en fait égales, via l'identification des espaces d'intégrales orbitales locales donnée par le transfert et le lemme fondamental (essentiellement connus dans cette situation). Cela donne leur comparaison et cela clôt la partie géométrique du programme de Jacquet–Rallis. Notre résultat principal est donc un analogue de la stabilisation de la partie géométrique de la formule des traces due à Langlands, Kottwitz et Arthur.

Nous développons dans cet article des techniques d'aplatissement des faisceaux cohérents en géométrie de Berkovich, en nous inspirant de la stratégie générale que Raynaud et Gruson ont mise en œuvre pour traiter le problème analogue en théorie des schémas. Nous donnons ensuite quelques applications à l’étude des morphismes entre espaces analytiques compacts, et obtenons notamment une description de l'image d'un tel morphisme.

Let $\mathcal {F}$ be a polystable sheaf on a smooth minimal projective surface of Kodaira dimension 0. Then the differential graded (DG) Lie algebra $R\operatorname {Hom}(\mathcal {F},\mathcal {F})$ of derived endomorphisms of $\mathcal {F}$ is formal. The proof is based on the study of equivariant $L_{\infty }$ minimal models of DG Lie algebras equipped with a cyclic structure of degree 2 which is non-degenerate in cohomology, and does not rely (even for K3 surfaces) on previous results on the same subject.

In this paper we prove a categorification of the Grothendieck–Riemann–Roch theorem. Our result implies in particular a Grothendieck–Riemann–Roch theorem for Toën and Vezzosi's secondary Chern character. As a main application, we establish a comparison between the Toën–Vezzosi Chern character and the classical Chern character, and show that the categorified Chern character recovers the classical de Rham realization.

We prove the analog of the Morel–Voevodsky localization theorem for framed motivic spaces. We deduce that framed motivic spectra are equivalent to motivic spectra over arbitrary schemes, and we give a new construction of the motivic cohomology of arbitrary schemes.