Abstract:We realise Buchweitz and Flenner's semiregularity map (and hence a fortiori Bloch's semiregularity map) for a smooth variety $X$ as the tangent of a generalised Abel--Jacobi map on the derived moduli stack of perfect complexes on $X$. The target of this map is an analogue of Deligne cohomology defined in terms of cyclic homology, and Goodwillie's theorem on nilpotent ideals ensures that it has the desired tangent space (a truncated de Rham complex). Immediate consequences are the semiregularity conjectures: that the semiregularity maps annihilate all obstructions, and that if $X$ is deformed, semiregularity measures the failure of the Chern character to remain a Hodge class. This gives rise to reduced obstruction theories of the type featuring in the study of reduced Gromov--Witten and Pandharipande--Thomas invariants. We also give generalisations allowing $X$ to be singular, and even a derived Artin stack.

Rational self-maps with a regular iterate on a semiabelian variety

Rational Maps Whose Julia Sets Are Cantor Circles

A regularization theorem for bounded-degree self-maps

Invariant rational functions under rational transformations

Rational Maps Admitting Meromorphic Invariant Line Fields

Finite abelian subgroups in the groups of birational and bimeromorphic selfmaps

Equivariantly uniformly rational varieties

Rational maps without Herman rings

Rational maps with smooth degenerate Herman rings

Rational curves on complete intersections in positive characteristic

Rational points on abelian varieties over function fields and Prym varieties

A threefold violating a local-to-global principle for rationality

General birationality and Hyperelliptic Theta divisors

$2^n-$rational maps

Uniform boundedness on rational maps with automorphisms

Rational surfaces with a non-arithmetic automorphism group

Semiregularity as a consequence of Goodwillie's theorem

The degeneration of a family of rational surface automorphisms

Rationality and arithmetic of the moduli of abelian varieties

Every finite abelian group is the group of rational points of an ordinary abelian variety over $\mathbb{F}_2$, $\mathbb{F}_3$ and $\mathbb{F}_5$