The University of Adelaide
You are here
Text size: S | M | L
Printer Friendly Version
August 2018

Search the School of Mathematical Sciences

Find in People Courses Events News Publications

People matching "Variation of Hodge structure for generalized compl"

Dr David Baraglia
ARC DECRA Fellow, APD Fellow

More about David Baraglia...
Associate Professor Nicholas Buchdahl
Reader in Pure Mathematics

More about Nicholas Buchdahl...
Professor Finnur Larusson
Associate Professor in Pure Mathematics

More about Finnur Larusson...
Professor Tony Roberts
Professor of Applied Mathematics

More about Tony Roberts...

Courses matching "Variation of Hodge structure for generalized compl"

Complex Analysis III

When the real numbers are replaced by the complex numbers in the definition of the derivative of a function, the resulting (complex-)differentiable functions turn out to have many remarkable properties not enjoyed by their real analogues. These functions, usually known as holomorphic functions, have numerous applications in areas such as engineering, physics, differential equations and number theory, to name just a few. The focus of this course is on the study of holomorphic functions and their most important basic properties. Topics covered are: Complex numbers and functions; complex limits and differentiability; elementary examples; analytic functions; complex line integrals; Cauchy's theorem and the Cauchy integral formula; Taylor's theorem; zeros of holomorphic functions; Rouche's Theorem; the Open Mapping theorem and Inverse Function theorem; Schwarz' Lemma; automorphisms of the ball, the plane and the Riemann sphere; isolated singularities and their classification; Laurent series; the Residue Theorem; calculation of definite integrals and evaluation of infinite series using residues; outlines of the Jordan Curve Theorem, Montel's Theorem and the Riemann Mapping Theorem.

More about this course...

Manifolds, lie groups and lie algebras

Lie groups and Lie algebras are fundamental concepts in both mathematics and theoretical physics. The theory of Lie groups and Lie algebras was developed in the late nineteenth century by Sophus Lie, Wilhelm Killing and others, when groups appeared as symmetries of differential equations. Soon it was realised that they can be treated by purely algebraic means yielding the concept of a Lie algebra. In physics Lie groups and Lie algebras are important in describing symmetries of physical systems and in gauge theories. As preparation for the theory of Lie groups the course will start off with an introduction to the basic notions of differential geometry, including smooth manifolds, tangent spaces and vector fields. This will enable us to understand the concept of a Lie group in a very general setting. The second part of the course will be an introduction the theory of Lie groups. I will focus mainly on the relation between Lie groups and Lie algebras and cover the following topics: the Lie algebra of a Lie group and the exponential map; Lie group homomorphisms; Lie subgroups and Cartan's theorem. The third part of the course is devoted to the structure theory of Lie algebras and will present the classification of finite dimensional complex semisimple Lie algebras. To this end we will cover the following topics: structure theory of Lie algebras: nilpotent, solvable and semi-­‐ simple Lie algebras; toral subalgebras; root systems and their classification by means of Dynkin diagrams. 1. Introduction, motivation and examples of matrix groups and algebras 2. Smooth manifolds and vector fields 3. Lie groups and their Lie algebras 4. Cartan's Theorem and the classical Lie groups  5. The Lie group - Lie algebras correspondence 6. Homogeneous spaces 7. Structure Theory of Lie algebras 8. Complex semisimple Lie algebras

More about this course...

Multivariable and Complex Calculus

The mathematics required to describe most "real life" systems involves functions of more than one variable, so the differential and integral calculus developed in a first course in Calculus must be extended to functions of more variables. In this course, the key results of one-variable calculus are extended to higher dimensions: differentiation, integration, and the link between them provided by the Fundamental Theorem of Calculus are all generalised. The machinery developed can be applied to another generalisation of one-variable Calculus, namely to complex calculus, and the course also provides an introduction to this subject. The material covered in this course forms the basis for mathematical analysis and application across an extremely broad range of areas, essential for anyone studying the hard sciences, engineering, or mathematical economics/finance. Topics covered are: introduction to multivariable calculus; differentiation of scalar- and vector-valued functions; higher-order derivatives, extrema, Lagrange multipliers and the implicit function theorem; integration over regions, volumes, paths and surfaces; Green's, Stokes' and Gauss's theorems; differential forms; curvilinear coordinates; an introduction to complex numbers and functions; complex differentiation; complex integration and Cauchy's theorems; and conformal mappings.

More about this course...

Events matching "Variation of Hodge structure for generalized compl"

Homological algebra and applications - a historical survey
15:10 Fri 19 May, 2006 :: G08 Mathematics Building University of Adelaide :: Prof. Amnon Neeman

Homological algebra is a curious branch of mathematics; it is a powerful tool which has been used in many diverse places, without any clear understanding why it should be so useful. We will give a list of applications, proceeding chronologically: first to topology, then to complex analysis, then to algebraic geometry, then to commutative algebra and finally (if we have time) to non-commutative algebra. At the end of the talk I hope to be able to say something about the part of homological algebra on which I have worked, and its applications. That part is derived categories.
Statistical convergence of sequences of complex numbers with application to Fourier series
15:10 Tue 27 Mar, 2007 :: G08 Mathematics Building University of Adelaide :: Prof. Ferenc Morics

The concept of statistical convergence was introduced by Henry Fast and Hugo Steinhaus in 1951. But in fact, it was Antoni Zygmund who first proved theorems on the statistical convergence of Fourier series, using the term \"almost convergence\". A sequence $\\{x_k : k=1,2\\ldots\\}$ of complex numbers is said to be statistically convergent to $\\xi$ if for every $\\varepsilon >0$ we have $$\\lim_{n\\to \\infty} n^{-1} |\\{1\\le k\\le n: |x_k-\\xi| > \\varepsilon\\}| = 0.$$ We present the basic properties of statistical convergence, and extend it to multiple sequences. We also discuss the convergence behavior of Fourier series.
Finite Geometries: Classical Problems and Recent Developments
15:10 Fri 20 Jul, 2007 :: G04 Napier Building University of Adelaide :: Prof. Joseph A. Thas :: Ghent University, Belgium

In recent years there has been an increasing interest in finite projective spaces, and important applications to practical topics such as coding theory, cryptography and design of experiments have made the field even more attractive. In my talk some classical problems and recent developments will be discussed. First I will mention Segre's celebrated theorem and ovals and a purely combinatorial characterization of Hermitian curves in the projective plane over a finite field here, from the beginning, the considered pointset is contained in the projective plane over a finite field. Next, a recent elegant result on semiovals in PG(2,q), due to Gács, will be given. A second approach is where the object is described as an incidence structure satisfying certain properties; here the geometry is not a priori embedded in a projective space. This will be illustrated by a characterization of the classical inversive plane in the odd case. Another quite recent beautiful result in Galois geometry is the discovery of an infinite class of hemisystems of the Hermitian variety in PG(3,q^2), leading to new interesting classes of incidence structures, graphs and codes; before this result, just one example for GF(9), due to Segre, was known.
An Introduction to invariant differential pairings
14:10 Tue 24 Jul, 2007 :: Mathematics G08 :: Jens Kroeske

On homogeneous spaces G/P, where G is a semi-simple Lie group and P is a parabolic subgroup (the ordinary sphere or projective spaces being examples), invariant operators, that is operators between certain homogeneous bundles (functions, vector fields or forms being amongst the typical examples) that are invariant under the action of the group G, have been studied extensively. Especially on so called hermitian symmetric spaces which arise through a 1-grading of the Lie algebra of G there exists a complete classification of first order invariant linear differential operators even on more general manifolds (that allow a so called almost hermitian structure).

This talk will introduce the notion of an invariant bilinear differential pairing between sections of the aforementioned homogeneous bundles. Moreover we will discuss a classification (excluding certain totally degenerate cases) of all first order invariant bilinear differential pairings on manifolds with an almost hermitian symmetric structure. The similarities and connections with the linear operator classification will be highlighted and discussed.

Insights into the development of the enteric nervous system and Hirschsprung's disease
15:10 Fri 24 Aug, 2007 :: G08 Mathematics building University of Adelaide :: Assoc. Prof. Kerry Landman :: Department of Mathematics and Statistics, University of Melbourne

During the development of the enteric nervous system, neural crest (NC) cells must first migrate into and colonise the entire gut from stomach to anal end. The migratory precursor NC cells change type and differentiate into neurons and glia cells. These cells form the enteric nervous system, which gives rise to normal gut function and peristaltic contraction. Failure of the NC cells to invade the whole gut results in a lack of neurons in a length of the terminal intestine. This potentially fatal condition, marked by intractable constipation, is called Hirschsprung's Disease. The interplay between cell migration, cell proliferation and embryonic gut growth are important to the success of the NC cell colonisation process. Multiscale models are needed in order to model the different spatiotemporal scales of the NC invasion. For example, the NC invasion wave moves into unoccupied regions of the gut with a wave speed of around 40 microns per hour. New time-lapse techniques have shown that there is a web-like network structure within the invasion wave. Furthermore, within this network, individual cell trajectories vary considerably. We have developed a population-scale model for basic rules governing NC cell invasive behaviour incorporating the important mechanisms. The model predictions were tested experimentally. Mathematical and experimental results agreed. The results provide an understanding of why many of the genes implicated in Hirschsprung's Disease influence NC population size. Our recently developed individual cell-based model also produces an invasion wave with a well-defined wave speed; however, in addition Individual cell trajectories within the invasion wave can be extracted. Further challenges in modeling the various scales of the developmental system will be discussed.
Rubber Ballons -- Prototypes of Hysteresis
15:10 Fri 16 Nov, 2007 :: G04 Napier Building University of Adelaide :: Emeritus Prof. Ingo Muller :: Technical University Berlin

Rubber balloons are characterized by a non-monotone pressure-radius relation which presages interesting non-trivial stability problems. A stability criterion is developed and exploited in order to show that the balloon may be stabilized at any radius by loading it with a piston under an elastic spring, if only the spring is hard enough. If two connected balloons are subject to an inflation-deflation cycle, the pressure-radius curve exhibits a fairly simple hysteresis loop. More complex hysteresis loops appear when more balloons are all inflated together. And if many balloons are inflated and deflated at the same time, the hysteresis loop assumes the form reminiscent of pseudo-elasticity. Stability in those complex cases is determined by a simple suggestive argument. References: [1] W.Kitsche, I.Muller, P.Strehlow. Simulation of pseudo-elastic behaviour in a system of rubber balloons. In: Metastability and Incompletely Posed Problems, S.Antman, J.L.Ericksen, D.Kinderlehrer, I.Muller (eds.) IMA Volume No.3, Springer Verlag, New York (1987) [2] I.Muller, P.Strehlow, Rubber and Rubber Balloons, Springer Lecture Notes on Physics, Springer Verlag, Heidelberg (2004)
Probabilistic models of human cognition
15:10 Fri 29 Aug, 2008 :: G03 Napier Building University of Adelaide :: Dr Daniel Navarro :: School of Psychology, University of Adelaide

Over the last 15 years a fairly substantial psychological literature has developed in which human reasoning and decision-making is viewed as the solution to a variety of statistical problems posed by the environments in which we operate. In this talk, I briefly outline the general approach to cognitive modelling that is adopted in this literature, which relies heavily on Bayesian statistics, and introduce a little of the current research in this field. In particular, I will discuss work by myself and others on the statistical basis of how people make simple inductive leaps and generalisations, and the links between these generalisations and how people acquire word meanings and learn new concepts. If time permits, the extensions of the work in which complex concepts may be characterised with the aid of nonparametric Bayesian tools such as Dirichlet processes will be briefly mentioned.
Free surface Stokes flows with surface tension
15:10 Fri 5 Sep, 2008 :: G03 Napier Building University of Adelaide :: Prof. Darren Crowdy :: Imperial College London

In this talk, we will survey a number of different free boundary problems involving slow viscous (Stokes) flows in which surface tension is active on the free boundary. Both steady and unsteady flows will be considered. Motivating applications range from industrial processes such as viscous sintering (where end-products are formed as a result of the surface-tension-driven densification of a compact of smaller particles that are heated in order that they coalesce) to biological phenomena such as understanding how organisms swim (i.e. propel themselves) at low Reynolds numbers. Common to our approach to all these problems will be an analytical/theoretical treatment of model problems via complex variable methods -- techniques well-known at infinite Reynolds numbers but used much less often in the Stokes regime. These model problems can give helpful insights into the behaviour of the true physical systems.
Geometric analysis on the noncommutative torus
13:10 Fri 20 Mar, 2009 :: School Board Room :: Prof Jonathan Rosenberg :: University of Maryland

Noncommutative geometry (in the sense of Alain Connes) involves replacing a conventional space by a "space" in which the algebra of functions is noncommutative. The simplest truly non-trivial noncommutative manifold is the noncommutative 2-torus, whose algebra of functions is also called the irrational rotation algebra. I will discuss a number of recent results on geometric analysis on the noncommutative torus, including the study of nonlinear noncommutative elliptic PDEs (such as the noncommutative harmonic map equation) and noncommutative complex analysis (with noncommutative elliptic functions).
Understanding optimal linear transient growth in complex-geometry flows
15:00 Fri 27 Mar, 2009 :: Napier LG29 :: Associate Prof Hugh Blackburn :: Monash University

Classification and compact complex manifolds I
13:10 Fri 17 Apr, 2009 :: School Board Room :: A/Prof Nicholas Buchdahl :: University of Adelaide

Classification and compact complex manifolds II
13:10 Fri 24 Apr, 2009 :: School Board Room :: A/Prof Nicholas Buchdahl :: University of Adelaide

String structures and characteristic classes for loop group bundles
13:10 Fri 1 May, 2009 :: School Board Room :: Mr Raymond Vozzo :: University of Adelaide

The Chern-Weil homomorphism gives a geometric method for calculating characteristic classes for principal bundles. In infinite dimensions, however, the standard theory fails due to analytical problems. In this talk I shall give a geometric method for calculating characteristic classes for principal bundle with structure group the loop group of a compact group which side-steps these complications. This theory is inspired in some sense by results on the string class (a certain cohomology class on the base of a loop group bundle) which I shall outline.
Four classes of complex manifolds
13:10 Fri 8 May, 2009 :: School Board Room :: A/Prof Finnur Larusson :: University of Adelaide

We introduce the four classes of complex manifolds defined by having few or many holomorphic maps to or from the complex plane. Two of these classes have played an important role in complex geometry for a long time. A third turns out to be too large to be of much interest. The fourth class has only recently emerged from work of Abel Prize winner Mikhail Gromov.
Lagrangian fibrations on holomorphic symplectic manifolds I: Holomorphic Lagrangian fibrations
13:10 Fri 5 Jun, 2009 :: School Board Room :: Dr Justin Sawon :: Colorado State University

A compact K{\"a}hler manifold $X$ is a holomorphic symplectic manifold if it admits a non-degenerate holomorphic two-form $\sigma$. According to a theorem of Matsushita, fibrations on $X$ must be of a very restricted type: the fibres must be Lagrangian with respect to $\sigma$ and the generic fibre must be a complex torus. Moreover, it is expected that the base of the fibration must be complex projective space, and this has been proved by Hwang when $X$ is projective. The simplest example of these {\em Lagrangian fibrations\/} are elliptic K3 surfaces. In this talk we will explain the role of elliptic K3s in the classification of K3 surfaces, and the (conjectural) generalization to higher dimensions.
Chern-Simons classes on loop spaces and diffeomorphism groups
13:10 Fri 12 Jun, 2009 :: School Board Room :: Prof Steve Rosenberg :: Boston University

The loop space LM of a Riemannian manifold M comes with a family of Riemannian metrics indexed by a Sobolev parameter. We can construct characteristic classes for LM using the Wodzicki residue instead of the usual matrix trace. The Pontrjagin classes of LM vanish, but the secondary or Chern-Simons classes may be nonzero and may distinguish circle actions on M. There are similar results for diffeomorphism groups of manifolds.
Lagrangian fibrations on holomorphic symplectic manifolds II: Existence of Lagrangian fibrations
13:10 Fri 19 Jun, 2009 :: School Board Room :: Dr Justin Sawon :: Colorado State University

The Hilbert scheme ${\mathrm Hilb}^nS$ of points on a K3 surface $S$ is a well-known holomorphic symplectic manifold. When does ${\mathrm Hilb}^nS$ admit a Lagrangian fibration? The existence of a Lagrangian fibration places some conditions on the Hodge structure, since the pull back of a hyperplane from the base gives a special divisor on ${\mathrm Hilb}^nS$, and in turn a special divisor on $S$. The converse is more difficult, but using Fourier-Mukai transforms we will show that if $S$ admits a divisor of a certain degree then ${\mathrm Hilb}^nS$ admits a Lagrangian fibration.
Lagrangian fibrations on holomorphic symplectic manifolds III: Holomorphic coisotropic reduction
13:10 Fri 26 Jun, 2009 :: School Board Room :: Dr Justin Sawon :: Colorado State University

Given a certain kind of submanifold $Y$ of a symplectic manifold $(X,\omega)$ we can form its coisotropic reduction as follows. The null directions of $\omega|_Y$ define the characteristic foliation $F$ on $Y$. The space of leaves $Y/F$ then admits a symplectic form, descended from $\omega|_Y$. Locally, the coisotropic reduction $Y/F$ looks just like a symplectic quotient. This construction also work for holomorphic symplectic manifolds, though one of the main difficulties in practice is ensuring that the leaves of the foliation are compact. We will describe a criterion for compactness, and apply coisotropic reduction to produce a classification result for Lagrangian fibrations by Jacobians.
Generalizations of the Stein-Tomas restriction theorem
13:10 Fri 7 Aug, 2009 :: School Board Room :: Prof Andrew Hassell :: Australian National University

The Stein-Tomas restriction theorem says that the Fourier transform of a function in L^p(R^n) restricts to an L^2 function on the unit sphere, for p in some range [1, 2(n+1)/(n+3)]. I will discuss geometric generalizations of this result, by interpreting it as a property of the spectral measure of the Laplace operator on R^n, and then generalizing to the Laplace-Beltrami operator on certain complete Riemannian manifolds. It turns out that dynamical properties of the geodesic flow play a crucial role in determining whether a restriction-type theorem holds for these manifolds.
From linear algebra to knot theory
15:10 Fri 21 Aug, 2009 :: Badger Labs G13 Macbeth Lecture Theatre :: Prof Ross Street :: Macquarie University, Sydney

Vector spaces and linear functions form our paradigmatic monoidal category. The concepts underpinning linear algebra admit definitions, operations and constructions with analogues in many other parts of mathematics. We shall see how to generalize much of linear algebra to the context of monoidal categories. Traditional examples of such categories are obtained by replacing vector spaces by linear representations of a given compact group or by sheaves of vector spaces. More recent examples come from low-dimensional topology, in particular, from knot theory where the linear functions are replaced by braids or tangles. These geometric monoidal categories are often free in an appropriate sense, a fact that can be used to obtain algebraic invariants for manifolds.
Modelling fluid-structure interactions in micro-devices
15:00 Thu 3 Sep, 2009 :: School Board Room :: Dr Richard Clarke :: University of Auckland

The flows generated in many modern micro-devices possess very little convective inertia, however, they can be highly unsteady and exert substantial hydrodynamic forces on the device components. Typically these components exhibit some degree of compliance, which traditionally has been treated using simple one-dimensional elastic beam models. However, recent findings have suggested that three-dimensional effects can be important and, accordingly, we consider the elastohydrodynamic response of a rapidly oscillating three-dimensional elastic plate that is immersed in a viscous fluid. In addition, a preliminary model will be presented which incorporates the presence of a nearby elastic wall.
Defect formulae for integrals of pseudodifferential symbols: applications to dimensional regularisation and index theory
13:10 Fri 4 Sep, 2009 :: School Board Room :: Prof Sylvie Paycha :: Universite Blaise Pascal, Clermont-Ferrand, France

The ordinary integral on L^1 functions on R^d unfortunately does not extend to a translation invariant linear form on the whole algebra of pseudodifferential symbols on R^d, forcing to work with ordinary linear extensions which fail to be translation invariant. Defect formulae which express the difference between various linear extensions, show that they differ by local terms involving the noncommutative residue. In particular, we shall show how integrals regularised by a "dimensional regularisation" procedure familiar to physicists differ from Hadamard finite part (or "cut-off" regularised) integrals by a residue. When extended to pseudodifferential operators on closed manifolds, these defect formulae express the zeta regularised traces of a differential operator in terms of a residue of its logarithm. In particular, we shall express the index of a Dirac type operator on a closed manifold in terms of a logarithm of a generalized Laplacian, thus giving an a priori local description of the index and shall discuss further applications.
The proof of the Poincare conjecture
15:10 Fri 25 Sep, 2009 :: Napier 102 :: Prof Terrence Tao :: UCLA

In a series of three papers from 2002-2003, Grigori Perelman gave a spectacular proof of the Poincare Conjecture (every smooth compact simply connected three-dimensional manifold is topologically isomorphic to a sphere), one of the most famous open problems in mathematics (and one of the seven Clay Millennium Prize Problems worth a million dollars each), by developing several new groundbreaking advances in Hamilton's theory of Ricci flow on manifolds. In this talk I describe in broad detail how the proof proceeds, and briefly discuss some of the key turning points in the argument. About the speaker: Terence Tao was born in Adelaide, Australia, in 1975. He has been a professor of mathematics at UCLA since 1999, having completed his PhD under Elias Stein at Princeton in 1996. Tao's areas of research include harmonic analysis, PDE, combinatorics, and number theory. He has received a number of awards, including the Salem Prize in 2000, the Bochner Prize in 2002, the Fields Medal and SASTRA Ramanujan Prize in 2006, and the MacArthur Fellowship and Ostrowski Prize in 2007. Terence Tao also currently holds the James and Carol Collins chair in mathematics at UCLA, and is a Fellow of the Royal Society and the Australian Academy of Sciences (Corresponding Member).
Irreducible subgroups of SO(2,n)
13:10 Fri 16 Oct, 2009 :: School Board Room :: Dr Thomas Leistner :: University of Adelaide

Berger's classification of irreducibly represented Lie groups that can occur as holonomy groups of semi-Riemannian manifolds is a remarkable result of modern differential geometry. What is remarkable about it is that it is so short and that only so few types of geometry can occur. In Riemannian signature this is even more remarkable, taking into account that any representation of a compact Lie group admits a positive definite invariant scalar product. Hence, for any not too small n there is an abundance of irreducible subgroups of SO(n). We show that in other signatures the situation is quite different with, for example, SO(1,n) having no proper irreducible subgroups. We will show how this and the corresponding result about irreducible subgroups of SO(2,n) follows from the Karpelevich-Mostov theorem. (This is joint work with Antonio J. Di Scala, Politecnico di Torino.)
Modelling and pricing for portfolio credit derivatives
15:10 Fri 16 Oct, 2009 :: MacBeth Lecture Theatre :: Dr Ben Hambly :: University of Oxford

The current financial crisis has been in part precipitated by the growth of complex credit derivatives and their mispricing. This talk will discuss some of the background to the `credit crunch', as well as the models and methods used currently. We will then develop an alternative view of large basket credit derivatives, as functions of a stochastic partial differential equation, which addresses some of the shortcomings.
Analytic torsion for twisted de Rham complexes
13:10 Fri 30 Oct, 2009 :: School Board Room :: Prof Mathai Varghese :: University of Adelaide

We define analytic torsion for the twisted de Rham complex, consisting of differential forms on a compact Riemannian manifold X with coefficients in a flat vector bundle E, with a differential given by a flat connection on E plus a closed odd degree differential form on X. The definition in our case is more complicated than in the case discussed by Ray-Singer, as it uses pseudodifferential operators. We show that this analytic torsion is independent of the choice of metrics on X and E, establish some basic functorial properties, and compute it in many examples. We also establish the relationship of an invariant version of analytic torsion for T-dual circle bundles with closed 3-form flux. This is joint work with Siye Wu.
Manifold destiny: a talk on water, fire and life
15:10 Fri 6 Nov, 2009 :: MacBeth Lecture Theatre :: Dr Sanjeeva Balasuriya :: University of Adelaide

Manifolds are important entities in dynamical systems, and organise space into regions in which different motions occur. For example, intersections between stable and unstable manifolds in discrete systems result in chaotic motion. This talk will focus on manifolds and their locations in continuous dynamical systems, and in particular on Melnikov's method and its adaptations for determining the effect of perturbations on manifolds. The relevance of such adaptations to a surprising range of applications will be shown, in addition to recent theoretical developments inspired by such problems. The applications addressed in this talk include understanding the motion of fluid near oceanic eddies and currents, optimising mixing in nano-fluidic devices in order to improve reactions, computing the speed of a flame front, and finding the spreading rate of bacterial colonies.
Eigen-analysis of fluid-loaded compliant panels
15:10 Wed 9 Dec, 2009 :: Santos Lecture Theatre :: Prof Tony Lucey :: Curtin University of Technology

This presentation concerns the fluid-structure interaction (FSI) that occurs between a fluid flow and an arbitrarily deforming flexible boundary considered to be a flexible panel or a compliant coating that comprises the wetted surface of a marine vehicle. We develop and deploy an approach that is a hybrid of computational and theoretical techniques. The system studied is two-dimensional and linearised disturbances are assumed. Of particular novelty in the present work is the ability of our methods to extract a full set of fluid-structure eigenmodes for systems that have strong spatial inhomogeneity in the structure of the flexible wall.

We first present the approach and some results of the system in which an ideal, zero-pressure gradient, flow interacts with a flexible plate held at both its ends. We use a combination of boundary-element and finite-difference methods to express the FSI system as a single matrix equation in the interfacial variable. This is then couched in state-space form and standard methods used to extract the system eigenvalues. It is then shown how the incorporation of spatial inhomogeneity in the stiffness of the plate can be either stabilising or destabilising. We also show that adding a further restraint within the streamwise extent of a homogeneous panel can trigger an additional type of hydroelastic instability at low flow speeds. The mechanism for the fluid-to-structure energy transfer that underpins this instability can be explained in terms of the pressure-signal phase relative to that of the wall motion and the effect on this relationship of the added wall restraint.

We then show how the ideal-flow approach can be conceptually extended to include boundary-layer effects. The flow field is now modelled by the continuity equation and the linearised perturbation momentum equation written in velocity-velocity form. The near-wall flow field is spatially discretised into rectangular elements on an Eulerian grid and a variant of the discrete-vortex method is applied. The entire fluid-structure system can again be assembled as a linear system for a single set of unknowns - the flow-field vorticity and the wall displacements - that admits the extraction of eigenvalues. We then show how stability diagrams for the fully-coupled finite flow-structure system can be assembled, in doing so identifying classes of wall-based or fluid-based and spatio-temporal wave behaviour.

Critical sets of products of linear forms
13:10 Mon 14 Dec, 2009 :: School Board Room :: Dr Graham Denham :: University of Western Ontario, Canada

Suppose $f_1,f_2,\ldots,f_n$ are linear polynomials in $\ell$ variables and $\lambda_1,\lambda_2,\ldots,\lambda_n$ are nonzero complex numbers. The product $$ \Phi_\lambda=\Prod_{i=1}^n f_1^{\lambda_i}, $$ called a master function, defines a (multivalued) function on $\ell$-dimensional complex space, or more precisely, on the complement of a set of hyperplanes. Then it is easy to ask (but harder to answer) what the set of critical points of a master function looks like, in terms of some properties of the input polynomials and $\lambda_i$'s. In my talk I will describe the motivation for considering such a question. Then I will indicate how the geometry and combinatorics of hyperplane arrangements can be used to provide at least a partial answer.
Hartogs-type holomorphic extensions
13:10 Tue 15 Dec, 2009 :: School Board Room :: Prof Roman Dwilewicz :: Missouri University of Science and Technology

We will review holomorphic extension problems starting with the famous Hartogs extension theorem (1906), via Severi-Kneser-Fichera-Martinelli theorems, up to some recent (partial) results of Al Boggess (Texas A&M Univ.), Zbigniew Slodkowski (Univ. Illinois at Chicago), and the speaker. The holomorphic extension problems for holomorphic or Cauchy-Riemann functions are fundamental problems in complex analysis of several variables. The talk will be very elementary, with many figures, and accessible to graduate and even advanced undergraduate students.
Group actions in complex geometry, I and II
13:10 Fri 8 Jan, 2010 :: School Board Room :: Prof Frank Kutzschebauch, IGA Lecturer :: University of Berne

Group actions in complex geometry, III and IV
10:10 Fri 15 Jan, 2010 :: School Board Room :: Prof Frank Kutzschebauch, IGA Lecturer :: University of Berne

Group actions in complex geometry, V and VI
10:10 Fri 22 Jan, 2010 :: School Board Room :: Prof Frank Kutzschebauch, IGA Lecturer :: University of Berne

Group actions in complex geometry, VII and VIII
10:10 Fri 29 Jan, 2010 :: Napier LG 23 :: Prof Frank Kutzschebauch, IGA Lecturer :: University of Berne

Oka manifolds and Oka maps
13:10 Fri 29 Jan, 2010 :: Napier LG 23 :: Prof Franc Forstneric :: University of Ljubljana

In this survey lecture I will discuss a new class of complex manifolds and of holomorphic maps between them which I introduced in 2009 (F. Forstneric, Oka Manifolds, C. R. Acad. Sci. Paris, Ser. I, 347 (2009) 1017-1020). Roughly speaking, a complex manifold Y is said to be an Oka manifold if Y admits plenty of holomorphic maps from any Stein manifold (or Stein space) X to Y, in a certain precise sense. In particular, the inclusion of the space of holomorphic maps of X to Y into the space of continuous maps must be a weak homotopy equivalence. One of the main results is that this class of manifolds can be characterized by a simple Runge approximation property for holomorphic maps from complex Euclidean spaces C^n to Y, with approximation on compact convex subsets of C^n. This answers in the affirmative a question posed by M. Gromov in 1989. I will also discuss the Oka properties of holomorphic maps and their characterization by approximation properties.
A solution to the Gromov-Vaserstein problem
15:10 Fri 29 Jan, 2010 :: Engineering North N 158 Chapman Lecture Theatre :: Prof Frank Kutzschebauch :: University of Berne, Switzerland

Any matrix in $SL_n (\mathbb C)$ can be written as a product of elementary matrices using the Gauss elimination process. If instead of the field of complex numbers, the entries in the matrix are elements of a more general ring, this becomes a delicate question. In particular, rings of complex-valued functions on a space are interesting cases. A deep result of Suslin gives an affirmative answer for the polynomial ring in $m$ variables in case the size $n$ of the matrix is at least 3. In the topological category, the problem was solved by Thurston and Vaserstein. For holomorphic functions on $\mathbb C^m$, the problem was posed by Gromov in the 1980s. We report on a complete solution to Gromov's problem. A main tool is the Oka-Grauert-Gromov h-principle in complex analysis. Our main theorem can be formulated as follows: In the absence of obvious topological obstructions, the Gauss elimination process can be performed in a way that depends holomorphically on the matrix. This is joint work with Bj\"orn Ivarsson.
Proper holomorphic maps from strongly pseudoconvex domains to q-convex manifolds
13:10 Fri 5 Feb, 2010 :: School Board Room :: Prof Franc Forstneric :: University of Ljubljana

(Joint work with B. Drinovec Drnovsek, Amer. J. Math., in press.) I will discuss the existence of closed complex subvarieties of a complex manifold X that are proper holomorphic images of strongly pseudoconvex Stein domains. The main sufficient condition is expressed in terms of the Morse indices and of the number of positive Levi eigenvalues of an exhaustion function on X. Examples show that our condition cannot be weakened in general. I will describe optimal results for subvarieties of this type in complements of compact complex submanifolds with Griffiths positive normal bundle; in the projective case these generalize classical theorems of Remmert, Bishop and Narasimhan concerning proper holomorphic maps and embeddings to complex Euclidean spaces.
Holomorphic extension on complex spaces
14:10 Fri 5 Mar, 2010 :: School Board Room :: Prof Egmont Porten :: Mid Sweden University

The Jeffery–Hamel similarity solution and its relation to flow in a diverging channel
15:10 Fri 19 Mar, 2010 :: Santos Lecture Theatre :: Dr Phil Haines :: University of Adelaide

Jeffery–Hamel flows describe the steady two-dimensional flow of an incompressible viscous fluid between plane walls separated by an angle $\alpha$. They are often used to approximate the flow in domains of finite radial extent. However, whilst the base Jeffery–Hamel solution is characterised by a subcritical pitchfork bifurcation, studies in expanding channels of finite length typically find symmetry breaking via a supercritical bifurcation.

We use the finite element method to calculate solutions for flow in a two-dimensional wedge of finite length bounded by arcs of constant radii, $R_1$ and $R_2$. We present a comprehensive picture of the bifurcation structure and nonlinear states for a net radial outflow of fluid. We find a series of nested neutral curves in the Reynolds number-$\alpha$ plane corresponding to pitchfork bifurcations that break the midplane symmetry of the flow. We show that these finite domain bifurcations remain distinct from the similarity solution bifurcation even in the limit $R_2/R_1 \rightarrow \infty$.

We also discuss a class of stable steady solutions apparently related to a steady, spatially periodic, wave first observed by Tutty (1996). These solutions remain disconnected in our domain in the sense that they do not arise via a local bifurcation of the Stokes flow solution as the Reynolds number is increased.

Loop groups and characteristic classes
13:10 Fri 23 Apr, 2010 :: School Board Room :: Dr Raymond Vozzo :: University of Adelaide

Suppose $G$ is a compact Lie group, $LG$ its (free) loop group and $\Omega G \subseteq LG$ its based loop group. Let $P \to M$ be a principal bundle with structure group one of these loop groups. In general, differential form representatives of characteristic classes for principal bundles can be easily obtained using the Chern-Weil homomorphism, however for infinite-dimensional bundles such as $P$ this runs into analytical problems and classes are more difficult to construct. In this talk I will explain some new results on characteristic classes for loop group bundles which demonstrate how to construct certain classes---which we call string classes---for such bundles. These are obtained by making heavy use of a certain $G$-bundle associated to any loop group bundle (which allows us to avoid the problems of dealing with infinite-dimensional bundles). We shall see that the free loop group case naturally involves equivariant cohomology.
Mathematical epidemiology with a focus on households
15:10 Fri 23 Apr, 2010 :: Napier G04 :: Dr Joshua Ross :: University of Adelaide

Mathematical models are now used routinely to inform national and global policy-makers on issues that threaten human health or which have an adverse impact on the economy. In the first part of this talk I will provide an overview of mathematical epidemiology starting with the classical deterministic model and leading to some of the current challenges. I will then present some of my recently published work which provides computationally-efficient methods for studying a mathematical model incorporating household structure. We will conclude by briefly discussing some "work-in-progess" which utilises these methods to address the issues of inference, and mixing pattern and contact structure, for emerging infections.
Moduli spaces of stable holomorphic vector bundles II
13:10 Fri 30 Apr, 2010 :: School Board Room :: A/Prof Nicholas Buchdahl :: University of Adelaide

In this talk, I shall briefly review the notion of stability for holomorphic vector bundles on compact complex manifolds as discussed in the first part of this talk (28 August 2009). Then I shall attempt to compute some explicit examples in simple situations, illustrating the use of basic algebraic-geometric tools. The level of the talk will be appropriate for graduate students, particularly those who have been taking part in the algebraic geometry reading group meetings.
Estimation of sparse Bayesian networks using a score-based approach
15:10 Fri 30 Apr, 2010 :: School Board Room :: Dr Jessica Kasza :: University of Copenhagen

The estimation of Bayesian networks given high-dimensional data sets, with more variables than there are observations, has been the focus of much recent research. These structures provide a flexible framework for the representation of the conditional independence relationships of a set of variables, and can be particularly useful in the estimation of genetic regulatory networks given gene expression data.

In this talk, I will discuss some new research on learning sparse networks, that is, networks with many conditional independence restrictions, using a score-based approach. In the case of genetic regulatory networks, such sparsity reflects the view that each gene is regulated by relatively few other genes. The presented approach allows prior information about the overall sparsity of the underlying structure to be included in the analysis, as well as the incorporation of prior knowledge about the connectivity of individual nodes within the network.

The caloron transform
13:10 Fri 7 May, 2010 :: School Board Room :: Prof Michael Murray :: University of Adelaide

The caloron transform is a `fake' dimensional reduction which transforms a G-bundle over certain manifolds to a loop group of G bundle over a manifold of one lower dimension. This talk will review the caloron transform and show how it can be best understood using the language of pseudo-isomorphisms from category theory as well as considering its application to Bogomolny monopoles and string structures.
Holonomy groups
15:10 Fri 7 May, 2010 :: Napier LG24 :: Dr Thomas Leistner :: University of Adelaide

In the first part of the talk I will illustrate some basic concepts of differential geometry that lead to the notion of a holonomy group. Then I will explain Berger's classification of Riemannian holonomy groups and discuss questions that arose from it. Finally, I will focus on holonomy groups of Lorentzian manifolds and indicate briefly why all this is of relevance to present-day theoretical physics.
Moduli spaces of stable holomorphic vector bundles III
13:10 Fri 14 May, 2010 :: School Board Room :: A/Prof Nicholas Buchdahl :: University of Adelaide

This talk is a continuation of the talk on 30 April. The same abstract applies: In this talk, I shall briefly review the notion of stability for holomorphic vector bundles on compact complex manifolds as discussed in the first part of this talk (28 August 2009). Then I shall attempt to compute some explicit examples in simple situations, illustrating the use of basic algebraic-geometric tools. The level of the talk will be appropriate for graduate students, particularly those who have been taking part in the algebraic geometry reading group meetings.
Understanding convergence of meshless methods: Vortex methods and smoothed particle hydrodynamics
15:10 Fri 14 May, 2010 :: Santos Lecture Theatre :: A/Prof Lou Rossi :: University of Delaware

Meshless methods such as vortex methods (VMs) and smoothed particle hydrodynamics (SPH) schemes offer many advantages in fluid flow computations. Particle-based computations naturally adapt to complex flow geometries and so provide a high degree of computational efficiency. Also, particle based methods avoid CFL conditions because flow quantities are integrated along characteristics. There are many approaches to improving numerical methods, but one of the most effective routes is quantifying the error through the direct estimate of residual quantities. Understanding the residual for particle schemes requires a different approach than for meshless schemes but the rewards are significant. In this seminar, I will outline a general approach to understanding convergence that has been effective in creating high spatial accuracy vortex methods, and then I will discuss some recent investigations in the accuracy of diffusion operators used in SPH computations. Finally, I will provide some sample Navier-Stokes computations of high Reynolds number flows using BlobFlow, an open source implementation of the high precision vortex method.
Functorial 2-connected covers
13:10 Fri 21 May, 2010 :: School Board Room :: David Roberts :: University of Adelaide

The Whitehead tower of a topological space seeks to resolve that space by successively removing homotopy groups from the 'bottom up'. For a path-connected space with no 1-dimensional local pathologies the first stage in the tower can be chosen to be the universal (=1-connected) covering space. This construction also works in the category Diff of manifolds. However, further stages in the two known constructions of the Whitehead tower do not work in Diff, being purely topological - and one of these is non-functorial, depending on a large number of choices. This talk will survey results from my thesis which constructs a new, functorial model for the 2-connected cover which will lift to a generalised (2-)category of smooth objects. This talk contains joint work with Andrew Stacey of the Norwegian University of Science and Technology.
Interpolation of complex data using spatio-temporal compressive sensing
13:00 Fri 28 May, 2010 :: Santos Lecture Theatre :: A/Prof Matthew Roughan :: School of Mathematical Sciences, University of Adelaide

Many complex datasets suffer from missing data, and interpolating these missing elements is a key task in data analysis. Moreover, it is often the case that we see only a linear combination of the desired measurements, not the measurements themselves. For instance, in network management, it is easy to count the traffic on a link, but harder to measure the end-to-end flows. Additionally, typical interpolation algorithms treat either the spatial, or the temporal components of data separately, but in many real datasets have strong spatio-temporal structure that we would like to exploit in reconstructing the missing data. In this talk I will describe a novel reconstruction algorithm that exploits concepts from the growing area of compressive sensing to solve all of these problems and more. The approach works so well on Internet traffic matrices that we can obtain a reasonable reconstruction with as much as 98% of the original data missing.
Vertex algebras and variational calculus I
13:10 Fri 4 Jun, 2010 :: School Board Room :: Dr Pedram Hekmati :: University of Adelaide

A basic operation in calculus of variations is the Euler-Lagrange variational derivative, whose kernel determines the extremals of functionals. There exists a natural resolution of this operator, called the variational complex. In this talk, I shall explain how to use tools from the theory of vertex algebras to explicitly construct the variational complex. This also provides a very convenient language for classifying and constructing integrable Hamiltonian evolution equations.
Vertex algebras and variational calculus II
13:10 Fri 11 Jun, 2010 :: School Board Room :: Dr Pedram Hekmati :: University of Adelaide

Last time I introduced the variational complex of an algebra of differential functions and gave a sketchy definition of a vertex algebra. This week I will make this notion more precise and explain how to apply it to the calculus of variations.
Some thoughts on wine production
15:05 Fri 18 Jun, 2010 :: School Board Room :: Prof Zbigniew Michalewicz :: School of Computer Science, University of Adelaide

In the modern information era, managers (e.g. winemakers) recognize the competitive opportunities represented by decision-support tools which can provide a significant cost savings & revenue increases for their businesses. Wineries make daily decisions on the processing of grapes, from harvest time (prediction of maturity of grapes, scheduling of equipment and labour, capacity planning, scheduling of crushers) through tank farm activities (planning and scheduling of wine and juice transfers on the tank farm) to packaging processes (bottling and storage activities). As such operation is quite complex, the whole area is loaded with interesting OR-related issues. These include the issues of global vs. local optimization, relationship between prediction and optimization, operating in dynamic environments, strategic vs. tactical optimization, and multi-objective optimization & trade-off analysis. During the talk we address the above issues; a few real-world applications will be shown and discussed to emphasize some of the presented material.
On affine BMW algebras
13:10 Fri 25 Jun, 2010 :: Napier 208 :: Prof Arun Ram :: University of Melbourne

I will describe a family of algebras of tangles (which give rise to link invariants following the methods of Reshetikhin-Turaev and Jones) and describe some aspects of their structure and their representation theory. The main goal will be to explain how to use universal Verma modules for the symplectic group to compute the representation theory of affine BMW (Birman-Murakami-Wenzl) algebras.
Meteorological drivers of extreme bushfire events in southern Australia
15:10 Fri 2 Jul, 2010 :: Benham Lecture Theatre :: Prof Graham Mills :: Centre for Australian Weather and Climate Research, Melbourne

Bushfires occur regularly during summer in southern Australia, but only a few of these fires become iconic due to their effects, either in terms of loss of life or economic and social cost. Such events include Black Friday (1939), the Hobart fires (1967), Ash Wednesday (1983), the Canberra bushfires (2003), and most recently Black Saturday in February 2009. In most of these events the weather of the day was statistically extreme in terms of heat, (low) humidity, and wind speed, and in terms of antecedent drought. There are a number of reasons for conducting post-event analyses of the meteorology of these events. One is to identify any meteorological circulation systems or dynamic processes occurring on those days that might not be widely or hitherto recognised, to document these, and to develop new forecast or guidance products. The understanding and prediction of such features can be used in the short term to assist in effective management of fires and the safety of firefighters and in the medium range to assist preparedness for the onset of extreme conditions. The results of such studies can also be applied to simulations of future climates to assess the likely changes in frequency of the most extreme fire weather events, and their documentary records provide a resource that can be used for advanced training purposes. In addition, particularly for events further in the past, revisiting these events using reanalysis data sets and contemporary NWP models can also provide insights unavailable at the time of the events. Over the past few years the Bushfire CRC's Fire Weather and Fire Danger project in CAWCR has studied the mesoscale meteorology of a number of major fire events, including the days of Ash Wednesday 1983, the Dandenong Ranges fire in January 1997, the Canberra fires and the Alpine breakout fires in January 2003, the Lower Eyre Peninsula fires in January 2005 and the Boorabbin fire in December 2007-January 2008. Various aspects of these studies are described below, including the structures of dry cold frontal wind changes, the particular character of the cold fronts associated with the most damaging fires in southeastern Australia, and some aspects of how the vertical temperature and humidity structure of the atmosphere may affect the fire weather at the surface. These studies reveal much about these major events, but also suggest future research directions, and some of these will be discussed.
Eynard-Orantin invariants and enumerative geometry
13:10 Fri 6 Aug, 2010 :: Ingkarni Wardli B20 (Suite 4) :: Dr Paul Norbury :: University of Melbourne

As a tool for studying enumerative problems in geometry Eynard and Orantin associate multilinear differentials to any plane curve. Their work comes from matrix models but does not require matrix models (for understanding or calculations). In some sense they describe deformations of complex structures of a curve and conjectural relationships to deformations of Kahler structures of an associated object. I will give an introduction to their invariants via explicit examples, mainly to do with the moduli space of Riemann surfaces, in which the plane curve has genus zero.
Counting lattice points in polytopes and geometry
15:10 Fri 6 Aug, 2010 :: Napier G04 :: Dr Paul Norbury :: University of Melbourne

Counting lattice points in polytopes arises in many areas of pure and applied mathematics. A basic counting problem is this: how many different ways can one give change of 1 dollar into 5,10, 20 and 50 cent coins? This problem counts lattice points in a tetrahedron, and if there also must be exactly 10 coins then it counts lattice points in a triangle. The number of lattice points in polytopes can be used to measure the robustness of a computer network, or in statistics to test independence of characteristics of samples. I will describe the general structure of lattice point counts and the difficulty of calculations. I will then describe a particular lattice point count in which the structure simplifies considerably allowing one to calculate easily. I will spend a brief time at the end describing how this is related to the moduli space of Riemann surfaces.
A polyhedral model for boron nitride nanotubes
15:10 Fri 3 Sep, 2010 :: Napier G04 :: Dr Barry Cox :: University of Adelaide

The conventional rolled-up model of nanotubes does not apply to the very small radii tubes, for which curvature effects become significant. In this talk an existing geometric model for carbon nanotubes proposed by the authors, which accommodates this deficiency and which is based on the exact polyhedral cylindrical structure, is extended to a nanotube structure involving two species of atoms in equal proportion, and in particular boron nitride nanotubes. This generalisation allows the principle features to be included as the fundamental assumptions of the model, such as equal bond length but distinct bond angles and radii between the two species. The polyhedral model is based on the five simple geometric assumptions: (i) all bonds are of equal length, (ii) all bond angles for the boron atoms are equal, (iii) all boron atoms lie at an equal distance from the nanotube axis, (iv) all nitrogen atoms lie at an equal distance from the nanotube axis, and (v) there exists a fixed ratio of pyramidal height H, between the boron species compared with the corresponding height in a symmetric single species nanotube. Working from these postulates, expressions are derived for the various structural parameters such as radii and bond angles for the two species for specific values of the chiral vector numbers (n,m). The new model incorporates an additional constant of proportionality H, which we assume applies to all nanotubes comprising the same elements and is such that H = 1 for a single species nanotube. Comparison with `ab initio' studies suggest that this assumption is entirely reasonable, and in particular we determine the value H = 0.56\pm0.04 for boron nitride, based on computational results in the literature. This talk relates to work which is a couple of years old and given time at the end we will discuss some newer results in geometric models developed with our former student Richard Lee (now also at the University of Adelaide as a post doc) and some work-in-progress on carbon nanocones. Note: pyramidal height is our own terminology and will be explained in the talk.
Contraction subgroups in locally compact groups
13:10 Fri 17 Sep, 2010 :: Ingkarni Wardli B20 (Suite 4) :: Prof George Willis :: University of Newcastle

For each automorphism, $\alpha$, of the locally compact group $G$ there is a corresponding {\sl contraction subgroup\/}, $\hbox{con}(\alpha)$, which is the set of $x\in G$ such that $\alpha^n(x)$ converges to the identity as $n\to \infty$. Contractions subgroups are important in representation theory, through the Mautner phenomenon, and in the study of convolution semigroups. If $G$ is a Lie group, then $\hbox{con}(\alpha)$ is automatically closed, can be described in terms of eigenvalues of $\hbox{ad}(\alpha)$, and is nilpotent. Since any connected group may be approximated by Lie groups, contraction subgroups of connected groups are thus well understood. Following a general introduction, the talk will focus on contraction subgroups of totally disconnected groups. A criterion for non-triviality of $\hbox{con}(\alpha)$ will be described (joint work with U.~Baumgartner) and a structure theorem for $\hbox{con}(\alpha)$ when it is closed will be presented (joint with H.~Gl\"oeckner).
Totally disconnected, locally compact groups
15:10 Fri 17 Sep, 2010 :: Napier G04 :: Prof George Willis :: University of Newcastle

Locally compact groups occur in many branches of mathematics. Their study falls into two cases: connected groups, which occur as automorphisms of smooth structures such as spheres for example; and totally disconnected groups, which occur as automorphisms of discrete structures such as trees. The talk will give an overview of the currently developing structure theory of totally disconnected locally compact groups. Techniques for analysing totally disconnected groups will be described that correspond to the familiar Lie group methods used to treat connected groups. These techniques played an essential role in the recent solution of a problem raised by R. Zimmer and G. Margulis concerning commensurated subgroups of arithmetic groups.
Principal Component Analysis Revisited
15:10 Fri 15 Oct, 2010 :: Napier G04 :: Assoc. Prof Inge Koch :: University of Adelaide

Since the beginning of the 20th century, Principal Component Analysis (PCA) has been an important tool in the analysis of multivariate data. The principal components summarise data in fewer than the original number of variables without losing essential information, and thus allow a split of the data into signal and noise components. PCA is a linear method, based on elegant mathematical theory. The increasing complexity of data together with the emergence of fast computers in the later parts of the 20th century has led to a renaissance of PCA. The growing numbers of variables (in particular, high-dimensional low sample size problems), non-Gaussian data, and functional data (where the data are curves) are posing exciting challenges to statisticians, and have resulted in new research which extends the classical theory. I begin with the classical PCA methodology and illustrate the challenges presented by the complex data that we are now able to collect. The main part of the talk focuses on extensions of PCA: the duality of PCA and the Principal Coordinates of Multidimensional Scaling, Sparse PCA, and consistency results relating to principal components, as the dimension grows. We will also look at newer developments such as Principal Component Regression and Supervised PCA, nonlinear PCA and Functional PCA.
IGA-AMSI Workshop: Dirac operators in geometry, topology, representation theory, and physics
10:00 Mon 18 Oct, 2010 :: 7.15 Ingkarni Wardli :: Prof Dan Freed :: University of Texas, Austin

Lecture Series by Dan Freed (University of Texas, Austin). Dirac introduced his eponymous operator to describe electrons in quantum theory. It was rediscovered by Atiyah and Singer in their study of the index problem on manifolds. In these lectures we explore new theorems and applications. Several of these also involve K-theory in its recent twisted and differential variations. These lectures will be supplemented by additional talks by invited speakers. For more details, please see the conference webpage:
Complete quaternionic Kahler manifolds associated to cubic polynomials
13:10 Fri 11 Feb, 2011 :: Ingkarni Wardli B18 :: Prof Vicente Cortes :: University of Hamburg

We prove that the supergravity r- and c-maps preserve completeness. As a consequence, any component H of a hypersurface {h = 1} defined by a homogeneous cubic polynomial h such that -\partial^2 h is a complete Riemannian metric on H defines a complete projective special Kahler manifold and any complete projective special Kahler manifold defines a complete quaternionic Kahler manifold of negative scalar curvature. We classify all complete quaternionic Kahler manifolds of dimension less or equal to 12 which are obtained in this way and describe some complete examples in 16 dimensions.
Real analytic sets in complex manifolds I: holomorphic closure dimension
13:10 Fri 4 Mar, 2011 :: Mawson 208 :: Dr Rasul Shafikov :: University of Western Ontario

After a quick introduction to real and complex analytic sets, I will discuss possible notions of complex dimension of real sets, and then discuss a structure theorem for the holomorphic closure dimension which is defined as the dimension of the smallest complex analytic germ containing the real germ.
Mathematical modelling in nanotechnology
15:10 Fri 4 Mar, 2011 :: 7.15 Ingkarni Wardli :: Prof Jim Hill :: University of Adelaide

In this talk we present an overview of the mathematical modelling contributions of the Nanomechanics Groups at the Universities of Adelaide and Wollongong. Fullerenes and carbon nanotubes have unique properties, such as low weight, high strength, flexibility, high thermal conductivity and chemical stability, and they have many potential applications in nano-devices. In this talk we first present some new results on the geometric structure of carbon nanotubes and on related nanostructures. One concept that has attracted much attention is the creation of nano-oscillators, to produce frequencies in the gigahertz range, for applications such as ultra-fast optical filters and nano-antennae. The sliding of an inner shell inside an outer shell of a multi-walled carbon nanotube can generate oscillatory frequencies up to several gigahertz, and the shorter the inner tube the higher the frequency. A C60-nanotube oscillator generates high frequencies by oscillating a C60 fullerene inside a single-walled carbon nanotube. Here we discuss the underlying mechanisms of nano-oscillators and using the Lennard-Jones potential together with the continuum approach, to mathematically model the C60-nanotube nano-oscillator. Finally, three illustrative examples of recent modelling in hydrogen storage, nanomedicine and nanocomputing are discussed.
Real analytic sets in complex manifolds II: complex dimension
13:10 Fri 11 Mar, 2011 :: Mawson 208 :: Dr Rasul Shafikov :: University of Western Ontario

Given a real analytic set R, denote by A the subset of R of points through which there is a nontrivial complex variety contained in R, i.e., A consists of points in R of positive complex dimension. I will discuss the structure of the set A.
Bioinspired computation in combinatorial optimization: algorithms and their computational complexity
15:10 Fri 11 Mar, 2011 :: 7.15 Ingkarni Wardli :: Dr Frank Neumann :: The University of Adelaide

Bioinspired computation methods, such as evolutionary algorithms and ant colony optimization, are being applied successfully to complex engineering and combinatorial optimization problems. The computational complexity analysis of this type of algorithms has significantly increased the theoretical understanding of these successful algorithms. In this talk, I will give an introduction into this field of research and present some important results that we achieved for problems from combinatorial optimization. These results can also be found in my recent textbook "Bioinspired Computation in Combinatorial Optimization -- Algorithms and Their Computational Complexity".
Surface quotients of hyperbolic buildings
13:10 Fri 18 Mar, 2011 :: Mawson 208 :: Dr Anne Thomas :: University of Sydney

Let I(p,v) be Bourdon's building, the unique simply-connected 2-complex such that all 2-cells are regular right-angled hyperbolic p-gons, and the link at each vertex is the complete bipartite graph K_{v,v}. We investigate and mostly determine the set of triples (p,v,g) for which there is a discrete group acting on I(p,v) so that the quotient is a compact orientable surface of genus g. Surprisingly, the existence of such a quotient depends upon the value of v. The remaining cases lead to open questions in tessellations of surfaces and in number theory. We use elementary group theory, combinatorics, algebraic topology and number theory. This is joint work with David Futer.
Lorentzian manifolds with special holonomy
13:10 Fri 25 Mar, 2011 :: Mawson 208 :: Mr Kordian Laerz :: Humboldt University, Berlin

A parallel lightlike vector field on a Lorentzian manifold X naturally defines a foliation of codimension 1 on X and a 1-dimensional subfoliation. In the first part we introduce Lorentzian metrics on the total space of certain circle bundles in order to construct weakly irreducible Lorentzian manifolds admitting a parallel lightlike vector field such that all leaves of the foliations are compact. Then we study which holonomy representations can be realized in this way. Finally, we consider the structure of arbitrary Lorentzian manifolds for which the leaves of the foliations are compact.
Spherical tube hypersurfaces
13:10 Fri 8 Apr, 2011 :: Mawson 208 :: Prof Alexander Isaev :: Australian National University

We consider smooth real hypersurfaces in a complex vector space. Specifically, we are interested in tube hypersurfaces, i.e., hypersurfaces represented as the direct product of the imaginary part of the space and hypersurfaces lying in its real part. Tube hypersurfaces arise, for instance, as the boundaries of tube domains. The study of tube domains is a classical subject in several complex variables and complex geometry, which goes back to the beginning of the 20th century. Indeed, already Siegel found it convenient to realise certain symmetric domains as tubes. One can endow a tube hypersurface with a so-called CR-structure, which is the remnant of the complex structure on the ambient vector space. We impose on the CR-structure the condition of sphericity. One way to state this condition is to require a certain curvature (called the CR-curvature of the hypersurface) to vanish identically. Spherical tube hypersurfaces possess remarkable properties and are of interest from both the complex-geometric and affine-geometric points of view. I my talk I will give an overview of the theory of such hypersurfaces. In particular, I will mention an algebraic construction arising from this theory that has applications in abstract commutative algebra and singularity theory. I will speak about these applications in detail in my colloquium talk later today.
Algebraic hypersurfaces arising from Gorenstein algebras
15:10 Fri 8 Apr, 2011 :: 7.15 Ingkarni Wardli :: Associate Prof Alexander Isaev :: Australian National University

To every Gorenstein algebra of finite dimension greater than 1 over a field of characteristic zero, and a projection on its maximal ideal with range equal to the annihilator of the ideal, one can associate a certain algebraic hypersurface lying in the ideal. Such hypersurfaces possess remarkable properties. They can be used, for instance, to help decide whether two given Gorenstein algebras are isomorphic, which for the case of complex numbers leads to interesting consequences in singularity theory. Also, for the case of real numbers such hypersurfaces naturally arise in CR-geometry. In my talk I will discuss these hypersurfaces and some of their applications.
Centres of cyclotomic Hecke algebras
13:10 Fri 15 Apr, 2011 :: Mawson 208 :: A/Prof Andrew Francis :: University of Western Sydney

The cyclotomic Hecke algebras, or Ariki-Koike algebras $H(R,q)$, are deformations of the group algebras of certain complex reflection groups $G(r,1,n)$, and also are quotients of the ubiquitous affine Hecke algebra. The centre of the affine Hecke algebra has been understood since Bernstein in terms of the symmetric group action on the weight lattice. In this talk I will discuss the proof that over an arbitrary unital commutative ring $R$, the centre of the affine Hecke algebra maps \emph{onto} the centre of the cyclotomic Hecke algebra when $q-1$ is invertible in $R$. This is the analogue of the fact that the centre of the Hecke algebra of type $A$ is the set of symmetric polynomials in Jucys-Murphy elements (formerly known as he Dipper-James conjecture). Key components of the proof include the relationship between the trace functions on the affine Hecke algebra and on the cyclotomic Hecke algebra, and the link to the affine braid group. This is joint work with John Graham and Lenny Jones.
A strong Oka principle for embeddings of some planar domains into CxC*, I
13:10 Fri 6 May, 2011 :: Mawson 208 :: Mr Tyson Ritter :: University of Adelaide

The Oka principle refers to a collection of results in complex analysis which state that there are only topological obstructions to solving certain holomorphically defined problems involving Stein manifolds. For example, a basic version of Gromov's Oka principle states that every continuous map from a Stein manifold into an elliptic complex manifold is homotopic to a holomorphic map. In these two talks I will discuss a new result showing that if we restrict the class of source manifolds to circular domains and fix the target as CxC* we can obtain a much stronger Oka principle: every continuous map from a circular domain S into CxC* is homotopic to a proper holomorphic embedding. This result has close links with the long-standing and difficult problem of finding proper holomorphic embeddings of Riemann surfaces into C^2, with additional motivation from other sources.
A strong Oka principle for embeddings of some planar domains into CxC*, II
13:10 Fri 13 May, 2011 :: Mawson 208 :: Mr Tyson Ritter :: University of Adelaide

The Oka principle refers to a collection of results in complex analysis which state that there are only topological obstructions to solving certain holomorphically defined problems involving Stein manifolds. For example, a basic version of Gromov's Oka principle states that every continuous map from a Stein manifold into an elliptic complex manifold is homotopic to a holomorphic map. In these two talks I will discuss a new result showing that if we restrict the class of source manifolds to circular domains and fix the target as CxC* we can obtain a much stronger Oka principle: every continuous map from a circular domain S into CxC* is homotopic to a proper holomorphic embedding. This result has close links with the long-standing and difficult problem of finding proper holomorphic embeddings of Riemann surfaces into C^2, with additional motivation from other sources.
Statistical modelling in economic forecasting: semi-parametrically spatio-temporal approach
12:10 Mon 23 May, 2011 :: 5.57 Ingkarni Wardli :: Dawlah Alsulami :: University of Adelaide

How to model spatio-temporal variation of housing prices is an important and challenging problem as it is of vital importance for both investors and policy makersto assess any movement in housing prices. In this seminar I will talk about the proposed model to estimate any movement in housing prices and measure the risk more accurately.
Lifting principal bundles and abelian extensions
13:10 Fri 27 May, 2011 :: Mawson 208 :: Prof Michael Murray :: School of Mathematical Sciences

I will review what it means to lift the structure group of a principal bundle and the topological obstruction to this in the case of a central extension. I will then discuss some new results in the case of abelian extensions.
Optimal experimental design for stochastic population models
15:00 Wed 1 Jun, 2011 :: 7.15 Ingkarni Wardli :: Dr Dan Pagendam :: CSIRO, Brisbane

Markov population processes are popular models for studying a wide range of phenomena including the spread of disease, the evolution of chemical reactions and the movements of organisms in population networks (metapopulations). Our ability to use these models effectively can be limited by our knowledge about parameters, such as disease transmission and recovery rates in an epidemic. Recently, there has been interest in devising optimal experimental designs for stochastic models, so that practitioners can collect data in a manner that maximises the precision of maximum likelihood estimates of the parameters for these models. I will discuss some recent work on optimal design for a variety of population models, beginning with some simple one-parameter models where the optimal design can be obtained analytically and moving on to more complicated multi-parameter models in epidemiology that involve latent states and non-exponentially distributed infectious periods. For these more complex models, the optimal design must be arrived at using computational methods and we rely on a Gaussian diffusion approximation to obtain analytical expressions for Fisher's information matrix, which is at the heart of most optimality criteria in experimental design. I will outline a simple cross-entropy algorithm that can be used for obtaining optimal designs for these models. We will also explore the improvements in experimental efficiency when using the optimal design over some simpler designs, such as the design where observations are spaced equidistantly in time.
Priority queueing systems with random switchover times and generalisations of the Kendall-Takacs equation
16:00 Wed 1 Jun, 2011 :: 7.15 Ingkarni Wardli :: Dr Andrei Bejan :: The University of Cambridge

In this talk I will review existing analytical results for priority queueing systems with Poisson incoming flows, general service times and a single server which needs some (random) time to switch between requests of different priority. Specifically, I will discuss analytical results for the busy period and workload of such systems with a special structure of switchover times. The results related to the busy period can be seen as generalisations of the famous Kendall-Tak\'{a}cs functional equation for $M|G|1$: being formulated in terms of Laplace-Stieltjes transform, they represent systems of functional recurrent equations. I will present a methodology and algorithms of their numerical solution; the efficiency of these algorithms is achieved by acceleration of the numerical procedure of solving the classical Kendall-Tak\'{a}cs equation. At the end I will identify open problems with regard to such systems; these open problems are mainly related to the modelling of switchover times.
Natural operations on the Hochschild cochain complex
13:10 Fri 3 Jun, 2011 :: Mawson 208 :: Dr Michael Batanin :: Macquarie University

The Hochschild cochain complex of an associative algebra provides an important bridge between algebra and geometry. Algebraically, this is the derived center of the algebra. Geometrically, the Hochschild cohomology of the algebra of smooth functions on a manifold is isomorphic to the graduate space of polyvector fields on this manifold. There are many important operations acting on the Hochschild complex. It is, however, a tricky question to ask which operations are natural because the Hochschild complex is not a functor. In my talk I will explain how we can overcome this obstacle and compute all possible natural operations on the Hochschild complex. The result leads immediately to a proof of the Deligne conjecture on Hochschild cochains.
Routing in equilibrium
15:10 Tue 21 Jun, 2011 :: 7.15 Ingkarni Wardli :: Dr Timothy Griffin :: University of Cambridge

Some path problems cannot be modelled using semirings because the associated algebraic structure is not distributive. Rather than attempting to compute globally optimal paths with such structures, it may be sufficient in some cases to find locally optimal paths --- paths that represent a stable local equilibrium. For example, this is the type of routing system that has evolved to connect Internet Service Providers (ISPs) where link weights implement bilateral commercial relationships between them. Previous work has shown that routing equilibria can be computed for some non-distributive algebras using algorithms in the Bellman-Ford family. However, no polynomial time bound was known for such algorithms. In this talk, we show that routing equilibria can be computed using Dijkstra's algorithm for one class of non-distributive structures. This provides the first polynomial time algorithm for computing locally optimal solutions to path problems.
Object oriented data analysis
14:10 Thu 30 Jun, 2011 :: 7.15 Ingkarni Wardli :: Prof Steve Marron :: The University of North Carolina at Chapel Hill

Object Oriented Data Analysis is the statistical analysis of populations of complex objects. In the special case of Functional Data Analysis, these data objects are curves, where standard Euclidean approaches, such as principal components analysis, have been very successful. Recent developments in medical image analysis motivate the statistical analysis of populations of more complex data objects which are elements of mildly non-Euclidean spaces, such as Lie Groups and Symmetric Spaces, or of strongly non-Euclidean spaces, such as spaces of tree-structured data objects. These new contexts for Object Oriented Data Analysis create several potentially large new interfaces between mathematics and statistics. Even in situations where Euclidean analysis makes sense, there are statistical challenges because of the High Dimension Low Sample Size problem, which motivates a new type of asymptotics leading to non-standard mathematical statistics.
Object oriented data analysis of tree-structured data objects
15:10 Fri 1 Jul, 2011 :: 7.15 Ingkarni Wardli :: Prof Steve Marron :: The University of North Carolina at Chapel Hill

The field of Object Oriented Data Analysis has made a lot of progress on the statistical analysis of the variation in populations of complex objects. A particularly challenging example of this type is populations of tree-structured objects. Deep challenges arise, which involve a marriage of ideas from statistics, geometry, and numerical analysis, because the space of trees is strongly non-Euclidean in nature. These challenges, together with three completely different approaches to addressing them, are illustrated using a real data example, where each data point is the tree of blood arteries in one person's brain.
The (dual) local cyclic homology valued Chern-Connes character for some infinite dimensional spaces
13:10 Fri 29 Jul, 2011 :: B.19 Ingkarni Wardli :: Dr Snigdhayan Mahanta :: School of Mathematical Sciences

I will explain how to construct a bivariant Chern-Connes character on the category of sigma-C*-algebras taking values in Puschnigg's local cyclic homology. Roughly, setting the first (resp. the second) variable to complex numbers one obtains the K-theoretic (resp. dual K-homological) Chern-Connes character in one variable. We shall focus on the dual K-homological Chern-Connes character and investigate it in the example of SU(infty).
Modelling computer network topologies through optimisation
12:10 Mon 1 Aug, 2011 :: 5.57 Ingkarni Wardli :: Mr Rhys Bowden :: University of Adelaide

The core of the Internet is made up of many different computers (called routers) in many different interconnected networks, owned and operated by many different organisations. A popular and important field of study in the past has been "network topology": for instance, understanding which routers are connected to which other routers, or which networks are connected to which other networks; that is, studying and modelling the connection structure of the Internet. Previous study in this area has been plagued by unreliable or flawed experimental data and debate over appropriate models to use. The Internet Topology Zoo is a new source of network data created from the information that network operators make public. In order to better understand this body of network information we would like the ability to randomly generate network topologies resembling those in the zoo. Leveraging previous wisdom on networks produced as a result of optimisation processes, we propose a simple objective function based on possible economic constraints. By changing the relative costs in the objective function we can change the form of the resulting networks, and we compare these optimised networks to a variety of networks found in the Internet Topology Zoo.
Spectra alignment/matching for the classification of cancer and control patients
12:10 Mon 8 Aug, 2011 :: 5.57 Ingkarni Wardli :: Mr Tyman Stanford :: University of Adelaide

Proteomic time-of-flight mass spectrometry produces a spectrum based on the peptides (chains of amino acids) in each patient’s serum sample. The spectra contain data points for an x-axis (peptide weight) and a y-axis (peptide frequency/count/intensity). It is our end goal to differentiate cancer (and sub-types) and control patients using these spectra. Before we can do this, peaks in these data must be found and common peptides to different spectra must be found. The data are noisy because of biotechnological variation and calibration error; data points for different peptide weights may in fact be same peptide. An algorithm needs to be employed to find common peptides between spectra, as performing alignment ‘by hand’ is almost infeasible. We borrow methods suggested in the literature by metabolomic gas chromatography-mass spectrometry and extend the methods for our purposes. In this talk I will go over the basic tenets of what we hope to achieve and the process towards this.
Boundaries of unsteady Lagrangian Coherent Structures
15:10 Wed 10 Aug, 2011 :: 5.57 Ingkarni Wardli :: Dr Sanjeeva Balasuriya :: Connecticut College, USA and the University of Adelaide

For steady flows, the boundaries of Lagrangian Coherent Structures are segments of manifolds connected to fixed points. In the general unsteady situation, these boundaries are time-varying manifolds of hyperbolic trajectories. Locating these boundaries, and attempting to meaningfully quantify fluid flux across them, is difficult since they are moving with time. This talk uses a newly developed tangential movement theory to locate these boundaries in nearly-steady compressible flows.
Dealing with the GC-content bias in second-generation DNA sequence data
15:10 Fri 12 Aug, 2011 :: Horace Lamb :: Prof Terry Speed :: Walter and Eliza Hall Institute

The field of genomics is currently dealing with an explosion of data from so-called second-generation DNA sequencing machines. This is creating many challenges and opportunities for statisticians interested in the area. In this talk I will outline the technology and the data flood, and move on to one particular problem where the technology is used: copy-number analysis. There we find a novel bias, which, if not dealt with properly, can dominate the signal of interest. I will describe how we think about and summarize it, and go on to identify a plausible source of this bias, leading up to a way of removing it. Our approach makes use of the total variation metric on discrete measures, but apart from this, is largely descriptive.
Comparing Einstein to Newton via the post-Newtonian expansions
15:10 Fri 19 Aug, 2011 :: 7.15 Ingkarni Wardli :: Dr Todd Oliynyk :: Monash University

Einstein's general relativity is presently the most accurate theory of gravity. To completely determine the gravitational field, the Einstein field equations must be solved. These equations are extremely complex and outside of a small set of idealized situations, they are impossible to solve directly. However, to make physical predictions or understand physical phenomena, it is often enough to find approximate solutions that are governed by a simpler set of equations. For example, Newtonian gravity approximates general relativity very well in regimes where the typical velocity of the gravitating matter is small compared to the speed of light. Indeed, Newtonian gravity successfully explains much of the behaviour of our solar system and is a simpler theory of gravity. However, for many situations of interest ranging from binary star systems to GPS satellites, the Newtonian approximation is not accurate enough; general relativistic effects must be included. This desire to include relativistic corrections to Newtonian gravity lead to the development of the post-Newtonian expansions.
Blood flow in the coiled umbilical cord
12:10 Mon 22 Aug, 2011 :: 5.57 Ingkarni Wardli :: Mr David Wilke :: University of Adelaide

The umbilical cord is the connecting cord between the developing embryo or fetus and the placenta. In a normal pregnancy it facilitates the supply of oxygen and nutrients from the placenta, in addition to the return of deoxygenated blood from the fetus. One of the most striking features of the umbilical cord is it's coiled structure, which allows the vasculature to withstand tensile and compressive forces in utero. The level of coiling also has a significant effect on the blood flow and cords exhibiting abnormally high or low levels are known to correlate well with adverse outcomes in pregancy, including fetal demise. In this talk I will discuss the complexities associated with numerically modeling blood flow within the umbilical cord, and provide an outline of the key features which will be investigated throughout my research.
Deformations of Oka manifolds
13:10 Fri 26 Aug, 2011 :: B.19 Ingkarni Wardli :: A/Prof Finnur Larusson :: University of Adelaide

We discuss the behaviour of the Oka property with respect to deformations of compact complex manifolds. We have recently proved that in a family of compact complex manifolds, the set of Oka fibres corresponds to a G_delta subset of the base. We have also found a necessary and sufficient condition for the limit fibre of a sequence of Oka fibres to be Oka in terms of a new uniform Oka property. The special case when the fibres are tori will be considered, as well as the general case of holomorphic submersions with noncompact fibres.
Laplace's equation on multiply-connected domains
12:10 Mon 29 Aug, 2011 :: 5.57 Ingkarni Wardli :: Mr Hayden Tronnolone :: University of Adelaide

Various physical processes take place on multiply-connected domains (domains with some number of 'holes'), such as the stirring of a fluid with paddles or the extrusion of material from a die. These systems may be described by partial differential equations (PDEs). However, standard numerical methods for solving PDEs are not well-suited to such examples: finite difference methods are difficult to implement on multiply-connected domains, especially when the boundaries are irregular or moving, while finite element methods are computationally expensive. In this talk I will describe a fast and accurate numerical method for solving certain PDEs on two-dimensional multiply-connected domains, considering Laplace's equation as an example. This method takes advantage of complex variable techniques which allow the solution to be found with spectral accuracy provided the boundary data is smooth. Other advantages over traditional numerical methods will also be discussed.
Oka properties of some hypersurface complements
13:10 Fri 2 Sep, 2011 :: B.19 Ingkarni Wardli :: Mr Alexander Hanysz :: University of Adelaide

Oka manifolds can be viewed as the "opposite" of Kobayashi hyperbolic manifolds. Kobayashi conjectured that the complement of a generic algebraic hypersurface of sufficiently high degree is hyperbolic. Therefore it is natural to ask whether the complement is Oka for the case of low degree or non-algebraic hypersurfaces. We provide a complete answer to this question for complements of hyperplane arrangements, and some results for graphs of meromorphic functions.
Twisted Morava K-theory
13:10 Fri 9 Sep, 2011 :: 7.15 Ingkarni Wardli :: Dr Craig Westerland :: University of Melbourne

Morava's extraordinary K-theories K(n) are a family of generalized cohomology theories which behave in some ways like K-theory (indeed, K(1) is mod 2 K-theory). Their construction exploits Quillen's description of cobordism in terms of formal group laws and Lubin-Tate's methods in class field theory for constructing abelian extensions of number fields. Constructed from homotopy-theoretic methods, they do not admit a geometric description (like deRham cohomology, K-theory, or cobordism), but are nonetheless subtle, computable invariants of topological spaces. In this talk, I will give an introduction to these theories, and explain how it is possible to define an analogue of twisted K-theory in this setting. Traditionally, K-theory is twisted by a three-dimensional cohomology class; in this case, K(n) admits twists by (n+2)-dimensional classes. This work is joint with Hisham Sati.
Understanding the dynamics of event networks
15:00 Wed 28 Sep, 2011 :: B.18 Ingkarni Wardli :: Dr Amber Tomas :: The University of Oxford

Within many populations there are frequent communications between pairs of individuals. Such communications might be emails sent within a company, radio communications in a disaster zone or diplomatic communications between states. Often it is of interest to understand the factors that drive the observed patterns of such communications, or to study how these factors are changing over over time. Communications can be thought of as events occuring on the edges of a network which connects individuals in the population. In this talk I'll present a model for such communications which uses ideas from social network theory to account for the complex correlation structure between events. Applications to the Enron email corpus and the dynamics of hospital ward transfer patterns will be discussed.
On the role of mixture distributions in the modelling of heterogeneous data
15:10 Fri 14 Oct, 2011 :: 7.15 Ingkarni Wardli :: Prof Geoff McLachlan :: University of Queensland

We consider the role that finite mixture distributions have played in the modelling of heterogeneous data, in particular for clustering continuous data via mixtures of normal distributions. A very brief history is given starting with the seminal papers by Day and Wolfe in the sixties before the appearance of the EM algorithm. It was the publication in 1977 of the latter algorithm by Dempster, Laird, and Rubin that greatly stimulated interest in the use of finite mixture distributions to model heterogeneous data. This is because the fitting of mixture models by maximum likelihood is a classic example of a problem that is simplified considerably by the EM's conceptual unification of maximum likelihood estimation from data that can be viewed as being incomplete. In recent times there has been a proliferation of applications in which the number of experimental units n is comparatively small but the underlying dimension p is extremely large as, for example, in microarray-based genomics and other high-throughput experimental approaches. Hence there has been increasing attention given not only in bioinformatics and machine learning, but also in mainstream statistics, to the analysis of complex data in this situation where n is small relative to p. The latter part of the talk shall focus on the modelling of such high-dimensional data using mixture distributions.
Dirac operators on classifying spaces
13:10 Fri 28 Oct, 2011 :: B.19 Ingkarni Wardli :: Dr Pedram Hekmati :: University of Adelaide

The Dirac operator was introduced by Paul Dirac in 1928 as the formal square root of the D'Alembert operator. Thirty years later it was rediscovered in Euclidean signature by Atiyah and Singer in their seminal work on index theory. In this talk I will describe efforts to construct a Dirac type operator on the classifying space for odd complex K-theory. Ultimately the aim is to produce a projective family of Fredholm operators realising elements in twisted K-theory of a certain moduli stack.
Applications of tropical geometry to groups and manifolds
13:10 Mon 21 Nov, 2011 :: B.19 Ingkarni Wardli :: Dr Stephan Tillmann :: University of Queensland

Tropical geometry is a young field with multiple origins. These include the work of Bergman on logarithmic limit sets of algebraic varieties; the work of the Brazilian computer scientist Simon on discrete mathematics; the work of Bieri, Neumann and Strebel on geometric invariants of groups; and, of course, the work of Newton on polynomials. Even though there is still need for a unified foundation of the field, there is an abundance of applications of tropical geometry in group theory, combinatorics, computational algebra and algebraic geometry. In this talk I will give an overview of (what I understand to be) tropical geometry with a bias towards applications to group theory and low-dimensional topology.
Fluid flows in microstructured optical fibre fabrication
15:10 Fri 25 Nov, 2011 :: B.17 Ingkarni Wardli :: Mr Hayden Tronnolone :: University of Adelaide

Optical fibres are used extensively in modern telecommunications as they allow the transmission of information at high speeds. Microstructured optical fibres are a relatively new fibre design in which a waveguide for light is created by a series of air channels running along the length of the material. The flexibility of this design allows optical fibres to be created with adaptable (and previously unrealised) optical properties. However, the fluid flows that arise during fabrication can greatly distort the geometry, which can reduce the effectiveness of a fibre or render it useless. I will present an overview of the manufacturing process and highlight the difficulties. I will then focus on surface-tension driven deformation of the macroscopic version of the fibre extruded from a reservoir of molten glass, occurring during fabrication, which will be treated as a two-dimensional Stokes flow problem. I will outline two different complex-variable numerical techniques for solving this problem along with comparisons of the results, both to other models and to experimental data.
Plurisubharmonic subextensions as envelopes of disc functionals
13:10 Fri 2 Mar, 2012 :: B.20 Ingkarni Wardli :: A/Prof Finnur Larusson :: University of Adelaide

I will describe new joint work with Evgeny Poletsky. We prove a disc formula for the largest plurisubharmonic subextension of an upper semicontinuous function on a domain $W$ in a Stein manifold to a larger domain $X$ under suitable conditions on $W$ and $X$. We introduce a related equivalence relation on the space of analytic discs in $X$ with boundary in $W$. The quotient is a complex manifold with a local biholomorphism to $X$, except it need not be Hausdorff. We use our disc formula to generalise Kiselman's minimum principle. We show that his infimum function is an example of a plurisubharmonic subextension.
The Lorentzian conformal analogue of Calabi-Yau manifolds
13:10 Fri 16 Mar, 2012 :: B.20 Ingkarni Wardli :: Prof Helga Baum :: Humboldt University

Calabi-Yau manifolds are Riemannian manifolds with holonomy group SU(m). They are Ricci-flat and Kahler and admit a 2-parameter family of parallel spinors. In the talk we will discuss the Lorentzian conformal analogue of this situation. If on a manifold a class of conformally equivalent metrics [g] is given, then one can consider the holonomy group of the conformal manifold (M,[g]), which is a subgroup of O(p+1,q+1) if the metric g has signature (p,q). There is a close relation between algebraic properties of the conformal holonomy group and the existence of Einstein metrics in the conformal class as well as to the existence of conformal Killing spinors. In the talk I will explain classification results for conformal holonomy groups of Lorentzian manifolds. In particular, I will describe Lorentzian manifolds (M,g) with conformal holonomy group SU(1,m), which can be viewed as the conformal analogue of Calabi-Yau manifolds. Such Lorentzian metrics g, known as Fefferman metrics, appear on S^1-bundles over strictly pseudoconvex CR spin manifolds and admit a 2-parameter family of conformal Killing spinors.
The de Rham Complex
12:10 Mon 19 Mar, 2012 :: 5.57 Ingkarni Wardli :: Mr Michael Albanese :: University of Adelaide

The de Rham complex is of fundamental importance in differential geometry. After first introducing differential forms (in the familiar setting of Euclidean space), I will demonstrate how the de Rham complex elegantly encodes one half (in a sense which will become apparent) of the results from vector calculus. If there is time, I will indicate how results from the remaining half of the theory can be concisely expressed by a single, far more general theorem.
A Problem of Siegel
13:10 Fri 27 Apr, 2012 :: B.20 Ingkarni Wardli :: Dr Brent Everitt :: University of York

The first explicit examples of orientable hyperbolic 3-manifolds were constructed by Weber, Siefert, and Lobell in the early 1930's. In the subsequent decades the world of hyperbolic n-manifolds has grown into an extraordinarily rich one. Its sociology is best understood through the eyes of invariants, and for hyperbolic manifolds the most important invariant is volume. Viewed this way the n-dimensional hyperbolic manifolds, for fixed n, look like a well-ordered subset of the reals (a discrete set even, when n is not 3). So we are naturally led to the (manifold) Siegel problem: for a given n, determine the minimum possible volume obtained by an orientable hyperbolic n-manifold. It is a problem with a long and venerable history. In this talk I will describe a unified solution to the problem in low even dimensions, one of which at least is new. Joint work with John Ratcliffe and Steve Tschantz (Vanderbilt).
Acyclic embeddings of open Riemann surfaces into new examples of elliptic manifolds
13:10 Fri 4 May, 2012 :: Napier LG28 :: Dr Tyson Ritter :: University of Adelaide

In complex geometry a manifold is Stein if there are, in a certain sense, "many" holomorphic maps from the manifold into C^n. While this has long been well understood, a fruitful definition of the dual notion has until recently been elusive. In Oka theory, a manifold is Oka if it satisfies several equivalent definitions, each stating that the manifold has "many" holomorphic maps into it from C^n. Related to this is the geometric condition of ellipticity due to Gromov, who showed that it implies a complex manifold is Oka. We present recent contributions to three open questions involving elliptic and Oka manifolds. We show that affine quotients of C^n are elliptic, and combine this with an example of Margulis to construct new elliptic manifolds of interesting homotopy types. It follows that every open Riemann surface properly acyclically embeds into an elliptic manifold, extending an existing result for open Riemann surfaces with abelian fundamental group.
Multiscale models of collective cell behaviour: Linear or nonlinear diffusion?
15:10 Fri 4 May, 2012 :: B.21 Ingkarni Wardli :: Dr Matthew Simpson :: Queensland University of Technology

Continuum diffusion models are often used to represent the collective motion of cell populations. Most previous studies have simply used linear diffusion to represent collective cell spreading, while others found that degenerate nonlinear diffusion provides a better match to experimental cell density profiles. There is no guidance available in the mathematical biology literature with regard to which approach is more appropriate. Furthermore, there is no knowledge of particular experimental measurements that can be made to distinguish between situations where these two models are appropriate. We provide a link between individual-based and continuum models using a multiscale approach in which we analyse the collective motion of a population of interacting agents in a generalized lattice-based exclusion process. For round agents that occupy a single lattice site, we find that the relevant continuum description is a linear diffusion equation, whereas for elongated rod-shaped agents that occupy L adjacent lattice sites we find that the relevant continuum description is a nonlinear diffusion equation related to the porous media equation. We show that there are several reasonable approaches for dealing with agent size effects, and that these different approaches are related mathematically through the concept of mean action time. We extend our results to consider proliferation and travelling waves where greater care must be taken to ensure that the continuum model replicates the discrete process. This is joint work with Dr Ruth Baker (Oxford) and Dr Scott McCue (QUT).
Index type invariants for twisted signature complexes
13:10 Fri 11 May, 2012 :: Napier LG28 :: Prof Mathai Varghese :: University of Adelaide

Atiyah-Patodi-Singer proved an index theorem for non-local boundary conditions in the 1970's that has been widely used in mathematics and mathematical physics. A key application of their theory gives the index theorem for signature operators on oriented manifolds with boundary. As a consequence, they defined certain secondary invariants that were metric independent. I will discuss some recent work with Benameur where we extend the APS theory to signature operators twisted by an odd degree closed differential form, and study the corresponding secondary invariants.
Computational complexity, taut structures and triangulations
13:10 Fri 18 May, 2012 :: Napier LG28 :: Dr Benjamin Burton :: University of Queensland

There are many interesting and difficult algorithmic problems in low-dimensional topology. Here we study the problem of finding a taut structure on a 3-manifold triangulation, whose existence has implications for both the geometry and combinatorics of the triangulation. We prove that detecting taut structures is "hard", in the sense that it is NP-complete. We also prove that detecting taut structures is "not too hard", by showing it to be fixed-parameter tractable. This is joint work with Jonathan Spreer.
On the full holonomy group of special Lorentzian manifolds
13:10 Fri 25 May, 2012 :: Napier LG28 :: Dr Thomas Leistner :: University of Adelaide

The holonomy group of a semi-Riemannian manifold is defined as the group of parallel transports along loops based at a point. Its connected component, the `restricted holonomy group', is given by restricting in this definition to contractible loops. The restricted holonomy can essentially be described by its Lie algebra and many classification results are obtained in this way. In contrast, the `full' holonomy group is a more global object and classification results are out of reach. In the talk I will describe recent results with H. Baum and K. Laerz (both HU Berlin) about the full holonomy group of so-called `indecomposable' Lorentzian manifolds. I will explain a construction method that arises from analysing the effects on holonomy when dividing the manifold by the action of a properly discontinuous group of isometries and present several examples of Lorentzian manifolds with disconnected holonomy groups.
Evaluation and comparison of the performance of Australian and New Zealand intensive care units
14:10 Fri 25 May, 2012 :: 7.15 Ingkarni Wardli :: Dr Jessica Kasza :: The University of Adelaide

Recently, the Australian Government has emphasised the need for monitoring and comparing the performance of Australian hospitals. Evaluating the performance of intensive care units (ICUs) is of particular importance, given that the most severe cases are treated in these units. Indeed, ICU performance can be thought of as a proxy for the overall performance of a hospital. We compare the performance of the ICUs contributing to the Australian and New Zealand Intensive Care Society (ANZICS) Adult Patient Database, the largest of its kind in the world, and identify those ICUs with unusual performance. It is well-known that there are many statistical issues that must be accounted for in the evaluation of healthcare provider performance. Indicators of performance must be appropriately selected and estimated, investigators must adequately adjust for casemix, statistical variation must be fully accounted for, and adjustment for multiple comparisons must be made. Our basis for dealing with these issues is the estimation of a hierarchical logistic model for the in-hospital death of each patient, with patients clustered within ICUs. Both patient- and ICU-level covariates are adjusted for, with a random intercept and random coefficient for the APACHE III severity score. Given that we expect most ICUs to have similar performance after adjustment for these covariates, we follow Ohlssen et al., JRSS A (2007), and estimate a null model that we expect the majority of ICUs to follow. This methodology allows us to rigorously account for the aforementioned statistical issues, and accurately identify those ICUs contributing to the ANZICS database that have comparatively unusual performance. This is joint work with Prof. Patty Solomon and Assoc. Prof. John Moran.
Geometric modular representation theory
13:10 Fri 1 Jun, 2012 :: Napier LG28 :: Dr Anthony Henderson :: University of Sydney

Representation theory is one of the oldest areas of algebra, but many basic questions in it are still unanswered. This is especially true in the modular case, where one considers vector spaces over a field F of positive characteristic; typically, complications arise for particular small values of the characteristic. For example, from a vector space V one can construct the symmetric square S^2(V), which is one easy example of a representation of the group GL(V). One would like to say that this representation is irreducible, but that statement is not always true: if F has characteristic 2, there is a nontrivial invariant subspace. Even for GL(V), we do not know the dimensions of all irreducible representations in all characteristics. In this talk, I will introduce some of the main ideas of geometric modular representation theory, a more recent approach which is making progress on some of these old problems. Essentially, the strategy is to re-formulate everything in terms of homology of various topological spaces, where F appears only as the field of coefficients and the spaces themselves are independent of F; thus, the modular anomalies in representation theory arise because homology with modular coefficients is detecting something about the topology that rational coefficients do not. In practice, the spaces are usually varieties over the complex numbers, and homology is replaced by intersection cohomology to take into account the singularities of these varieties.
Enhancing the Jordan canonical form
15:10 Fri 1 Jun, 2012 :: B.21 Ingkarni Wardli :: A/Prof Anthony Henderson :: The University of Sydney

In undergraduate linear algebra, we teach the Jordan canonical form theorem: that every similarity class of n x n complex matrices contains a special matrix which is block-diagonal with each block having a very simple form (a single eigenvalue repeated down the diagonal, ones on the super-diagonal, and zeroes elsewhere). This is of course very useful for matrix calculations. After explaining some of the general context of this result, I will focus on a case which, despite its close proximity to the Jordan canonical form theorem, has only recently been worked out: the classification of pairs of a vector and a matrix.
Model turbulent floods based upon the Smagorinski large eddy closure
12:10 Mon 4 Jun, 2012 :: 5.57 Ingkarni Wardli :: Mr Meng Cao :: University of Adelaide

Rivers, floods and tsunamis are often very turbulent. Conventional models of such environmental fluids are typically based on depth-averaged inviscid irrotational flow equations. We explore changing such a base to the turbulent Smagorinski large eddy closure. The aim is to more appropriately model the fluid dynamics of such complex environmental fluids by using such a turbulent closure. Large changes in fluid depth are allowed. Computer algebra constructs the slow manifold of the flow in terms of the fluid depth h and the mean turbulent lateral velocities u and v. The major challenge is to deal with the nonlinear stress tensor in the Smagorinski closure. The model integrates the effects of inertia, self-advection, bed drag, gravitational forcing and turbulent dissipation with minimal assumptions. Although the resultant model is close to established models, the real outcome is creating a sound basis for the modelling so others, in their modelling of more complex situations, can systematically include more complex physical processes.
Notions of non-commutative metric spaces; why and how
15:10 Fri 15 Jun, 2012 :: B.21 Ingkarni Wardli :: Dr Ittay Weiss :: The University of the South Pacific

The classical notion of metric space includes the axiom of symmetry: d(x,y)=d(y,x). Some applications of metric techniques to problems in computer graphics, concurrency, and physics (to mention a few) are seriously stressing the limitations imposed by symmetry, resulting in various relaxations of it. I will review some of the motivating problems that seem to require non-symmetry and then review some of the suggested models to deal with the problem. My review will be critical to the topological implications (which are often unpleasant) of some of the models and I will present metric 1-spaces, a new notion of generalized metric spaces.
K-theory and unbounded Fredholm operators
13:10 Mon 9 Jul, 2012 :: Ingkarni Wardli B19 :: Dr Jerry Kaminker :: University of California, Davis

There are several ways of viewing elements of K^1(X). One of these is via families of unbounded self-adjoint Fredholm operators on X. Each operator will have discrete spectrum, with infinitely many positive and negative eigenvalues of finite multiplicity. One can associate to such a family a geometric object, its graph, and the Chern character and other invariants of the family can be studied from this perspective. By restricting the dimension of the eigenspaces one may sometimes use algebraic topology to completely determine the family up to equivalence. This talk will describe the general framework and some applications to families on low-dimensional manifolds where the methods work well. Various notions related to spectral flow, the index gerbe and Berry phase play roles which will be discussed. This is joint work with Ron Douglas.
Complex geometry and operator theory
14:10 Mon 9 Jul, 2012 :: Ingkarni Wardli B19 :: Prof Ron Douglas :: Texas A&M University

In the study of bounded operators on Hilbert spaces of holomorphic functions, concepts and techniques from complex geometry are important. An anti-holomorphic bundle exists on which one can define the Chern connection. Its curvature turns out to be a complete invariant and various operator notions can't be reframed in terms of geometrical ones which leads to the solution of some problems. We will discuss this approach with an emphasis on natural examples in the one and multivariable case.
The motivic logarithm and its realisations
13:10 Fri 3 Aug, 2012 :: Engineering North 218 :: Dr James Borger :: Australian National University

When a complex manifold is defined by polynomial equations, its cohomology groups inherit extra structure. This was discovered by Hodge in the 1920s and 30s. When the defining polynomials have rational coefficients, there is some additional, arithmetic structure on the cohomology. This was discovered by Grothendieck and others in the 1960s. But here the situation is still quite mysterious because each cohomology group has infinitely many different arithmetic structures and while they are not directly comparable, they share many properties---with each other and with the Hodge structure. All written accounts of this that I'm aware of treat arbitrary varieties. They are beautifully abstract and non-explicit. In this talk, I'll take the opposite approach and try to give a flavour of the subject by working out a perhaps the simplest nontrivial example, the cohomology of C* relative to a subset of two points, in beautifully concrete and explicit detail. Here the common motif is the logarithm. In Hodge theory, it is realised as the complex logarithm; in the crystalline theory, it's as the p-adic logarithm; and in the etale theory, it's as Kummer theory. I'll assume you have some familiarity with usual, singular cohomology of topological spaces, but I won't assume that you know anything about these non-topological cohomology theories.
Geometry - algebraic to arithmetic to absolute
15:10 Fri 3 Aug, 2012 :: B.21 Ingkarni Wardli :: Dr James Borger :: Australian National University

Classical algebraic geometry is about studying solutions to systems of polynomial equations with complex coefficients. In arithmetic algebraic geometry, one digs deeper and studies the arithmetic properties of the solutions when the coefficients are rational, or even integral. From the usual point of view, it's impossible to go deeper than this for the simple reason that no smaller rings are available - the integers have no proper subrings. In this talk, I will explain how an emerging subject, lambda-algebraic geometry, allows one to do just this and why one might care.
The importance of being fractal
13:10 Tue 7 Aug, 2012 :: 7.15 Ingkarni Wardli :: Prof Tony Roberts :: School of Mathematical Sciences

Euclid's geometry describes the world around us in terms of points, lines and planes. For two thousand years these have formed the limited repertoire of basic geometric objects with which to describe the universe. Fractals immeasurably enhance this world-view by providing a description of much around us that is rough and fragmented---of objects that have structure on many sizes.
Hodge numbers and cohomology of complex algebraic varieties
13:10 Fri 10 Aug, 2012 :: Engineering North 218 :: Prof Gus Lehrer :: University of Sydney

Let $X$ be a complex algebraic variety defined over the ring $\mathfrak{O}$ of integers in a number field $K$ and let $\Gamma$ be a group of $\mathfrak{O}$-automorphisms of $X$. I shall discuss how the counting of rational points over reductions mod $p$ of $X$, and an analysis of the Hodge structure of the cohomology of $X$, may be used to determine the cohomology as a $\Gamma$-module. This will include some joint work with Alex Dimca and with Mark Kisin, and some classical unsolved problems.
Differential topology 101
13:10 Fri 17 Aug, 2012 :: Engineering North 218 :: Dr Nicholas Buchdahl :: University of Adelaide

Much of my recent research been directed at a problem in the theory of compact complex surfaces---trying to fill in a gap in the Enriques-Kodaira classification. Attempting to classify some collection of mathematical objects is a very common activity for pure mathematicians, and there are many well-known examples of successful classification schemes; for example, the classification of finite simple groups, and the classification of simply connected topological 4-manifolds. The aim of this talk will be to illustrate how techniques from differential geometry can be used to classify compact surfaces. The level of the talk will be very elementary, and the material is all very well known, but it is sometimes instructive to look back over simple cases of a general problem with the benefit of experience to gain greater insight into the more general and difficult cases.
Holomorphic flexibility properties of compact complex surfaces
13:10 Fri 31 Aug, 2012 :: Engineering North 218 :: A/Prof Finnur Larusson :: University of Adelaide

I will describe recent joint work with Franc Forstneric (arXiv, July 2012). We introduce a new property, called the stratified Oka property, which fits into a hierarchy of anti-hyperbolicity properties that includes the Oka property. We show that stratified Oka manifolds are strongly dominable by affine spaces. It follows that Kummer surfaces are strongly dominable. We determine which minimal surfaces of class VII are Oka (assuming the global spherical shell conjecture). We deduce that the Oka property and several other anti-hyperbolicity properties are in general not closed in families of compact complex manifolds. I will summarise what is known about how the Oka property fits into the Enriques-Kodaira classification of surfaces.
Geometric quantisation in the noncompact setting
13:10 Fri 14 Sep, 2012 :: Engineering North 218 :: Dr Peter Hochs :: Leibniz University, Hannover

Traditionally, the geometric quantisation of an action by a compact Lie group on a compact symplectic manifold is defined as the equivariant index of a certain Dirac operator. This index is a well-defined formal difference of finite-dimensional representations, since the Dirac operator is elliptic and the manifold and the group in question are compact. From a mathematical and physical point of view however, it is very desirable to extend geometric quantisation to noncompact groups and manifolds. Defining a suitable index is much harder in the noncompact setting, but several interesting results in this direction have been obtained. I will review the difficulties connected to noncompact geometric quantisation, and some of the solutions that have been proposed so far, mainly in connection to the "quantisation commutes with reduction" principle. (An introduction to this principle will be given in my talk at the Colloquium on the same day.)
Turbulent flows, semtex, and rainbows
12:10 Mon 8 Oct, 2012 :: B.21 Ingkarni Wardli :: Ms Sophie Calabretto :: University of Adelaide

The analysis of turbulence in transient flows has applications across a broad range of fields. We use the flow of fluid in a toroidal container as a paradigm for studying the complex dynamics due to this turbulence. To explore the dynamics of our system, we exploit the numerical capabilities of semtex; a quadrilateral spectral element DNS code. Rainbows result.
Complex analysis in low Reynolds number hydrodynamics
15:10 Fri 12 Oct, 2012 :: B.20 Ingkarni Wardli :: Prof Darren Crowdy :: Imperial College London

It is a well-known fact that the methods of complex analysis provide great advantage in studying physical problems involving a harmonic field satisfying Laplace's equation. One example is in ideal fluid mechanics (infinite Reynolds number) where the absence of viscosity, and the assumption of zero vorticity, mean that it is possible to introduce a so-called complex potential -- an analytic function from which all physical quantities of interest can be inferred. In the opposite limit of zero Reynolds number flows which are slow and viscous and the governing fields are not harmonic it is much less common to employ the methods of complex analysis even though they continue to be relevant in certain circumstances. This talk will give an overview of a variety of problems involving slow viscous Stokes flows where complex analysis can be usefully employed to gain theoretical insights. A number of example problems will be considered including the locomotion of low-Reynolds-number micro-organisms and micro-robots, the friction properties of superhydrophobic surfaces in microfluidics and problems of viscous sintering and the manufacture of microstructured optic fibres (MOFs).
AD Model Builder and the estimation of lobster abundance
12:10 Mon 22 Oct, 2012 :: B.21 Ingkarni Wardli :: Mr John Feenstra :: University of Adelaide

Determining how many millions of lobsters reside in our waters and how it changes over time is a central aim of lobster stock assessment. ADMB is powerful optimisation software to model and solve complex non-linear problems using automatic differentiation and plays a major role in SA and worldwide in fisheries stock assessment analyses. In this talk I will provide a brief description of an example modelling problem, key features and use of ADMB.
Epidemic models in socially structured populations: when are simple models too simple?
14:00 Thu 25 Oct, 2012 :: 5.56 Ingkarni Wardli :: Dr Lorenzo Pellis :: The University of Warwick

Both age and household structure are recognised as important heterogeneities affecting epidemic spread of infectious pathogens, and many models exist nowadays that include either or both forms of heterogeneity. However, different models may fit aggregate epidemic data equally well and nevertheless lead to different predictions of public health interest. I will here present an overview of stochastic epidemic models with increasing complexity in their social structure, focusing in particular on households models. For these models, I will present recent results about the definition and computation of the basic reproduction number R0 and its relationship with other threshold parameters. Finally, I will use these results to compare models with no, either or both age and household structure, with the aim of quantifying the conditions under which each form of heterogeneity is relevant and therefore providing some criteria that can be used to guide model design for real-time predictions.
Epidemic models in socially structured populations: when are simple models too simple?
14:00 Thu 25 Oct, 2012 :: 5.56 Ingkarni Wardli :: Dr Lorenzo Pellis :: The University of Warwick

Both age and household structure are recognised as important heterogeneities affecting epidemic spread of infectious pathogens, and many models exist nowadays that include either or both forms of heterogeneity. However, different models may fit aggregate epidemic data equally well and nevertheless lead to different predictions of public health interest. I will here present an overview of stochastic epidemic models with increasing complexity in their social structure, focusing in particular on households models. For these models, I will present recent results about the definition and computation of the basic reproduction number R0 and its relationship with other threshold parameters. Finally, I will use these results to compare models with no, either or both age and household structure, with the aim of quantifying the conditions under which each form of heterogeneity is relevant and therefore providing some criteria that can be used to guide model design for real-time predictions.
The space of cubic rational maps
13:10 Fri 26 Oct, 2012 :: Engineering North 218 :: Mr Alexander Hanysz :: University of Adelaide

For each natural number d, the space of rational maps of degree d on the Riemann sphere has the structure of a complex manifold. The topology of these manifolds has been extensively studied. The recent development of Oka theory raises some new and interesting questions about their complex structure. We apply geometric invariant theory to the degree 3 case, studying a double action of the Mobius group on the space of cubic rational maps. We show that the categorical quotient is C, and that the space of cubic rational maps enjoys the holomorphic flexibility properties of strong dominability and C-connectedness.
Numerical Free Probability: Computing Eigenvalue Distributions of Algebraic Manipulations of Random Matrices
15:10 Fri 2 Nov, 2012 :: B.20 Ingkarni Wardli :: Dr Sheehan Olver :: The University of Sydney

Suppose that the global eigenvalue distributions of two large random matrices A and B are known. It is a remarkable fact that, generically, the eigenvalue distribution of A + B and (if A and B are positive definite) A*B are uniquely determined from only the eigenvalue distributions of A and B; i.e., no information about eigenvectors are required. These operations on eigenvalue distributions are described by free probability theory. We construct a numerical toolbox that can efficiently and reliably calculate these operations with spectral accuracy, by exploiting the complex analytical framework that underlies free probability theory.
Variation of Hodge structure for generalized complex manifolds
13:10 Fri 7 Dec, 2012 :: Ingkarni Wardli B20 :: Dr David Baraglia :: University of Adelaide

Generalized complex geometry combines complex and symplectic geometry into a single framework, incorporating also holomorphic Poisson and bi-Hermitian structures. The Dolbeault complex naturally extends to the generalized complex setting giving rise to Hodge structures in twisted cohomology. We consider the variations of Hodge structure and period mappings that arise from families of generalized complex manifolds. As an application we prove a local Torelli theorem for generalized Calabi-Yau manifolds.
Recent results on holomorphic extension of functions on unbounded domains in C^n
11:10 Fri 21 Dec, 2012 :: Ingkarni Wardli B19 :: Prof Roman Dwilewicz :: Missouri University of Science and Technology

In the talk there will be given a short review of holomorphic extension problems starting with the famous Hartogs theorem (1906) up to recent results on global holomorphic extensions for unbounded domains, obtained together with Al Boggess (Arizona State Univ.) and Zbigniew Slodkowski (Univ. Illinois at Chicago). There is an interesting geometry behind the extension problem for unbounded domains, namely (in some cases) it depends on the position of a complex variety in the closure of the domain. The extension problem appeared non-trivial and the work is in progress. However the talk will be illustrated by many figures and pictures and should be accessible also to graduate students.
Conformally Fedosov manifolds
12:10 Fri 8 Mar, 2013 :: Ingkarni Wardli B19 :: Prof Michael Eastwood :: Australian National University

Symplectic and projective structures may be compatibly combined. The resulting structure closely resembles conformal geometry and a manifold endowed with such a structure is called conformally Fedosov. This talk will present the basic theory of conformally Fedosov geometry and, in particular, construct a Cartan connection for them. This is joint work with Jan Slovak.
Twistor theory and the harmonic hull
15:10 Fri 8 Mar, 2013 :: B.18 Ingkarni Wardli :: Prof Michael Eastwood :: Australian National University

Harmonic functions are real-analytic and so automatically extend as functions of complex variables. But how far do they extend? This question may be answered by twistor theory, the Penrose transform, and associated conformal geometry. Nothing will be supposed about such matters: I shall base the constructions on an elementary yet mysterious formula of Bateman from 1904. This is joint work with Feng Xu.
A stability theorem for elliptic Harnack inequalities
15:10 Fri 5 Apr, 2013 :: B.18 Ingkarni Wardli :: Prof Richard Bass :: University of Connecticut

Harnack inequalities are an important tool in probability theory, analysis, and partial differential equations. The classical Harnack inequality is just the one you learned in your graduate complex analysis class, but there have been many extensions, to different spaces, such as manifolds, fractals, infinite graphs, and to various sorts of elliptic operators. A landmark result was that of Moser in 1961, where he proved the Harnack inequality for solutions to a class of partial differential equations. I will talk about the stability of Harnack inequalities. The main result says that if the Harnack inequality holds for an operator on a space, then the Harnack inequality will also hold for a large class of other operators on that same space. This provides a generalization of the result of Moser.
Conformal Killing spinors in Riemannian and Lorentzian geometry
12:10 Fri 19 Apr, 2013 :: Ingkarni Wardli B19 :: Prof Helga Baum :: Humboldt University

Conformal Killing spinors are the solutions of the conformally covariant twistor equation on spinors. Special cases are parallel and Killing spinors, the latter appear as eigenspinors of the Dirac operator on compact Riemannian manifolds of positive scalar curvature for the smallest possible positive eigenvalue. In the talk I will discuss geometric properties of manifolds admitting (conformal) Killing spinors. In particular, I will explain a local classification of the special geometric structures admitting conformal Killing spinors without zeros in the Riemannian as well as in the Lorentzian setting.
An Oka principle for equivariant isomorphisms
12:10 Fri 3 May, 2013 :: Ingkarni Wardli B19 :: A/Prof Finnur Larusson :: University of Adelaide

I will discuss new joint work with Frank Kutzschebauch (Bern) and Gerald Schwarz (Brandeis). Let $G$ be a reductive complex Lie group acting holomorphically on Stein manifolds $X$ and $Y$, which are locally $G$-biholomorphic over a common categorical quotient $Q$. When is there a global $G$-biholomorphism $X\to Y$? In a situation that we describe, with some justification, as generic, we prove that the obstruction to solving this local-to-global problem is topological and provide sufficient conditions for it to vanish. Our main tool is the equivariant version of Grauert's Oka principle due to Heinzner and Kutzschebauch. We prove that $X$ and $Y$ are $G$-biholomorphic if $X$ is $K$-contractible, where $K$ is a maximal compact subgroup of $G$, or if there is a $G$-diffeomorphism $X\to Y$ over $Q$, which is holomorphic when restricted to each fibre of the quotient map $X\to Q$. When $G$ is abelian, we obtain stronger theorems. Our results can be interpreted as instances of the Oka principle for sections of the sheaf of $G$-biholomorphisms from $X$ to $Y$ over $Q$. This sheaf can be badly singular, even in simply defined examples. Our work is in part motivated by the linearisation problem for actions on $\C^n$. It follows from one of our main results that a holomorphic $G$-action on $\C^n$, which is locally $G$-biholomorphic over a common quotient to a generic linear action, is linearisable.
Models of cell-extracellular matrix interactions in tissue engineering
15:10 Fri 3 May, 2013 :: B.18 Ingkarni Wardli :: Dr Ed Green :: University of Adelaide

Tissue engineers hope in future to be able to grow functional tissues in vitro to replace those that are damaged by injury, disease, or simple wear and tear. They use cell culture methods, such as seeding cells within collagen gels, that are designed to mimic the cells' environment in vivo. Amongst other factors, it is clear that mechanical interactions between cells and the extracellular matrix (ECM) in which they reside play an important role in tissue development. However, the mechanics of the ECM is complex, and at present, its role is only partly understood. In this talk, I will present mathematical models of some simple cell-ECM interaction problems, and show how they can be used to gain more insight into the processes that regulate tissue development.
Diffeological spaces and differentiable stacks
12:10 Fri 10 May, 2013 :: Ingkarni Wardli B19 :: Dr David Roberts :: University of Adelaide

The category of finite-dimensional smooth manifolds gives rise to interesting structures outside of itself, two examples being mapping spaces and classifying spaces. Diffeological spaces are a notion of generalised smooth space which form a cartesian closed category, so all fibre products and all mapping spaces of smooth manifolds exist as diffeological spaces. Differentiable stacks are a further generalisation that can also deal with moduli spaces (including classifying spaces) for objects with automorphisms. This talk will give an introduction to this circle of ideas.
Crystallographic groups I: the classical theory
12:10 Fri 17 May, 2013 :: Ingkarni Wardli B19 :: Dr Wolfgang Globke :: University of Adelaide

A discrete isometry group acting properly discontinuously on the n-dimensional Euclidean space with compact quotient is called a crystallographic group. This name reflects the fact that in dimension n=3 their compact fundamental domains resemble a space-filling crystal pattern. For higher dimensions, Hilbert posed his famous 18th problem: "Is there in n-dimensional Euclidean space only a finite number of essentially different kinds of groups of motions with a [compact] fundamental region?" This problem was solved by Bieberbach when he proved that in every dimension n there exists only a finite number of isomorphic crystallographic groups and also gave a description of these groups. From the perspective of differential geometry these results are of major importance, as crystallographic groups are precisely the fundamental groups of compact flat Riemannian orbifolds. The quotient is even a manifold if the fundamental group is required to be torsion-free, in which case it is called a Bieberbach group. Moreover, for a flat manifold the fundamental group completely determines the holonomy group. In this talk I will discuss the properties of crystallographic groups, study examples in dimension n=2 and n=3, and present the three Bieberbach theorems on the structure of crystallographic groups.
Crystallographic groups II: generalisations
12:10 Fri 24 May, 2013 :: Ingkarni Wardli B19 :: Dr Wolfgang Globke :: University of Adelaide

The theory of crystallographic groups acting cocompactly on Euclidean space can be extended and generalised in many different ways. For example, instead of studying discrete groups of Euclidean isometries, one can consider groups of isometries for indefinite inner products. These are the fundamental groups of compact flat pseudo-Riemannian manifolds. Still more generally, one might study group of affine transformation on n-space that are not required to preserve any bilinear form. Also, the condition of cocompactness can be dropped. In this talk, I will present some of the results obtained for these generalisations, and also discuss some of my own work on flat homogeneous pseudo-Riemannian spaces.
Heat kernel estimates on non-compact Riemannian manifolds: why and how?
15:10 Fri 7 Jun, 2013 :: B.18 Ingkarni Wardli :: Prof Thierry Coulhon :: Australian National University

We will describe what is known and remains to be known about the connection between the large scale geometry of non-compact Riemannian manifolds (and more general metric measure spaces) and large time estimates of their heat kernel. We will show how some of these estimates can be characterised in terms of Sobolev inequalities and give applications to the boundedness of Riesz transforms.
Fire-Atmosphere Models
12:10 Mon 29 Jul, 2013 :: B.19 Ingkarni Wardli :: Mika Peace :: University of Adelaide

Fire behaviour models are increasingly being used to assist in planning and operational decisions for bush fires and fuel reduction burns. Rate of spread (ROS) of the fire front is a key output of such models. The ROS value is typically calculated from a formula which has been derived from empirical data, using very simple meteorological inputs. We have used a coupled fire-atmosphere model to simulate real bushfire events. The results show that complex interactions between a fire and the atmosphere can have a significant influence on fire spread, thus highlighting the limitations of a model that uses simple meteorological inputs.
Subfactors and twisted equivariant K-theory
12:10 Fri 2 Aug, 2013 :: Ingkarni Wardli B19 :: Prof David E. Evans :: Cardiff University

The most basic structure of chiral conformal field theory (CFT) is the Verlinde ring. Freed-Hopkins-Teleman have expressed the Verlinde ring for the CFTs associated to loop groups as twisted equivariant K-theory. In joint work with Terry Gannon, we build on their work to express K-theoretically the structures of full CFT. In particular, the modular invariant partition functions (which essentially parametrise the possible full CFTs) have a rich interpretation within von Neumann algebras (subfactors), which has led to the developments of structures of full CFT such as the full system (fusion ring of defect lines), nimrep (cylindrical partition function), alpha-induction etc.
Symplectic Lie groups
12:10 Fri 9 Aug, 2013 :: Ingkarni Wardli B19 :: Dr Wolfgang Globke :: University of Adelaide

A "symplectic Lie group" is a Lie group G with a symplectic form such that G acts by symplectic transformations on itself. Such a G cannot be semisimple, so the research focuses on solvable symplectic Lie groups. In the compact case, a classification of these groups is known. In many cases, a solvable symplectic Lie group G is a cotangent bundle of a flat Lie group H. Then H is a Lagrange subgroup of G, meaning its Lie algebra h is isotropic in the Lie algebra g of G. The existence of Lagrange subalgebras or ideals in g is an important question which relates to many problems in the general structure theory of symplectic Lie groups. In my talk, I will give a brief overview of the known results in this field, ranging from the 1970s to a very recent structure theory.
Geometry of moduli spaces
12:10 Fri 30 Aug, 2013 :: Ingkarni Wardli B19 :: Prof Georg Schumacher :: University of Marburg

We discuss the concept of moduli spaces in complex geometry. The main examples are moduli of compact Riemann surfaces, moduli of compact projective varieties and moduli of holomorphic vector bundles, whose points correspond to isomorphism classes of the given objects. Moduli spaces carry a natural topology, whereas a complex structure that reflects the variation of the structure in a family exists in general only under extra conditions. In a similar way, a natural hermitian metric (Weil-Petersson metric) on moduli spaces that induces a symplectic structure can be constructed from the variation of distinguished metrics on the fibers. In this way, various questions concerning the underlying symplectic structure, the curvature of the Weil-Petersson metric, hyperbolicity of moduli spaces, and construction of positive/ample line bundles on compactified moduli spaces can be answered.
What are fusion categories?
12:10 Fri 6 Sep, 2013 :: Ingkarni Wardli B19 :: Dr Scott Morrison :: Australian National University

Fusion categories are a common generalization of finite groups and quantum groups at roots of unity. I'll explain a little of their structure, mention their applications (to topological field theory and quantum computing), and then explore the ways in which they are in general similar to, or different from, the 'classical' cases. We've only just started exploring, and don't yet know what the exotic examples we've discovered signify about the landscape ahead.
Group meeting
15:10 Fri 13 Sep, 2013 :: 5.58 (Ingkarni Wardli) :: Dr Sanjeeva Balasuriya and Dr Michael Chen :: University of Adelaide

Talks: Nonautonomous control of invariant manifolds - Dr Sanjeeva Balasuriya :: Interface problems in viscous flow - Dr Michael Chen
Symmetry gaps for geometric structures
15:10 Fri 20 Sep, 2013 :: B.18 Ingkarni Wardli :: Dr Dennis The :: Australian National University

Klein's Erlangen program classified geometries based on their (transitive) groups of symmetries, e.g. Euclidean geometry is the quotient of the rigid motion group by the subgroup of rotations. While this perspective is homogeneous, Riemann's generalization of Euclidean geometry is in general very "lumpy" - i.e. there exist Riemannian manifolds that have no symmetries at all. A common generalization where a group still plays a dominant role is Cartan geometry, which first arose in Cartan's solution to the equivalence problem for geometric structures, and which articulates what a "curved version" of a flat (homogeneous) model means. Parabolic geometries are Cartan geometries modelled on (generalized) flag varieties (e.g. projective space, isotropic Grassmannians) which are well-known objects from the representation theory of semisimple Lie groups. These curved versions encompass a zoo of interesting geometries, including conformal, projective, CR, systems of 2nd order ODE, etc. This interaction between differential geometry and representation theory has proved extremely fruitful in recent years. My talk will be an example-based tour of various types of parabolic geometries, which I'll use to outline some of the main aspects of the theory (suppressing technical details). The main thread throughout the talk will be the symmetry gap problem: For a given type of Cartan geometry, the maximal symmetry dimension is realized by the flat model, but what is the next possible ("submaximal") symmetry dimension? I'll sketch a recent solution (in joint work with Boris Kruglikov) for a wide class of parabolic geometries which gives a combinatorial recipe for reading the submaximal symmetry dimension from a Dynkin diagram.
Geodesic completeness of compact pp-waves
12:10 Fri 18 Oct, 2013 :: Ingkarni Wardli B19 :: Dr Thomas Leistner :: University of Adelaide

A semi-Riemannian manifold is geodesically complete (or for short, complete) if all its maximal geodesics are defined on the real line. Whereas for Riemannian metrics the compactness of the manifold implies completeness, there are compact Lorentzian manifolds that are not complete (e.g. the Clifton-Pohl torus). Several rather strong conditions have been found in the literature under which a compact Lorentzian manifold is complete, including being homogeneous (Marsden) or of constant curvature (Carriere, Klingler), or admitting a timelike Killing vector field (Romero, Sanchez). We will consider pp-waves, which are Lorentzian manifold with a parallel null vector field and a highly degenerate curvature tensor, but which do not satisfy any of the above conditions. We will show that a compact pp-wave is universally covered by a vector space, determine the metric on the universal cover and consequently show that they are geodesically complete.
IGA Lectures on Finsler geometry
13:30 Thu 31 Oct, 2013 :: Ingkarni Wardli 7.15 :: Prof Robert Bryant :: Duke University

13:30 Refreshments. 14:00 Lecture 1: The origins of Finsler geometry in the calculus of variations. 15:00 Lecture 2: Finsler manifolds of constant flag curvature.
Recent developments in special holonomy manifolds
12:10 Fri 1 Nov, 2013 :: Ingkarni Wardli 7.15 :: Prof Robert Bryant :: Duke University

One of the big classification results in differential geometry from the past century has been the classification of the possible holonomies of affine manifolds, with the major first step having been taken by Marcel Berger in his 1954 thesis. However, Berger's classification was only partial, and, in the past 20 years, an extensive research effort has been expended to complete this classification and extend it in a number of ways. In this talk, after recounting the major parts of the history of the subject, I will discuss some of the recent results and surprising new examples discovered as a by-product of research into Finsler geometry. If time permits, I will also discuss some of the open problems in the subject.
Weak Stochastic Maximum Principle (SMP) and Applications
15:10 Thu 12 Dec, 2013 :: B.21 Ingkarni Wardli :: Dr Harry Zheng :: Imperial College, London

In this talk we discuss a weak necessary and sufficient SMP for Markov modulated optimal control problems. Instead of insisting on the maximum condition of the Hamiltonian, we show that 0 belongs to the sum of Clarke's generalized gradient of the Hamiltonian and Clarke's normal cone of the control constraint set at the optimal control. Under a joint concavity condition on the Hamiltonian the necessary condition becomes sufficient. We give examples to demonstrate the weak SMP and its applications in quadratic loss minimization.
Reductive group actions and some problems concerning their quotients
12:10 Fri 17 Jan, 2014 :: Ingkarni Wardli B20 :: Prof Gerald Schwarz :: Brandeis University

We will gently introduce the concept of a complex reductive group and the notion of the quotient Z of a complex vector space V on which our complex reductive group G acts linearly. There is the quotient mapping p from V to Z. The quotient is an affine variety with a stratification coming from the group action. Let f be an automorphism of Z. We consider the following questions (and give some answers). 1) Does f preserve the stratification of Z, i.e., does it permute the strata? 2) Is there a lift F of f? This means that F maps V to V and p(F(v))=f(p(v)) for all v in V. 3) Can we arrange that F is equivariant? We show that 1) is almost always true, that 2) is true in a lot of cases and that a twisted version of 3) then holds.
The density property for complex manifolds: a strong form of holomorphic flexibility
12:10 Fri 24 Jan, 2014 :: Ingkarni Wardli B20 :: Prof Frank Kutzschebauch :: University of Bern

Compared with the real differentiable case, complex manifolds in general are more rigid, their groups of holomorphic diffeomorphisms are rather small (in general trivial). A long known exception to this behavior is affine n-space C^n for n at least 2. Its group of holomorphic diffeomorphisms is infinite dimensional. In the late 1980s Andersen and Lempert proved a remarkable theorem which stated in its generalized version due to Forstneric and Rosay that any local holomorphic phase flow given on a Runge subset of C^n can be locally uniformly approximated by a global holomorphic diffeomorphism. The main ingredient in the proof was formalized by Varolin and called the density property: The Lie algebra generated by complete holomorphic vector fields is dense in the Lie algebra of all holomorphic vector fields. In these manifolds a similar local to global approximation of Andersen-Lempert type holds. It is a precise way of saying that the group of holomorphic diffeomorphisms is large. In the talk we will explain how this notion is related to other more recent flexibility notions in complex geometry, in particular to the notion of a Oka-Forstneric manifold. We will give examples of manifolds with the density property and sketch applications of the density property. If time permits we will explain criteria for the density property developed by Kaliman and the speaker.
Holomorphic null curves and the conformal Calabi-Yau problem
12:10 Tue 28 Jan, 2014 :: Ingkarni Wardli B20 :: Prof Franc Forstneric :: University of Ljubljana

I shall describe how methods of complex analysis can be used to give new results on the conformal Calabi-Yau problem concerning the existence of bounded metrically complete minimal surfaces in real Euclidean 3-space R^3. We shall see in particular that every bordered Riemann surface admits a proper complete holomorphic immersion into the ball of C^2, and a proper complete embedding as a holomorphic null curve into the ball of C^3. Since the real and the imaginary parts of a holomorphic null curve in C^3 are conformally immersed minimal surfaces in R^3, we obtain a bounded complete conformal minimal immersion of any bordered Riemann surface into R^3. The main advantage of our methods, when compared to the existing ones in the literature, is that we do not need to change the conformal type of the Riemann surface. (Joint work with A. Alarcon, University of Granada.)
Hormander's estimate, some generalizations and new applications
12:10 Mon 17 Feb, 2014 :: Ingkarni Wardli B20 :: Prof Zbigniew Blocki :: Jagiellonian University

Lars Hormander proved his estimate for the d-bar equation in 1965. It is one the most important results in several complex variables (SCV). New applications have emerged recently, outside of SCV. We will present three of them: the Ohsawa-Takegoshi extension theorem with optimal constant, the one-dimensional Suita Conjecture, and Nazarov's approach to the Bourgain-Milman inequality from convex analysis.
The structuring role of chaotic stirring on pelagic ecosystems
11:10 Fri 28 Feb, 2014 :: B19 Ingkarni Wardli :: Dr Francesco d'Ovidio :: Universite Pierre et Marie Curie (Paris VI)

The open ocean upper layer is characterized by a complex transport dynamics occuring over different spatiotemporal scales. At the scale of 10-100 km - which covers the so called mesoscale and part of the submesoscale - in situ and remote sensing observations detect strong variability in physical and biogeochemical fields like sea surface temperature, salinity, and chlorophyll concentration. The calculation of Lyapunov exponent and other nonlinear diagnostics applied to the surface currents have allowed to show that an important part of this tracer variability is due to chaotic stirring. Here I will extend this analysis to marine ecosystems. For primary producers, I will show that stable and unstable manifolds of hyperbolic points embedded in the surface velocity field are able to structure the phytoplanktonic community in fluid dynamical niches of dominant types, where competition can locally occur during bloom events. By using data from tagged whales, frigatebirds, and elephant seals, I will also show that chaotic stirring affects the behaviour of higher trophic levels. In perspective, these relations between transport structures and marine ecosystems can be the base for a biodiversity index constructued from satellite information, and therefore able to monitor key aspects of the marine biodiversity and its temporal variability at the global scale.
Geometric quantisation in the noncompact setting
12:10 Fri 7 Mar, 2014 :: Ingkarni Wardli B20 :: Peter Hochs :: University of Adelaide

Geometric quantisation is a way to construct quantum mechanical phase spaces (Hilbert spaces) from classical mechanical phase spaces (symplectic manifolds). In the presence of a group action, the quantisation commutes with reduction principle states that geometric quantisation should be compatible with the ways the group action can be used to simplify (reduce) the classical and quantum phase spaces. This has deep consequences for the link between symplectic geometry and representation theory. The quantisation commutes with reduction principle has been given explicit meaning, and been proved, in cases where the symplectic manifold and the group acting on it are compact. There have also been results where just the group, or the orbit space of the action, is assumed to be compact. These are important and difficult, but it is somewhat frustrating that they do not even apply to the simplest example from the physics point of view: a free particle in Rn. This talk is about a joint result with Mathai Varghese where the group, manifold and orbit space may all be noncompact.
Dynamical systems approach to fluid-plasma turbulence
15:10 Fri 14 Mar, 2014 :: 5.58 Ingkarni Wardli :: Professor Abraham Chian

Sun-Earth system is a complex, electrodynamically coupled system dominated by multiscale interactions. The complex behavior of the space environment is indicative of a state driven far from equilibrium whereby instabilities, nonlinear waves, and turbulence play key roles in the system dynamics. First, we review the fundamental concepts of nonlinear dynamics in fluids and plasmas and discuss their relevance to the study of the Sun-Earth relation. Next, we show how Lagrangian coherent structures identify the transport barriers of plasma turbulence modeled by 3-D solar convective dynamo. Finally, we show how Lagrangian coherent structures can be detected in the solar photospheric turbulence using satellite observations.
Embed to homogenise heterogeneous wave equation.
12:35 Mon 17 Mar, 2014 :: B.19 Ingkarni Wardli :: Chen Chen :: University of Adelaide

Consider materials with complicated microstructure: we want to model their large scale dynamics by equations with effective, `average' coefficients. I will show an example of heterogeneous wave equation in 1D. If Centre manifold theory is applied to model the original heterogeneous wave equation directly, we will get a trivial model. I embed the wave equation into a family of more complex wave problems and I show the equivalence of the two sets of solutions.
Moduli spaces of contact instantons
12:10 Fri 28 Mar, 2014 :: Ingkarni Wardli B20 :: David Baraglia :: University of Adelaide

In dimensions greater than four there are several notions of higher Yang-Mills instantons. This talk concerns one such case, contact instantons, defined for 5-dimensional contact manifolds. The geometry transverse to the Reeb foliation turns out to be important in understanding the moduli space. For example, we show the dimension of the moduli space is the index of a transverse elliptic complex. This is joint work with Pedram Hekmati.
Flow barriers and flux in unsteady flows
15:10 Fri 4 Apr, 2014 :: B.21 Ingkarni Wardli :: Dr Sanjeeva Balasuriya :: The University of Adelaide

How does one define the boundary of the ozone hole, an oceanic eddy, or Jupiter's Great Red Spot? These occur in flows which are unsteady (nonautonomous), that is, which change with time, and therefore any boundary must as well. In steady (autonomous) flows, defining flow boundaries is straightforward: one first finds fixed points of the flow, and then determines entities in space which are attracted to or repelled from these points as time progresses. These are respectively the stable and unstable manifolds of the fixed points, and can be shown to partition space into regions of different types of flow. This talk will focus on the required modifications to this idea for determining flow barriers in the more realistic unsteady context. An application to maximising mixing in microfluidic devices will also be presented.
T-Duality and its Generalizations
12:10 Fri 11 Apr, 2014 :: Ingkarni Wardli B20 :: Jarah Evslin :: Theoretical Physics Center for Science Facilities, CAS

Given a manifold M with a torus action and a choice of integral 3-cocycle H, T-duality yields another manifold with a torus action and integral 3-cocyle. It induces a number of surprising automorphisms between structures on these manifolds. In this talk I will review T-duality and describe some work on two generalizations which are realized in string theory: NS5-branes and heterotic strings. These respectively correspond to non-closed 3-classes H and to principal bundles fibered over M.
Network-based approaches to classification and biomarker identification in metastatic melanoma
15:10 Fri 2 May, 2014 :: B.21 Ingkarni Wardli :: Associate Professor Jean Yee Hwa Yang :: The University of Sydney

Finding prognostic markers has been a central question in much of current research in medicine and biology. In the last decade, approaches to prognostic prediction within a genomics setting are primarily based on changes in individual genes / protein. Very recently, however, network based approaches to prognostic prediction have begun to emerge which utilize interaction information between genes. This is based on the believe that large-scale molecular interaction networks are dynamic in nature and changes in these networks, rather than changes in individual genes/proteins, are often drivers of complex diseases such as cancer. In this talk, I use data from stage III melanoma patients provided by Prof. Mann from Melanoma Institute of Australia to discuss how network information can be utilize in the analysis of gene expression analysis to aid in biological interpretation. Here, we explore a number of novel and previously published network-based prediction methods, which we will then compare to the common single-gene and gene-set methods with the aim of identifying more biologically interpretable biomarkers in the form of networks.
The Mandelbrot Set
12:10 Mon 5 May, 2014 :: B.19 Ingkarni Wardli :: David Bowman :: University of Adelaide

The Mandelbrot set is an icon of modern mathematics, an image which fires the popular imagination when accompanied by the words 'chaos' and 'fractal'. However, few could give even a vague definition of this mysterious set and fewer still know the mathematical meaning behind it. In this talk we will be looking at the role that the Mandelbrot set plays in complex dynamics, the study of iterated complex valued functions. We shall discuss attracting and repelling cycles and how they are related to the different components of the Mandelbrot set.
Oka properties of groups of holomorphic and algebraic automorphisms of complex affine space
12:10 Fri 6 Jun, 2014 :: Ingkarni Wardli B20 :: Finnur Larusson :: University of Adelaide

I will discuss new joint work with Franc Forstneric. The group of holomorphic automorphisms of complex affine space C^n, n>1, is huge. It is not an infinite-dimensional manifold in any recognised sense. Still, our work shows that in some ways it behaves like a finite-dimensional Oka manifold.
Complexifications, Realifications, Real forms and Complex Structures
12:10 Mon 23 Jun, 2014 :: B.19 Ingkarni Wardli :: Kelli Francis-Staite :: University of Adelaide

Italian mathematicians Niccolò Fontana Tartaglia and Gerolamo Cardano introduced complex numbers to solve polynomial equations such as x^2+1=0. Solving a standard real differential equation often uses complex eigenvalues and eigenfunctions. In both cases, the solution space is expanded to include the complex numbers, solved, and then translated back to the real case. My talk aims to explain the process of complexification and related concepts. It will give vocabulary and some basic results about this important process. And it will contain cute cat pictures.
Estimates for eigenfunctions of the Laplacian on compact Riemannian manifolds
12:10 Fri 1 Aug, 2014 :: Ingkarni Wardli B20 :: Andrew Hassell :: Australian National University

I am interested in estimates on eigenfunctions, accurate in the high-eigenvalue limit. I will discuss estimates on the size (as measured by L^p norms) of eigenfunctions, on the whole Riemannian manifold, at the boundary, or at an interior hypersurface. The link between high-eigenvalue estimates, geometry, and the dynamics of geodesic flow will be emphasized.
Hydrodynamics and rheology of self-propelled colloids
15:10 Fri 8 Aug, 2014 :: B17 Ingkarni Wardli :: Dr Sarthok Sircar :: University of Adelaide

The sub-cellular world has many components in common with soft condensed matter systems (polymers, colloids and liquid crystals). But it has novel properties, not present in traditional complex fluids, arising from a rich spectrum of non-equilibrium behavior: flocking, chemotaxis and bioconvection. The talk is divided into two parts. In the first half, we will (get an idea on how to) derive a hydrodynamic model for self-propelled particles of an arbitrary shape from first principles, in a sufficiently dilute suspension limit, moving in a 3-dimensional space inside a viscous solvent. The model is then restricted to particles with ellipsoidal geometry to quantify the interplay of the long-range excluded volume and the short-range self-propulsion effects. The expression for the constitutive stresses, relating the kinetic theory with the momentum transport equations, are derived using a combination of the virtual work principle (for extra elastic stresses) and symmetry arguments (for active stresses). The second half of the talk will highlight on my current numerical expertise. In particular we will exploit a specific class of spectral basis functions together with RK4 time-stepping to determine the dynamical phases/structures as well as phase-transitions of these ellipsoidal clusters. We will also discuss on how to define the order (or orientation) of these clusters and understand the other rheological quantities.
Boundary-value problems for the Ricci flow
15:10 Fri 15 Aug, 2014 :: B.18 Ingkarni Wardli :: Dr Artem Pulemotov :: The University of Queensland

The Ricci flow is a differential equation describing the evolution of a Riemannian manifold (i.e., a "curved" geometric object) into an Einstein manifold (i.e., an object with a "constant" curvature). This equation is particularly famous for its key role in the proof of the Poincare Conjecture. Understanding the Ricci flow on manifolds with boundary is a difficult problem with applications to a variety of fields, such as topology and mathematical physics. The talk will survey the current progress towards the resolution of this problem. In particular, we will discuss new results concerning spaces with symmetries.
Quasimodes that do not Equidistribute
13:10 Tue 19 Aug, 2014 :: Ingkarni Wardli B17 :: Shimon Brooks :: Bar-Ilan University

The QUE Conjecture of Rudnick-Sarnak asserts that eigenfunctions of the Laplacian on Riemannian manifolds of negative curvature should equidistribute in the large eigenvalue limit. For a number of reasons, it is expected that this property may be related to the (conjectured) small multiplicities in the spectrum. One way to study this relationship is to ask about equidistribution for "quasimodes"-or approximate eigenfunctions- in place of highly-degenerate eigenspaces. We will discuss the case of surfaces of constant negative curvature; in particular, we will explain how to construct some examples of sufficiently weak quasimodes that do not satisfy QUE, and show how they fit into the larger theory.
T-duality and the chiral de Rham complex
12:10 Fri 22 Aug, 2014 :: Ingkarni Wardli B20 :: Andrew Linshaw :: University of Denver

The chiral de Rham complex of Malikov, Schechtman, and Vaintrob is a sheaf of vertex algebras that exists on any smooth manifold M. It has a square-zero differential D, and contains the algebra of differential forms on M as a subcomplex. In this talk, I'll give an introduction to vertex algebras and sketch this construction. Finally, I'll discuss a notion of T-duality in this setting. This is based on joint work in progress with V. Mathai.
Ideal membership on singular varieties by means of residue currents
12:10 Fri 29 Aug, 2014 :: Ingkarni Wardli B20 :: Richard Larkang :: University of Adelaide

On a complex manifold X, one can consider the following ideal membership problem: Does a holomorphic function on X belong to a given ideal of holomorphic functions on X? Residue currents give a way of expressing analytically this essentially algebraic problem. I will discuss some basic cases of this, why such an analytic description might be useful, and finish by discussing a generalization of this to singular varieties.
Neural Development of the Visual System: a laminar approach
15:10 Fri 29 Aug, 2014 :: N132 Engineering North :: Dr Andrew Oster :: Eastern Washington University

In this talk, we will introduce the architecture of the visual system in higher order primates and cats. Through activity-dependent plasticity mechanisms, the left and right eye streams segregate in the cortex in a stripe-like manner, resulting in a pattern called an ocular dominance map. We introduce a mathematical model to study how such a neural wiring pattern emerges. We go on to consider the joint development of the ocular dominance map with another feature of the visual system, the cytochrome oxidase blobs, which appear in the center of the ocular dominance stripes. Since cortex is in fact comprised of layers, we introduce a simple laminar model and perform a stability analysis of the wiring pattern. This intricate biological structure (ocular dominance stripes with "blobs" periodically distributed in their centers) can be understood as occurring due to two Turing instabilities combined with the leading-order dynamics of the system.
Neural Development of the Visual System: a laminar approach
15:10 Fri 29 Aug, 2014 :: This talk will now be given as a School Colloquium :: Dr Andrew Oster :: Eastern Washington University

In this talk, we will introduce the architecture of the visual system in higher order primates and cats. Through activity-dependent plasticity mechanisms, the left and right eye streams segregate in the cortex in a stripe-like manner, resulting in a pattern called an ocular dominance map. We introduce a mathematical model to study how such a neural wiring pattern emerges. We go on to consider the joint development of the ocular dominance map with another feature of the visual system, the cytochrome oxidase blobs, which appear in the center of the ocular dominance stripes. Since cortex is in fact comprised of layers, we introduce a simple laminar model and perform a stability analysis of the wiring pattern. This intricate biological structure (ocular dominance stripes with 'blobs' periodically distributed in their centers) can be understood as occurring due to two Turing instabilities combined with the leading-order dynamics of the system.
Modelling biological gel mechanics
12:10 Mon 8 Sep, 2014 :: B.19 Ingkarni Wardli :: James Reoch :: University of Adelaide

The behaviour of gels such as collagen is the result of complex interactions between mechanical and chemical forces. In this talk, I will outline the modelling approaches we are looking at in order to incorporate the influence of cell behaviour alongside chemical potentials, and the various circumstances which lead to gel swelling and contraction.
Inferring absolute population and recruitment of southern rock lobster using only catch and effort data
12:35 Mon 22 Sep, 2014 :: B.19 Ingkarni Wardli :: John Feenstra :: University of Adelaide

Abundance estimates from a data-limited version of catch survey analysis are compared to those from a novel one-parameter deterministic method. Bias of both methods is explored using simulation testing based on a more complex data-rich stock assessment population dynamics fishery operating model, exploring the impact of both varying levels of observation error in data as well as model process error. Recruitment was consistently better estimated than legal size population, the latter most sensitive to increasing observation errors. A hybrid of the data-limited methods is proposed as the most robust approach. A more statistically conventional error-in-variables approach may also be touched upon if enough time.
To Complex Analysis... and beyond!
12:10 Mon 29 Sep, 2014 :: B.19 Ingkarni Wardli :: Brett Chenoweth :: University of Adelaide

In the undergraduate complex analysis course students learn about complex valued functions on domains in C (the complex plane). Several interesting and surprising results come about from this study. In my talk I will introduce a more general setting where complex analysis can be done, namely Riemann surfaces (complex manifolds of dimension 1). I will then prove that all non-compact Riemann surfaces are Stein; which loosely speaking means that their function theory is similar to that of C.
The Serre-Grothendieck theorem by geometric means
12:10 Fri 24 Oct, 2014 :: Ingkarni Wardli B20 :: David Roberts :: University of Adelaide

The Serre-Grothendieck theorem implies that every torsion integral 3rd cohomology class on a finite CW-complex is the invariant of some projective bundle. It was originally proved in a letter by Serre, used homotopical methods, most notably a Postnikov decomposition of a certain classifying space with divisible homotopy groups. In this talk I will outline, using work of the algebraic geometer Offer Gabber, a proof for compact smooth manifolds using geometric means and a little K-theory.
Extending holomorphic maps from Stein manifolds into affine toric varieties
12:10 Fri 14 Nov, 2014 :: Ingkarni Wardli B20 :: Richard Larkang :: University of Adelaide

One way of defining so-called Oka manifolds is by saying that they satisfy the following interpolation property (IP): Y satisfies the IP if any holomorphic map from a closed submanifold S of a Stein manifold X into Y which has a continuous extension to X also has a holomorphic extension. An ostensibly weaker property is the convex interpolation property (CIP), where S is assumed to be a contractible submanifold of X = C^n. By a deep theorem of Forstneric, these (and several other) properties are in fact equivalent. I will discuss a joint work with Finnur Larusson, where we consider the interpolation property when the target Y is a singular affine toric variety. We show that all affine toric varieties satisfy an interpolation property stronger than CIP, but that only in very special situations do they satisfy the full IP.
Modelling segregation distortion in multi-parent crosses
15:00 Mon 17 Nov, 2014 :: 5.57 Ingkarni Wardli :: Rohan Shah (joint work with B. Emma Huang and Colin R. Cavanagh) :: The University of Queensland

Construction of high-density genetic maps has been made feasible by low-cost high-throughput genotyping technology; however, the process is still complicated by biological, statistical and computational issues. A major challenge is the presence of segregation distortion, which can be caused by selection, difference in fitness, or suppression of recombination due to introgressed segments from other species. Alien introgressions are common in major crop species, where they have often been used to introduce beneficial genes from wild relatives. Segregation distortion causes problems at many stages of the map construction process, including assignment to linkage groups and estimation of recombination fractions. This can result in incorrect ordering and estimation of map distances. While discarding markers will improve the resulting map, it may result in the loss of genomic regions under selection or containing beneficial genes (in the case of introgression). To correct for segregation distortion we model it explicitly in the estimation of recombination fractions. Previously proposed methods introduce additional parameters to model the distortion, with a corresponding increase in computing requirements. This poses difficulties for large, densely genotyped experimental populations. We propose a method imposing minimal additional computational burden which is suitable for high-density map construction in large multi-parent crosses. We demonstrate its use modelling the known Sr36 introgression in wheat for an eight-parent complex cross.
Nonlinear analysis over infinite dimensional spaces and its applications
12:10 Fri 6 Feb, 2015 :: Ingkarni Wardli B20 :: Tsuyoshi Kato :: Kyoto University

In this talk we develop moduli theory of holomorphic curves over infinite dimensional manifolds consisted by sequences of almost Kaehler manifolds. Under the assumption of high symmetry, we verify that many mechanisms of the standard moduli theory over closed symplectic manifolds also work over these infinite dimensional spaces. As an application, we study deformation theory of discrete groups acting on trees. There is a canonical way, up to conjugacy to embed such groups into the automorphism group over the infinite projective space. We verify that for some class of Hamiltonian functions, the deformed groups must be always asymptotically infinite.
Boundary behaviour of Hitchin and hypo flows with left-invariant initial data
12:10 Fri 27 Feb, 2015 :: Ingkarni Wardli B20 :: Vicente Cortes :: University of Hamburg

Hitchin and hypo flows constitute a system of first order pdes for the construction of Ricci-flat Riemannian mertrics of special holonomy in dimensions 6, 7 and 8. Assuming that the initial geometric structure is left-invariant, we study whether the resulting Ricci-flat manifolds can be extended in a natural way to complete Ricci-flat manifolds. This talk is based on joint work with Florin Belgun, Marco Freibert and Oliver Goertsches, see arXiv:1405.1866 (math.DG).
On the analyticity of CR-diffeomorphisms
12:10 Fri 13 Mar, 2015 :: Engineering North N132 :: Ilya Kossivskiy :: University of Vienna

One of the fundamental objects in several complex variables is CR-mappings. CR-mappings naturally occur in complex analysis as boundary values of mappings between domains, and as restrictions of holomorphic mappings onto real submanifolds. It was already observed by Cartan that smooth CR-diffeomorphisms between CR-submanifolds in C^N tend to be very regular, i.e., they are restrictions of holomorphic maps. However, in general smooth CR-mappings form a more restrictive class of mappings. Thus, since the inception of CR-geometry, the following general question has been of fundamental importance for the field: Are CR-equivalent real-analytic CR-structures also equivalent holomorphically? In joint work with Lamel, we answer this question in the negative, in any positive CR-dimension and CR-codimension. Our construction is based on a recent dynamical technique in CR-geometry, developed in my earlier work with Shafikov.
Singular Pfaffian systems in dimension 6
12:10 Fri 20 Mar, 2015 :: Napier 144 :: Pawel Nurowski :: Center for Theoretical Physics, Polish Academy of Sciences

We consider a pair of rank 3 distributions in dimension 6 with some remarkable properties. They define an analog of the celebrated nearly-Kahler structure on the 6 sphere, with the exceptional simple Lie group G2 as a group of symmetries. In our case the metric associated with the structure is pseudo-Riemannian, of split signature. The 6 manifold has a 5-dimensional boundary with interesting induced geometry. This structure on the boundary has no analog in the Riemannian case.
Topological matter and its K-theory
11:10 Thu 2 Apr, 2015 :: Ingkarni Wardli B18 :: Guo Chuan Thiang :: University of Adelaide

The notion of fundamental particles, as well as phases of condensed matter, evolves as new mathematical tools become available to the physicist. I will explain how K-theory provides a powerful language for describing quantum mechanical symmetries, homotopies of their realisations, and topological insulators. Real K-theory is crucial in this framework, and its rich structure is still being explored both physically and mathematically.
IGA Workshop on Symmetries and Spinors: Interactions Between Geometry and Physics
09:30 Mon 13 Apr, 2015 :: Conference Room 7.15 on Level 7 of the Ingkarni Wardli building :: J. Figueroa-O'Farrill (University of Edinburgh), M. Zabzine (Uppsala University), et al

The interplay between physics and geometry has lead to stunning advances and enriched the internal structure of each field. This is vividly exemplified in the theory of supergravity, which is a supersymmetric extension of Einstein's relativity theory to the small scales governed by the laws of quantum physics. Sophisticated mathematics is being employed for finding solutions to the generalised Einstein equations and in return, they provide a rich source for new exotic geometries. This workshop brings together world-leading scientists from both, geometry and mathematical physics, as well as young researchers and students, to meet and learn about each others work.
Multivariate regression in quantitative finance: sparsity, structure, and robustness
15:10 Fri 1 May, 2015 :: Engineering North N132 :: A/Prof Mark Coates :: McGill University

Many quantitative hedge funds around the world strive to predict future equity and futures returns based on many sources of information, including historical returns and economic data. This leads to a multivariate regression problem. Compared to many regression problems, the signal-to-noise ratio is extremely low, and profits can be realized if even a small fraction of the future returns can be accurately predicted. The returns generally have heavy-tailed distributions, further complicating the regression procedure.

In this talk, I will describe how we can impose structure into the regression problem in order to make detection and estimation of the very weak signals feasible. Some of this structure consists of an assumption of sparsity; some of it involves identification of common factors to reduce the dimension of the problem. I will also describe how we can formulate alternative regression problems that lead to more robust solutions that better match the performance metrics of interest in the finance setting.

A Collision Algorithm for Sea Ice
12:10 Mon 4 May, 2015 :: Napier LG29 :: Lucas Yiew :: University of Adelaide

The wave-induced collisions between sea ice are highly complex and nonlinear, and involves a multitude of subprocesses. Several collision models do exist, however, to date, none of these models have been successfully integrated into sea-ice forecasting models. A key component of a collision model is the development of an appropriate collision algorithm. In this seminar I will present a time-stepping, event-driven algorithm to detect, analyse and implement the pre- and post-collision processes.
Indefinite spectral triples and foliations of spacetime
12:10 Fri 8 May, 2015 :: Napier 144 :: Koen van den Dungen :: Australian National University

Motivated by Dirac operators on Lorentzian manifolds, we propose a new framework to deal with non-symmetric and non-elliptic operators in noncommutative geometry. We provide a definition for indefinite spectral triples, which correspond bijectively with certain pairs of spectral triples. Next, we will show how a special case of indefinite spectral triples can be constructed from a family of spectral triples. In particular, this construction provides a convenient setting to study the Dirac operator on a spacetime with a foliation by spacelike hypersurfaces. This talk is based on joint work with Adam Rennie (arXiv:1503.06916).
Haven't I seen you before? Accounting for partnership duration in infectious disease modeling
15:10 Fri 8 May, 2015 :: Level 7 Conference Room Ingkarni Wardli :: Dr Joel Miller :: Monash University


Our ability to accurately predict and explain the spread of an infectious disease is a significant factor in our ability to implement effective interventions. Our ability to accurately model disease spread depends on how accurately we capture the various effects. This is complicated by the fact that infectious disease spread involves a number of time scales. Four that are particularly relevant are: duration of infection in an individual, duration of partnerships between individuals, the time required for an epidemic to spread through the population, and the time required for the population structure to change (demographic or otherwise).

Mathematically simple models of disease spread usually make the implicit assumption that the duration of partnerships is by far the shortest time scale in the system. Thus they miss out on the tendency for infected individuals to deplete their local pool of susceptibles. Depending on the details of the disease in question, this effect may be significant.

I will discuss work done to reduce these assumptions for "SIR" (Susceptible-Infected-Recovered) diseases, which allows us to interpolate between populations which are static and populations which change partners rapidly in closed populations (no entry/exit). I will then discuss early results in applying these methods to diseases such as HIV in which the population time scales are relevant.

The twistor equation on Lorentzian Spin^c manifolds
12:10 Fri 15 May, 2015 :: Napier 144 :: Andree Lischewski :: University of Adelaide

In this talk I consider a conformally covariant spinor field equation, called the twistor equation, which can be formulated on any Lorentzian Spin^c manifold. Its solutions have become of importance in the study of supersymmetric field theories in recent years and were named "charged conformal Killing spinors". After a short review of conformal Spin^c geometry in Lorentzian signature, I will briefly discuss the emergence of charged conformal Killing spinors in supergravity. I will then focus on special geometric structures related to the twistor equation and use charged conformal Killing spinors in order to establish a link between conformal and CR geometry.
Monodromy of the Hitchin system and components of representation varieties
12:10 Fri 29 May, 2015 :: Napier 144 :: David Baraglia :: University of Adelaide

Representations of the fundamental group of a compact Riemann surface into a reductive Lie group form a moduli space, called a representation variety. An outstanding problem in topology is to determine the number of components of these varieties. Through a deep result known as non-abelian Hodge theory, representation varieties are homeomorphic to moduli spaces of certain holomorphic objects called Higgs bundles. In this talk I will describe recent joint work with L. Schaposnik computing the monodromy of the Hitchin fibration for Higgs bundle moduli spaces. Our results give a new unified proof of the number of components of several representation varieties.
Some approaches toward a stronger Jacobian conjecture
12:10 Fri 5 Jun, 2015 :: Napier 144 :: Tuyen Truong :: University of Adelaide

The Jacobian conjecture states that if a polynomial self-map of C^n has invertible Jacobian, then the map has a polynomial inverse. Is it true, false or simply undecidable? In this talk I will propose a conjecture concerning general square matrices with complex coefficients, whose validity implies the Jacobian conjecture. The conjecture is checked in various cases, in particular it is true for generic matrices. Also, a heuristic argument is provided explaining why the conjecture (and thus, also the Jacobian conjecture) should be true.
Complex Systems, Chaotic Dynamics and Infectious Diseases
15:10 Fri 5 Jun, 2015 :: Engineering North N132 :: Prof Michael Small :: UWA

In complex systems, the interconnection between the components of the system determine the dynamics. The system is described by a very large and random mathematical graph and it is the topological structure of that graph which is important for understanding of the dynamical behaviour of the system. I will talk about two specific examples - (1) spread of infectious disease (where the connection between the agents in a population, rather than epidemic parameters, determine the endemic state); and, (2) a transformation to represent a dynamical system as a graph (such that the "statistical mechanics" of the graph characterise the dynamics).
Dirac operators and Hamiltonian loop group action
12:10 Fri 24 Jul, 2015 :: Engineering and Maths EM212 :: Yanli Song :: University of Toronto

A definition to the geometric quantization for compact Hamiltonian G-spaces is given by Bott, defined as the index of the Spinc-Dirac operator on the manifold. In this talk, I will explain how to generalize this idea to the Hamiltonian LG-spaces. Instead of quantizing infinite-dimensional manifolds directly, we use its equivalent finite-dimensional model, the quasi-Hamiltonian G-spaces. By constructing twisted spinor bundle and twisted pre-quantum bundle on the quasi-Hamiltonian G-space, we define a Dirac operator whose index are given by positive energy representation of loop groups. A key role in the construction will be played by the algebraic cubic Dirac operator for loop algebra. If time permitted, I will also explain how to prove the quantization commutes with reduction theorem for Hamiltonian LG-spaces under this framework.
Quantising proper actions on Spin-c manifolds
11:00 Fri 31 Jul, 2015 :: Ingkarni Wardli Level 7 Room 7.15 :: Peter Hochs :: The University of Adelaide

For a proper action by a Lie group on a Spin-c manifold (both of which may be noncompact), we study an index of deformations of the Spin-c Dirac operator, acting on the space of spinors invariant under the group action. When applied to spinors that are square integrable transversally to orbits in a suitable sense, the kernel of this operator turns out to be finite-dimensional, under certain hypotheses of the deformation. This also allows one to show that the index has the quantisation commutes with reduction property (as proved by Meinrenken in the compact symplectic case, and by Paradan-Vergne in the compact Spin-c case), for sufficiently large powers of the determinant line bundle. Furthermore, this result extends to Spin-c Dirac operators twisted by vector bundles. A key ingredient of the arguments is the use of a family of inner products on the Lie algebra, depending on a point in the manifold. This is joint work with Mathai Varghese.
Dynamics on Networks: The role of local dynamics and global networks on hypersynchronous neural activity
15:10 Fri 31 Jul, 2015 :: Ingkarni Wardli B21 :: Prof John Terry :: University of Exeter, UK


Graph theory has evolved into a useful tool for studying complex brain networks inferred from a variety of measures of neural activity, including fMRI, DTI, MEG and EEG. In the study of neurological disorders, recent work has discovered differences in the structure of graphs inferred from patient and control cohorts. However, most of these studies pursue a purely observational approach; identifying correlations between properties of graphs and the cohort which they describe, without consideration of the underlying mechanisms. To move beyond this necessitates the development of mathematical modelling approaches to appropriately interpret network interactions and the alterations in brain dynamics they permit.

In the talk we introduce some of these concepts with application to epilepsy, introducing a dynamic network approach to study resting state EEG recordings from a cohort of 35 people with epilepsy and 40 adult controls. Using this framework we demonstrate a strongly significant difference between networks inferred from the background activity of people with epilepsy in comparison to normal controls. Our findings demonstrate that a mathematical model based analysis of routine clinical EEG provides significant additional information beyond standard clinical interpretation, which may ultimately enable a more appropriate mechanistic stratification of people with epilepsy leading to improved diagnostics and therapeutics.

Mathematical Modeling and Analysis of Active Suspensions
14:10 Mon 3 Aug, 2015 :: Napier 209 :: Professor Michael Shelley :: Courant Institute of Mathematical Sciences, New York University

Complex fluids that have a 'bio-active' microstructure, like suspensions of swimming bacteria or assemblies of immersed biopolymers and motor-proteins, are important examples of so-called active matter. These internally driven fluids can have strange mechanical properties, and show persistent activity-driven flows and self-organization. I will show how first-principles PDE models are derived through reciprocal coupling of the 'active stresses' generated by collective microscopic activity to the fluid's macroscopic flows. These PDEs have an interesting analytic structures and dynamics that agree qualitatively with experimental observations: they predict the transitions to flow instability and persistent mixing observed in bacterial suspensions, and for microtubule assemblies show the generation, propagation, and annihilation of disclination defects. I'll discuss how these models might be used to study yet more complex biophysical systems.
In vitro models of colorectal cancer: why and how?
15:10 Fri 7 Aug, 2015 :: B19 Ingkarni Wardli :: Dr Tamsin Lannagan :: Gastrointestinal Cancer Biology Group, University of Adelaide / SAHMRI

1 in 20 Australians will develop colorectal cancer (CRC) and it is the second most common cause of cancer death. Similar to many other cancer types, it is the metastases rather than the primary tumour that are lethal, and prognosis is defined by “how far” the tumour has spread at time of diagnosis. Modelling in vivo behavior through rapid and relatively inexpensive in vitro assays would help better target therapies as well as help develop new treatments. One such new in vitro tool is the culture of 3D organoids. Organoids are a biologically stable means of growing, storing and testing treatments against bowel cancer. To this end, we have just set up a human colorectal organoid bank across Australia. This consortium will help us to relate in vitro growth patterns to in vivo behaviour and ultimately in the selection of patients for personalized therapies. Organoid growth, however, is complex. There appears to be variable growth rates and growth patterns. Together with members of the ECMS we recently gained funding to better quantify and model spatial structures in these colorectal organoids. This partnership will aim to directly apply the expertise within the ECMS to patient care.
Deformation retractions from the space of continuous maps between domains in C onto the space of holomorphic maps
12:10 Mon 17 Aug, 2015 :: Benham Labs G10 :: Brett Chenoweth :: University of Adelaide

Mikhail Gromov proved in 1989 that every continuous map from a Stein manifold S to an elliptic manifold X could be deformed to a holomorphic map. More generally, it is true that if X is an Oka manifold then a continuous map from a Stein source into X can always be deformed to a holomorphic map. The question is whether we can do this for all continuous maps at once, in a `nice' way that does not change a map f if f is already holomorphic. In a recent paper by Larusson, we see that ANRs play an important in producing a partial answer to this question. In this talk we will explore the question in the relatively simple situation where the source and target are domains in the complex plane.
T-duality and bulk-boundary correspondence
12:10 Fri 11 Sep, 2015 :: Ingkarni Wardli B17 :: Guo Chuan Thiang :: The University of Adelaide

Bulk-boundary correspondences in physics can be modelled as topological boundary homomorphisms in K-theory, associated to an extension of a "bulk algebra" by a "boundary algebra". In joint work with V. Mathai, such bulk-boundary maps are shown to T-dualize into simple restriction maps in a large number of cases, generalizing what the Fourier transform does for ordinary functions. I will give examples, involving both complex and real K-theory, and explain how these results may be used to study topological phases of matter and D-brane charges in string theory.
Base change and K-theory
12:10 Fri 18 Sep, 2015 :: Ingkarni Wardli B17 :: Hang Wang :: The University of Adelaide

Tempered representations of an algebraic group can be classified by K-theory of the corresponding group C^*-algebra. We use Archimedean base change between Langlands parameters of real and complex algebraic groups to compare K-theory of the corresponding C^*-algebras of groups over different number fields. This is work in progress with K.F. Chao.
Real Lie Groups and Complex Flag Manifolds
12:10 Fri 9 Oct, 2015 :: Ingkarni Wardli B17 :: Joseph A. Wolf :: University of California, Berkeley

Let G be a complex simple direct limit group. Let G_R be a real form of G that corresponds to an hermitian symmetric space. I'll describe the corresponding bounded symmetric domain in the context of the Borel embedding, Cayley transforms, and the Bergman-Shilov boundary. Let Q be a parabolic subgroup of G. In finite dimensions this means that G/Q is a complex projective variety, or equivalently has a Kaehler metric invariant under a maximal compact subgroup of G. Then I'll show just how the bounded symmetric domains describe cycle spaces for open G_R orbits on G/Q. These cycle spaces include the complex bounded symmetric domains. In finite dimensions they are tightly related to moduli spaces for compact Kaehler manifolds and to representations of semisimple Lie groups; in infinite dimensions there are more problems than answers. Finally, time permitting, I'll indicate how some of this goes over to real and to quaternionic bounded symmetric domains.
Chern-Simons classes on loop spaces and diffeomorphism groups
12:10 Fri 16 Oct, 2015 :: Ingkarni Wardli B17 :: Steve Rosenberg :: Boston University

Not much is known about the topology of the diffeomorphism group Diff(M) of manifolds M of dimension four and higher. We'll show that for a class of manifolds of dimension 4k+1, Diff(M) has infinite fundamental group. This is proved by translating the problem into a question about Chern-Simons classes on the tangent bundle to the loop space LM. To build the CS classes, we use a family of metrics on LM associated to a Riemannian metric on M. The curvature of these metrics takes values in an algebra of pseudodifferential operators. The main technical step in the CS construction is to replace the ordinary matrix trace in finite dimensions with the Wodzicki residue, the unique trace on this algebra. The moral is that some techniques in finite dimensional Riemannian geometry can be extended to some examples in infinite dimensional geometry.
Quasi-isometry classification of certain hyperbolic Coxeter groups
11:00 Fri 23 Oct, 2015 :: Ingkarni Wardli Conference Room 7.15 (Level 7) :: Anne Thomas :: University of Sydney

Let Gamma be a finite simple graph with vertex set S. The associated right-angled Coxeter group W is the group with generating set S, so that s^2 = 1 for all s in S and st = ts if and only if s and t are adjacent vertices in Gamma. Moussong proved that the group W is hyperbolic in the sense of Gromov if and only if Gamma has no "empty squares". We consider the quasi-isometry classification of such Coxeter groups using the local cut point structure of their visual boundaries. In particular, we find an algorithm for computing Bowditch's JSJ tree for a class of these groups, and prove that two such groups are quasi-isometric if and only if their JSJ trees are the same. This is joint work with Pallavi Dani (Louisiana State University).
Covariant model structures and simplicial localization
12:10 Fri 30 Oct, 2015 :: Ingkarni Wardli B17 :: Danny Stevenson :: The University of Adelaide

This talk will describe some aspects of the theory of quasi-categories, in particular the notion of left fbration and the allied covariant model structure. If B is a simplicial set, then I will describe some Quillen equivalences relating the covariant model structure on simplicial sets over B to a certain localization of simplicial presheaves on the simplex category of B. I will show how this leads to a new description of Lurie's simplicial rigidification functor as a hammock localization and describe some applications to Lurie's theory of straightening and unstraightening functors.
Near-motion-trapping in rings of cylinders (and why this is the worst possible wave energy device)
15:10 Fri 30 Oct, 2015 :: Ingkarni Wardli B21 :: Dr Hugh Wolgamot :: University of Western Australia

Motion trapping structures can oscillate indefinitely when floating in an ideal fluid. This talk discusses a simple structure which is predicted to have very close to perfect trapping behaviour, where the structure has been investigated numerically and (for the first time) experimentally. While endless oscillations were evidently not observed experimentally, remarkable differences between 'tuned' and 'detuned' structures were still apparent, and simple theory is sufficient to explain much of the behaviour. A connection with wave energy will be briefly explored, though the link is not fruitful!
Ocean dynamics of Gulf St Vincent: a numerical study
12:10 Mon 2 Nov, 2015 :: Benham Labs G10 :: Henry Ellis :: University of Adelaide

The aim of this research is to determine the physical dynamics of ocean circulation within Gulf St. Vincent, South Australia, and the exchange of momentum, nutrients, heat, salt and other water properties between the gulf and shelf via Investigator Strait and Backstairs Passage. The project aims to achieve this through the creation of high-resolution numerical models, combined with new and historical observations from a moored instrument package, satellite data, and shipboard surveys. The quasi-realistic high-resolution models are forced using boundary conditions generated by existing larger scale ROMS models, which in turn are forced at the boundary by a global model, creating a global to regional to local model network. Climatological forcing is done using European Centres for Medium range Weather Forecasting (ECMWF) data sets and is consistent over the regional and local models. A series of conceptual models are used to investigate the relative importance of separate physical processes in addition to fully forced quasi-realistic models. An outline of the research to be undertaken is given: • Connectivity of Gulf St. Vincent with shelf waters including seasonal variation due to wind and thermoclinic patterns; • The role of winter time cooling and formation of eddies in flushing the gulf; • The formation of a temperature front within the gulf during summer time; and • The connectivity and importance of nutrient rich, cool, water upwelling from the Bonney Coast with the gulf via Backstairs Passage during summer time.
Locally homogeneous pp-waves
12:10 Fri 6 Nov, 2015 :: Ingkarni Wardli B17 :: Thomas Leistner :: The University of Adelaide

For a certain type of Lorentzian manifolds, the so-called pp-waves, we study the conditions implied on the curvature by local homogeneity of the metric. We show that under some mild genericity assumptions, these conditions are quite strong, forcing the pp-wave to be a plane wave, and yielding a classification of homogeneous pp-waves. This also leads to a generalisation of a classical result by Jordan, Ehlers and Kundt about vacuum pp-waves in dimension 4 to arbitrary dimensions. Several examples show that our genericity assumptions are essential. This is joint work with W. Globke.
Group meeting
15:10 Fri 20 Nov, 2015 :: Ingkarni Wardli B17 :: Mr Jack Keeler :: University of East Anglia / University of Adelaide

Title: Stability of free-surface flow over topography Abstract: The forced KdV equation is used as a model to analyse the wave behaviour on the free surface in response to prescribed topographic forcing. The research involves computing steady solutions using numeric and asymptotic techniques and then analysing the stability of these steady solutions in time-dependent calculations. Stability is analysed by computing the eigenvalue spectra of the linearised fKdV operator and by exploiting the Hamiltonian structure of the fKdV. Future work includes analysing the solution space for a corrugated topography and investigating the 3 dimensional problem using the KP equation. + Any items for group discussion
Group meeting
15:10 Fri 20 Nov, 2015 :: Ingkarni Wardli B17 :: Mr Jack Keeler :: University of East Anglia / University of Adelaide

Title: Stability of free-surface flow over topography Abstract: The forced KdV equation is used as a model to analyse the wave behaviour on the free surface in response to prescribed topographic forcing. The research involves computing steady solutions using numeric and asymptotic techniques and then analysing the stability of these steady solutions in time-dependent calculations. Stability is analysed by computing the eigenvalue spectra of the linearised fKdV operator and by exploiting the Hamiltonian structure of the fKdV. Future work includes analysing the solution space for a corrugated topography and investigating the 3 dimensional problem using the KP equation. + Any items for group discussion
Oka principles and the linearization problem
12:10 Fri 8 Jan, 2016 :: Engineering North N132 :: Gerald Schwarz :: Brandeis University

Let G be a reductive complex Lie group (e.g., SL(n,C)) and let X and Y be Stein manifolds (closed complex submanifolds of some C^n). Suppose that G acts freely on X and Y. Then there are quotient Stein manifolds X/G and Y/G and quotient mappings p_X:X-> X/G and p_Y: Y-> Y/G such that X and Y are principal G-bundles over X/G and Y/G. Let us suppose that Q=X/G ~= Y/G so that X and Y have the same quotient Q. A map Phi: X\to Y of principal bundles (over Q) is simply an equivariant continuous map commuting with the projections. That is, Phi(gx)=g Phi(x) for all g in G and x in X, and p_X=p_Y o Phi. The famous Oka Principle of Grauert says that any Phi as above embeds in a continuous family Phi_t: X -> Y, t in [0,1], where Phi_0=Phi, all the Phi_t satisfy the same conditions as Phi does and Phi_1 is holomorphic. This is rather amazing. We consider the case where G does not necessarily act freely on X and Y. There is still a notion of quotient and quotient mappings p_X: X-> X//G and p_Y: Y-> Y//G where X//G and Y//G are now Stein spaces and parameterize the closed G-orbits in X and Y. We assume that Q~= X//G~= Y//G and that we have a continuous equivariant Phi such that p_X=p_Y o Phi. We find conditions under which Phi embeds into a continuous family Phi_t such that Phi_1 is holomorphic. We give an application to the Linearization Problem. Let G act holomorphically on C^n. When is there a biholomorphic map Phi:C^n -> C^n such that Phi^{-1} o g o Phi in GL(n,C) for all g in G? We find a condition which is necessary and sufficient for "most" G-actions. This is joint work with F. Kutzschebauch and F. Larusson.
A fibered density property and the automorphism group of the spectral ball
12:10 Fri 15 Jan, 2016 :: Engineering North N132 :: Frank Kutzschebauch :: University of Bern

The spectral ball is defined as the set of complex n by n matrices whose eigenvalues are all less than 1 in absolute value. Its group of holomorphic automorphisms has been studied over many decades in several papers and a precise conjecture about its structure has been formulated. In dimension 2 this conjecture was recently disproved by Kosinski. We not only disprove the conjecture in all dimensions but also give the best possible description of the automorphism group. Namely we explain how the invariant theoretic quotient map divides the automorphism group of the spectral ball into a finite dimensional part of symmetries which lift from the quotient and an infinite dimensional part which leaves the fibration invariant. We prove a precise statement as to how hopelessly huge this latter part is. This is joint work with R. Andrist.
A long C^2 without holomorphic functions
12:10 Fri 29 Jan, 2016 :: Engineering North N132 :: Franc Forstneric :: University of Ljubljana

For every integer n>1 we construct a complex manifold of dimension n which is exhausted by an increasing sequence of biholomorphic images of C^n (i.e., a long C^n), but it does not admit any nonconstant holomorphic functions. We also introduce new biholomorphic invariants of a complex manifold, the stable core and the strongly stable core, and we prove that every compact strongly pseudoconvex and polynomially convex domain B in C^n is the strongly stable core of a long C^n; in particular, non-equivalent domains give rise to non-equivalent long C^n's. Thus, for any n>1 there exist uncountably many pairwise non-equivalent long C^n's. These results answer several long standing open questions. (Joint work with Luka Boc Thaler.)
A fixed point theorem on noncompact manifolds
12:10 Fri 12 Feb, 2016 :: Ingkarni Wardli B21 :: Peter Hochs :: University of Adelaide / Radboud University

For an elliptic operator on a compact manifold acted on by a compact Lie group, the Atiyah-Segal-Singer fixed point formula expresses its equivariant index in terms of data on fixed point sets of group elements. This can for example be used to prove Weyl’s character formula. We extend the definition of the equivariant index to noncompact manifolds, and prove a generalisation of the Atiyah-Segal-Singer formula, for group elements with compact fixed point sets. In one example, this leads to a relation with characters of discrete series representations of semisimple Lie groups. (This is joint work with Hang Wang.)
T-duality for elliptic curve orientifolds
12:10 Fri 4 Mar, 2016 :: Ingkarni Wardli B17 :: Jonathan Rosenberg :: University of Maryland

Orientifold string theories are quantum field theories based on the geometry of a space with an involution. T-dualities are certain relationships between such theories that look different on the surface but give rise to the same observable physics. In this talk I will not assume any knowledge of physics but will concentrate on the associated geometry, in the case where the underlying space is a (complex) elliptic curve and the involution is either holomorphic or anti-holomorphic. The results blend algebraic topology and algebraic geometry. This is mostly joint work with Chuck Doran and Stefan Mendez-Diez.
Expanding maps
12:10 Fri 18 Mar, 2016 :: Eng & Maths EM205 :: Andy Hammerlindl :: Monash University

Consider a function from the circle to itself such that the derivative is greater than one at every point. Examples are maps of the form f(x) = mx for integers m > 1. In some sense, these are the only possible examples. This fact and the corresponding question for maps on higher dimensional manifolds was a major motivation for Gromov to develop pioneering results in the field of geometric group theory. In this talk, I'll give an overview of this and other results relating dynamical systems to the geometry of the manifolds on which they act and (time permitting) talk about my own work in the area.
Connecting within-host and between-host dynamics to understand how pathogens evolve
15:10 Fri 1 Apr, 2016 :: Engineering South S112 :: A/Prof Mark Tanaka :: University of New South Wales

Modern molecular technologies enable a detailed examination of the extent of genetic variation among isolates of bacteria and viruses. Mathematical models can help make inferences about pathogen evolution from such data. Because the evolution of pathogens ultimately occurs within hosts, it is influenced by dynamics within hosts including interactions between pathogens and hosts. Most models of pathogen evolution focus on either the within-host or the between-host level. Here I describe steps towards bridging the two scales. First, I present a model of influenza virus evolution that incorporates within-host dynamics to obtain the between-host rate of molecular substitution as a function of the mutation rate, the within-host reproduction number and other factors. Second, I discuss a model of viral evolution in which some hosts are immunocompromised, thereby extending opportunities for within-host virus evolution which then affects population-level evolution. Finally, I describe a model of Mycobacterium tuberculosis in which multi-drug resistance evolves within hosts and spreads by transmission between hosts.
Sard Theorem for the endpoint map in sub-Riemannian manifolds
12:10 Fri 29 Apr, 2016 :: Eng & Maths EM205 :: Alessandro Ottazzi :: University of New South Wales

Sub-Riemannian geometries occur in several areas of pure and applied mathematics, including harmonic analysis, PDEs, control theory, metric geometry, geometric group theory, and neurobiology. We introduce sub-Riemannian manifolds and give some examples. Therefore we discuss some of the open problems, and in particular we focus on the Sard Theorem for the endpoint map, which is related to the study of length minimizers. Finally, we consider some recent results obtained in collaboration with E. Le Donne, R. Montgomery, P. Pansu and D. Vittone.
How to count Betti numbers
12:10 Fri 6 May, 2016 :: Eng & Maths EM205 :: David Baraglia :: University of Adelaide

I will begin this talk by showing how to obtain the Betti numbers of certain smooth complex projective varieties by counting points over a finite field. For singular or non-compact varieties this motivates us to consider the "virtual Hodge numbers" encoded by the "Hodge-Deligne polynomial", a refinement of the topological Euler characteristic. I will then discuss the computation of Hodge-Deligne polynomials for certain singular character varieties (i.e. moduli spaces of flat connections).
Mathematical modelling of the immune response to influenza
15:00 Thu 12 May, 2016 :: Ingkarni Wardli B20 :: Ada Yan :: University of Melbourne

The immune response plays an important role in the resolution of primary influenza infection and prevention of subsequent infection in an individual. However, the relative roles of each component of the immune response in clearing infection, and the effects of interaction between components, are not well quantified.

We have constructed a model of the immune response to influenza based on data from viral interference experiments, where ferrets were exposed to two influenza strains within a short time period. The changes in viral kinetics of the second virus due to the first virus depend on the strains used as well as the interval between exposures, enabling inference of the timing of innate and adaptive immune response components and the role of cross-reactivity in resolving infection. Our model provides a mechanistic explanation for the observed variation in viruses' abilities to protect against subsequent infection at short inter-exposure intervals, either by delaying the second infection or inducing stochastic extinction of the second virus. It also explains the decrease in recovery time for the second infection when the two strains elicit cross-reactive cellular adaptive immune responses. To account for inter-subject as well as inter-virus variation, the model is formulated using a hierarchical framework. We will fit the model to experimental data using Markov Chain Monte Carlo methods; quantification of the model will enable a deeper understanding of the effects of potential new treatments.
Harmonic analysis of Hodge-Dirac operators
12:10 Fri 13 May, 2016 :: Eng & Maths EM205 :: Pierre Portal :: Australian National University

When the metric on a Riemannian manifold is perturbed in a rough (merely bounded and measurable) manner, do basic estimates involving the Hodge Dirac operator $D = d+d^*$ remain valid? Even in the model case of a perturbation of the euclidean metric on $\mathbb{R}^n$, this is a difficult question. For instance, the fact that the $L^2$ estimate $\|Du\|_2 \sim \|\sqrt{D^{2}}u\|_2$ remains valid for perturbed versions of $D$ was a famous conjecture made by Kato in 1961 and solved, positively, in a ground breaking paper of Auscher, Hofmann, Lacey, McIntosh and Tchamitchian in 2002. In the past fifteen years, a theory has emerged from the solution of this conjecture, making rough perturbation problems much more tractable. In this talk, I will give a general introduction to this theory, and present one of its latest results: a flexible approach to $L^p$ estimates for the holomorphic functional calculus of $D$. This is joint work with D. Frey (Delft) and A. McIntosh (ANU).
Harmonic Analysis in Rough Contexts
15:10 Fri 13 May, 2016 :: Engineering South S112 :: Dr Pierre Portal :: Australian National University

In recent years, perspectives on what constitutes the ``natural" framework within which to conduct various forms of mathematical analysis have shifted substantially. The common theme of these shifts can be described as a move towards roughness, i.e. the elimination of smoothness assumptions that had previously been considered fundamental. Examples include partial differential equations on domains with a boundary that is merely Lipschitz continuous, geometric analysis on metric measure spaces that do not have a smooth structure, and stochastic analysis of dynamical systems that have nowhere differentiable trajectories. In this talk, aimed at a general mathematical audience, I describe some of these shifts towards roughness, placing an emphasis on harmonic analysis, and on my own contributions. This includes the development of heat kernel methods in situations where such a kernel is merely a distribution, and applications to deterministic and stochastic partial differential equations.
Time series analysis of paleo-climate proxies (a mathematical perspective)
15:10 Fri 27 May, 2016 :: Engineering South S112 :: Dr Thomas Stemler :: University of Western Australia

In this talk I will present the work my colleagues from the School of Earth and Environment (UWA), the "trans disciplinary methods" group of the Potsdam Institute for Climate Impact Research, Germany, and I did to explain the dynamics of the Australian-South East Asian monsoon system during the last couple of thousand years. From a time series perspective paleo-climate proxy series are more or less the monsters moving under your bed that wake you up in the middle of the night. The data is clearly non-stationary, non-uniform sampled in time and the influence of stochastic forcing or the level of measurement noise are more or less unknown. Given these undesirable properties almost all traditional time series analysis methods fail. I will highlight two methods that allow us to draw useful conclusions from the data sets. The first one uses Gaussian kernel methods to reconstruct climate networks from multiple proxies. The coupling relationships in these networks change over time and therefore can be used to infer which areas of the monsoon system dominate the complex dynamics of the whole system. Secondly I will introduce the transformation cost time series method, which allows us to detect changes in the dynamics of a non-uniform sampled time series. Unlike the frequently used interpolation approach, our new method does not corrupt the data and therefore avoids biases in any subsequence analysis. While I will again focus on paleo-climate proxies, the method can be used in other applied areas, where regular sampling is not possible.
Algebraic structures associated to Brownian motion on Lie groups
13:10 Thu 16 Jun, 2016 :: Ingkarni Wardli B17 :: Steve Rosenberg :: University of Adelaide / Boston University

In (1+1)-d TQFT, products and coproducts are associated to pairs of pants decompositions of Riemann surfaces. We consider a toy model in dimension (0+1) consisting of specific broken paths in a Lie group. The products and coproducts are constructed by a Brownian motion average of holonomy along these paths with respect to a connection on an auxiliary bundle. In the trivial case over the torus, we (seem to) recover the Hopf algebra structure on the symmetric algebra. In the general case, we (seem to) get deformations of this Hopf algebra. This is a preliminary report on joint work with Michael Murray and Raymond Vozzo.
Multi-scale modeling in biofluids and particle aggregation
15:10 Fri 17 Jun, 2016 :: B17 Ingkarni Wardli :: Dr Sarthok Sircar :: University of Adelaide

In today's seminar I will give 2 examples in mathematical biology which describes the multi-scale organization at 2 levels: the meso/micro level and the continuum/macro level. I will then detail suitable tools in statistical mechanics to link these different scales. The first problem arises in mathematical physiology: swelling-de-swelling mechanism of mucus, an ionic gel. Mucus is packaged inside cells at high concentration (volume fraction) and when released into the extracellular environment, it expands in volume by two orders of magnitude in a matter of seconds. This rapid expansion is due to the rapid exchange of calcium and sodium that changes the cross-linked structure of the mucus polymers, thereby causing it to swell. Modeling this problem involves a two-phase, polymer/solvent mixture theory (in the continuum level description), together with the chemistry of the polymer, its nearest neighbor interaction and its binding with the dissolved ionic species (in the micro-scale description). The problem is posed as a free-boundary problem, with the boundary conditions derived from a combination of variational principle and perturbation analysis. The dynamics of neutral gels and the equilibrium-states of the ionic gels are analyzed. In the second example, we numerically study the adhesion fragmentation dynamics of rigid, round particles clusters subject to a homogeneous shear flow. In the macro level we describe the dynamics of the number density of these cluster. The description in the micro-scale includes (a) binding/unbinding of the bonds attached on the particle surface, (b) bond torsion, (c) surface potential due to ionic medium, and (d) flow hydrodynamics due to shear flow.
Chern-Simons invariants of Seifert manifolds via Loop spaces
14:10 Tue 28 Jun, 2016 :: Ingkarni Wardli B17 :: Ryan Mickler :: Northeastern University

Over the past 30 years the Chern-Simons functional for connections on G-bundles over three-manfolds has lead to a deep understanding of the geometry of three-manfiolds, as well as knot invariants such as the Jones polynomial. Here we study this functional for three-manfolds that are topologically given as the total space of a principal circle bundle over a compact Riemann surface base, which are known as Seifert manifolds. We show that on such manifolds the Chern-Simons functional reduces to a particular gauge-theoretic functional on the 2d base, that describes a gauge theory of connections on an infinite dimensional bundle over this base with structure group given by the level-k affine central extension of the loop group LG. We show that this formulation gives a new understanding of results of Beasley-Witten on the computability of quantum Chern-Simons invariants of these manifolds as well as knot invariants for knots that wrap a single fiber of the circle bundle. A central tool in our analysis is the Caloron correspondence of Murray-Stevenson-Vozzo.
Holomorphic Flexibility Properties of Spaces of Elliptic Functions
12:10 Fri 29 Jul, 2016 :: Ingkarni Wardli B18 :: David Bowman :: University of Adelaide

The set of meromorphic functions on an elliptic curve naturally possesses the structure of a complex manifold. The component of degree 3 functions is 6-dimensional and enjoys several interesting complex-analytic properties that make it, loosely speaking, the opposite of a hyperbolic manifold. Our main result is that this component has a 54-sheeted branched covering space that is an Oka manifold.
Approaches to modelling cells and remodelling biological tissues
14:10 Wed 10 Aug, 2016 :: Ingkarni Wardli 5.57 :: Professor Helen Byrne :: University of Oxford

Biological tissues are complex structures, whose evolution is characterised by multiple biophysical processes that act across diverse space and time scales. For example, during normal wound healing, fibroblast cells located around the wound margin exert contractile forces to close the wound while those located in the surrounding tissue synthesise new tissue in response to local growth factors and mechanical stress created by wound contraction. In this talk I will illustrate how mathematical modelling can provide insight into such complex processes, taking my inspiration from recent studies of cell migration, vasculogenesis and wound healing.
Calculus on symplectic manifolds
12:10 Fri 12 Aug, 2016 :: Ingkarni Wardli B18 :: Mike Eastwood :: University of Adelaide

One can use the symplectic form to construct an elliptic complex replacing the de Rham complex. Then, under suitable curvature conditions, one can form coupled versions of this complex. Finally, on complex projective space, these constructions give rise to a series of elliptic complexes with geometric consequences for the Fubini-Study metric and its X-ray transform. This talk, which will start from scratch, is based on the work of many authors but, especially, current joint work with Jan Slovak.
Energy quantisation for the Willmore functional
11:10 Fri 7 Oct, 2016 :: Ligertwood 314 Flinders Room :: Yann Bernard :: Monash University

We prove a bubble-neck decomposition and an energy quantisation result for sequences of Willmore surfaces immersed into R^(m>=3) with uniformly bounded energy and non-degenerating conformal structure. We deduce the strong compactness (modulo the action of the Moebius group) of closed Willmore surfaces of a given genus below some energy threshold. This is joint-work with Tristan Riviere (ETH Zuerich).
Parahoric bundles, invariant theory and the Kazhdan-Lusztig map
12:10 Fri 21 Oct, 2016 :: Ingkarni Wardli B18 :: David Baraglia :: University of Adelaide

In this talk I will introduce the notion of parahoric groups, a loop group analogue of parabolic subgroups. I will also discuss a global version of this, namely parahoric bundles on a complex curve. This leads us to a problem concerning the behaviour of invariant polynomials on the dual of the Lie algebra, a kind of "parahoric invariant theory". The key to solving this problem turns out to be the Kazhdan-Lusztig map, which assigns to each nilpotent orbit in a semisimple Lie algebra a conjugacy class in the Weyl group. Based on joint work with Masoud Kamgarpour and Rohith Varma.
Introduction to Lorentz Geometry: Riemann vs Lorentz
12:10 Fri 18 Nov, 2016 :: Engineering North N132 :: Abdelghani Zeghib :: Ecole Normale Superieure de Lyon

The goal is to compare Riemannian and Lorentzian geometries and see what one loses and wins when going from the Riemann to Lorentz. Essentially, one loses compactness and ellipticity, but wins causality structure and mathematical and physical situations when natural Lorentzian metrics emerge.
An equivariant parametric Oka principle for bundles of homogeneous spaces
12:10 Fri 3 Mar, 2017 :: Napier 209 :: Finnur Larusson :: University of Adelaide

I will report on new joint work with Frank Kutzschebauch and Gerald Schwarz (arXiv:1612.07372). Under certain conditions, every continuous section of a holomorphic fibre bundle can be deformed to a holomorphic section. In fact, the inclusion of the space of holomorphic sections into the space of continuous sections is a weak homotopy equivalence. What if a complex Lie group acts on the bundle and its sections? We have proved an analogous result for equivariant sections. The result has a wide scope. If time permits, I will describe some interesting special cases and mention two applications.
Collective and aneural foraging in biological systems
15:10 Fri 3 Mar, 2017 :: Lower Napier LG14 :: Dr Jerome Buhl and Dr David Vogel :: The University of Adelaide

The field of collective behaviour uses concepts originally adapted from statistical physics to study how complex collective phenomena such as mass movement or swarm intelligence emerge from relatively simple interactions between individuals. Here we will focus on two applications of this framework. First we will have look at new insights into the evolution of sociality brought by combining models of nutrition and social interactions to explore phenomena such as collective foraging decisions, emergence of social organisation and social immunity. Second, we will look at the networks built by slime molds under exploration and foraging context.
Diffeomorphisms of discs, harmonic spinors and positive scalar curvature
11:10 Fri 17 Mar, 2017 :: Engineering Nth N218 :: Diarmuid Crowley :: University of Melbourne

Let Diff(D^k) be the space of diffeomorphisms of the k-disc fixing the boundary point wise. In this talk I will show for k > 5, that the homotopy groups \pi_*Diff(D^k) have non-zero 8-periodic 2-torsion detected in real K-theory. I will then discuss applications for spin manifolds M of dimension 6 or greater: 1) Our results input to arguments of Hitchin which now show that M admits a metric with a harmonic spinor. 2) If non-empty, space of positive scalar curvature metrics on M has non-zero 8-periodic 2-torsion in its homotopy groups which is detected in real K-theory. This is part of joint work with Thomas Schick and Wolfgang Steimle.
Minimal surfaces and complex analysis
12:10 Fri 24 Mar, 2017 :: Napier 209 :: Antonio Alarcon :: University of Granada

A surface in the Euclidean space R^3 is said to be minimal if it is locally area-minimizing, meaning that every point in the surface admits a compact neighborhood with the least area among all the surfaces with the same boundary. Although the origin of minimal surfaces is in physics, since they can be realized locally as soap films, this family of surfaces lies in the intersection of many fields of mathematics. In particular, complex analysis in one and several variables plays a fundamental role in the theory. In this lecture we will discuss the influence of complex analysis in the study of minimal surfaces.
Geometric structures on moduli spaces
12:10 Fri 31 Mar, 2017 :: Napier 209 :: Nicholas Buchdahl :: University of Adelaide

Moduli spaces are used to classify various kinds of objects, often arising from solutions of certain differential equations on manifolds; for example, the complex structures on a compact surface or the anti-self-dual Yang-Mills equations on an oriented smooth 4-manifold. Sometimes these moduli spaces carry important information about the underlying manifold, manifested most clearly in the results of Donaldson and others on the topology of smooth 4-manifolds. It is also the case that these moduli spaces themselves carry interesting geometric structures; for example, the Weil-Petersson metric on moduli spaces of compact Riemann surfaces, exploited to great effect by Maryam Mirzakhani. In this talk, I shall elaborate on the theme of geometric structures on moduli spaces, with particular focus on some recent-ish work done in conjunction with Georg Schumacher.
K-types of tempered representations
12:10 Fri 7 Apr, 2017 :: Napier 209 :: Peter Hochs :: University of Adelaide

Tempered representations of a reductive Lie group G are the irreducible unitary representations one needs in the Plancherel decomposition of L^2(G). They are relevant to harmonic analysis because of this, and also occur in the Langlands classification of the larger class of admissible representations. If K in G is a maximal compact subgroup, then there is a considerable amount of information in the restriction of a tempered representation to K. In joint work with Yanli Song and Shilin Yu, we give a geometric expression for the decomposition of such a restriction into irreducibles. The multiplicities of these irreducibles are expressed as indices of Dirac operators on reduced spaces of a coadjoint orbit of G corresponding to the representation. These reduced spaces are Spin-c analogues of reduced spaces in symplectic geometry, defined in terms of moment maps that represent conserved quantities. This result involves a Spin-c version of the quantisation commutes with reduction principle for noncompact manifolds. For discrete series representations, this was done by Paradan in 2003.
Algae meet the mathematics of multiplicative multifractals
12:10 Tue 2 May, 2017 :: Inkgarni Wardli Conference Room 715 :: Professor Tony Roberts :: School of Mathematical Sciences

There is much that is fragmented and rough in the world around us: clouds and landscapes are examples, as is algae. We need fractal geometry to encompass these. In practice we need multifractals: a composite of interwoven sets, each with their own fractal structure. Multiplicative multifractals have known properties. Optimising a fit between them and the data then empowers us to quantify subtle details of fractal geometry in applications, such as in algae distribution.
Hodge theory on the moduli space of Riemann surfaces
12:10 Fri 5 May, 2017 :: Napier 209 :: Jesse Gell-Redman :: University of Melbourne

The Hodge theorem on a closed Riemannian manifold identifies the deRham cohomology with the space of harmonic differential forms. Although there are various extensions of the Hodge theorem to singular or complete but non-compact spaces, when there is an identification of L^2 Harmonic forms with a topological feature of the underlying space, it is highly dependent on the nature of infinity (in the non-compact case) or the locus of incompleteness; no unifying theorem treats all cases. We will discuss work toward extending the Hodge theorem to singular Riemannian manifolds where the singular locus is an incomplete cusp edge. These can be pictured locally as a bundle of horns, and they provide a model for the behavior of the Weil-Petersson metric on the compactified Riemann moduli space near the interior of a divisor. Joint with J. Swoboda and R. Melrose.
Schubert Calculus on Lagrangian Grassmannians
12:10 Tue 23 May, 2017 :: EM 213 :: Hiep Tuan Dang :: National centre for theoretical sciences, Taiwan

The Lagrangian Grassmannian $LG = LG(n,2n)$ is the projective complex manifold which parametrizes Lagrangian (i.e. maximal isotropic) subspaces in a symplective vector space of dimension $2n$. This talk is mainly devoted to Schubert calculus on $LG$. We first recall the definition of Schubert classes in this context. Then we present basic results which are similar to the classical formulas due to Pieri and Giambelli. These lead to a presentation of the cohomology ring of $LG$. Finally, we will discuss recent results related to the Schubert structure constants and Gromov-Witten invariants of $LG$.
Holomorphic Legendrian curves
12:10 Fri 26 May, 2017 :: Napier 209 :: Franc Forstneric :: University of Ljubljana, Slovenia

I will present recent results on the existence and behaviour of noncompact holomorphic Legendrian curves in complex contact manifolds. We show that these curves are ubiquitous in \C^{2n+1} with the standard holomorphic contact form \alpha=dz+\sum_{j=1}^n x_jdy_j; in particular, every open Riemann surface embeds into \C^3 as a proper holomorphic Legendrian curves. On the other hand, for any integer n>= 1 there exist Kobayashi hyperbolic complex contact structures on \C^{2n+1} which do not admit any nonconstant Legendrian complex lines. Furthermore, we construct a holomorphic Darboux chart around any noncompact holomorphic Legendrian curve in an arbitrary complex contact manifold. As an application, we show that every bordered holomorphic Legendrian curve can be uniformly approximated by complete bounded Legendrian curves.
Probabilistic approaches to human cognition: What can the math tell us?
15:10 Fri 26 May, 2017 :: Engineering South S111 :: Dr Amy Perfors :: School of Psychology, University of Adelaide

Why do people avoid vaccinating their children? Why, in groups, does it seem like the most extreme positions are weighted more highly? On the surface, both of these examples look like instances of non-optimal or irrational human behaviour. This talk presents preliminary evidence suggesting, however, that in both cases this pattern of behaviour is sensible given certain assumptions about the structure of the world and the nature of beliefs. In the case of vaccination, we model people's choices using expected utility theory. This reveals that their ignorance about the nature of diseases like whooping cough makes them underweight the negative utility attached to contracting such a disease. When that ignorance is addressed, their values and utilities shift. In the case of extreme positions, we use simulations of chains of Bayesian learners to demonstrate that whenever information is propagated in groups, the views of the most extreme learners naturally gain more traction. This effect emerges as the result of basic mathematical assumptions rather than human irrationality.
Stokes' Phenomenon in Translating Bubbles
15:10 Fri 2 Jun, 2017 :: Ingkarni Wardli 5.57 :: Dr Chris Lustri :: Macquarie University

This study of translating air bubbles in a Hele-Shaw cell containing viscous fluid reveals the critical role played by surface tension in these systems. The standard zero-surface-tension model of Hele-Shaw flow predicts that a continuum of bubble solutions exists for arbitrary flow translation velocity. The inclusion of small surface tension, however, eliminates this continuum of solutions, instead producing a discrete, countably infinite family of solutions, each with distinct translation speeds. We are interested in determining this discrete family of solutions, and understanding why only these solutions are permitted. Studying this problem in the asymptotic limit of small surface tension does not seem to give any particular reason why only these solutions should be selected. It is only by using exponential asymptotic methods to study the Stokes’ structure hidden in the problem that we are able to obtain a complete picture of the bubble behaviour, and hence understand the selection mechanism that only permits certain solutions to exist. In the first half of my talk, I will explain the powerful ideas that underpin exponential asymptotic techniques, such as analytic continuation and optimal truncation. I will show how they are able to capture behaviour known as Stokes' Phenomenon, which is typically invisible to classical asymptotic series methods. In the second half of the talk, I will introduce the problem of a translating air bubble in a Hele-Shaw cell, and show that the behaviour can be fully understood by examining the Stokes' structure concealed within the problem. Finally, I will briefly showcase other important physical applications of exponential asymptotic methods, including submarine waves and particle chains.
Constructing differential string structures
14:10 Wed 7 Jun, 2017 :: EM213 :: David Roberts :: University of Adelaide

String structures on a manifold are analogous to spin structures, except instead of lifting the structure group through the extension Spin(n)\to SO(n) of Lie groups, we need to lift through the extension String(n)\to Spin(n) of Lie *2-groups*. Such a thing exists if the first fractional Pontryagin class (1/2)p_1 vanishes in cohomology. A differential string structure also lifts connection data, but this is rather complicated, involving a number of locally defined differential forms satisfying cocycle-like conditions. This is an expansion of the geometric string structures of Stolz and Redden, which is, for a given connection A, merely a 3-form R on the frame bundle such that dR = tr(F^2) for F the curvature of A; in other words a trivialisation of the de Rham class of (1/2)p_1. I will present work in progress on a framework (and specific results) that allows explicit calculation of the differential string structure for a large class of homogeneous spaces, which also yields formulas for the Stolz-Redden form. I will comment on the application to verifying the refined Stolz conjecture for our particular class of homogeneous spaces. Joint work with Ray Vozzo.
Quaternionic Kaehler manifolds of co-homogeneity one
12:10 Fri 16 Jun, 2017 :: Ligertwood 231 :: Vicente Cortes :: Universitat Hamburg

Quaternionic Kaehler manifolds form an important class of Riemannian manifolds of special holonomy. They provide examples of Einstein manifolds of non-zero scalar curvature. I will show how to construct explicit examples of complete quaternionic Kaehler manifolds of negative scalar curvature beyond homogeneous spaces. In particular, I will present a series of examples of co-homogeneity one, based on arXiv:1701.07882.
Complex methods in real integral geometry
12:10 Fri 28 Jul, 2017 :: Engineering Sth S111 :: Mike Eastwood :: University of Adelaide

There are well-known analogies between holomorphic integral transforms such as the Penrose transform and real integral transforms such as the Radon, Funk, and John transforms. In fact, one can make a precise connection between them and hence use complex methods to establish results in the real setting. This talk will introduce some simple integral transforms and indicate how complex analysis may be applied.
Weil's Riemann hypothesis (RH) and dynamical systems
12:10 Fri 11 Aug, 2017 :: Engineering Sth S111 :: Tuyen Truong :: University of Adelaide

Weil proposed an analogue of the RH in finite fields, aiming at counting asymptotically the number of solutions to a given system of polynomial equations (with coefficients in a finite field) in finite field extensions of the base field. This conjecture influenced the development of Algebraic Geometry since the 1950’s, most important achievements include: Grothendieck et al.’s etale cohomology, and Bombieri and Grothendieck’s standard conjectures on algebraic cycles (inspired by a Kahlerian analogue of a generalisation of Weil’s RH by Serre). Weil’s RH was solved by Deligne in the 70’s, but the finite field analogue of Serre’s result is still open (even in dimension 2). This talk presents my recent work proposing a generalisation of Weil’s RH by relating it to standard conjectures and a relatively new notion in complex dynamical systems called dynamical degrees. In the course of the talk, I will present the proof of a question proposed by Esnault and Srinivas (which is related to a result by Gromov and Yomdin on entropy of complex dynamical systems), which gives support to the finite field analogue of Serre’s result.
Mathematics is Biology's Next Microscope (Only Better!)
15:10 Fri 11 Aug, 2017 :: Ingkarni Wardli B17 :: Dr Robyn Araujo :: Queensland University of Technology

While mathematics has long been considered "an essential tool for physics", the foundations of biology and the life sciences have received significantly less influence from mathematical ideas and theory. In this talk, I will give a brief discussion of my recent research on robustness in molecular signalling networks, as an example of a complex biological question that calls for a mathematical answer. In particular, it has been a long-standing mystery how the extraordinarily complex communication networks inside living cells, comprising thousands of different interacting molecules, are able to function robustly since complexity is generally associated with fragility. Mathematics has now suggested a resolution to this paradox through the discovery that robust adaptive signalling networks must be constructed from a just small number of well-defined universal modules (or "motifs"), connected together. The existence of these newly-discovered modules has important implications for evolutionary biology, embryology and development, cancer research, and drug development.
Mathematics is Biology'€™s Next Microscope (Only Better!)
15:10 Fri 11 Aug, 2017 :: Ingkarni Wardli B17 :: Dr Robyn Araujo :: Queensland University of Technology

While mathematics has long been considered “an essential tool for physics", the foundations of biology and the life sciences have received significantly less influence from mathematical ideas and theory. In this talk, I will give a brief discussion of my recent research on robustness in molecular signalling networks, as an example of a complex biological question that calls for a mathematical answer. In particular, it has been a long-standing mystery how the extraordinarily complex communication networks inside living cells, comprising thousands of different interacting molecules, are able to function robustly since complexity is generally associated with fragility. Mathematics has now suggested a resolution to this paradox through the discovery that robust adaptive signalling networks must be constructed from a just small number of well-defined universal modules (or “motifs”), connected together. The existence of these newly-discovered modules has important implications for evolutionary biology, embryology and development, cancer research, and drug development.
Dynamics of transcendental Hanon maps
11:10 Wed 20 Sep, 2017 :: Engineering & Math EM212 :: Leandro Arosio :: University of Rome

The dynamics of a polynomial in the complex plane is a classical topic studied already at the beginning of the 20th century by Fatou and Julia. The complex plane is partitioned in two natural invariant sets: a compact set called the Julia set, with (usually) fractal structure and chaotic behaviour, and the Fatou set, where dynamics has no sensitive dependence on initial conditions. The dynamics of a transcendental map was first studied by Baker fifty years ago, and shows striking differences with the polynomial case: for example, there are wandering Fatou components. Moving to C^2, an analogue of polynomial dynamics is given by Hanon maps, polynomial automorphisms with interesting dynamics. In this talk I will introduce a natural generalisation of transcendental dynamics to C^2, and show how to construct wandering domains for such maps.
Equivariant formality of homogeneous spaces
12:10 Fri 29 Sep, 2017 :: Engineering Sth S111 :: Alex Chi-Kwong Fok :: University of Adelaide

Equivariant formality, a notion in equivariant topology introduced by Goresky-Kottwitz-Macpherson, is a desirable property of spaces with group actions, which allows the application of localisation formula to evaluate integrals of any top closed forms and enables one to compute easily the equivariant cohomology. Broad classes of spaces of especial interest are well-known to be equivariantly formal, e.g., compact symplectic manifolds equipped with Hamiltonian compact Lie group actions and projective varieties equipped with linear algebraic torus actions, of which flag varieties are examples. Less is known about compact homogeneous spaces G/K equipped with the isotropy action of K, which is not necessarily of maximal rank. In this talk we will review previous attempts of characterizing equivariant formality of G/K, and present our recent results on this problem using an analogue of equivariant formality in K-theory. Part of the work presented in this talk is joint with Jeffrey Carlson.
End-periodic K-homology and spin bordism
12:10 Fri 20 Oct, 2017 :: Engineering Sth S111 :: Michael Hallam :: University of Adelaide

This talk introduces new "end-periodic" variants of geometric K-homology and spin bordism theories that are tailored to a recent index theorem for even-dimensional manifolds with periodic ends. This index theorem, due to Mrowka, Ruberman and Saveliev, is a generalisation of the Atiyah-Patodi-Singer index theorem for manifolds with odd-dimensional boundary. As in the APS index theorem, there is an (end-periodic) eta invariant that appears as a correction term for the periodic end. Invariance properties of the standard relative eta invariants are elegantly expressed using K-homology and spin bordism, and this continues to hold in the end-periodic case. In fact, there are natural isomorphisms between the standard K-homology/bordism theories and their end-periodic versions, and moreover these isomorphisms preserve relative eta invariants. The study is motivated by results on positive scalar curvature, namely obstructions and distinct path components of the moduli space of PSC metrics. Our isomorphisms provide a systematic method for transferring certain results on PSC from the odd-dimensional case to the even-dimensional case. This work is joint with Mathai Varghese.
Stochastic Modelling of Urban Structure
11:10 Mon 20 Nov, 2017 :: Engineering Nth N132 :: Mark Girolami :: Imperial College London, and The Alan Turing Institute

Urban systems are complex in nature and comprise of a large number of individuals that act according to utility, a measure of net benefit pertaining to preferences. The actions of individuals give rise to an emergent behaviour, creating the so-called urban structure that we observe. In this talk, I develop a stochastic model of urban structure to formally account for uncertainty arising from the complex behaviour. We further use this stochastic model to infer the components of a utility function from observed urban structure. This is a more powerful modelling framework in comparison to the ubiquitous discrete choice models that are of limited use for complex systems, in which the overall preferences of individuals are difficult to ascertain. We model urban structure as a realization of a Boltzmann distribution that is the invariant distribution of a related stochastic differential equation (SDE) that describes the dynamics of the urban system. Our specification of Boltzmann distribution assigns higher probability to stable configurations, in the sense that consumer surplus (demand) is balanced with running costs (supply), as characterized by a potential function. We specify a Bayesian hierarchical model to infer the components of a utility function from observed structure. Our model is doubly-intractable and poses significant computational challenges that we overcome using recent advances in Markov chain Monte Carlo (MCMC) methods. We demonstrate our methodology with case studies on the London retail system and airports in England.
A multiscale approximation of a Cahn-Larche system with phase separation on the microscale
15:10 Thu 22 Feb, 2018 :: Ingkarni Wardli 5.57 :: Ms Lisa Reischmann :: University of Augsberg

We consider the process of phase separation of a binary system under the influence of mechanical deformation and we derive a mathematical multiscale model, which describes the evolving microstructure taking into account the elastic properties of the involved materials. Motivated by phase-separation processes observed in lipid monolayers in film-balance experiments, the starting point of the model is the Cahn-Hilliard equation coupled with the equations of linear elasticity, the so-called Cahn-Larche system. Owing to the fact that the mechanical deformation takes place on a macrosopic scale whereas the phase separation happens on a microscopic level, a multiscale approach is imperative. We assume the pattern of the evolving microstructure to have an intrinsic length scale associated with it, which, after nondimensionalisation, leads to a scaled model involving a small parameter epsilon>0, which is suitable for periodic-homogenisation techniques. For the full nonlinear problem the so-called homogenised problem is then obtained by letting epsilon tend to zero using the method of asymptotic expansion. Furthermore, we present a linearised Cahn-Larche system and use the method of two-scale convergence to obtain the associated limit problem, which turns out to have the same structure as in the nonlinear case, in a mathematically rigorous way. Properties of the limit model will be discussed.
A Hecke module structure on the KK-theory of arithmetic groups
13:10 Fri 2 Mar, 2018 :: Barr Smith South Polygon Lecture theatre :: Bram Mesland :: University of Bonn

Let $G$ be a locally compact group, $\Gamma$ a discrete subgroup and $C_{G}(\Gamma)$ the commensurator of $\Gamma$ in $G$. The cohomology of $\Gamma$ is a module over the Shimura Hecke ring of the pair $(\Gamma,C_G(\Gamma))$. This construction recovers the action of the Hecke operators on modular forms for $SL(2,\mathbb{Z})$ as a particular case. In this talk I will discuss how the Shimura Hecke ring of a pair $(\Gamma, C_{G}(\Gamma))$ maps into the $KK$-ring associated to an arbitrary $\Gamma$-C*-algebra. From this we obtain a variety of $K$-theoretic Hecke modules. In the case of manifolds the Chern character provides a Hecke equivariant transformation into cohomology, which is an isomorphism in low dimensions. We discuss Hecke equivariant exact sequences arising from possibly noncommutative compactifications of $\Gamma$-spaces. Examples include the Borel-Serre and geodesic compactifications of the universal cover of an arithmetic manifold, and the totally disconnected boundary of the Bruhat-Tits tree of $SL(2,\mathbb{Z})$. This is joint work with M.H. Sengun (Sheffield).
Radial Toeplitz operators on bounded symmetric domains
11:10 Fri 9 Mar, 2018 :: Lower Napier LG11 :: Raul Quiroga-Barranco :: CIMAT, Guanajuato, Mexico

The Bergman spaces on a complex domain are defined as the space of holomorphic square-integrable functions on the domain. These carry interesting structures both for analysis and representation theory in the case of bounded symmetric domains. On the other hand, these spaces have some bounded operators obtained as the composition of a multiplier operator and a projection. These operators are highly noncommuting between each other. However, there exist large commutative C*-algebras generated by some of these Toeplitz operators very much related to Lie groups. I will construct an example of such C*-algebras and provide a fairly explicit simultaneous diagonalization of the generating Toeplitz operators.
Family gauge theory and characteristic classes of bundles of 4-manifolds
13:10 Fri 16 Mar, 2018 :: Barr Smith South Polygon Lecture theatre :: Hokuto Konno :: University of Tokyo

I will define a non-trivial characteristic class of bundles of 4-manifolds using families of Seiberg-Witten equations. The basic idea of the construction is to consider an infinite dimensional analogue of the Euler class used in the usual theory of characteristic classes. I will also explain how to prove the non-triviality of this characteristic class. If time permits, I will mention a relation between our characteristic class and positive scalar curvature metrics.
Computing trisections of 4-manifolds
13:10 Fri 23 Mar, 2018 :: Barr Smith South Polygon Lecture theatre :: Stephen Tillmann :: University of Sydney

Gay and Kirby recently generalised Heegaard splittings of 3-manifolds to trisections of 4-manifolds. A trisection describes a 4–dimensional manifold as a union of three 4–dimensional handlebodies. The complexity of the 4–manifold is captured in a collection of curves on a surface, which guide the gluing of the handelbodies. The minimal genus of such a surface is the trisection genus of the 4-manifold. After defining trisections and giving key examples and applications, I will describe an algorithm to compute trisections of 4–manifolds using arbitrary triangulations as input. This results in the first explicit complexity bounds for the trisection genus of a 4–manifold in terms of the number of pentachora (4–simplices) in a triangulation. This is joint work with Mark Bell, Joel Hass and Hyam Rubinstein. I will also describe joint work with Jonathan Spreer that determines the trisection genus for each of the standard simply connected PL 4-manifolds.
Complexity of 3-Manifolds
15:10 Fri 23 Mar, 2018 :: Horace Lamb 1022 :: A/Prof Stephan Tillmann :: University of Sydney

In this talk, I will give a general introduction to complexity of 3-manifolds and explain the connections between combinatorics, algebra, geometry, and topology that arise in its study. The complexity of a 3-manifold is the minimum number of tetrahedra in a triangulation of the manifold. It was defined and first studied by Matveev in 1990. The complexity is generally difficult to compute, and various upper and lower bounds have been derived during the last decades using fundamental group, homology or hyperbolic volume. Effective bounds have only been found in joint work with Jaco, Rubinstein and, more recently, Spreer. Our bounds not only allowed us to determine the first infinite classes of minimal triangulations of closed 3-manifolds, but they also lead to a structure theory of minimal triangulations of 3-manifolds.
Chaos in higher-dimensional complex dynamics
13:10 Fri 20 Apr, 2018 :: Barr Smith South Polygon Lecture theatre :: Finnur Larusson :: University of Adelaide

I will report on new joint work with Leandro Arosio (University of Rome, Tor Vergata). Complex manifolds can be thought of as laid out across a spectrum characterised by rigidity at one end and flexibility at the other. On the rigid side, Kobayashi-hyperbolic manifolds have at most a finite-dimensional group of symmetries. On the flexible side, there are manifolds with an extremely large group of holomorphic automorphisms, the prototypes being the affine spaces $\mathbb C^n$ for $n \geq 2$. From a dynamical point of view, hyperbolicity does not permit chaos. An endomorphism of a Kobayashi-hyperbolic manifold is non-expansive with respect to the Kobayashi distance, so every family of endomorphisms is equicontinuous. We show that not only does flexibility allow chaos: under a strong anti-hyperbolicity assumption, chaotic automorphisms are generic. A special case of our main result is that if $G$ is a connected complex linear algebraic group of dimension at least 2, not semisimple, then chaotic automorphisms are generic among all holomorphic automorphisms of $G$ that preserve a left- or right-invariant Haar form. For $G=\mathbb C^n$, this result was proved (although not explicitly stated) some 20 years ago by Fornaess and Sibony. Our generalisation follows their approach. I will give plenty of context and background, as well as some details of the proof of the main result.
Stability Through a Geometric Lens
15:10 Fri 18 May, 2018 :: Horace Lamb 1022 :: Dr Robby Marangell :: University of Sydney

Focussing on the example of the Fisher/KPP equation, I will show how geometric information can be used to establish (in)stability results in some partial differential equations (PDEs). Viewing standing and travelling waves as fixed points of a flow in an infinite dimensional system, leads to a reduction of the linearised stability problem to a boundary value problem in a linear non-autonomous ordinary differential equation (ODE). Next, by exploiting the linearity of the system, one can use geometric ideas to reveal additional structure underlying the determination of stability. I will show how the Riccati equation can be used to produce a reasonably computable detector of eigenvalues and how such a detector is related to another, well-known eigenvalue detector, the Evans function. If there is time, I will try to expand on how to generalise these ideas to systems of PDEs.
Obstructions to smooth group actions on 4-manifolds from families Seiberg-Witten theory
13:10 Fri 25 May, 2018 :: Barr Smith South Polygon Lecture theatre :: David Baraglia :: University of Adelaide

Let X be a smooth, compact, oriented 4-manifold and consider the following problem. Let G be a group which acts on the second cohomology of X preserving the intersection form. Can this action of G on H^2(X) be lifted to an action of G on X by diffeomorphisms? We study a parametrised version of Seiberg-Witten theory for smooth families of 4-manifolds and obtain obstructions to the existence of such lifts. For example, we construct compact simply-connected 4-manifolds X and involutions on H^2(X) that can be realised by a continuous involution on X, or by a diffeomorphism, but not by an involutive diffeomorphism for any smooth structure on X.
The mass of Riemannian manifolds
13:10 Fri 1 Jun, 2018 :: Barr Smith South Polygon Lecture theatre :: Matthias Ludewig :: MPIM Bonn

We will define the mass of differential operators L on compact Riemannian manifolds. In odd dimensions, if L is a conformally covariant differential operator, then its mass is also conformally covariant, while in even dimensions, one has a more complicated transformation rule. In the special case that L is the Yamabe operator, its mass is related to the ADM mass of an associated asymptotically flat spacetime. In particular, one expects positive mass theorems in various settings. Here we highlight some recent results.
Quantifying language change
15:10 Fri 1 Jun, 2018 :: Horace Lamb 1022 :: A/Prof Eduardo Altmann :: University of Sydney

Mathematical methods to study natural language are increasingly important because of the ubiquity of textual data in the Internet. In this talk I will discuss mathematical models and statistical methods to quantify the variability of language, with focus on two problems: (i) How the vocabulary of languages changed over the last centuries? (ii) How the language of scientific disciplines relate to each other and evolved in the last decades? One of the main challenges of these analyses stem from universal properties of word frequencies, which show high temporal variability and are fat-tailed distributed. The later feature dramatically affects the statistical properties of entropy-based estimators, which motivates us to compare vocabularies using a generalized Jenson-Shannon divergence (obtained from entropies of order alpha).
Quantifying language change
15:10 Fri 1 Jun, 2018 :: Napier 208 :: A/Prof Eduardo Altmann :: University of Sydney

Mathematical methods to study natural language are increasingly important because of the ubiquity of textual data in the Internet. In this talk I will discuss mathematical models and statistical methods to quantify the variability of language, with focus on two problems: (i) How the vocabulary of languages changed over the last centuries? (ii) How the language of scientific disciplines relate to each other and evolved in the last decades? One of the main challenges of these analyses stem from universal properties of word frequencies, which show high temporal variability and are fat-tailed distributed. The later feature dramatically affects the statistical properties of entropy-based estimators, which motivates us to compare vocabularies using a generalized Jenson-Shannon divergence (obtained from entropies of order alpha).
Hitchin's Projectively Flat Connection for the Moduli Space of Higgs Bundles
13:10 Fri 15 Jun, 2018 :: Barr Smith South Polygon Lecture theatre :: John McCarthy :: University of Adelaide

In this talk I will discuss the problem of geometrically quantizing the moduli space of Higgs bundles on a compact Riemann surface using Kahler polarisations. I will begin by introducing geometric quantization via Kahler polarisations for compact manifolds, leading up to the definition of a Hitchin connection as stated by Andersen. I will then describe the moduli spaces of stable bundles and Higgs bundles over a compact Riemann surface, and discuss their properties. The problem of geometrically quantizing the moduli space of stables bundles, a compact space, was solved independently by Hitchin and Axelrod, Del PIetra, and Witten. The Higgs moduli space is non-compact and therefore the techniques used do not apply, but carries an action of C*. I will finish the talk by discussing the problem of finding a Hitchin connection that preserves this C* action. Such a connection exists in the case of Higgs line bundles, and I will comment on the difficulties in higher rank.
The topology and geometry of spaces of Yang-Mills-Higgs flow lines
11:10 Fri 27 Jul, 2018 :: Barr Smith South Polygon Lecture theatre :: Graeme Wilkin :: National University of Singapore

Given a smooth complex vector bundle over a compact Riemann surface, one can define the space of Higgs bundles and an energy functional on this space: the Yang-Mills-Higgs functional. The gradient flow of this functional resembles a nonlinear heat equation, and the limit of the flow detects information about the algebraic structure of the initial Higgs bundle (e.g. whether or not it is semistable). In this talk I will explain my work to classify ancient solutions of the Yang-Mills-Higgs flow in terms of their algebraic structure, which leads to an algebro-geometric classification of Yang-Mills-Higgs flow lines. Critical points connected by flow lines can then be interpreted in terms of the Hecke correspondence, which appears in Witten’s recent work on Geometric Langlands. This classification also gives a geometric description of spaces of unbroken flow lines in terms of secant varieties of the underlying Riemann surface, and in the remaining time I will describe work in progress to relate the (analytic) Morse compactification of these spaces by broken flow lines to an algebro-geometric compactification by iterated blowups of secant varieties.
Carleman approximation of maps into Oka manifolds.
11:10 Fri 3 Aug, 2018 :: Barr Smith South Polygon Lecture theatre :: Brett Chenoweth :: University of Ljubljana

In 1927 Torsten Carleman proved a remarkable extension of the Stone-Weierstrass theorem. Carleman’s theorem is ostensibly the first result concerning the approximation of functions on unbounded closed subsets of C by entire functions. In this talk we introduce Carleman’s theorem and several of its recent generalisations including the titled generalisation which was proved by the speaker in arXiv:1804.10680.

News matching "Variation of Hodge structure for generalized compl"

Workshop on Complex Geometry
The Institute for Geometry and its Applications will host a Workshop on Complex Geometry at the University of Adelaide from Monday 16 February to Friday 20 February 2009. Click here for full details. Posted Wed 17 Sep 08.
ARC Grant successes
The School of Mathematical Sciences has again had outstanding success in the ARC Discovery and Linkage Projects schemes. Congratulations to the following staff for their success in the Discovery Project scheme: Prof Nigel Bean, Dr Josh Ross, Prof Phil Pollett, Prof Peter Taylor, New methods for improving active adaptive management in biological systems, $255,000 over 3 years; Dr Josh Ross, New methods for integrating population structure and stochasticity into models of disease dynamics, $248,000 over three years; A/Prof Matt Roughan, Dr Walter Willinger, Internet traffic-matrix synthesis, $290,000 over three years; Prof Patricia Solomon, A/Prof John Moran, Statistical methods for the analysis of critical care data, with application to the Australian and New Zealand Intensive Care Database, $310,000 over 3 years; Prof Mathai Varghese, Prof Peter Bouwknegt, Supersymmetric quantum field theory, topology and duality, $375,000 over 3 years; Prof Peter Taylor, Prof Nigel Bean, Dr Sophie Hautphenne, Dr Mark Fackrell, Dr Malgorzata O'Reilly, Prof Guy Latouche, Advanced matrix-analytic methods with applications, $600,000 over 3 years. Congratulations to the following staff for their success in the Linkage Project scheme: Prof Simon Beecham, Prof Lee White, A/Prof John Boland, Prof Phil Howlett, Dr Yvonne Stokes, Mr John Wells, Paving the way: an experimental approach to the mathematical modelling and design of permeable pavements, $370,000 over 3 years; Dr Amie Albrecht, Prof Phil Howlett, Dr Andrew Metcalfe, Dr Peter Pudney, Prof Roderick Smith, Saving energy on trains - demonstration, evaluation, integration, $540,000 over 3 years Posted Fri 29 Oct 10.
New Fellow of the Australian Academy of Science
Professor Mathai Varghese, Professor of Pure Mathematics and ARC Professorial Fellow within the School of Mathematical Sciences, was elected to the Australian Academy of Science. Professor Varghese's citation read "for his distinguished for his work in geometric analysis involving the topology of manifolds, including the Mathai-Quillen formalism in topological field theory.". Posted Tue 30 Nov 10.
ARC Grant Success
Congratulations to the following staff who were successful in securing funding from the Australian Research Council Discovery Projects Scheme. Associate Professor Finnur Larusson awarded $270,000 for his project Flexibility and symmetry in complex geometry; Dr Thomas Leistner, awarded $303,464 for his project Holonomy groups in Lorentzian geometry, Professor Michael Murray Murray and Dr Daniel Stevenson (Glasgow), awarded $270,000 for their project Bundle gerbes: generalisations and applications; Professor Mathai Varghese, awarded $105,000 for his project Advances in index theory and Prof Anthony Roberts and Professor Ioannis Kevrekidis (Princeton) awarded $330,000 for their project Accurate modelling of large multiscale dynamical systems for engineering and scientific simulation and analysis Posted Tue 8 Nov 11.

Publications matching "Variation of Hodge structure for generalized compl"

Generalized solutions to abstract stochastic problems
Melnikova, I; Filinkov, Alexei, Integral Transforms and Special Functions 20 (199–206) 2009
D-branes, RR-fields and duality on noncommutative manifolds
Brodzki, J; Varghese, Mathai; Rosenberg, J; Szabo, R, Communications in Mathematical Physics 277 (643–706) 2008
The Term Structure of Interest Rates in a Hidden Markov Setting
Elliott, Robert; Wilson, C, chapter in Hidden Markov Models in Finance (Vieweg, Springer Science+Business Media) 15–30, 2007
New models for old questions: generalized linear models for cost prediction
Moran, John; Solomon, Patricia; Peisach, Aaron; Martin, J, Journal of Evaluation in Clinical Practice 13 (381–389) 2007
Projective ovoids and generalized quadrangles
Brown, Matthew, Advances in Geometry 7 (65–81) 2007
Thermodynamics, mnemonic matrices and generalized inverses
Leipnik, R; Pearce, Charles, The ANZIAM Journal 48 (493–501) 2007
Laguerre geometries and some connections to generalized quadrangles
Brown, Matthew, Journal of the Australian Mathematical Society 83 (335–355) 2007
Nonlinear dynamics on centre manifolds describing turbulent floods: k-omega model
Georgiev, D; Roberts, Anthony John; Strunin, D, Discrete and Continuous Dynamical Systems Supplement (419–428) 2007
The dynamics of the vertical structure of turbulence in flood flows
Georgiev, D; Roberts, Anthony John; Strunin, D, The ANZIAM Journal - On-line full-text 48 (C573–C590) 2007
Conformal holonomy of C-spaces, Ricci-flat, and Lorentzian manifolds
Leistner, Thomas, Differential Geometry and its Applications 24 (458–478) 2006
Flock generalized quadrangles and tetradic sets of elliptic quadrics of PG(3, q)
Barwick, Susan; Brown, Matthew; Penttila, T, Journal of Combinatorial Theory Series A 113 (273–290) 2006
Screen bundles of Lorentzian manifolds and some generalisations of pp-waves
Leistner, Thomas, Journal of Geometry and Physics 56 (2117–2134) 2006
Some Penrose transforms in complex differential geometry
Anco, S; Bland, J; Eastwood, Michael, Science in China Series A-Mathematics Physics Astronomy 49 (1599–1610) 2006
Arithmetic properties of eigenvalues of generalized harper operators on graphs
Dodziuk, Josef; Varghese, Mathai; Yates, Stuart, Communications in Mathematical Physics 262 (269–297) 2005
Examples of unbounded homogeneous domains in complex space
Eastwood, Michael; Isaev, A, Science in China Series A-Mathematics Physics Astronomy 48 (248–261) 2005
Generalized quadrangles and regularity
Brown, Matthew, Discrete Mathematics 294 (25–42) 2005
Prolongations of linear overdetermined systems on affine and riemannian manifolds
Eastwood, Michael, Circolo Matmeatico di Palermo. Rendiconti 75 (89–108) 2005
Smoothly parameterized ech cohomology of complex manifolds
Bailey, T; Eastwood, Michael; Gindikin, S, Journal of Geometric Analysis 15 (9–23) 2005
Type IIB string theory, S-duality, and generalized cohomology
Kriz, I; Sati, Hicham, Nuclear Physics B 715 (639–664) 2005
Smoothly parameterized Cech cohomology of complex manifolds
Bailey, T; Eastwood, Michael; Gindikin, S, Journal of Geometric Analysis 15 (9–23) 2005
A generalized Hamiltonian model for the dynamics of human motion
Pearce, Charles; Ivancevic, V, chapter in Contemporary differential equations and applications (Nova Science Publishers) 15–28, 2004
Subquadrangles of order s of generalized quadrangles of order (s, s2), Part I
Brown, Matthew; Thas, J, Journal of Combinatorial Theory Series A 106 (15–32) 2004
Subquadrangles of order s of generalized quadrangles of order (s, s2), Part II
Brown, Matthew; Thas, J, Journal of Combinatorial Theory Series A 106 (33–48) 2004
The dual Yoshiara construction gives new extended generalized quadrangles
Barwick, Susan; Brown, Matthew, European Journal of Combinatorics 25 (377–382) 2004
Topology and H-flux of T-dual manifolds
Bouwknegt, Pier; Evslin, J; Varghese, Mathai, Physical Review Letters 92 (181601-1–181601-3) 2004
Two-zone model of shear dispersion in a channel using centre manifolds
Roberts, Anthony John; Strunin, D, Quarterly Journal of Mechanics and Applied Mathematics 57 (363–378) 2004
Prediction of extreme forces and moments for an offshore structure
Metcalfe, Andrew; Najafian, G; Burrows, R; Tickell, R, The Sixth Engineering Mathematics and Applications Conference, University of Technology, Sydney 09/07/03
Complex analysis and the Funk transform
Bailey, T; Eastwood, Michael; Gover, A; Mason, L, Journal of the Korean Mathematical Society 40 (577–593) 2003
Edge of the wedge theory in hypo-analytic manifolds
Eastwood, Michael; Graham, C, Communications in Partial Differential Equations 28 (2003–2028) 2003
On a generalized form of risk measure
Elliott, Robert; Siu, T; Yang, H, Actuaries Australia 9 (587–623) 2003
Automorphism groups of generalized quadrangles via an unusual action of PGL(2, 2h)
O'Keefe, Christine; Penttila, T, European Journal of Combinatorics 23 (213–232) 2002
The Borel-Weil theorem for complex projective space
Eastwood, Michael; Sawon, J, chapter in Invitations to geometry and topology (Oxford University Press) 126–145, 2002
Lorentzian manifolds with special holonomy and parallel spinors
Leistner, Thomas, Supplemento ai Rendiconti del Circolo Matematico di Palermo II 69 (131–159) 2002
The approximation of Csiszar f-divergence for mappings of bounded variation
Dragomir, S; Gluscevic, Vido; Pearce, Charles, Sixth International Conference on Nonlinear Functional Analysis, Gyeongsang & Kyungnam Nat Universities, Korea 01/09/00
A classification of non-degenerate homogeneous equiaffine hypersurfaces in four complex dimensions
Eastwood, Michael; Ezhov, Vladimir, The Asian Journal of Mathematics 5 (721–740) 2001
Commutative geometries are spin manifolds
Rennie, Adam, Reviews in Mathematical Physics 13 (409–464) 2001
On a generalized 2 + 1 dispersive water wave hierarchy
Gordoa, P; Joshi, Nalini; Pickering, A, Publications of the Research Institute for Mathematical Sciences 37 (327–347) 2001
Poisson manifolds in generalised Hamiltonian biomechanics
Ivancevic, V; Pearce, Charles, Bulletin of the Australian Mathematical Society 64 (515–526) 2001
Some constructions of small generalized polygons
Polster, Burkhard; Van Maldeghem, H, Journal of Combinatorial Theory Series A 96 (162–179) 2001
Subquadrangles of generalized quadrangles of order (q2, q), q Even
O'Keefe, Christine; Penttila, T, Journal of Combinatorial Theory Series A 94 (218–229) 2001
Translation ovoids and spreads of the generalized hexagon H(q)
Offer, Alan, Geometriae Dedicata 85 (135–145) 2001
Complex Quaternionic Kahler Manifolds
Eastwood, Michael, chapter in Further advances in twistor theory. Vol. III, Curved twistor spaces (Chapman & Hall/CRC) 31–34, 2001
Introduction to Chern-Simons gauge theory on general 3-manifolds
Adams, David, chapter in Mathematical methods in physics (World Scientific Publishing) 1–43, 2000
A complex from linear elasticity
Eastwood, Michael, 19th Winter School Geometry and Physics, Srni, Czech Republic 09/01/99
A generalized trapezoid inequality for functions of bounded variation
Cerone, Pietro; Dragomir, S; Pearce, Charles, Turkish Journal of Mathematics 24 (147–163) 2000
A gerbe obstruction to quantization of fermions on odd-dimensional manifolds with boundary
Carey, Alan; Mickelsson, J, Letters in Mathematical Physics 51 (145–160) 2000
Drawing with complex numbers
Eastwood, Michael; Penrose, R, Mathematical Intelligencer 22 (8–13) 2000
Weak and generalized solutions to abstract stochastic equations
Melnikova, I; Filinkov, Alexei, Doklady Mathematics 62 (373–377) 2000

Advanced search options

You may be able to improve your search results by using the following syntax:

QueryMatches the following
Asymptotic EquationAnything with "Asymptotic" or "Equation".
+Asymptotic +EquationAnything with "Asymptotic" and "Equation".
+Stokes -"Navier-Stokes"Anything containing "Stokes" but not "Navier-Stokes".
Dynam*Anything containing "Dynamic", "Dynamical", "Dynamicist" etc.