Skip to main content

All Questions

Filter by
Sorted by
Tagged with
141 votes
0 answers
13k views

Grothendieck-Teichmüller conjecture

(1) In "Esquisse d'un programme", Grothendieck conjectures Grothendieck-Teichmüller conjecture: the morphism $$ G_{\mathbb{Q}} \longrightarrow Aut(\widehat{T}) $$ is an isomorphism. Here $...
AFK's user avatar
  • 7,527
37 votes
1 answer
3k views

Morava on Shafarevich conjecture

$\DeclareMathOperator\Q{\mathbf{Q}}$Jack Morava has some interesting ideas stemming from stable homotopy theory and geometric topology on the Shafarevich Conjecture. The Shafarevich Conjecture states: ...
Romeo's user avatar
  • 2,734
35 votes
2 answers
3k views

Equivalent descriptions of Hodge conjecture?

I would like to know equivalent descriptions of the Hodge conjecture (with references). Dan Freed's Version: Consider a topological cycle (boundary less chains that are free to deform) on a ...
31 votes
1 answer
4k views

For which varieties is the natural map from the Chow ring to integral cohomology an isomorphism?

My apologies if this question is too naive. Let $X$ be a smooth projective complex variety. There is a natural map $A^{\bullet}(X) \to H^{2\bullet}(X)$ of graded rings from the Chow ring of $X$ to ...
Qiaochu Yuan's user avatar
21 votes
1 answer
2k views

Spectral sequences in $K$-theory

There is an algebraic analogue of the Atiyah-Hirzebruch spectral sequence from singular cohomology to topological $K$-theory of a topological space. For a field $k$, let $X$ be smooth variety $X$ ...
user avatar
13 votes
1 answer
2k views

Who proved the motivic 6-functor formalism?

In the recent beautiful talk "Motives and ring stacks" Peter Scholze states the theorem saying that there exists an initial 6-functor formalism on $\mathit{Sch}_\mathbb{Z}$ such that when $...
Ola Sande's user avatar
  • 705
9 votes
0 answers
699 views

Motivic Galois theory and Betti realizations?

Why Motivic Galois groups are defined with Betti realizations? (In fact Absolute Galois groups can be defined in this way (with Betti realizations), why they are so related?).
peter's user avatar
  • 99
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 ...
Dmitry Vaintrob's user avatar
8 votes
0 answers
587 views

Values of cohomology theory on a point

$\DeclareMathOperator\Sm{Sm}$It is a well-known fact that in algebraic topology, generalized cohomology theories are determined by their values on the point. I was wondering whether anything similar ...
user127776's user avatar
  • 5,901
7 votes
1 answer
498 views

Ring structure for the motivic spectrum/complex that represents singular cohomology?

As the discussion here Is singular cohomology representable by a (Voevodsky's) motivic complex? shows, the singular cohomology of (smooth) complex varieties is represented by a motivic complex (...
Mikhail Bondarko's user avatar
6 votes
1 answer
302 views

Homotopy equivalence between two basepoints of the etale homotopy type of the one-torus

Let $T = \mathbb{G}_m$ be the torus, and let $\tilde{T}$ be its étale universal cover (a pro-object in schemes of finite type). Then both $T$ and $\tilde{T}$ have a well-defined étale homotopy type. ...
Dmitry Vaintrob's user avatar
5 votes
2 answers
2k views

Connections between Standard, Hodge and Tate conjectures on algebraic cycles?

What implications would a solution of the Standard Conjectures have on the Hodge and Tate Conjectures and reverse?
user avatar
4 votes
1 answer
1k views

Grothendieck's letter to Serre on the Standard Conjectures

Is it the letter dated in 27/08/1965 of Grothendieck where he presents to Serre the Standard conjectures on algebraic cycles?
MCG's user avatar
  • 61
3 votes
1 answer
758 views

Motives and topological data analysis

Here is some meta mathematics question. During the last decade there has been some progress in the field of applied maths, called topological data analysis. The setup starts with some set of points in ...
nxir's user avatar
  • 1,479
2 votes
1 answer
589 views

Are finite correspondances flat?

In Voevodsky&Mazza&Weibel's book on motivic cohomology they define "an elementary correspondance from X (Smooth connected scheme over $k$) to Y (separated scheme over $k$) as an irreducible ...
Tintin's user avatar
  • 2,871
1 vote
0 answers
270 views

Eilenberg-Steenrod cohomological theory versus Weil cohomological theory [closed]

Can someone enlighten me what is the difference between an Eilenberg-Steenrod cohomological theory ( See here, https://en.wikipedia.org/wiki/Eilenberg%E2%80%93Steenrod_axioms ), and a Weil ...
Angel65's user avatar
  • 595