Abstract:According to string theorists, String Theory, as the most promising candidate for the grand unification of all fundamental forces in the nature, should be the final theory of the world, and should be unique. But now there are five different looking string theories. As argued by the physicists, these theories should be equivalent, in a way dual to each other. On the other hand all previous theories like the Yang-Mills and the Chern-Simons theory should be parts of string theory. In particular their partition functions should be equal or equivalent to each other in the sense that they are equal after certain transformation. To compute partition functions, physicists use localization technique, a modern version of residue theorem, on infinite dimensional spaces. More precisely they apply localization formally to path integrals which is not well-defined yet in mathematics. In many cases such computations reduce the path integrals to certain integrals of various Chern classes on various finite dimensional moduli spaces, such as the moduli spaces of stable maps and the moduli spaces of vector bundles. The identifications of these partition functions among different theories have produced many surprisingly beautiful mathematical formulas like the famous mirror formula [22], as well as the Mariño-Vafa formula [25]. The mathematical proofs of these formulas from the string duality also depend on localization techniques on these various finite dimensional moduli spaces. The purpose of this note is to discuss our recent work on the subject. I will briefly discuss the proof of the Marinõ-Vafa formula, its generalizations and the related topological vertex theory [1]. More precisely we will use localization formulas in various form to compute the integrals of Chern classes on moduli spaces, and to prove those conjectures from string duality. For the proof of the Mariño-Vafa formula and the theory of topological vertex, we note that many aspects of mathematics are involved, such as the Chern-Simons knot invariants, combinatorics of symmetric groups, representations of Kac-Moody algebras, Calabi-Yau manifolds, geometry and topology of moduli space of stable maps, etc. We remark that localization technique has been very successful in proving many conjectures from physics, see my ICM 2002 lecture [21] for more examples. One of our major tools in the proofs of these conjectures is the functorial localization formula which is a variation of the classical localization formula, it transfers computations on complicated spaces to simple spaces, and connects computations of mathematicians and physicists. Starting from the proof of the Mariño-Vafa formula [18], we have proved a series of results about Hodge integrals on the moduli spaces of stable curves, GromovWitten invariants for open toric Calabi-Yau manifolds, and their relationship with

Locality Galois Groups of Meromorphic Germs in Several Variables

A conical approach to Laurent expansions for multivariate meromorphic germs with linear poles

LOCALIZATION AND STRING DUALITY

An algebraic formulation of the locality principle in renormalisation

Logarithmic models and meromorphic functions in dimension two

Zeta-functions for germs of meromorphic functions and Newton diagrams

Local topological algebraicity of analytic function germs

Zeta functions and oscillatory integrals for meromorphic functions

Multiple products of meromorphic functions

A topological splitting of the space of meromorphic germs in several variables and continuous evaluators

Local geometry of special pieces of nilpotent orbits

Zeta Integrals, Schwartz Spaces and Local Functional Equations

Quantum geometry of moduli spaces of local systems and representation theory

Geometry of the Analytic Loop Group

Several locality semigroups, path semigroups and partial semigroups

Multiple zeta-values, Galois groups, and geometry of modular varieties

Micro-Local Characterization of Quasi-Homogeneous Singularities

Locally analytic vectors and decompletion in mixed characteristic

Geometry of the fixed points loci and discretization of Springer fibers in classical types

Ghost polygons, Poisson bracket and convexity

Local moduli in the special 2-flags of length 5