We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.
Online ordering will be unavailable from 17:00 GMT on Friday, April 25 until 17:00 GMT on Sunday, April 27 due to maintenance. We apologise for the inconvenience.
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 [email protected]
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 give bounds for the Betti numbers of projective algebraic varieties in terms of their classes (degrees of dual varieties of successive hyperplane sections). We also give bounds for classes in terms of ramification volumes (mixed ramification degrees), sectional genus and, eventually, in terms of dimension, codimension and degree. For varieties whose degree is large with respect to codimension, we give sharp bounds for the above invariants and classify the varieties on the boundary, thus obtaining a generalization of Castelnuovo’s theory for curves to varieties of higher dimension.
The tempered fundamental group of a p-adic variety classifies analytic étale covers that become topological covers for Berkovich topology after pullback by some finite étale cover. This paper constructs cospecialization homomorphisms between the (p′) versions of the tempered fundamental group of the fibers of a smooth morphism with polystable reduction. We study the question for families of curves in another paper. To construct them, we will start by describing the pro-(p′) tempered fundamental group of a smooth and proper variety with polystable reduction in terms of the reduction endowed with its log structure, thus defining tempered fundamental groups for log polystable varieties.
In [M. Kontsevich and Y. Soibelman, Cohomological Hall algebra, exponential Hodge structures and motivic Donaldson–Thomas invariants, Preprint (2011), arXiv:1006.2706v2[math.AG]], the authors, in particular, associate to each finite quiver Q with a set of vertices I the so-called cohomological Hall algebra ℋ, which is ℤI≥0-graded. Its graded component ℋγ is defined as cohomology of the Artin moduli stack of representations with dimension vector γ. The product comes from natural correspondences which parameterize extensions of representations. In the case of a symmetric quiver, one can refine the grading to ℤI≥0×ℤ, and modify the product by a sign to get a super-commutative algebra (ℋ,⋆) (with parity induced by the ℤ-grading). It is conjectured in [M. Kontsevich and Y. Soibelman, Cohomological Hall algebra, exponential Hodge structures and motivic Donaldson–Thomas invariants, Preprint (2011), arXiv:1006.2706v2[math.AG]] that in this case the algebra (ℋ⊗ℚ,⋆) is free super-commutative generated by a ℤI≥0×ℤ-graded vector space of the form V =Vprim ⊗ℚ[x] , where x is a variable of bidegree (0,2)∈ℤI≥0×ℤ, and all the spaces ⨁ k∈ℤVprimγ,k, γ∈ℤI≥0. are finite-dimensional. In this paper we prove this conjecture (Theorem 1.1). We also prove some explicit bounds on pairs (γ,k) for which Vprimγ,k≠0 (Theorem 1.2). Passing to generating functions, we obtain the positivity result for quantum Donaldson–Thomas invariants, which was used by Mozgovoy to prove Kac’s conjecture for quivers with sufficiently many loops [S. Mozgovoy, Motivic Donaldson–Thomas invariants and Kac conjecture, Preprint (2011), arXiv:1103.2100v2[math.AG]]. Finally, we mention a connection with the paper of Reineke [M. Reineke, Degenerate cohomological Hall algebra and quantized Donaldson–Thomas invariants for m-loop quivers, Preprint (2011), arXiv:1102.3978v1[math.RT]].
In this article, we apply the methods of our work on Fontaine’s theory in equal characteristics to the φ/𝔖-modules of Breuil and Kisin. Thanks to a previous article of Kisin, this yields a new and rather elementary proof of the theorem ‘weakly admissible implies admissible’ of Colmez and Fontaine.
The S-fundamental group scheme is the group scheme corresponding to the Tannaka category of numerically flat vector bundles. We use determinant line bundles to prove that the S-fundamental group of a product of two complete varieties is a product of their S-fundamental groups as conjectured by Mehta and the author. We also compute the abelian part of the S-fundamental group scheme and the S-fundamental group scheme of an abelian variety or a variety with trivial étale fundamental group.
Two major results in the theory of ℓ-adic mixed constructible sheaves are the purity theorem (every simple perverse sheaf is pure) and the decomposition theorem (every pure object in the derived category is a direct sum of shifts of simple perverse sheaves). In this paper, we prove analogues of these results for coherent sheaves. Specifically, we work with staggered sheaves, which form the heart of a certain t-structure on the derived category of equivariant coherent sheaves. We prove, under some reasonable hypotheses, that every simple staggered sheaf is pure, and that every pure complex of coherent sheaves is a direct sum of shifts of simple staggered sheaves.
We test R. van Luijk’s method for computing the Picard group of a K3 surface. The examples considered are the resolutions of Kummer quartics in ℙ3. Using the theory of abelian varieties, the Picard group may be computed directly in this case. Our experiments show that the upper bounds provided by van Luijk’s method are sharp when sufficiently many primes are used. In fact, there are a lot of primes that yield a value close to the exact one. However, for many but not all Kummer surfaces V of Picard rank 18, we have for a set of primes of density at least 1/2.
We compare the cohomology of (parabolic) Hitchin fibers for Langlands dual groups G and G∨. The comparison theorem fits in the framework of the global Springer theory developed by the author. We prove that the stable parts of the parabolic Hitchin complexes for Langlands dual group are naturally isomorphic after passing to the associated graded of the perverse filtration. Moreover, this isomorphism intertwines the global Springer action on one hand and Chern class action on the other. Our result is inspired by the mirror symmetric viewpoint of geometric Langlands duality. Compared to the pioneer work in this subject by T. Hausel and M. Thaddeus, R. Donagi and T. Pantev, and N. Hitchin, our result is valid for more general singular fibers. The proof relies on a variant of Ngô’s support theorem, which is a key point in the proof of the Fundamental Lemma.
We generalize Bondal and Orlov's Reconstruction Theorem for a Gorenstein scheme X and a projective morphism X → T whose (relative) dualizing sheaf is either T-ample or T-antiample.
Let p be a prime. We construct and study integral and torsion invariants, such as integral and torsion Weil–Deligne representations, associated to potentially semi-stable representations and torsion potentially semi-stable representations respectively. As applications, we prove the compatibility between local Langlands correspondence and Fontaine's construction for Galois representations attached to Hilbert modular forms, and Néron–Ogg–Shafarevich criterion of finite level for potentially semi-stable representations.
We introduce the idea of a geometric categorical Lie algebra action on derived categories of coherent sheaves. The main result is that such an action induces an action of the braid group associated to the Lie algebra. The same proof shows that strong categorical actions in the sense of Khovanov–Lauda and Rouquier also lead to braid group actions. As an example, we construct an action of Artin’s braid group on derived categories of coherent sheaves on cotangent bundles to partial flag varieties.
We prove that the Newton polygons of Frobenius on the crystalline cohomology of proper smooth varieties satisfy a symmetry that results, in the case of projective smooth varieties, from Poincaré duality and the hard Lefschetz theorem. As a corollary, we deduce that the Betti numbers in odd degrees of any proper smooth variety over a field are even (a consequence of Hodge symmetry in characteristic zero), answering an old question of Serre. Then we give a generalization and a refinement for arbitrary varieties over finite fields, in response to later questions of Serre and of Katz.
Let 𝒱 be a complete discrete valuation ring of mixed characteristic. We classify arithmetic 𝒟-modules on Spf(𝒱[[t]]) up to certain kind of ‘analytic isomorphism’. This result is used to construct canonical extensions (in the sense of Katz and Gabber) for objects of this category.
We prove that on separated algebraic surfaces every coherent sheaf is a quotient of a locally free sheaf. This class contains many schemes that are neither normal, reduced, quasiprojective nor embeddable into toric varieties. Our methods extend to arbitrary two-dimensional schemes that are proper over an excellent ring.
In this work, we study the intersection cohomology of Siegel modular varieties. The goal is to express the trace of a Hecke operator composed with a power of the Frobenius endomorphism (at a good place) on this cohomology in terms of the geometric side of Arthur’s invariant trace formula for well-chosen test functions. Our main tools are the results of Kottwitz about the contribution of the cohomology with compact support and about the stabilization of the trace formula, Arthur’s L2 trace formula and the fixed point formula of Morel [Complexes pondérés sur les compactifications de Baily–Borel. Le cas des variétés de Siegel, J. Amer. Math. Soc. 21 (2008), 23–61]. We ‘stabilize’ this last formula, i.e. express it as a sum of stable distributions on the general symplectic groups and its endoscopic groups, and obtain the formula conjectured by Kottwitz in [Shimura varieties and λ-adic representations, in Automorphic forms, Shimura varieties and L-functions, Part I, Perspectives in Mathematics, vol. 10 (Academic Press, San Diego, CA, 1990), 161–209]. Applications of the results of this article have already been given by Kottwitz, assuming Arthur’s conjectures. Here, we give weaker unconditional applications in the cases of the groups GSp4 and GSp6.
Let 𝒱 be a mixed characteristic complete discrete valuation ring with perfect residue field k. We solve Berthelot’s conjectures on the stability of the holonomicity over smooth projective formal 𝒱-schemes. Then we build a category of F-complexes of arithmetic 𝒟-modules over quasi-projective k-varieties with bounded and holonomic cohomology. We obtain its stability under Grothendieck’s six operations.
This work establishes a comparison between functions on derived loop spaces (Toën and Vezzosi, Chern character, loop spaces and derived algebraic geometry, in Algebraic topology: the Abel symposium 2007, Abel Symposia, vol. 4, eds N. Baas, E. M. Friedlander, B. Jahren and P. A. Østvær (Springer, 2009), ISBN:978-3-642-01199-3) and de Rham theory. If A is a smooth commutative k-algebra and k has characteristic 0, we show that two objects, S1⊗A and ϵ(A), determine one another, functorially in A. The object S1⊗A is the S1-equivariant simplicial k-algebra obtained by tensoring A by the simplicial group S1 :=Bℤ, while the object ϵ(A) is the de Rham algebra of A, endowed with the de Rham differential, and viewed as a ϵ-dg-algebra (see the main text). We define an equivalence φ between the homotopy theory of simplicial commutative S1-equivariant k-algebras and the homotopy theory of ϵ-dg-algebras, and we show the existence of a functorial equivalence ϕ(S1 ⊗A)∼ϵ(A) . We deduce from this the comparison mentioned above, identifying the S1-equivariant functions on the derived loop space LX of a smooth k-scheme X with the algebraic de Rham cohomology of X/k. As corollaries, we obtain functorial and multiplicative versions of decomposition theorems for Hochschild homology (in the spirit of Hochschild–Kostant–Rosenberg) for arbitrary semi-separated k-schemes. By construction, these decompositions are moreover compatible with the S1-action on the Hochschild complex, on one hand, and with the de Rham differential, on the other hand.
Bondarko defines and studies the notion of weight structure and he shows that there exists a weight structure over the category of Voevodsky motives with rational coefficients (over a field of characteristic 0). In this paper we extend this weight structure to the category of Beilinson motives (for any scheme of finite type over a base scheme which is excellent of dimension at most two) introduced and studied by Cisinsky and Déglise. We also check the weight exactness of the Grothendieck operations.
Here we classify the weakly uniform rank two vector bundles on multiprojective spaces. Moreover, we show that every rank r>2 weakly uniform vector bundle with splitting type a1,1=⋯=ar,s=0 is trivial and every rank r>2 uniform vector bundle with splitting type a1>⋯>ar splits.
The main goal of this paper is to deduce (from a recent resolution of singularities result of Gabber) the following fact: (effective) Chow motives with ℤ[1/p]-coefficients over a perfect field k of characteristic p generate the category DMeffgm[1/p] (of effective geometric Voevodsky’s motives with ℤ[1/p]-coefficients). It follows that DMeffgm[1/p] can be endowed with a Chow weight structure wChow whose heart is Choweff[1/p] (weight structures were introduced in a preceding paper, where the existence of wChow for DMeffgmℚ was also proved). As shown in previous papers, this statement immediately yields the existence of a conservative weight complex functor DMeffgm[1/p]→Kb (Choweff [1/p])(which induces an isomorphism on K0-groups), as well as the existence of canonical and functorial (Chow)-weight spectral sequences and weight filtrations for any cohomology theory on DMeffgm[1/p] . We also mention a certain Chow t-structure for DMeff−[1/p]and relate it with unramified cohomology.