Questions tagged [motives]
for questions about motives in algebraic geometry, including constructions of categories of motives and motivic sheaves, and aspects of the standard conjectures.
459 questions
16
votes
2
answers
2k
views
How is the Ising model an example of a lattice model as per Kontsevich?
In section 3.2 of Kontsevich's very interesting paper "Notes on motives in finite characteristic,", he gives an axiomatic definition of a "lattice model" attached to a Boltzmann ...
- 446
9
votes
0
answers
276
views
Which field extensions do not affect Chow groups?
Let $X$ be a (say, smooth projective) variety over a field $k$. For which $K$ it is known that the ("ordinary", that is, not higher) Chow groups of $X$ map onto that of $X_K$ bijectively?
...
- 16.9k
3
votes
1
answer
174
views
Are "strongly finite dimensional" homotopy invariant sheaves with transfers (locally) constant?
Let $k$ be an algebraically closed field. Let $S$ be a homotopy invariant $\mathbb{Q}$-linear sheaf with transfers in the sense of Voevodsky–Suslin, and assume that the dimension of $S(U)$ (over $\...
- 12.9k
2
votes
0
answers
148
views
Analytic properties of motivic L-functions twisted by Dirichlet characters
Let $M$ be a pure motive over $\mathbb{Q}$ and consider the (completed) $L$-function $\Lambda(M, s)$ attached to its $\ell$-adic realization. Let us assume that this $L$-function admits analytic ...
- 83
3
votes
0
answers
300
views
Why the scissor relations in Grothendieck rings?
Let $k$ be a field, and let $K_0(V_k)$ be the Grothendieck ring of $k$-varieties. One type of relation which defines $K_0(V_k)$ is the following: if $A$ is a $k$-variety and $C$ a closed subset of $A$,...
- 4,547
5
votes
0
answers
383
views
What is the motive of $\operatorname{Bun}_G(X)$?
$\DeclareMathOperator\Bun{Bun}$Let $X$ be a scheme over algebraically closed field $k$, $G$ a reductive group and $\Bun_G(X)$ the stack of $G$ bundles on $X$. Write $[\Bun_G(X)]\in K_\text{st}$ for ...
- 5,701
8
votes
2
answers
2k
views
Hodge standard conjecture in positive characteristic
In the Wikipedia article on the Hodge Standard Conjecture it is written (note [Oct. 2015]: it has since been fixed):
In characteristic zero the Hodge standard conjecture holds, being a consequence ...
- 4,713
2
votes
0
answers
118
views
Adjoining data about singularities to "correct" the category of pure motives?
There are a few well known constructions of potential categories of pure motives for smooth projective varieties over a field. My understanding is that modulo the standard conjectures these should be ...
- 1,635
15
votes
2
answers
853
views
Galois group for 0-dimensional motives
It is my understanding that in dimension 0, the theory of motives should just be Galois theory for fields. I am hoping to find a reference or two to help me get some things straightened out.
One can ...
- 171
3
votes
1
answer
476
views
Arc space & formal loops in motivic integration
One of the most essential ingredients in the theory of motivic integration are the space of arcs of a given $k$-variety
$X$. This is a scheme, whose $k$-rational points are the $k[[t]]$-valued points ...
- 45.7k
5
votes
3
answers
2k
views
Motivation for Karoubi envelope/ idempotent completion
This is the second part of my venture to become more comfortable with the concept of idempotent elements and idempotent splittings from category theoretical viewpoint. In the first part we considered ...
- 28.7k
3
votes
0
answers
178
views
Finiteness results in the category of schemes up to $\mathbb{A}^1$-homotopy
In algebraic geometry, we know that there exist geometrical conditions on a scheme $X/k$ for having finitely many rational points when $k$ is a number field. Namely for curves there is the Mordell ...
- 4,408
1
vote
1
answer
245
views
Pseudo-Abelian Completion in the constrution of Motifs (by Y. Manin)
I reading Yuri Manin's famous paper on "CORRESPONDENCES, MOTIFS AND MONOIDAL TRANSFORMATIONS" and struggle with his definition for so called pseudo-abelian completion given on page 453 by a reason I ...
- 333
1
vote
0
answers
107
views
Why is $\Delta - p_0 - p_{2}$ a projector?
I apologize in advance, since I am probably doing a very naive mistake in my computation. I am learning about pure (Chow / Grothendieck) motives. One of the first steps is to consider the category ...
- 533
4
votes
1
answer
273
views
Definition field of weight homomorphism and moduli interpretation of Shimura varieties
In "Canonical models of Shimura curves" by J.S. Milne (avaliable at https://www.jmilne.org/math/articles/2003a.pdf), he explains the definition of quaternion Shimura curve, and explains the modern ...
- 184
8
votes
1
answer
603
views
How much of the category of motives can be recovered from automorphisms of the Betti functor
Say we are working with schemes over a field $k\subset \mathbb{C}.$ A motive in the sense of Voevodsky is a functor $Sch\to D^bVect$ from (an appropriate category of) schemes to the DG category of ...
- 16.5k
4
votes
1
answer
1k
views
Gauss--Manin connection for de Rham realisation
Let $X$ and $S$ be smooth schemes of finite type over a field $k$ and let $\pi:X\to S$ be a smooth morphism of finite type. The relative de Rham cohomology $H^i_{dR}(X/S)$ of $X$ over $S$ is a ...
CommunityBot
- 1
1
vote
0
answers
228
views
Motivic integration of an Abelian variety and its dual are same?
Let $A$ be an abelian variety over $\mathbb{C}$ and $A^*$ the dual Abelian variety. The class of $A$ and the class of $A^*$ in $\mathcal{M}_{\mathbb{C}}=K_0(Var_\mathbb{C})[\mathcal{L}^{- 1}]$ are ...
- 519
21
votes
1
answer
1k
views
When simple cohomological computations predict ingenious algebro-geometric constructions?
Classical algebraic geometry is full of ingenious constructions and miraculous coincidences: 27 lines on a cubic surface are related to Weyl lattice of type $E_6,$ lines on an intersection of four-...
2
votes
0
answers
263
views
Brauer groups and del Pezzo surfaces
Let $k$ be a field of characteristic $0$ und let $X$ be a del Pezzo surface over $k$. Note that $X$ may not have points.
Let us consider $N:=\ker(\mathrm{Br}(k) \rightarrow \mathrm{Br}(k(X))$.
...
- 1,479
4
votes
0
answers
168
views
Derived weight filtration on motivic Galois representations
Thanks to modern techniques (such as the pro-etale site), we can now understand etale (co)homology of varieties and motives as "genuinely" derived (e.g. DG) Galois-equivariant objects. I'm looking for ...
- 7,952
3
votes
1
answer
249
views
Motivic class of mixed Tate motive
Let $k$ be a field (of characteristic zero), $R$ be a ring and let $X\in DM(k;R)$ be a Tate motive. By definition, this means that $X$ is a summand of an object of the smallest strictly full ...
- 16.9k
7
votes
1
answer
551
views
Motivation for Suslin’s Rigidity Conjecture
Suslin Rigidity conjecture states that motivic cohomology
$$
H_{\mathcal{M}}^1(\operatorname{Spec}(F),\mathbb{Q}(n))
$$
of the field $F$ coincides with motivic cohomology for the subfield of ...
- 17.4k
12
votes
1
answer
596
views
An inverse problem for Grothendieck rings of varieties
Suppose $A$ is a given commutative ring, and suppose that one knows that $A$ is isomorphic to the Grothendieck ring of $k$-varieties for some unknown field $k$.
Can $k$ be recovered from $A$ ? If ...
- 4,547
9
votes
1
answer
931
views
Does a conservativity conjecture imply the standard conjectures?
Does a conservativity conjecture (e.g. Conjecture 2.1 of http://user.math.uzh.ch/ayoub/PDF-Files/Article-for-Steven.pdf) imply the standard conjectures? Specifically I am confused with Beilinson's ...
- 5,504
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 ...
- 4,316
42
votes
0
answers
2k
views
Are we better in computing integrals than mathematicians of 19th century?
When I started to learn mathematics, I was fascinating by legendary «Демидович»: problems in mathematical analysis. Fifteen years later, when I open chapters about integrals, I see a long list of ...
- 4,316
6
votes
2
answers
600
views
Why is the triangulated category of motives easier than the abelian one?
There are several expository articles with the title "You could have invented [insert something mysterious here]" (a notable one being about spectral sequences, possibly it even started this genre). ...
- 4,316
1
vote
0
answers
304
views
Does the pure motive determine the Voevodsky motive?
I do not quite understand the construction of Voevodsky motives yet. Let $k$ be a field (possibly not algebraically closed), $X$ be a connected smooth projective $k$-scheme. Does the motive of $X$ in ...
CommunityBot
- 1
6
votes
3
answers
1k
views
Motives and homotopy theories of algebraic varieties
The theory of motives is an attempt to cope with the fact that there are many reasonable cohomology theories of algebraic varieties. Now, sometimes your cohomology theory does not just give you a ...
- 20.8k
4
votes
2
answers
569
views
Current status of independence of Betti numbers for different Weil cohomology theories
Previous problem: Is $\operatorname{dim} H^1$ of an abelian variety the same for any Weil cohomology?
Let $X$ be an smooth projective variety over a field $k$. For any Weil cohomology theory for ...
- 208
2
votes
0
answers
209
views
Is there literature on a de Rham analogue of the Mumford-Tate group or ell-adic monodromy group?
Let $X$ be a smooth projective variety over $\mathbb{Q}$. The theory of motives predicts that for each cohomology theory, there should be a distinguished Zariski closed subgroup of $GL(H^k_{\bullet}(X)...
- 9,061
8
votes
1
answer
492
views
Motives of complex-analytic spaces
In any setting where we have a notion of space and a notion of cohomology theory, we in principle could ask "what are motives in this setting?". In some settings the question can be interesting (i.e. ...
- 5,504
15
votes
1
answer
796
views
P-adic Volume Conjecture
Let $M$ be a closed hyperbolic 3-manifold. One can use hyperbolic structure on $M$ to define hyperbolic volume $Vol(M)$. Thanks to Mostow's rigidity theorem the volume depends only on the topology of ...
- 68.9k
3
votes
1
answer
217
views
How to cook up an Artin motive from a positive-dimensional variety
I am trying to make sense of the paper "Eigenvalues of Frobenius and Hodge Numbers" (Kisin--Lehrer). I have not succeeded after some hours of intent staring at the screen.
In the proof of Corollary ...
- 3,574
3
votes
0
answers
193
views
Motivic strong bellows conjecture
There is a theorem due to Gaifullin--Ignashchenko stating that the Dehn invariant of any flexible polyhedron in the $n$-dimensional Euclidean space ($n\geq 3$) is constant during the flexion.
Is ...
CommunityBot
- 1
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) \...
- 9,061
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 ...
- 3,337
7
votes
1
answer
433
views
Is $\operatorname{dim} H^1$ of an abelian variety the same for any Weil cohomology?
Let $A$ be an abelian variety over a field $k$ of dimension $g$, and $H$ be a Weil cohomology theory for smooth projective varieties over $k$ with characteristic $0$ coefficient field $E$.
Is it ...
- 208
20
votes
1
answer
831
views
Why would one "attempt" to define points of a motive as $\operatorname{Ext}^1(\mathbb{Q}(0),M)$?
I'm a novice when it comes to motives. (I've read multiple introductory texts.)
I'm attempting to read Galois Theory and Diophantine geometry by Minhyong Kim. In it, he says that "One might attempt, ...
- 10.9k
3
votes
0
answers
182
views
Where is smoothness used in Voevodsky's homotopy theory of schemes? [duplicate]
Let $S$ be a smooth noetherian scheme, and let $Sm/S$ be the category of smooth schemes over $S$. Voevodsky constructs the homotopy category of motives (resp. the stable homotopy category of motives) $...
- 3,019
20
votes
1
answer
902
views
Is there any publication of Bombieri about the standard conjectures on algebraic cycles?
In "Standard conjectures of algebraic cycles" Grothendieck says:
"... These [Standard conjectures] are not really new, and they were worked out about three years ago independently by Bombieri and ...
- 188k
6
votes
1
answer
525
views
Functoriality for $\ell$-adic cohomology - a question
This should a be basic enough question, but I’m a little confused.
In proving that $H^*(X,\mathbf{Q}_{\ell})$ is functorial (in the sense of Weil cohomology theories: see axiom D2 here) as $X$ ranges ...
CommunityBot
- 1
12
votes
1
answer
407
views
Precise formulation of conjectures on orders of vanishing?
Let $X$ be a smooth and proper scheme over $\text{Spec}(\mathbf{Z})$.
C. Soulé has conjectures about special values of the completed zeta function of $X$, $\zeta(X,s)$, which were first reformulated ...
- 2,040
75
votes
4
answers
16k
views
What's the "Yoga of Motives"?
There are some things about geometry that show why a motivic viewpoint is deep and important. A good indication is that Grothendieck and others had to invent some important and new algebraico-...
CommunityBot
- 1
4
votes
0
answers
306
views
Etale cohomology of projective spaces in the rigid analytic setting
Take $K$ a complete non-archimedean field (maybe algebraically closed, to simplify the question), and $\mathbb{P}_K^d$ the rigid projective space over $K$. Can we compute the étale cohomology with ...
12
votes
1
answer
608
views
Reference - motives of curves
There is a really interesting comment in this question that I was unable to find a reference...
Under the "Tate conjectures, then every motive belongs to the tensor category generated by motives of ...
- 13.6k
2
votes
1
answer
326
views
Lefschetz standard conjecture under specialization/generization
Let $S$ be a smooth connected noetherian scheme (not necessarily over a field) with residue fields that are all of finite type over their prime field.
Let $f: \mathcal{X}\to S$ be a smooth projective ...
CommunityBot
- 1
9
votes
1
answer
703
views
Motivic cohomology is universal with respect to what (co)homology theories?
I have been told several times, at least implicitly, that motivic cohomology should be universal with respect to Bloch-Ogus cohomology theories. Is it proved somewhere or is it just some folk theorem?
...
- 592
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 ...
- 41