Past

I will describe how to build a noncommutative ring which dictates

the process of resolving certain two-dimensional quotient singularities.

Algebraically this corresponds to generalizing the preprojective algebra of

an extended Dynkin quiver to a larger class of geometrically useful

noncommutative rings. I will explain the representation theoretic properties

of these algebras, with motivation from the geometry.

For continuous maps $f: S^{2n-1} \to S^n$ one can define an integer-valued invariant, the so-called Hopf invariant. The problem of determining for which $n$ there are maps having Hopf invariant one can be related to many problems in topology and geometry, such as which spheres are parallelisable, which spheres are H-spaces (that is, have a product), and what are the division algebras over $\mathbb{R}$.

The best way to solve this problem is using complex K-theory and Adams operations. I will show how all the above problems are related, give an introduction to complex K-theory and it's operations, and show how to use it to solve this problem.

In these (three) lectures, I will discuss the following topics:

1. The theorems of Ax on the elementary theory of finite and pseudo-finite fields, including decidability and quantifier-elimination, variants due to Kiefe, and connection to Diophantine problems.

2. The theorems on Chatzidakis-van den Dries-Macintyre on definable sets over finite and pseudo-finite fields, including their estimate for the number of points of definable set over a finite field which generalizes the Lang-Weil estimates for the case of a variety.

3. Motivic and p-adic aspects.

This is the second of two talks, and probably will not be comprehensible unless you came to last week's talk.

A Kuranishi space is a topological space equipped with a Kuranishi structure, defined by Fukaya and Ono. Kuranishi structures occur naturally on many moduli spaces in differential geometry, and in particular, in moduli spaces of stable $J$-holomorphic curves in symplectic geometry.

Let $Y$ be an orbifold, and $R$ a commutative ring. We define four topological invariants of $Y$: two kinds of Kuranishi bordism ring $KB_*(Y;R)$, and two kinds of Kuranishi homology ring $KH_*(Y;R)$. Roughly speaking, they are spanned over $R$ by isomorphism classes $[X,f]$ with various choices of relations, where $X$ is a compact oriented Kuranishi space, which is without boundary for bordism and with boundary and corners for homology, and $f:X\rightarrow Y$ is a strong submersion. These theories are powerful tools in symplectic geometry.

Today we discuss the definition of Kuranishi homology, and the proof that weak Kuranishi homology is isomorphic to the singular homology.

Abstract: The Maximum Induced Planar Subgraph problem asks

for the largest set of vertices in a given input graph G

that induces a planar subgraph of G. Equivalently, we may

ask for the smallest set of vertices in G whose removal

leaves behind a planar subgraph. This problem has been

linked by Edwards and Farr to the problem of _fragmentability_

of graphs, where we seek the smallest proportion of vertices

in a graph whose removal breaks the graph into small (bounded

size) pieces. This talk describes some algorithms

developed for this problem, together with theoretical and

experimental results on their performance. The material

presented is joint work either with Keith Edwards (Dundee)

or Kerri Morgan (Monash).

A brief overview of consonance by way of continued fractions and modular arithmetic.

This talk gives a survey on a series of work which I and co-authors have been doing for 10 years. I will start from the Feynman-Kac type formula for Dirichlet forms. Then a necessary and sufficient condition is given to characterize the killing transform of Markov processes. Lastly we shall discuss the regular subspaces of linear transform and answer some problems related to the Feynman-Kac formula

Counting paths, or walks, is an important ingredient in the classical representation theory of compact groups. Using Brownian paths gives a new flexible and intuitive approach, which allows to extend some of this theory to the non- cristallographic case. This is joint work with P. Biane and N. O'Connell

Abstract: For a large class of compactifications of interest in string phenomenology, the task of finding vacua of the four dimensional effective theories can be rewritten as a simple problem in algebraic geometry. Using recent developments in computer algebra, the task can then be rapidly dealt with in a completely algorithmic fashion. I shall review the main points of hep-th/0606122 and hep-th/0703249 in which this approach to finding vacua was set out, before moving on to a description of the Mathematica package STRINGVACUA (as described in arXiv:0801.1508 [hep-th]). This package uses the power of the computer algebra system Singular and provides a user-friendly implementation of our methods, intended for use by physicists, within the comfortable working environment of Mathematica.