On some invariants for algebraic cobordism cycles International Workshop on... · On some...
Transcript of On some invariants for algebraic cobordism cycles International Workshop on... · On some...
![Page 1: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/1.jpg)
On some invariants for algebraic cobordism
cycles
International Workshop on Motives, Tokyo February 15, 2016
Gereon QuickNTNU
![Page 2: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/2.jpg)
Point of departure: Poincaré, Lefschetz, Hodge…
Let X⊂PN be a smooth projective complex variety.
![Page 3: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/3.jpg)
Point of departure: Poincaré, Lefschetz, Hodge…
Let X⊂PN be a smooth projective complex variety.
Let zj be a local coordinate on X.
![Page 4: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/4.jpg)
Point of departure: Poincaré, Lefschetz, Hodge…
Let X⊂PN be a smooth projective complex variety.
Let zj be a local coordinate on X. Write zj = xj + iyj with real coordinates xj and yj.
![Page 5: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/5.jpg)
Point of departure: Poincaré, Lefschetz, Hodge…
Let X⊂PN be a smooth projective complex variety.
Let zj be a local coordinate on X. Write zj = xj + iyj with real coordinates xj and yj.
There are associated differential forms
dzj = dxj + idyj and dzj = dxj - idyj.-
![Page 6: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/6.jpg)
Point of departure: Poincaré, Lefschetz, Hodge…
Let X⊂PN be a smooth projective complex variety.
Let zj be a local coordinate on X. Write zj = xj + iyj with real coordinates xj and yj.
There are associated differential forms
dzj = dxj + idyj and dzj = dxj - idyj.-
Every k-form 𝛼 on X can then be written as
𝛼 = ∑j fj dzj1∧…∧dzjp∧dzjp+1∧…∧dzjk.- -
![Page 7: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/7.jpg)
Integrals over cycles:
𝛼 = ∑j fj dzj1∧…∧dzjp∧dzj1∧…∧dzjq.- -
Let’s write 𝛼 ∈ Ap,q(X) if 𝛼 is of the form
![Page 8: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/8.jpg)
Integrals over cycles:
exactly p dzj’s for all j
𝛼 = ∑j fj dzj1∧…∧dzjp∧dzj1∧…∧dzjq.- -
Let’s write 𝛼 ∈ Ap,q(X) if 𝛼 is of the form
![Page 9: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/9.jpg)
Integrals over cycles:
exactly p dzj’s for all j exactly q dzj’s for all j-
𝛼 = ∑j fj dzj1∧…∧dzjp∧dzj1∧…∧dzjq.- -
Let’s write 𝛼 ∈ Ap,q(X) if 𝛼 is of the form
![Page 10: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/10.jpg)
Integrals over cycles:
exactly p dzj’s for all j exactly q dzj’s for all j-
𝛼 = ∑j fj dzj1∧…∧dzjp∧dzj1∧…∧dzjq.- -
Let’s write 𝛼 ∈ Ap,q(X) if 𝛼 is of the form
Let 𝜄: 𝛤 ⊂ X be a topological cycle on X of dimension k.
![Page 11: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/11.jpg)
Integrals over cycles:
exactly p dzj’s for all j exactly q dzj’s for all j-
𝛼 = ∑j fj dzj1∧…∧dzjp∧dzj1∧…∧dzjq.- -
Let’s write 𝛼 ∈ Ap,q(X) if 𝛼 is of the form
Let 𝜄: 𝛤 ⊂ X be a topological cycle on X of dimension k. We can integrate 𝛼 over 𝛤: ∫ 𝜄*𝛼. 𝛤
![Page 12: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/12.jpg)
Integrals over cycles:
exactly p dzj’s for all j exactly q dzj’s for all j-
𝛼 = ∑j fj dzj1∧…∧dzjp∧dzj1∧…∧dzjq.- -
Let’s write 𝛼 ∈ Ap,q(X) if 𝛼 is of the form
Let 𝜄: 𝛤 ⊂ X be a topological cycle on X of dimension k. We can integrate 𝛼 over 𝛤: ∫ 𝜄*𝛼. 𝛤
If 𝛤 = Z happens to be an algebraic subvariety of X, say of complex dimension n, then ∫ 𝜄*𝛼 = 0 unless 𝛼 lies in An,n(X). Z
![Page 13: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/13.jpg)
Hodge’s question:
![Page 14: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/14.jpg)
Hodge’s question:This imposes a necessary condition on a topological cycle 𝜄: 𝛤 ⊂ X to be algebraic (homologous to an algebraic subvariety Z dimension n):
![Page 15: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/15.jpg)
Hodge’s question:This imposes a necessary condition on a topological cycle 𝜄: 𝛤 ⊂ X to be algebraic (homologous to an algebraic subvariety Z dimension n):
𝛤∼Z ⇒ ∫ 𝜄*𝛼 = 0 if 𝛼 ∉ An,n(X). 𝛤
![Page 16: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/16.jpg)
Hodge’s question:This imposes a necessary condition on a topological cycle 𝜄: 𝛤 ⊂ X to be algebraic (homologous to an algebraic subvariety Z dimension n):
𝛤∼Z ⇒ ∫ 𝜄*𝛼 = 0 if 𝛼 ∉ An,n(X). 𝛤
Hodge wondered: Is this condition also sufficient? ? ⇐ ?
![Page 17: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/17.jpg)
Hodge’s question:This imposes a necessary condition on a topological cycle 𝜄: 𝛤 ⊂ X to be algebraic (homologous to an algebraic subvariety Z dimension n):
𝛤∼Z ⇒ ∫ 𝜄*𝛼 = 0 if 𝛼 ∉ An,n(X). 𝛤
Hodge wondered: Is this condition also sufficient? ? ⇐ ?
Usually, we ask this question in cohomological terms…
![Page 18: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/18.jpg)
Hodge’s question in terms of cohomology:
![Page 19: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/19.jpg)
Hodge’s question in terms of cohomology:Since an algebraic subvariety 𝜄: Z ⊂ X of dimension n satisfies ∫ 𝜄*𝛼 = 0 if 𝛼 ∉ An,n(X), Z
![Page 20: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/20.jpg)
Hodge’s question in terms of cohomology:Since an algebraic subvariety 𝜄: Z ⊂ X of dimension n satisfies ∫ 𝜄*𝛼 = 0 if 𝛼 ∉ An,n(X), Zits Poincaré dual complex cohomology class is represented by a form in Ap,p(X) with p = dimX - n.
![Page 21: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/21.jpg)
Hodge’s question in terms of cohomology:Since an algebraic subvariety 𝜄: Z ⊂ X of dimension n satisfies ∫ 𝜄*𝛼 = 0 if 𝛼 ∉ An,n(X), Zits Poincaré dual complex cohomology class is represented by a form in Ap,p(X) with p = dimX - n.Such classes are said to be “Hodge-type (p,p)”. The subgroup of such classes is denoted by
Hp,p(X) ⊂ H2p(X;C).
![Page 22: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/22.jpg)
Hodge’s question in terms of cohomology:Since an algebraic subvariety 𝜄: Z ⊂ X of dimension n satisfies ∫ 𝜄*𝛼 = 0 if 𝛼 ∉ An,n(X), Zits Poincaré dual complex cohomology class is represented by a form in Ap,p(X) with p = dimX - n.Such classes are said to be “Hodge-type (p,p)”. The subgroup of such classes is denoted by
Hp,p(X) ⊂ H2p(X;C).The Hodge Conjecture: The map
clH: Zp(X) → Hp,p(X) ∩ H2p(X;Z) is surjective.
![Page 23: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/23.jpg)
Hodge’s question in terms of cohomology:Since an algebraic subvariety 𝜄: Z ⊂ X of dimension n satisfies ∫ 𝜄*𝛼 = 0 if 𝛼 ∉ An,n(X), Zits Poincaré dual complex cohomology class is represented by a form in Ap,p(X) with p = dimX - n.Such classes are said to be “Hodge-type (p,p)”. The subgroup of such classes is denoted by
Hp,p(X) ⊂ H2p(X;C).The Hodge Conjecture: The map
clH: Zp(X) → Hp,p(X) ∩ H2p(X;Z) is surjective.⊗Q
switch to Q-coefficients
×
![Page 24: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/24.jpg)
A short digression: the Jacobian of a curveLet C be a smooth proj. complex curve of genus g.
![Page 25: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/25.jpg)
A short digression: the Jacobian of a curveLet C be a smooth proj. complex curve of genus g. Let ω1, …, ωg be a basis of (holom.) 1-forms on C.
![Page 26: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/26.jpg)
A short digression: the Jacobian of a curveLet C be a smooth proj. complex curve of genus g. Let ω1, …, ωg be a basis of (holom.) 1-forms on C.
⌠⌡qω1
p⌠⌡qωg
p⎛⎝
⎞⎠, ...,
Then every pair of points p,q∈C defines a g-tuple of complex numbers
![Page 27: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/27.jpg)
A short digression: the Jacobian of a curveLet C be a smooth proj. complex curve of genus g. Let ω1, …, ωg be a basis of (holom.) 1-forms on C.
µ: Div0(C) → ℂg
⌠⌡qω1
p⌠⌡qωg
p⎛⎝
⎞⎠, ...,
Then every pair of points p,q∈C defines a g-tuple of complex numbers
![Page 28: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/28.jpg)
A short digression: the Jacobian of a curveLet C be a smooth proj. complex curve of genus g. Let ω1, …, ωg be a basis of (holom.) 1-forms on C.
µ: Div0(C) → ℂg
⌠⌡qω1
p⌠⌡qωg
p⎛⎝
⎞⎠, ...,
Then every pair of points p,q∈C defines a g-tuple of complex numbers
group of formal sums ∑i(pi-qi)
![Page 29: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/29.jpg)
A short digression: the Jacobian of a curveLet C be a smooth proj. complex curve of genus g. Let ω1, …, ωg be a basis of (holom.) 1-forms on C.
µ: Div0(C) → ℂg
⌠⌡qω1
p⌠⌡qωg
p⎛⎝
⎞⎠, ...,
Then every pair of points p,q∈C defines a g-tuple of complex numbers
group of formal sums ∑i(pi-qi) lattice of integrals
of ωj’s over loops
/Λ
![Page 30: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/30.jpg)
A short digression: the Jacobian of a curveLet C be a smooth proj. complex curve of genus g. Let ω1, …, ωg be a basis of (holom.) 1-forms on C.
µ: Div0(C) → ℂg
⌠⌡qω1
p⌠⌡qωg
p⎛⎝
⎞⎠, ...,
Then every pair of points p,q∈C defines a g-tuple of complex numbers
group of formal sums ∑i(pi-qi) lattice of integrals
of ωj’s over loops
/Λ
Jacobian variety of C
=: J(C)
![Page 31: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/31.jpg)
A short digression: the Jacobian of a curveLet C be a smooth proj. complex curve of genus g. Let ω1, …, ωg be a basis of (holom.) 1-forms on C.
µ: Div0(C) → ℂg
⌠⌡qω1
p⌠⌡qωg
p⎛⎝
⎞⎠, ...,
Then every pair of points p,q∈C defines a g-tuple of complex numbers
group of formal sums ∑i(pi-qi)
Jacobi Inversion Theorem: The map (Abel-Jacobi map)
is surjective.
lattice of integrals of ωj’s over loops
/Λ
Jacobian variety of C
=: J(C)
![Page 32: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/32.jpg)
More canonically:
![Page 33: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/33.jpg)
More canonically:
µ: Div0(C) → J(C) = H0(C; Ω1hol)∨/H1(C;Z)
⌠⌡qiω
pi
∑(pi-qi) ⟼ mod H1(C;Z).∑i⎝⎛ ⟼ ⎞
⎠ω
![Page 34: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/34.jpg)
More canonically:
Abel’s Theorem: The kernel of this map is the subgroup of principal divisors.
µ: Div0(C) → J(C) = H0(C; Ω1hol)∨/H1(C;Z)
⌠⌡qiω
pi
∑(pi-qi) ⟼ mod H1(C;Z).∑i⎝⎛ ⟼ ⎞
⎠ω
![Page 35: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/35.jpg)
Lefschetz’s proof for (1,1)-classes:
For simplicity, let X⊂PN be a surface.
![Page 36: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/36.jpg)
Lefschetz’s proof for (1,1)-classes:
Let {Ct}t be a family of curves on X (parametrized over the projective line P1).
For simplicity, let X⊂PN be a surface.
![Page 37: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/37.jpg)
Lefschetz’s proof for (1,1)-classes:
Let {Ct}t be a family of curves on X (parametrized over the projective line P1).
Associated to {Ct}t is the family of Jacobians
J := ⋃t J(Ct)
For simplicity, let X⊂PN be a surface.
![Page 38: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/38.jpg)
Lefschetz’s proof for (1,1)-classes:
Let {Ct}t be a family of curves on X (parametrized over the projective line P1).
Associated to {Ct}t is the family of Jacobians
J := ⋃t J(Ct)
and a fibre space π: J → P1 (of complex Lie groups).
For simplicity, let X⊂PN be a surface.
![Page 39: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/39.jpg)
Lefschetz’s proof for (1,1)-classes:
Let {Ct}t be a family of curves on X (parametrized over the projective line P1).
Associated to {Ct}t is the family of Jacobians
J := ⋃t J(Ct)
and a fibre space π: J → P1 (of complex Lie groups).
A “normal function” 𝜈 is a holomorphic section of π.
For simplicity, let X⊂PN be a surface.
![Page 40: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/40.jpg)
Normal functions arise naturally:
Lefschetz’s proof continued:
![Page 41: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/41.jpg)
Normal functions arise naturally: Let D be an algebraic curve on X. It intersects Ct in points p1(t),…, pd(t).
Lefschetz’s proof continued:
![Page 42: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/42.jpg)
Normal functions arise naturally: Let D be an algebraic curve on X. It intersects Ct in points p1(t),…, pd(t).
Lefschetz’s proof continued:
Choose a point p0 on all Ct. Then ∑i pi(t) - dp0 is a divisor of degree 0 and defines a point
𝜈D(t) ∈ J(Ct).
![Page 43: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/43.jpg)
Normal functions arise naturally: Let D be an algebraic curve on X. It intersects Ct in points p1(t),…, pd(t).
Lefschetz’s proof continued:
Hence D defines a normal function
𝜈D: t ↦ 𝜈D(t) ∈ J.
Choose a point p0 on all Ct. Then ∑i pi(t) - dp0 is a divisor of degree 0 and defines a point
𝜈D(t) ∈ J(Ct).
![Page 44: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/44.jpg)
Poincaré’s Existence Theorem:
![Page 45: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/45.jpg)
Every normal function 𝜈 arises as the normal function 𝜈D associated to an algebraic curve D.
Poincaré’s Existence Theorem:
![Page 46: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/46.jpg)
Every normal function 𝜈 arises as the normal function 𝜈D associated to an algebraic curve D.
Poincaré’s Existence Theorem:
Then Lefschetz proved:
![Page 47: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/47.jpg)
Every normal function 𝜈 arises as the normal function 𝜈D associated to an algebraic curve D.
Poincaré’s Existence Theorem:
• Every normal function 𝜈 defines a class 𝜂(𝜈)∈H2(X;Z) of Hodge type (1,1) such that 𝜂(𝜈D) = clH(D).
Then Lefschetz proved:
![Page 48: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/48.jpg)
Every normal function 𝜈 arises as the normal function 𝜈D associated to an algebraic curve D.
Poincaré’s Existence Theorem:
• Every normal function 𝜈 defines a class 𝜂(𝜈)∈H2(X;Z) of Hodge type (1,1) such that 𝜂(𝜈D) = clH(D).
• Every class in H2(X;Z) of Hodge type (1,1) arises as 𝜂(𝜈) for some normal function 𝜈.
Then Lefschetz proved:
![Page 49: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/49.jpg)
X a smooth projective complex variety with dimX=n.
Griffiths: in higher dimensions…
![Page 50: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/50.jpg)
X a smooth projective complex variety with dimX=n.
Z⊂X a closed subvariety of codimension p.
Griffiths: in higher dimensions…
![Page 51: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/51.jpg)
X a smooth projective complex variety with dimX=n.
Z⊂X a closed subvariety of codimension p.
Griffiths: in higher dimensions…
We assume that Z is the boundary of a differentiable chain Γ ∈ C2n-2p+1(X;Z).
![Page 52: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/52.jpg)
X a smooth projective complex variety with dimX=n.
Z⊂X a closed subvariety of codimension p.
Griffiths: in higher dimensions…
Let ω be a smooth form of degree 2n-2p+1.
We assume that Z is the boundary of a differentiable chain Γ ∈ C2n-2p+1(X;Z).
![Page 53: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/53.jpg)
X a smooth projective complex variety with dimX=n.
Z⊂X a closed subvariety of codimension p.
Then ⌠⌡Γω⟼ defines a map A2n-2p+1(X)→C.ω⎛⎝⎞⎠
Griffiths: in higher dimensions…
Let ω be a smooth form of degree 2n-2p+1.
We assume that Z is the boundary of a differentiable chain Γ ∈ C2n-2p+1(X;Z).
![Page 54: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/54.jpg)
We would like this map to
Deligne, Griffiths, …:
![Page 55: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/55.jpg)
We would like this map to
Deligne, Griffiths, …:
• descend to a map on cohomology,
![Page 56: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/56.jpg)
We would like this map to
Deligne, Griffiths, …:
• descend to a map on cohomology,
• and to become independent of the choice of Γ.
![Page 57: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/57.jpg)
We would like this map to
Deligne, Griffiths, …:
• descend to a map on cohomology,
• and to become independent of the choice of Γ.
Let ω’ be a form such that dω’= ω.
![Page 58: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/58.jpg)
We would like this map to
Deligne, Griffiths, …:
• descend to a map on cohomology,
• and to become independent of the choice of Γ.
Let ω’ be a form such that dω’= ω.
Then Stokes’ formula tells us
⌠⌡Γω ⌠
⌡Zω’=
![Page 59: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/59.jpg)
⌠⌡Γω ⌠
⌡Zω’=
The intermediate Jacobian of Griffiths and the Abel-Jacobi map:
![Page 60: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/60.jpg)
⌠⌡Γω ⌠
⌡Zω’=
If ω is a form of degree (p’,2n-2p+1-p’) with p’ ≥ n-p+1, this integral vanishes.
The intermediate Jacobian of Griffiths and the Abel-Jacobi map:
![Page 61: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/61.jpg)
⌠⌡Γω ⌠
⌡Zω’=
If ω is a form of degree (p’,2n-2p+1-p’) with p’ ≥ n-p+1, this integral vanishes.
We obtain a well-defined map⌠⌡Γ
⟼Z
µ: Zp(X)h → J2p-1(X) = Fn-p+1H2n-2p+1(X;C)∨/H2n-2p+1(X;Z)
for some Γ with Z=∂Γ
The intermediate Jacobian of Griffiths and the Abel-Jacobi map:
![Page 62: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/62.jpg)
⌠⌡Γω ⌠
⌡Zω’=
If ω is a form of degree (p’,2n-2p+1-p’) with p’ ≥ n-p+1, this integral vanishes.
We obtain a well-defined map⌠⌡Γ
⟼Z
µ: Zp(X)h → J2p-1(X) = Fn-p+1H2n-2p+1(X;C)∨/H2n-2p+1(X;Z)
for some Γ with Z=∂Γ
J2p-1(X) is a complex torus and is called Griffiths’ intermediate Jacobian.
The intermediate Jacobian of Griffiths and the Abel-Jacobi map:
![Page 63: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/63.jpg)
The Jacobian and Griffiths’ theorem:
![Page 64: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/64.jpg)
The Jacobian and Griffiths’ theorem:
J2p-1(X) is, in general, not an abelian variety.
![Page 65: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/65.jpg)
The Jacobian and Griffiths’ theorem:
J2p-1(X) is, in general, not an abelian variety.
But it varies homomorphically in families.
![Page 66: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/66.jpg)
The Jacobian and Griffiths’ theorem:
J2p-1(X) is, in general, not an abelian variety.
But it varies homomorphically in families.
Have an induced a map:
Griffp(X):= Zp(X)h/Zp(X)alg → J2p-1(X)/J2p-1(X)alg
![Page 67: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/67.jpg)
The Jacobian and Griffiths’ theorem:
J2p-1(X) is, in general, not an abelian variety.
But it varies homomorphically in families.
Griffith’s theorem: Let X⊂P4 be a general quintic hypersurface. There are lines L and L’ on X such that µ(L-L’) is a non torsion element in J3(X).
Have an induced a map:
Griffp(X):= Zp(X)h/Zp(X)alg → J2p-1(X)/J2p-1(X)alg
![Page 68: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/68.jpg)
An interesting diagram:Let X be a smooth projective complex variety.
![Page 69: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/69.jpg)
An interesting diagram:
Zp(X)Let X be a smooth projective complex variety.
![Page 70: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/70.jpg)
An interesting diagram:
Zp(X) Z⊂XLet X be a smooth projective complex variety.
![Page 71: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/71.jpg)
An interesting diagram:
Zp(X)
clH
Z⊂XLet X be a smooth projective complex variety.
![Page 72: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/72.jpg)
An interesting diagram:
Hdg2p(X)
Zp(X)
clH
Z⊂XLet X be a smooth projective complex variety.
![Page 73: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/73.jpg)
An interesting diagram:
Hdg2p(X)
Zp(X)
clH
Z⊂X
[Zsm]
−
Let X be a smooth projective complex variety.
![Page 74: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/74.jpg)
An interesting diagram:
Hdg2p(X)
Zp(X)
clH
Zp(X)h=Kernel of clH ⊂ Z⊂X
[Zsm]
−
Let X be a smooth projective complex variety.
![Page 75: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/75.jpg)
An interesting diagram:
Hdg2p(X)
Zp(X)
clH
Zp(X)h=Kernel of clH ⊂
Abel-Jacobimap µ
Z⊂X
[Zsm]
−
Let X be a smooth projective complex variety.
![Page 76: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/76.jpg)
An interesting diagram:
Hdg2p(X)
Zp(X)
clH
Zp(X)h=Kernel of clH ⊂
Abel-Jacobimap µ
J2p-1(X)
Z⊂X
[Zsm]
−
Let X be a smooth projective complex variety.
![Page 77: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/77.jpg)
An interesting diagram:
Hdg2p(X)
Zp(X)
clH
Zp(X)h=Kernel of clH ⊂
Abel-Jacobimap µ
J2p-1(X)
Z⊂X
[Zsm]
−
Let X be a smooth projective complex variety.
→ HD (X;Z(p)) →2p
![Page 78: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/78.jpg)
An interesting diagram:
Hdg2p(X)
Zp(X)
clH
Zp(X)h=Kernel of clH ⊂
Abel-Jacobimap µ
J2p-1(X)
Z⊂X
[Zsm]
−
Let X be a smooth projective complex variety.
→ HD (X;Z(p)) →2p
Deligne cohomology combines topological with Hodge theoretic information
![Page 79: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/79.jpg)
An interesting diagram:
Hdg2p(X)
Zp(X)
clH
Zp(X)h=Kernel of clH ⊂
Abel-Jacobimap µ
J2p-1(X)
Z⊂X
[Zsm]
−
Let X be a smooth projective complex variety.
→ 0→ HD (X;Z(p)) →2p
Deligne cohomology combines topological with Hodge theoretic information
![Page 80: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/80.jpg)
An interesting diagram:
Hdg2p(X)
Zp(X)
clH
Zp(X)h=Kernel of clH ⊂
Abel-Jacobimap µ
J2p-1(X)
Z⊂X
[Zsm]
−
Let X be a smooth projective complex variety.
0 → → 0→ HD (X;Z(p)) →2p
Deligne cohomology combines topological with Hodge theoretic information
![Page 81: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/81.jpg)
An interesting diagram:
Hdg2p(X)
Zp(X)
clHclHD
Zp(X)h=Kernel of clH ⊂
Abel-Jacobimap µ
J2p-1(X)
Z⊂X
[Zsm]
−
Let X be a smooth projective complex variety.
0 → → 0→ HD (X;Z(p)) →2p
Deligne cohomology combines topological with Hodge theoretic information
![Page 82: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/82.jpg)
Another interesting map for smooth complex varieties:
![Page 83: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/83.jpg)
Φ: Ω*(X) → MU *(X)2
Another interesting map for smooth complex varieties:
![Page 84: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/84.jpg)
Φ: Ω*(X) → MU *(X)2
Another interesting map for smooth complex varieties:
algebraic cobordismof Levine and Morel
![Page 85: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/85.jpg)
Φ: Ω*(X) → MU *(X)2
Another interesting map for smooth complex varieties:
algebraic cobordismof Levine and Morel
complex cobordism ofthe top. space X(C)
![Page 86: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/86.jpg)
Φ: Ω*(X) → MU *(X)2
Another interesting map for smooth complex varieties:
algebraic cobordismof Levine and Morel
complex cobordism ofthe top. space X(C)
Recall: MUi(X(C)) is (roughly speaking) generated by maps f: M→X(C) of codimension i modulo the relation g-1(0) ∼ g-1(1) for maps g: M’→X(C)xR such that g is transversal to e0: X(C)→X(C)xR and e1: X(C)→X(C)xR.
![Page 87: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/87.jpg)
Algebraic cobordism in a nutshell:
![Page 88: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/88.jpg)
Algebraic cobordism in a nutshell:
Ωp(X) is generated (roughly speaking) by proj. maps f:Y→X of codimension p with Y smooth modulo …
![Page 89: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/89.jpg)
Algebraic cobordism in a nutshell:
Ωp(X) is generated (roughly speaking) by proj. maps f:Y→X of codimension p with Y smooth modulo …
Levine’s and Pandharipande’s “double point relation”:
![Page 90: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/90.jpg)
Algebraic cobordism in a nutshell:
Ωp(X) is generated (roughly speaking) by proj. maps f:Y→X of codimension p with Y smooth modulo …
Levine’s and Pandharipande’s “double point relation”:
π-1(0) ∼ π-1(∞) for projective morphisms π: Y’→XxP1 such that π-1(0) is smooth and π-1(∞)=A∪DB where A and B are smooth and meet transversally in D.
![Page 91: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/91.jpg)
What can we say about the map Φ?
Ω*(X) MU2*(X)Φ
![Page 92: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/92.jpg)
What can we say about the map Φ?
Ω*(X) MU2*(X)Φ[Y→X]
![Page 93: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/93.jpg)
What can we say about the map Φ?
Ω*(X) MU2*(X)Φ[Y→X] [Y(C)→X(C)]⟼
![Page 94: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/94.jpg)
What can we say about the map Φ?
• The image: Ω*(X) MU2*(X)Φ[Y→X] [Y(C)→X(C)]⟼
![Page 95: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/95.jpg)
What can we say about the map Φ?
• The image:
CH*(X)
Ω*(X) MU2*(X)Φ[Y→X] [Y(C)→X(C)]⟼
![Page 96: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/96.jpg)
What can we say about the map Φ?
• The image:
CH*(X)
Ω*(X) MU2*(X)Φ
Hdg2*(X) ⊆ H2*(X;Z)clH
[Y→X] [Y(C)→X(C)]⟼
![Page 97: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/97.jpg)
What can we say about the map Φ?
• The image:
CH*(X)
Ω*(X) MU2*(X)Φ
Hdg2*(X) ⊆ H2*(X;Z)clH
[Y→X] [Y(C)→X(C)]⟼
![Page 98: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/98.jpg)
What can we say about the map Φ?
• The image:
CH*(X)
Ω*(X) MU2*(X)Φ
Hdg2*(X) ⊆ H2*(X;Z)clH
[Y→X] [Y(C)→X(C)]⟼
![Page 99: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/99.jpg)
What can we say about the map Φ?
• The image:
CH*(X)There is a “Hodge-theoretic” restriction for ImΦ.
Ω*(X) MU2*(X)Φ
Hdg2*(X) ⊆ H2*(X;Z)clH
[Y→X] [Y(C)→X(C)]⟼
![Page 100: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/100.jpg)
What can we say about the map Φ?
• The image:
• The kernel:
CH*(X)There is a “Hodge-theoretic” restriction for ImΦ.
Ω*(X) MU2*(X)Φ
Hdg2*(X) ⊆ H2*(X;Z)clH
[Y→X] [Y(C)→X(C)]⟼
![Page 101: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/101.jpg)
What can we say about the map Φ?
• The image:
• The kernel:
CH*(X)There is a “Hodge-theoretic” restriction for ImΦ.
Griffiths’ theorem suggests that Φ is not injective.
Ω*(X) MU2*(X)Φ
Hdg2*(X) ⊆ H2*(X;Z)clH
[Y→X] [Y(C)→X(C)]⟼
![Page 102: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/102.jpg)
What can we say about the map Φ?
• The image:
• The kernel:
CH*(X)There is a “Hodge-theoretic” restriction for ImΦ.
Griffiths’ theorem suggests that Φ is not injective.
Question: Is there is an “Abel-Jacobi-invariant” which is able to detect elements in KerΦ?
Ω*(X) MU2*(X)Φ
Hdg2*(X) ⊆ H2*(X;Z)clH
[Y→X] [Y(C)→X(C)]⟼
![Page 103: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/103.jpg)
What can we say about ImΦ?
Ω*(X) → MU2*(X)
![Page 104: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/104.jpg)
What can we say about ImΦ?
Ω*(X) → MU2*(X)HdgMU2*(X) ⊂
![Page 105: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/105.jpg)
What can we say about ImΦ?
Ω*(X) → MU2*(X)HdgMU2*(X) ⊂
This map is not surjective, …
![Page 106: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/106.jpg)
What can we say about ImΦ?
Ω*(X) → MU2*(X)
… but the classical topological arguments do not work!
HdgMU2*(X) ⊂
This map is not surjective, …
![Page 107: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/107.jpg)
Ω*(X) MU2*(X)Φ
Atiyah-Hirzebruch and Totaro:
![Page 108: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/108.jpg)
Ω*(X)⊗L*Z MU2*(X)⊗L*Z
Ω*(X) MU2*(X)Φ
Atiyah-Hirzebruch and Totaro:
![Page 109: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/109.jpg)
Ω*(X)⊗L*Z MU2*(X)⊗L*Z
Ω*(X) MU2*(X)Φ
Atiyah-Hirzebruch and Totaro:
CH*(X)
![Page 110: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/110.jpg)
Ω*(X)⊗L*Z MU2*(X)⊗L*Z
Ω*(X) MU2*(X)Φ
Atiyah-Hirzebruch and Totaro:
CH*(X) Hdg2*(X) ⊆ H2*(X;Z)clH
![Page 111: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/111.jpg)
Ω*(X)⊗L*Z MU2*(X)⊗L*Z
Ω*(X) MU2*(X)Φ
Atiyah-Hirzebruch and Totaro:
CH*(X) Hdg2*(X) ⊆ H2*(X;Z)clH
![Page 112: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/112.jpg)
Ω*(X)⊗L*Z MU2*(X)⊗L*Z
Ω*(X) MU2*(X)Φ
Atiyah-Hirzebruch and Totaro:
CH*(X) Hdg2*(X) ⊆ H2*(X;Z)clH
Totaro
![Page 113: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/113.jpg)
Ω*(X)⊗L*Z MU2*(X)⊗L*Z
Ω*(X) MU2*(X)Φ
Atiyah-Hirzebruch and Totaro:
CH*(X) Hdg2*(X) ⊆ H2*(X;Z)clH
Totaro
![Page 114: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/114.jpg)
Ω*(X)⊗L*Z MU2*(X)⊗L*Z
Ω*(X) MU2*(X)Φ
Atiyah-Hirzebruch and Totaro:
CH*(X)
Levine-Morel ≈
Hdg2*(X) ⊆ H2*(X;Z)clH
Totaro
![Page 115: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/115.jpg)
Ω*(X)⊗L*Z MU2*(X)⊗L*Z
Ω*(X) MU2*(X)Φ
Atiyah-Hirzebruch and Totaro:
CH*(X)
Levine-Morel ≈ ≉ in general
Hdg2*(X) ⊆ H2*(X;Z)clH
Totaro
![Page 116: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/116.jpg)
Ω*(X)⊗L*Z MU2*(X)⊗L*Z
Ω*(X) MU2*(X)Φ
Atiyah-Hirzebruch and Totaro:
CH*(X)
Levine-Morel ≈ ≉ in general
Atiyah-Hirzebruch: clH is not surjective.
Hdg2*(X) ⊆ H2*(X;Z)clH
Totaro
![Page 117: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/117.jpg)
Ω*(X)⊗L*Z MU2*(X)⊗L*Z
Ω*(X) MU2*(X)Φ
Atiyah-Hirzebruch and Totaro:
CH*(X)
Levine-Morel ≈ ≉ in general
Atiyah-Hirzebruch: clH is not surjective.
Hdg2*(X) ⊆ H2*(X;Z)clH
This argument does not work for Φ.
Totaro
![Page 118: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/118.jpg)
Kollar’s examples: (see also Soulé-Voisin)
![Page 119: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/119.jpg)
Kollar’s examples: (see also Soulé-Voisin)
Let X⊂P4 a very general hypersurface of degree d.
![Page 120: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/120.jpg)
Kollar’s examples: (see also Soulé-Voisin)
Let X⊂P4 a very general hypersurface of degree d.
Lefschetz’s hyperplane theorem:
![Page 121: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/121.jpg)
Kollar’s examples: (see also Soulé-Voisin)
Let X⊂P4 a very general hypersurface of degree d.
Lefschetz’s hyperplane theorem:
• H2(X;Z) is torsion-free and generated by the class h=c1(𝓞X(1)) of a hyperplane section on X,
![Page 122: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/122.jpg)
Kollar’s examples: (see also Soulé-Voisin)
Let X⊂P4 a very general hypersurface of degree d.
Lefschetz’s hyperplane theorem:
• H2(X;Z) is torsion-free and generated by the class h=c1(𝓞X(1)) of a hyperplane section on X,
• H4(X;Z) is torsion-free and generated by a class α such that ∫ α∙h=1, and all classes are Hodge classes.
X
![Page 123: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/123.jpg)
Kollar’s examples: H2(X;Z)=Zh, H4(X;Z)=Zα, ∫ α∙h=1X
![Page 124: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/124.jpg)
Kollar’s examples:
Assume now d=p3 for a prime p≥5.
H2(X;Z)=Zh, H4(X;Z)=Zα, ∫ α∙h=1X
![Page 125: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/125.jpg)
Kollar’s examples:
Kollar: Then any algebraic curve C on X has degree divisible by p.
Assume now d=p3 for a prime p≥5.
H2(X;Z)=Zh, H4(X;Z)=Zα, ∫ α∙h=1X
![Page 126: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/126.jpg)
Kollar’s examples:
Kollar: Then any algebraic curve C on X has degree divisible by p.
Assume now d=p3 for a prime p≥5.
H2(X;Z)=Zh, H4(X;Z)=Zα, ∫ α∙h=1X
Consequence:
![Page 127: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/127.jpg)
Kollar’s examples:
Kollar: Then any algebraic curve C on X has degree divisible by p.
Assume now d=p3 for a prime p≥5.
H2(X;Z)=Zh, H4(X;Z)=Zα, ∫ α∙h=1X
Consequence: Let C be a curve on X and [C]∈H4(X;Z) be its cohomology class.
![Page 128: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/128.jpg)
Kollar’s examples:
Kollar: Then any algebraic curve C on X has degree divisible by p.
Assume now d=p3 for a prime p≥5.
H2(X;Z)=Zh, H4(X;Z)=Zα, ∫ α∙h=1X
Consequence: Let C be a curve on X and [C]∈H4(X;Z) be its cohomology class.
Then [C]= kα for some k and ∫ [C]∙h=k.X
![Page 129: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/129.jpg)
Kollar’s examples:
Kollar: p divides the degree of any curve on X.
H2(X;Z)=Zh, H4(X;Z)=Zα, ∫ α∙h=1X
![Page 130: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/130.jpg)
Kollar’s examples:
Kollar: p divides the degree of any curve on X.
H2(X;Z)=Zh, H4(X;Z)=Zα, ∫ α∙h=1X
k = ∫ [C]∙hX
![Page 131: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/131.jpg)
Kollar’s examples:
Kollar: p divides the degree of any curve on X.
H2(X;Z)=Zh, H4(X;Z)=Zα, ∫ α∙h=1X
k = ∫ [C]∙hX
= number of intersection points of C with h
![Page 132: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/132.jpg)
Kollar’s examples:
Kollar: p divides the degree of any curve on X.
H2(X;Z)=Zh, H4(X;Z)=Zα, ∫ α∙h=1X
k = ∫ [C]∙hX
= number of intersection points of C with h
= degree of C
![Page 133: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/133.jpg)
Kollar’s examples:
Kollar: p divides the degree of any curve on X.
H2(X;Z)=Zh, H4(X;Z)=Zα, ∫ α∙h=1X
k = ∫ [C]∙hX
= number of intersection points of C with h
= degree of C ⟹ p divides k
![Page 134: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/134.jpg)
Kollar’s examples:
Kollar: p divides the degree of any curve on X.
H2(X;Z)=Zh, H4(X;Z)=Zα, ∫ α∙h=1X
k = ∫ [C]∙hX
= number of intersection points of C with h
= degree of C ⟹ p divides k
In particular, α is not algebraic (for k cannot be 1).
![Page 135: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/135.jpg)
Kollar’s examples:
Kollar: p divides the degree of any curve on X.
H2(X;Z)=Zh, H4(X;Z)=Zα, ∫ α∙h=1X
k = ∫ [C]∙hX
= number of intersection points of C with h
= degree of C ⟹ p divides k
In particular, α is not algebraic (for k cannot be 1).
But dα is algebraic (for ∫ dα∙h = d = ∫ h2∙h ⇒ dα=h2). XX
![Page 136: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/136.jpg)
Consequences for Φ: Ω*(X) → MU2*(X):
![Page 137: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/137.jpg)
Consequences for Φ: Ω*(X) → MU2*(X):
Let X⊂P4 be a very general hypersurface as above.
![Page 138: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/138.jpg)
Consequences for Φ: Ω*(X) → MU2*(X):
Let X⊂P4 be a very general hypersurface as above.
Then MU4(X) ↠ H4(X;Z) is surjective, and thus Kollar’s argument implies that Φ is not surjective (on Hodge classes).
![Page 139: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/139.jpg)
Consequences for Φ: Ω*(X) → MU2*(X):
Let X⊂P4 be a very general hypersurface as above.
Then MU4(X) ↠ H4(X;Z) is surjective, and thus Kollar’s argument implies that Φ is not surjective (on Hodge classes).
These examples are “not topological”:there is a dense subset of hypersurfaces Y⊂P4 such that the generator in H4(Y;Z) is algebraic.
![Page 140: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/140.jpg)
What about the kernel?
Φ: Ω*(X) → MU *(X)2
[Y→X] [Y(C)→X(C)]⟼
![Page 141: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/141.jpg)
What about the kernel?
Φ: Ω*(X) → MU *(X)2
[Y→X] [Y(C)→X(C)]⟼
Φ(Y)=0 creates a new equivalence relation.
![Page 142: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/142.jpg)
What about the kernel?
Φ: Ω*(X) → MU *(X)2
[Y→X] [Y(C)→X(C)]⟼
Φ(Y)=0 creates a new equivalence relation.
top. cobordismrelation
![Page 143: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/143.jpg)
What about the kernel?
Φ: Ω*(X) → MU *(X)2
[Y→X] [Y(C)→X(C)]⟼
Φ(Y)=0 creates a new equivalence relation.
double point relation
top. cobordismrelation
![Page 144: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/144.jpg)
What about the kernel?
Φ: Ω*(X) → MU *(X)2
[Y→X] [Y(C)→X(C)]⟼
Φ(Y)=0 creates a new equivalence relation.
double point relation
top. cobordismrelation
⊆
![Page 145: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/145.jpg)
What about the kernel?
Φ: Ω*(X) → MU *(X)2
[Y→X] [Y(C)→X(C)]⟼
Φ(Y)=0 creates a new equivalence relation.
double point relation
top. cobordismrelation
⊆ algebraic equivalence
![Page 146: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/146.jpg)
What about the kernel?
Φ: Ω*(X) → MU *(X)2
[Y→X] [Y(C)→X(C)]⟼
Φ(Y)=0 creates a new equivalence relation.
double point relation
top. cobordismrelation
⊆ algebraic equivalence
of A. Krishna and J. Park
![Page 147: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/147.jpg)
What about the kernel?
Φ: Ω*(X) → MU *(X)2
[Y→X] [Y(C)→X(C)]⟼
Φ(Y)=0 creates a new equivalence relation.
double point relation
top. cobordismrelation
⊆ algebraic equivalence
⊆
of A. Krishna and J. Park
![Page 148: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/148.jpg)
A new diagram:
Let X be a smooth projective complex variety.
![Page 149: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/149.jpg)
A new diagram:
Ωp(X)
Let X be a smooth projective complex variety.
![Page 150: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/150.jpg)
A new diagram:
Ωp(X) [Y→X]
Let X be a smooth projective complex variety.
![Page 151: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/151.jpg)
A new diagram:
Ωp(X) [Y→X]
Let X be a smooth projective complex variety.
HdgMU(X)2p
![Page 152: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/152.jpg)
A new diagram:
Ωp(X) [Y→X]
[Y(C)→X(C)]
−
Let X be a smooth projective complex variety.
HdgMU(X)2p
![Page 153: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/153.jpg)
A new diagram:
Ωp(X)
Φ
[Y→X]
[Y(C)→X(C)]
−
Let X be a smooth projective complex variety.
HdgMU(X)2p
![Page 154: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/154.jpg)
A new diagram:
Ωp(X)
Φ
[Y→X]
[Y(C)→X(C)]
−
Let X be a smooth projective complex variety.
MUD (p)(X) →2p HdgMU(X)2p
![Page 155: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/155.jpg)
A new diagram:
Ωp(X)
Φ
[Y→X]
[Y(C)→X(C)]
−
Let X be a smooth projective complex variety.
MUD (p)(X) →2p HdgMU(X)2p
combines topol. cobordism with Hodge theoretic information (jt. with M. Hopkins)
![Page 156: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/156.jpg)
A new diagram:
Ωp(X)
Φ
[Y→X]
[Y(C)→X(C)]
−
Let X be a smooth projective complex variety.
MUD (p)(X) →2p HdgMU(X)2p → 0
combines topol. cobordism with Hodge theoretic information (jt. with M. Hopkins)
![Page 157: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/157.jpg)
A new diagram:
Ωp(X)
Φ
[Y→X]
[Y(C)→X(C)]
−
Let X be a smooth projective complex variety.
0 →JMU (X) →2p-1 MUD (p)(X) →2p HdgMU(X)2p → 0
combines topol. cobordism with Hodge theoretic information (jt. with M. Hopkins)
![Page 158: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/158.jpg)
A new diagram:
Ωp(X)
Φ
[Y→X]
[Y(C)→X(C)]
−
Let X be a smooth projective complex variety.
0 →JMU (X) →2p-1 MUD (p)(X) →2p HdgMU(X)2p
complex torus ≈ MU2p-1(X)⊗R/Z
→ 0
combines topol. cobordism with Hodge theoretic information (jt. with M. Hopkins)
![Page 159: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/159.jpg)
A new diagram:
Ωp(X)
Φ
Kernel of Φ ⊂ [Y→X]
[Y(C)→X(C)]
−
Let X be a smooth projective complex variety.
0 →JMU (X) →2p-1 MUD (p)(X) →2p HdgMU(X)2p
complex torus ≈ MU2p-1(X)⊗R/Z
→ 0
combines topol. cobordism with Hodge theoretic information (jt. with M. Hopkins)
![Page 160: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/160.jpg)
A new diagram:
Ωp(X)
Φ
Kernel of Φ ⊂
“Abel-Jacobimap” µMU
[Y→X]
[Y(C)→X(C)]
−
Let X be a smooth projective complex variety.
0 →JMU (X) →2p-1 MUD (p)(X) →2p HdgMU(X)2p
complex torus ≈ MU2p-1(X)⊗R/Z
→ 0
combines topol. cobordism with Hodge theoretic information (jt. with M. Hopkins)
![Page 161: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/161.jpg)
A new diagram:
Ωp(X)
ΦΦD
Kernel of Φ ⊂
“Abel-Jacobimap” µMU
[Y→X]
[Y(C)→X(C)]
−
Let X be a smooth projective complex variety.
0 →JMU (X) →2p-1 MUD (p)(X) →2p HdgMU(X)2p
complex torus ≈ MU2p-1(X)⊗R/Z
→ 0
combines topol. cobordism with Hodge theoretic information (jt. with M. Hopkins)
![Page 162: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/162.jpg)
Examples:
The new Abel-Jacobi map is able to detect interesting algebraic cobordism classes:
Ωp(X)
MU2p(X)CHp(X)
ΦµMU
JMU (X)2p-1
![Page 163: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/163.jpg)
Examples:
The new Abel-Jacobi map is able to detect interesting algebraic cobordism classes:
Ωp(X)
MU2p(X)CHp(X)
∃ α ∊
ΦµMU
JMU (X)2p-1
![Page 164: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/164.jpg)
Examples:
The new Abel-Jacobi map is able to detect interesting algebraic cobordism classes:
Ωp(X)
MU2p(X)CHp(X)
∃ α ∊
0ΦµMU
JMU (X)2p-1
![Page 165: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/165.jpg)
Examples:
The new Abel-Jacobi map is able to detect interesting algebraic cobordism classes:
Ωp(X)
MU2p(X)CHp(X)
∃ α ∊
0 0ΦµMU
JMU (X)2p-1
![Page 166: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/166.jpg)
Examples:
The new Abel-Jacobi map is able to detect interesting algebraic cobordism classes:
Ωp(X)
MU2p(X)CHp(X)
∃ α ∊
0 0≠0ΦµMU
JMU (X)2p-1
![Page 167: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/167.jpg)
The Abel-Jacobi map:
![Page 168: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/168.jpg)
The Abel-Jacobi map:
Given α ∈ Ωp(X), by Rost’s degree formula (due to Levine-Morel)
with Zi⊂X of codim ci≥0, Zi a res. of singularities and 𝛾i ∈ π2p+2 MU and
α = ∑i=1𝛾i[Zi→X] k
~~
ci
![Page 169: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/169.jpg)
The Abel-Jacobi map:
Given α ∈ Ωp(X), by Rost’s degree formula (due to Levine-Morel)
with Zi⊂X of codim ci≥0, Zi a res. of singularities and 𝛾i ∈ π2p+2 MU and
α = ∑i=1𝛾i[Zi→X] k
~~
ci
Assume Φ(α)=0. Then there are chains (modulo torsion)Γi ∈ C2n-2p+1-2ci(X;Z) such that
![Page 170: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/170.jpg)
The Abel-Jacobi map:
Given α ∈ Ωp(X), by Rost’s degree formula (due to Levine-Morel)
with Zi⊂X of codim ci≥0, Zi a res. of singularities and 𝛾i ∈ π2p+2 MU and
α = ∑i=1𝛾i[Zi→X] k
~~
ci
Assume Φ(α)=0. Then there are chains (modulo torsion)Γi ∈ C2n-2p+1-2ci(X;Z) such that
“Image of α = ∂(∑i=1𝛾iΓi) ∈ C2n-2p-2∗(X;Z)⊗π2∗MU”k
![Page 171: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/171.jpg)
The Abel-Jacobi map:
Taking integrals modulo MU2n-2p+1(X) yields a map
n = dim X
Fn-p+1H2n-2p+1(X;π2∗MU⊗C)∨ MU2n-2p+1(X)/Ker(Φ) →
α ⌠⌡Γi
⟼ mod MU2n-2p+1(X).
≈ JMU2p-1(X)
∑i=1 𝛾i k
![Page 172: On some invariants for algebraic cobordism cycles International Workshop on... · On some invariants for algebraic cobordism cycles International Workshop on Motives, Tokyo February](https://reader031.fdocuments.in/reader031/viewer/2022011822/5ec78ad45641e14d14486e65/html5/thumbnails/172.jpg)
Thank you!