All Questions
Tagged with ag.algebraic-geometry motives
128 questions with no upvoted or accepted answers
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 ...
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
4
votes
0
answers
255
views
Quotient of a motive by a finite group
Given a smooth scheme $X$ over a field $k$, we can consider its motive $M(X)$. It is an object in Voevodsky's triangulated category of motives $DM(k,\Lambda)$ where $\Lambda$ is the ring of ...
- 2,670
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 ...
- 2,971
4
votes
0
answers
92
views
Locus of Hodge classes
Let $\pi: X\to S$ be a proper smooth morphism of complex analytic spaces, with connected smooth $X$ and $S$ over $\mathbf{C}$, projective fibers, and $$\mathscr{H}_{X/S}^p := R^p\pi_*\Omega^{\bullet}_{...
user120812
4
votes
0
answers
205
views
$\mathbf{A}^1$- contractibility
Suppose $U$ is an $\mathbf{A}^1$-contractible smooth scheme over a field $k$, that is, it is isomorphic to a point in the $\mathbf{A}^1$-homotopy category of smooth schemes over $k$.
Does motivic ...
user119470
4
votes
0
answers
537
views
Why do motivic stacks make sense?
In the paper "Motivic model categories and motivic derived algebraic geometry", Yuki Kato, whose email-address I sadly couldn't find out, describes a procedure to "motivy" the objects of any $(\infty,...
4
votes
0
answers
244
views
Effectivity and Lower Shriek for Voevodsky Motives
I am in a situation where I need a result of the following form. Suppose $X$ is a smooth $k$-variety, $U$ is a dense open subvariety with complement $Z$ a smooth divisor. Let $\pi^X:X\rightarrow\text{...
- 143
4
votes
0
answers
477
views
Why is the Hodge conjecture equivalent to the assertion that $ \mathcal{R}_{ \mathrm{Hodge} } $ is fully faithfull?
On pages 17 and 18 of the following document: https://www.math.tifr.res.in/~sujatha/ihes.pdf, we find the following paragraph:
Let $ \mathbb{Q} \mathrm{HS}$ be the category of pure Hodge structures ...
- 325
4
votes
0
answers
161
views
Quadrics contained in the (complex) Cayley plane
In the paper
Ilev, Manivel - The Chow ring of the Cayley plane
we can learn, that $CH^8(X)$, with $X := E_6/P_1$, denoting the Cayley plane, has three generators with one of them being the class of ...
- 1,479
4
votes
0
answers
220
views
Passing motivic decompositions from rational to algebraic equivalence
It is well known that there are several adequate equivalence relations for algebraic cycles (see https://en.wikipedia.org/wiki/Adequate_equivalence_relation for a list including definitions).
The ...
- 1,479
4
votes
0
answers
248
views
Derived equivalent varieties with differing integral Mukai-Hodge structures?
For a smooth projective complex variety $X$ of dimension $n$, let $H^i(X)$ denote its integral Hodge structure of weight $i$. Define $\tilde{ H^0}(X) = \bigoplus H^{2i}(X)\otimes \Bbb Z(i)$ and $\...
- 3,017
4
votes
0
answers
121
views
Norm variety for n=5, p=2 not isomorphic to a quadric
In the paper "Motivic construction of cohomological invariants", the author displays a list of known norm varieties for several $n,p$ on page $11$. For $p=2, n=5$ it says that a norm variety is given ...
- 1,479
4
votes
0
answers
306
views
What is the relation between Beilinson's conjectures and Standard conjectures of algebraic cycles?
Do Standard conjectures on the K-theory of varieties over finite field have implications in the motivic cohomology of Z where exist the correct formalism of Beilinson's conjectures?
What is the ...
user55909
4
votes
0
answers
205
views
Finer motivic decomposition in a bigger motivic category
In his Ph.D. thesis, Semenov shows that the motivic decomposition of a variety in general is not unique. He works in the category of Chow-Motives and not in a bigger category of motives.
Is there an ...
- 193
3
votes
0
answers
389
views
Status of motives in higher category theory: motives and algebraic cycles through a higher categorical perspective
A while ago this interesting question was asked Derived Algebraic Geometry and Chow Rings/Chow Motives.
Primary question:
Have there been any recent developments/advances on the above question? If not,...
3
votes
0
answers
166
views
Étale descent of étale motives for algebraic spaces
Let $X$ be a (sufficiently nice) algebraic space, one can define the category of étale motives $\mathbf{DA}(X,R)$ (with $R$ a ring) like the case of schemes (see for instance, La réalisation étale et ...
- 883
3
votes
0
answers
109
views
Chow-Künneth conjecture and Galois base change
Consider $K'|K$ a finite galois extension of degre $m$ and galois group $G$. Recall the Chow-Künneth conjecture :
Conjecture
For any (smooth projective) variety over a field $k$ and $H$ a Weil ...
3
votes
0
answers
167
views
Simplicial resolution for commutative group scheme
Let $X$ be a quasi-projective $k$-variety. In this case the symmetric power $S^d(X)$ is well-defined. If $S^\bullet(X)=\bigsqcup_{n>0}S^d(X)$, where we suppose $S^0(X)=\operatorname{spec}(k)$, then ...
- 41
3
votes
0
answers
186
views
Direct images commute with homotopy colimits
In Les six opérations de Grothendieck et le formalisme des cycles évanescents dans le monde motivique (II), Ayoub defined the notion of a stable homotopical algebraic derivators; roughly, for a ...
- 883
3
votes
0
answers
148
views
Grothendieck ring of varieties in positive characteristic, away from the characteristic
In "The universal Euler characteristic for varieties of characteristic zero", Bittner shows that over a field $k$ of characteristic zero, the Grothendieck ring $K_{0}(Var_{k})$ of varieties ...
- 2,197
3
votes
0
answers
159
views
Applications of the theory of derivators to constructing cone functors
One of main reasons that the theory of derivators was introduced is to fix the non-functoriality of the cone construction of triangulated categories. I know that today derivator theory is broad and ...
- 883
3
votes
0
answers
175
views
Boundedness indices in Voevodsky's smash nilpotence conjecture in family
Let $X$ be a smooth projective variety over an algebraically closed field $k$. Voevodsky introduced the following notion : an algebraic cycle $Z$ in $X$ is smash nilpotent if there exist $N>0$ such ...
- 7,300
3
votes
0
answers
433
views
Stable $\infty$-category of motives
In nLab motive, it defines the derived category of motives as the full sub-$\infty$-category of the $\infty$-category of functors $\mathop{\mathrm{Fun}}(\mathrm{Cor}_k^{\mathrm{op}}, \mathcal S)$ ...
- 988
3
votes
0
answers
331
views
Motives (and examples) of projective bundles over projective spaces
If a projective bundle $Y$ over a variety $X$ is obtained from a vector bundle $E/X$ then the cohomology and the motif of $Y$ is known to be closely related to that of $X$. Now, what can one say in ...
- 16.9k
3
votes
0
answers
206
views
Generalization of conjectures involving Beilinson regulators
I had some questions about the Beilinson conjectures as mentioned in this page. I have to admit I do not know much about Deligne cohomology. The conjectures involve some form of comparison map between ...
- 5,901
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
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
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 ...
user138661
3
votes
0
answers
114
views
Multiplicative structure on Deligne cohomology
Let $X$ be a smooth projective variety over the complex numbers, and $\mathbf{Z}(p)_{\mathcal{D}}$ the Deligne complex on $X$:
$$\mathbf{Z}(p)_{\mathcal{D}} : \ \ \mathbf{Z}(p)\to\mathcal{O}_X\to\...
user92332
3
votes
0
answers
81
views
Tate Conjecture birational invariant?
Is the Tate Conjecture stable under birational equivalence?
In particular, is the Tate Conjecture for rational varieties known?
user120812
3
votes
0
answers
307
views
Semisimplicity conjecture
In this short note Ben Moonen proves that over fields of characteristic zero that are of finite type over their prime field, the Tate conjecture about surjectivity of cycle maps implies the semi-...
user92332
3
votes
0
answers
330
views
Nearby Cycle Functor and the Limit of a Variation of Hodge Structures
I am reading Ayoub's paper, The Motivic Nearby Cycles and the Conservation Conjecture,
http://user.math.uzh.ch/ayoub/PDF-Files/Leiden.pdf
In section 2.3, he talks a little about the limit of a ...
- 2,971
3
votes
0
answers
154
views
Connecting Quillen functors between motivic homotopy categories (of different "types"): references?
For a perfect base field $k$ there exists the following collection of "motivic homotopy" categories related to it:
(a) the homotopy category of simplicial presheaves (from smooth $k$-varieties); here ...
- 16.9k
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 ...
- 113
3
votes
0
answers
172
views
Non-multiplicative Euler-Poincaré Characteristics
Are there known examples of a non-multiplicative Euler-Poincaré characteristic on varieties?
Let $\mathbf{Var}/k$ be the category of varieties over a filed $k$, i.e. the category of reduced separated ...
- 349
3
votes
0
answers
416
views
Chow-Künneth decomposition for hypersurfaces
Short version: is the Chow-Künneth motivic decomposition known for $X \hookrightarrow \mathbb{P}^n_k$ a hypersurface over a field $k$?
Long version: let $M(X)$ be the Chow motive of $X$ with ...
- 31
3
votes
0
answers
638
views
Weak Lefschetz for torsion motivic cohomology (or torsion Chow groups)?
I am trying to prove the following Weak-Lefschetz-type statement for motivic cohomology: if $Z$ is a smooth hyperplane section of a smooth projective $X$ of dimension $d$ (say, over the field of ...
- 16.9k
2
votes
0
answers
144
views
Picard group of the category of numerical motives
Is anything known about the Picard group of $Chow_{Num}(k, \mathbb{F}_{p})$ (numerical Chow motives with $\mathbb{F}_{p}-$coefficients)?
Perhaps the Picard groups of some other categories of pure ...
- 87
2
votes
0
answers
278
views
Why is the weight monodromy hard in mixed characteristics?
I know very little about the conjecture, beyond Grothendieck's monodromy theorem perhaps (a dense open subgroup of inertia acting unipotently on pure motives). But I heard that it was completely ...
- 2,907
2
votes
0
answers
169
views
Reference for facts used in Bloch, "Algebraic cycles and L-functions II"
The proof of lemma 1.1 in [1] does not give references for a few statements it uses.
In the setting of the proof, $X$ is a smooth projective variety over a number field $k$ with a fixed embedding to $\...
- 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 ...
- 15.4k
2
votes
0
answers
137
views
Thickness of category of abelian motives
A motive over a field $k$ is of abelian type if it belongs to the thick and rigid
subcategory of Chow motives spanned by the motives of abelian varieties over $k$. I understand that this is the ...
- 3,779
2
votes
0
answers
245
views
What unramified Galois representations come from geometry?
I think we don't know what crystalline representations come from geometry. What about the unramified ones? Specifically let $\phi:\mathrm{Gal}(\overline{\mathbb{Q}_p}/\mathbb{Q}_p)\to GL_n(\mathbb{Q}...
user158636
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
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
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
2
votes
0
answers
187
views
Artin-Tate chow motives and graded Galois representations
Consider the category $\mathsf{Chow}_{\mathbb{Q}}$ of rational pure effective chow $k$-motives. The full subcategory of Artin motives (generated by (X,p,0), X smooth projective zero-dimensional, let $...
- 399
2
votes
0
answers
483
views
Absolute Hodge cycles over $\mathbf{Q}$
In the 1986 notes by Milne "Hodge cycles on abelian varieties", Deligne defines the notion of absolute Hodge cycles.
For a smooth projective variety defined over $k\subset\mathbf{C}$ non ...
user120812
2
votes
0
answers
239
views
Group completion of Chow varieties
Let $X$ be a quasi-projective variety over a perfect field $k$.
Given a projective embedding $j : X\to \mathbf{P}(\mathscr{E})$, the Chow variety $\text{Chow}_r(X, j)$ is a quasi-projective variety ...
user113393