title: Tangent and normal bundles in almost complex geometry

abstract: In this paper we define and study pseudoholomorphic vector bundles structures, particular cases of which are tangent and normal bundle almost complex structures. These are intrinsically related to the Gromov D-operator. As an application we deduce normal forms of 1-jets of almost complex structures along a submanifold. In dimension four we relate these normal forms to the problem of pseudoholomorphic foliation of a neighborhood of a curve and the question of non-deformation and persistence of pseudoholomorphic curves.


title: Deformation of big pseudoholomorphic disks and application to the Hanh pseudonorm

abstract: We simplify proof of the theorem that close to any pseudoholomorphic disk there passes a pseudoholomorphic disk of arbitrary close size with any pre-described sufficiently close direction. We apply these results to the Kobayashi and Hanh pseudodistances. It is shown they coincide in dimensions higher than four. The result is new even in the complex case.


title: Parameter exclusions in Henon-like systems

abstract: This survey is a presentation of the arguments in the proof that Henon-like maps f_a(x,y)=(1-a x^2,0) + R(a,x,y) with |R(a,x,y)|< b have a "strange attractor", with positive Lebesgue probability in the parameter "a", if the perturbation size "b" is small enough. We first sketch a "geometric model" of the strange attractor in this context, emphasising some of its key geometrical properties, and then focus on the construction and estimates required to show that this geometric model does indeed occur for many parameter values. Our ambitious aim is to provide an exposition at one and the same time intuitive, synthetic, and rigorous. We think of this text as an introduction and study guide to the original papers in which the results were first proved. We shall concentrate on describing in detail the overall structure of the argument and the way it breaks down into its (numerous) constituent sub-arguments, while referring the reader to the original sources for detailed technical arguments.


title: Ext vanishing and infinite Auslander-Buchsbaum

abstract: A vanishing theorem is proved for Ext groups over non-commutative graded algebras. Along the way, an "infinite" version is proved of the non-commutative Auslander-Buchsbaum theorem.


title: On modularity of rigid and nonrigid Calabi-Yau varieties associated to the root lattice A_4

abstract: We prove the modularity of four rigid and three nonrigid Calabi-Yau threefolds associated with the root lattice A_4.


title: Wigner-Yanase information on quantum state space:the geometric approach

abstract: In the search of appropriate riemannian metrics on quantum state space the concept of statistical monotonicity, or contraction under coarse graining, has been proposed by Chentsov. The metrics with this property have been classified by Petz. All the elements of this family of geometries can be seen as quantum analogues of Fisher information. Although there exists a number of general theorems sheding light on this subject, many natural questions, also stemming from applications, are still open. In this paper we discuss a particular member of the family, the Wigner-Yanase information. Using a well-known approach that mimics the classical pull-back approach to Fisher information, we are able to give explicit formulae for the geodesic distance, the geodesic path, the sectional and scalar curvatures associated to Wigner-Yanase information. Moreover we show that this is the only monotone metric for which such an approach is possible.


title: Mathematics of Plott choice functions

abstract: This paper is devoted to a study of mathematical structures arising from choice functions satisfying the path independence property (Plott functions). We broaden the notion of a choice function by allowing of empty choice. This enables us to define a lattice structure on the set of Plott functions. Moreover, this lattice is functorially dependent on its base. We introduce a natural convex structure on the set of linear orders (or words) and show that Plott functions are in one-to-one correspondence with convex subsets in this set of linear orders. That correspondence is compatible with both lattice structures. Keywords: Convex geometries, shuffle, linear orders, lattices, direct image, path independence, convex structure


title: Beta-function of Bruhat--Tits buildings and deformation of $l_2$ on the space of lattices

abstract: For the space $Lat_n$ of all the lattices in a $p$-adic $n$-dimensional linear space we obtain an analog of matrix beta-functions; this beta-function has a degeneration to the Tamagawa zeta-function. We propose an analog of Berezin kernels for $Lat_n$. We obtain conditions of positive definiteness of these kernels and explicit Plancherel formula.


title: Quantum Groups, the loop Grassmannian, and the Springer resolution

abstract: We establish equivalences of derived categories of the following 3 categories: (1) Principal block of representations of the quantum at a root of 1; (2) G-equivariant coherent sheaves on the Springer resolution; (3) Perverse sheaves on the loop Grassmannian for the Langlands dual group. The equivalence (1)-(2) is an `enhancement' of the known expression for quantum group cohomology in terms of nilpotent variety, due to Ginzburg-Kumar. The equivalence (2)-(3) is a step towards resolving an old mystery surrounding the existense of two completely different realizations of the affine Hecke algebra which have played a key role in the proof of the Deligne-Langlands-Lusztig conjecture. One realization is in terms of locally constant functions on the flag manifold of a p-adic reductive group, while the other is in terms of equivariant K-theory of a complex (Steinberg) variety for the dual group. Our equivalence (2)-(3) may be viewed as a `categorification' of the isomorphism between the corresponding two geometric realizations of the fundamental polynomial representation of the affine Hecke algebra. The composite of the two equivalences above yields an equivalence between abelian categories of quantum group representations and perverse sheaves. A similar equivalence at an even root of unity can be deduced, following Lusztig program, from earlier deep results of Kazhdan-Lusztig and Kashiwara-Tanisaki. Our approach is independent of these results and is totally different (it does not rely on representation theory of Kac-Moody algebras). It also gives way to proving Humphreys' conjectures on tilting U_q(g)-modules, as will be explained in a separate paper.


title: Equivariant versal unfoldings for linear retarded functional differential equations

abstract: We continue our investigation of versality for parametrized families of linear retarded functional differential equations (RFDEs) projected onto finite-dimensional invariant manifolds. In this paper, we consider RFDEs equivariant with respect to the action of a compact Lie group. In a previous paper (Buono and LeBlanc, to appear in J. Diff. Eqs.), we have studied this question in the general case (i.e. no a priori restrictions on the RFDE). When studying the question of versality in the equivariant context, it is natural to want to restrict the range of possible unfoldings to include only those which share the same symmetries as the original RFDE, and so our previous results do not immediately apply. In this paper, we show that with appropriate projections, our previous results on versal unfoldings of linear RFDEs can be adapted to the case of linear equivariant RFDEs. We illustrate our theory by studying the linear equivariant unfoldings at double Hopf bifurcation points in a D_3-equivariant network of coupled identical neurons modeled by delay-differential equations due to delays in the internal dynamics and coupling.


title: Holomorphic H-spherical distribution vectors in principal series representations

abstract: Let G/H be a semisimple symmetric space. The main tool to embed a principal series representation of G into L^2(G/H) are the H-invariant distribution vectors. If G/H is a non-compactly causal symmetric space, then G/H can be realized as a boundary component of the complex crown $\Xi$. In this article we construct a minimal G-invariant subdomain $\Xi_H$ of $\Xi$ with G/H as Shilov boundary. Let $\pi$ be a spherical principal series representation of G. We show that the space of H-invariant distribution vectors of $\pi$, which admit a holomorphic extension to $\Xi_H$, is one dimensional. Furthermore we give a spectral definition of a Hardy space corresponding to those distribution vectors. In particular we achieve a geometric realization of a multiplicity free subspace of L^2(G/H)_mc in a space of holomorphic functions.


title: Structure constants for Hecke and representation rings

abstract: We study the structure constants defining two related rings: the spherical Hecke algebra of a split connected reductive group over a non-Archimedean local field, and the representation ring of the Langlands dual group.


title: Properly Discontinuous Isometric Actions on the Unit Sphere of Infinite Dimensional Hilbert Spaces

abstract: We study the properly discontinuous and isometric actions on the unit sphere of infinite dimensional Hilbert spaces and we get some new examples of Hilbert manifold with costant positive sectional curvature. We prove some necessary conditions for a group to act isometrically and properly discontinuously and in the case of finitely generated Abelian groups, the necessary and sufficient conditions are given.


title: Proof of a Conjecture on the Slit Plane Problem

abstract: Let $a_{i,j}(n)$ denote the number of walks in $n$ steps from $(0,0)$ to $(i,j)$, with steps $(\pm 1,0)$ and $(0,\pm 1)$, never touching a point $(-k,0)$ with $k\ge 0$ after the starting point. \bous and Schaeffer conjectured a closed form for the number $a_{-i,i}(2n)$ when $i\ge 1$. In this paper, we prove their conjecture, and give a formula for $a_{-i,i}(2n)$ for $i\le -1$.


title: Complete intersection dimension for complexes

abstract: We extend the notions of complete intersection dimension and lower complete intersection dimension to the category of complexes with finite homology and verify basic properties analogous to those holding for modules. We also discuss the question of the behavior of complete intersection dimension with respect to short exact sequences.


title: The number of edge disjoint transitive triples in a tournament

abstract: We prove that a tournament with $n$ vertices has more than $0.13n^2(1+o(1))$ edge-disjoint transitive triples. We also prove some results on the existence of large packings of $k$-vertex transitive tournaments in an $n$-vertex tournament. Our proofs combine probabilistic arguments and some powerful packing results due to Wilson and to Frankl and R\"odl.


title: A new family of surfaces with $p_g=0$ and $K^2=3$

abstract: Let S be a minimal complex surface of general type with p_g=0 such that the bicanonical map of S is not birational and let Z be the bicanonical image. In [M.Mendes Lopes, R.Pardini, "Enriques surfaces with eight nodes", Math. Zeit. 241 (4) (2002), 673-683] it is shown that either: i) Z is a rational surface, or ii) K^2_S=3, the bicanonical map is a degree two morphism and Z is birational to an Enriques surface. Up to now no example of case ii) was known. Here an explicit construction of all such surfaces is given. Furthermore it is shown that the corresponding subset of the moduli space of surfaces of general type is irreducible and uniruled of dimension 6.


title: On the pseudospectra of Berezin-Toeplitz operators

abstract: We estimate the norm of the resolvent of non-selfadjoint Berezin Toeplitz operators in the semi-classical limit, under various assumptions on the Poisson bracket of the real and imaginary parts of the symbol. In case this bracket is negative, we symbolically construct pseudomodes well-localized in phase space. We also show that the numerical range converges to the convex hull of the image of the symbol. Our techniques involve the theory of Hermite distributions and classical subelliptic results of H\"ormander.


title: Counting sets with small sumset, and the clique number of random Cayley graphs

abstract: Given a set A in Z/NZ we may form a Cayley sum graph G_A on vertex set Z/NZ by joining i to j if and only if i + j is in A. We investigate the extent to which performing this construction with a random set A simulates the generation of a random graph, proving that the clique number of G_A is a.s. O(log N). This shows that Cayley sum graphs can furnish good examples of Ramsey graphs. To prove this result we must study the specific structure of set addition on Z/NZ. Indeed, we also show that the clique number of a random Cayley sum graph on (Z/2Z)^n, 2^n = N, is almost surely not O(log N). Despite the graph-theoretical title, this is a paper in number theory. Our main results are essentially estimates for the number of sets A in {1,...,N} with |A| = k and |A + A| = m, for various values of k and m.


title: Control in the presence of a black box

abstract: We apply the ``black box'' scattering theory to problems in control theory and in high energy eigenvalue scarring.


title: A convexity property for real orbits in complexified Riemannian symmetric spaces

abstract: A convexity theorem for certain G-orbits in a complexified Riemannian symmetric space G_C/K_C is proved. Applications to analytically continued spherical functions will be given.


title: Triple groups and Cherednik algebras

abstract: The goal of this paper is to define a new class of objects which we call triple groups and to relate them with Cherednik's double affine Hecke algebras. This has as immediate consequences new descriptions of double affine Weyl and Artin groups, the double affine Hecke algebras as well as the corresponding elliptic objects. From the new descriptions we recover results of Cherednik on automorphisms of double affine Hecke algebras.


title: Summation Formulas, from Poisson and Voronoi to the Present

abstract: We give an overview of classical summation formulations, such as Poisson's and Voronoi's, and then turn to modern versions involving modular form coefficients. A new formula involving the coefficients of cusp forms on GL(3) is described, and its proof sketched, followed by applications to L-functions. The main method used is the boundary value distribution of automorphic forms.


title: Eisenstein integrals and induction of relations

abstract: I give a survey of joint work with Henrik Schlichtkrull on the induction of certain relations among (partial) Eisenstein integrals for the minimal principal series of a reductive symmetric space. I explain the application of this principle of induction to the proofs of a Fourier inversion formula and a Paley-Wiener theorem. Finally, the relation with the Plancherel decomposition is discussed.


title: Elliptic U(2) quantum group and elliptic hypergeometric series

abstract: We investigate an elliptic quantum group introduced by Felder and Varchenko, which is constructed from the $R$-matrix of the Andrews-Baxter-Forrester model, containing both spectral and dynamical parameter. We explicitly compute the matrix elements of certain corepresentations and obtain orthogonality relations for these elements. Using dynamical representations these orthogonality relations give discrete bi-orthogonality relations for terminating very-well-poised balanced elliptic hypergeometric series, previously obtained by Frenkel and Turaev and by Spiridonov and Zhedanov in different contexts.


title: The Circuit Polynomial of the Restricted Rooted Product G(Gamma) of Graphs with a Bipartite Core G

abstract: As an instance of the B-polynomial, the circuit, or cycle, polynomial P(G(Gamma); w) of the generalized rooted product G(Gamma) of graphs was studied by Farrell and Rosenfeld ({\em Jour. Math. Sci. (India)}, 2000, \textbf{11}(1), 35--47) and Rosenfeld and Diudea ({\em Internet Electron. J. Mol. Des.}, 2002, \textbf{1}(3), 142--156). In both cases, the rooted product G(Gamma) was considered without any restrictions on graphs G and Gamma. Herein, we present a new general result and its corollaries concerning the case when the core graph G is restricted to be bipartite. The last instance of G(Gamma), as well as all its predecessors, can find chemical applications.


title: The peak algebra and the Hecke-Clifford algebras at $q=0$

abstract: Using the formalism of noncommutative symmetric functions, we derive the basic theory of the peak algebra of symmetric groups and of its graded Hopf dual. Our main result is to provide a representation theoretical interpretation of the peak algebra and its graded dual as Grothendieck rings of the tower of Hecke-Clifford algebras at $q=0$.


title: On reconstructing n-point configurations from the distribution of distances or areas

abstract: One way to characterize configurations of points up to congruence is by considering the distribution of all mutual distances between points. This paper deals with the question if point configurations are uniquely determined by this distribution. After giving some counterexamples, we prove that this is the case for the vast majority of configurations. In the second part of the paper, the distribution of areas of sub-triangles is used for characterizing point configurations. Again it turns out that most configurations are reconstructible from the distribution of areas, though there are counterexamples.


title: The use of geometric and quantum group techniques for wild quivers

abstract: This overview paper reviews several results relating the representation theory of quivers to algebraic geometry and quantum group theory. (Potential) applications to the study of the representation theory of wild quivers are discussed. To appear in the Proceedings of the International Conference on Representations of Algebras and Related Topics ICRA X, The Fields Institute, July/August 2002.


title: Classification of fusion categories of dimension pq

abstract: In this paper we provide a complete classification of fusion categories of Frobenius-Perron (FP) dimension pq, where p<q are distinct primes, thus giving a categorical generalization of math.QA/9801129. As a corollary we also obtain the classification of semisimple quasi-Hopf algebras of dimension pq. A concise formulation of our main result is: Let C be a fusion category over the complex numbers of FP dimension pq. Then either p=2 and C is a Tambara-Yamagami category of dimension 2q, or C is group-theoretical in the sense of math.QA/0203060 (which easily yields the full classification). As a by-product, we obtain the classification of finite dimensional semisimple quasi-Hopf (in particular, Hopf) algebras whose irreducible representations have dimensions 1 and n, such that the 1-dimensional representations form a cyclic group of order n. All such quasi-Hopf algebras turn out to be group-theoretical. We also classify fusion categories whose invertible objects form a cyclic group of order n>1 and which have only one non-invertible object of dimension n.


title: Motivic invariants of Arc-Symmetric sets and Blow-Nash Equivalence

abstract: We define invariants of the blow-Nash equivalence of real analytic function germs, in a similar way that the motivic zeta functions of Denef & Loeser. As a key ingredient, we extend the virtual Betti numbers, which were known for real algebraic sets, as a generalized Euler characteristics for projective constructible arc-symmetrics sets. Actually we prove more: the virtual Betti numbers are not only algebraic invariant, but also Nash-invariant of arc-symmetric sets. Our zeta functions enable to sketch the blow-Nash equivalence classes of Brieskorn polynomials of two variables.


title: One quiver to rule them all

abstract: To a formally smooth algebra A we associate a quiver setting (Q,a) containing enough information to reconstruct all the local quiver settings determining the etale local structure of finite dimensional representation schemes of A, see math.AG/9904171. Conjecturally, in a (yet to be developed) non-commutative etale topology, A is locally isomorphic to an algebra B which in turn is Morita equivalent (via the dimension vector a) to the path algebra CQ of the quiver Q.


title: Moduli of Prym curves

abstract: Here we focus on the compactification of the moduli space of curves of genus g together with an unramified double cover, constructed by Arnaud Beauville in order to compactify the Prym mapping. We present an alternative description of it, inspired by the moduli space of spin curves of Maurizio Cornalba, and we discuss in detail its main features, both from a geometrical and a combinatorial point of view.


title: Dense graphs are antimagic

abstract: An {\em antimagic labeling} of a graph with $m$ edges and $n$ vertices is a bijection from the set of edges to the integers $1,...,m$ such that all $n$ vertex sums are pairwise distinct, where a vertex sum is the sum of labels of all edges incident with the same vertex. A graph is called {\em antimagic} if it has an antimagic labeling. A conjecture of Ringel (see \cite{HaRi}) states that every connected graph, but $K_2$, is antimagic. Our main result validates this conjecture for graphs having minimum degree $\Omega(\log n)$. The proof combines probabilistic arguments with simple tools from analytic number theory and combinatorial techniques. We also prove that complete partite graphs (but $K_2$) and graphs with maximum degree at least $n-2$ are antimagic.


title: Slow area-preserving diffeomorphisms of the torus

abstract: We construct area-preserving real analytic diffeomorphisms of the torus with unbounded growth sequences of arbitrarily slow growth.


title: Holomorphic Equivariant Cohomology via a Transversal Holomorphic Vector Field

abstract: In this paper an analytic proof of a generalization of a theorem of Bismut ([Bis1, Theorem 5.1]) is given, which says that, when $v$ is a transversal holomorphic vector field on a compact complex manifold $X$ with a zero point set $Y$, the embedding $j:Y\to X$ induces a natural isomorphism between the holomorphic equivariant cohomology of $X$ via $v$ with coefficients in $\xi$ and the Dolbeault cohomology of $Y$ with coefficients in $\xi|_Y$, where $\xi\to X$ is a holomorphic vector bundle over $X$.


title: Semiclassical analysis of a nonlinear eigenvalue problem and non analytic hypoellipticity

abstract: We give a semiclassical analysis of a nonlinear eigenvalue problem arising from the study of the failure of analytic hypoellipticity and obtain a general family of hypoelliptic, but not analytic hypoelliptic operators.


title: The first two cohomology groups of some Galois groups

abstract: We investigate the first two Galois cohomology groups of $p$-extensions over a base field which does not necessarily contain a primitive $p$th root of unity. We use twisted coefficients in a systematic way. We describe field extensions which are classified by certain residue classes modulo $p^n$th powers of a related field, and we obtain transparent proofs and slight generalizations of some classical results of Albert. The potential application to the cyclicity question for division algebras of degree $p$ is outlined.


title: Construction and classification of some Galois modules

abstract: In our previous paper we describe the Galois module structures of $p$th-power class groups $K^\times/{K^{\times p}}$, where $K/F$ is a cyclic extension of degree $p$ over a field $F$ containing a primitive $p$th root of unity. Our description relies upon arithmetic invariants associated with $K/F$. Here we construct field extensions $K/F$ with prescribed arithmetic invariants, thus completing our classification of Galois modules $K^{\times}/K^{\times p}$.


title: Groups interpretable in theories of fields

abstract: We survey some results on the structure of the groups which are definable in theories of fields involved in the applications of model theory to Diophantine geometry. We focus more particularly on separably closed fields of finite degree of imperfection.


title: Automorphism groups of saturated structures; a review

abstract: We will review the main results concerning the automorphism groups of saturated structures which were obtained during the two last decades. The main themes are: the small index property in the countable and uncountable cases; the possibility of recovering a structure or a significant part of it from its automorphism group; the subgroup of strong automorphisms.


title: Algebraic cobordism

abstract: Together with F. Morel, we have constructed in \cite{CR, Cobord1, Cobord2} a theory of {\em algebraic cobordism}, an algebro-geometric version of the topological theory of complex cobordism. In this paper, we give a survey of the construction and main results of this theory; in the final section, we propose a candidate for a theory of higher algebraic cobordism, which hopefully agrees with the cohomology theory represented by the $\P^1$-spectrum $MGL$ in the Morel-Voevodsky stable homotopy category.


title: Permutation groups and normal subgroups

abstract: Various descending chains of subgroups of a finite permutation group can be used to define a sequence of `basic' permutation groups that are analogues of composition factors for abstract finite groups. Primitive groups have been the traditional choice for this purpose, but some combinatorial applications require different kinds of basic groups, such as quasiprimitive groups, that are defined by properties of their normal subgroups. Quasiprimitive groups admit similar analyses to primitive groups, share many of their properties, and have been used successfully, for example to study $s$-arc transitive graphs. Moreover investigating them has led to new results about finite simple groups.


title: Norm varieties and algebraic cobordism

abstract: We outline briefly results and examples related with the bijectivity of the norm residue homomorphism. We define norm varieties and describe some constructions. We discuss degree formulas which form a major tool to handle norm varieties. Finally we formulate Hilbert's 90 for symbols which is the hard part of the bijectivity of the norm residue homomorphism, modulo a theorem of Voevodsky.


title: Diophantine geometry over groups and the elementary theory of free and hyperbolic groups

abstract: We study sets of solutions to equations over a free group, projections of such sets, and the structure of elementary sets defined over a free group. The structre theory we obtain enable us to answer some questions of A. Tarski's, and classify those finitely generated groups that are elementary equivalent to a free group. Connections with low dimensional topology, and a generalization to (Gromov) hyperbolic groups will also be discussed.


title: Noncommutative projective geometry

abstract: This article describes recent applications of algebraic geometry to noncommutative algebra. These techniques have been particularly successful in describing graded algebras of small dimension.


title: Deformations of chiral algebras

abstract: We start studying chiral algebras (as defined by A. Beilinson and V. Drinfeld) from the point of view of deformation theory. First, we define the notion of deformation of a chiral algebra on a smooth curve $X$ over a bundle of local artinian commutative algebras on $X$ equipped with a flat connection (whereas `usual' algebraic structures are deformed over a local artinian algebra) and we show that such deformations are controlled by a certain *-Lie algebra $\mathfrak g$. Then we try to contemplate a possible additional structure on $\mathfrak g$ and we conjecture that this structure up to homotopy is a chiral analogue of Gerstenhaber algebra, i.e. a coisson algebra with odd coisson bracket (in the terminology of Beilinson-Drinfeld). Finally, we discuss possible applications of this structure to the problem of quantization of coisson algebras.


title: Representations of braid groups

abstract: In this paper we survey some work on representations of $B_n$ given by the induced action on a homology module of some space. One of these, called the Lawrence-Krammer representation, recently came to prominence when it was shown to be faithful for all $n$. We will outline the methods used, applying them to a closely related representation for which the proof is slightly easier. The main tool is the Blanchfield pairing, a sesquilinear pairing between elements of relative homology. We discuss two other applications of the Blanchfield pairing, namely a proof that the Burau representation is not faithful for large $n$, and a homological definition of the Jones polynomial. Finally, we discuss possible applications to the representation theory of the Hecke algebra, and ultimately of the symmetric group over fields of non-zero characteristic.


title: The enumeration of simple permutations

abstract: A simple permutation is one which maps no proper non-singleton interval onto an interval. We consider the enumeration of simple permutations from several aspects. Our results include a straightforward relationship between the ordinary generating function for simple permutations and that for all permutations, that the coefficients of this series are not P-recursive, an asymptotic expansion for these coefficients, and a number of congruence results.


title: Spectral Invariants of Operators of Dirac Type on Partitioned Manifolds

abstract: We review the concepts of the index of a Fredholm operator, the spectral flow of a curve of self-adjoint Fredholm operators, the Maslov index of a curve of Lagrangian subspaces in symplectic Hilbert space, and the eta invariant of operators of Dirac type on closed manifolds and manifolds with boundary. We emphasize various (occasionally overlooked) aspects of rigorous definitions and explain the quite different stability properties. Moreover, we utilize the heat equation approach in various settings and show how these topological and spectral invariants are mutually related in the study of additivity and nonadditivity properties on partitioned manifolds.


title: Econometric Analysis on Efficiency of Estimator

abstract: This paper investigates the efficiency of an alternative to ratio estimator under the super population model with uncorrelated errors and a gamma-distributed auxiliary variable. Comparisons with usual ratio and unbiased estimators are also made.


title: Higher Heegner points on elliptic curves over function fields

abstract: Let E be a modular elliptic curve defined over a rational function field k of odd characteristic. We construct a sequence of Heegner points on E, defined over a $Z_p^{\infty}$-tower of finite extensions of k, and show that these Heegner points generate a group of infinite rank. This is a function field analogue of a result of C.Cornut and V.Vatsal


title: A sum-product estimate in fields of prime order

abstract: Let q be a prime, A be a subset of a finite field $F=\Bbb Z/q\Bbb Z$, $|A|<\sqrt{|F|}$. We prove the estimate $\max(|A+A|,|A\cdot A|)\ge c|A|^{1+\epsilon}$ for some $\epsilon>0$ and c>0. This extends the result of J. Bourgain, N. Katz, and T. Tao.


title: The Tropical Grassmannian

abstract: In tropical algebraic geometry, the solution sets of polynomial equations are piecewise-linear. We introduce the tropical variety of a polynomial ideal, and we identify it with a polyhedral subcomplex of the Grobner fan. The tropical Grassmannian arises in this manner from the ideal of quadratic Plucker relations. It is shown to parametrize all tropical linear spaces. Lines in tropical projective space are trees, and their tropical Grassmannian G_{2,n} equals the space of phylogenetic trees studied by Billera, Holmes and Vogtmann. Higher Grassmannians offer a natural generalization of the space of trees. Their facets correspond to binomial initial ideals of the Plucker ideal. The tropical Grassmannian G_{3,6} is a simplicial complex glued from 1035 tetrahedra.


title: Sur l'origine des chiffres arabes

abstract: Sur l'origine des chiffres arabes A. Boucenna 1 From the pagination of an Algerian Arabic manuscript of the beginning of the 19th century,we rediscover the original shape that the Arabic numerals had before passing in Europe and underwent the transformation that gave the modern Arabic numerals. This original shape,whose use disappeared completely, proves that these numerals have their origin in the Arabic letters. Contrary to what some hypotheses pretend, particularly those that present them as drifting of Indian characters, the 10 Arabic numerals that we use are, nothing else, 10 Arabic letters more or less modified and taken in the "Abjadi" order. The hypothesis of the Indian origin of the Arabic numerals is revealed a mistake denied by the shape of the Arabic numerals and by the logic of the right to left representation of the numbers and the algorithm of the elementary operations. The Arabic numerals that simplified the writing of the numbers and the algorithms of the elementary operations are believed to be born in the Maghreb(North Africa). From Bejaia (Bougie) they passed in to Europe to give, after evolution, the modern Arabic numerals : 0, 1, 2, 3, 4, 5, 6, 7, 8, 9. they also migrate to the Middle East (the Mashrek) to give, after transformations in shape and adding two Hebrew letters, the Arabic numerals, "Mashrekis", that are used currently in Middle East.


title: Numerical equivalence defined on Chow groups of Noetherian local rings

abstract: In the present paper, we define a notion of numerical equivalence on Chow groups or Grothendieck groups of Noetherian local rings, which is an analogue of that on smooth projective varieties. Under a mild condition, it is proved that the Chow group modulo numerical equivalence is a finite dimensional ${\Bbb Q}$-vector space, as in the case of smooth projective varieties. Numerical equivalence on local rings is deeply related to that on smooth projective varieties. For example, if Grothendieck's standard conjectures are true, then a vanishing of Chow group (of local rings) modulo numerical equivalence can be proven. Using the theory of numerical equivalence, the notion of numerically Roberts rings is defined. It is proved that a Cohen-Macaulay local ring of positive characteristic is a numerically Roberts ring if and only if the Hilbert-Kunz multiplicity of a maximal primary ideal of finite projective dimension is always equal to its colength. Numerically Roberts rings satisfy the vanishing property of intersection multiplicities. We shall prove another special case of the vanishing of intersection multiplicities using a vanishing of localized Chern characters.


title: The Berwald-type linearisation of generalised connections

abstract: We study the existence of a natural `linearisation' process for generalised connections on an affine bundle. It is shown that this leads to an affine generalised connection over a prolonged bundle, which is the analogue of what is called a connection of Berwald type in the standard theory of connections. Various new insights are being obtained in the fine structure of affine bundles over an anchored vector bundle and affineness of generalised connections on such bundles.


title: On Harder-Narasimhan strata in flag manifolds

abstract: This paper deals with a question of Fontaine and Rapoport which was posed in math.NT/0204293. There they asked for the determination of the index set of the Harder-Narasimhan vectors of the filtered isocrystals with fixed Newton- and Hodge vector. The aim of this paper is to give an answer to their question.


title: Submanifolds with splitting tangent sequence

abstract: In the late 50's A. Van de Ven stated that the only compact submanifolds with splitting tangent sequence of the projective space are linear subspaces. In this paper a classification of all submanifolds with splitting tangent sequence of some further classes of (homogeneous) manifolds is given, like quadrics or abelian varieties.


title: A discontinuous finite element approximation of quasi-static growth of brittle fractures

abstract: We propose a discontinuous finite element approximation for a model of quasi-static growth of brittle fractures in linearly elastic bodies formulated by Francfort and Marigo, and based on the classical Griffith's criterion. We restrict our analysis to the case of anti-planar shear and we consider discontinuous displacements which are piecewise affine with respect to a regular triangulation.


title: About Levi-Malcev Theorem for Homogeneous Bol Algebras

abstract: The fundamental ideas of aplicability of Levi-Malcev Theorem for Bol algebras, which plays a basic role in structural theory are outlined


title: Massey products and configuration spaces

abstract: The purpose of this paper is to compare two spectral sequences converging to the cohomology of a configuration space. The collapsing of these spectral sequences is established, in some cases, using Massey products.


title: Wave Propagation in a 3-D Optical Waveguide

abstract: In this paper we study the problem of wave propagation in a 3-D optical fiber. The goal is to obtain a solution for the time-harmonic field caused by a source in a cylindrically symmetric waveguide. The geometry of the problem, corresponding to an open waveguide, makes the problem challenging. To solve it, we construct a transform theory which is a nontrivial generalization of a method for solving a 2-D version of this problem given by Magnanini and Santosa.\cite{MS} The extension to 3-D is made complicated by the fact that the resulting eigenvalue problem defining the transform kernel is singular both at the origin and at infinity. The singularities require the investigation of the behavior of the solutions of the eigenvalue problem. Moreover, the derivation of the transform formulas needed to solve the wave propagation problem involves nontrivial calculations. The paper provides a complete description on how to construct the solution to the wave propagation problem in a 3-D optical waveguide with cylindrical symmetry. A follow-up article will study the particular cases of a step-index fiber and of a coaxial waveguide. In those cases we will obtain concrete formulas for the field and numerical examples.


title: The rack space

abstract: The main result of this paper is a new classification theorem for links (smooth embeddings in codimension 2). The classifying space is the rack space (defined in [Trunks and classifying spaces, Applied Categorical Structures, 3 (1995) 321--356]) and the classifying bundle is the first James bundle (defined in "James bundles" math.AT/0301354). We investigate the algebraic topology of this classifying space and report on calculations given elsewhere. Apart from defining many new knot and link invariants (including generalised James--Hopf invariants), the classification theorem has some unexpected applications. We give a combinatorial interpretation for \pi_2 of a complex which can be used for calculations and some new interpretations of the higher homotopy groups of the 3--sphere. We also give a cobordism classification of virtual links.


title: Some new aspects of the coupon-collector's problem

abstract: We extend the classical coupon collector's problem to one in which two collectors are simultaneously and independently seeking collections of $d$ coupons. We find, in finite terms, the probability that the two collectors finish at the same trial, and we find, using the methods of Gessel-Viennot, the probability that the game has the following ``ballot-like'' character: the two collectors are tied with each other for some initial number of steps, and after that the player who first gains the lead remains ahead throughout the game. As a by-product we obtain the evaluation in finite terms of certain infinite series whose coefficients are powers and products of Stirling numbers of the second kind. We study the variant of the original coupon collector's problem in which a single collector wants to obtain at least $h$ copies of each coupon. Here we give a simpler derivation of results of Newman and Shepp, and extend those results. Finally we obtain the distribution of the number of coupons that have been obtained exactly once (``singletons'') at the conclusion of a successful coupon collecting sequence.


title: Converse theorems, functoriality, and applications to number theory

abstract: There has been a recent coming together of the Converse Theorem for $\gln$ and the Langlands-Shahidi method of controlling the analytic properties of automorphic $L$-functions which has allowed us to establish a number of new cases of functoriality, or the lifting of automorphic forms. In this article we would like to present the current state of the Converse Theorem and outline the method one uses to apply the Converse Theorem to obtain liftings. We will then turn to an exposition of the new liftings and some of their applications.


title: Constructing and counting number fields

abstract: In this paper we give a survey of recent methods for the asymptotic and exact enumeration of number fields with given Galois group of the Galois closure. In particular, the case of fields of degree up to 4 is now almost completely solved, both in theory and in practice. The same methods also allow construction of the corresponding complete tables of number fields with discriminant up to a given bound.


title: Analyse p-adique et repr\'esentations Galoisiennes

abstract: The notion of a p-adic de Rham representation of the absolute Galois group of a p-adic field was introduced about twenty years ago (see e.g. [Fo93]). Three important results for this theory have been obtained recently: The structure theorem for the {\it almost $C_p$-representations}, the theorem {\it weakly admissible implies admissible} and the theorem {\it de Rham implies potentially semi-stable}. The proofs of the first two theorems are closely related to the study of a new kind of analytic groups, the {\it Banach-Colmez spaces} and the proof of the third uses deep results on p-{\it adic differential equations on the Robba ring}.


title: Tamagawa number conjecture for zeta values

abstract: Spencer Bloch and the author formulated a general conjecture (Tamagawa number conjecture) on the relation between values of zeta functions of motives and arithmetic groups associated to motives. We discuss this conjecture, and describe some application of the philosophy of the conjecture to the study of elliptic curves.


title: Derivatives of Eisenstein series and arithmetic geometry

abstract: We describe connections between the Fourier coefficients of derivatives of Eisenstein series and invariants from the arithmetic geometry of the Shimura varieties $M$ associated to rational quadratic forms $(V,Q)$ of signature $(n,2)$. In the case $n=1$, we define generating series $\hat\phi_1(\tau)$ for 1-cycles (resp. $\hat\phi_2(\tau)$ for 0-cycles) on the arithmetic surface $\Cal M$ associated to a Shimura curve over $\Bbb Q$. These series are related to the second term in the Laurent expansion of an Eisenstein series of weight $\frac32$ and genus 1 (resp. genus 2) at the Siegel--Weil point, and these relations can be seen as examples of an `arithmetic' Siegel--Weil formula. Some partial results and conjectures for higher dimensional cases are also discussed.


title: Elliptic curves and class field theory

abstract: Suppose $E$ is an elliptic curve defined over $\Q$. At the 1983 ICM the first author formulated some conjectures that propose a close relationship between the explicit class field theory construction of certain abelian extensions of imaginary quadratic fields and an explicit construction that (conjecturally) produces almost all of the rational points on $E$ over those fields. Those conjectures are to a large extent settled by recent work of Vatsal and of Cornut, building on work of Kolyvagin and others. In this paper we describe a collection of interrelated conjectures still open regarding the variation of Mordell-Weil groups of $E$ over abelian extensions of imaginary quadratic fields, and suggest a possible algebraic framework to organize them.


title: Th\'eorie ergodique et g\'eom\'etrie arithm\'etique

abstract: We will present several examples in which ideas from ergodic theory can be useful to study some problems in arithmetic and algebraic geometry.


title: Diophantine methods for exponential sums, and exponential sums for Diophantine problems

abstract: Recent developments in the theory and application of the Hardy-Littlewood method are discussed, concentrating on aspects associated with diagonal diophantine problems. Recent efficient differencing methods for estimating mean values of exponential sums are described first, concentrating on developments involving smooth Weyl sums. Next, arithmetic variants of classical inequalities of Bessel and Cauchy-Schwarz are discussed. Finally, some emerging connections between the circle method and arithmetic geometry are mentioned.


title: The Palais-Smale condition for contact type energy levels for convex lagrangian systems

abstract: We prove that for a uniformly convex Lagrangian system L on a compact manifold M, almost all energy levels contain a periodic orbit. We also prove that below Ma ne's critical value of the lift of the Lagrangian to the universal cover, almost all energy levels have conjugate points. We prove that if the energy level [E=k] is of contact type and M is not the 2-torus then the free time action functional of L+k satisfies the Palais-Smale condition.


title: Some Companions of Gruss Inequality in Inner Product Spaces

abstract: Some companions of Gruss inequality in inner product spaces and applications for integrals are given.


title: On the p-Logarithmic and Alpha-Power Divergence Measures in Information Theory

abstract: In this paper we introduce the concepts of p-logarithmic and Alpha-power divergence measures and point out a number of basic results.


title: Horrocks theory and the Bernstein-Gelfand-Gelfand correspondence

abstract: We construct an explicit equivalence between a category of complexes over the exterior algebra, which we call HT-complexes, and the stable category of vector bundles on the corresponding projective space, and establish a relation between HT-complexes and the Tate resolutions over the exterior algebra, which had been described by D. Eisenbud, G. Floystad, F.O. Schreyer in math.AG/0104203. The correspondence between HT-complexes and stable classes of vector bundles essentially translates into more fancy terms former results of Trautmann on representing Koszul complexes, which, in turn, were influenced by ideas of Horrocks. However, the relation between the Tate resolutions over the exterior algebra and HT-complexes might be new, although, perhaps, not a surprise to experts.


title: Bounds for the size of sets with the property D(n)

abstract: Let n be a nonzero integer and a_1 < a_2 < ... <a_m positive integers such that a_i*a_j + n is a perfect square for all 1 <= i < j <= m. It is known that m <= 5 for n = 1. In this paper we prove that m <= 31 for |n| <= 400 and m < 15.476 log|n| for |n| > 400.


title: On the monodromy group of confluenting linear equations

abstract: We consider a linear analytic ordinary differential equation with complex time having a nonresonant irregular singular point. We study it as a limit of a generic family of equations with confluenting Fuchsian singularities. In 1984 V.I.Arnold asked the following question: is it true that some operators from the monodromy group of the perturbed (Fuchsian) equation tend to Stokes operators of the nonperturbed irregular equation? Another version of this question was also independently proposed by J.-P.Ramis in 1988. We consider the case of Poincar\'e rank 1 only. We show (in dimension two) that generically no monodromy operator tends to a Stokes operator; on the other hand, in any dimension commutators of appropriate noninteger powers of the monodromy operators around singular points tend to Stokes operators.


title: The shape of a tridiagonal pair

abstract: Let K denote an algebraically closed field with characteristic 0. Let V denote a vector space over K with finite positive dimension and let A,B denote a tridiagonal pair on V. We make an assumption about this pair. Let q denote a nonzero scalar in K which is not a root of unity. We assume A and B satisfy the q-Serre relations (i) A^3B - [3]A^2BA + [3]ABA^2 - BA^3=0; (ii) B^3A - [3]B^2AB + [3]BAB^2 - AB^3=0, where [3]=(q^3-q^{-3})/(q-q^{-1}). Let (\rho_0, \rho_1,...,\rho_d) denote the shape vector for A,B. We show the entries in this shape vector are bounded above by binomial coefficients. Indeed we show \rho_i is at most (d \atop i) for 0 \leq i \leq d. We obtain this result by displaying a spanning set for V.


title: Hamiltonian operators and l*-coverings

abstract: An efficient method to construct Hamiltonian structures for nonlinear evolution equations is described. It is based on the notions of variational Schouten bracket and l*-covering. The latter serves the role of the cotangent bundle in the category of nonlinear evolution PDEs. We first consider two illustrative examples (the KdV equation and the Boussinesq system) and reconstruct for them the known Hamiltonian structures by our methods. For the coupled KdV-mKdV system, a new Hamiltonian structure is found and its uniqueness (in the class of polynomial (x,t)-independent structures) is proved. We also construct a nonlocal Hamiltonian structure for this system and prove its compatibility with the local one.

categories: math.DG hep-th math-ph math.AP math.MP nlin.SI


title: Quantization of Multiply Connected Manifolds

abstract: The standard (Berezin-Toeplitz) geometric quantization of a compact Kaehler manifold is restricted by integrality conditions. These restrictions can be circumvented by passing to the universal covering space, provided that the lift of the symplectic form is exact. I relate this construction to the Baum-Connes assembly map and prove that it gives a strict quantization of the manifold. I also propose a further generalization, classify the required structure, and provide a means of computing the resulting algebras. These constructions involve twisted group C*-algebras of the fundamental group which are determined by a group cocycle constructed from the cohomology class of the symplectic form.


title: Two-dimensional Poisson Trees converge to the Brownian web

abstract: The Brownian web can be roughly described as a family of coalescing one-dimensional Brownian motions starting at all times in $\R$ and at all points of $\R$. It was introduced by Arratia; a variant was then studied by Toth and Werner; another variant was analyzed recently by Fontes, Isopi, Newman and Ravishankar. The two-dimensional \emph{Poisson tree} is a family of continuous time one-dimensional random walks with uniform jumps in a bounded interval. The walks start at the space-time points of a homogeneous Poisson process in $\R^2$ and are in fact constructed as a function of the point process. This tree was introduced by Ferrari, Landim and Thorisson. By verifying criteria derived by Fontes, Isopi, Newman and Ravishankar, we show that, when properly rescaled, and under the topology introduced by those authors, Poisson trees converge weakly to the Brownian web.


title: Empirical Study in Finite Correlation Coefficient in Two Phase Estimation

abstract: This paper proposes a class of estimators for population correlation coefficient when information about the population mean and population variance of one of the variables is not available but information about these parameters of another variable (auxiliary) is available, in two phase sampling and analyzes its properties. Optimum estimator in the class is identified with its variance formula. The estimators of the class involve unknown constants whose optimum values depend on unknown population parameters.


title: Summations and transformations for multiple basic and elliptic hypergeometric series by determinant evaluations

abstract: Using multiple q-integrals and a determinant evaluation, we establish a multivariable extension of Bailey's nonterminating 10-phi-9 transformation. From this result, we deduce new multivariable terminating 10-phi-9 transformations, 8-phi-7 summations and other identities. We also use similar methods to derive new multivariable 1-psi-1 summations. Some of our results are extended to the case of elliptic hypergeometric series.


title: Burghelea-Friedlander-Kappeler's gluing formula for the zeta-determinant and its applications to the adiabatic decompositions of the zeta-determinant and the analytic torsion

abstract: The gluing formula of the zeta-determinant of a Laplacian given by Burghelea, Friedlander and Kappeler contains an unknown constant. In this paper we compute this constant to complete the formula under the assumption of the product structure near boundary. As applications of this result,we prove the adiabatic decomposition theorems of the zeta-determinant of a Laplacian with respect to the Dirichlet and Neumann boundary conditions and of the analytic torsion with respect to the absolute and relative boundary conditions.


title: Counting ramified coverings and intersection theory on Hurwitz spaces II (Local structure of Hurwitz spaces and combinatorial results)

abstract: The Hurwitz space is a compactification of the space of rational functions of a given degree. We study the intersection of various strata of this space with its boundary. A study of the cohomology ring of the Hurwitz space then allows us to obtain recurrence relations for certain numbers of ramified coverings of a sphere by a sphere with prescribed ramifications. Generating functions for these numbers belong to a very particular subalgebra of the algebra of power series.


title: The Orchard relation of a generic symmetric or antisymmetric function

abstract: We associate to certain symmetric or antisymmetric functions on the set ${E\choose d+1}$ of $(d+1)-$subsets in a finite set $E$ an equivalence relation on $E$ and study some of its properties.


title: A generalization of Levinger's theorem to positive kernel operators

abstract: We prove some inequalities for the spectral radius of positive operators on Banach function spaces. In particular, we show the following extension of Levinger's theorem. Let $K$ be a positive compact kernel operator on $L^2(X,\mu)$ with the spectral radius $r(K)$. Then the function $\phi$ defined by $\phi(t) = r(t K + (1-t) K^*)$ is non-decreasing on $[0, {1/2}]$. We also prove that $\| A + B^* \| \ge 2 \cdot \sqrt{r(A B)}$ for any positive operators $A$ and $B$ on $L^2(X,\mu)$.


title: Hopf structure of the Yangian Y(sl_n) in the Drinfel'd realisation

abstract: The Yangian of the Lie algebra sl_n is known to have different presentations, in particular the RTT realisation and the Drinfel'd realisation. Using the isomorphism between them, the explicit expressions of the comultiplication, the antipode and the counit in the Drinfel'd realisation of the Yangian Y(sl_n) are given. As examples, the cases of Y(sl_2) and Y(sl_3) are worked out.


title: Matrosov's theorem using a family of auxiliary functions: an analysis tool to aid time-varying nonlinear control design

abstract: We present a new result on uniform attractivity of the origin for nonlinear time-varying systems. Our theorem generalizes Matrosov's theorem which extends, in a certain manner, Krasovskii-LaSalle invariance principle to the case of general nonlinear time-varying systems. We show the utility of our theorem by addressing a control problem of port interconnected driftless systems. The latter includes as special case, the control of chained-form nonholonomic systems which has been extensively studied in the literature.


title: Some Results on Infinite Dimensional Riemannian Geometry

abstract: In this paper we will investigate the global properties of complete Hilbert manifolds with upper and lower bounded sectional curvature. We shall prove the Focal Index Lemma that we will allow us to extend some classical results of finite dimensional Riemannian geometry such as Rauch and Berger Theorems and the Topogonov Theorem in the class of manifolds on which the Hopf-Rinow Theorem holds.


title: Positively curved surfaces in the three-sphere

abstract: In this talk I will discuss an example of the use of fully nonlinear parabolic flows to prove geometric results. I will emphasise the fact that there is a wide variety of geometric parabolic equations to choose from, and to get the best results it can be very important to choose the best flow. I will illustrate this in the setting of surfaces in a three-dimensional sphere. There are quite a few relevant results for surfaces in the sphere satisfying various kinds of curvature equations, including totally umbillic surfaces, minimal surfaces and constant mean curvature surfaces, and intrinsically flat surfaces. Parabolic flows can strengthen such results by allowing classes of surfaces satisfying curvature inequalities rather than equalities: This was first done by Huisken, who used mean curvature flow to deform certain classes of surfaces to totally umbillic surfaces. This motivates the question ``What is the optimal result of this kind?'' -- that is, what is the weakest pointwise curvature condition which defines a class of surfaces which retracts to the space of great spheres? The answer to this question can be guessed in view of the examples. To prove it requires a surprising choice of evolution equation, forced by the requirement that the pointwise curvature condition be preserved. I will conclude by mentioning some other geometric situations in which strong results can be proved by choosing the best possible evolution equation.


title: Abstract configurations in algebraic geometry

abstract: An abstract $(v_k,b_r)$-configuration is a pair of finite sets of cardinalities $v$ and $b$ with a relation on the product of the sets such that each element of the first set is related to the same number $k$ of elements from the second set and each element of the second set is related to the same number $r$ of elements in the first set. An example of an abstract configuration is a finite geometry. In this paper we discuss some examples of abstract configurations and, in particular finite geometries, which one encounters in algebraic geometry.


title: Mass and 3-metrics of non-negative scalar curvature

abstract: Physicists believe, with some justification, that there should be a correspondence between familiar properties of Newtonian gravity and properties of solutions of the Einstein equations. The Positive Mass Theorem (PMT), first proved over twenty years ago \cite{SchoenYau79b,Witten81}, is a remarkable testament to this faith. However, fundamental mathematical questions concerning mass in general relativity remain, associated with the definition and properties of quasi-local mass. Central themes are the structure of metrics with non-negative scalar curvature, and the role played by minimal area 2-spheres (black holes).


title: Geometry of symplectic intersections

abstract: In this paper we survey several intersection and non-intersection phenomena appearing in the realm of symplectic topology. We discuss their implications and finally outline some new relations of the subject to algebraic geometry.


title: Black holes and the Penrose inequality in general relativity

abstract: In a paper \cite{P} in 1973, R. Penrose made a physical argument that the total mass of a spacetime which contains black holes with event horizons of total area $A$ should be at least $\sqrt{A/16\pi}$. An important special case of this physical statement translates into a very beautiful mathematical inequality in Riemannian geometry known as the Riemannian Penrose inequality. One particularly geometric aspect of this problem is the fact that apparent horizons of black holes in this setting correspond to minimal surfaces in Riemannian 3-manifolds. The Riemannian Penrose inequality was first proved by G. Huisken and T. Ilmanen in 1997 for a single black hole \cite{HI} and then by the author in 1999 for any number of black holes \cite{Bray}. The two approaches use two different geometric flow techniques. The most general version of the Penrose inequality is still open. In this talk we will sketch the author's proof by flowing Riemannian manifolds inside the class of asymptotically flat 3-manifolds (asymptotic to $\real^3$ at infinity) which have nonnegative scalar curvature and contain minimal spheres. This new flow of metrics has very special properties and simulates an initial physical situation in which all of the matter falls into the black holes which merge into a single, spherically symmetric black hole given by the Schwarzschild metric. Since the Schwarzschild metric gives equality in the Penrose inequality and the flow decreases the total mass while preserving the area of the horizons of the black holes, the Penrose inequality follows. We will also discuss how these techniques can be generalized in higher dimensions.


title: Recent progress in K\"ahler geometry

abstract: In recent years, there are many progress made in K\"ahler geometry. In particular, the topics related to the problems of the existence and uniqueness of extremal K\"ahler metrics, as well as obstructions to the existence of such metrics in general K\"ahler manifold. In this talk, we will report some recent developments in this direction. In particular, we will discuss the progress recently obtained in understanding the metric structure of the infinite dimensional space of Kaehler potentials, and their applications to the problems mentioned above. We also will discuss some recent on Kaehler Ricci flow.


title: On the Schr\"odinger flows

abstract: We present some recent results on the existence of solutions of the Schr\"odinger flows, and pose some problems for further research.


title: Differential geometry via harmonic functions

abstract: In this talk, I will discuss the use of harmonic functions to study the geometry and topology of complete manifolds. In my previous joint work with Luen-fai Tam, we discovered that the number of infinities of a complete manifold can be estimated by the dimension of a certain space of harmonic functions. Applying this to a complete manifold whose Ricci curvature is almost non-negative, we showed that the manifold must have finitely many ends. In my recent joint works with Jiaping Wang, we successfully applied this general method to two other classes of complete manifolds. The first class are manifolds with the lower bound of the spectrum $\lambda_1(M) >0$ and whose Ricci curvature is bounded by $$ Ric_M \ge -{m-2 \over m-1} \lambda_1(M). $$ The second class are stable minimal hypersurfaces in a complete manifold with non-negative sectional curvature. In both cases we proved some splitting type theorems and also some finiteness theorems.


title: Index iteration theory for symplectic paths with applications to nonlinear Hamiltonian systems

abstract: In recent years, we have established the iteration theory of the index for symplectic matrix paths and applied it to periodic solution problems of nonlinear Hamiltonian systems. This paper is a survey on these results.


title: Some applications of collapsing with bounded curvature

abstract: In my talk I will discuss the following results which were obtained in joint work with Wilderich Tuschmann. 1. For any given numbers $m$, $C$ and $D$, the class of $m$-dimensional simply connected closed smooth manifolds with finite second homotopy groups which admit a Riemannian metric with sectional curvature $\vert K \vert\le C$ and diameter $\le D$ contains only finitely many diffeomorphism types. 2. Given any $m$ and any $\delta>0$, there exists a positive constant $i_0=i_0(m,\delta)>0$ such that the injectivity radius of any simply connected compact $m$-dimensional Riemannian manifold with finite second homotopy group and Ricci curvature $Ric\ge\delta$, $K\le 1$, is bounded from below by $i_0(m,\delta)$. I also intend to discuss Riemannian megafolds, a generalized notion of Riemannian manifolds, and their use and usefulness in the proof of these results.


title: Collapsed Riemannian manifolds with bounded sectional curvature

abstract: In the last two decades, one of the most important developments in Riemannian geometry is the collapsing theory of Cheeger-Fukaya-Gromov. A Riemannian manifold is called (sufficiently) collapsed if its dimension looks smaller than its actual dimension while its sectional curvature remains bounded (say a very thin flat torus looks like a circle in a bared eyes). We will survey the development of collapsing theory and its applications to Riemannian geometry since 1990. The common starting point for all of these is the existence of a singular fibration structure on collapsed manifolds. However, new techniques have been introduced and tools from related fields have been brought in. As a consequence, light has been shed on some classical problems and conjectures whose statements do not involve collapsing. Specifically, substantial progress has been made on manifolds with nonpositive curvature, on positively pinched manifolds, collapsed manifolds with an a priori diameter bound, and subclasses of manifolds whose members satisfy additional topological conditions e.g. $2$-connectedness.


title: Complex hyperbolic triangle groups

abstract: The theory of complex hyperbolic discrete groups is still in its childhood but promises to grow into a rich subfield of geometry. In this paper I will discuss some recent progress that has been made on complex hyperbolic deformations of the modular group and, more generally, triangle groups. These are some of the simplest nontrivial complex hyperbolic discrete groups. In particular, I will talk about my recent discovery of a closed real hyperbolic 3-manifold which appears as the manifold at infinity for a complex hyperbolic discrete group.


title: Heat kernels and the index theorems on even and odd dimensional manifolds

abstract: In this talk, we review the heat kernel approach to the Atiyah-Singer index theorem for Dirac operators on closed manifolds, as well as the Atiyah-Patodi-Singer index theorem for Dirac operators on manifolds with boundary. We also discuss the odd dimensional counterparts of the above results. In particular, we describe a joint result with Xianzhe Dai on an index theorem for Toeplitz operators on odd dimensional manifolds with boundary.


title: Unramified cohomology of classifying varieties for exceptional simply connected groups

abstract: Let BG be a classifying variety for an exceptional simple simply connected algebraic group G. We compute the degree 3 unramified Galois cohomology of BG with values in Q/Z(2) over an arbitrary field F. Combined with a paper by Merkurjev, this completes the computation of these cohomology groups for G semisimple simply connected over all fields. These computations provide another example of a simple simply connected group G such that BG is not stably rational.


title: 3-manifolds with planar presentations and the width of satellite knots

abstract: We consider compact 3-manifolds M having a submersion h to R in which each generic point inverse is a planar surface. The standard height function on a submanifold of the 3-sphere is a motivating example. To (M, h) we associate a connectivity graph G. For M in the 3-sphere, G is a tree if and only if there is a Fox reimbedding of M which carries horizontal circles to a complete collection of complementary meridian circles. On the other hand, if the connectivity graph of the complement of M is a tree, then there is a level-preserving reimbedding of M so that its complement is a connected sum of handlebodies. Corollary: The width of a satellite knot is no less than the width of its pattern knot. In particular, the width of K_1 # K_2 is no less than the maximum of the widths of K_1 and K_2.


title: On the prime power factorization of n!

abstract: In this paper we prove two results. The first theorem uses a paper of Kim \cite{K} to show that for fixed primes $p_1,...,p_k$, and for fixed integers $m_1,...,m_k$, with $p_i\not|m_i$, the numbers $(e_{p_1}(n),...,e_{p_k}(n))$ are uniformly distributed modulo $(m_1,...,m_k)$, where $e_p(n)$ is the order of the prime $p$ in the factorization of $n!$. That implies one of Sander's conjecture from \cite{S}, for any set of odd primes. Berend \cite{B} asks to find the fastest growing function $f(x)$ so that for large $x$ and any given finite sequence $\epsilon_i\in \{0,1\}, i\le f(x)$, there exists $n<x$ such that the congruences $e_{p_i}(n)\equiv \epsilon_i\pmod 2$ hold for all $i\le f(x)$. Here, $p_i$ is the $i$th prime number. In our second result, we are able to show that $f(x)$ can be taken to be at least $c_1 (\log x/(\log\log x)^6)^{1/9}$, with some absolute constant $c_1$, provided that only the first odd prime numbers are involved.


title: Symplectic manifolds with disconnected contact type boundary in dimension 4n

abstract: We give examples of compact symplectic manifolds with disconnected contact type boundary in dimension $4n$ for any $n\geq 1$. The example is given by a subset of the tangent bundle of a compact quotient of the complex hyperbolic space endowed with the canonical symplectic form plus a generalized magnetic field and its boundary is given by two hypersurfaces of constant kinetic energy. In particular, when $n=1$, it is obtained by the tangent bundle of a surface of genus greater than 1 endowed with the canonical symplectic form plus the pullback of the K\"ahler form by the canonical projection.


title: Piecewise morphisms of birational foliated varieties

abstract: This paper has been withdrawn by the author due to a crucial error.


title: Free probability and representations of large symmetric groups

abstract: We study the asymptotic behavior of the free cumulants (in the sense of free probability theory of Voiculescu) of Jucys--Murphy elements--or equivalently--of the transition measure associated with a Young diagram. We express these cumulants in terms of normalized characters of the appropriate representation of the symmetric group S_q. Our analysis considers the case when the Young diagrams rescaled by q^{-1/2} converge towards some prescribed shape. We find explicitly the second order asymptotic expansion and outline the algorithm which allows to find the asymptotic expansion of any order. As a corollary we obtain the second order asymptotic expansion of characters evaluated on cycles in terms of free cumulants, i.e. we find explicitly terms in Kerov polynomials with the appropriate degree.


title: Hamiltonian reduction and Maurer-Cartan equations

abstract: We show that solving the Maurer-Cartan equations is, essentially, the same thing as performing the Hamiltonian reduction construction. In particular, any differential graded Lie algebra equipped with an even nondegenerate invariant bilinear form gives rise to modular stacks with symplectic structures.


title: Weak n-categories: opetopic and multitopic foundations

abstract: We generalise the concepts introduced by Baez and Dolan to define opetopes constructed from symmetric operads with a category, rather than a set, of objects. We describe the category of 1-level generalised multicategories, a special case of the concept introduced by Hermida, Makkai and Power, and exhibit a full embedding of this category in the category of symmetric operads with a category of objects. As an analogy to the Baez-Dolan slice construction, we exhibit a certain multicategory of function replacement as a slice construction in the multitopic setting, and use it to construct multitopes. We give an explicit description of the relationship between opetopes and multitopes.


title: Ideal bicombings for hyperbolic groups and applications

abstract: For every hyperbolic group and more general hyperbolic graphs, we construct an equivariant ideal bicombing: this is a homological analogue of the geodesic flow on negatively curved manifolds. We then construct a cohomological invariant which implies that several Measure Equivalence and Orbit Equivalence rigidity results established by Monod-Shalom hold for all non-elementary hyperbolic groups and their non-elementary subgroups. We also derive superrigidity results for actions of general irreducible lattices on a large class of hyperbolic metric spaces.


title: Weak n-categories: comparing opetopic foundations

abstract: We define the category of tidy symmetric multicategories. We construct for each tidy symmetric multicategory Q a cartesian monad (E_Q,T_Q) and extend this assignation to a functor. We exhibit a relationship between the slice construction on symmetric multicategories, and the `free operad' monad construction on suitable monads. We use this to give an explicit description of the relationship between Baez-Dolan and Leinster opetopes.


title: Families Index for Pseudodifferential Operators on Manifolds with Boundary

abstract: An analytic index is defined for a family of cusp pseudodifferential operators, $P_b,$ on a fibration with fibres which are compact manifolds with boundaries, provided the family is elliptic and has invertible indicial family at the boundary. In fact there is always a perturbation $Q_b$ by a family of cusp operators of order $-\infty$ such that each $P_b+Q_b$ is invertible. Thus any elliptic family of symbols has a realization as an invertible family of cusp pseudodifferential operators, which is a form of the cobordism invariance of the index. A crucial role is played by the weak contractibility of the group of cusp smoothing operators on a compact manifold with non-trivial boundary and the associated exact sequence of classifying spaces of odd and even K-theory.


title: Eigenbundles, Quaternions, and Berry's Phase

abstract: Given a parameterized space of square matrices, the associated set of eigenvectors forms some kind of a structure over the parameter space. When is that structure a vector bundle? When is there a vector field of eigenvectors? We answer those questions in terms of three obstructions, using a Homotopy Theory approach. We illustrate our obstructions with five examples. One of those examples gives rise to a 4 by 4 matrix representation of the Complex Quaternions. This representation shows the relationship of the Biquaternions with low dimensional Lie groups and algebras, Electro-magnetism, and Relativity Theory. The eigenstructure of this representation is very interesting, and our choice of notation produces important mathematical expressions found in those fields and in Quantum Mechanics. In particular, we show that the Doppler shift factor is analogous to Berry's Phase.


title: Fock factorizations, and decompositions of the $L^2$ spaces over general Levy processes

abstract: We explicitly construct and study an isometry between the spaces of square integrable functionals of an arbitrary Levy process and a vector-valued Gaussian white noise. In particular, we obtain explicit formulas for this isometry at the level of multiplicative functionals and at the level of orthogonal decompositions, as well as find its kernel. We consider in detail the central special case: the isometry between the $L^2$ spaces over a Poisson process and the corresponding white noise. The key role in our considerations is played by the notion of measure and Hilbert factorizations and related notions of multiplicative and additive functionals and logarithm. The obtained results allow us to introduce a canonical Fock structure (an analogue of the Wiener--Ito decomposition) in the $L^2$ space over an arbitrary Levy process. An application to the representation theory of current groups is considered. An example of a non-Fock factorization is given.


title: Whitehead method and Genetic Algorithms

abstract: In this paper we discuss a genetic version (GWA) of the Whitehead's algorithm, which is one of the basic algorithms in combinatorial group theory. It turns out that GWA is surprisingly fast and outperforms the standard Whitehead's algorithm in free groups of rank >= 5. Experimenting with GWA we collected an interesting numerical data that clarifies the time-complexity of the Whitehead's Problem in general. These experiments led us to several mathematical conjectures. If confirmed they will shed light on hidden mechanisms of Whitehead Method and geometry of automorphic orbits in free groups.


title: The category of opetopes and the category of opetopic sets

abstract: We give an explicit construction of the category Opetope of opetopes. We prove that the category of opetopic sets is equivalent to the category of presheaves over Opetope.


title: Opetopic bicategories: comparison with the classical theory

abstract: We continue our previous modifications of the Baez-Dolan theory of opetopes to modify the Baez-Dolan definition of universality, and thereby the category of opetopic n-categories and lax functors. For the case n=2 we exhibit an equivalence between this category and the category of bicategories and lax functors. We examine notions of strictness in the opetopic theory.


title: An alternative characterisation of universal cells in opetopic n-categories

abstract: We address the fact that composition in an opetopic weak n-category is in general not unique and hence is not a well-defined operation. We define composition with a given k-cell in an n-category by a span of (n-k)-categories. We characterise such a cell as universal if its composition span gives an equivalence of (n-k)-categories.


title: A relationship between trees and Kelly-Mac Lane graphs

abstract: We give a precise description of combed trees in terms of Kelly-Mac Lane graphs. We show that any combed tree is uniquely expressed as an allowable Kelly-Mac Lane graph of a certain shape. Conversely, we show that any such Kelly-Mac Lane graph uniquely defines a combed tree.


title: The theory of opetopes via Kelly-Mac Lane graphs

abstract: This paper follows from two earlier works. In the first we gave an explicit construction of opetopes, the underlying cell shapes in the theory of opetopic n-categories; at the heart of this construction is the use of certain trees. In the second we gave a description of trees using Kelly-Mac Lane graphs. In the present paper we apply the latter to the former, to give a construction of opetopes using Kelly-Mac Lane graphs.


title: Concave cocirculations in a triangular grid

abstract: Let $G=(V(G),E(G))$ be a planar digraph embedded in the plane in which all inner faces are equilateral triangles (with three edges in each), and let the union $\Rscr$ of these faces forms a convex polygon. The question is: given a function $\sigma$ on the boundary edges of $G$, does there exist a concave function $f$ on $\Rscr$ which is affinely linear within each bounded face and satisfies $f(v)-f(u)=\sigma(e)$ for each boundary edge $e=(u,v)$? The functions $\sigma$ admitting such an $f$ form a polyhedral cone $C$, and when the region $\Rscr$ is a triangle, $C$ turns out to be exactly the cone of boundary data of honeycombs. Studing honeycombs in connection with a problem on spectra of triples of zero-sum Hermitian matrices, Knutson, Tao, and Woodward \cite{KTW} showed that $C$ is described by linear inequalities of Horn's type with respect to so-called {\em puzzles}, along with obvious linear constraints. The purpose of this paper is to give an alternative proof of that result, working in terms of discrete concave finctions, rather than honeycombs, and using only linear programming and combinatorial tools. Moreover, we extend the result to an arbitrary convex polygon $\Rscr$.


title: Maximum Skew-Symmetric Flows and Matchings

abstract: The maximum integer skew-symmetric flow problem (MSFP) generalizes both the maximum flow and maximum matching problems. It was introduced by Tutte in terms of self-conjugate flows in antisymmetrical digraphs. He showed that for these objects there are natural analogs of classical theoretical results on usual network flows, such as the flow decomposition, augmenting path, and max-flow min-cut theorems. We give unified and shorter proofs for those theoretical results. We then extend to MSFP the shortest augmenting path method of Edmonds and Karp and the blocking flow method of Dinits, obtaining algorithms with similar time bounds in general case. Moreover, in the cases of unit arc capacities and unit ``node capacities'' the blocking skew-symmetric flow algorithm has time bounds similar to those established in Even and Tarjan (1975) and Karzanov (1973) for Dinits' algorithm. In particular, this implies an algorithm for finding a maximum matching in a nonbipartite graph in $O(\sqrt{n}m)$ time, which matches the time bound for the algorithm of Micali and Vazirani. Finally, extending a clique compression technique of Feder and Motwani to particular skew-symmetric graphs, we speed up the implied maximum matching algorithm to run in $O(\sqrt{n}m\log(n^2/m)/\log{n})$ time, improving the best known bound for dense nonbipartite graphs. Also other theoretical and algorithmic results on skew-symmetric flows and their applications are presented.


title: Discrete convexity and unimodularity. I

abstract: In this paper we develop a theory of convexity for a free Abelian group M (the lattice of integer points), which we call theory of discrete convexity. We characterize those subsets X of the group M that could be call "convex". One property seems indisputable: X should coincide with the set of all integer points of its convex hull co(X) (in the ambient vector space V). However, this is a first approximation to a proper discrete convexity, because such non-intersecting sets need not be separated by a hyperplane. This issue is closely related to the question when the intersection of two integer polyhedra is an integer polyhedron. We show that unimodular systems (or more generally, pure systems) are in one-to-one correspondence with the classes of discrete convexity. For example, the well-known class of g-polymatroids corresponds to the class of discrete convexity associated to the unimodular system A_n:={\pm e_i, e_i-ej} in Z^n.


title: The Ubiquity of Order Domains for the Construction of Error Control Codes

abstract: The order domains are a class of commutative rings introduced by H{\o}holdt, van Lint, and Pellikaan to simplify the theory of error control codes using ideas from algebraic geometry. The definition is largely motivated by the structures utilized in the Berlekamp-Massey-Sakata (BMS) decoding algorithm, with Feng-Rao majority voting for unknown syndromes, applied to one-point geometric Goppa codes constructed from curves. However, order domains are much more general, and O'Sullivan has shown that the BMS algorithm can be applied to decode all codes constructed from order domains by a suitable generalization of Goppa's procedure for curves. In this article we will first discuss the connection between order domains and valuations on function fields over a finite field. Under some mild conditions, we will see that a general projective variety over a finite field has projective models which can be used to construct order domains and Goppa-type codes for which the BMS algorithm is applicable. We will then give a slightly different interpretation of Geil and Pellikaan's extrinsic characterization of order domains via the theory of Gr\"obner bases, and show that their results are related to the existence of toric deformations of varieties. To illustrate the potential usefulness of these observations, we present a series of new explicit examples of order domains associated to varieties with many rational points over finite fields: Hermitian hypersurfaces, Grassmannians, and flag varieties.


title: The topology of $out(F_n)$

abstract: We will survey the work on the topology of $Out(F_n)$ in the last 20 years or so. Much of the development is driven by the tantalizing analogy with mapping class groups. Unfortunately, $Out(F_n)$ is more complicated and less well-behaved. Culler and Vogtmann constructed Outer Space $X_n$, the analog of Teichm\"uller space, a contractible complex on which $Out(F_n)$ acts with finite stabilizers. Paths in $X_n$ can be generated using ``foldings'' of graphs, an operation introduced by Stallings to give alternative solutions for many algorithmic questions about free groups. The most conceptual proof of the contractibility of $X_n$ involves folding. There is a normal form of an automorphism, analogous to Thurston's normal form for surface homeomorphisms. This normal form, called a ``(relative) train track map'', consists of a cellular map on a graph and has good properties with respect to iteration. One may think of building an automorphism in stages, adding to the previous stages a building block that either grows exponentially or polynomially. A complicating feature is that these blocks are not ``disjoint'' as in Thurston's theory, but interact as upper stages can map over the lower stages. Applications include the study of growth rates (a surprising feature of free group automorphisms is that the growth rate of $f$ is generally different from the growth rate of $f^{-1}$), of the fixed subgroup of a given automorphism, and the proof of the Tits alternative for $Out(F_n)$.


title: Invariants of Legendrian knots

abstract: We present two different constructions of invariants for Legendrian knots in the standard contact space $\R^3$. These invariants are defined combinatorially, in terms of certain planar projections, and are useful in distinguishing Legendrian knots that have the same classical invariants but are not Legendrian isotopic.


title: Finite dimensional approximations in geometry

abstract: In low dimensional topology, we have some invariants defined by using solutions of some nonlinear elliptic operators. The invariants could be understood as Euler class or degree in the ordinary cohomology, in infinite dimensional setting. Instead of looking at the solutions, if we can regard some kind of homotopy class of the operator itself as an invariant, then the refined version of the invariant is understood as Euler class or degree in cohomotopy theory. This idea can be carried out for the Seiberg-Witten equation on 4-dimensional manifolds and we have some applications to 4-dimensional topology.


title: Topology of singular algebraic varieties

abstract: I will discuss recent progress by many people in the program of extending natural topological invariants from manifolds to singular spaces. Intersection homology theory and mixed Hodge theory are model examples of such invariants. The past 20 years have seen a series of new invariants, partly inspired by string theory, such as motivic integration and the elliptic genus of a singular variety. These theories are not defined in a topological way, but there are intriguing hints of their topological significance.


title: Algebraic K-theory and trace invariants

abstract: The cyclotomic trace of B\"okstedt-Hsiang-Madsen, the subject of B\"okstedt's lecture at the congress in Kyoto, is a map of pro-abelian groups K_*(A) -> TR_*^.(A;p) from Quillen's algebraic K-theory to a topological refinement of Connes' cyclic homology. Over the last decade, our understanding of the target and its relation to K-theory has been significantly advanced. This and possible future development is the topic of my lecture.


title: Symplectic sums and Gromov-Witten invariants

abstract: Gromov-Witten invariants of a symplectic manifold are a count of holomorphic curves. We describe a formula expressing the GW invariants of a symplectic sum $X# Y$ in terms of the relative GW invariants of $X$ and $Y$. This formula has several applications to enumerative geometry. As one application, we obtain new relations in the cohomology ring of the moduli space of complex structures on a genus g Riemann surface with n marked points.


title: Knots, von Neumann signatures, and grope cobordism

abstract: We explain new developments in classical knot theory in 3 and 4~dimensions, i.e. we study knots in 3-space, up to isotopy as well as up to concordance. In dimension~3 we give a geometric interpretation of the Kontsevich integral (joint with Jim Conant), and in dimension 4 we introduce new concordance invariants using von Neumann signatures (joint with Tim Cochran and Kent Orr). The common geometric feature of our results is the notion of a grope cobordism.


title: Strings and the stable cohomology of mapping class groups

abstract: Twenty years ago, Mumford initiated the systematic study of the cohomology ring of moduli spaces of Riemann surfaces. Around the same time, Harer proved that the homology of the mapping class groups of oriented surfaces is independent of the genus in low degrees, increasing with the genus. The (co)homology of mapping class groups thus stabelizes. At least rationally, the mapping class groups have the same (co)homology as the corresponding moduli spaces. This prompted Mumford to conjecture that the stable rational cohomology of moduli spaces is generated by certain tautological classes that he defines. Much of the recent interest in this subject is motivated by mathematical physics and, in particular, by string theory. The study of the category of strings led to the discovery of an infinite loop space, the cohomology of which is the stable cohomology of the mapping class groups. We explain here a homotopy theoretic approach to Mumford's conjecture based on this fact. As byproducts infinite families of torsion classes in the stable cohomology are detected, and the divisibility of the tautological classes is determined. An analysis of the category of strings in a background space leads to the formulization of a parametrized version of Mumford's conjecture. The paper is chiefly a summary of the author's work and her collaboration with Ib Madsen. Earlier this year Madsen and Weiss announced a solution of Mumford's conjecture. We touch on some of the consequences and the ideas behind this most exciting new developement.


title: Non-zero degree maps between 3-manifolds

abstract: First the title could be also understood as ``3-manifolds related by non-zero degree maps" or "Degrees of maps between 3-manifolds" for some aspects in this survey talk. The topology of surfaces was completely understood at the end of 19th century, but maps between surfaces kept to be an active topic in the 20th century and many important results just appeared in the last 25 years. The topology of 3-manifolds was well-understood only in the later 20th century, and the topic of non-zero degree maps between 3-manifolds becomes active only rather recently. We will survey questions and results in the topic indicated by the title, present its relations to 3-manifold topology and its applications to problems in geometry group theory, fixed point theory and dynamics. There are four aspects addressed: (1) Results concerning the existence and finiteness about the maps of non-zero degree (in particular of degree one) between 3-manifolds and their suitable correspondence about epimorphisms on knot groups and 3-manifold groups. (2) A measurement of the topological complexity on 3-manifolds and knots given by "degree one map partial order", and the interactions between the studies of non-zero degree map among 3-manifolds and of topology of 3-manifolds. (3) The standard forms of non-zero degree maps and automorphisms on 3-manifolds and applications to minimizing the fixed points in the isotopy class. (4) The uniqueness of the covering degrees between 3-manifolds and the uniqueness embedding indices (in particular the co-Hopfian property) between Kleinian groups. The methods used are varied, and we try to describe them briefly.


title: Hilbert schemes of points on surfaces

abstract: The Hilbert scheme $S^{[n]}$ of points on an algebraic surface $S$ is a simple example of a moduli space and also a nice (crepant) resolution of singularities of the symmetric power $S^{(n)}$. For many phenomena expected for moduli spaces and nice resolutions of singular varieties it is a model case. Hilbert schemes of points have connections to several fields of mathematics, including moduli spaces of sheaves, Donaldson invariants, enumerative geometry of curves, infinite dimensional Lie algebras and vertex algebras and also to theoretical physics. This talk will try to give an overview over these connections.


title: Vector bundles on a K3 surface

abstract: A K3 surface is a quaternionic analogue of an elliptic curve from a view point of moduli of vector bundles. We can prove the algebraicity of certain Hodge cycles and a rigidity of curve of genus eleven and gives two kind of descriptions of Fano threefolds as applications. In the final section we discuss a simplified construction of moduli spaces.


title: Sur les alg\`ebres vertex attach\'ees aux vari\'et\'es alg\'ebriques

abstract: Sganarelle: ... Mais encore faut-il croire quelque chose dans le monde: qu'est-ce donc que vous croyez? Dom Juan: Ce que je crois? Sganarelle: Oui. Dom Juan: Je crois que deux et deux sont quatre, Sganarelle, et que quatre et quatre sont huit. [Moli\`ere, Dom Juan] One dicusses sheaves of vertex algebras over smooth varieties and their connections with characteristic classes.


title: Balanced presentations of the trivial group on two generators and the Andrews-Curtis conjecture

abstract: The Andrews-Curtis conjecture states that every balanced presentation of the trivial group can be reduced to the standard one by a sequence of the elementary Nielsen transformations and conjugations. In this paper we describe all balanced presentations of the trivial group on two generators and with the total length of relators <= 12. We show that all these presentations satisfy the Andrews-Curtis conjecture.


title: Genetic algorithms and the Andrews-Curtis conjecture

abstract: The Andrews-Curtis conjecture claims that every balanced presentation of the trivial group can be transformed into the trivial presentation by a finite sequence of "elementary transformations" which are Nielsen transformations together with an arbitrary conjugation of a relator. It is believed that the Andrews-Curtis conjecture is false; however, not so many possible counterexamples are known. It is not a trivial matter to verify whether the conjecture holds for a given balanced presentation or not. The purpose of this paper is to describe some non-deterministic methods, called Genetic Algorithms, designed to test the validity of the Andrews-Curtis conjecture. Using such algorithm we have been able to prove that all known (to us) balanced presentations of the trivial group where the total length of the relators is at most 12 satisfy the conjecture. In particular, the Andrews-Curtis conjecture holds for the presentation <x,y|x y x = y x y, x^2 = y^3> which was one of the well known potential counterexamples.


title: The complex-symplectic geometry of SL(2,C)-characters over surfaces

abstract: The SL(2)-character variety X of a closed surface M enjoys a natural complex-symplectic structure invariant under the mapping class group G of M. Using the ergodicity of G on the SU(2)-character variety, we deduce that every G-invariant meromorphic function on X is constant. The trace functions of closed curves on M determine regular functions which generate complex Hamiltonian flows. For simple closed curves, these complex Hamiltonian flows arise from holomorphic flows on the representation variety generalizing the Fenchel-Nielsen twist flows on Teichmueller space and the complex quakebend flows on quasi-Fuchsian space. Closed curves in the complex trajectories of these flows lift to paths in the deformation space of complex-projective structures between different projective structures with the same holonomy (grafting). A pants decomposition determines a holomorphic completely integrable system on X. This integrable system is related to the complex Fenchel-Nielsen coordinates on quasi-Fuchsian space developed by Tan and Kourouniotis, and relate to recent formulas of Platis and Series on complex-length functions and complex twist flows.


title: Is there a duality in the classical acceptance of non-constructive, foundational, concepts as axiomatic?

abstract: We consider a philosophical question that is implicit in Selmer Bringsjord's paper, "The narrational case against Church's Thesis": If, as Mendelson argues, the classically accepted definitions of foundational concepts such as "partial recursive function", "function", "(Tarskian) truth", "set" etc. are vague and imprecise - hence possibly non-constructive and intuitionistically objectionable - then replacing one non-constructive concept by another may be psychologically unappealing, but it should be meta-mathematically valid and acceptable.


title: Is there a "loophole" in Goedel's interpretation of his formal reasoning and its consequences?

abstract: We formally define a "mathematical object" and "set". We then argue that expressions such as "(Ax)F(x)", and "(Ex)F(x)", in an interpretation M of a formal theory P, may be taken to mean "F(x) is true for all x in M", and "F(x) is true for some x in M", respectively, if, and only if, the predicate letter "F" is a mathematical object in P. In the absence of a proof, the expressions "(Ax)F(x)", and "(Ex)F(x)", can only be taken to mean that "F(x) is true for any given x in M", and "It is not true that F(x) is false for any given x in M", respectively, indicating that the predicate "F(x)" is well-defined, and effectively decidable individually, for any given value of x, but that there may be no uniform effective method (algorithm) for such decidability. We show how some paradoxical concepts of Quantum Mechanics can then be expressed in a constructive interpretation of standard Peano's Arithmetic.


title: Three beliefs that lend illusory legitimacy to Cantor's diagonal argument

abstract: Whatever other beliefs there may remain for considering Cantor's diagonal argument as mathematically legitimate, there are three that, prima facie, lend it an illusory legitimacy; they need to be explicitly discounted appropriately. The first, Cantor's diagonal argument defines a non-countable Dedekind real number; the second, Goedel uses the argument to define a formally undecidable, but interpretively true, proposition; and the third, Turing uses the argument to define an uncomputable Dedekind real number.


title: Identifying several biased coins encountered by a hidden random walk

abstract: Suppose that attached to each site z in Z is a coin with bias theta(z), and only finitely many of these coins have non-zero bias. Allow a simple random walker to generate observations by tossing, at each move, the coin attached to its current position. Then we can determine the biases {theta(z) : z in Z}, using only the outcomes of these coin tosses and no information about the path of the random walker, up to a shift and reflection of Z. This generalizes a result of Harris and Keane.