We use Non-Reductive GIT to construct compactifications of Hilbert schemes of complete intersections. We then study ample line bundles on these compactifications in order to construct moduli spaces of complete intersections for certain degree types.
The mapping class group a solid handlebody of genus g sits between mapping class groups of surfaces and Out(F_n), in the sense there is an injective map to the mapping class group of the boundary and a surjective map to Out(F_g) via the action on the fundamental group. Similar behaviour happens with actions on associated spaces, such curve complexes and Teichmuller space. I’ll give an expository talk on this, partly in the context of our proof with Petersen that handlebody groups are virtual duality groups, and partly in the context of a problem list on handlebody groups written with Andrew, Hensel, and Hughes.
A matroid is frame if it can be extended such that it possesses a basis $B$ (a frame) such that every element is spanned by at most two elements of $B$. Frame matroids extend the class of graphic matroids and also have natural graphical representations. We characterise the inequivalent graphical representations of 3-connected frame matroids that have a fixed element $\ell$ in their frame $B$. One consequence is a polynomial time recognition algorithm for frame matroids with a distinguished frame element.
Joint work with Jim Geelen and Cynthia Rodríquez.
I will construct a fully-faithful functor from the category of co-admissible D-cap modules of Ardakov—Wadsley, to the category of quasi-coherent sheaves on the "analytic de Rham space”, at least in the case when the rigid variety is affinoid and étale over a polydisk.
I will outline some recent progress in identifying realistic models of particle physics in heterotic string theory, supported by several mathematical and computational advancements which include: analytic expressions for bundle valued cohomology dimensions on complex projective varieties, heuristic methods of discrete optimisation such as reinforcement learning and genetic algorithms, as well as efficient neural-network approaches for the computation of Ricci-flat metrics on Calabi-Yau manifolds, hermitian Yang-Mills connections on holomorphic vector bundles and bundle valued harmonic forms. I will present a proof of concept computation of quark masses in a string model that recovers the exact standard model spectrum and discuss several other models that can accommodate the entire range of flavour parameters observed in the standard model.
In this talk, we present a mathematical model for tumour growth that incorporates viscoelastic effects. Starting from a basic system of PDEs, we gradually introduce the relevant biological and physical mechanisms and explain how they are integrated into the model. The resulting system features a Cahn--Hilliard type equation for the tumour cells coupled to a convection-reaction-diffusion equation for a nutrient species, and a viscoelastic subsystem for an internal velocity.
Key biological processes such as active transport, apoptosis, and proliferation are modeled via source and sink terms as well as cross-diffusion effects. The viscoelastic behaviour is described using the Oldroyd-B model, which is based on a multiplicative decomposition of the deformation gradient to account for elasticity alongside growth and relaxation effects.
We will highlight several of these effects through numerical simulations.
Moreover, we discuss the main analytical and numerical challenges. Particular focus will be given to the treatment of source and cross-diffusion terms, the elastic energy density, and the difficulties arising from the viscoelastic subsystem. The main analytical result is the global-in-time existence of weak solutions in two spatial dimensions, under the assumption of additional viscoelastic diffusion in the Oldroyd-B equation.
This work is based on joint work with Harald Garcke (University of Regensburg, Germany) and Balázs Kovács (University of Paderborn, Germany).
The arithmetic regularity lemma says that any dense set A in F_p^n can be cut along cosets of some small codimension subspace H <= F_p^n such that on almost all cosets of H, A is either random or structured (in a precise quantitative manner). A standard example shows that one cannot hope to improve "almost all" to "all", nor to have a good quantitative dependency between the constants involved. Adding a further combinatorial assumption on A to the arithmetic regularity lemma makes its conclusion so strong that one can essentially classify such sets A. In this talk, I will use use the analogous problem with F_p^n replaced with R^n as a way the motivate the funny title.
A topological quantum field theory (TQFT) is a functor from a category of bordisms to a category of vector spaces. Classifying low-dimensional TQFTs often involves presenting bordism categories in terms of generators and relations. In this talk, we introduce these concepts and outline a general procedure for obtaining such presentations using Morse–Cerf theory and surgery. We further discuss how this perspective can be extended to yield presentations of bordism bicategories.
Contact topology and hyperbolic geometry are two well-established, yet so far largely unrelated subfields of 3-manifold topology. We will discuss a recent result relating phenomena in these two fields. Specifically, we will demonstrate that tightness of certain contact structures on hyperbolic manifolds is detected by the behaviour of geodesics in the underlying hyperbolic geometry. A key geometric tool we will discuss is the deformation theory for hyperbolic manifolds.
Please join us for a fireside chat, hosted by OSE, between PQShield founder and visiting professor, Dr Ali El Kaafarani, and Sami Walter, associate at Oxford Sciences Enterprises (OSE).
Dr Ali El Kaafarani is the founder and CEO of PQShield, a post-quantum cryptography (PQC) company empowering organisations, industries and nations with quantum-resistant cryptography that is modernising the vital security systems and components of the world's technology supply chain.
In this chat, we’ll discuss Dr Ali El Kaafarani’s experience founding PQShield and lessons learned from spinning a company out from the Oxford ecosystem.
This week’s Fridays@2 session is intended to provide advice on exam preparation and how to approach the Part A, B, and C exams. A panel consisting of past examiners and current students will answer any questions you might have as you approach exam season.
In the theory of perfectoid fields, the tilting operation takes a perfectoid field K (a densely normed complete field of positive residue characteristic p for which the map which sends x to its p-th power is surjective as a self-map on O/pO where O is the ring of integers) to its tilt, which is computed as the limit in the category of multiplicative monoids of K under repeated application of the map sending x to its p-th power, and then a natural normed field structure is constructed. It may happen that two non-isomorphic perfectoid fields have isomorphic tilts. The family of characteristic zero untilts of a complete nontrivially normed complete perfect field of positive characteristic are parameterized by the Fargues-Fontaine curve.
Taking into account these parameters, we show that this correspondence between perfectoid fields of mixed characteristic and their tilts may be regarded as a quantifier-free bi-interpretation in continuous logic. The existence of this bi-interpretation allows for some soft proofs of some features of tilting such as the Fontaine-Wintenberger theorem that a perfectoid field and its tilt have isomorphic absolute Galois groups, an approximation lemma for the tilts of definable sets, and identifications of adic spaces.
This is a report on (rather old, mostly from 2016/7) joint work with Silvain Rideau-Kikuchi and Pierre Simon available at https://arxiv.org/html/2505.01321v1 .
I will talk about intersection theory over any globally valued field and how it is connected to some model-theoretic problems.
In recent joint work with J. Merikoski, we developed a new way to employ $\mathrm{SL}_2(\mathbb{R})$ spectral methods to number-theoretical counting problems, entirely avoiding Kloosterman sums and the Kuznetsov formula. The main result is an asymptotic formula for an automorphic kernel, with error terms controlled by two new kernels. This framework proves particularly effective when averaging over the level and leads to improvements in equidistribution results involving quadratic polynomials. In particular, we show that the largest prime divisor of $n^2 + h$ is infinitely often larger than $n^{1.312}$, recovering earlier results that had relied on the Selberg eigenvalue conjecture. Furthermore, we obtain, for the first time in this setting, strong uniformity in the parameter $h$.
Parameters in mathematical models are often impossible to determine fully or accurately, and are hence subject to uncertainty. By modelling the input parameters as stochastic processes, it is possible to quantify the uncertainty in the model outputs.
In this talk, we employ the multilevel Monte Carlo (MLMC) method to compute expected values of quantities of interest related to partial differential equations with random coefficients. We make use of the circulant embedding method for sampling from the coefficient, and to further improve the computational complexity of the MLMC estimator, we devise and implement the smoothing technique integrated into the circulant embedding method. This allows to choose the coarsest mesh on the first level of MLMC independently of the correlation length of the covariance function of the random field, leading to considerable savings in computational cost.
Please note; this talk is hosted by Rutherford Appleton Laboratory, Harwell Campus, Didcot, OX11 0QX
Sard’s theorem asserts that the set of critical values of a smooth map from one Euclidean space to another one has measure zero. A version of this result for infinite-dimensional Banach manifolds was proven by Smale for maps with Fredholm differential. However, when the domain is infinite dimensional and the range is finite dimensional, the result is not true – even under the assumption that the map is “polynomial” – and a general theory is still lacking. In this seminar, I will provide sharp quantitative criteria for the validity of Sard’s theorem in this setting, obtained combining a functional analysis approach with new tools in semialgebraic geometry. As an application, I will present new results on the Sard conjecture in sub-Riemannian geometry. Based on a joint work with A. Lerario and L. Rizzi.
A beautiful example of a nonlinear eigenvalue problem is the determination of complex eigenvalues for wave scattering. This talk will show how nicely this can be done by applying AAA rational approximation to a scalarized resolvent sampled at a few real frequencies. Even for a domain as elementary as a circle with a gap in it, such computations do not seem to have been done before. This is joint work with Oscar Bruno and Manuel Santana at Caltech.
Short Bio
Alex Cayco Gajic is a Junior Professor in the Department of Cognitive Studies at ENS, with a background in applied mathematics and a PhD from the University of Washington. Her research bridges computational modelling and data analysis to study cerebellar function, exploring its roles beyond motor control in collaboration with experimental neuroscientists.
A fundamental question in neuroscience is to understand how information is represented in the activity of tens of thousands of neurons in the brain. Towards this end, low-rank matrix and tensor decompositions are commonly used to identify correlates of behavior in high-dimensional neural data. In this talk I will first present a novel tensor decomposition based on the slice rank which is able to disentangle mixed modes of covarying patterns in data tensors. Second, to compliment this statistical approach, I will present our recent dynamical systems modelling of neural activity over learning. Rather than factorizing data tensors themselves, we instead fit a dynamical system to the data, while constraining the tensor of parameters to be low rank. Together these projects highlight how applications in neural data can inspire new classes of low-rank models.
We shall explain how to represent a couple of basic notions in model theory by standard simplicial diagrams from homotopy theory. Namely, we shall see that the notions of a {definable/invariant type}, {convergence}, and {contractibility} are defined by the same simplicial formula, and so are that of a {complete E-M type} and an {idempotent of an oo-category}. The first reformulation makes precise Hrushovski's point of view that a definable/invariant type is an operation on types rather than a property of a type depending on the choice of a model, and suggests a notion of a type over a {space} of parameters. The second involves the nerve of the category with a single idempotent non-identity morphism, and leads to a reformulation of {non-dividing} somewhat similar to that of lifting idempotents in an oo-category. If time permits, I shall also present simplicial reformulations of distality, NIP, and simplicity.
We do so by associating with a theory the simplicial set of its n-types, n>0. This simplicial set, or rather its symmetrisation, appeared earlier in model theory under the names of {type structure} (M.Morley. Applications of topology to Lw1w. 1974), {type category} (R.Knight, Topological Spaces and Scattered Theories. 2007), {type space functors} (Haykazyan. Spaces of Types in Positive Model Theory. 2019; M.Kamsma. Type space functors and interpretations in positive logic. 2022).
There is a well-known class of knots, called torus knots, which are those that can be drawn on a "standardly embedded" torus (one that separates the 3-sphere into two solid tori). A fairly natural property of other knots to consider is the genus necessary for that knot to be drawn on a standardly embedded genus g surface. This knot invariant has been studied under the name "embeddability". The goal of this talk is to introduce the invariant, look at some upper and lower bounds in terms of other invariants, and examine its behavior under connected sum.