Focus on:
All days
Oct 26, 2021
Oct 27, 2021
Oct 28, 2021
Oct 29, 2021
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/Ciudad_Juarez
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/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
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)
Čeština (Česko)
Монгол (Монгол)
Українська (Україна)
中文 (中国)
Login
Réunion annuelle du GDR de topologie algébrique
from
Tuesday, October 26, 2021 (10:00 AM)
to
Friday, October 29, 2021 (2:15 PM)
Monday, October 25, 2021
Tuesday, October 26, 2021
10:00 AM
Enregistrement, café
Enregistrement, café
10:00 AM  10:30 AM
10:30 AM
Topological adventures in neuroscience (1ère partie)

Kathryn Hess Bellwald
(
EPFL
)
Topological adventures in neuroscience (1ère partie)
Kathryn Hess Bellwald
(
EPFL
)
10:30 AM  12:00 PM
Over the past decade, research at the interface of topology and neuroscience has grown remarkably fast. Topology has, for example, been successfully applied to objective classification of neuron morphologies, to automatic detection of network dynamics, to understanding the neural representation of natural auditory signals, and to demonstrating that the population activity of grid cells exhibits toroidal structure, as well as to describing brain structure and function and analyzing the relationship between them in a novel and effective manner. In this series of lectures, I’ll provide an overview of various promising recent applications of topology in neuroscience.
12:00 PM
Déjeuner
Déjeuner
12:00 PM  2:00 PM
2:00 PM
Genus zero modular operad & GrothendieckTeichmüller group’s avatar

Noémie Combe
Genus zero modular operad & GrothendieckTeichmüller group’s avatar
Noémie Combe
2:00 PM  2:40 PM
2:45 PM
Mapping class group representations via Heisenberg homology

Martin PalmerAnghel
Mapping class group representations via Heisenberg homology
Martin PalmerAnghel
2:45 PM  3:25 PM
3:30 PM
Pause café
Pause café
3:30 PM  4:00 PM
4:00 PM
Autour de l'action de membranes

Hugo Pourcelot
Autour de l'action de membranes
Hugo Pourcelot
4:00 PM  4:40 PM
Étant donnée une ∞opérade cohérente O, on peut munir l’espace des extensions de l’identité d’une structure canonique de Oalgèbre, à valeurs dans la catégorie des cocorrespondances. Cette action a été introduite par Toën puis adaptée par Mann–Robalo en vue d’applications aux invariants de Gromov–Witten. J’exposerai une généralisation de cette construction, couvrant le cas des ∞opérades colorées ou munies de l’action d’un groupe topologique. Enﬁn, je mentionnerai quelques applications possibles en topologie des cordes.
4:45 PM
A simplicial approach to the sheaf theoretic construction of intersection cohomology

Sebastian Cea
A simplicial approach to the sheaf theoretic construction of intersection cohomology
Sebastian Cea
4:45 PM  5:25 PM
Intersection (co)homology is a way to enhance classical (co)homology, allowing us to use a famous result called Poincaré duality on a large class of spaces known as stratiﬁed pseudomanifolds. There is a theoretically powerful way to arrive at intersection (co)homology by a classifying sheaves that satisfy what are called the Deligne axioms. Parallel to this, it is common knowledge in algebraic topology that simplicial structures make for good representations of topological spaces. There is a successful way to construct a simplicial intersection (co)homology exposed in the works of D. Chataur, D. Tanré and M. SaralegiAraguren, but a simplicial manifestation of the Deligne axioms has remained under shadows until now. This exposition draws on constructions made by these authors, showing a simplicial manifestation of the Deligne axioms. We begin by exposing the classical theory, then presenting a construction of simplicial sheaves and a statement of simplicial Deligne axioms that work for the diﬀerent simplicial structures, to ﬁnally focus on simplicial complexes, with which we can successfully arrive into a way to construct simplicial intersection (co)homology. This exposition summarizes the results obtained during my PhD thesis under the guidance of professor David Chataur.
Wednesday, October 27, 2021
9:00 AM
(Non)formality of the SwissCheese operads and variants

Najib Idrissi
(
Université Paris Diderot / IMJPRG
)
(Non)formality of the SwissCheese operads and variants
Najib Idrissi
(
Université Paris Diderot / IMJPRG
)
9:00 AM  9:50 AM
The usual SwissCheese operad encodes triplets (A,B,f), where A is an algebra over the little disks operad in dimension n (i.e., an \mathsf{E}_nalgebra), B is an \mathsf{E}_{n1}algebra, and f : A \to Z(B) is a central morphism of E_nalgebras. The SwissCheese operad admits several variants and generalizations. In Voronov's original version, the morphism is replaced by an action A \otimes B \to B; in the extended SwissCheese operad ESC_{mn}, the lower algebra is an \mathsf{E}_malgebra for some m < n; and in the complementarilyconstrained disks operad \mathsf{CD}_{mn}, the morphism is replaced by a derivation f + \epsilon \delta : A \to B[\epsilon]. In this talk, I will explain approaches to prove the (non)formality of some of the variants of the SwissCheese operad, including a joint work in progress with Renato Vasconcellos Vieira.
10:00 AM
Pause café
Pause café
10:00 AM  10:30 AM
10:30 AM
Topological adventures in neuroscience (2ème partie)

Kathryn Hess Bellwald
(
EPFL
)
Topological adventures in neuroscience (2ème partie)
Kathryn Hess Bellwald
(
EPFL
)
10:30 AM  12:00 PM
Over the past decade, research at the interface of topology and neuroscience has grown remarkably fast. Topology has, for example, been successfully applied to objective classification of neuron morphologies, to automatic detection of network dynamics, to understanding the neural representation of natural auditory signals, and to demonstrating that the population activity of grid cells exhibits toroidal structure, as well as to describing brain structure and function and analyzing the relationship between them in a novel and effective manner. In this series of lectures, I’ll provide an overview of various promising recent applications of topology in neuroscience.
12:00 PM
Déjeuner
Déjeuner
12:00 PM  2:00 PM
2:00 PM
Algebraic models for classifying spaces of fibrations

Alexander Berglund
Algebraic models for classifying spaces of fibrations
Alexander Berglund
2:00 PM  2:50 PM
For a simply connected finite CWcomplex X, we construct a tractable model for the rational homotopy type of the classifying space Baut(X) of the topological monoid of selfhomotopy equivalences of X, aka the classifying space for fibrations with fiber X. The space Baut(X) is in general far from nilpotent, so one should not expect to be able to model its rational homotopy type by a dg Lie algebra over Q as in Quillen's theory. Instead, we work with dg Lie algebras in the category of algebraic representations of a certain reductive algebraic group associated to X. A consequence of our results is that the computation of the rational cohomology of Baut(X) reduces to the computation of ChevalleyEilenberg cohomology of dg Lie algebras and cohomology of arithmetic groups with coefficients in algebraic representations. Our results also simplify and generalize certain earlier results of Ib Madsen and myself on Baut(M) for highly connected manifolds M. This is joint work with Tomas Zeman.
3:00 PM
Pause café
Pause café
3:00 PM  3:30 PM
3:30 PM
Higher Lie theory

Bruno Vallette
Higher Lie theory
Bruno Vallette
3:30 PM  4:20 PM
This talk will cover the recent complete treatment of the longterm research programme between Lie theory, deformation theory, and rational homotopy theory that originates in the works of Quillen, Deligne, and Sullivan. I will settle the integration theory of homotopy Lie algebras with algebraic infinigroupoids that give rise to explicit higher Baker—Campbell—Hausdorff formulas. A direct application will provide us with a new form of rational homotopy theory which holds in a much more general context than the previous ones. (Joint work with Daniel RobertNicoud availble at ArXiv:2010.10485.)
4:20 PM
Integration of curved homotopy Lie algebras

Victor Roca Lucio
Integration of curved homotopy Lie algebras
Victor Roca Lucio
4:20 PM  5:00 PM
The integration procedure which associates an inﬁnitygroupoid to a (complete) homotopy Lie algebra dates back to Hinich and Getzler. Recently, a new method was developed by RobertNicoud and Vallette: it relies on the representation of the Getzler functor with a universal object and the use of the recent progresses of the operadic calculus. The goal of this talk is to generalize their procedure to curved homotopy Lie algebras, which are this time to be encoded by curved cooperads. This is a new type of algebraic structures which come naturally equipped with inﬁnite summations without an underlying topology. We will explain how to integrate this new type of objects, generalizing the above cases, and their relationship with rational homotopy theory and deformation theory. In particular, they provide us with rational models for nonpointed nilpotent spaces.
Thursday, October 28, 2021
9:00 AM
Ainfinity structures on almost complex manifolds

Joana Cirici
Ainfinity structures on almost complex manifolds
Joana Cirici
9:00 AM  9:50 AM
Dolbeault cohomology is a fundamental cohomological invariant for complex manifolds. This analytic invariant is connected to de Rham cohomology by means of a spectral sequence, called the Frölicher spectral sequence. In this talk, I will explore this connection from a multiplicative viewpoint: using homotopytheoretical methods, I will describe how products (and higher products) behave in the Frölicher spectral sequence. Then, I will review an extension of the theory to the case of almost complex manifolds and talk about some open problems in geometry that may be addressed using homotopy theory.
10:00 AM
Pause café
Pause café
10:00 AM  10:30 AM
10:30 AM
Higher algebra of Ainfinity algebras and the nmultiplihedra

Thibaut Mazuir
Higher algebra of Ainfinity algebras and the nmultiplihedra
Thibaut Mazuir
10:30 AM  11:10 AM
In this talk, I will introduce the notion of nmorphisms between two Ainfinity algebras. These higher morphisms are such that 0morphisms corresponds to Ainfinity morphisms and 1morphisms correspond to Ainfinity homotopies. I will then prove that the set of higher morphisms between two Ainfinity algebras provide a satisfactory framework to study the higher algebra of Ainfinity algebras : this set defines in fact a simplicial set, which has the property of being a Kan complex whose homotopy groups can be explicitly computed. If time permits, I will finally show how the combinatorics of nmorphisms between Ainfinity algebras are encoded by new families of polytopes, which I call the nmultiplihedra and which generalize the standard multiplihedra. They are constructed from the standard simplices and multiplihedra, by lifting the AlexanderWhitney map to the level of simplices. The combinatorics arising in this context are moreover conveniently described in terms of overlapping partitions.
11:20 AM
La diagonale des opéraèdres / The diagonal of the operahedra

Guillaume LaplanteAnfossi
La diagonale des opéraèdres / The diagonal of the operahedra
Guillaume LaplanteAnfossi
11:20 AM  12:00 PM
Nous présentons une nouvelle famille de réalisations des opéraèdres, une famille de polytopes qui codent les opérades à homotopie près comprenant l'associaèdre et le permutoèdre. En se servant des techniques récemment développées par N. Masuda, A. Tonks, H. Thomas et B. Vallette, nous définissons une approximation cellulaire de la diagonale pour cette famille de polytopes de même que le produit tensoriel d'opérades à homotopie près pour lequel nous donnons une formule explicite. We study a new family of realizations of the operahedra, a family of polytopes encoding operads up to homotopy, which include the associahedra and the permutohedra. Using techniques recently developed by N. Masuda, A. Tonks, H. Thomas and B. Vallette, we define a cellular approximation of the diagonal of this family of polytopes and define the tensor product of operads up to homotopy with an explicit formula.
12:00 PM
Déjeuner
Déjeuner
12:00 PM  2:00 PM
2:00 PM
Integrability of derived complex spaces

Sinan Yalin
Integrability of derived complex spaces
Sinan Yalin
2:00 PM  2:50 PM
Since the NewlanderNirenberg integrability theorem in 1957, the description of complex manifolds through integrable almost complex structures provided many far reaching applications ranging from deformation theory to Hodge theory for example.With the rise of derived geometry during the last decade, and more recently of derived analytic geometry, comes naturally the following question: is there a fully homotopy coherent analogue of this integrability notion suitable for derived complex objects? We will explore this question through an approach inspired by operad theory. This is joint work in progress with Joan Millès.
3:00 PM
Pause café
Pause café
3:00 PM  3:30 PM
3:30 PM
Floyd's manifold is a conjugation space

Jérôme Scherer
Floyd's manifold is a conjugation space
Jérôme Scherer
3:30 PM  4:10 PM
Friday, October 29, 2021
9:00 AM
Homotopically inflexible algebras

Cristina Costoya
Homotopically inflexible algebras
Cristina Costoya
9:00 AM  9:50 AM
An oriented closed connected dmanifold is inﬂexible if it does not admit selfmaps of unbounded degree. In addition, if for every oriented closed connected dmanifold M ′ the set of degrees of maps M′ → M is ﬁnite, then M is said to be strongly inﬂexible. The ﬁrst examples of simply connected inﬂexible manifolds have been constructed by Arkowitz and Lupton using Rational Homotopy Theory. However, it is not known whether simply connected strongly manifolds exist, problem that is related to Gromov’s question on functorial seminorms on homology. In this talk, using Sullivan models, we present a method that proves the failure of strongly inﬂexibility for all but one of the existing inﬂexible manifolds. This is a joint work with Vicente Mu˜noz and Antonio Viruel.
10:00 AM
Pause café
Pause café
10:00 AM  10:30 AM
10:30 AM
On the centre of crossed modules of groups and Lie algebras

Mariam Pirashvili
On the centre of crossed modules of groups and Lie algebras
Mariam Pirashvili
10:30 AM  11:10 AM
Crossed modules are algebraic models of homotopy 2types and hence have \pi_1 and \pi_2 . We propose a deﬁnition of the centre of a crossed module whose essential invariants can be computed via the group cohomology H^i (\pi_1, \pi_2). This deﬁnition therefore has much nicer properties than one proposed by Norrie in the 80’s.
11:10 AM
Model structures and spectral sequences

Sarah Whitehouse
(
University of Sheffield
)
Model structures and spectral sequences
Sarah Whitehouse
(
University of Sheffield
)
11:10 AM  12:00 PM
Model categories give an abstract setting for homotopy theory, allowing study of different notions of equivalence. I'll discuss various categories with associated functorial spectral sequences. In such settings, one can consider a hierarchy of notions of equivalence, given by morphisms inducing an isomorphism at a fixed stage of the associated spectral sequence. I'll discuss model structures with these weak equivalences for filtered complexes, for bicomplexes and for multicomplexes. I will talk about joint work with subsets of: Joana Cirici, Daniela Egas Santander, Xin Fu, Ai Guan, Muriel Livernet and Stephanie Ziegenhagen, as well as reporting on some work of my student James Brotherston.