In his Tata Lecture Notes, Igusa conjectured the validity of a strong uniformity in the decay of complete exponential sums modulo powers of a prime number and determined by a homogeneous polynomial. This was proved for non-degenerate forms by Denef–Sperber and then by Cluckers for weighted homogeneous non-degenerate forms. In a recent preprint, Wright has proved this for degenerate binary forms. We give a different proof of Wright’s result that seems to be simpler and relies upon basic estimates for exponential sums mod $p$as well as a type of resolution of singularities with good reduction in the sense of Denef.

In this work, we study the deformation theory of ${\mathcal {E}}_n$-rings and the ${\mathcal {E}}_n$ analogue of the tangent complex, or topological André–Quillen cohomology. We prove a generalization of a conjecture of Kontsevich, that there is a fiber sequence $A[n-1] \rightarrow T_A\rightarrow {\mathrm {HH}}^*_{{\mathcal {E}}_{n}}\!(A)[n]$, relating the ${\mathcal {E}}_n$-tangent complex and ${\mathcal {E}}_n$-Hochschild cohomology of an ${\mathcal {E}}_n$-ring $A$. We give two proofs: the first is direct, reducing the problem to certain stable splittings of configuration spaces of punctured Euclidean spaces; the second is more conceptual, where we identify the sequence as the Lie algebras of a fiber sequence of derived algebraic groups, $B^{n-1}A^\times \rightarrow {\mathrm {Aut}}_A\rightarrow {\mathrm {Aut}}_{{\mathfrak B}^n\!A}$. Here ${\mathfrak B}^n\!A$ is an enriched $(\infty ,n)$-category constructed from $A$, and ${\mathcal {E}}_n$-Hochschild cohomology is realized as the infinitesimal automorphisms of ${\mathfrak B}^n\!A$. These groups are associated to moduli problems in ${\mathcal {E}}_{n+1}$-geometry, a less commutative form of derived algebraic geometry, in the sense of the work of Toën and Vezzosi and the work of Lurie. Applying techniques of Koszul duality, this sequence consequently attains a nonunital ${\mathcal {E}}_{n+1}$-algebra structure; in particular, the shifted tangent complex $T_A[-n]$ is a nonunital ${\mathcal {E}}_{n+1}$-algebra. The ${\mathcal {E}}_{n+1}$-algebra structure of this sequence extends the previously known ${\mathcal {E}}_{n+1}$-algebra structure on ${\mathrm {HH}}^*_{{\mathcal {E}}_{n}}\!(A)$, given in the higher Deligne conjecture. In order to establish this moduli-theoretic interpretation, we make extensive use of factorization homology, a homology theory for framed $n$-manifolds with coefficients given by ${\mathcal {E}}_n$-algebras, constructed as a topological analogue of Beilinson and Drinfeld’s chiral homology. We give a separate exposition of this theory, developing the necessary results used in our proofs.

This paper introduces the notion of a derived splinter. Roughly speaking, a scheme is a derived splinter if it splits off from the coherent cohomology of any proper cover. Over a field of characteristic 0, this condition characterises rational singularities, as suggested by the work of Kovács. Our main theorem asserts that over a field of characteristic p, derived splinters are the same as (underived) splinters, i.e. schemes that split off from any finite cover. Using this result, we answer some questions of Karen Smith concerning the extension of Serre/Kodaira-type vanishing results beyond the class of ample line bundles in positive characteristic; these are purely projective geometric statements independent of singularity considerations. In fact, we can prove ‘up to finite cover’ analogues in characteristic p of many vanishing theorems known in characteristic 0. All these results fit naturally in the study of F-singularities, and are motivated by a desire to understand the direct summand conjecture.

We prove that, if X is a variety over an uncountable algebraically closed field k of characteristic zero, then any irreducible exceptional divisor E on a resolution of singularities of X which is not uniruled, belongs to the image of the Nash map, i.e. corresponds to an irreducible component of the space of arcs on X centred in Sing X. This reduces the Nash problem of arcs to understanding which uniruled essential divisors are in the image of the Nash map, more generally, how to determine the uniruled essential divisors from the space of arcs.

We classify the nilpotent orbits in a simple Lie algebra for which the restriction of the adjoint quotient map to a Slodowy slice is the universal Poisson deformation of its central fibre. This generalises work of Brieskorn and Slodowy on subregular orbits. In particular, we find in this way new singular symplectic hypersurfaces of dimension four and six.

Let X be a smooth projective variety of dimension n in Pr, and let π:X→Pn+c be a general linear projection, with c>0. In this paper we bound the scheme-theoretic complexity of the fibers of π. In his famous work on stable mappings, Mather extended the classical results by showing that the number of distinct points in the fiber is bounded by B:=n/c+1, and that, when n is not too large, the degree of the fiber (taking the scheme structure into account) is also bounded by B. A result of Lazarsfeld shows that this fails dramatically for n≫0. We describe a new invariant of the scheme-theoretic fiber that agrees with the degree in many cases and is always bounded by B. We deduce, for example, that if we write a fiber as the disjoint union of schemes Y′ and Y′′ such that Y′ is the union of the locally complete intersection components of Y, then deg Y′+deg Y′′red≤B. Our method also gives a sharp bound on the subvariety of Pr swept out by the l-secant lines of X for any positive integer l, and we discuss a corresponding bound for highly secant linear spaces of higher dimension. These results extend Ran’s ‘dimension +2 secant lemma’.

We study linear functions on fibrations whose central fibre is a linear free divisor. We analyse the Gauß–Manin system associated to these functions, and prove the existence of a primitive and homogenous form. As a consequence, we show that the base space of the semi-universal unfolding of such a function carries a Frobenius manifold structure.

Let M and N be finitely generated and graded modules over a standard positive graded commutative Noetherian ring R, with irrelevant ideal R+. Let be the nth component of the graded generalized local cohomology module . In this paper we study the asymptotic behavior of Assf R+ () as n → –∞ whenever k is the least integer j for which the ordinary local cohomology module is not finitely generated.

Here we study the dimension δ(m, X) of the general fibers of the m-Gaussian map of a singular n-dimensional variety X ⊂ Pn. We show that for all integers a, b, c, d with n ≦ a < b ≦ c < d ≦ N − 1 and a + d = b + c we have δ (a, X) + δ(d, X) > δ(b, X) + δ(c, X). If δ(X, N − 1) is very large we give some classification results which extend to the singular case some results of Ein.

In this paper we generalize the definitions of singularities of pairs and multiplier ideal sheaves to pairs on arbitrary normal varieties, without any assumption on the variety being ℚ-Gorenstein or the pair being log ℚ-Gorenstein. The main features of the theory extend to this setting in a natural way.

In this paper we prove that most ropes of arbitrary multiplicity supported on smooth curves can be smoothed. By a rope being smoothable we mean that the rope is the flat limit of a family of smooth, irreducible curves. To construct a smoothing, we connect, on the one hand, deformations of a finite morphism to projective space and, on the other hand, morphisms from a rope to projective space. We also prove a general result of independent interest, namely that finite covers onto smooth irreducible curves embedded in projective space can be deformed to a family of 1:1 maps. We apply our general theory to prove the smoothing of ropes of multiplicity 3 on P1. Even though this paper focuses on ropes of dimension 1, our method yields a general approach to deal with the smoothing of ropes of higher dimension.

For each non-negative integer n we define the nth Nash blowup of an algebraic variety, and call them all higher Nash blowups. When n=1, it coincides with the classical Nash blowup. We study higher Nash blowups of curves in detail and prove that any curve in characteristic zero can be desingularized by its nth Nash blowup with n large enough. Moreover, we completely determine for which n the nth Nash blowup of an analytically irreducible curve singularity in characteristic zero is normal, in terms of the associated numerical monoid.