To save content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about saving content to .
To save content items to your Kindle, first ensure no-reply@cambridge.org
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about saving to your Kindle.
Note you can select to save to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
We fix an error on a $3$-cocycle in the original version of the paper ‘Endoscopy for Hecke categories, character sheaves and representations’. We give the corrected statements of the main results.
We establish, in the setting of equivariant motivic homotopy theory for a finite group, a version of tom Dieck’s splitting theorem for the fixed points of a suspension spectrum. Along the way we establish structural results and constructions for equivariant motivic homotopy theory of independent interest. This includes geometric fixed-point functors and the motivic Adams isomorphism.
We give a formula for the cohomological invariants of a root stack, which we apply to compute the cohomological invariants and the Brauer group of the compactification of the stacks of hyperelliptic curves given by admissible double coverings.
We study the fundamental groups of the complements to curves on simply connected surfaces, admitting non-abelian free groups as their quotients. We show that given a subset of the Néron–Severi group of such a surface, there are only finitely many classes of equisingular isotopy of curves with irreducible components belonging to this subset for which the fundamental groups of the complement admit surjections onto a free group of a given sufficiently large rank. Examples of subsets of the Néron–Severi group are given with infinitely many isotopy classes of curves with irreducible components from such a subset and fundamental groups of the complements admitting surjections on a free group only of a small rank.
In this article we prove exactness of the homotopy sequence of overconvergent fundamental groups for a smooth and projective morphism in characteristic p. We do so by first proving a corresponding result for rigid analytic varieties in characteristic $0$, following dos Santos [dS15] in the algebraic case. In characteristic p, we then proceed by a series of reductions to the case of a liftable family of curves, where we can apply the rigid analytic result. We then use this to deduce a Lefschetz hyperplane theorem for convergent fundamental groups, as well as a comparison theorem with the étale fundamental group.
In this paper we give an interpretation, in terms of derived de Rham complexes, of Scholze's de Rham period sheaf and Tan and Tong's crystalline period sheaf.
Using the theory of cohomological invariants for algebraic stacks, we compute the Brauer group of the moduli stack of hyperelliptic curves ${\mathcal {H}}_g$ over any field of characteristic $0$. In positive characteristic, we compute the part of the Brauer group whose order is prime to the characteristic of the base field.
Let $G$ be a split connected reductive group over a finite field of characteristic $p > 2$ such that $G_\text {der}$ is absolutely almost simple. We give a geometric construction of perverse $\mathbb {F}_p$-sheaves on the Iwahori affine flag variety of $G$ which are central with respect to the convolution product. We deduce an explicit formula for an isomorphism from the spherical mod $p$ Hecke algebra to the center of the Iwahori mod $p$ Hecke algebra. We also give a formula for the central integral Bernstein elements in the Iwahori mod $p$ Hecke algebra. To accomplish these goals we construct a nearby cycles functor for perverse $\mathbb {F}_p$-sheaves and we use Frobenius splitting techniques to prove some properties of this functor. We also prove that certain equal characteristic analogues of local models of Shimura varieties are strongly $F$-regular, and hence they are $F$-rational and have pseudo-rational singularities.
We establish some cohomological bounds in $D$-module theory that are known in the holonomic case and folklore in general. The method rests on a generalization of the $b$-function lemma for non-holonomic $D$-modules.
We prove a product formula for the determinant of the cohomology of an étale sheaf with $\ell $-adic coefficients over an arbitrary proper scheme over a perfect field of positive characteristic p distinct from $\ell $. The local contributions are constructed by iterating vanishing cycle functors as well as certain exact additive functors that can be considered as linearised versions of Artin conductors and local $\varepsilon $-factors. We provide several applications of our higher dimensional product formula, such as twist formulas for global $\varepsilon $-factors.
We compute a presentation of the fundamental group of a higher-rank graph using a coloured graph description of higher-rank graphs developed by the third author. We compute the fundamental groups of several examples from the literature. Our results fit naturally into the suite of known geometrical results about higher-rank graphs when we show that the abelianization of the fundamental group is the homology group. We end with a calculation which gives a non-standard presentation of the fundamental group of the Klein bottle to the one normally found in the literature.
We provide a new formalism of de Rham–Witt complexes in the logarithmic setting. This construction generalises a result of Bhatt–Lurie–Mathew and agrees with those of Hyodo–Kato and Matsuue for log-smooth schemes of log-Cartier type. We then use our construction to study the monodromy action and slopes of Frobenius on log crystalline cohomology.
We show that the additive higher Chow groups of regular schemes over a field induce a Zariski sheaf of pro-differential graded algebras, the Milnor range of which is isomorphic to the Zariski sheaf of big de Rham–Witt complexes. This provides an explicit cycle-theoretic description of the big de Rham–Witt sheaves. Several applications are derived.
We establish a kind of ‘degree $0$ Freudenthal ${\mathbb {G}_m}$-suspension theorem’ in motivic homotopy theory. From this we deduce results about the conservativity of the $\mathbb P^1$-stabilization functor.
In order to establish these results, we show how to compute certain pullbacks in the cohomology of a strictly homotopy-invariant sheaf in terms of the Rost–Schmid complex. This establishes the main conjecture of [2], which easily implies the aforementioned results.
We compare the Kummer flat (resp., Kummer étale) cohomology with the flat (resp., étale) cohomology with coefficients in smooth commutative group schemes, finite flat group schemes, and Kato’s logarithmic multiplicative group. We are particularly interested in the case of algebraic tori in the Kummer flat topology. We also make some computations for certain special cases of the base log scheme.
We equate various Euler classes of algebraic vector bundles, including those of [12] and one suggested by M. J. Hopkins, A. Raksit, and J.-P. Serre. We establish integrality results for this Euler class and give formulas for local indices at isolated zeros, both in terms of the six-functors formalism of coherent sheaves and as an explicit recipe in the commutative algebra of Scheja and Storch. As an application, we compute the Euler classes enriched in bilinear forms associated to arithmetic counts of d-planes on complete intersections in $\mathbb P^n$ in terms of topological Euler numbers over $\mathbb {R}$ and $\mathbb {C}$.
We compute the cohomology rings of smooth real toric varieties and of real toric spaces, which are quotients of real moment-angle complexes by freely acting subgroups of the ambient 2-torus. The differential graded algebra (dga) we present is in fact an equivariant dga model, valid for arbitrary coefficients. We deduce from our description that smooth toric varieties are $\hbox{M}$-varieties.
In this paper, we investigate the distribution of the maximum of partial sums of families of $m$-periodic complex-valued functions satisfying certain conditions. We obtain precise uniform estimates for the distribution function of this maximum in a near-optimal range. Our results apply to partial sums of Kloosterman sums and other families of $\ell$-adic trace functions, and are as strong as those obtained by Bober, Goldmakher, Granville and Koukoulopoulos for character sums. In particular, we improve on the recent work of the third author for Birch sums. However, unlike character sums, we are able to construct families of $m$-periodic complex-valued functions which satisfy our conditions, but for which the Pólya–Vinogradov inequality is sharp.
We give counterexamples to the degeneration of the Hochschild-Kostant-Rosenberg spectral sequence in characteristic p, both in the untwisted and twisted settings. We also prove that the de Rham-HP and crystalline-TP spectral sequences need not degenerate.
The goal of this article is to extend the work of Voevodsky and Morel on the homotopy t-structure on the category of motivic complexes to the context of motives for logarithmic schemes. To do so, we prove an analogue of Morel’s connectivity theorem and show a purity statement for $({\mathbf {P}}^1, \infty )$-local complexes of sheaves with log transfers. The homotopy t-structure on ${\operatorname {\mathbf {logDM}^{eff}}}(k)$ is proved to be compatible with Voevodsky’s t-structure; that is, we show that the comparison functor $R^{{\overline {\square }}}\omega ^*\colon {\operatorname {\mathbf {DM}^{eff}}}(k)\to {\operatorname {\mathbf {logDM}^{eff}}}(k)$ is t-exact. The heart of the homotopy t-structure on ${\operatorname {\mathbf {logDM}^{eff}}}(k)$ is the Grothendieck abelian category of strictly cube-invariant sheaves with log transfers: we use it to build a new version of the category of reciprocity sheaves in the style of Kahn-Saito-Yamazaki and Rülling.