Focus on:
All days
Jul 6, 2020
Jul 7, 2020
Jul 8, 2020
Jul 9, 2020
Jul 10, 2020
Jul 11, 2020
Jul 12, 2020
Jul 13, 2020
Jul 14, 2020
Jul 15, 2020
Jul 16, 2020
Jul 17, 2020
Indico style
Indico style  inline minutes
Indico style  numbered
Indico style  numbered + minutes
Indico Weeks View
Back to Conference View
Choose Timezone
Use the event/category timezone
Specify a timezone
Africa/Abidjan
Africa/Accra
Africa/Addis_Ababa
Africa/Algiers
Africa/Asmara
Africa/Bamako
Africa/Bangui
Africa/Banjul
Africa/Bissau
Africa/Blantyre
Africa/Brazzaville
Africa/Bujumbura
Africa/Cairo
Africa/Casablanca
Africa/Ceuta
Africa/Conakry
Africa/Dakar
Africa/Dar_es_Salaam
Africa/Djibouti
Africa/Douala
Africa/El_Aaiun
Africa/Freetown
Africa/Gaborone
Africa/Harare
Africa/Johannesburg
Africa/Juba
Africa/Kampala
Africa/Khartoum
Africa/Kigali
Africa/Kinshasa
Africa/Lagos
Africa/Libreville
Africa/Lome
Africa/Luanda
Africa/Lubumbashi
Africa/Lusaka
Africa/Malabo
Africa/Maputo
Africa/Maseru
Africa/Mbabane
Africa/Mogadishu
Africa/Monrovia
Africa/Nairobi
Africa/Ndjamena
Africa/Niamey
Africa/Nouakchott
Africa/Ouagadougou
Africa/PortoNovo
Africa/Sao_Tome
Africa/Tripoli
Africa/Tunis
Africa/Windhoek
America/Adak
America/Anchorage
America/Anguilla
America/Antigua
America/Araguaina
America/Argentina/Buenos_Aires
America/Argentina/Catamarca
America/Argentina/Cordoba
America/Argentina/Jujuy
America/Argentina/La_Rioja
America/Argentina/Mendoza
America/Argentina/Rio_Gallegos
America/Argentina/Salta
America/Argentina/San_Juan
America/Argentina/San_Luis
America/Argentina/Tucuman
America/Argentina/Ushuaia
America/Aruba
America/Asuncion
America/Atikokan
America/Bahia
America/Bahia_Banderas
America/Barbados
America/Belem
America/Belize
America/BlancSablon
America/Boa_Vista
America/Bogota
America/Boise
America/Cambridge_Bay
America/Campo_Grande
America/Cancun
America/Caracas
America/Cayenne
America/Cayman
America/Chicago
America/Chihuahua
America/Costa_Rica
America/Creston
America/Cuiaba
America/Curacao
America/Danmarkshavn
America/Dawson
America/Dawson_Creek
America/Denver
America/Detroit
America/Dominica
America/Edmonton
America/Eirunepe
America/El_Salvador
America/Fort_Nelson
America/Fortaleza
America/Glace_Bay
America/Goose_Bay
America/Grand_Turk
America/Grenada
America/Guadeloupe
America/Guatemala
America/Guayaquil
America/Guyana
America/Halifax
America/Havana
America/Hermosillo
America/Indiana/Indianapolis
America/Indiana/Knox
America/Indiana/Marengo
America/Indiana/Petersburg
America/Indiana/Tell_City
America/Indiana/Vevay
America/Indiana/Vincennes
America/Indiana/Winamac
America/Inuvik
America/Iqaluit
America/Jamaica
America/Juneau
America/Kentucky/Louisville
America/Kentucky/Monticello
America/Kralendijk
America/La_Paz
America/Lima
America/Los_Angeles
America/Lower_Princes
America/Maceio
America/Managua
America/Manaus
America/Marigot
America/Martinique
America/Matamoros
America/Mazatlan
America/Menominee
America/Merida
America/Metlakatla
America/Mexico_City
America/Miquelon
America/Moncton
America/Monterrey
America/Montevideo
America/Montserrat
America/Nassau
America/New_York
America/Nome
America/Noronha
America/North_Dakota/Beulah
America/North_Dakota/Center
America/North_Dakota/New_Salem
America/Nuuk
America/Ojinaga
America/Panama
America/Pangnirtung
America/Paramaribo
America/Phoenix
America/PortauPrince
America/Port_of_Spain
America/Porto_Velho
America/Puerto_Rico
America/Punta_Arenas
America/Rankin_Inlet
America/Recife
America/Regina
America/Resolute
America/Rio_Branco
America/Santarem
America/Santiago
America/Santo_Domingo
America/Sao_Paulo
America/Scoresbysund
America/Sitka
America/St_Barthelemy
America/St_Johns
America/St_Kitts
America/St_Lucia
America/St_Thomas
America/St_Vincent
America/Swift_Current
America/Tegucigalpa
America/Thule
America/Tijuana
America/Toronto
America/Tortola
America/Vancouver
America/Whitehorse
America/Winnipeg
America/Yakutat
America/Yellowknife
Antarctica/Casey
Antarctica/Davis
Antarctica/DumontDUrville
Antarctica/Macquarie
Antarctica/Mawson
Antarctica/McMurdo
Antarctica/Palmer
Antarctica/Rothera
Antarctica/Syowa
Antarctica/Troll
Antarctica/Vostok
Arctic/Longyearbyen
Asia/Aden
Asia/Almaty
Asia/Amman
Asia/Anadyr
Asia/Aqtau
Asia/Aqtobe
Asia/Ashgabat
Asia/Atyrau
Asia/Baghdad
Asia/Bahrain
Asia/Baku
Asia/Bangkok
Asia/Barnaul
Asia/Beirut
Asia/Bishkek
Asia/Brunei
Asia/Chita
Asia/Choibalsan
Asia/Colombo
Asia/Damascus
Asia/Dhaka
Asia/Dili
Asia/Dubai
Asia/Dushanbe
Asia/Famagusta
Asia/Gaza
Asia/Hebron
Asia/Ho_Chi_Minh
Asia/Hong_Kong
Asia/Hovd
Asia/Irkutsk
Asia/Jakarta
Asia/Jayapura
Asia/Jerusalem
Asia/Kabul
Asia/Kamchatka
Asia/Karachi
Asia/Kathmandu
Asia/Khandyga
Asia/Kolkata
Asia/Krasnoyarsk
Asia/Kuala_Lumpur
Asia/Kuching
Asia/Kuwait
Asia/Macau
Asia/Magadan
Asia/Makassar
Asia/Manila
Asia/Muscat
Asia/Nicosia
Asia/Novokuznetsk
Asia/Novosibirsk
Asia/Omsk
Asia/Oral
Asia/Phnom_Penh
Asia/Pontianak
Asia/Pyongyang
Asia/Qatar
Asia/Qostanay
Asia/Qyzylorda
Asia/Riyadh
Asia/Sakhalin
Asia/Samarkand
Asia/Seoul
Asia/Shanghai
Asia/Singapore
Asia/Srednekolymsk
Asia/Taipei
Asia/Tashkent
Asia/Tbilisi
Asia/Tehran
Asia/Thimphu
Asia/Tokyo
Asia/Tomsk
Asia/Ulaanbaatar
Asia/Urumqi
Asia/UstNera
Asia/Vientiane
Asia/Vladivostok
Asia/Yakutsk
Asia/Yangon
Asia/Yekaterinburg
Asia/Yerevan
Atlantic/Azores
Atlantic/Bermuda
Atlantic/Canary
Atlantic/Cape_Verde
Atlantic/Faroe
Atlantic/Madeira
Atlantic/Reykjavik
Atlantic/South_Georgia
Atlantic/St_Helena
Atlantic/Stanley
Australia/Adelaide
Australia/Brisbane
Australia/Broken_Hill
Australia/Darwin
Australia/Eucla
Australia/Hobart
Australia/Lindeman
Australia/Lord_Howe
Australia/Melbourne
Australia/Perth
Australia/Sydney
Canada/Atlantic
Canada/Central
Canada/Eastern
Canada/Mountain
Canada/Newfoundland
Canada/Pacific
Europe/Amsterdam
Europe/Andorra
Europe/Astrakhan
Europe/Athens
Europe/Belgrade
Europe/Berlin
Europe/Bratislava
Europe/Brussels
Europe/Bucharest
Europe/Budapest
Europe/Busingen
Europe/Chisinau
Europe/Copenhagen
Europe/Dublin
Europe/Gibraltar
Europe/Guernsey
Europe/Helsinki
Europe/Isle_of_Man
Europe/Istanbul
Europe/Jersey
Europe/Kaliningrad
Europe/Kirov
Europe/Kyiv
Europe/Lisbon
Europe/Ljubljana
Europe/London
Europe/Luxembourg
Europe/Madrid
Europe/Malta
Europe/Mariehamn
Europe/Minsk
Europe/Monaco
Europe/Moscow
Europe/Oslo
Europe/Paris
Europe/Podgorica
Europe/Prague
Europe/Riga
Europe/Rome
Europe/Samara
Europe/San_Marino
Europe/Sarajevo
Europe/Saratov
Europe/Simferopol
Europe/Skopje
Europe/Sofia
Europe/Stockholm
Europe/Tallinn
Europe/Tirane
Europe/Ulyanovsk
Europe/Vaduz
Europe/Vatican
Europe/Vienna
Europe/Vilnius
Europe/Volgograd
Europe/Warsaw
Europe/Zagreb
Europe/Zurich
GMT
Indian/Antananarivo
Indian/Chagos
Indian/Christmas
Indian/Cocos
Indian/Comoro
Indian/Kerguelen
Indian/Mahe
Indian/Maldives
Indian/Mauritius
Indian/Mayotte
Indian/Reunion
Pacific/Apia
Pacific/Auckland
Pacific/Bougainville
Pacific/Chatham
Pacific/Chuuk
Pacific/Easter
Pacific/Efate
Pacific/Fakaofo
Pacific/Fiji
Pacific/Funafuti
Pacific/Galapagos
Pacific/Gambier
Pacific/Guadalcanal
Pacific/Guam
Pacific/Honolulu
Pacific/Kanton
Pacific/Kiritimati
Pacific/Kosrae
Pacific/Kwajalein
Pacific/Majuro
Pacific/Marquesas
Pacific/Midway
Pacific/Nauru
Pacific/Niue
Pacific/Norfolk
Pacific/Noumea
Pacific/Pago_Pago
Pacific/Palau
Pacific/Pitcairn
Pacific/Pohnpei
Pacific/Port_Moresby
Pacific/Rarotonga
Pacific/Saipan
Pacific/Tahiti
Pacific/Tarawa
Pacific/Tongatapu
Pacific/Wake
Pacific/Wallis
US/Alaska
US/Arizona
US/Central
US/Eastern
US/Hawaii
US/Mountain
US/Pacific
UTC
Save
Europe/Paris
English (United States)
Deutsch (Deutschland)
English (United Kingdom)
English (United States)
Español (España)
Français (France)
Polski (Polska)
Português (Brasil)
Türkçe (Türkiye)
Монгол (Монгол)
Українська (Україна)
中文 (中国)
Login
Motivic, Equivariant and Noncommutative Homotopy Theory
from
Monday, July 6, 2020 (1:00 PM)
to
Friday, July 17, 2020 (7:00 PM)
Monday, July 6, 2020
1:00 PM
Enumerative Geometry and Quadratic Forms (1/3)

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

Teena GERHARDT
(
Michigan State University
)
Algebraic Ktheory and Trace Methods (1/3)
Teena GERHARDT
(
Michigan State University
)
3:30 PM  4:30 PM
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.
4:30 PM
Discussions / Coffee Break
Discussions / Coffee Break
4:30 PM  6:00 PM
Room: Marilyn and James Simons Conference Center
6:00 PM
Exodromy for ℓadic Sheaves (1/3)

Clark BARWICK
(
University of Edinburgh
)
Exodromy for ℓadic Sheaves (1/3)
Clark BARWICK
(
University of Edinburgh
)
6:00 PM  7:00 PM
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, July 7, 2020
1:00 PM
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
)
1:00 PM  2:00 PM
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.
2:00 PM
Discussions / Coffee Break
Discussions / Coffee Break
2:00 PM  3:30 PM
Room: Marilyn and James Simons Conference Center
3:30 PM
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
)
3:30 PM  4:30 PM
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.
4:30 PM
Discussions / Coffee Break
Discussions / Coffee Break
4:30 PM  6:00 PM
Room: Marilyn and James Simons Conference Center
6:00 PM
Algebraic Ktheory and Trace Methods (2/3)

Teena GERHARDT
(
Michigan State University
)
Algebraic Ktheory and Trace Methods (2/3)
Teena GERHARDT
(
Michigan State University
)
6:00 PM  7:00 PM
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, July 8, 2020
4:30 PM
Exodromy for ℓadic Sheaves (2/3)

Clark BARWICK
(
University of Edinburgh
)
Exodromy for ℓadic Sheaves (2/3)
Clark BARWICK
(
University of Edinburgh
)
4:30 PM  5:30 PM
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.
5:30 PM
Discussions / Coffee Break
Discussions / Coffee Break
5:30 PM  6:00 PM
Room: Marilyn and James Simons Conference Center
6:00 PM
Enumerative Geometry and Quadratic Forms (2/3)

Marc LEVINE
(
Universität DuisburgEssen
)
Enumerative Geometry and Quadratic Forms (2/3)
Marc LEVINE
(
Universität DuisburgEssen
)
6:00 PM  7:00 PM
Room: Marilyn and James Simons Conference Center
Computations of Euler Characteristics and Euler Classes
Thursday, July 9, 2020
1:00 PM
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
)
1:00 PM  2:00 PM
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.
2:00 PM
Discussions / Coffee Break
Discussions / Coffee Break
2:00 PM  3:30 PM
Room: Marilyn and James Simons Conference Center
3:30 PM
Algebraic Ktheory and Trace Methods (3/3)

Teena GERHARDT
(
Michigan State University
)
Algebraic Ktheory and Trace Methods (3/3)
Teena GERHARDT
(
Michigan State University
)
3:30 PM  4:30 PM
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.
4:30 PM
Discussions / Coffee Break
Discussions / Coffee Break
4:30 PM  6:00 PM
Room: Marilyn and James Simons Conference Center
6:00 PM
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
)
6:00 PM  7:00 PM
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, July 10, 2020
1:00 PM
Enumerative Geometry and Quadratic Forms (3/3)

Marc LEVINE
(
Universität DuisburgEssen
)
Enumerative Geometry and Quadratic Forms (3/3)
Marc LEVINE
(
Universität DuisburgEssen
)
1:00 PM  2:00 PM
Room: Marilyn and James Simons Conference Center
Motivic Welschinger invariants
2:00 PM
Discussions / Coffee Break
Discussions / Coffee Break
2:00 PM  3:30 PM
Room: Marilyn and James Simons Conference Center
3:30 PM
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
)
3:30 PM  4:30 PM
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.
4:30 PM
Discussions / Coffee Break
Discussions / Coffee Break
4:30 PM  6:00 PM
Room: Marilyn and James Simons Conference Center
6:00 PM
Exodromy for ℓadic Sheaves (3/3)

Clark BARWICK
(
University of Edinburgh
)
Exodromy for ℓadic Sheaves (3/3)
Clark BARWICK
(
University of Edinburgh
)
6:00 PM  7:00 PM
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, July 11, 2020
Sunday, July 12, 2020
Monday, July 13, 2020
1:00 PM
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
)
1:00 PM  2:00 PM
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.
2:00 PM
Discussions / Coffee Break
Discussions / Coffee Break
2:00 PM  3:30 PM
Room: Marilyn and James Simons Conference Center
3:30 PM
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
)
3:30 PM  4:30 PM
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.
4:30 PM
Discussions / Coffee Break
Discussions / Coffee Break
4:30 PM  6:00 PM
Room: Marilyn and James Simons Conference Center
6:00 PM
Motivic Realizations of Singularity Categories

Marco Robalo
(
IMJPRG
)
Motivic Realizations of Singularity Categories
Marco Robalo
(
IMJPRG
)
6:00 PM  7:00 PM
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, July 14, 2020
1:00 PM
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
)
1:00 PM  2:00 PM
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
2:00 PM
Discussions / Coffee Break
Discussions / Coffee Break
2:00 PM  3:30 PM
Room: Marilyn and James Simons Conference Center
3:30 PM
Pullbacks for the RostSchmid Complex

Tom BACHMANN
(
MIT
)
Pullbacks for the RostSchmid Complex
Tom BACHMANN
(
MIT
)
3:30 PM  4:30 PM
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)
4:30 PM
Discussions / Coffee Break
Discussions / Coffee Break
4:30 PM  6:00 PM
Room: Marilyn and James Simons Conference Center
6:00 PM
Fibrant Resolutions of Motivic Thom Spectra

Alexander NESHITOV
(
Western University
)
Fibrant Resolutions of Motivic Thom Spectra
Alexander NESHITOV
(
Western University
)
6:00 PM  7:00 PM
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, July 15, 2020
1:00 PM
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
)
1:00 PM  2:00 PM
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
2:00 PM
Discussions / Coffee Break
Discussions / Coffee Break
2:00 PM  3:30 PM
Room: Marilyn and James Simons Conference Center
3:30 PM
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
)
3:30 PM  4:30 PM
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.
4:30 PM
Discussions / Coffee Break
Discussions / Coffee Break
4:30 PM  6:00 PM
Room: Marilyn and James Simons Conference Center
6:00 PM
Equivariant Infinite Loop Space Machines

Angélica M. Osorno
(
Reed College
)
Equivariant Infinite Loop Space Machines
Angélica M. Osorno
(
Reed College
)
6:00 PM  7:00 PM
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, July 16, 2020
1:00 PM
Knots and Motives

Geoffroy HOREL
(
University Paris 13
)
Knots and Motives
Geoffroy HOREL
(
University Paris 13
)
1:00 PM  2:00 PM
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.
2:00 PM
Discussions / Coffee Break
Discussions / Coffee Break
2:00 PM  3:30 PM
Room: Marilyn and James Simons Conference Center
3:30 PM
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
)
3:30 PM  4:30 PM
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.
4:30 PM
Discussions / Coffee Break
Discussions / Coffee Break
4:30 PM  6:00 PM
Room: Marilyn and James Simons Conference Center
6:00 PM
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
)
6:00 PM  7:00 PM
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, July 17, 2020
1:00 PM
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
)
1:00 PM  2:00 PM
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
2:00 PM
Discussions / Coffee Break
Discussions / Coffee Break
2:00 PM  3:30 PM
Room: Marilyn and James Simons Conference Center
3:30 PM
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
)
3:30 PM  4:30 PM
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).
4:30 PM
Discussions / Coffee Break
Discussions / Coffee Break
4:30 PM  6:00 PM
Room: Marilyn and James Simons Conference Center
6:00 PM
Real and Hyperreal Equivariant and Motivic Computations

Mike HILL
(
UCLA
)
Real and Hyperreal Equivariant and Motivic Computations
Mike HILL
(
UCLA
)
6:00 PM  7:00 PM
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.