skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: ADJOINT FUNCTORS ON THE DERIVED CATEGORY OF MOTIVES
We show that the subcategory of mixed Tate motives in Voevodsky’s derived category of motives is not closed under infinite products. In fact, the infinite product $$\prod _{n=1}^{\infty }\mathbf{Q}(0)$$ is not mixed Tate. More generally, the inclusions of several subcategories of motives do not have left or right adjoints. The proofs use the failure of finite generation for Chow groups in various contexts. In the positive direction, we show that for any scheme of finite type over a field whose motive is mixed Tate, the Chow groups are finitely generated.  more » « less
Award ID(s):
1701237
PAR ID:
10099081
Author(s) / Creator(s):
Date Published:
Journal Name:
Journal of the Institute of Mathematics of Jussieu
Volume:
17
Issue:
3
ISSN:
1474-7480
Page Range / eLocation ID:
489 to 507
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. Given an abelian variety over a number field, its Sato–Tate group is a compact Lie group which conjecturally controls the distribution of Euler factors of the L L -function of the abelian variety. It was previously shown by Fité, Kedlaya, Rotger, and Sutherland that there are 52 groups (up to conjugation) that occur as Sato–Tate groups of abelian surfaces over number fields; we show here that for abelian threefolds, there are 410 possible Sato–Tate groups, of which 33 are maximal with respect to inclusions of finite index. We enumerate candidate groups using the Hodge-theoretic construction of Sato–Tate groups, the classification of degree-3 finite linear groups by Blichfeldt, Dickson, and Miller, and a careful analysis of Shimura’s theory of CM types that rules out 23 candidate groups; we cross-check this using extensive computations inGAP,SageMath, andMagma. To show that these 410 groups all occur, we exhibit explicit examples of abelian threefolds realizing each of the 33 maximal groups; we also compute moments of the corresponding distributions and numerically confirm that they are consistent with the statistics of the associated L L -functions. 
    more » « less
  2. We prove potential automorphy results for a single Galois representation 𝐺𝐹→𝐺𝐿𝑛(ℚ⎯⎯⎯⎯⎯𝑙) where F is a CM number field. The strategy is to use the p, q switch trick to go between the p-adic and q-adic realisation of a certain variant of the Dwork motive. We choose this variant to break self-duality shape of the motives, but not the Hodge-Tate weights. Another key result to prove is that certain p-adic representations we choose that come from the Dwork motives is ordinarily automorphic. One input is the automorphy lifting theorem in Allen et al.: (Potential automorphy over CM fields, Cornell University, New York 2018) . 
    more » « less
  3. We analyze the tt-geometry of derived Artin motives, via modular representation theory of profinite groups. To illustrate our methods, we discuss Artin motives over a finite field, in which case we also prove stratification. 
    more » « less
  4. We compute the RO(G)‐graded equivariant algebraic K‐groups of a finite field with an action by its Galois group G. Specifically, we show these K‐groups split as the sum of an explicitly computable term and the well‐studied RO(G)‐graded coefficient groups of the equivariant Eilenberg–MacLane spectrum HZ. Our comparison between the equivariant K‐theory spectrum and HZ further shows they share the same Tate spectra and geometric fixed point spectra. In the case where G has prime order, we provide an explicit presentation of the equivariant K‐groups. 
    more » « less
  5. Abstract We prove a 1979 conjecture of Lusztig on the cohomology of semi-infinite Deligne–Lusztig varieties attached to division algebras over local fields. We also prove the two conjectures of Boyarchenko on these varieties. It is known that in this setting, the semi-infinite Deligne–Lusztig varieties are ind-schemes comprised of limits of certain finite-type schemes X h {X_{h}} . Boyarchenko’s two conjectures are on the maximality of X h {X_{h}} and on the behavior of the torus-eigenspaces of their cohomology. Both of these conjectures were known in full generality only for division algebras with Hasse invariant 1 / n {1/n} in the case h = 2 {h=2} (the “lowest level”) by the work of Boyarchenko–Weinstein on the cohomology of a special affinoid in the Lubin–Tate tower. We prove that the number of rational points of X h {X_{h}} attains its Weil–Deligne bound, so that the cohomology of X h {X_{h}} is pure in a very strong sense. We prove that the torus-eigenspaces of the cohomology group H c i ⁢ ( X h ) {H_{c}^{i}(X_{h})} are irreducible representations and are supported in exactly one cohomological degree. Finally, we give a complete description of the homology groups of the semi-infinite Deligne–Lusztig varieties attached to any division algebra, thus giving a geometric realization of a large class of supercuspidal representations of these groups. Moreover, the correspondence θ ↦ H c i ⁢ ( X h ) ⁢ [ θ ] {\theta\mapsto H_{c}^{i}(X_{h})[\theta]} agrees with local Langlands and Jacquet–Langlands correspondences. The techniques developed in this paper should be useful in studying these constructions for p -adic groups in general. 
    more » « less