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 -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 -functions. 
                        more » 
                        « less   
                    
                            
                            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
- 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
- 
            
- 
            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
- 
            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
- 
            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
 An official website of the United States government
An official website of the United States government 
				
			 
					 
					
 
                                    