I will discuss joint work with Frederic Rochon involving an application of pseudodifferential operators and renormalized traces to the index theory of manifolds with fibered hyperbolic cusps. We start with a family of Diractype operators and if these are Fredholm, or can be perturbed by smoothing operators to be Fredholm, we find a formula for the Chern character of their index bundle. Upon specializing to Riemann surfaces with cusps or to parabolic bundles over Riemann surfaces, we can identify the cusp contributions to the curvature of the determinant line bundle in formulas of TakhtajanZograf with eta forms  as well as extend these formulas to the full Chern character. 
It often occurs that Taylor coefficients of Feynman amplitudes with rational
parameters are not only "periods", but actually "multiple zeta values". In
order to determine, at least heuristically, whether it is so in concrete
instances, the philosophy of motives suggests an arithmetic method: counting
points of related algebraic varieties modulo sufficiently many primes p and
checking that the number of points varies polynomialy in p. 
The problem of renormalization of Feynman amplitudes leads to limiting mixed Hodge structures. I will describe how to think about the underlying monodromy, which is linked to the combinatorics of flags of 1PI subgraphs of the graph. The fantasy is that underlying the monodromy is a limiting mixed motive whose periods are multiple zeta values. 
Single scale quantities in Quantum Field Theories as anomalous dimensions, Wilson coefficients or hardscattering subsystem cross sections have a particularly simple structures if considered in Mellin space. Up to 3loop orders they can be represented in terms of polynomials of finite nested (colored) harmonic sums $S_{a_1,...,a_k}(N)$, with $N$ a positive integer, and $a_i$ integer. These sums obey algebraic relations since they are elements of a quasishuffle algebra. The analytic continuation of these functions from $N$ integer to $N$ complex is required to solve the associated renormalization group equations and to analyze experimental data. We construct the complex analysis of the finite nested harmonic sums up to weight {\sf w=6} in explicit form. Rational argument relations and differentiation w.r.t. $N$ leads to new relations between the finite harmonic sums, the structural relations. It turns out that only a few numbers of harmonic sums or associated Mellin transforms have to be considered to construct the above physical quantities. Beyond the level of {\sf w=6} other finite sums may contribute, which obey similar algebraic and structural relations. 
Toeplitz operators are a generalization of pseudodifferential operators, whose symbolic calculus live on a symplectic cone (not necessarily a cotangent bundle). Although index theory cannot give rise to a nice topological formula for these, "asymptotic equivariant" index does; it is related to M.F. Atiyah's equivariant index for relatively elliptic pseudodifferential operators. (Wodzicki's residual trace appears in relevant cases as a special instance of this.) 
Since the work of Broadhurst and Kreimer in the 90's, it has been observed numerically that massless scalar Feynman integrals evaluate to multiple zeta values in all known examples. On the other hand, the work of Belkale and Brosnan leads one to expect that the motive of a graph hypersurface is of general type. The big question is to try to reconcile these apparently contradictory results, and determine the precise arithmetic nature of perturbative quantum field theories. In this talk, I will explain a new method for the exact calculation of Feynman integrals, and from it, deduce a sufficient criterion for a Feynman graph to evaluate to multiple zeta values. I will then prove this criterion for some infinite families of graphs. This explains, in particular, the examples known to the physicists. 
Using methods introduced by David Brydges, I shall explain how to use variational methods (variation of the action functional in the functional integral) to obtain variants of the SchwingerDyson equation in the parametric representation. Relations with Wilsonian method of scaling and Hepp sectors. We shall also mention the connexion with noncommutative QFT as developed recently by Grosse, Wulkenhaar and Rivasseau. This is mainly considered as an introduction for mathematicians of this circle of ideas. 
Since A. Grothendieck proposed the first definition of a "motif", in the early 60's, this notion has undergone several interesting developments and enrichments. Very recently, some applications of a new theory of noncommutative motives to numbertheory and quantum field theory have been found with the support of techniques supplied by Noncommutative Geometry and Operator Algebras. The talk will outline very recent developments in the theory of "endomotives". 
In the (commutative) Hopf algebra H of rooted trees introduced by Connes and
Kreimer,
with its 1cocyle B^+, we consider the following DysonSchwinger equation:

A rather idiosyncratic overview is given of elementary properties of (multiple) zeta values and (multiple) polylogarithms which I deem beautiful and/or important for the context of the conference. 
We define a real mixed hodge structure on the motivic rational homotopy type of a complex variety by writing a Feynman integral. 
The first three lectures will be introductory. They aim to acquaint physicists, and mathematicians with no background in quantum field theory, with the Hopf algebraic structure of renormalizable quantum field theory. Lecture 1: Hopf algebra of graphs and treesA very elementary introduction into the Hopf algebras of graphs and trees with an emphasis how to relate graphs to trees. We will include a short reminder of the role of overlapping divergences. Lecture 2: SubHopf algebra and Hochschild cohomologyWe study how to obtain sub Hopf algebras and their role in quantum field theory. In particular, we study the structure of a proof of renormalizability by local counterterms from the Hochschild cohomology of Hopf algebras. Lecture 3: DysonSchwinger equations We augment
perturbation theory by equations of motions, obtained from the Hochschild
cohomology studied in the previous lecture. We review these equations for
various renormalizable field theories, and discuss Lectures 4 and 5: We will discuss how to use the techniques reported on in the first three lectures to make progress with the understanding of quantum field theory. The lectures will be related to the talks by Bloch and Yeats, but will also comment on the structure of nonrenormalizable field theories like quantum gravity. 
This series of lectures will give a leisurely introduction to pseudodifferential operators. I will discuss in particular the famous regularized traces (a la Wodzicki and KontsevichVishik). Then I will report on my recent joint work with Henri Moscovici and Markus Pflaum on regularized traces in the parameter dependent pseudodifferential calculus. While 'ordinary' traces give rise to Ktheory invariants I will advertise that the mentioned traces give rise to \emph{relative} Ktheory invariants. There is an intriguing formula which expresses the AtiyahPatodiSinger etainvariant in terms of a Cherncharacter like formula involving a regularized trace. 
Lecture I: Algebraic cycle complexes After a brief discussion of algebraic cycles, Weil cohomology and Grothendieck's categories of pure motives, we make our first approach to categories of mixed motives via cycle complexes. Beilinson and Lichtenbaum have conjectured the existence of motivic complexes and motivic cohomology, that would give an algebraic version of the singular cochain complex, and relate to algebraic Ktheory the way that singular cohomology relates to topological Ktheory. The first candidate for these complexes was supplied by Bloch's cycle complexes and his higher Chow groups. Later, Suslin defined a complex that gives an algebraic version of the complex of singular chains. We will discuss these constructions and their basic properties. Lecture II: Categories of motives Beilinson reinterpreted his conjectures on motivic complexes by seeing them as arising from a category of mixed motives, a ``motivic" version of the category of sheaves on a topological space. This category has still not been constructed. However, categories playing the role of the derived category of Beilinson's motivic sheaf category have been constructed. We will describe Voevodsky's constructions of these ``derived categories", and their relation to Suslin homology and Bloch's higher Chow groups Lecture III: Tate motives, polylogarithms and the motivic fundamental group Although many conjectures about categories of motives remain open, much is known about the part of the motivic category generated by extensions of Tate motives. This subcategory has a close relation to algebraic Ktheory, motivic cohomology, as well as polylogarithms, zeta values and multiple zeta values, motivic versions of fundamental group and the moduli spaces of pointed rational curves. 
After introducing connected filtered Hopf algebras, I'll explain the renormalization mechanism of ConnesKreimer in this context. Locality, renormalization group and beta function will also be introduced in the context of connected graded Hopf algebras. 
The representation theory of a (central extension) of a smooth loop group LG, for a compact semisimple Lie group G, extends to the fractionally differentiable loops (in Sobolev sense) Lq G of differentiability degree q > 1/2. However, for 0 < q < 1/2 the situation is different: even the central extension becomes illdefined. A renormalization is needed which leads to an abelian extension by a normal subgroup. In this respect the group LqG has similarities with groups of smooth maps C^{\infty} (M,G), with M a compact manifold. I explain the above relation, the structure of the relevant group extensions, and the way they arise in quantization of YangMills theory (joint work with Pedram Hekmati). 
We describe a general framework in which we use KMS states for circle actions on a C*algebra to construct Kasparov modules and semifinite spectral triples. By using a residue construction analogous to that used in the semifinite local index formula we associate to these triples a twisted cyclic cocycle on a dense subalgebra of A. This cocycle pairs with the equivariant KKtheory of the mapping cone algebra for the inclusion of the fixed point algebra of the circle action. The pairing is expressed in terms of spectral flow between a pair of unbounded self adjoint operators that are Fredholm in the semifinite sense. 
A canonical sum, respectively a canonical integral whose values live in
meromorphic maps, are defined on holomorphic germs of symbols. They
generalize to multiple sums of germs of symbols with conical
constraints, respectively multiple integrals of germs of symbols with
linear constraints. We can build this way 

Let X be a closed manifold. This talk will be about the topology of the space of invertible pseudodifferential operators of order zero acting on smooth functions on X. We will show that its homotopy groups can be expressed in terms of the Ktheory of the cosphere bundle of X. The proof will use the long exact sequence of homotopy groups associated to the Serre fibration defined by the principal symbol. This also leads to interesting results concerning the subgroup of invertible compact perturbations of the identity. 
In this talk we present a summation theory for indefinite nested sums and products based on difference fields, and we demonstrate how the underlying algorithms (telescoping, creative telescoping, recurrence solving) can support the evaluation of Feynman integrals from Perturbative Quantum Field Theory. Besides this, we focus on the following spin off: In our summation theory the sums and products are represented in the so called $\Pi\Sigma$fields by transcendental field extensions. Motivated by this fact, we construct a difference ring monomorphism for such fields (or subrings) into the ring of sequences. In particular, this construction transfers the transcendence properties from a given difference field into the sequence domain. Combining this construction with summation theorems, we can show, e.g., that the harmonic numbers $\{H^{(i)}_ni\geq1\}$ with $H^{(i)}_n:=\sum_{k=1}^n\frac{1}{k^i}$ are algebraically independent over $Q(n)$. 
A determinant functional on an algebra is a combination of more fundamental structures which are of some independent interest. For instance, index theory is a special case of these structures (rather than vice versa). On the other hand, determinant structures appear to extend easily to categories, and other exotic enviroments. The most natural formulation arises using methods of cyclic cohomology and non commutative geometry, leading to a number of natural conjectures. Indeed, at this point the theory is at an early stage of development and somewhat enigmatic. 
I will report on work in progress on renormalization Hopf algebras of gauge theories. Their coaction on the coupling constants is described in the context of BatalinVilkovisky (BV) algebras. The socalled master equation satisfied by the action in the BValgebra implies the existence of certain Hopf ideals in the renormalization Hopf algebra. 

Continuing the ideas introduced by Kreimer at this conference I will discuss what we can say and what we can conjecture about the simplified differential equations coming from DysonSchwinger equations in a variety of examples with different characteristics, including toy examples as well as QED and QCD. 
Mirror Symmetry for Elliptic Curves:
We look into the formula, due to Douglas and Dijkgraaf,
on the generating function F_g(q) of the number of
simply ramified covers of genus g > 0 over a fixed
elliptic curve with marked points. Their result is that
F_g(q) is a quasimodular form of weight 6g6 on the full modular
group PSL_2(Z).
There are two ways of computing F_g(q): the fermionic
count and the bosonic count. The fermionic counting
is a mathematical treatment, and we will give a mathematical
proof to the formula. On the other hand, the bosonic counting
rests on physical arguments, which involves path integrals
on trivalent Feynman diagrams. We will compute F_g(q) for small genera
with bosonic count. 