# Motive (algebraic geometry)

In algebraic geometry the idea of **motive** intuitively refers to
'some essential part of variety'. The *theory of motives* is the universal cohomology theory.

### Definition

A formal definition of motive is: consider a category of algebraic varities with correspondences as morphisms, make all exact triples into sums and add all images of projectors to make it abelian.

### Examples

Each algebraic variety *X* has corresponding motive [*X*], so the simplest examples of motives are:

- [point]
- [projective line] = [point] + [line]
- [projective plane] = [plane] + [line] + [point]

These 'equations' hold in many situations, namely:

- for de Rham cohomology and Betti cohomology over complex numbers
- for étale cohomology over other fields
- for number of points over any finite field
- for conducttor (which is of course trivial for above)

Each motive is graded by degree (for example motive [*X*] is graded from 0 to 2 **dim** *X*). Unlikely to usual varieties one can always extract each degree (as it's an image of the whole motive under some of projection), example:

- h = [elliptic curve] - [line] - [point]

is 1-graded non-trivial motive.

### The idea

The general idea is that one **motive** can be realized in different cohomology theories,

There are many things one may be interested in for an algebraic variety. It's interesting to compute its number of points in some finite field. Its cohomology come with different structures:

- Betti cohomology have the advantage of being defined over integer numbers
- de Rham cohomology come with mixed Hodge structure
- étale cohomology have canonical Galois group action
*add here conductor and other stuff...*

One may ask whether there exists s universal theory which embodies all these structures and provides common ground for equations like [projective line] = [line]+[point].

The answer is: people try to precisely define this theory for many years.
The current name of this theory is **theory of motives**.

*uf. more explanation here*

## Remarks

Motives are part of large abstract algebraic geometry program started by Alexander Grothendieck. The consistency of theory of motives still reqires some conjectures to be proven and at the present monent there are different definitions of motives.