Junior Strings is a seminar series where DPhil students present topics of common interest that do not necessarily overlap with their own research area. This is primarily aimed at PhD students and post-docs but everyone is welcome.
From a model theoretic point of view, local fields of positive characteristic, i.e. fields of Laurent series over finite fields, are much less well understood than their characteristic zero counterparts - the fields of real, complex and p-adic numbers. I will discuss different approaches to axiomatize and decide at least their existential theory in various languages and under various forms of resolution of singularities. This includes new joint work with Sylvy Anscombe and Philip Dittmann.
We study the definability of valuation rings in ordered fields (in the language of ordered rings). We show that any henselian valuation ring that is definable in the language of ordered rings is already definable in the language of rings. However, this does not hold when we drop the assumption of henselianity.
This is joint work with Philip Dittmann, Sebastian Krapp and Salma Kuhlmann.
Let G(R) be the real points of a complex reductive algebraic group G. There are many difficult questions about admissible representations of real reductive groups which have (relatively) easy answers in the case of complex groups. Thus, it is natural to look for a relationship between representations of G and representations of G(R). In this talk, I will introduce a functor from admissible representations of G to admissible representations of G(R). This functor interacts nicely with many natural invariants, including infinitesimal character, associated variety, and restriction to a maximal compact subgroup, and it takes unipotent representations of G to unipotent representations of G(R).
By a classical theorem of Jordan, every faithful transitive action of a nontrivial finite group admits a derangement (an element with no fixed points). More recently, the existence of derangements with additional properties has attracted much attention, especially for primitive actions of almost simple groups. Surprisingly, there exist almost simple groups with elements that are derangements in every faithful primitive action; we say that these elements are totally deranged. I'll talk about ongoing work to classify the totally deranged elements of almost simple groups, and I'll mention how this solves a question of Garzoni about invariable generating sets for simple groups.
We prove a positive characteristic analogue of the classical result that the centralizer of a nonconstant differential operator in one variable is commutative. This leads to a new, short proof of that classical characteristic zero result, by reduction modulo p. This is joint work with Justin Desrochers available at https://arxiv.org/abs/2201.04606.
The question of when you can quasiisometrically embed a solvable Baumslag-Solitar group into another turns out to be equivalent to the question of when you can (1,A)-quasiisometrically embed a rooted tree into another rooted tree. We will briefly describe the geometry of the solvable Baumslag-Solitar groups before attacking the problem of embedding trees. We will find that the existence of (1,A)-quasiisometric embeddings between trees is intimately related to the boundedness of a family of integer sequences.
In the first half of the talk, we will explore the concept of a characteristic class of a subvariety in a smooth ambient space. We will focus on the so-called stable envelope class, in cohomology, K theory, and elliptic cohomology (due to Okoukov-Maulik-Aganagic). Stable envelopes have rich algebraic combinatorics, they are at the heart of enumerative geometry calculations, they show up in the study of associated (quantum) differential equations, and they are the main building blocks of constructing quantum group actions on the cohomology of moduli spaces.
In the second half of the talk, we will study a generalization of Nakajima quiver varieties called Cherkis’ bow varieties. These smooth spaces are endowed with familiar structures: holomorphic symplectic form, tautological bundles, torus action. Their algebraic combinatorics features a new powerful operation, the Hanany-Witten transition. Bow varieties come in natural pairs called 3d mirror symmetric pairs. A conjecture motivated by superstring theory predicts that stable envelopes on 3d mirror pairs are equal (in a sophisticated sense that involves switching equivariant and Kahler parameters). I will report on a work in progress, with T. Botta, to prove this conjecture.
We show that any irreducible representation $\rho$ of a finite group $G$ of exponent $n$, realisable over $\mathbb R$, is realisable over the field $E$ of real cyclotomic numbers of order $n$, and describe an algorithmic procedure transforming a realisation of $\rho$ over $\mathbb Q(\zeta_n)$ to one over $E$.