Misplaced Pages

Draft:Geometric Mixed-Motives: Difference between revisions

Article snapshot taken from[REDACTED] with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
Browse history interactivelyContent deleted Content addedVisualWikitext
Revision as of 23:12, 7 September 2017 edit128.138.65.175 (talk) Created page with '{{subst:AFC submission/draftnew}}<!-- Important, do not remove this line before article has been created. --> Geometric mixed-motives were originally introduced...'  Latest revision as of 15:39, 27 September 2017 edit undoHasteur (talk | contribs)31,857 edits Since the advocating user has done a C&P merge, turning this page into a redirect. 
(22 intermediate revisions by 9 users not shown)
Line 1: Line 1:
#REDIRECT ]
{{AFC submission|t||ts=20170907231202|u=128.138.65.175|ns=118|demo=}}<!-- Important, do not remove this line before article has been created. -->


{{rcat shell|
Geometric mixed-motives were originally introduced by ] as a formulation for the conjectural category of mixed-motives over a field of characteristic 0. Their flavor is much of the same as Grothendieck's original category of pure motives. His process for constructing this category is by starting with an additive category, forming the homotopy category and then localizing by some desired properties satisfied by a cohomology theory.
{{r to main namespace}}

{{r to section}}
== Construction ==
}}

=== Notation ===
Here we will fix a field <math>k</math> of characteristic <math>0</math> and let <math>A =\mathbb{Q},\mathbb{Z}</math> be our coefficient ring. Set <math>\mathcal{Var}/k</math> as the category of of quasi-projective varieties over <math>k</math> are separated schemes of finite type. We will also let <math>\mathcal{Sm}/k</math> be the subcategory of smooth varieties.

=== Smooth Varieties with Correspondences ===
Given a smooth variety <math>X</math> and a variety <math>Y</math> call an integral closed subscheme <math>W \subset X \times Y</math> which is finite over <math>X</math> and surjective over a component of <math>Y</math> a '''prime correspondence''' from <math>X</math> to <math>Y</math>. Then, we can take the set of prime correspondences from <math>X</math> to <math>Y</math> and construct a free <math>A</math>-module <math>C_A(X,Y)</math>. It's elements are called '''finite correspondences'''. Then, we can form an additive category <math>\mathcal{SmCor}</math> whose objects are smooth varieties and morphisms are given by smooth correspondences. The only non-trivial part of this "definition" is the fact that we need to describe compositions. These are given by a push-pull formula from the theory of Chow rings.

==== Examples ====
Typical examples of prime correspondences come from the graph <math>\Gamma_f \subset X\times Y</math> of a morphism of varieties <math>f:X \to Y</math>.<!-- Explain how to construct hecke correspondences... https://math.stackexchange.com/questions/165973/how-does-one-graduate-from-hecke-operators-to-hecke-correspondences -->

=== Localizing the Homotopy Category ===
From here we can form the homotopy category <math>K^b(\mathcal{SmCor})</math> of bounded complexes of smooth correspondences. Here smooth varieties will be denoted <math></math>. If we localize this category with respect to the smallest thick subcategory (meaning it is closed under extensions) containing morphisms
:<math>
\to
</math>
and
:<math>
\xrightarrow{j_U' + j_V'} \oplus \xrightarrow{j_U - j_V}
</math>
then we can form the triangulated category of effective geometric motives <math>\mathcal{DM}_{gm}^{eff}(k,A)</math>. Note that the first class of morphisms are localizing <math>\mathbb{A}^1</math>-homotopies of varieties while the second will give the category of geometric mixed motives the Meyer-Vietoris sequence.

Also, note that this category has a tensor structure given by the product of varieties, so <math>\otimes = </math>.

=== Inverting the Tate-Motive ===
Using the triangulated structure we can construct a triangle
:<math>
\mathbb{L} \to \to \xrightarrow{}
</math>
from the canonical map <math>\mathbb{P}^1 \to \text{Spec}(k)</math>. We will set <math>A(1) = \mathbb{L}</math> and call it the '''tate motive'''. Taking the iterative tensor product let's us construct <math>A(k)</math>. If we have an effective geometric motive <math>M</math> we let <math>M(k)</math> denote <math>M\otimes A(k)</math>. Moreover, this behaves functorially and forms a triangulated functor. Finally, we can define the category of geometric mixed motives <math>\mathcal{DM}_{gm}</math> as the category of pairs <math>(M,n)</math> for <math>M</math> an effective geometric mixed motive and <math>n</math> an integer representing the twist by the Tate motive. The hom-groups are then the colimit
:<math>
\text{Hom}_{\mathcal{DM}}((A,n),(B,m))\lim_{k\geq -n,-m} \text{Hom}_{\mathcal{DM}_{gm}^{eff}}(A(k+n),B(k+m))
</math>

== References ==
*{{Citation | last=Voevedsky | first=Vladimir | title=Triangulated categories of motives over a field, url=https://faculty.math.illinois.edu/K-theory/0074/}}
<!-- Inline citations added to your article will automatically display here. See https://en.wikipedia.org/WP:REFB for instructions on how to add citations. -->
{{reflist}}

Latest revision as of 15:39, 27 September 2017

Redirect to:

This page is a redirect. The following categories are used to track and monitor this redirect: When appropriate, protection levels are automatically sensed, described and categorized.
Draft:Geometric Mixed-Motives: Difference between revisions Add topic