L4

The global Langlands-Kottwitz method seeks to express Frobenius-Hecke traces on the cohomology of Shimura varieties in terms of (twisted) orbital integrals; the latter are central objects in local harmonic analysis which enter the Arthur-Selberg trace formula. While this method is well studied, we present a new local analogue: a formula relating the cohomology of local Shimura varieties to twisted orbital integrals. This local formula bridges the point-counting formula for global Shimura varieties with the point-counting formula for Igusa varieties. As an application of our local formula, we propose a new approach, based on categorical Langlands, towards Rapoport's vanishing conjecture on certain twisted orbital integrals. This conjecture is itself a key ingredient in the global Langlands-Kottwitz method for a non-quasi-split prime. This is joint work with Rong Zhou.

I will report on a joint work in progress with Egor Morozov proving that for generic elements in several families of Laplace-type operators invariant under a finite group action, all eigenspaces are irreducible representations. In particular, for the case of Laplace-Beltrami operators, this provides a natural generalization of Uhlenbeck's result on the generic simplicity of the spectrum to the equivariant setting. Moreover, this extends previous work of Zelditch and solves the finite group case of a well-known question raised by Guillemin and Yau. For Schrödinger operators, our results rigorously underpin the notion of accidental degeneracy for certain quantum-mechanical systems with finite symmetry. Our approach involves modern methods of equivariant transversality which we extend to higher dimensions.

Topological Tverberg theory seeks r-fold analogues of classical nonembeddability results. Given a simplicial complex K, the central question is whether every continuous map from K into R^d necessarily identifies r points lying on r pairwise disjoint faces of K. The corresponding collection of faces is called a Tverberg r-partition. Perhaps surprisingly, the existence of such partitions depends on the arithmetic properties of r.

The admissible-prescribable conjecture proposes a refinement of this theory by predicting exactly which face dimensions must occur in Tverberg r-partitions. The conjecture has been verified in a number of cases, using tools such as shelling constructions and discrete Morse theory to determine the homotopy type of the relevant configuration spaces.

In this talk, we present counterexamples that settle the remaining open cases and disprove the conjecture in full generality. Our approach combines a diagrammatic description of configuration spaces with techniques from the theory of homotopy colimits of covers, allowing us to equivariantly reduce these spaces. We then show how methods from differential and PL topology, including the r-fold Whitney trick and surgery of intersections techniques, can be employed to construct the desired counterexamples.

This talk is based on forthcoming joint work with Pavle Blagojević and Florian Frick.

Fersztand, Jacquard, Nanda, and Tilmann ('24) introduced the Skyscraper Invariant, a filtration of the classical rank-invariant, for multiparameter persistence modules. It is defined by considering the Harder-Narasimhan (HN) filtration of the module along a special set of stability conditions.

This talk will begin with a post-hoc motivation for considering stability conditions on persistence modules. To compute an approximation of the Skyscraper Invariant we present a technique which, exploiting the geometry of low-dimensional bifiltrations, lets us perform a brute-force computation. We compare it against Cheng's algorithm [Cheng24] which can compute HN filtrations of arbitrary acyclic quiver representations in polynomial time in the total dimension.

To avoid unnecessary recomputation in our algorithm, we ask for which stability conditions the HN filtrations are equivalent. This partition of the space of stabililty conditions is called the wall-and-chamber structure. We show that for a finitely presented d-parameter module it is given by the lower envelopes of a set of multilinear polynomials of degree d-1. For d=2 it is then easy to compute this, enabling a faster algorithm to compute the Skyscraper Invariant up to arbitrary accuracy. As a proof of concept for data analysis, we use it to compute a filtered version of the Multiparameter Landscape for large modules from real world data.

The Euler characteristic transform (ECT) is an emerging and powerful framework within topological data analysis for quantifying the geometry of shape. The applicability of ECT has been limited due to its sensitivity to noisy data. Here, we introduce SampEuler, a novel ECT-based shape descriptor designed to achieve enhanced robustness to perturbations. We provide a theoretical analysis establishing the stability of SampEuler and validate these properties empirically through pairwise similarity analyses on a benchmark dataset and showcase it on a thymus dataset. The thymus is a primary lymphoid organ that is essential for the maturation and selection of self-tolerant T cells, and within the thymus, thymic epithelial cells are organized in complex three-dimensional architectures, yet the principles governing their formation, functional organization, and remodeling during age-related involution remain poorly understood. Addressing these questions requires robust and informative shape descriptors capable of capturing subtle architectural changes across developmental stages. We develop and apply SampEuler to a newly generated two-dimensional imaging dataset of mouse thymi spanning multiple age groups, where SampEuler outperforms both persistent homology-based methods and deep learning models in detecting subtle, localized morphological differences associated with aging. To facilitate interpretation, we develop a vectorization and visualization framework for SampEuler, which preserves rich morphological information and enables identification of structural features that distinguish thymi across age groups. Collectively, our results demonstrate that SampEuler provides a robust and interpretable approach for quantifying thymic architecture and reveals age-dependent structural changes that offer new insights into thymic organization and involution.

In this talk, we give a construction of the Abelian Yang--Mills--Higgs measure on the two-dimensional torus via the variational approach initiated by Barashkov--Gubinelli. The construction is carried out through a disintegration of measures: we first construct the conditional Higgs measure given a rough gauge field, and then construct the gauge field marginal. This leads to iterated variational problems, one for the Higgs field and one for the gauge field. At the technical level, the starting point is the construction of the renormalised covariant Laplacian associated to a rough gauge field, together with the study of its resolvent. This allows us to define the covariant Gaussian free field, which serves as the reference Gaussian field for the conditional Higgs measure. Finally, we analyse the ratios of determinants that arise from the change-of-measure formula for Gaussian measures. This is joint work with Nikolay Barashkov, Ajay Chandra, Ilya Chevyrev, and Andreas Koller.
 

Clean markings on surfaces were a key component in Masur and Minsky's hierarchy machinery, which proved to be a powerful tool in the study of mapping class groups. In this talk, I will briefly discuss the connection between clean markings and hierarchies, and I will explain how a natural analogue can be constructed for finite-type Artin groups.