Pure Mathematics Seminars

Friday 2nd March 2018  NewtonOkounkov bodies and toric degenerations of Mori dream spaces
Speaker: Dr Elisa Postinghel (University of Loughborough)
16:00 Room MATH104
Abstract: Building on work of Okounkov from the 1990s, in 2008 Kaveh and Khovanskii, Lazarsfeld and Mustata showed how to associate to an ndimensional algebraic variety X and a line bundle a convex body in ndimensional Euclidean space, the NewtonOkounkov body. In the first part of this talk we will revise construction and main properties of these bodies. In the second part of the talk we will see that for Mori dream spaces, NewtonOkounkov bodies are particularly nice and give rise to toric degenerations. This is joint work with Stefano Urbinati.

Thursday 1st March 2018  Homogeneous dynamics and Sarithmetic quantitative Oppenheim conjecture
Speaker: Keivan MallahiKarai (Jacobs University)
13:00 Room MATH514
Abstract: Let $q$ be a nondegenerate indefinite quadratic form in $n>2$ variables over $ \mathbb{R}$, which is not a multiple of a rational form. Answering a longstanding question of Oppenheim, Margulis proved in 1986 that the set of values $q( \mathbb{Z}^n)$ is a dense subset of $ \mathbb{R}$. Quantifying this result, Eskin, Margulis, and Mozes obtained the asymptotic behavior of the number of integral vectors $v$ of norm at most $T$ satisfying $q(v) \in (a,b)$. Both works are dynamical in nature, and rely heavily on features of the unipotent flow dynamics on homogenous spaces.
In this talk, I will elaborate on this history and then discuss a recent generalisation of the theorem of Eskin, Margulis, and Mozes, in which instead of one real quadratic form, a finite number of quadratic forms over different completions of the set of rational numbers (real and $p$adic) is considered. This talk is based on a joint work with Seonhee Lim and Jiyoung Han.

Friday 23rd February 2018  Affine quadrics and the Picard group of the motivic category
Speaker: Dr Alexander Vishik (University of Nottingham)
17:00 Room MATH104
Abstract: Affine quadrics can be considered as a nonsplit algebrogeometric spheres. Over algebraic closure these consist of just two cells. And, as was shown by Bachmann, their reduced motives are invertible. It appears that these motives behave better than that of projective quadrics. In particular, the motive of affine quadrics {q=1} determines the respective quadratic form. This gives an embedding of the GrothendieckWitt group GW(k) of quadratic forms over k (or, which is the same, the (0)[0]stable homotopy group of spheres) into the Picard group Pic(DM(k,Z/2)) of the Voevodsky's motivic category. In topology, the respective map is an isomorphism. In algebraic geometry, it is no longer the case. In my talk I will describe the subgroup of the Pic generated by the image. Quite unexpectedly, all the relations are described in terms of indecomposable direct summands in the motives of projective quadrics (so, in terms of some Chowmotivic information).

Friday 16th February 2018  Cubic surfaces over finite fields
Speaker: Dr Daniel Loughran (University of Manchester)
17:00 Room MATH104
Abstract: Serre has asked what are the possibilities for the number of rational points on cubic surfaces over finite fields. In this talk we give a complete solution to this problem, building on special cases treated by SwinnertonDyer. This is joint work with Barinder Banwait and Francesc Fité.

Thursday 15th February 2018  Cutting sequences on Veech surfaces
Speaker: Irene Pasquinelli (University of Durham)
13:00 Room MATH514
Abstract: Consider the dynamical system given by the geodesic flow on a flat surface. Given a polygonal representation for a surface, one can code the trajectory using the sides of the polygons and thus obtain a cutting sequence. A natural question to ask then, is whether any sequence one picks can come from a certain trajectory. In other words, can we characterise the set of cutting sequences in the set of all sequences in the alphabet? And when the answer is yes, can we recover the direction of the trajectory? In this talk we will give an overview of the cases where these questions have been answered.

Wednesday 14th February 2018  DeligneMostow lattices and cone metrics on the sphere
Speaker: Irene Pasquinelli (University of Durham)
16:00 Room MATH104
Abstract: Finding lattices in PU(n,1) has been one of the major challenges of the last decades. One way of constructing a lattice is to give a fundamental domain for its action on the complex hyperbolic space. One approach, successful for some lattices, consists of seeing the complex hyperbolic space as the configuration space of cone metrics on the sphere and of studying the action of some maps exchanging the cone points with same cone angle. In this talk we will see how this construction can be used to build fundamental polyhedra for all DeligneMostow lattices in PU(2,1).

Friday 9th February 2018  Geometrically finite Kleinian groups and dimension
Speaker: Jonathan Fraser (University of St. Andrews)
11:00 Room MATH104
Abstract: Kleinian groups act discretely on hyperbolic space and give rise to beautiful and intricate mathematical objects, such as tilings and fractal limit sets. The dimension theory of these limit sets has a particularly interesting history, the first calculation of the Hausdorff dimension going back to seminal work of Patterson from the 1970s. In the geometrically finite case, the Hausdorff, boxcounting, and packing dimensions are all given by the Poincare exponent. I will discuss recent work on the Assouad dimension, which is not necessarily given by the Poincare exponent in the presence of parabolic points.

Thursday 8th February 2018  Automorphisms of pointless surfaces
Speaker: Costya Shramov (High School of Economics and Steklov Institute, Moscow)
17:00 Room MATH103
Abstract: I will speak about finite groups acting by birational automorphisms of surfaces over algebraically nonclosed fields, mostly function fields. One of important observations here is that a smooth geometrically rational surface S is either birational to a product of a projective line and a conic (in particular, S is rational provided that it has a point), or finite subgroups of its birational automorphism group are bounded. We will also discuss some particular types of surfaces with interesting automorphism groups, including SeveriBrauer surfaces.

Monday 5th February 2018  Tilting relative generators for birational morphisms
Speaker: Dr Agnieszka Bodzenta (Warsaw)
16:00 Room MATH104
Abstract: For a birational morphism of smooth varieties f: X \to Y with the dimension of fibers bounded by one, the derived category of X admits a relative tilting object over Y. It is a direct sum of copies of the canonical line bundle restricted to relative canonical divisors of partial contractions g:X \to Z. It endows the derived category of X with a tstructure related to the map f. I will show that Y is the fine moduli space of simple quotients of O_X in the heart of this tstructure. I will also prove that the tstructures for f and any partial contraction g are related by two tilts in torsion pairs. This is a joint work with A. Bondal.

Thursday 1st February 2018  On compactifications of strata of abelian differentials
Speaker: Quentin Gendron (MPI Bonn)
16:00 Room MATH104
Abstract: Gendron_Abstract Besides Algebraic Geometry, the work that Quentin is going to discuss is motivated by Teichmuller dynamics on flat surfaces.

Monday 29th January 2018  Geometric realizations of quiver mutations
14:00 Venue: TBC
Speaker: Dr. Anna Felikson (University of Durham)
Abstract: A quiver is a weighted oriented graph, a mutation of a quiver is a simple combinatorial transformation arising in the theory of cluster algebras. In this talk we connect mutations of quivers to reflection groups acting on linear spaces and to groups generated by point symmetries in the hyperbolic plane. We show that any mutation class of rank 3 quivers admits a geometric presentation via such a group and that the properties of this presentation are controlled by the Markov number p^2+q^2+r^2pqr, where p,q,r are the weights of the arrows in the quiver. This is a joint work with Pavel Tumarkin.

Thursday 14th December 2017  Slow escaping points for quasimeromorphic mappings
Speaker: Luke Warren (University of Nottingham)
11:00 Room TP117
Abstract: For a transcendental meromorphic function f, the escaping set is given by I(f) = {x in C : f^n(x) is defined for all n, f^n(x) tends to infinity as n tends to infinity}.
It has been shown by Rippon and Stallard that for such f, there exists a point in J(f) that escapes arbitrarily slowly. More recently, a result by Nicks states that the slow escaping result also holds for quasiregular mappings of transcendental type, which are higher dimensional analogues of analytic mappings with an essential singularity at infinity.
Following a similar method of Nicks, combined with some ideas on the escaping set of quasimeromorphic mappings with an infinite number of poles, we shall extend this result and show that there exists a point that escapes arbitrarily slowly for quasimeromorphic mappings with an essential singularity at infinity. This will include the proof of a new growth result for quasiregular mappings near an essential singularity.

Thursday 7th December 2017  Hausdorff dimension of the boundary of Siegel disks
Speaker: Alexandre de Zotti (Imperial College, London)
11:00 Room TP117
Abstract: In this work I will present my work in progress with Davoud Cheraghi towards a proof of the existence of Siegel disks of quadratic polynomials with a boundary of Hausdorff dimension two.

Thursday 30th November 2017  Cohomological Rigidity and the AnosovKatok construction
Speaker: Nikos Karaliolios (Imperial College, London)
11:00 Room TP117
Abstract: Let f be a smooth volume preserving diffeomorphism of a compact manifold and \phi a known smooth function of zero integral with respect to the volume. The linear cohomological equation over f is \psi \circ f  \psi = \phi where the solution \psi is required to be smooth. Diffeomorphisms f for which a smooth solution \psi exists for every such smooth function \phi are called Cohomologically Rigid. Herman and Katok have conjectured that the only such examples up to conjugation are Diophantine rotations in tori.
We study the relation between the solvability of this equation and the fast approximation method of AnosovKatok and prove that fast approximation cannot construct counterexamples to the conjecture

Monday 29th November 2017  LMS Singularity Day (dedicated to the memory of RagnarOlaf Buchweitz)
Venue: MATH106
13.30  14.30 Eleonore Faber (University of Leeds)
Noncommutative desingularizations of discriminants of reflection groupsAbstract: This is joint work with RagnarOlaf Buchweitz and Colin Ingalls. Let $G$ be a finite subgroup of $GL(n,K)$ for a field $K$ whose characteristic does not divide the order of $G$. The group $G$ acts linearly on the polynomial ring $S$ in $n$ variables over $K$. When $G$ is generated by reflections, then the discriminant $D$ of the group action of $G$ on $S$ is a hypersurface with a singular locus of codimension 1, in particular, $D$ is a socalled free divisor. In this talk we give a natural construction of a noncommutative resolution of singularities of the coordinate ring of $D$ as a quotient of the skew group ring $A=S*G$. We will explain this construction, which gives a new view on Knörrer's periodicity theorem for matrix factorizations and allows to extend Auslander's theorem about the algebraic version of the McKay correspondence to reflection groups.
14.30  15.30 Alexandr Buryak (University of Leeds)
Extended rspin theory and the deformed superpotential of the AsingularityAbstract: It is wellknown that the parameter space of the miniversal deformation of the Asingularity carries a Frobenius manifold structure. The potential of this Frobenius manifold can be described as the generating series of certain integrals over the moduli space of rspin curves. This is the simplest case of the LandauGinzburg mirror symmetry. I will show that the deformed superpotential of the Asingularity also has a geometric interpretation in terms of a certain extension of the rspin theory. The talk is partially based on a joint work with E. Clader and R. J. Tessler.
15.30  16.00 Tea/coffee/biscuits, room 304
16.00  17.00
Firuza Mamedova (Hanover)
Equivariant indices of 1forms on varietiesAbstract: For a $G$invariant holomorphic 1form with an isolated singular point on a germ of a complexanalytic $G$variety with an isolated singular point ($G$ is a finite group) one has notions of the equivariant homological index and of the (reduced) equivariant radial index as elements of the ring of complex representations of the group. During my talk I will show that on a germ of a smooth complexanalytic $G$variety these indices coincide. This permits to consider the difference between them as a version of the equivariant Milnor number of a germ of a $G$variety with an isolated singular point. The talk is based on a joint work (arXiv:1701.01827) with Sabir M. GuseinZade.

Monday 27th November 2017  Uniformization of metric surfaces
Speaker: Kai Rajala (University of Jyväskylä)
11:00 Room TP117
Abstract: We discuss extensions of the classical uniformization theorem to metric spaces that are topological surfaces and have locally finite twodimensional Hausdorff measure.

Thursday 23rd November 2017  Some properties of Falconer’s formula for the Hausdorff dimension of selfaffine fractals
Speaker: Ian Morris (University of Surrey)
11:00 Room TP117
Abstract: The dimension theory of selfsimilar sets (under suitable separation conditions) has been wellunderstood since the 1980s, when J.E. Hutchinson gave a simple formula for the Hausdorff and box dimensions in terms of the contraction ratios of the similarity transformations. The dimension theory of selfaffine sets is much less wellunderstood and remains an active topic of research. In 1988 Falconer devised a more subtle pressure formula which provides the value of the Hausdorff dimension of a selfaffine set in generic cases. I will describe some recent research on Falconer's dimension formula and its implications for the dimension theory of selfaffine sets.

Monday 20th November 2017  NewtonOkounkov bodies and toric degenerations of Mori dream spaces
Speaker: Elisa Postinghel (Loughborough University)
17:0018:00 Room MATH104
Abstract: Building on work of Okounkov from the 1990s, in 2008 Kaveh and Khovanskii, Lazarsfeld and Mustata showed how to associate to an ndimensional algebraic variety X and a line bundle a convex body in ndimensional Euclidean space, the NewtonOkounkov body. In the first part of this talk we will revise construction and main properties of these bodies.
In the second part of the talk we will see that for Mori dream spaces, NewtonOkounkov bodies are particularly nice and give rise to toric degenerations (using Anderson's construction). This is joint work with Stefano Urbinati.

Friday 17th November 2017  Classification of Picard lattices of K3 surfaces
Speaker: Viacheslav V. Nikulin (Steklov Mathematical Institute, Moscow and University of Liverpool)
17:0018:00 Room MATH104
Abstract: Using our recent results about classification of degenerations of Kahlerian K3 surfaces with finite symplectic automorphism groups, we classify Picard lattices of Kahlerian K3 surfaces. By classification, we understand classification depending on their possible finite symplectic automorphism groups and their nonsingular rational curves if a Picard lattice is negative definite.

Thursday 16th November 2017  A landing theorem for entire functions with bounded postsingular sets
Speaker: Professor Lasse RempeGillen (University of Liverpool)
11:00 Room MATH117
Abstract: Let f be a polynomial in one complex variable, of degree 2. Assume that all critical points of f have bounded orbits under iteration of f. Then the Julia set of f is connected, and its unbounded connected component (the basin of infinity) is stratified by socalled “external rays” to infinity, which are the gradient lines for the Green’s function. These rays have played a crucial role in the study of polynomial dynamics for more than three decades, including in celebrated results of Yoccoz, McMullen and Lyubich.
A theorem of Douady states that every repelling periodic point of f is the landing point of a periodic external ray. This theorem has been the cornerstone of the abovementioned breakthroughs in polynomial dynamics. We establish an analogous result for transcendental entire functions.
Of course, here the Julia set is unbounded, and there is no longer a basin of infinity. It was proposed already thirty years ago that certain curves, called “hairs”, on which the iterates tend to infinity can play the same roles as external rays in this setting. However, we now know that there are entire functions for which there are no such hairs at all. Instead, we use a notion of “dreadlocks” – certain unbounded connected sets – to prove the following result:
Suppose that f is a transcendental entire function, and assume that all singular values of f have bounded orbits under the iteration of f. Then every repelling periodic point of f is the landing point of a periodic dreadlock.
My goal in this talk is to give only a short introduction to make sense of the results, and then explain a crucial element of the proof of the theorem. (Joint work with Anna Benini).

Friday 10th November 2017  Specialization of (stable) rationality
Speaker: Evgeny Shinder (Sheffield)
17:0018:00 Room MATH104
Abstract: The specialization question for rationality is the following one: assume that very general fibers of a flat proper morphism are rational, does it imply that all fibers are rational? I will talk about recent solution of this question in characteristic zero due to myself and Nicaise, and KontsevichTschinkel. The method relies on a construction of various specialization morphisms for the Grothendieck ring of varieties (stable rationality) and the Burnside ring of varieties (rationality).

Thursday 2nd November 2017  Counting the number of trigonal curves of genus five over finite fields
Speaker: Thomas Wennink (University of Liverpool)
16:0017:00 Room MATH104
Abstract: The trigonal curves of genus five form a closed subscheme of M_5, the moduli space of smooth curves of genus five. The Hodge Euler characteristic of these spaces can be found by counting the number of points they have over finite fields. To count trigonal curves of genus 5 we use the fact that they correspond to projective plane quintics that have precisely one singularity, which is of deltainvariant one. In my master thesis https://arxiv.org/abs/1701.00375 I counted these projective plane quintics over finite fields using a partial sieve method.

Tuesday 31st October 2017  Moduli space of curves, tautological relations and integrable systems
Speaker: Paolo Rossi
17:0018:00 Room MATH106
Abstract: In the study of the topology of moduli space of stable curves and its tautological ring, a surprising feature is the appearence of integrable systems of PDEs (typically in terms of generating functions of intersection numbers of various types of cohomology classes). Beside being a remarkable bridge towards mathematical physics, this fact brings new powerful techniques to the field. In a recent series of papers with A. Buryak, B. Dubrovin and J. Guéré, we construct an integrable system from any given cohomological field theory using various tautological classes (including the double ramification cycle) and we compare it with the more classical DubrovinZhang integrable hierarchy. This comparison suggests a new, large family of conjectural tautological relations in all genera and number of marked points. I will report on our progress in proving them and on their applications.

Thursday 26th October 2017  There are no Diophantine Quintuples
Speaker: Prof. Volker Ziegler (Salzburg University)
15:0016:00 Room MATH104
Abstract: An mtuple of distinct positive integers (a_1,...,a_m) is called a Diophantine mtuple if a_ia_j+1 is a perfect square for all i not equal to j. It was a long outstanding question whether a Diophantine quintuple exists. In a recent paper joint with Bo He and Alain Togbè we recently proved that none exists. After a short introduction to the problem we present the new ideas that led to the proof of the socalled Diophantine quintuple conjecture.

Thursday 26th October 2017  On recurrence statistics and Poisson laws for dynamical systems
Speaker: Mark Holland (Exeter University)
11:0012:00 Room MATH117
Abstract: For a time series of observations (X_n) generated by a measure preserving dynamical system, we consider the maxima process M_n=Max(X_1,...X_n), and examine the probabilistic limit laws that can arise for M_n under suitable time normalization. We consider the implication these laws have on the recurrence statistics for the dynamical system, such as: extreme and record statistics, Poisson laws, and Borel Cantelli results.

Thursday 19th October 2017  Waldhausen Ring Spectra of Varieties
Speaker: Dr Anwar Alameddin (University of Edinburgh)
16:0017:00 Room MATH104
Abstract: The Grothendieck ring of varieties encodes essential information about the varieties, including their stable birational classes, ℓadic characteristic, Hodge characteristic, etc. In this talk, I will explain how some EulerPoincaré characteristics arise through Waldhausen Ktheories. More specifically, I will show that a cosheaf with respect to the Grothendieck topology generated by abstract blowups, with values in a Waldhausen category, admits a compactly supported extension. Then, I will explain how the (modified) Grothendieck ring of varieties extends to the ring spectra of some monoidal Waldhausen categories, generated by the homotopy category of varieties with respect to universal homeomorphisms.

Thursday 12th October 2017  The derived period map
Speaker: Julien Holstein (University of Lancaster)
16:0017:00 Room MATH104
Abstract: Griffiths’ period map expresses how the Hodge filtration on cohomology varies in a family of smooth projective varieties. Thus one can linearize moduli problems of varieties and study them using the moduli of Hodge structure. In this talk I will describe how to extend the period map to the realm of derived geometry and construct a period map for a smooth projective map of derived stacks. This generalises both Griffiths classical period map and the infinitesimal derived period map that was introduced by Fiorenza and Manetti. This is joint work with Carmelo Di Natale.
No knowledge of derived algebraic geometry will be assumed. 
Wednesday 4th October 2017  An approach to the motivic version of the BPQ theorem
Speaker: Dr Joe Palacios Baldeon (IMCA, Lima, Peru)
17:0018:00 Room MATH103
Abstract: We follow Schlichtkrull's approach to deal with the motivic version of the BPQ theorem. One difficulty that arises in this context is the motivic version of Freudenthal suspension theorem, as it does not follow straightforwardly from the topological setup.

Tuesday 3rd October 2017  An introduction to A1homotopy theory of schemes
Speaker: Dr Joe Palacios Baldeon (IMCA, Lima, Peru)
17:0018:00 Room MATH103
Abstract: This lecture will be a brief overview on the basics of the A1homotopy theory of schemes, needed to understand a possible approach to the motivic version of BPQ, to be delivered in the third lecture. We will highlight what is the homotopy theory of schemes, how to contract the affine line to a point, and what exactly the word "motivic" means.
Reference: F. Morel and V. Voevodsky. A1homotopy theory of schemes. Inst. Hautes Etudes Sci. Publ. Math. (1999).

Monday 2nd October 2017  The BarrattPriddyQuillen (BPQ) theorem in topology
Speaker: Dr Joe Palacios Baldeon (IMCA, Lima, Peru)
17:0018:00 Room MATH103
Abstract: The BPQ theorem says that the stable homotopy groups of spheres can be expressed in terms of the classifying space of the infinite symmetric group. We will explain the Schlichtkrull's approach to the BPQtheorem which involves the group completion of homotopy infinite symmetric powers of pointed CWcomplexes.
Reference: C. Schlichtkrull. The homotopy infinite symmetric product represents stable homotopy. Algebr. Geom. Topol. (2007). 
Friday 29th September 2017  Automorphisms of certain affine complements in the projective space
Speaker: Professor Aleksandr Pukhlikov
16:0017:00 Room MATH104
Abstract: We prove that every biregular automorphism of the complement in the $M$dimensional projective space ($M\geqslant 3$) of a hypersurface $S$ of degree $m\geqslant M+1$ with a unique singular point of multiplicity $(m1)$, resolved by one blow up, is a restriction of some automorphism of the projective space, preserving the hypersurface $S$; in particular, for a general such hypersurface $S$ the group of automorphisms of its complement is trivial.

Friday 30th June 2017  Transpennine Topology Triangle
11:30  16:30 MATH104
12:00  Jon Woolf (Liverpool)
Title: Stratified Homotopy Theory
Abstract: Stratified spaces arise in many contexts within topology, geometry, and algebra. By fixing suitable stratifications of geometric simplices one can construct stratified versions of geometric realisation and of the total singular complex functor, giving an adjunction between simplicial sets and stratified spaces. The Joyal model structure on simplicial sets can be cofibrantly transferred acrss this to obtain a model structure on the category of stratified spaces. The cofibrantfibrant spaces and weak equivalences in this model structure are closely related to `classical' notions in the theory of stratified spaces, however one also gains new insights, in particular a new notion of stratified fibration which has better properties than previous ones. This is joint work with Stephen NandLal.
14:00  Stephen NandLal (Liverpool)
Title: Notions of `Basepoint' for a Stratified Space
Abstract: There are a number of potential approaches to basing a stratified space. In this talk I will explain why some plausible approaches are unsatisfactory, and introduce the notion of basing for a stratified space which we believe to be correct. As evidence for this, there is an adjunction between stratified suspension and loop space functors, which allows us to construct, for suitably nice stratified spaces, an $\mathbb{N}$indexed family of categories that behave analogously to the homotopy groups of a connected space. This is joint work with Jon Woolf.
14:30  Alessio Cipriani (Liverpool)
Title: Perverse Sheaves as Modules
Abstract: I will introduce the abelian category of perverse sheaves on a topologically stratified space together with some important properties and examples. I will then explain the construction of the projective cover of a simple perverse sheaf under the assumption that all strata have finite fundamental group. This is the key ingredient needed to show that the cateory of perverse sheaves is equivalent to the category of finitedimensional modules over a finitedimensional algebra if, and only if, all strata have finite fundamental group.
15:30  Thomas Eckl (Liverpool)
Title: Topological classification of isolated holomorphic foliation singularities
Abstract: Isolated singularities of holomorphic foliations can be topologically described by intersecting the leaves of the foliation with (small) spheres centered in the singularities. This works particularly well for holomorphic foliation singularities of Poincare type, but is also useful for other types. After discussing results along these lines we give a complete classification of isolated singularities of plane holomorphic foliations in the Poincare domain and present partial results and conjectures in higher dimensions.

Thursday 15th June 2017  Computer Assisted and Experimental Mathematics: Case for Automated Reasoning
Speaker: Dr Alexei Lisitsa (Computer Sciences)
2:00PM MATH105
Abstract: Computers have been used in Mathematics for decades. Recent years have witnessed rise of mathematical applications of nonnumerical symbolic computations and automated and interactive reasoning. While interactive reasoning using proof assistants appears as a main vehicle in formalization and validation of existing mathematical knowledge (cf. recent efforts on formalization of proofs of Kepler conjecture and 4Colorability Theorem), automated reasoning finds new applications in proving new results.
After short overview of recent trends in computer assisted mathematics, I will focus on two applications of automated reasoning to tackle open problems.
First application is a major progress in the Erdos Discrepancy Problem (EDP), obtained by encoding the problem into Boolean satisfiability and applying the state of art SAT (satisfiability) solver (joint work with Boris Konev, 20132015). The work attracted wide publicity, in particular due to enormous size of the generated proof of the C=2 case of the EDP, and caused discussions of the very nature of computer assisted mathematical proofs.
Second application is ongoing investigation in the AndrewsCurtis conjecture, a problem in combinatorial group theory open since 1965, where automated theorem proving appears as the most powerful method for the experimental exploration of the conjecture. 
Tuesday 30th May 2017  Igusa quartic and WimanEdge sextics
Speaker: Ivan Cheltsov (University of Edinburgh)
5:00PM MATHG16
Abstract: The automorphism group of Igusa quartic is the symmetric group of degree 6. There are other quartic threefolds that admit a faithful action of this group. One of them is the famous Burkhardt quartic threefold. Together they form a pencil that contains all $\mathfrak{S}_6$symmetric quartic threefolds.
Arnaud Beauville proved that all but four of them are irrational, while Burkhardt and Igusa quartic are known to be rational. Cheltsov and Shramov proved that the remaining two threefolds in this pencil are also rational. In this talk, I will give an alternative proof of both these (irrationality and rationality) results.
To do this, I will describe Qfactorizations of the double cover of the fourdimensional projective space branched over the Igusa quartic, which is known as Coble fourfold. Using this, I will show that $\mathfrak{S}_6$symmetric quartic threefolds are birational to conic bundles over quintic del Pezzo surfaces whose degeneration curves are contained in the pencil studied by Wiman and Edge. This is a joint work with Sasha Kuznetsov and Costya Shramov from Moscow..

Friday 19th May 2017  Epolynomials of character varieties and applications
Speaker: Marina Logares (University of Plymouth)
4:00PM MATH103
Abstract: Character varieties have been studied largely by means of their correspondence to the moduli space of Higgs bundles. In this talk we will report on a method to study their Hodge structure, in particular to compute their E polynomials. Moreover, we will explain an application of the given method such as, the study of the topology of the moduli space of doubly periodic instantons. This is based on joint work with V. Muñoz and P. Newstead.

Friday 12th May 2017  Lyapunov spectrum of Markov tree
Speaker: Prof. Alexander Veselov (Loughborough University)
1:00PM MATHG16
Abstract: Markov triples are the integer solutions of the Markov equation $$x^2+y^2+z^2=3xyz.$$
They surprisingly appeared in many areas of mathematics initially in classical number theory, but more recently in hyperbolic and algebraic geometry, the theory of Teichmueller spaces, Frobenius manifolds and Painleve equations.
Markov numbers can be naturally represented using planar binary tree, so their growth depends on the paths on such tree, which can be labelled by the points of real projective line.
I will discuss some recent results about the corresponding Lyapunov exponents found jointly with K. Spalding.

Thursday 11th May 2017  Kähler packings and Seshadri constants II
Speaker: Thomas Eckl (University of Liverpool)
4:00PM MATH103
Abstract: I will discuss packing problems of complex manifolds with a given finite number of balls with equal radius relying on Riemannian metrics, symplectic forms and Kähler metrics in the most basic case.

Thursday 4th May 2017  Kähler packings and Seshadri constants I
Speaker: Thomas Eckl (University of Liverpool)
4:00PM MATH103
Abstract: I will discuss packing problems of complex manifolds with a given finite number of balls with equal radius relying on Riemannian metrics, symplectic forms and Kähler metrics in the most basic case.

Tuesday 25th April 2017  Divisor theory on tropical and log smooth curves
Speaker: Mattia Talpo (Simon Fraser University  Vancouver)
4:00PM MATH104
Abstract: Tropical geometry is a relatively new branch of algebraic geometry, that aims to prove facts about algebraic varieties by studying their "tropicalizations", which are piecewise linear objects, amenable to combinatorial study. A prominent topic in recent research in the area, that is leading to new insights about "classical" open questions, is a theory of divisors on tropical curves. In this talk I will survey some of the related ideas, and explain how they are connected to line bundles on log smooth curves (joint work with Foster, Ranganathan and Ulirsch).

Thursday 23rd March 2017  Examples of latticepolarized K3 surfaces with automorphic discriminant, and Lorentzian KacMoody algebras
Speaker: Viacheslav V. Nikulin (University of Liverpool and Steklov Mathematical Institute, Moscow)
Venue: 5:00PM MATH103
Abstract: Using our results about Lorentzian KacMoody algebras and arithmetic mirror symmetry, we give examples of latticepolarized K3 surfaces with automorphic discriminant. See arXiv:1702.07551 for some details. These are joint results with Valery Gritsenko.

Thursday 16th March 2017  The $4n^2$inequality for complete intersection singularities
Speaker: Aleksandr Pukhlikov (University of Liverpool)
5:00PM MATH103
Abstract: The famous $4n^2$inequality is extended to generic complete intersection singularities: it is shown that the multiplicity of the selfintersection of a mobile linear system with a maximal singularity is greater than $4n^2\mu$, where $\mu$ is the multiplicity of the singular point.

Thursday 16th February 2017  The space of rational curves and Manin’s conjecture
Speaker: Sho Tanimoto (University of Copenhagen)
5:00PM MATH103
Abstract: Recently there are many progresses regarding exceptional sets of rational points in Manin’s conjecture by Hacon, Jiang, Lehmann, Tanimoto, Tschinkel. We found that the study of rational points has applications in the study of rational curves, e.g., the dimension of the space of rational curves, and the behavior of the space of rational curves can be summarized as a version of Manin’s conjecture for rational curves. In this talk, I will talk about these developments. This is joint work with Brian Lehmann.

Thursday 3rd February 2017  GLEN meeting 2017
Venue: HeleShaw lecture theatre, Walker Building, School of Engineering
1:00PM Roberto Fringuelli, University of Edinburgh  The Picard group of the universal moduli space of vector bundles on stable curves.
In this talk, we present the moduli stack of properly balanced vector bundles on semistable curves and we determine explicitly its Picard group. As a consequence, we obtain an explicit description of the Picard groups of the universal moduli stack of vector bundles on smooth curves and of the Schmitt's compactification over the stack of stable curves. We show some results about the gerbe structure of the universal moduli stack over its rigidification by the natural action of the multiplicative group. In particular, we give necessary and sufficient conditions for the existence of a universal family of an open substack of the rigidification. In the remaining time, we discuss some consequences for the associated moduli varieties.
2:15PM Liana Heuberger, Imperial College London  Fano varieties, general elephants and classification.
We start by giving a short overview on the classification of Fano varieties. The smooth case is known up to dimension three, and we discuss the role that the general elephant, i.e. a general divisor D in K_X, plays in this classification. We state the problem and current advances in dimension four. We then investigate what happens if we allow the Fano variety to have mild singularities and why this makes sense in the bigger picture of classification of algebraic varieties.
4:00PM Jeffrey Giansiracusa, University of Swansea  Tropical geometry and algebra over idempotent semirings.
Tropical geometry is a tool that can reduce problems in algebraic geometry to piecewise polyhedral geometry and combinatorics, but it is also a new world of geometry in its own right. In this talk I will introduce the emerging picture of this kind of geometry as parallel to Grothendieck's vision of algebraic geometry. Here rings are replaced by idempotent semirings, and the role of linear algebra in classical commutative algebra is replaced by the combinatorics of matroids.

Thursday January 19th 2016  Expanding Thurston Maps
Speaker: Dr Daniel Meyer
Venue: Room MATH211 1:00PM
Abstract: In this talk I will give an overview of my (recent and not so recent) work, done jointly with Mario Bonk. An ``expanding Thurston map'' is a postcritically finite branched covering map of the 2sphere that is expanding in a suitable sense. We study these maps with methods from geometric group theory. A major motivation comes from ``Cannon's conjecture''. This wellknown conjecture stipulates that a group that ``behaves topologically'' as a Kleinian group ``is'' a Kleinian group. This conjecture corresponds to Thurston's characterization of rational maps among Thurston maps. Closely related is the problem when a metric sphere is quasisymmetrically equivalent to the standard unit sphere, i.e., a ``quasisphere''. We define ``visual metrics'' for an expanding Thurston map f. The geometry of the sphere S^2 equipped with such a metric d encodes properties of f. For example, (S^2,d) is a quasisphere if and only if f is topologically conjugate to a rational map.

Thursday December 15th 2016  Singularity Day 2016
1:30PM  5:00PM Room G16 (MAGIC)
Nicola Pagani (University of Liverpool)  Wallcrossing on compactified universal Jacobians
The last 20 years have seen huge develpoments in the enumerative geometry of the moduli spaces of stable curves. In this talk, we will discuss the beginning of a similar programme for the universal Jacobian parameterizing line bundles on stable curves. The universal Jacobian admits many natural compactifications, each of which should play an important role in the enumerative geometry, thus giving rise to interesting wallcrossing phenomena. We will discuss our first results in this research programme and their application. We have an explicit picture of the combinatorics of the stability space and of the walls that govern all different compactifications, and we understand how the wallcrossing works for codimension1 cycles. This is research in progress with Jesse Kass (South Carolina).
James Montaldi (University of Manchester)  An application of the versal deformation of the '3 lines singularity' to classical mechanics
The famous problem of the rotating free rigid body allows for a reduction to Euler's equations, a dynamical system in R^3. The set of equilibria of this equation form the three coordinate axes in R^3, which is a determinantal singularity (and not a complete intersection). There are interesting perturbations of this system (corresponding to the addition of gyroscopic terms) and the resulting deformation is also determinantal. We describe this (wellknown) deformation and its consequence for the dynamics, and then proceed to discuss the stability of these perturbed equilibria, which becomes a problem in deforming the critical points of a function on a singular variety.
Reference: Bifurcations of relative equilibria near zero momentum in Hamiltonian systems with spherical symmetry. (2014) http://dx.doi.org/10.3934/jgm.2014.6.237
Oleg Karpenkov (University of Liverpool)  Configuration spaces of tensegrities
In this talk we consider a natural stratification of the configuration space of tensegrities. We discuss several results about the structure of the configuration space of (mostly twodimensional) tensegrities with a small number of points. In particular we briefly describe the technique of surgeries that is used to find geometric conditions for tensegrities. We conclude the talk with several open problems related to the stratification of the space of tensegrities.

Tuesday 6th December 2016  Transversality
Speaker: Adam Epstein (University of Warwick)
3:00PM MAGIC Room G16
Abstract: Thurston's infinitesimal rigidity argument, and extensions due to the speaker and various other researchers, yields transversality principles via the Inverse Function Theorem. It has been suggested that our own account constitutes folklore more appropriate to a conference proceedings than to a research journal. We compare our own results to those subsequently claimed by others, and highlight differences in applicability and reliability.

Tuesday 29th November 2016  Lorentzian KacMoody algebras with Weyl groups of 2reflections
Speaker: Viacheslav V. Nikulin (University of Liverpool and Steklov Mathematical Institute, Moscow)
4:00PM Room MATH103
Abstract: This is a continuation of our papers with V.A. Gritsenko in 1997  2002 where we mainly considered the case of hyperbolic lattices of the rank 3. Here, for all ranks, we classify 2reflective hyperbolic lattices S of elliptic type with a lattice Weyl vector. They define the corresponding hyperbolic KacMoody algebras of arithmetic type which are graded by S. For most of them, we construct Lorentzian KacMoody algebras which give their automorphic corrections: they are graded by the S, have the same simple real roots, but their denominator identity is given by automorphic forms with 2reflective divisors. We give exact construction of these automorphic forms. All these considerations are related to interesting classes of algebraic K3 surfaces and their mirror symmetry. See our recent preprint with V.A. Gritsenko: arXiv: 1602.08359 for some details.

Tuesday 29th November 2016  Several Constructions in the EremenkoLyubich Class
Speaker: Kirill Lazebnik (Stony Brook University)
3:00PM MAGIC Room G16
Abstract: In 1985, Sullivan proved the nowandering domain theorem for rational maps of the Riemann Sphere. Using the same ideas, (Lyubich and Eremenko) and (Goldberg and Keen), proved a nowandering domain theorem for entire functions with finite singular set. Whereas wandering domains were known to exist for more general entire functions, it was unknown whether wandering domains occur for entire functions with bounded (but possibly infinite) singular set. Such a function was constructed by Bishop in 2012 using the "folding theorem" (proven in the same paper) for constructing entire functions. We will first discuss the folding theorem and the wandering domain example. Next we will discuss the topology of the wandering domain. Finally we will show how these methods can be used to construct several functions in the EremenkoLyubich class with other dynamical properties we will prescribe.

Tuesday 22nd November 2016  Quasiperiodic sums and products
Speaker: Paul Verschueren (Open University)
3:00PM MAGIC Room G16
Abstract: Quasiperiodic Sums (Birkhoff Sums over a rotation) and Products arise in many areas of mathematics including the study of Strange NonChaotic Attractors, Critical KAM Theory, Quantum Chaos, qseries, Partition Theory, and Diophantine Approximation.
Graphs of these functions can form intriguing geometrically strange and selfsimilar structures. They are easy and rewarding to investigate numerically, and suggest many avenues for investigation. However they prove resistant to rigorous analysis.
In this talk we will survey some of the most important examples, and focus on the most heavily studied example, Sudler's product of sines. We will also report on new approaches which allow us to settle negatively an open question of Erdős & Szekeres from 1959, and to prove a number of experimental results reported recently by Knill & Tangerman (2011).

Tuesday 15th November 2016  Holomorphic motions of Julia sets: a lambdalemma in several complex variables
Speaker: Fabrizio Bianchi (Imperial College, London)
3:00PM in Room G16 (MAGIC)
Abstract: For a family of rational maps, results by Lyubich, ManéSadSullivan and DeMarco provide a fairly complete understanding of dynamical stability. A central tool in this description is the celebrated lambdalemma, which allows one to promote a holomorphic motion of a set to one of its closure.
Starting from the basics, and paying particular attention to the differences with respect to the transcendental case, I will review the onedimensional theory and depict a general panorama about dynamical stability in several variables. I will focus on the arguments that do not readily generalise to this setting, and introduce the tools and ideas that allow one to overcome these problems.

Tuesday 8th November 2016  On class A and class B
Speaker: David Sixsmith (University of Liverpool)
3:00PM in Room G16 (MAGIC)
Abstract: In 1970 MacLane asked if it is possible for a locally univalent function in the class A to have an arc tract. This question remains open, but several results about it have been given. We significantly strengthen these results, in particular replacing the condition of local univalence by the more general condition that the set of critical values is bounded. Also, we adapt a recent powerful technique of Bishop in order to show that there is a function in the EremenkoLyubich class for the disc that is not in the class A.

Friday 4th November 2016  Motivic stable homotopy groups of spheres
Speakers: Professor Oliver Roendings (University of Onsabruck)
4:00PM in Room MATH105
Abstract: Fabien Morel determined the zeroth motivic stable homotopy group over an arbitrary field in terms of units of the field (Milnor Ktheory) and quadratic forms (GrothendieckWitt groups). In joint work with Markus Spitzweck and Paul Arne Ostvar, we determine the first motivic stable homotopy group in terms of Milnor Ktheory and higher GrothendieckWitt groups. The computation is based on the spectral sequence coming from Voevodsky's slice filtration, and work of Levine and Voevodsky on the slices of the motivic sphere spectrum. One potential application, as Asok and Fasel show, is a solution of Murthy's conjecture of splitting vector bundles over smooth affine varieties in the unstable range.

Tuesday 1st November 2016  Birational geometry of del Pezzo fibrations of degree 2
Speakers: Igor Krylov (University of Edinburgh)
4:00PM in Room MATH103
Abstract: I will discuss rationality of rationally connected varieties. Their minimal models are Mori fiber spaces. In dimension three these are Fano varieties, del Pezzo fibrations, and conic bundles. The rationality question in dimension three is almost solved for smooth varieties. I discuss possible generalizations: including singularities or considering stable rationality and discuss recent results for del Pezzo fibrations.

Tuesday 1st November 2016  The escaping set of transcendental selfmaps of the punctured plane
Speaker: David Marti Pete (Open University)
3:00PM in Room G16 (MAGIC)
Abstract: We study the iteration of holomorphic selfmaps of C*, the complex plane with the origin removed, for which both zero and infinity are essential singularities. The escaping set of such maps consists of the points whose orbit accumulates to zero and/or infinity following what we call essential itineraries. We show that the Julia set always contains escaping points with every essential itinerary. The concept of essential itinerary leads to a partition of the escaping set into uncountably many disjoint sets, the boundary of each of which is the Julia set. Under certain hypotheses, each of these sets contains uncountably many curves to zero and infinity. We also use approximation theory to provide examples of functions with escaping Fatou components.

Tuesday 25th October 2016  Speiser class Julia sets with dimension near 1
Speaker: Simon Albrecht (University of Liverpool)
3:00PM in Room G16 (MAGIC)
Abstract: We prove that for any d>0, there exists a transcendental entire function f with only finitely many singular values such the Hausdorff dimension of the Julia set of f is less than 1+d. This is joint work with Christopher J. Bishop from Stony Brook.

Tuesday 18th October 2016  Inverse limits and measurable pseudoAnosov maps
Speaker: André Salles de Carvalho (University of São Paulo, Brazil)
3:00PM in Room G16 (MAGIC)
Abstract: I'll present a construction which starts with a graph endomorphism and, using a quotient of its inverse limit, yields:
 a pseudoAnosov map if the graph map is a train track map;
 a generalized pseudoAnosov map if the graph map is postcritically finite and has an irreducible aperiodic transition matrix;
 an interesting type of surface homeomorphisms which generalizes both the previous classes otherwise.
In particular, this produces a unified construction of surface homeomorphisms whose dynamics mimics that of the tent family of interval endomorphisms, completing an earlier construction of unimodal generalized pseudoAnosov maps in the postcritically finite case. This is joint work with Phil Boyland and Toby Hall.

Tuesday 11th October 2016  Birationally rigid complete intersections of codimension two
Speakers: Daniel Evans and Aleksandr Pukhlikov (University of Liverpool)
5:00PM in Room MATH104
Abstract: We prove that in the parameter space of $M$dimensional Fano complete intersections of index one and codimension two the locus of varieties that are not birationally superrigid has codimension at least $(M10)(M11)/21$.

Monday 12th September 2016  What is a formula?
Speaker: Igor Pak (UCLA)
3:00PM in Room G16 (MAGIC)
Abstract: Integer sequences arise in a large variety of combinatorial problems as a way to count combinatorial objects. Some of them have nice formulas, some have elegant recurrences, and some have nothing interesting about them at all. Can we characterize when? Can we even formalize what is a "formula"? I will give a minisurvey aiming to answer these questions. At the end, I will present some recent results counting certain walks in graphs and certain permutation classes, and finish with open problems.

Tuesday 6th September 2016  Quasiregular maps and Zorich maps with one attracting fixed point
Speaker: Patrick Comdühr (Kiel University)
10:45AM in Room MATH117.
Abstract: The theory of holomorphic functions in one complex variable is well known by students and is of rich structure. We want to focus on functions in R^d, with d > 2, which behave in a similar way as their holomorphic counterparts. More precisely we look at a quasiregular analogue of the exponential map and use iteration theory to understand its behaviour.

Wednesday 29th June 2016  How to count zeroes arithmetically
Speaker: Jesse Kass (South Carolina)
2:00PM in Room MATH104.
Abstract: A celebrated result of Eisenbud—Khimshaishvili—Levine computes the local degree of a smooth function f : Rn —> Rn as the signature of the residue pairing, an explicit symmetric bilinear form. We prove a parallel result computing the local A1degree of a polynomial function, answering a question posed by David Eisenbud in 1978. This talk will present this result and then discuss applications to singularity theory, including a definition of an arithmetic analogue of the Milnor number, if time permits. This is joint work with Kirsten Wickelgren.

Tuesday 24th May 2016  Birationally rigid fibrations into Fano double spaces
Speaker: Aleksandr Pukhlikov (University of Liverpool)
5:00PM in Room MATH104
Abstract: We develop the quadratic technique of proving birational rigidity of FanoMori fibre spaces over a higherdimensional base. As an application, we prove birational rigidity of generic fibrations into Fano double spaces of dimension $M\geqslant 4$ and index one over a rationally connected base of dimension at most $\frac12 (M2)(M1)$. An estimate for the codimension of the subset of hypersurfaces of a given degree in the projective space with a positivedimensional singular set is obtained, which is close to the optimal one, see arXiv:1512.05681

Wednesday 18th May 2016  Selfaffine sets: topology and arithmetic
Speaker: Dr Nikita Sidorov (University of Manchester)
3:00pm in Room 106
Abstract: Let M be an n x n real matrix with eigenvalues less than 1 in modulus. Consider the iterated function system (IFS) {Mxv, Mx+v} with some vector v such that it is nondegenerate. In my talk I will address the questions related to the topology of the attractor of this IFS (connectedness, nonempty interior) as well as connections to betaexpansions and similar numbertheoretic objects for n=2. This talk is based on my three recent papers with Kevin Hare (Waterloo).

Wednesday 11th May 2016  Dimension gaps in selfaffine sponges
Speaker: David Simmons (University of York)
3:00PM in Room MATH106.
Abstract: In this talk, I will discuss a longstanding open problem in the dimension theory of dynamical systems, namely whether every expanding repeller has an ergodic invariant measure of full Hausdorff dimension, as well as my recent result showing that the answer is negative. The counterexample is a selfaffine sponge in $\mathbb R^3$ coming from anaffine iterated function system whose coordinate subspace projections satisfy the strong separation condition. Its dynamical dimension, i.e. the supremum of the Hausdorff dimensions of its invariant measures, is strictly less than its Hausdorff dimension. More generally we compute the Hausdorff and dynamical dimensions of a large class of selfaffine sponges, a problem that previous techniques could only solve in two dimensions. The Hausdorff and dynamical dimensions depend continuously on the iterated function system defining the sponge, which implies that sponges with a dimension gap represent a nonempty open subset of the parameter space. This work is joint with Tushar Das (Wisconsin  La Crosse).

Tuesday 19th April 2016  Phase transitions in random networks
Speaker: Olga Valba (National Research University, Moscow)
4:00PM in Room MATH106
Abstract: We consider an equilibrium ensemble of large ErdősRenyi topological random networks with fixed vertex degree and two types of vertices, black and white, prepared randomly with the bond connection probability p. The network energy is a sum of all unicolor triples (either black or white), weighted with chemical potential of triples μ. Minimizing the system energy, we see for some positive μ the formation of two predominantly unicolor clusters, linked by a string of Nbw blackwhite bonds. We have demonstrated that the system exhibits critical behavior manifested in the emergence of a wide plateau on the Nbw(μ) curve, which is relevant to a spinodal decomposition in firstorder phase transitions.

Wednesday 13th April 2016  Sturmian measures in ergodic optimization
Speaker: Vasso Anagnostopoulou (Imperial College, London)
3:00PM in Room MATH106

Tuesday 12th April 2016  A first view on proof assistants
Speaker: Thomas Eckl (University of Liverpool)
4:00PM in Room G16 (MAGIC)
Abstract: In the last decade proof assistants like COQ and HOL Light became useful instruments in more and more areas of mathematics. In particular, they were used to (re)prove the 4ColourTheorem and Kepler's Conjecture (on the packing of balls), with interesting consequences for the original proof strategies.
In this talk I will demonstrate how the COQ proof assistant works, by proving the irrationality of $\sqrt{2}$. On the way, I will discuss type theory as the mathematical foundation of proof assistants, and why the conclusions of COQ are safe. Finally, I will speculate on how machine learning might improve the efficiency of COQ as an instrument of mathematical research.

Wednesday 9th March 2016  Fatou’s web and nonescaping endpoints
Speaker: Vassiliki Evdoridou (Open University)
3:00PM in Room MATH106
Abstract: Let f be Fatou’s function, that is, f(z)= z+1+ exp(z). We show that the escaping set of f, which consists of all points that tend to infinity under iteration, has a structure known as a spider’s web. We discuss a consequence of this result concerning the nonescaping endpoints of the Julia set of f. More specifically, we prove that the set of nonescaping endpoints together with infinity form a totally disconnected set. Finally, we show how these techniques can be adapted in order to show that a similar result holds for some functions in the exponential family.

Tuesday 1st March 2016  Birationally rigid pfaffian Fano 3folds; what next?
Speaker: Hamid Ahmadinezhad (University of Bristol)
5:00PM in Room MATH104
Abstract: I will give an overview of the geometry of Fano 3folds after Mori theory. After discussing past approaches to the classification, I will highlight why such attempts seem hopeless. Building on recent advances in the geometry of Fanos, I introduce a new viewpoint on the classification problem. A main emphasis will be given to the unpredicted behaviour of the first examples of noncomplete intersection Fanos, discovered in a joint work with Takuzo Okada.

24th February 2016  Straightening the square
Speaker: Arnaud Chéritat (Toulouse)
3:00PM in Room MATH106

17th February 2016  Landing of rays and dreadlocks for transcendental entire functions
Speaker: Lasse RempeGillen (University of Liverpool)
3:00PM in Room MATH106
Abstract: There is a famous theorem, which we shall call the "DouadyHubbard landing theorem", which states that every repelling or parabolic periodic point of a polynomial with bounded postcritical set can be accessed by a certain periodic curve (an “external ray”); conversely every such ray lands at a repelling or parabolic point. (I will give a short introduction to these concepts and the result in my talk.) The theorem has been a cornerstone of polynomial dynamics, being central to the famous “Yoccoz puzzle” which has been used to study the local connectivity of the Mandelbrot set, among other things.
We prove a version of this result for transcendental entire functions with bounded postsingular sets. In the case where the function has finite order, our result implies again that every repelling (or parabolic) periodic point is the landing point of a certain periodic “hair”. However, in the right formulation our result applies even to functions where the Julia set contains no nontrivial curves, where the role of the hairs is taken on by objects we call “dreadlocks”. Furthermore, we more generally establish landing of hairs or dreadlocks at points in hyperbolic subsets of the Julia set. (This is joint work with Anna Miriam Benini.)

10th February 2016  Fractal dimensions of an overlapping generalization of Barański Carpets
Speaker: Leticia Pardo Simón (University of Liverpool)
Abstract: We will study the Hausdorff, packing and box dimension of a family of selfaffine sets generalizing Barański carpets. More specifically we fix a Barański system and allow both vertical and horizontal random translations, while preserving the rows and columns structure. The alignment kept in the construction lets us give formulas for the fractal dimensions outside of a small set of exceptional translations. These formulae will coincide with those for the nonoverlapping case, and thus provide us with examples where the boxcounting and Hausdorff dimension do not necessarily agree. (This is joint work with Thomas Jordan).

Tuesday 12th January 2016  Feynman periods: numbers and geometry
Speaker: Dr Dmitry Doryn (Center for Geometry and Physics, Institute of Basic Science, Uni. Postech, Pohang)
4:00PM in Room MATH104.
Abstract: I will speak on the Feynman periods, the values of Feynman integrals in (massless, scalar) phi^4 theory, from the numbertheoretical perspective. Then I define a closely related geometrical object, the graph hypersurface. One can try to study the geometry of these hypersurfaces (cohomology, Grothendieck ring, number of rational points over finite fields) and to relate it to the periods. The most interesting results come out from the study of the c_2 invariant (on the arithmetical side).

Wednesday 16th December 2015  Singularity Day Conference (sponsored by the LMS)
11:00 17:30 Room G16 (MAGIC)
Oleg Karpenkov (Liverpool)  Finite and infinitesimal flexibility of semidiscrete surfaces
In this talk we will discuss infinitesimal and finite flexibility for generic semidiscrete surfaces. These surfaces are combined of smooth ribbons, they are in a sense limit shapes of quadrilateral graphs. It turns out that a generic 2ribbon semidiscrete surface has one degree of infinitesimal and finite flexibility, which leads to construction of curious flexible mechanisms. Generic nribbon surfaces with n>2 do not possess any flexibility at all. Addressing this, we show a necessary condition for infinitesimal flexibility of a 3ribbon surface.
Juan José Nuño Ballesteros (Valencia)  Equisingularity of map germs from a surface to the plane
Let (X,0) be an ICIS of dimension 2 and let f: (X,0) > (C^2,0) be a map germ with an isolated instability. We look at the invariants that appear when X_s is a smoothing of (X,0) and f_s: X_s > C^2 is a stabilization of f. We find relations between these invariants and also give necessary and sufficient conditions for a 1parameter family F to be Whitney equisingular. As an application, we show that a family (X_t,0) is Zariski equisingular if and only if it is Whitney equisingular and the numbers of cusps and double folds of a generic linear projection do not depend on t.
David Mond (Warwick)  Invariants of the disentanglement of a mapgerm (C^3,0)> (C^4,0)
This is a very concrete talk focusing on a single example. We calculate the ranks of homology groups of spaces associated with the disentanglement of a map germ (C^3,0) > (C^4,0). The talk will therefore give an introduction to the geometry of such mapgerms. Some of the spaces involved have nonisolated singularities, and a number of classical and notsoclassical techniques must be brought to bear. After using every technique we can think of, some key questions remain, and it seems that some new ideas are called for. We end by describing what we think is needed. (Work in progress by Isaac Bird and David Mond).
Anna Pratoussevitch (Liverpool)  Traces and discreteness for certain subgroups of PU(2,1)
While discrete subgroups of the group PSL(2,R)=PU(1,1) of isometries of the real hyperbolic plane are classified, the discreteness of subgroups of the group PU(2,1) of isometries of the complex hyperbolic plane is not well understood. We discuss a class of subgroups of PU(2,1) generated by complex reflections and show some nondiscreteness results by considering the traces of elements in the group.
Victor Goryunov (Liverpool)  On planar caustics
We study local invariants of planar caustics, that is, invariants of Lagrangian maps from surfaces to R^2 whose increments in generic homotopies are determined entirely by diffeomorphism types of local bifurcations of the caustics. Such invariants are dual to trivial codimension 1 cycles supported on the discriminant in the space L of the Lagrangian maps.
We obtain a description of the spaces of the discriminantal cycles (possibly nontrivial) for the Lagrangian maps of an arbitrary surface, both for the integer and mod2 coefficients. For the majority of these cycles we find homotopyindependent interpretations which guarantee the triviality required.
As an application, we use the discriminantal cycles to establish noncontractibility of certain loops in L. (This is a joint work with Katy Gallagher).

Thursday 12th November 2015  On Functions in the Speiser Class with One Tract
Speaker: Simon Albrecht (Stony Brook University)
Abstract: The Speiser class consists of all transcendental entire functions with finite singular set. A tract of an entire function f is a connected component of {z : f(z)>R} for some R>0. We construct functions in the Speiser class with a prescribed tract by using quasiconformal folding, a method introduced by C. Bishop in 2011.