In this talk we discuss new effective methods to test pairwise containment of arbitrary (possibly singular) subvarieties of any smooth projective toric variety and to determine algebraic multiplicity without working in local rings. These methods may be implemented without using Gröbner bases; in particular any algorithm to compute the number of solutions of a zero-dimensional polynomial system may be used. The methods arise from techniques developed to compute the Segre class s(X,Y) of X in Y for X and Y arbitrary subschemes of some smooth projective toric variety T. In particular, this work also gives an explicit method to compute these Segre classes and other associated objects such as the Fulton-MacPherson intersection product of projective varieties.
These algorithms are implemented in Macaulay2 and have been found to be effective on a variety of examples. This is joint work with Corey Harris (University of Oslo).

The moduli space of smooth hypersurfaces in projective space was constructed by Mumford in the 60’s using his newly developed classical (a.k.a. reductive) Geometric Invariant Theory.  I wish to generalise this construction to hypersurfaces in weighted projective space (or more generally orbifold toric varieties). The automorphism group of a toric variety is in general non-reductive and I will use new results in non-reductive GIT, developed by F. Kirwan et al., to construct a moduli space of quasismooth hypersurfaces in certain weighted projective spaces. I will give geometric characterisations of notions of stability arising from non-reductive GIT.

The vulnerability of a host population to a specific disease measures how likely pathogen introduction will lead to an epidemic outbreak, and how hard it is to contain or eliminate an ongoing one. Predicting vulnerability is thus key to designing risk-reduction strategies that limit disease burden on public health and economic development. To do that, highly-resolved data tracking contacts and mobility of the host population need to integrate into detailed models of disease dynamics. This represents a twofold challenge. Firstly, we need theoretical frameworks that turn data feeds into predictors of epidemic risk, and can identify which of the structural features of the host population drive its vulnerability. Secondly, we need new ways to access, analyze, and share the relevant contact and mobility data: a necessary step to make our predictions realistic and reliable. In my talk, I will address both issues. I will show how to analytically derive the conditions that discriminate between epidemic regime and quick pathogen extinction, by representing empirically measured contacts as time-evolving complex networks. The analytical core of this theory leads to a broad range of applications. At the same time, its data-driven nature prompts context-specific predictions that can inform policymaking, as I will show in two case studies: reorganizing nurse scheduling to reduce the risk of spread of healthcare-associated infections; linking the features of livestock trade movements to the spatial spread of cattle diseases. The latter application is also an example of how limited access and incomplete data collection represent a big hurdle to predictive vulnerability analysis. To overcome this, I will present a collaborative platform for analyzing and comparing trade networks coming from several European countries. Using a bring code to the data approach, our platform surmounts the strict regulations preventing data sharing, and builds an algorithm that predicts vulnerability even in situations when limited data on cattle trade are available. The ultimate goal of all these theoretical and numerical developments is to inform strategies that reduce the vulnerability of the host population by restructuring its contacts. However, such restructuring may entail a feedback effect, acting as selective pressure on the pathogen itself. In the last part of my talk, I will extend the developed formalism to modeling evolutionary pathways that maximize the invasion potential of the pathogen, given the observed host population structure. Specifically, I will link the emergence of exotic replication behaviors in plant-infecting viruses to historical changes in plant distribution patterns.

In this talk I want to outline the proofs our of main results, i.e. the localisation theorem and the identification of the homotopy type of Grothendieck-Witt theory in terms of K- and L-theory.
Finally, as a small application I want to present a refinement and extension of certain maps relating certain Madsen-Tillmann spectra and orthogonal/symplectic algebraic K-theory spectra of the integers.

All original material is joint work with B.Calmès, E.Dotto, Y.Harpaz, M.Land, K.Moi, D.Nardin, T.Nikolaus and W.Steimle.
 

I will start by briefly reviewing the Tate construction and in particular, the Tate diagonal. Using these I will then illustrate Lurie’s notion of Poincaré categories by considering Poincaré structures on module categories over a ring (spectrum) in detail. In particular, I will describe the somewhat subtle genuine Poincaré structure on the category of perfect complexes of an ordinary ring, which conjecturally links the classical notion of the Grothendieck-Witt spectrum to our derived version. Finally, I will compute its associated L-groups.

Let $X$ be a K3 surface and let $Z_X(q)$ be the generating series of the topological Euler characteristics of the Hilbert scheme of points on $X$. It is known that $q/Z_X(q)$ equals the discriminant form $\Delta(\tau)$ after the change of variables $q=e^{2 \pi i \tau}$. In this talk we consider the equivariant generalization of this result, when a finite group $G$ acts on $X$ symplectically. Mukai and Xiao has shown that there are exactly 81 possibilities for such an action in terms of types of the fixed points. The analogue of $q/Z_X(q)$ in each of the 81 cases turns out to be a cusp form (after the same change of variables). Knowledge of modular forms is not assumed in the talk; I will introduce all necessary concepts. Joint work with Jim Bryan.

For a finite subgroup $G$ of $SL(2,C)$ and for $n \geq 1$,  the Hilbert scheme $X=Hilb^{[n]}(S)$ of $n$ points on the minimal resolution $S$ of the Kleinian singularity $C^2/G$ provides a crepant resolution of the symplectic quotient $C^{2n}/G_n$, where $G_n$ is the wreath product of $G$ with $S_n$. I'll explain why every projective, crepant resolution of $C^{2n}/G_n$ is a quiver variety, and why the movable cone of $X$ can be described in terms of an extended Catalan hyperplane arrangement of the root system associated to $G$ by John McKay. These results extend the algebro-geometric aspects of Kronheimer's hyperkahler description of $S$ to higher dimensions. This is joint work with Gwyn Bellamy.