Motivic, Equivariant and Noncommutative Homotopy Theory
from
Monday, 6 July 2020 (13:00)
to
Friday, 17 July 2020 (19:00)
Monday, 6 July 2020
13:00
Enumerative Geometry and Quadratic Forms (1/3)

Marc LEVINE
(
Universität DuisburgEssen
)
Enumerative Geometry and Quadratic Forms (1/3)
Marc LEVINE
(
Universität DuisburgEssen
)
13:00  14:00
Room: Marilyn and James Simons Conference Center
Enumerative Geometry and Quadratic Forms: Euler characteristics and Euler classes
14:00
Discussions / Coffee Break
Discussions / Coffee Break
14:00  15:30
Room: Marilyn and James Simons Conference Center
15:30
Algebraic Ktheory and Trace Methods (1/3)

Teena GERHARDT
(
Michigan State University
)
Algebraic Ktheory and Trace Methods (1/3)
Teena GERHARDT
(
Michigan State University
)
15:30  16:30
Room: Marilyn and James Simons Conference Center
Algebraic Ktheory is an invariant of rings and ring spectra which illustrates a fascinating interplay between algebra and topology. Defined using topological tools, this invariant has important applications to algebraic geometry, number theory, and geometric topology. One fruitful approach to studying algebraic Ktheory is via trace maps, relating algebraic Ktheory to (topological) Hochschild homology, and (topological) cyclic homology. In this minicourse I will introduce algebraic Ktheory and related Hochschild invariants, and discuss recent advances in this area. Topics will include cyclotomic spectra, computations of the algebraic Ktheory of rings, and equivariant analogues of Hochschild invariants.
16:30
Discussions / Coffee Break
Discussions / Coffee Break
16:30  18:00
Room: Marilyn and James Simons Conference Center
18:00
Exodromy for ℓadic Sheaves (1/3)

Clark BARWICK
(
University of Edinburgh
)
Exodromy for ℓadic Sheaves (1/3)
Clark BARWICK
(
University of Edinburgh
)
18:00  19:00
Room: Marilyn and James Simons Conference Center
In joint work with Saul Glasman and Peter Haine, we proved that the derived ∞category of constructible ℓadic sheaves ’is’ the ∞category of continuous functors from an explicitly defined 1category to the ∞category of perfect complexes over ℚℓ. In this series of talks, I want to offer some historical context for these ideas and to explain some of the techologies that go into both the statement and the proof. If time permits, I will also discuss newer work that aims to expand the scope of these results
Tuesday, 7 July 2020
13:00
Motives from the Noncommutative Point of View (1/3)

Dmitry KALEDIN
(
Steklov Mathematical Inst. & National Research Univ. Higher School of Economics
)
Motives from the Noncommutative Point of View (1/3)
Dmitry KALEDIN
(
Steklov Mathematical Inst. & National Research Univ. Higher School of Economics
)
13:00  14:00
Room: Marilyn and James Simons Conference Center
Motives were initially conceived as a way to unify various cohomology theories that appear in algebraic geometry, and these can be roughly divided into two groups: theories of etale type, and theories of cristalline/de Rham type. The obvious unifying feature of all the theories is that they carry some version of a Chern character map from the algebraic Ktheory, and there is a bunch of “motivic” conjectures claiming that in various contexts, this map can be refined to some “regulator map” that is not far from an isomorphism. Almost all of these conjectures are still wide open. One observation whose importance was not obvious at first is that Ktheory is actually defined in a much larger generality: it makes sense for an associative but not necessarily commutative ring. From the modern of of view, the same should be true for all the theories of de Rham type, with differential forms replaced by Hochschild homology classes, and all the motivic conjectures should also generalize. One prominent example of this is the cyclotomic trace map of B¨okstedt–Hsiang–Madsen that serves as a noncommutative analog of the regulator in the padic setting. While the noncommutative conjectures are just as open as the commutative ones, one can still hope that they might be more tractable: after all, if something holds in a bigger generality, its potential proof by necessity should use much less, so it ought to be simpler. In addition to this, noncommutative setting allows for completely new methods. One such is the observation that Hochschild Homology is a twovariable theory: one can define homology groups of an algebra with coefficients in a bimodule. These groups come equipped with certain natural tracelike isomorphisms, and this already allowed one to prove several general comparison results.
14:00
Discussions / Coffee Break
Discussions / Coffee Break
14:00  15:30
Room: Marilyn and James Simons Conference Center
15:30
Motivic and Equivariant Stable Homotopy Groups (1/3)

Daniel ISAKSEN
(
Wayne State University
)
Motivic and Equivariant Stable Homotopy Groups (1/3)
Daniel ISAKSEN
(
Wayne State University
)
15:30  16:30
Room: Marilyn and James Simons Conference Center
I will discuss a program for computing C2equivariant, ℝmotivic, ℂmotivic, and classical stable homotopy groups, emphasizing the connections and relationships between the four homotopical contexts. The Adams spectral sequence and the effective spectral sequence are the key tools. The analysis of these spectral sequences break into three main steps: (1) algebraically compute the E2page; (2) analyze differentials; (3) resolve hidden extensions. I will demonstrate a variety of techniques for each of these steps. I will make precise the idea that ℂmotivic stable homotopy theory is a deformation of classical stable homotopy theory. I will discuss some future prospects for homotopical deformation theory in general.
16:30
Discussions / Coffee Break
Discussions / Coffee Break
16:30  18:00
Room: Marilyn and James Simons Conference Center
18:00
Algebraic Ktheory and Trace Methods (2/3)

Teena GERHARDT
(
Michigan State University
)
Algebraic Ktheory and Trace Methods (2/3)
Teena GERHARDT
(
Michigan State University
)
18:00  19:00
Room: Marilyn and James Simons Conference Center
Algebraic Ktheory is an invariant of rings and ring spectra which illustrates a fascinating interplay between algebra and topology. Defined using topological tools, this invariant has important applications to algebraic geometry, number theory, and geometric topology. One fruitful approach to studying algebraic Ktheory is via trace maps, relating algebraic Ktheory to (topological) Hochschild homology, and (topological) cyclic homology. In this minicourse I will introduce algebraic Ktheory and related Hochschild invariants, and discuss recent advances in this area. Topics will include cyclotomic spectra, computations of the algebraic Ktheory of rings, and equivariant analogues of Hochschild invariants.
Wednesday, 8 July 2020
16:30
Exodromy for ℓadic Sheaves (2/3)

Clark BARWICK
(
University of Edinburgh
)
Exodromy for ℓadic Sheaves (2/3)
Clark BARWICK
(
University of Edinburgh
)
16:30  17:30
Room: Marilyn and James Simons Conference Center
In joint work with Saul Glasman and Peter Haine, we proved that the derived ∞category of constructible ℓadic sheaves ’is’ the ∞category of continuous functors from an explicitly defined 1category to the ∞category of perfect complexes over ℚℓ. In this series of talks, I want to offer some historical context for these ideas and to explain some of the techologies that go into both the statement and the proof. If time permits, I will also discuss newer work that aims to expand the scope of these results.
17:30
Discussions / Coffee Break
Discussions / Coffee Break
17:30  18:00
Room: Marilyn and James Simons Conference Center
18:00
Enumerative Geometry and Quadratic Forms (2/3)

Marc LEVINE
(
Universität DuisburgEssen
)
Enumerative Geometry and Quadratic Forms (2/3)
Marc LEVINE
(
Universität DuisburgEssen
)
18:00  19:00
Room: Marilyn and James Simons Conference Center
Computations of Euler Characteristics and Euler Classes
Thursday, 9 July 2020
13:00
Motives from the Noncommutative Point of View (2/3)

Dmitry KALEDIN
(
Steklov Mathematical Inst. & National Research Univ. Higher School of Economics
)
Motives from the Noncommutative Point of View (2/3)
Dmitry KALEDIN
(
Steklov Mathematical Inst. & National Research Univ. Higher School of Economics
)
13:00  14:00
Room: Marilyn and James Simons Conference Center
Motives were initially conceived as a way to unify various cohomology theories that appear in algebraic geometry, and these can be roughly divided into two groups: theories of etale type, and theories of cristalline/de Rham type. The obvious unifying feature of all the theories is that they carry some version of a Chern character map from the algebraic Ktheory, and there is a bunch of “motivic” conjectures claiming that in various contexts, this map can be refined to some “regulator map” that is not far from an isomorphism. Almost all of these conjectures are still wide open. One observation whose importance was not obvious at first is that Ktheory is actually defined in a much larger generality: it makes sense for an associative but not necessarily commutative ring. From the modern of of view, the same should be true for all the theories of de Rham type, with differential forms replaced by Hochschild homology classes, and all the motivic conjectures should also generalize. One prominent example of this is the cyclotomic trace map of B¨okstedt–Hsiang–Madsen that serves as a noncommutative analog of the regulator in the padic setting. While the noncommutative conjectures are just as open as the commutative ones, one can still hope that they might be more tractable: after all, if something holds in a bigger generality, its potential proof by necessity should use much less, so it ought to be simpler. In addition to this, noncommutative setting allows for completely new methods. One such is the observation that Hochschild Homology is a twovariable theory: one can define homology groups of an algebra with coefficients in a bimodule. These groups come equipped with certain natural tracelike isomorphisms, and this already allowed one to prove several general comparison results.
14:00
Discussions / Coffee Break
Discussions / Coffee Break
14:00  15:30
Room: Marilyn and James Simons Conference Center
15:30
Algebraic Ktheory and Trace Methods (3/3)

Teena GERHARDT
(
Michigan State University
)
Algebraic Ktheory and Trace Methods (3/3)
Teena GERHARDT
(
Michigan State University
)
15:30  16:30
Room: Marilyn and James Simons Conference Center
Algebraic Ktheory is an invariant of rings and ring spectra which illustrates a fascinating interplay between algebra and topology. Defined using topological tools, this invariant has important applications to algebraic geometry, number theory, and geometric topology. One fruitful approach to studying algebraic Ktheory is via trace maps, relating algebraic Ktheory to (topological) Hochschild homology, and (topological) cyclic homology. In this minicourse I will introduce algebraic Ktheory and related Hochschild invariants, and discuss recent advances in this area. Topics will include cyclotomic spectra, computations of the algebraic Ktheory of rings, and equivariant analogues of Hochschild invariants.
16:30
Discussions / Coffee Break
Discussions / Coffee Break
16:30  18:00
Room: Marilyn and James Simons Conference Center
18:00
Motivic and Equivariant Stable Homotopy Groups (2/3)

Daniel ISAKSEN
(
Wayne State University
)
Motivic and Equivariant Stable Homotopy Groups (2/3)
Daniel ISAKSEN
(
Wayne State University
)
18:00  19:00
Room: Marilyn and James Simons Conference Center
I will discuss a program for computing C2equivariant, ℝmotivic, ℂmotivic, and classical stable homotopy groups, emphasizing the connections and relationships between the four homotopical contexts. The Adams spectral sequence and the effective spectral sequence are the key tools. The analysis of these spectral sequences break into three main steps: (1) algebraically compute the E2page; (2) analyze differentials; (3) resolve hidden extensions. I will demonstrate a variety of techniques for each of these steps. I will make precise the idea that ℂmotivic stable homotopy theory is a deformation of classical stable homotopy theory. I will discuss some future prospects for homotopical deformation theory in general.
Friday, 10 July 2020
13:00
Enumerative Geometry and Quadratic Forms (3/3)

Marc LEVINE
(
Universität DuisburgEssen
)
Enumerative Geometry and Quadratic Forms (3/3)
Marc LEVINE
(
Universität DuisburgEssen
)
13:00  14:00
Room: Marilyn and James Simons Conference Center
Motivic Welschinger invariants
14:00
Discussions / Coffee Break
Discussions / Coffee Break
14:00  15:30
Room: Marilyn and James Simons Conference Center
15:30
Motivic and Equivariant Stable Homotopy Groups (3/3)

Daniel ISAKSEN
(
Wayne State University
)
Motivic and Equivariant Stable Homotopy Groups (3/3)
Daniel ISAKSEN
(
Wayne State University
)
15:30  16:30
Room: Marilyn and James Simons Conference Center
I will discuss a program for computing C2equivariant, ℝmotivic, ℂmotivic, and classical stable homotopy groups, emphasizing the connections and relationships between the four homotopical contexts. The Adams spectral sequence and the effective spectral sequence are the key tools. The analysis of these spectral sequences break into three main steps: (1) algebraically compute the E2page; (2) analyze differentials; (3) resolve hidden extensions. I will demonstrate a variety of techniques for each of these steps. I will make precise the idea that ℂmotivic stable homotopy theory is a deformation of classical stable homotopy theory. I will discuss some future prospects for homotopical deformation theory in general.
16:30
Discussions / Coffee Break
Discussions / Coffee Break
16:30  18:00
Room: Marilyn and James Simons Conference Center
18:00
Exodromy for ℓadic Sheaves (3/3)

Clark BARWICK
(
University of Edinburgh
)
Exodromy for ℓadic Sheaves (3/3)
Clark BARWICK
(
University of Edinburgh
)
18:00  19:00
Room: Marilyn and James Simons Conference Center
In joint work with Saul Glasman and Peter Haine, we proved that the derived ∞category of constructible ℓadic sheaves ’is’ the ∞category of continuous functors from an explicitly defined 1category to the ∞category of perfect complexes over ℚℓ. In this series of talks, I want to offer some historical context for these ideas and to explain some of the techologies that go into both the statement and the proof. If time permits, I will also discuss newer work that aims to expand the scope of these results.
Saturday, 11 July 2020
Sunday, 12 July 2020
Monday, 13 July 2020
13:00
Motives from the Noncommutative Point of View (3/3)

Dmitry KALEDIN
(
Steklov Mathematical Inst. & National Research Univ. Higher School of Economics
)
Motives from the Noncommutative Point of View (3/3)
Dmitry KALEDIN
(
Steklov Mathematical Inst. & National Research Univ. Higher School of Economics
)
13:00  14:00
Room: Marilyn and James Simons Conference Center
Motives were initially conceived as a way to unify various cohomology theories that appear in algebraic geometry, and these can be roughly divided into two groups: theories of etale type, and theories of cristalline/de Rham type. The obvious unifying feature of all the theories is that they carry some version of a Chern character map from the algebraic Ktheory, and there is a bunch of “motivic” conjectures claiming that in various contexts, this map can be refined to some “regulator map” that is not far from an isomorphism. Almost all of these conjectures are still wide open. One observation whose importance was not obvious at first is that Ktheory is actually defined in a much larger generality: it makes sense for an associative but not necessarily commutative ring. From the modern of of view, the same should be true for all the theories of de Rham type, with differential forms replaced by Hochschild homology classes, and all the motivic conjectures should also generalize. One prominent example of this is the cyclotomic trace map of B¨okstedt–Hsiang–Madsen that serves as a noncommutative analog of the regulator in the padic setting. While the noncommutative conjectures are just as open as the commutative ones, one can still hope that they might be more tractable: after all, if something holds in a bigger generality, its potential proof by necessity should use much less, so it ought to be simpler. In addition to this, noncommutative setting allows for completely new methods. One such is the observation that Hochschild Homology is a twovariable theory: one can define homology groups of an algebra with coefficients in a bimodule. These groups come equipped with certain natural tracelike isomorphisms, and this already allowed one to prove several general comparison results.
14:00
Discussions / Coffee Break
Discussions / Coffee Break
14:00  15:30
Room: Marilyn and James Simons Conference Center
15:30
Noncommutative Counterparts of Celebrated Conjectures (1/3)

Gonçalo TABUADA
(
MIT Department of Mathematics
)
Noncommutative Counterparts of Celebrated Conjectures (1/3)
Gonçalo TABUADA
(
MIT Department of Mathematics
)
15:30  16:30
Room: Marilyn and James Simons Conference Center
Some celebrated conjectures of Beilinson, Grothendieck, Kimura, Tate, Voevodsky, Weil, and others, play a key central role in algebraic geometry. Notwithstanding the effort of several generations of mathematicians, the proof of (the majority of) these conjectures remains illusive. The aim of this course, prepared for a broad audience, is to give an overview of a recent noncommutative approach which has led to the proof of the aforementioned important conjectures in some new cases.
16:30
Discussions / Coffee Break
Discussions / Coffee Break
16:30  18:00
Room: Marilyn and James Simons Conference Center
18:00
Motivic Realizations of Singularity Categories

Marco Robalo
(
IMJPRG
)
Motivic Realizations of Singularity Categories
Marco Robalo
(
IMJPRG
)
18:00  19:00
Room: Marilyn and James Simons Conference Center
In this lecture, we will explain the connection between the (motivic) theory of vanishing cycles and the construction of motivic realizations of singularity categories. We review the results obtained in collaboration with BlancToenVezzosi and discuss some of the recent progresses in the field.
Tuesday, 14 July 2020
13:00
A Local Construction of Stable Motivic Homotopy Theory (1/3)

Ivan PANIN
(
St. Petersburg Department of Steklov Institute of Mathematics
)
A Local Construction of Stable Motivic Homotopy Theory (1/3)
Ivan PANIN
(
St. Petersburg Department of Steklov Institute of Mathematics
)
13:00  14:00
Room: Marilyn and James Simons Conference Center
V. Voevodsky [6] invented the category of framed correspondences with the hope to give a new construction of stable motivic homotopy theory SH(k) which will be more friendly for computational purposes. Joint with G. Garkusha we used framed correspondences to develop the theory of framed motives in [4]. This theory led us in [5] to a genuinely local construction of SH(k). In particular, we get rid of motivic equivalences completely. In my lectures I will recall the definition of framed correspondences and describe the genuinely local model for SH(k) (assuming that the base field k is infinite and perfect). I will also discuss several applications. Let Fr(Y,X) be the pointed set of stable framed correspondences between smooth algebraic varieties Y and X. For the first two applications I choose k = ℂ for simplicity. For further two applications k is any infinite and perfect field. (1) The simplicial space Fr(𝚫alg,S^1) has the homotopy type of the topological space Ω∞Σ∞(S^1_top). So the topological space Ω^∞_S1Σ^∞_S1(S^1_top) is recovered as the simplicial set Fr(𝚫alg,S^1), which is described in terms of algebraic varieties only. This is one of the computational miracles of framed correspondences. (2) The assignment X ↦ π_*(Fr(𝚫alg,X⨂S^1)) is a homology theory on complex algebraic varieties. Moreover, this homology theory regarded with ℤ/ncoefficients coincides with the stable homotopies X ↦ π ^S_*(X+^S^1_top;ℤ/n) with ℤ/ncoefficients. The latter result is an extension of the celebrated Suslin–Voevodsky theorem on motivic homology of weight zero to the stable motivic homotopy context. (3) Another application of the theory is as follows. It turns out that π^s_0,0(X+) = H0(ℤF(𝚫,X)), where (ℤF(𝚫,X)) is the chain complex of stable linear framed correspondences introduced in [4]. For X = G_m^^n this homology group was computed by A. Neshitov as the nth Milnor–Witt group K_n^MW (k) of the base field k recovering the celebrated theorem of Morel. (4) As a consequence of the theory of framed motives, the canonical morphism of motivic spaces can : C_*Fr(X) → Ω^∞_ℙ^1 Σ^∞_ℙ^1 (X+) is Nisnich locally a group completion for any smooth simplicial scheme X. In particular, if C_*Fr(X) is Nisnevich locally connected, then the morphism can is a Nisnevich local weak equivalence. Thus in this case C_*Fr(X) is an infinite motivic loop space and π_n(C_*FR(X)(K)) = π^A1_n,0 (Σ^∞_ℙ^1 (X+))(K). In my lectures I will adhere to the following references: [1] A. Ananyevskiy, G. Garkusha, I. Panin, Cancellation theorem for framed motives of algebraic varieties, arXiv:1601.06642 [2] G. Garkusha, A. Neshitov, I. Panin, Framed motives of relative motivic spheres, arXiv:1604.02732v3. [3] G. Garkusha, I. Panin, Homotopy invariant presheaves with framed transfers, Cambridge J. Math. 8(1) (2020), 194. [4] G. Garkusha, I. Panin, Framed motives of algebraic varieties (after V. Voevodsky), J. Amer. Math. Soc., to appear. [5] G. Garkusha, I. Panin, The triangulated categories of framed bispectra and framed motives, arXiv:1809.08006. [6] V. Voevodsky, Notes on framed correspondences, unpublished, 2001, www.math.ias.edu/vladimir/publications
14:00
Discussions / Coffee Break
Discussions / Coffee Break
14:00  15:30
Room: Marilyn and James Simons Conference Center
15:30
Pullbacks for the RostSchmid Complex

Tom BACHMANN
(
MIT
)
Pullbacks for the RostSchmid Complex
Tom BACHMANN
(
MIT
)
15:30  16:30
Room: Marilyn and James Simons Conference Center
Let 𝑘 be a perfect field and 𝑀 a strictly homotopy invariant sheaf of abelian groups on Sm_𝑘. The cousin complex can be used to compute the cohomology of a smooth variety 𝑋 over 𝑘 with coefficients in 𝑀. However, if 𝑋 → 𝑌 is a morphism of smooth varieties, there is not in general an induced map on cousin complexes, so computing pullbacks of cohomology classes is difficult. In this talk I will explain how such pullbacks may nonetheless be computed, at least up to choosing a good enough cycle representing the cohomology class (which is always possible in principle, but may be difficult in practice). Time permitting, I will mention applications to the 𝔾_𝑚stabilization conjecture (which was formulated jointly with Maria Yakerson)
16:30
Discussions / Coffee Break
Discussions / Coffee Break
16:30  18:00
Room: Marilyn and James Simons Conference Center
18:00
Fibrant Resolutions of Motivic Thom Spectra

Alexander NESHITOV
(
Western University
)
Fibrant Resolutions of Motivic Thom Spectra
Alexander NESHITOV
(
Western University
)
18:00  19:00
Room: Marilyn and James Simons Conference Center
This is a joint work with G. Garkusha. In the talk I will discuss the construction of fibrant replacements for spectra consisting of Thom spaces (suspension spectra of varieties and algebraic cobordism 𝑀𝐺𝐿 being the motivating examples) that uses the theory of framed correspondences. As a consequence we get a description of the infinite loop space of 𝑀𝐺𝐿 in terms of Hilbert schemes
Wednesday, 15 July 2020
13:00
A Local Construction of Stable Motivic Homotopy Theory (2/3)

Ivan PANIN
(
St. Petersburg Department of Steklov Institute of Mathematics
)
A Local Construction of Stable Motivic Homotopy Theory (2/3)
Ivan PANIN
(
St. Petersburg Department of Steklov Institute of Mathematics
)
13:00  14:00
Room: Marilyn and James Simons Conference Center
V. Voevodsky [6] invented the category of framed correspondences with the hope to give a new construction of stable motivic homotopy theory SH(k) which will be more friendly for computational purposes. Joint with G. Garkusha we used framed correspondences to develop the theory of framed motives in [4]. This theory led us in [5] to a genuinely local construction of SH(k). In particular, we get rid of motivic equivalences completely. In my lectures I will recall the definition of framed correspondences and describe the genuinely local model for SH(k) (assuming that the base field k is infinite and perfect). I will also discuss several applications. Let Fr(Y,X) be the pointed set of stable framed correspondences between smooth algebraic varieties Y and X. For the first two applications I choose k = ℂ for simplicity. For further two applications k is any infinite and perfect field. (1) The simplicial space Fr(𝚫alg,S^1) has the homotopy type of the topological space Ω∞Σ∞(S^1_top). So the topological space Ω^∞_S1Σ^∞_S1(S^1_top) is recovered as the simplicial set Fr(𝚫alg,S^1), which is described in terms of algebraic varieties only. This is one of the computational miracles of framed correspondences. (2) The assignment X ↦ π_*(Fr(𝚫alg,X⨂S^1)) is a homology theory on complex algebraic varieties. Moreover, this homology theory regarded with ℤ/ncoefficients coincides with the stable homotopies X ↦ π ^S_*(X+^S^1_top;ℤ/n) with ℤ/ncoefficients. The latter result is an extension of the celebrated Suslin–Voevodsky theorem on motivic homology of weight zero to the stable motivic homotopy context. (3) Another application of the theory is as follows. It turns out that π^s_0,0(X+) = H0(ℤF(𝚫,X)), where (ℤF(𝚫,X)) is the chain complex of stable linear framed correspondences introduced in [4]. For X = G_m^^n this homology group was computed by A. Neshitov as the nth Milnor–Witt group K_n^MW (k) of the base field k recovering the celebrated theorem of Morel. (4) As a consequence of the theory of framed motives, the canonical morphism of motivic spaces can : C_*Fr(X) → Ω^∞_ℙ^1 Σ^∞_ℙ^1 (X+) is Nisnich locally a group completion for any smooth simplicial scheme X. In particular, if C_*Fr(X) is Nisnevich locally connected, then the morphism can is a Nisnevich local weak equivalence. Thus in this case C_*Fr(X) is an infinite motivic loop space and π_n(C_*FR(X)(K)) = π^A1_n,0 (Σ^∞_ℙ^1 (X+))(K). In my lectures I will adhere to the following references: [1] A. Ananyevskiy, G. Garkusha, I. Panin, Cancellation theorem for framed motives of algebraic varieties, arXiv:1601.06642 [2] G. Garkusha, A. Neshitov, I. Panin, Framed motives of relative motivic spheres, arXiv:1604.02732v3. [3] G. Garkusha, I. Panin, Homotopy invariant presheaves with framed transfers, Cambridge J. Math. 8(1) (2020), 194. [4] G. Garkusha, I. Panin, Framed motives of algebraic varieties (after V. Voevodsky), J. Amer. Math. Soc., to appear. [5] G. Garkusha, I. Panin, The triangulated categories of framed bispectra and framed motives, arXiv:1809.08006. [6] V. Voevodsky, Notes on framed correspondences, unpublished, 2001, www.math.ias.edu/vladimir/publications
14:00
Discussions / Coffee Break
Discussions / Coffee Break
14:00  15:30
Room: Marilyn and James Simons Conference Center
15:30
Noncommutative Counterparts of Celebrated Conjectures (2/3)

Gonçalo Tabuada
(
MIT Department of Mathematics
)
Noncommutative Counterparts of Celebrated Conjectures (2/3)
Gonçalo Tabuada
(
MIT Department of Mathematics
)
15:30  16:30
Room: Marilyn and James Simons Conference Center
Some celebrated conjectures of Beilinson, Grothendieck, Kimura, Tate, Voevodsky, Weil, and others, play a key central role in algebraic geometry. Notwithstanding the effort of several generations of mathematicians, the proof of (the majority of) these conjectures remains illusive. The aim of this course, prepared for a broad audience, is to give an overview of a recent noncommutative approach which has led to the proof of the aforementioned important conjectures in some new cases.
16:30
Discussions / Coffee Break
Discussions / Coffee Break
16:30  18:00
Room: Marilyn and James Simons Conference Center
18:00
Equivariant Infinite Loop Space Machines

Angélica M. Osorno
(
Reed College
)
Equivariant Infinite Loop Space Machines
Angélica M. Osorno
(
Reed College
)
18:00  19:00
Room: Marilyn and James Simons Conference Center
An equivariant infinite loop space machine is a functor that constructs genuine equivariant spectra out of simpler categorical or space level data. In the late 80’s Lewis–May–Steinberger and Shimakawa developed generalizations of the operadic approach and the Gspace approach respectively. In this talk I will report on joint work with Bert Guillou, Peter May and Mona Merling on adapting these machines to work multiplicatively and on understanding their categorical input
Thursday, 16 July 2020
13:00
Knots and Motives

Geoffroy HOREL
(
University Paris 13
)
Knots and Motives
Geoffroy HOREL
(
University Paris 13
)
13:00  14:00
Room: Marilyn and James Simons Conference Center
The pure braid group is the fundamental group of the space of configurations of points in the complex plane. This topological space is the Betti realization of a scheme defined over the integers. It follows, by work initiated by Deligne and Goncharov, that the pronilpotent completion of the pure braid group is a motive over the integers (what this means precisely is that the Hopf algebra of functions on that group can be promoted to a Hopf algebra in an abelian category of motives over the integers). I will explain a partly conjectural extension of that story from braids to knots. The replacement of the lower central series of the pure braid group is the socalled Vassiliev filtration on knots. The proposed strategy to construct the desired motivic structure relies on the technology of manifold calculus of Goodwillie and Weiss.
14:00
Discussions / Coffee Break
Discussions / Coffee Break
14:00  15:30
Room: Marilyn and James Simons Conference Center
15:30
Noncommutative Counterparts of Celebrated Conjectures (3/3)

Gonçalo TABUADA
(
MIT Department of Mathematics
)
Noncommutative Counterparts of Celebrated Conjectures (3/3)
Gonçalo TABUADA
(
MIT Department of Mathematics
)
15:30  16:30
Room: Marilyn and James Simons Conference Center
Some celebrated conjectures of Beilinson, Grothendieck, Kimura, Tate, Voevodsky, Weil, and others, play a key central role in algebraic geometry. Notwithstanding the effort of several generations of mathematicians, the proof of (the majority of) these conjectures remains illusive. The aim of this course, prepared for a broad audience, is to give an overview of a recent noncommutative approach which has led to the proof of the aforementioned important conjectures in some new cases.
16:30
Discussions / Coffee Break
Discussions / Coffee Break
16:30  18:00
Room: Marilyn and James Simons Conference Center
18:00
Integrality Results for 𝔸^1Euler Numbers and Arithmetic Counts of Linear Subspaces of Complete Intersections

Kirsten WICKELGREN
(
Duke University
)
Integrality Results for 𝔸^1Euler Numbers and Arithmetic Counts of Linear Subspaces of Complete Intersections
Kirsten WICKELGREN
(
Duke University
)
18:00  19:00
Room: Marilyn and James Simons Conference Center
𝔸^1Euler numbers can be constructed with Hochschild homology, selfduality of Koszul complexes, pushforwards in 𝑆𝐿_𝑐 oriented cohomology theories, and sums of local degrees. We show an integrality result for 𝔸^1Euler numbers and apply this to the enumeration of 𝑑planes in complete intersections. Classically such counts are valid over the complex numbers and sometimes extended to the real numbers. 𝔸^1homotopy theory allows one to perform counts over arbitrary fields, and records information about the arithmetic and geometry of the solutions with bilinear forms. For example, it then follows from work of Finashin–Kharlamov that there are 160;839⟨1⟩+160;650⟨1⟩ 3planes in any 7dimensional cubic hypersurface when these 3planes are counted with an appropriate weight. This is joint work with Tom Bachmann.
Friday, 17 July 2020
13:00
A Local Construction of Stable Motivic Homotopy Theory (3/3)

Ivan PANIN
(
St. Petersburg Department of Steklov Institute of Mathematics
)
A Local Construction of Stable Motivic Homotopy Theory (3/3)
Ivan PANIN
(
St. Petersburg Department of Steklov Institute of Mathematics
)
13:00  14:00
Room: Marilyn and James Simons Conference Center
V. Voevodsky [6] invented the category of framed correspondences with the hope to give a new construction of stable motivic homotopy theory SH(k) which will be more friendly for computational purposes. Joint with G. Garkusha we used framed correspondences to develop the theory of framed motives in [4]. This theory led us in [5] to a genuinely local construction of SH(k). In particular, we get rid of motivic equivalences completely. In my lectures I will recall the definition of framed correspondences and describe the genuinely local model for SH(k) (assuming that the base field k is infinite and perfect). I will also discuss several applications. Let Fr(Y,X) be the pointed set of stable framed correspondences between smooth algebraic varieties Y and X. For the first two applications I choose k = ℂ for simplicity. For further two applications k is any infinite and perfect field. (1) The simplicial space Fr(𝚫alg,S^1) has the homotopy type of the topological space Ω∞Σ∞(S^1_top). So the topological space Ω^∞S1Σ^∞_S1(S^1_top) is recovered as the simplicial set Fr(𝚫alg,S^1), which is described in terms of algebraic varieties only. This is one of the computational miracles of framed correspondences. (2) The assignment X ↦ π(Fr(𝚫alg,X⨂S^1)) is a homology theory on complex algebraic varieties. Moreover, this homology theory regarded with ℤ/ncoefficients coincides with the stable homotopies X ↦ π ^S_(X+^S^1_top;ℤ/n) with ℤ/ncoefficients. The latter result is an extension of the celebrated Suslin–Voevodsky theorem on motivic homology of weight zero to the stable motivic homotopy context. (3) Another application of the theory is as follows. It turns out that π^s_0,0(X+) = H0(ℤF(𝚫,X)), where (ℤF(𝚫,X)) is the chain complex of stable linear framed correspondences introduced in [4]. For X = G_m^^n this homology group was computed by A. Neshitov as the nth Milnor–Witt group K_n^MW (k) of the base field k recovering the celebrated theorem of Morel. (4) As a consequence of the theory of framed motives, the canonical morphism of motivic spaces can : C_Fr(X) → Ω^∞ℙ^1 Σ^∞_ℙ^1 (X+) is Nisnich locally a group completion for any smooth simplicial scheme X. In particular, if CFr(X) is Nisnevich locally connected, then the morphism can is a Nisnevich local weak equivalence. Thus in this case C_Fr(X) is an infinite motivic loop space and π_n(C_FR(X)(K)) = π^A1_n,0 (Σ^∞_ℙ^1 (X+))(K). In my lectures I will adhere to the following references: [1] A. Ananyevskiy, G. Garkusha, I. Panin, Cancellation theorem for framed motives of algebraic varieties, arXiv:1601.06642 [2] G. Garkusha, A. Neshitov, I. Panin, Framed motives of relative motivic spheres, arXiv:1604.02732v3. [3] G. Garkusha, I. Panin, Homotopy invariant presheaves with framed transfers, Cambridge J. Math. 8(1) (2020), 194. [4] G. Garkusha, I. Panin, Framed motives of algebraic varieties (after V. Voevodsky), J. Amer. Math. Soc., to appear. [5] G. Garkusha, I. Panin, The triangulated categories of framed bispectra and framed motives, arXiv:1809.08006. [6] V. Voevodsky, Notes on framed correspondences, unpublished, 2001, www.math.ias.edu/vladimir/publications
14:00
Discussions / Coffee Break
Discussions / Coffee Break
14:00  15:30
Room: Marilyn and James Simons Conference Center
15:30
Triangulated Categories of Log Motives over a Field

Federico BINDA
(
University of Milan
)
Triangulated Categories of Log Motives over a Field
Federico BINDA
(
University of Milan
)
15:30  16:30
Room: Marilyn and James Simons Conference Center
In this talk I will sketch the construction and highlight the main properties of a new motivic category for logarithmic schemes, log smooth over a ground field k (without log structure). This construction is based on a new Grothendieck topology (called the “dividing topology”) and on the principle that homotopies should be parametrised by the affine line with compactifying log structure. The resulting category logDM shares many of the fundamental properties of Voevodsky’s DM, that can be faithfully embedded inside it, and can be used to represent cohomology theories that are not A^1homotopy invariant (like Hodge cohomology or HodgeWitt cohomology). If time permits, we will discuss some conjectures relating the étale version of our category with integral coefficients with the MilneRamachandran category of integral étale motivic complexes. This is a joint work with D. Park (Zurich) and P.A.Østvær (Oslo).
16:30
Discussions / Coffee Break
Discussions / Coffee Break
16:30  18:00
Room: Marilyn and James Simons Conference Center
18:00
Real and Hyperreal Equivariant and Motivic Computations

Mike HILL
(
UCLA
)
Real and Hyperreal Equivariant and Motivic Computations
Mike HILL
(
UCLA
)
18:00  19:00
Room: Marilyn and James Simons Conference Center
Foundational work of Hu—Kriz and Dugger showed that for Real spectra, we can often compute as easily as nonequivariantly. The general equivariant slice filtration was developed to show how this philosophy extends from $C_2$equivariant homotopy to larger cyclic $2$groups, and this has some fantastic applications to chromatic homotopy. This talk will showcase how one can carry out computations, and some of the tools that make these computations easier. The natural source for Real spectra is the complex points of motivic spectra over $\mathbb R$, and there is a more initial, parallel story here. I will discuss some of how the equivariant shadow can show us structure in the motivic case as well.