Nilpotent invariant motives I

Publication date: 20 February 2017

Abstract: The purpose of this article is to clarify the question what makes motives

m a t h b b A^{1}

-homotopy invariance. we give construction of the stable model category of nilpotent invariant motives

m a t h c a l M o t_{o p e r a t o r n a m e d g}^{o p e r a t o r n a m e n i l p}

and define the nilpotent invriant motives associated with schemes and relative exact categories. For a noetherian scheme

X

, there are two kind of motives associated with

X

in the homotopy category

o p e r a t o r n a m e H o (m a t h c a l M o t_{o p e r a t o r n a m e d g}^{o p e r a t o r n a m e n i l p})

, namely

M_{o p e r a t o r n a m e n i l p} (X)

and

M_{o^{'} p e r a t o r n a m e n i l p} (X)

. In general

M_{o p e r a t o r n a m e n i l p} (X)

is not isomorphic to

M'_{o p e r a t o r n a m e n i l p} (X_{o p e r a t o r n a m e r e d})

. But there exists a canonical isomorphism

M_{o^{'} p e r a t o r n a m e n i l p} (X) s i m e q M_{o^{'} p e r a t o r n a m e n i l p} (X_{o p e r a t o r n a m e r e d})

and if

X

is regular noetherian separated,

M (X)

is canonically isomorphic to

M^{'} (X)

.

This page was built for publication: Nilpotent invariant motives I