Skip to main content

All Questions

Filter by
Sorted by
Tagged with
3 votes
1 answer
370 views

Bloch–Beilinson conjecture for varieties over function fields of positive characteristic

Is there a version of the Bloch–Beilinson conjecture for smooth projective varieties over global fields of positive characteristic? The conjecture I’m referring to is the “recurring fantasy” on page 1 ...
Bma's user avatar
  • 531
2 votes
0 answers
151 views

Compatibility of system of $\ell$-adic representations associated to Voevodsky motives

Let $M$ be an object of Voevodsky's category $DM_{gm}(K,\mathbb{Q})$ for a number field $K$. For each prime number $\ell$, there is an $\ell$-adic realization $M_{\ell}$ in the bounded derived ...
David Corwin's user avatar
  • 15.4k
6 votes
0 answers
221 views

Motives in tropical geometry

Is there a notion of motives in tropical geometry? Similar like the notion introduced by Grothendieck in algebraic geometry.
Raoul's user avatar
  • 163
9 votes
1 answer
472 views

Why is the category of motives generated by varieties?

I'm reading Ayoub's paper Motifs des varietes analytiques rigides, but I'm not quite familiar with motives. In this paper, he defines the category of motives to be $\mathbf{RigDM}^{\rm eff}_{\rm Nis}(...
Chen Zekun's user avatar
4 votes
0 answers
219 views

Generate periods only by smooth varieties

Like explained in this passage that a period is a complex number whose real and imaginary parts are integrations of rational functions over $\mathbb{Q}$ on some $\mathbb{Q}$-semi-algebra set in $\...
CO2's user avatar
  • 275
10 votes
0 answers
481 views

What is the precise definition of "Hypergeometric motives over $\mathbb{Q}$"?

The question is as in the title, but here is some background: Section 4 of this paper by Beukers, Cohen and Mellit is called "Hypergeometric motive over $\mathbb{Q}$" but no actual (pure) ...
naf's user avatar
  • 10.5k
6 votes
1 answer
652 views

$l$-adic periods?

For an algebraic variety $X$ over $\mathbb{Q}$ the comparison isomorphism between Betti and de Rham cohomologies provides the theory of periods with a motivic context whose reformulation as motivic ...
GroGal's user avatar
  • 61
4 votes
1 answer
372 views

$p$-adic realisation of Kummer motive and Frobenius matrix

Suppose $M$ is an object in the abelian category of mixed Tate motives over $\mathbb{Q}$, and it is an extension of $\mathbb{Q}(0)$ by $\mathbb{Q}(1)$ \begin{equation} 0 \rightarrow \mathbb{Q}(1) \...
Wenzhe's user avatar
  • 2,971
9 votes
0 answers
291 views

Searching for hypergeometric motives that split

Motivation: It seems that the splitting of a hypergeometric motive is closely related to some highly non-trivial hypergeometric identities discovered by Ramanujan, Guillera et al. The splitting of ...
Y. Zhao's user avatar
  • 3,337
4 votes
0 answers
232 views

holomorphic continuation of motivic $L$-functions

The question is rather easy to formulate: when is the $L$-function of a pure motive over $\mathbb{Q}$ expected to have a holomorphic (as opposed to simply meromorphic) continuation to the complex ...
lfu's user avatar
  • 41
13 votes
2 answers
2k views

What is the best reference for motives?

I want to learn about homotopy theory on number fields, and I heard that the theory of motives made it possible, so I want to know what is a good textbook for motive theory. To be honest, I don’t ...
Gear's user avatar
  • 153
5 votes
0 answers
275 views

Reference request: Tate's conjecture for L functions of motives

What's a good reference for the most general form of Tate's conjecture for the order of poles of the L function of a motive? Thanks!
Ramin's user avatar
  • 1,362
4 votes
1 answer
370 views

Poincare duality for mixed motives

Suppose $k$ is a field of characteristic zero (and we assume it is a number field if necessary). If $U$ is a smooth quasi-projective variety over $k$, then there is Poincare duality, \begin{equation} ...
Wenzhe's user avatar
  • 2,971
4 votes
0 answers
192 views

A question on Nekovar's paper Belinson's Conjectures

In Section 2 of Nevovar's paper "Beilinson's Conjectures", for a pure motive $M$ of the form $h^i(X)(n)$ where $X$ is a projective smooth variety over $\mathbb{Q}$ and $n$ is an integer such that the ...
Wenzhe's user avatar
  • 2,971
0 votes
0 answers
328 views

Mixed motives and motivic cohomology

In Scholl's paper "Remarks on special values of $L$-functions", he defines that an object $M$ of $\textbf{MM}_{\mathbb{Q}}$ (the conjectured abelian category of mixed motives with coefficients $\...
Wenzhe's user avatar
  • 2,971
12 votes
0 answers
811 views

Number field analog of Artin-Tate $\Rightarrow$ BSD?

What is the difference between the alternating product of the Hasse-Weil $L$-functions of the generic fiber of an arithmetic scheme $X\to\text{Spec}(\mathbf{Z})$ and the zeta function of $X$? (each ...
user avatar
12 votes
3 answers
1k views

Chow Groups of varieties over number fields

I believe that there is a conjecture that for any smooth projective variety $X$ over a number field $K$, its Chow groups $CH^i(X)$ (or at least $CH^i(X)\otimes_{\mathbf Z} \mathbf Q$) are finitely ...
gdb's user avatar
  • 2,923
24 votes
3 answers
4k views

How are motives related to anabelian geometry and Galois-Teichmuller theory?

In Recoltes et Semailles, Grothendieck remarks that the theory of motives is related to anabelian geometry and Galois-Teichmuller theory. My understanding of these subjects is not very solid at this ...
Anton Hilado's user avatar
  • 3,309
11 votes
3 answers
1k views

Why linearization leads to arithmetization?

Sorry for this question, but I think it is really important the intuition here. Motives can be seen as the 'best' way of linearizing the study of schemes, des-composing them into "cohomological atoms"...
tttbase's user avatar
  • 1,720
3 votes
0 answers
128 views

On Abhyankar's results cited in a paper of Manin titled "Correspondences, Motifs and Monoidal Transformations"

Consider the following from this paper "Correspondences, Motifs and Monoidal Transformations" of Manin here. Theorem. Nonsingular three-dimensional projective unirational varieties $V$ over ...
user100749's user avatar
6 votes
1 answer
1k views

Relationship between motivic Galois groups and Langlands program [duplicate]

I would like to know if there is any relationship between the motivic Galois groups and the Langlands program. Many thanks.
tttbase's user avatar
  • 1,720
8 votes
0 answers
603 views

A Generalization of the Tate-Shafarevich/Tate/Fontaine-Mazur Conjectures

Let $A$ be an abelian variety over a number field $k$. The Tate-Shafarevich conjecture says that the Tate-Shafarevich group of $A$ is finite. A weakening of this conjecture states that the $\ell$-...
David Corwin's user avatar
  • 15.4k
7 votes
0 answers
279 views

Quadratic twists of 1-motives

Quadratic twists of elliptic curves (or, more generally, abelian varieties) are familiar objects in arithmetic geometry. I would like to extend that definition to the category of 1-motives over global ...
Cristian D. Gonzalez-Aviles's user avatar
21 votes
1 answer
757 views

What should motives for $L(E,n)$ look like?

Goncharov and Manin showed in this paper that the zeta values $\zeta(n)$ can be realized as periods of framed mixed Tate motives constructed from moduli spaces $\overline{\mathcal{M}}_{0,n+3}$ of ...
Matthias Wendt's user avatar
12 votes
1 answer
572 views

Non-algebraic Hecke characters

Algebraic Hecke characters are ubiquitous in modern number theory. They are in 1-1 correspondence with one dimensional complex Galois representations, and in some precise sense they are the building ...
Myshkin's user avatar
  • 17.6k
9 votes
0 answers
649 views

Motivic fundamental group of the moduli space of curves?

Suppose I have a smooth projective family of varieties of varieties over $\mathcal M_g$ - i.e. a universal functor, commuting with deformations, from curves to smooth projective varieties. Can I ...
Will Sawin's user avatar
  • 148k
6 votes
1 answer
1k views

Pure motives and compatible systems of $\ell$-adic representations

I am trying to understand the statement of the conjectures of Deligne on special values of certain $L$-functions, from his article titled, "Valuers de Fonctions L et periodes d'integrales" which ...
Rex's user avatar
  • 1,563
15 votes
4 answers
1k views

Number of $\mathbb F_p$ points constant mod $p$?

I have some affine varieties $X$ defined over $\mathbb Z$, and associated integers $c(X)$, with the property that $\# X_{\mathbb Z/p} \equiv c(X) \bmod p$ for all $p$. (In particular $c(X)$ is usually ...
Allen Knutson's user avatar
13 votes
1 answer
974 views

Which degree does a motivic Galois representation show up in?

Consider a representation $\rho: \operatorname{Gal} (\overline{\mathbb Q} | \mathbb Q ) \to GL_n ( \overline{\mathbb Q}_\ell)$ that is a subrepresentation of $H^i(X, \overline{\mathbb Q}_\ell (j))$ ...
Will Sawin's user avatar
  • 148k
1 vote
0 answers
351 views

Do those manifolds atrached to L-functions give rise naturally to motives? [closed]

Edited after Will Sawin's comment: Consider the set $\mathcal{M}$ of all automorphic L-functions belonging to the Selberg class. Such a set is closed for the product $.$ and the tensor product $\...
Sylvain JULIEN's user avatar
10 votes
0 answers
340 views

Geometric vs combinatorial motives over Spec Z

Consider the category of reduced schemes of finite type over $\mathbb{Z}$. Take the Grothendieck group of this category, i.e. the free abelian group on isomorphism classes, modulo the usual "syzygy" ...
Andreas Holmstrom's user avatar
12 votes
1 answer
1k views

Motivic L-function vs motivic zeta function

Let $M$ be a pure motive over a field $k$. Roughly speaking, the L-function of $M$ is the product over all primes $p$ of $$L_p(M,s)=\det(I-Fr_p|_{M_\ell^I} N(p)^{-s})^{-1}$$ where $Fr_p$ is a ...
Tian An's user avatar
  • 3,799
29 votes
3 answers
2k views

$\zeta(n)$ as a mixed Tate motive

I am trying to understand why there exists, for each $n \geq 2$, a mixed Tate motive $M$ over $\mathbb{Q}$ such that $M \in Ext^1_{MT(\mathbb{Q})}(\mathbb{Q}(0), \mathbb{Q}(n))$ and $\zeta(n)$, ...
mtm93's user avatar
  • 291
7 votes
1 answer
759 views

On Deligne's determinant of motives

This is a question about Deligne's conjecture on special values of L-functions. I have to confess that I've never understood the definition of the determinant which is supposed to give the right ...
bob81's user avatar
  • 71
45 votes
2 answers
3k views

What are the possible motivic Galois groups over $\mathbb Q$?

Let $E$ be a motive over $\mathbb Q$. (I should precise, that by a motive I mean here a pure motive over $\mathbb Q$, with coefficients in $\mathbb Q$, that I see here as a conjectural object which ...
Joël's user avatar
  • 26k
19 votes
2 answers
2k views

What is the relationship between these two notions of "period"?

The motivation for this question is to understand a recent theorem of Francis Brown which implies that all periods of mixed Tate motives over $\mathbb{Z}$ lie in $\mathcal{Z}[\frac{1}{2\pi i}]$, where ...
Julian Rosen's user avatar
  • 9,061
3 votes
2 answers
375 views

critical values of motives

Hi friends, I have some questions concerning the critical values of motives, in the sense of Deligne. I will only look at motives of the form $h^i(X)$ where $X$ is a smooth projective algebraic ...
critval's user avatar
  • 31
15 votes
1 answer
769 views

Crystalline realization of mixed Tate motives

Deligne and Goncharov, in their article of 2005, mention that the crystalline realization functor has yet to be worked out. What's the current state of the literature on this? And how big of an issue ...
Ishaidc's user avatar
  • 313
10 votes
1 answer
2k views

How does the conjectural Langlands group fit into the Tannakian point of view?

I've read that one way to formulate the Langlands program is the following: Let $\mathcal{L}_ {\mathbb{Q}}$ be the conjectural Langlands group. Then the category of semi-simple (continuous) ...
14 votes
2 answers
2k views

How would a motivic proof of the Riemann hypothesis over finite fields go?

It is well known that Grothendieck had a different idea than Deligne about how one should go about proving the Riemann hypothesis for finite fields. However, since Grothendieck's desired proof never ...
James D. Taylor's user avatar
3 votes
1 answer
777 views

Is the "L-function of the complex cohomology" of a motive equal to the L-function of its l-adic realization?

Let's say I have a motive in $\mathcal{M}_{num}(K)$ ($K$ a number field). For each prime $l$ there is a realization of this motive in terms of etale cohomology with coefficients in $\mathbb{Q}_l$. ...
James D. Taylor's user avatar
141 votes
0 answers
13k views

Grothendieck-Teichmüller conjecture

(1) In "Esquisse d'un programme", Grothendieck conjectures Grothendieck-Teichmüller conjecture: the morphism $$ G_{\mathbb{Q}} \longrightarrow Aut(\widehat{T}) $$ is an isomorphism. Here $...
AFK's user avatar
  • 7,527
18 votes
1 answer
6k views

Deligne's proof of Ramanujan's conjecture

I am trying to understand Deligne's proof of the Ramanujan conjecture and more generally how one associates geometric objects (ultimately, motives) to modular forms. As the first step, which I ...
Evgeny Shinder's user avatar
35 votes
4 answers
8k views

What would a "moral" proof of the Weil Conjectures require?

At the very end of this 2006 interview (rm), Kontsevich says "...many great theorems are originally proven but I think the proofs are not, kind of, "morally right." There should be better proofs......
bhwang's user avatar
  • 1,764
6 votes
3 answers
601 views

Solving "a, b, a+b have given divisors" problem

I've read an interesting article, math.NT/0409456 where you're just trying to solve a simple problem: For a given (finite) set of primes S find all solutions to an equation ...
Ilya Nikokoshev's user avatar