L3

The Tutte polynomial of a graph $G$ is a two-variable polynomial $T(G;x,y)$, which encodes much information about~$G$. The number of spanning trees in~$G$, the number of acyclic orientations of~$G$, and the partition function of the $q$-state Potts model are all specialisations of the Tutte polynomial. Jackson and Sokal have studied the sign of the Tutte polynomial, and identified regions in the $(x,y)$-plane where it is ``essentially determined'', in the sense that the sign is a function of very simple characteristics of $G$, e.g., the number of vertices and connected components of~$G$. It is natural to ask whether the sign of the Tutte polynomial is hard to compute outside of the regions where it is essentially determined. We show that the answer to this question is often an emphatic ``yes'': specifically, that determining the sign is \#P-hard. In such cases, approximating the Tutte polynomial with small relative error is also \#P-hard, since in particular the sign must be determined. In the other direction, we can ask whether the Tutte polynomial is easy to approximate in regions where the sign is essentially determined. The answer is not straightforward, but there is evidence that it often ``no''. This is joint work with Leslie Ann Goldberg (Oxford).

Let $A$ be a finite-dimensional $K$-algebra over an algebraically closed field $K$. Denote by $\Omega_A$ the syzygy operator on the category $\mod A$ of finite-dimensional right $A$-modules, which assigns to a module $M$ in $\mod A$ the kernel $\Omega_A(M)$ of a minimal projective cover $P_A(M) \to M$ of $M$ in $\mod A$. A module $M$ in $\mod A$ is said to be periodic if $\Omega_A^n(M) \cong M$ for some $n \geq 1$. Then $A$ is said to be a periodic algebra if $A$ is periodic in the module category $\mod A^e$ of the enveloping algebra $A^e = A^{\op} \otimes_K A$. The periodic algebras $A$ are self-injective and their module categories $\mod A$ are periodic (all modules in $\mod A$ without projective direct summands are periodic). The periodicity of an algebra $A$ is related with periodicity of its Hochschild cohomology algebra $HH^{*}(A)$ and is invariant under equivalences of the derived categories $D^b(\mod A)$ of bounded complexes over $\mod A$. One of the exciting open problems in the representation theory of self-injective algebras is to determine the Morita equivalence classes of periodic algebras.

We will present the current stage of the solution of this problem and exhibit prominent classes of periodic algebras.

We investigate symmetric quotient algebras of symmetric algebras,

with an emphasis on finite group algebras over a complete discrete

valuation ring R with residue field of positive characteristic p. Using elementary methods, we show that if an

ordinary irreducible character of a finite group gives

rise to a symmetric quotient over R which is not a matrix algebra,

then the decomposition numbers of the row labelled by the character are

all divisible by p. In a different direction, we show that if is P is a finite

p-group with a cyclic normal subgroup of index p, then every ordinary irreducible character of P gives rise to a

symmetric quotient of RP. This is joint work with Shigeo Koshitani and Markus Linckelmann.

We explain how Khovanov-Lauda-Rouquier algebras in finite type A are affine cellular in the sense of Koenig and Xi. In particular this reproves finiteness of their global dimension. This is joint work with Alexander Kleshchev and Joseph Loubert.

This talk is about some recent joint work with Sarah Witherspoon. The representations of some finite dimensional Hopf algebras have curious behaviour: Nonprojective modules may have projective tensor powers, and the variety of a tensor product of modules may not be contained in the intersection of their varieties. I shall describe a family of examples of such Hopf algebras and their modules, and the classification of left, right, and two-sided ideals in their stable module categories.

So far, the circle method has been a very useful tool to prove
many cases of Manin's conjecture. Work of B. Birch back in 1961 establishes
this for smooth complete intersections in projective space as soon as the
number of variables is large enough depending on the degree and number of
equations. In this talk we are interested in subvarieties of biprojective
space. There is not much known so far, unless the underlying polynomials are
of bidegree (1,1). In this talk we present recent work which combines the
circle method with the generalised hyperbola method developed by V. Blomer
and J. Bruedern. This allows us to verify Manin's conjecture for certain
smooth hypersurfaces in biprojective space of general bidegree.

Much of the mathematical modelling of urban systems revolves around the use spatial interaction models, derived from information theory and entropy-maximisation techniques and embedded in dynamic difference equations. When framed in the context of a retail system, the

dynamics of centre growth poses an interesting mathematical problem, with bifurcations and phase changes, which may be analysed analytically. In this contribution, we present some analysis of the continuous retail model and corresponding discrete version, which yields insights into the effect of space on the system, and an understanding of why certain retail centers are more successful than others. This class of models turns out to have wide reaching applications: from trade and migration flows to the spread of riots and the prediction of archeological sites of interest, examples of which we explore in more detail during the talk.

Many interesting examples of singular symplectic algebraic varieties and their symplectic resolutions are built by Hamiltonian reduction. There is a corresponding construction of "quantum Hamiltonian reduction" which is of substantial interest to representation theorists. It starts from a twisted-equivariant D-module, an analogue of an algebraic vector bundle (or coherent sheaf) on a moment map fiber, and produces an object on the quantum analogue of the symplectic resolution. In order to understand how far apart the quantisation of the singular symplectic variety and its symplectic resolution can be, one wants to know "what gets killed by quantum Hamiltonian reduction?" I will give a precise answer to this question in terms of effective combinatorics. The answer has consequences for exactness of direct images, and thus for t-structures, which I will also explain. The beautiful geometry behind the combinatorics is that of a stratification of a GIT-unstable locus called the "Kirwan-Ness stratification." The lecture will not assume familiarity with D-modules, nor with any previous talks by the speaker or McGerty in this series. The new results are joint work with McGerty.