title: Lower order terms in Szego type limit theorems on Zoll manifolds

abstract: This is a detailed version of the paper math.FA/0212273. The main motivation for this work was to find an explicit formula for a "Szego-regularized" determinant of a zeroth order pseudodifferential operator (PsDO) on a Zoll manifold. The idea of the Szego-regularization was suggested by V. Guillemin and K. Okikiolu. They have computed the second term in a Szego type expansion on a Zoll manifold of an arbitrary dimension. In the present work we compute the third asymptotic term in any dimension. In the case of dimension 2, our formula gives the above mentioned expression for the Szego-redularized determinant of a zeroth order PsDO. The proof uses a new combinatorial identity, which generalizes a formula due to G.A.Hunt and F.J.Dyson. This identity is related to the distribution of the maximum of a random walk with i.i.d. steps on the real line. The proof of this combinatorial identity together with historical remarks and a discussion of probabilistic and algebraic connections has been published separately.


title: Cohomology of G-sheaves in positive characteristic

abstract: Let X be a noetherian scheme defined over an algebraically closed field of positive characteristic p, and G be a finite group, of order divisible by p, acting on X. We introduce a refinement of the equivariant K-theory of X to take into account the information related to modular representation theory. As an application, in the 1-dimensional case, we generalize a modular Riemann-Roch theorem given by S.Nakajima, extending the link between Galois modules and wild ramification.


title: Adding tails to C*-correspondences

abstract: We describe a method of adding tails to C*-correspondences which generalizes the process used in the study of graph C*-algebras. We show how this technique can be used to extend results for augmented Cuntz-Pimsner algebras to C*-algebras associated to general C*-correspondences, and as an application we prove a gauge-invariant uniqueness theorem for these algebras. We also define a notion of relative graph C*-algebras and show that properties of these C*-algebras can provide insight and motivation for results about relative Cuntz-Pimsner algebras.


title: Determination of the structure of algebraic curvature tensors by means of Young symmetrizers

abstract: For a positive definite fundamental tensor all known examples of Osserman algebraic curvature tensors have a typical structure. They can be produced from a metric tensor and a finite set of skew-symmetric matrices which fulfil Clifford commutation relations. We show by means of Young symmetrizers and a theorem of S. A. Fulling, R. C. King, B. G. Wybourne and C. J. Cummins that every algebraic curvature tensor has a structure which is very similar to that of the above Osserman curvature tensors. We verify our results by means of the Littlewood-Richardson rule and plethysms. For certain symbolic calculations we used the Mathematica packages MathTensor, Ricci and PERMS.


title: Poisson deformations of symplectic quotient singularities

abstract: We establish a connection between smooth symplectic resolutions and symplectic deformations of a (possibly singular) affine Poisson variety. In particular, let V be a finite-dimensional complex symplectic vector space and G\subset Sp(V) a finite subgroup. Our main result says that the so-called Calogero-Moser deformation of the orbifold V/G is, in an appropriate sense, a versal Poisson deformation. That enables us to determine the algebra structure on the rational cohomology H^*(X) of any smooth symplectic resolution X \to V/G (multiplicative McKay correspondence). We prove further that if G is an irreducible Weyl group in GL(h) and V=h+ h^* then no smooth symplectic resolution of V/G exists unless G is of types A,B, or C.


title: Constructing and Deconstructing Group Actions

abstract: We survey some results concerning finite group actions on products of spheres.


title: Small values of the maximum for the integral of fractional Brownian motion

abstract: We consider the integral of fractional Brownian motion (IFBM) and its functionals $\xi_T$ on the intervals $(0,T)$ and $(-T,T)$ of the following types: the maximum $M_T$, the position of the maximum, the occupation time above zero etc. We show how the asymptotics of $P(\xi_T<1)=p_T, T\to \infty$, is related to the Hausdorff dimension of Lagrangian regular points for the inviscid Burgers equation with FBM initial velocity. We produce computational evidence in favor of a power asymptotics for $p_T$. The data do not reject the hypothesis that the exponent $\theta$ of the power law is related to the similarity parameter $H$ of fractional Brownian motion as follows: $\theta =-(1-H)$ for the interval $(-T,T)$ and $\theta =-H(1-H)$ for $(0,T)$. The point 0 is special in that IFBM and its derivative both vanish there.


title: Representations non temperees pour U(3) et conjectures de Bloch-Kato

abstract: We use $p$-adic families of automorphic forms for an unitary group in three variables, containing some non-tempered forms constructed by Rogawski, to prove some cases of the Bloch-Kato conjectures.


title: Existence of Positive Solution of a Class of Semi-linear Sub-elliptic Equation in the Entire Space $H^n$

abstract: In this paper, we study the following problem $$ \{{ll} \Delta_{H^n} u-u+u^p=0 & in H^n u>0& in H^n u(x)\to 0 &\rho(x)\to\infty}. $$ where $1<p < \frac{Q+2}{Q-2}$, Q is the homogeneous dimension of Heisenberg group $H^n$. Our main result is that this problem has at least one positive solution.


title: Identity excluding groups

abstract: We consider the class of groups called identity excluding which has the property that any non-trivial irreducible unitary representation restricted to a dense subgroup does not weakly contain the trivial representation. For adapted and strictly aperiodic probability measures on these groups, it is known that the averages of unitary representations converge strongly. We show that motion group of a totally disconnected nilpotent group and certain class of p-adic algebraic groups which includes gruops whose solvable radical is type R are identity excluding. We also prove the convergence of averages of unitary representations for split solvable algebraic groups, which are not necessarily identity excluding.


title: Krengel-Lin decomposition for probability measures on hypergroups

abstract: A Markov operator $P$ on a $\sigma$-finite measure space $(X, \Sigma, m)$ with invariant measure $m$ is said to have Krengel-Lin decomposition if $L^2 (X) = E_0 \oplus L^2 (X,\Sigma_d)$ where $E_0 = \{f \in L^2 (X) \mid ||P^n (f) || \ra 0 \}$ and $\Sigma_d$ is the deterministic $\sigma $-field of $P$. We consider convolution operators and we show that a measure $\lam$ on a hypergroup has Krengel-Lin decomposition if and only if the sequence $(\check \lam ^n *\lam ^n)$ converges to an idempotent or $\lam$ is scattered. We verify this condition for probabilities on Tortrat groups, on commutative hypergroups and on central hypergroups. We give a counter-example to show that the decomposition is not true for measures on discrete hypergroups which is in contrast to the discrete groups case.


title: On Two Geometric Theta Lifts

abstract: The theta correspondence has been an important tool in studying cycles in locally symmetric spaces of orthogonal type. In this paper, we establish for O(p,2) an adjointness result between Borcherds' singular theta lift and the Kudla-Millson theta lift. We extend this result to arbitrary signature by introducing a new Borcherds lift for O(p,q). On the geometric side, this lift can be interpreted as a differential character in the sense of Cheeger and Simons.


title: Gradual approximation of the domain of attraction by gradual extension of the "embryo" of the transformed optimal Lyapunov function

abstract: In this paper an autonomous analytical system of ordinary differential equations is considered. For an asymptotically stable steady state x0 of the system a gradual approximation of the domain of attraction DA is presented in the case when the matrix of the linearized system in x0 is diagonalizable. This technique is based on the gradual extension of the "embryo" of an analytic function of several complex variables. The analytic function is the transformed of a Lyapunov function whose natural domain of analyticity is the DA and which satisfies a linear non-homogeneous partial differential equation. The equation permits to establish an "embryo" of the transformed function and a first approximation of DA. The "embryo" is used for the determination of a new "embryo" and a new part of the DA. In this way, computing new "embryos" and new domains, the DA is gradually approximated. Numerical examples are given for polynomial systems. For systems considered recently in the literature the results are compared with those obtained with other methods.


title: Focusing of Spherical Nonlinear Pulses in ${\mathbb R}^{1+3}$, III. Sub and Supercritical cases

abstract: We study the validity of geometric optics in $L^\infty$ for nonlinear wave equations in three space dimensions whose solutions, pulse like, focus at a point. If the amplitude of the initial data is subcritical, then no nonlinear effect occurs at leading order. If the amplitude of the initial data is sufficiently big, strong nonlinear effects occur; we study the cases where the equation is either dissipative or accretive. When the equation is dissipative, pulses are absorbed before reaching the focal point. When the equation is accretive, the family of pulses becomes unbounded.


title: Lipschitz spaces and Calderon-Zygmund operators associated to non-doubling measures

abstract: In the setting of $\R^d$ with an $n-$dimensional measure $\mu,$ we give several characterizations of Lipschitz spaces in terms of mean oscillations involving $\mu.$ We also show that Lipschitz spaces are preserved by those Calderon-Zygmund operators $T$ associated to the measure $\mu$ for which T(1) is the Lipschitz class $0.$


title: Modules simples en caracteristique p des algebres de Hecke affines de type A_2

abstract: Soit F un corps local non archimedien de caracteristique residuelle p. On designe par R un corps algebriquement clos de caracteristique p et par Q une cloture algebrique du corps des nombres p-adiques. On classifie les modules simples de dimension finie de la R-algebre de Hecke-Iwahori du groupe lineaire Gl_3(F). Ils sont obtenus par reduction modulo p des modules simples de la Q-algebre de Hecke-Iwahori qui possedent une structure entiere.


title: Maxwell's Equations with Scalar Impedance: Direct and Inverse Problems

abstract: The article deals with electrodynamics in the presence of anisotropic materials having scalar wave impedance. Maxwell's equations written for differential forms over a 3-manifold are analysed. The system is extended to a Dirac type first order elliptic system on the Grassmannian bundle over the manifold. The second part of the article deals with the dynamical inverse boundary value problem of determining the electromagnetic material parameters from boundary measurements. By using the boundary control method, it is proved that the dynamical boundary data determines the electromagnetic travel time metric as well as the scalar wave impedance on the manifold. This invariant result leads also to a complete characterization of the non-uniqueness of the corresponding inverse problem in bounded domains of R^3. AMS-classifications: 35R30, 35L20, 58J45


title: Operator representations of cross product algebras of Podles' quantum spheres

abstract: Hilbert space representations of the cross product *-algebra of the Hopf *-algebra U_q(su_2) and its module *-algebras O(S^2_{qc}) of Podles' spheres are studied. Two classes of representations are described by explicit formulas for the actions of the generators.


title: Distorted Hankel integral operators

abstract: For $\a,\b>0$ and for a locally integrable function (or, more generally, a distribution) $\f$ on $(0,\be)$, we study integral ooperators ${\frak G}^{\a,\b}_\f$ on $L^2(\R_+)$ defined by $\big({\frak G}^{\a,\b}_\f f\big)(x)=\int_{\R_+}\f\big(x^\a+y^\b\big)f(y)dy$. We describe the bounded and compact operators ${\frak G}^{\a,\b}_\f$ and operators ${\frak G}^{\a,\b}_\f$ of Schatten--von Neumann class $\bS_p$. We also study continuity properties of the averaging projection $\Q_{\a,\b}$ onto the operators of the form ${\frak G}^{\a,\b}_\f$. In particular, we show that if $\a\le\b$ and $\b>1$, then ${\frak G}^{\a,\b}_\f$ is bounded on $\bS_p$ if and only if $2\b(\b+1)^{-1}<p<2\b(\b-1)^{-1}$.


title: Duality and separation theorems in idempotent semimodules

abstract: We consider subsemimodules and convex subsets of semimodules over semirings with an idempotent addition. We introduce a nonlinear projection on subsemimodules: the projection of a point is the maximal approximation from below of the point in the subsemimodule. We use this projection to separate a point from a convex set. We also show that the projection minimizes the analogue of Hilbert's projective metric. We develop more generally a theory of dual pairs for idempotent semimodules. We obtain as a corollary duality results between the row and column spaces of matrices with entries in idempotent semirings. We illustrate the results by showing polyhedra and half-spaces over the max-plus semiring.


title: Morse Novikov theory and cohomology with forward supports

abstract: We present a new approach to Morse and Novikov theories, based on the deRham Federer theory of currents, using the finite volume flow technique of Harvey and Lawson. In the Morse case, we construct a noncompact analogue of the Morse complex, relating a Morse function to the cohomology with compact forward supports of the manifold. This complex is then used in Novikov theory, to obtain a geometric realization of the Novikov Complex as a complex of currents and a new characterization of Novikov Homology as cohomology with compact forward supports. Two natural ``backward-forward'' dualities are also established: a Lambda duality over the Novikov Ring and a Topological Vector Space duality over the reals.


title: Non-Archimedean stochastic processes on non-Archimedean manifolds

abstract: Stochastic processes on manifolds over non-Archimedean fields and with transition measures having values in the field $\bf C$ of complex numbers are defined and investigated. The analogs of Markov, Poisson and Wiener processes are studied. For Poisson processes the non-Archimedean analog of the L\`evy theorem is proved. Stochastic antiderivational equations as well as pseudodifferential equations on manifolds are investigated.


title: Equivalences to the triangulation conjecture

abstract: We utilize the obstruction theory of Galewski-Matumoto-Stern to derive equivalent formulations of the Triangulation Conjecture. For example, every closed topological manifold M^n with n > 4 can be simplicially triangulated if and only if the two distinct combinatorial triangulations of RP^5 are simplicially concordant.


title: Regenerating hyperbolic cone structures from Nil

abstract: Let O be a three-dimensional Nil-orbifold, with branching locus a knot Sigma transverse to the Seifert fibration. We prove that O is the limit of hyperbolic cone manifolds with cone angle in (pi-epsilon, pi). We also study the space of Dehn filling parameters of O-Sigma. Surprisingly it is not diffeomorphic to the deformation space constructed from the variety of representations of O-Sigma. As a corollary of this, we find examples of spherical cone manifolds with singular set a knot that are not locally rigid. Those examples have large cone angles.


title: Extremal Trigonometrical and Power Polynomials of Several Variables

abstract: We consider the set of the power non-negative polynomials of several variables and its subset that consists of polynomials which can be represented as a sum of squares. It is shown in the classic work by D.Hilbert that it is a proper subset. Both sets are convex. In our paper we have made an attempt to work out a general approach to the investigation of the extremal elements of these convex sets. We also consider the class of non-negative rational functions. The article is based on the following methods: 1.We investigate non-negative trigonometrical polynomials and then with the help of the Calderon transformation we proceed to the power polynomials. 2.The way of constructing support hyperplanes to the convex sets is given in the paper.


title: Critical region for droplet formation in the two-dimensional Ising model

abstract: We study the formation/dissolution of equilibrium droplets in finite systems at parameters corresponding to phase coexistence. Specifically, we consider the 2D Ising model in volumes of size $L^2$, inverse temperature $\beta>\betac$ and overall magnetization conditioned to take the value $\mstar L^2-2\mstar v_L$, where $\betac^{-1}$ is the critical temperature, $\mstar=\mstar(\beta)$ is the spontaneous magnetization and $v_L$ is a sequence of positive numbers. We find that the critical scaling for droplet formation/dissolution is when $v_L^{3/2} L^{-2}$ tends to a definite limit. Specifically, we identify a dimensionless parameter $\Delta$, proportional to this limit, a non-trivial critical value $\Deltac$ and a function $\lambda_\Delta$ such that the following holds: For $\Delta<\Deltac$, there are no droplets beyond $\log L$ scale, while for $\Delta>\Deltac$, there is a single, Wulff-shaped droplet containing a fraction $\lambda_\Delta\ge\lamc=2/3$ of the magnetization deficit and there are no other droplets beyond the scale of $\log L$. Moreover, $\lambda_\Delta$ and $\Delta$ are related via a universal equation that apparently is independent of the details of the system.

categories: math.PR cond-mat.stat-mech math-ph math.MP physics.chem-ph


title: On the volume of spherical Lambert cube

abstract: The calculation of volumes of polyhedra in the three-dimensional Euclidean, spherical and hyperbolic spaces is very old and difficult problem. In particular, an elementary formula for volume of non-euclidean simplex is still unknown. One of the simplest polyhedra is the Lambert cube Q(\alpha,\beta,\gamma). By definition, Q(\alpha,\beta,\gamma) is a combinatorial cube, with dihedral angles \alpha,\beta and \gamma assigned to the three mutually non-coplanar edges and right angles to the remaining. The hyperbolic volume of Lambert cube was found by Ruth Kellerhals (1989) in terms of the Lobachevsky function \Lambda(x). In the present paper the spherical volume of Q(\alpha,\beta,\gamma) is defined in the terms of the function \delta(\alpha,\theta) which can be considered as a spherical analog of the Lobachevsky function \Delta(\alpha,\theta)=\Lambda(\alpha + \theta) - \Lambda(\alpha - \theta)


title: Volume et courbure totale pour les hypersurfaces de l'espace euclidien

abstract: The paper investigates higher dimensional analogues of Burago's inequality bounding the area of a closed surface by its total curvature. We obtain sufficient conditions for hypersurfaces in 4-space that involve the Ricci curvature. We get semi-local variants of the inequality holding in any dimension that involve domains with non-vanishing Gauss-Kronecker curvature. The paper also contains inequalities of isoperimetric type involving the total curvature, as well as a "reverse" isoperimetric inequality for spaces with constant curvature.


title: Decomposition spectrale et representations speciales d'un groupe reductif p-adique

abstract: Let G be a reductive connected p-adic group. With help of the Fourier inversion formula used in [Une formule de Plancherel pour l'algebre de Hecke d'un groupe reductif p-adique - V. Heiermann, Comm. Math. Helv. 76, 388-415, 2001] we give a spectral decomposition on G. In particular we deduce from it essentially that a cuspidal representation of a Levi subgroup M is in the cuspidal support of a square integrable representation of G, if and only if it is a pole of Harish-Chandra's \mu-function of order equal to the parabolic rank of M. This result has been conjectured by A. Silberger in 1978. In more explicit terms, we show that this condition is necessary and that its sufficiency is equivalent to a combinatorical property of Harish-Chandra's \mu-function which appears to be a consequence of a result of E. Opdam. We get also identities between some linear combinations of matrix coeffieicients. These identities contain informations on the formel degree of square integrable representations and on their position in the induced representation.


title: Explicit unobstructed primes for modular deformation problems of squarefree level

abstract: Let f be a newform of weight at least 2 and squarefree level with Fourier coefficients in a number field K. We give explicit bounds, depending on congruences of f with other newforms, on the set of primes lambda of K for which the deformation problem associated to the mod lambda Galois representation of f is obstructed. We include some explicit examples.


title: The Floyd-Warshall Algorithm, the AP and the TSP III

abstract: We clarify the exposition of Phases 2 and 3a in "The Floyd-Warshall Algorithm, the AP and the TSP". We also improve and simplify theorem 3.6 . In line with clarifying the exposition, we change the matrices in examples 3.4 and 3.5 of "The Floyd-Warshall Algorithm, the AP and the TSP II".


title: Noncommutative two-tori with real multiplication as noncommutative projective varieties

abstract: We define analogues of homogeneous coordinate algebras for noncommutative two-tori with real multiplication. We prove that the categories of standard holomorphic vector bundles on such noncommutative tori can be described in terms of graded modules over appropriate homogeneous coordinate algebras. We give a criterion for such an algebra to be Koszul and prove that the Koszul dual algebra also comes from some noncommutative two-torus with real multiplication. These results are based on the techniques of math.QA/0211262 allowing to interpret all the data in terms of autoequivalences of the derived categories of coherent sheaves on elliptic curves.


title: Quantized control via locational optimization

abstract: This paper studies state quantization schemes for feedback stabilization of control systems with limited information. The focus is on designing the least destabilizing quantizer subject to a given information constraint. We explore several ways of measuring the destabilizing effect of a quantizer on the closed-loop system, including (but not limited to) the worst-case quantization error. In each case, we show how quantizer design can be naturally reduced to a version of the so-called multicenter problem from locational optimization. Algorithms for solving such problems are discussed. In particular, an iterative solver is developed for a novel weighted multicenter problem which most accurately represents the least destabilizing quantizer design.


abstract: The connection between Riemann surfaces with boundaries and the theory of vertex operator algebras is discussed in the framework of conformal field theories defined by Kontsevich and Segal and in the framework of their generalizations in open string theory and boundary conformal field theory. We present some results, problems, conjectures, their conceptual implications and meanings in a program to construct these theories from representations of vertex operator algebras.


title: Why Polyhedra Matter in Non-Linear Equation Solving

abstract: We give an elementary introduction to some recent polyhedral techniques for understanding and solving systems of multivariate polynomial equations. We provide numerous concrete examples and illustrations, and assume no background in algebraic geometry or convex geometry. Highlights include the following: (1) A completely self-contained proof of an extension of Bernstein's Theorem. Our extension relates volumes of polytopes with the number of connected components of the complex zero set of a polynomial system, and allows any number of polynomials and/or variables. (2) A near optimal complexity bound for computing mixed area -- a quantity intimately related to counting complex roots in the plane.


title: A classical approach to TQFT's

abstract: We present a general framework for TQFT and related constructions using the language of monoidal categories. We construct a topological category C and an algebraic category D, both monoidal, and a TQFT functor is then defined as a certain type of monoidal functor from C to D. In contrast with the cobordism approach, this formulation of TQFT is closer in spirit to the classical functors of algebraic topology, like homology. The fundamental operation of gluing is incorporated at the level of the morphisms in the topological category through the notion of a gluing morphism, which we define. It allows not only the gluing together of two separate objects, but also the self-gluing of a single object to be treated in the same fashion. As an example of our framework we describe TQFT's for oriented 2D-manifolds, and classify a family of them in terms of a pair of tensors satisfying some relations.


title: On odd Laplace operators. II

abstract: We analyze geometry of the second order differential operators, having in mind applications to Batalin--Vilkovisky formalism in quantum field theory. As we show, an exhaustive picture can be obtained by considering pencils of differential operators acting on densities of all weights simultaneously. The algebra of densities, which we introduce here, has a natural invariant scalar product. Using it, we prove that there is a one-to-one correspondence between second-order operators in this algebra and the corresponding brackets. A bracket on densities incorporates a bracket on functions, an ``upper connection'' in the bundle of volume forms, and a term similar to the ``Brans--Dicke field'' of the Kaluza--Klein formalism. These results are valid for even operators on a usual manifold as well as for odd operators on a supermanifold. For an odd operator $\Delta$ we show that conditions on the order of the operator $\Delta^2$ give an hierarchy of properties such as flatness of the upper connection and the Batalin--Vilkovisky master equation. In particular, we obtain a complete description of generating operators for an arbitrary odd Poisson bracket.


title: The combinatorics of splittability

abstract: Marion Scheepers, in his studies of the combinatorics of open covers, introduced the property Split(U,V) asserting that a cover of type U can be split into two covers of type V. In the first part of this paper we give an almost complete classification of all properties of this form where U and V are significant families of covers which appear in the literature (namely, large covers, omega-covers, tau-covers, and gamma-covers), using combinatorial characterizations of these properties in terms related to ultrafilters on N. In the second part of the paper we consider the questions whether, given U and V, the property Split(U,V) is preserved under taking finite unions, arbitrary subsets, powers or products. Several interesting problems remain open.


title: Macdonald polynomials and algebraic integrability

abstract: We construct explicitly non-polynomial eigenfunctions of the difference operators by Macdonald in case $t=q^k$, $k\in{\mathbb Z}$. This leads to a new, more elementary proof of several Macdonald conjectures, first proved by Cherednik. We also establish the algebraic integrability of Macdonald operators at $t=q^k$ ($k\in {\mathbb Z}$), generalizing the result of Etingof and Styrkas. Our approach works uniformly for all root systems including $BC_n$ case and related Koornwinder polynomials. Moreover, we apply it for a certain deformation of $A_n$ root system where the previously known methods do not work.


title: Indecomposable K_1 and the Hodge-D-conjecture for K3 and Abelian Surfaces

abstract: We prove the Hodge-D-conjecture for general K3 and Abelian surfaces. Some consequences of this result, e.g., on the levels of higher Chow groups of products of elliptic curves, are discussed.


title: Noether-Lefschetz for K_1 of a Surface, Revisited

abstract: Let Z be a general surface in P^3 of degree at least 5. Using a Lefschetz pencil argument, we give an elementary new proof of the vanishing of a regulator on K_1(Z).


title: On A-twisted moduli stack for curves from Witten's gauged linear sigma models

abstract: Witten's gauged linear sigma model [Wi1] is one of the universal frameworks or structures that lie behind stringy dualities. Its A-twisted moduli space at genus 0 case has been used in the Mirror Principle [L-L-Y] that relates Gromov-Witten invariants and mirror symmetry computations. In this paper the A-twisted moduli stack for higher genus curves is defined and systematically studied. It is proved that such a moduli stack is an Artin stack. For genus 0, it has the A-twisted moduli space of [M-P] as the coarse moduli space. The detailed proof of the regularity of the collapsing morphism by Jun Li in [L-L-Y: I and II] can be viewed as a natural morphism from the moduli stack of genus 0 stable maps to the A-twisted moduli stack at genus 0. Due to the technical demand of stacks to physicists and the conceptual demand of supersymmetry to mathematicians, a brief introduction of each topic that is most relevant to the main contents of this paper is given in the beginning and the appendix respectively. Themes for further study are listed in the end.


title: Solitons, Boundaries, and Quantum Affine Algebras

abstract: This is a condensed write-up of a talk delivered at the Ramanujan International Symposium on Kac-Moody Lie algebras and Applications in Chennai in January 2002. The talk introduces special coideal subalgebras of quantum affine algebras which appear in physics when solitons are restricted to live on a half-line by an integrable boundary condition. We review how the quantum affine symmetry determines the soliton S-matrix in affine Toda field theory and then go on to use the unbroken coideal subalgebra on the half-line to determine the soliton reflection matrix. This gives a representation theoretic method for the solution of the reflection equation (boundary Yang-Baxter equation) by reducing it to a linear equation.


title: Quantum coadjoint orbits of GL(n) and generalized Verma modules

abstract: In our previous paper, we constructed an explicit GL(n)-equivariant quantization of the Kirillov--Kostant-Souriau bracket on a semisimple coadjoint orbit. In the present paper, we realize that quantization as a subalgebra of endomorphisms of a generalized Verma module. As a corollary, we obtain an explicit description of the annihilators of generalized Verma modules over U(gl(n)). As an application, we construct real forms of the quantum orbits and classify finite dimensional representations. We compute the non-commutative Connes index for basic homogenous vector bundles over the quantum orbits.


title: Torus actions and automorphism groups of singularities of integrable dynamical systems

abstract: We show that in the neighborhood of each ``finite type'' singular orbit of a real analytic integrable dynamical system (hamiltonian or not) there is a real analytic torus action which preserves the system and which is transitive on this orbit. We also show that the local automorphism group of the system near such an orbit is


title: Decoupling of Tensor factors in Cross Product and Braided Tensor Product Algebras

abstract: We briefly review and illustrate our procedure to 'decouple' by transformation of generators: either a Hopf algebra $H$ from a $H$-module algebra $A_1$ in their cross-product $A_1 >\triangleleft H$; or two (or more) $H$-module algebras $A_1,A_2$. These transformations are based on the existence of an algebra map $A_1 >\triangleleft H\to A_1$.


title: The stable moduli space of Riemann surfaces: Mumford's conjecture

abstract: The main result of this paper amounts to a complete evaluation of the integral cohomological structure of the stable mapping class group. In particular it verifies the conjecture of D.Mumford about the rational cohomology of the stable mapping class group.


title: A Resistance Bound via an Isoperimetric Inequality

abstract: An isoperimetric upper bound on the resistance is given. As a corollary we resolve two problems, regarding mean commute time on finite graphs and resistance on percolation clusters. Further conjectures are presented.


title: Boundedness properties of fractional integral operators associated to non--doubling measures

abstract: The main purpose of this paper is to investigate the behaviour of fractional integral operators associated to a measure on a metric space satisfying just a mild growth condition, namely that the measure of each ball is controlled by a fixed power of its radius. This allows, in particular, non--doubling measures. It turns out that this condition is enough to build up a theory that contains the classical results based upon the Lebesgue measure on euclidean space and their known extensions for doubling measures. We start by analyzing the images of the Lebesgue spaces associated to the measure. The Lipschitz spaces, defined in terms of the metric, play a basic role too. For a euclidean space equipped with one of these measures, we also consider the so-called `` regular\rq\rq $\bmo$ space introduced by X. Tolsa. We show that it contains the image of a Lebesgue space in the appropriate limit case and also that the image of the space `` regular\rq\rq $\bmo$ is contained in the adequate Lipschitz space.


title: On complex and noncommutative tori

abstract: The "noncommutative geometry" of complex algebraic curves is studied. As first step, we clarify a morphism between elliptic curves, or complex tori, and C*-algebras T_t={u,v | vu=exp(2\pi it)uv}, or noncommutative tori. The main result says that under the morphism isomorphic elliptic curves map to the Morita equivalent noncommutative tori. Our approach is based on the rigidity of the length spectra of Riemann surfaces.


title: A cohomological construction of quantization functors of Lie bialgebras

abstract: We propose a variant to the Etingof-Kazhdan construction of quantization functors. We construct the twistor J_\Phi associated to an associator \Phi using cohomological techniques. We then introduce a criterion ensuring that the ``left Hopf algebra'' of a quasitriangular QUE algebra is flat. We prove that this criterion is satisfied at the universal level. This provides a construction of quantization functors, equivalent to the Etingof-Kazhdan construction.


title: Hochschild Cohomology of Algebras in Monoidal Categories and Splitting Morphisms of Bialgebras

abstract: The main goal of this paper is to investigate the structure of Hopf algebras with the property that either its Jacobson radical is a Hopf ideal or its coradical is a subalgebra. In order to do that we define the Hochschild cohomology of an algebra in an abelian monoidal category. Then we characterize those algebras which have dimension less than or equal to 1 with respect to Hochschild cohomology. Now let us consider a Hopf algebra A such that its Jacobson radical J is a nilpotent Hopf ideal and H:=A/J is a semisimple algebra. By using our homological results, we prove that the canonical projection of A on H has a section which is an H-colinear algebra map. Furthermore, if H is cosemisimple too, then we can choose this section to be an (H,H)-bicolinear algebra morphism. This fact allows us to describe A as a `generalized bosonization' of a certain algebra R in the category of Yetter-Drinfeld modules over H. As an application we give a categorical proof of Radford's result about Hopf algebras with projections. We also consider the dual situation. In this case, many results that we obtain hold true for a large enough class of H-module coalgebras, where H is a cosemisimple Hopf algebra.


title: Cycle spaces of G-orbits in $G^\mathbb C$-flag manifolds

abstract: It is shown that the cycle space of an arbitrary orbit of a non-Hermitian real form G in a flag manifold $Z=G^\mathbb C/Q$ of its complexification is naturally equivalent to a certain universal domain which depends only on G. This makes use of complex geometric methods which were recently developed for the purpose of handling the case of open orbits together with a better understanding of the connection to Schubert varieties and the related complex slices along lower-dimensional Gorbits.


title: Bijections for refined restricted permutations

abstract: We present a bijection between 321- and 132-avoiding permutations that preserves the number of fixed points and the number of excedances. This gives a simple combinatorial proof of recent results of Robertson, Saracino and Zeilberger, and the first author. We also show that our bijection preserves additional statistics, which extends the previous results.


abstract: THEOREM. For every prime $p$ and each $n=2, 3, ... \infty$, there is an action of $G=\prod_{i=1}^{\infty}(Z/ pZ)$ on a two-dimensional compact metric space $X$ with $n$-dimensional orbit space. This theorem was proved in [DW: A.N. Dranishnikov and J.E. West, Compact group actions that raise dimension to infinity, Topology and its Applications 80 (1997), 101-114] with an error in one of the lemmas (Lemma 15). This paper presents a corrected version of Lemma 15 and it is identical with [DW] in the rest.


title: Segal topoi and stacks over Segal categories

abstract: In math.AG/0207028 we began the study of higher sheaf theory (i.e. stacks theory) on higher categories endowed with a suitable notion of topology: precisely, we defined the notions of S-site and of model site, and the associated categories of stacks on them. This led us to study a notion of \textit{model topos} (orginally due to C. Rezk), a model category version of the notion of Grothendieck topos. In this paper we treat the analogous theory starting from (1-)Segal categories in place of S-categories and model categories. We introduce notions of Segal topologies, Segal sites and stacks over them. We define an abstract notion of Segal topos and relate it with Segal categories of stacks over Segal sites. We compare the notions of Segal topoi and of model topoi, showing that the two theories are equivalent in some sense. However, the existence of a nice Segal category of morphisms between Segal categories allows us to improve the treatment of topoi in this context. In particular we construct the 2-Segal category of Segal topoi and geometric morphisms, and we provide a Giraud-like statement characterizing Segal topoi among Segal categories. As an example of applications, we show how to reconstruct a topological space up to homotopy from the Segal topos of locally constant stacks on it, thus extending the main theorem of Toen, "Vers une interpretation Galoisienne de la theorie de l'homotopie" (to appear in Cahiers de top. et geom. diff. cat.) to the case of un-based spaces. We also give some hints of how to define homotopy types of Segal sites: this approach gives a new point of view and some improvements on the \'etale homotopy theory of schemes, and more generally on the theory of homotopy types of Grothendieck sites as defined by Artin and Mazur.


title: Operator semi-selfdecomposable measures and related nested subclasses of measures on vector spaces

abstract: $T$-semi-selfdecomposability and subclasses $L_m(b, Q)$ and $\tilde L_m(b, Q)$ of measures on complete separable metric vector spaces are introduced and basic properties are proved. In particular, we show that $\mu$ is $T$-semi-selfdecomposable if and only if $\mu = T(\mu) \nu$ where $\nu$ is infinitely divisible and $\mu$ is operator selfdecomposable if and only if $\mu \in L_0(b, Q)$ for all $0< b < 1$.


title: Left 3-Engel elements in groups

abstract: In this paper we study left 3-Engel elements in groups. In particular, we prove that for any prime $p$ and any left 3-Engel element $x$ of finite $p$-power order in a group $G$, $x^p$ is in the Baer radical of $G$. Also it is proved that $<x,y>$ is nilpotent of class 4 for every two left 3-Engel elements in a group $G$.


title: Groupes satisfaisant une condition nilpotence

abstract: In this Note we study the groups $G$ satisfying condition $(\mathcal{N},n)$, that is, every subset of $G$ with $n+1$ elements contains a pair $\{x,y\}$ such that the subgroup $<x,y>$ is nilpotent.


title: Lectures on meromorphic flat connections

abstract: These notes form an extended version of a minicourse delivered in Universite de Montreal (June 2002) within the framework of a NATO workshop ``Normal Forms, Bifurcations and Finiteness Problems in Differential Equations''. The focus is on Poincare--Dulac theory of ``Fuchsian'' (logarithmic) singularities of integrable systems, with applications to problems on zeros of Abelian integrals in view.


title: A Mad Q-set

abstract: A MAD (maximal almost disjoint) family is an infinite subset A of the infinite subsets of {0,1,2,..} such that any two elements of A intersect in a finite set and every infinite subset of {0.1.2...} meets some element of $\aa$ in an infinite set. A Q-set is an uncountable set of reals such that every subset is a relative G-delta set. It is shown that it is relatively consistent with ZFC that there exists a MAD family which is also a Q-set in the topology in inherits a subset of the Power set of {0,1,2,..}, ie the Cantor set.


title: On lambda'-sets

abstract: A subset X of the Cantor space, 2^\omega, is a lambda-prime-set iff for every countable subset Y of the Cantor space Y is relatively G-delta in X union Y. In this paper we prove two forcing results about lambda-prime-sets. First we show that it is consistent that every lambda-prime-set is a gamma-set. Secondly we show that is independent whether or not every dagger-lambda-set is a lambda-prime-set.


title: Spectral invariants and length minimizing property of Hamiltonian paths

abstract: In this paper we provide a criterion for the quasi-autonomous Hamiltonian path (``Hofer's geodesic'') on arbitrary closed symplectic manifolds $(M,\omega)$ to be length minimizing in its homotopy class in terms of the spectral invariants $\rho(G;1)$ that the author has recently constructed (math.SG/0206092). As an application, we prove that any autonomous Hamiltonian path on arbitrary closed symplectic manifolds is length minimizing in {\it its homotopy class} with fixed ends, when it has no contractible periodic orbits {\it of period one}, has a maximum and a minimum point which are generically under-twisted and all of its critical points are nondegenerate in the Floer theoretic sense. This is a sequel to the papers math.SG/0104243 and math.SG/0206092.


title: Scaling limit of loop erased random walk - a naive approach

abstract: We give an alternative proof of the existence of the scaling limit of loop erased random walk which does not use Lowner's differential equation.


title: Chains of integrally closed ideals

abstract: Let $(A,\frak m)$ be an excellent normal local ring with algebraically closed residue class field. Given integrally closed $\frak m$-primary ideals $I\supset J$, we show that there is a composition series between $I$ and $J$, by integrally closed ideals only. Also we show that any given integrally closed $\fm$-primary ideal $I$, the family of integrally closed ideals $J\subset I, l_A(I/J)=1$ forms an algebraic variety with dimension $\dim A -1$.


title: When does the subadditivity theorem for multiplier ideals hold?

abstract: Demailly, Ein and Lazarsfeld \cite{DEL} proved the subadditivity theorem for multiplier ideals, which states the multiplier ideal of the product of ideals is contained in the product of the individual multiplier ideals, on non-singular varieties. We prove that, in two-dimensional case, the subadditivity theorem holds on log-terminal singularities. However, in higher dimensional case, we have several counter-examples. We consider the subadditivity theorem for monomial ideals on toric rings, and construct a counter-example on a three-dimensional toric ring.


title: A brief introduction to Gromov's notion of hyperbolic groups

abstract: A basic point about hyperbolic groups is that they have "spaces at infinity" which are spaces of homogeneous type in the sense of Coifman and Weiss, and with a lot of self-similarity coming from the group. This short survey deals with some of the notions involved.


title: The Dirichlet Problem on Quadratic Surfaces

abstract: We give a fast, exact algorithm for solving Dirichlet problems with polynomial boundary functions on quadratic surfaces in R^n such as ellipsoids, elliptic cylinders, and paraboloids. To produce this algorithm, first we show that every polynomial in R^n can be uniquely written as the sum of a harmonic function and a polynomial multiple of a quadratic function, thus extending a theorem of Ernst Fischer. We then use this decomposition to reduce the Dirichlet problem to a manageable system of linear equations. The algorithm requires differentiation of the boundary function, but no integration. We also show that the polynomial solution produced by our algorithm is the unique polynomial solution, even on unbounded domains such as elliptic cylinders and paraboloids.


title: Packing patterns into words

abstract: In this article we generalize packing density problems from permutations to patterns with repeated letters and generalized patterns. We are able to find the packing density for some classes of patterns and several other short patterns.


title: Average norms of polynomials

abstract: In this paper we study the average $\NL_{2\alpha}$-norm over $T$-polynomials, where $\alpha$ is a positive integer. More precisely, we present an explicit formula for the average $\NL_{2\alpha}$-norm over all the polynomials of degree exactly $n$ with coefficients in $T$, where $T$ is a finite set of complex numbers, $\alpha$ is a positive integer, and $n\geq0$. In particular, we give a complete answer for the cases of Littlewood polynomials and polynomials of a given height. As a consequence, we derive all the previously known results for this kind of problems, as well as many new results.


title: Stable ergodicity of certain linear automorphisms of the torus

abstract: We prove that some ergodic linear automorphisms of $\T^N$ are stably ergodic, i.e. any small perturbation remains ergodic. The class of linear automorphisms we deal with includes all non-Anosov ergodic automorphisms when N=4 and so, as a corollary, we get that every ergodic linear automorphism of $\T^N$ is stably ergodic when $N\leq 5$.


title: A practical spectral method for hyperbolic conservation laws

abstract: A class of high-order lowpass filters, the discrete singular convolution (DSC) filters, is utilized to facilitate the Fourier pseudospectral method for the solution of hyperbolic conservation law systems. The DSC filters are implemented directly in the Fourier domain (i.e., windowed Fourier pseudospectral method), while a physical domain algorithm is also given to enable the treatment of some special boundary conditions. By adjusting the effective wavenumber region of the DSC filter, the Gibbs oscillations can be removed effectively while the high resolution feature of the spectral method can be retained. The utility and effectiveness of the present approach is validated by extensive numerical experiments.


title: Fermionic formulas for (k, 3)-admissible configurations

abstract: We obtain the fermionic formulas for the characters of (k, r)-admissible configurations in the case of r=2 and r=3. This combinatorial object appears as a label of a basis of certain subspace $W(\Lambda)$ of level-$k$ integrable highest weight module of $\hat{sl}_{r}$. The dual space of $W(\Lambda)$ is embedded into the space of symmetric polynomials. We introduce a filtration on this space and determine the components of the associated graded space explicitly by using vertex operators. This implies a fermionic formula for the character of $W(\Lambda)$.


title: Particle content of the (k,3)-configurations

abstract: For all $k$, we construct a bijection between the set of sequences of non-negative integers ${\bf a}=(a_i)_{i\in{\bf Z}_{\geq0}}$ satisfying $a_i+a_{i+1}+a_{i+2}\leq k$ and the set of rigged partitions $(\lambda,\rho)$. Here $\lambda=(\lambda_1,...,\lambda_n)$ is a partition satisfying $k\geq\lambda_1\geq...\geq\lambda_n\geq1$ and $\rho=(\rho_1,...,\rho_n)\in{\bf Z}_{\geq0}^n$ is such that $\rho_j\geq\rho_{j+1}$ if $\lambda_j=\lambda_{j+1}$. One can think of $\lambda$ as the particle content of the configuration ${\bf a}$ and $\rho_j$ as the energy level of the $j$-th particle, which has the weight $\lambda_j$. The total energy $\sum_iia_i$ is written as the sum of the two-body interaction term $\sum_{j<j'}A_{\lambda_j,\lambda_{j'}}$ and the free part $\sum_j\rho_j$. The bijection implies a fermionic formula for the one-dimensional configuration sums $\sum_{\bf a}q^{\sum_iia_i}$. We also derive the polynomial identities which describe the configuration sums corresponding to the configurations with prescribed values for $a_0$ and $a_1$, and such that $a_i=0$ for all $i>N$.


title: Morimoto's Conjecture for m-small knots

abstract: Let $X$ be the exterior of connected sum of knots and $X_i$ the exteriors of the individual knots. In \cite{morimoto1} Morimoto conjectured (originally for $n=2$) that $g(X) < \sigma_{i=1}^n g(X_i)$ if and only if there exists a so-called \em primitive meridian \em in the exterior of the connected sum of a proper subset of the knots. For m-small knots we prove this conjecture and bound the possible degeneration of the Heegaard genus (this bound was previously achieved by Morimoto under a weak assumption \cite{morimoto2}): $$\sigma_{i=1}^n g(X_i) - (n-1) \leq g(X) \leq \sigma_{i=1}^n g(X_i).$$


title: Asymptotically efficient estimation of linear functionals in inverse regression models

abstract: In this paper we will discuss a procedure to improve the usual estimator of a linear functional of the unknown regression function in inverse nonparametric regression models. In Klaassen, Lee, and Ruymgaart (2001) it has been proved that this traditional estimator is not asymptotically efficient (in the sense of the H\'{a}jek - Le Cam convolution theorem) except, possibly, when the error distribution is normal. Since this estimator, however, is still root-n consistent a procedure in Bickel, Klaassen, Ritov, and Wellner (1993) applies to construct a modification which is asymptotically efficient. A self-contained proof of the asymptotic efficiency is included.


title: 4-valent plane graphs with 2-, 3- and 4-gonal faces

abstract: Call {\em i-hedrite} any 4-valent n-vertex plane graph, whose faces are 2-, 3- and 4-gons only and $p_2+p_3=i$. The edges of an i-hedrite, as of any Eulerian plane graph, are partitioned by its {\em central circuits}, i.e. those, which are obtained by starting with an edge and continuing at each vertex by the edge opposite the entering one. So, any i-hedrite is a projection of an alternating link, whose components correspond to its central circuits. Call an i-hedrite {\em irreducible}, if it has no {\em rail-road}, i.e. a circuit of 4-gonal faces, in which every 4-gon is adjacent to two of its neighbors on opposite edges. We present the list of all i-hedrites with at most 15 vertices. Examples of other results: (i) All i-hedrites, which are not 3-connected, are identified. (ii) Any irreducible i-hedrite has at most i-2 central circuits. (iii) All i-hedrites without self-intersecting central circuits are listed. (iv) All symmetry group of i-hedrites are listed.


title: Zigzag Structure of Simple Two-faced Polyhedra

abstract: A zigzag in a plane graph is a circuit of edges, such that any two, but no three, consecutive edges belong to the same face. A railroad in a plane graph is a circuit of hexagonal faces, such that any hexagon is adjacent to its neighbors on opposite edges. A graph without a railroad is called tight. We consider the zigzag and railroad structures of general 3-valent plane graph and, especially, of simple two-faced polyhedra, i.e., 3-valent 3-polytopes with only $a$-gonal and $b$-gonal faces, where $3 \le a < b \le 6$; the main cases are $(a,b)=(3,6)$, $(4,6)$ and $(5,6)$ (the fullerenes). We completely describe the zigzag structure for the case $(a,b)$=$(3,6)$. For the case $(a,b)$=$(4,6)$ we describe symmetry groups, classify all tight graphs with simple zigzags and give the upper bound 9 for the number of zigzags in general tight graphs. For the remaining case $(a,b)$=$(5,6)$ we give a construction realizing a prescribed zigzag structure.


title: The six-dimensional Delaunay polytopes

abstract: Given a lattice $L$, a full dimensional polytope $P$ is called a {\em Delaunay polytope} if the set of its vertices is $S\cap L$ with $S$ being an {\em empty sphere} of the lattice. Extending our previous work \cite{DD-hyp} on the {\em hypermetric cone} $HYP_7$, we classify the six-dimensional Delaunay polytopes according to their {\em combinatorial type}. The list of 6241 combinatorial types is obtained by a study of the set of faces of the polyhedral cone $HYP_7$.


title: Laplacians in Odd Symplectic Geometry

abstract: We consider odd Laplace operators arising in odd symplectic geometry. Approach based on semidensities (densities of weight 1/2) is developed. The role of semidensities in the Batalin--Vilkovisky formalism is explained. In particular, we study the relations between semidensities on an odd symplectic supermanifold and differential forms on a purely even Lagrangian submanifold. We establish a criterion of ``normality'' of a volume form on an odd symplectic supermanifold in terms of the canonical odd Laplacian acting on semidensities.


title: Hyperideal polyhedra in hyperbolic manifolds

abstract: Let $(M, \dr M)$ be a 3-manifold with incompressible boundary that admits a convex co-compact hyperbolic metric. We consider the hyperbolic metrics on $M$ such that $\dr M$ looks locally like a hyperideal polyhedron, and we characterize the possible dihedral angles. We find as special cases the results of Bao and Bonahon on hyperideal polyhedra, and those of Rousset on fuchsian hyperideal polyhedra. Our results can also be stated in terms of circle configurations on $\dr M$, they provide an extension of the Koebe theorem on circle packings. The proof uses some elementary properties of the hyperbolic volume, in particular the Schl\"afli formula and the fact that the volume of (truncated) hyperideal simplices is a concave function of the dihedral angles.


title: Non-isotopic Symplectic Tori in the Same Homology Class

abstract: For any pair of integers $n\geq 1$ and $q\geq 2$, we construct an infinite family of mutually non-isotopic symplectic tori representing the homology class $q[F]$ of an elliptic surface E(n), where $[F]$ is the homology class of the fiber. We also show how such families can be non-isotopically and symplectically embedded into a more general class of symplectic 4-manifolds.


title: Multistability in Monotone I/O Systems, Preliminary Report

abstract: We extend the setup in our previous paper to deal with the case in which more than one steady state may exist in feedback configurations. This provides a foundation for the analysis of multi-stability and hysteresis behaviour in high dimensional feedback systems.


title: Closed string operators in topology leading to Lie bialgebras and higher string algebra

abstract: This paper explains the conjectured algebraic duality between genus zero Gromov-Witten theory and genus zero "Closed String topology". This duality in another perspective is discussed on page 87 of the book "Frobenius manifold, quantum cohomology, and moduli spaces" (by Yuri Manin). This paper also discusses Fulton MacPherson strata.


title: Closed subspaces which are attractors for representations of the Cuntz algebras

abstract: We analyze the structure of co-invariant subspaces for representations of the Cuntz algebras O_N for N = 2,3,..., N < infinity, with special attention to the representations which are associated to orthonormal and tight-frame wavelets in L^2(R) corresponding to scale number N.


title: The Berezin Transform on the Toeplitz Algebra

abstract: This paper studies the boundary behavior of the Berezin transform on the C*-algebra generated by the analytic Toeplitz operators on the Bergman space.


title: From 2D Toda hierarchy to conformal map for domains of Riemann sphere

abstract: In recent works [hep-th/9909147, hep-th/0005259] was found a wonderful correlation between integrable systems and meromorphic functions. They reduce a problem of effictivisation of Riemann theorem about conformal maps to calculation of a string solution of dispersionless limit of the 2D Toda hierarchy. In [math.CV/0103136] was found a recurrent formulas for coeffciens of Taylor series of the string solution. This gives, in particular, a method for calculation of the univalent conformal map from the until disk to an arbitrary domain, described by its harmonic moments. In the present paper we investigate some properties of these formulas. In particular, we find a sufficient condition for convergence of the Taylor series for the string solution of dispersionless limit of 2D Toda hierarchy.


title: Bicanonical and adjoint linear systems on surfaces of general type

abstract: This note contains a new proof of a theorem of Gang Xiao saying that the bicanonical map of a surface S of general type is generically finite if and only if the second plurigenus of S is strictly larger than 2. Such properties are also studied for adjoint linear systems |K_S+L|, where L is any divisor with at least 2 linearly independent sections.


title: A simple proof of a theorem on (2n)-weak amenability

abstract: A simple proof of (2n)-weak amenability of the triangular Banach algebra T= [(A A) (0 A)] is given where A is a unital C*-algebra.


title: Liouville properties of plurisubharmonic functions

abstract: We prove a Liouville theorem for the plurisubharmonic functions on complete Kaelher manifolds. As the applications, we prove a splitting theorem for complete Kaehler manifolds with nonnegative biscetional curvature in terms of the linear growth harmonic functions and a optomal gap theorem for such manifolds.


title: Finiteness properties of soluble arithmetic groups over global function fields

abstract: Let G be a Chevalley group scheme and B<=G a Borel subgroup scheme, both defined over Z. Let K be a global function field, S be a finite non-empty set of places over K, and O_S be the corresponding S-arithmetic ring. Then, the S-arithmetic group B(O_S) is of type F_{|S|-1} but not of type FP_{|S|}. Moreover one can derive lower and upper bounds for the geometric invariants \Sigma^m(B(O_S)). These are sharp if G has rank 1. For higher ranks, the estimates imply that normal subgroups of B(O_S) with abelian quotients, generically, satisfy strong finiteness conditions.


title: Finiteness Properties of S-Arithmetic Groups - a Survey

abstract: We give an overview about finiteness properties of soluble S-arithmetic groups. Both, the number field case and the function field case are covered. The main result is: If B is a Borel subgroup in a Chevalley group and R is an S-arithmetic ring, then the group B(R) has finiteness length |S|-1 in the function field case, and infinite finiteness length in the number field case.


title: Disintegration of cylindrical measures

abstract: We show that the existence of disintegration for cylindrical measures follows from a general disintegration theorem for countably additive measures.


title: What is a Hilbert C*-module?

abstract: In this paper we view some fundamentals of the theory of Hilbert C*-modules and examine some ways in which Hilbert C*-modules differ from Hilbert spaces.


title: A non radical based approach to study of associative algebras

abstract: We study pairs of associative algebras and linear functionals. New results together with corrected proofs for previously published material are presented. In particular, we prove the identity ind Mat(n) (#) A=n * ind A$ for finite-dimensional unital associative algebra A with index 1. [ Symbol (#) denotes tensor product ]


title: From quantum affine Kac-Moody algebras to Drinfeldians and Yangians

abstract: A general scheme of construction of Drinfeldians and Yangians from quantum non-twisted affine Kac-Moody algebras is presented. Explicit description of Drinfeldians and Yangians for all Lie algebras of the classical series A, B, C, D are given in terms of a Cavalley basis.


title: About rational-trigonometric deformation

abstract: We consider a rational-trigonometric deformation in context of rational and trigonometric deformations. The simplest examples of these deformations are presented in different fields of mathematics. Rational-trigonometric differential Knizhnik-Zamolodchikov and dynamical equations are introduced.


title: Geometries and Symmetries of Soliton equations and Integrable Elliptic equations

abstract: We give a review of the systematic construction of hierarchies of soliton flows and integrable elliptic equations associated to a complex semi-simple Lie algebra and finite order automorphisms. For example, the non-linear Schr\"odinger equation, the n-wave equation, and the sigma-model are soliton flows; and the equation for harmonic maps from the plane to a compact Lie group, for primitive maps from the plane to a $k$-symmetric space, and constant mean curvature surfaces and isothermic surfaces in space forms are integrable elliptic systems. We also give a survey of (i) construction of solutions using loop group factorizations, (ii) PDEs in differential geometry that are soliton equations or elliptic integrable systems, (iii) similarities and differences of soliton equations and integrable elliptic systems.


title: The order of monochromatic subgraphs with a given minimum degree

abstract: Let $G$ be a graph. For a given positive integer $d$, let $f_G(d)$ denote the largest integer $t$ such that in every coloring of the edges of $G$ with two colors there is a monochromatic subgraph with minimum degree at least $d$ and order at least $t$. For $n > k > d$ let $f(n,k,d)$ denote the minimum of $f_G(d)$ where $G$ ranges over all graphs with $n$ vertices and minimum degree at least $k$. In this paper we establish $f(n,k,d)$ whenever $k$ or $n-k$ are fixed, and $n$ is sufficiently large. We also consider the case where more than two colors are allowed.


title: On certain organic compounds with one mono-substitution and at least three di-substitution homogeneous derivatives

abstract: In this paper parent substances with molecules which can be divided into a skeleton and six univalent substituents, and that have the properties mentioned in the title, are considered. Two instances are the molecules of benzene and cyclopropane. The Lunn-Senior's symmetry groups of substitution isomerism of these compounds are described and upper bounds of the numbers of their di-substitution and tri-substitution homogeneous derivatives are found. Lists of the possible simple substitution reactions among di-substitution homogeneous derivatives, on one hand, and di-substitution heterogeneous, and tri-substitution homogeneous derivatives, on the other, are given. These substitution reactions allow for some derivatives to be identified with their structural formulae.


title: Unimprovable Solution to Systems of Empirical Linear Algebraic Equations

abstract: An optimum solution free from degeneration is found to the system of linear algebraic equations with empirical coefficients and right-hand sides. The quadratic risk of estimators of the unknown solution vector is minimized over a class of linear systems with given square norm of the coefficient matrix and length of the right-hand side vector. Empirical coefficients and right-hand sides are assumed to be independent and normal with known variance. It is found that the optimal estimator has the form of a regularized minimum square solution with an extension multiple. A simple formula is derived showing explicitly the dependence of the minimal risk on parameters.


title: A Liouville type theorem for some conformally invariant fully nonlinear equations

abstract: We establish a Liouville type theorem for some conformally invariant fully nonlinear equations


title: Objects of Categories as Complex Numbers

abstract: In many everyday categories (sets, spaces, modules, ...) objects can be both added and multiplied. The arithmetic of such objects is a challenge because there is usually no subtraction. We prove a family of cases of the following principle: if an arithmetic statement about the objects can be proved by pretending that they are complex numbers, then there also exists an honest proof.


title: On the 2-modular reduction of the Steinberg representation of the symplectic group

abstract: We show that in characteristic 2, the Steinberg representation of the symplectic group Sp(2n,q), q a power of an odd prime p, has two irreducible constituents lying just above the socle that are isomorphic to the two Weil modules of degree (q^n-1)/2.


title: Clones from Creatures

abstract: A clone on a set X is a set of finitary operations on X which contains all the projections and is closed under composition. The set of all clones forms a complete lattice Cl(X) with greatest element O, the set of all finitary operations. For finite sets X the lattice is "dually atomic": every clone other than O is below a coatom of Cl(X). It was open whether Cl(X) is also dually atomic for infinite X. Assuming the continuum hypothesis, we show that there is a clone C on a countable set such that the interval of clones above C is linearly ordered, uncountable, and has no coatoms.


title: On some questions of Eymard and Bekka concerning amenability of homogeneous spaces and induced representations

abstract: Let $F\subseteq H\subseteq G$ be closed subgroups of a locally compact group. In response to a 1972 question by Eymard, we construct an example where the homogeneous factor-space $G/F$ is amenable in the sense of Eymard-Greenleaf, while $H/F$ is not. (In our example, $G$ is discrete.) As a corollary which answers a 1990 question by Bekka, the induced representation $\ind_H^G(\rho)$ can be amenable in the sense of Bekka even if $\rho$ is not amenable. The second example, answering another question by Bekka, shows that $\ind_H^G(\rho)$ need not be amenable even if both the representation $\rho$ and the coset space $G/H$ are amenable.


title: Coherence, local quasiconvexity, and the perimeter of 2-complexes

abstract: A group is coherent if all its finitely generated subgroups are finitely presented. In this article we provide a criterion for positively determining the coherence of a group. This criterion is based upon the notion of the perimeter of a map between two finite 2-complexes which is introduced here. In the groups to which this theory applies, a presentation for a finitely generated subgroup can be computed in quadratic time relative to the sum of the lengths of the generators. For many of these groups we can show in addition that they are locally quasiconvex. As an application of these results we prove that one-relator groups with sufficient torsion are coherent and locally quasiconvex and we give an alternative proof of the coherence and local quasiconvexity of certain 3-manifold groups. The main application is to establish the coherence and local quasiconvexity of many small cancellation groups.


title: Note on the geometry of generalized parabolic towers

abstract: The goal of this technical note is to show that the geometry of generalized parabolic towers cannot be essentially bounded. It fills a gap in author's paper "Combinatorics, geomerty and attractors of quasi-quadratic maps", Annals of Math., 1992.


title: Twisting cochains and higher torsion

abstract: This paper gives a short summary of the central role played by Ed Brown's "twisting cochains" in higher Franz-Reidemeister (FR) torsion and higher analytic torsion. Briefly, any fiber bundle gives a twisting cochain which is unique up to fiberwise homotopy equivalence. However, when they are based, the difference between two of them is a higher algebraic K-theory class measured by higher FR torsion. Flat superconnections are also equivalent to twisting cochains.


title: Cohomological Splitting of Coadjoint Orbits

abstract: The rational cohomology of a coadjoint orbit ${\cal O}$ is expressed as tensor product of the cohomology of other coadjoint orbits ${\cal O}_k$, with $ \hbox{dim} {\cal O}_k< \hbox{dim} {\cal O}$.


title: On the connection between affine and projective fundamental groups of line arrangements and curves

abstract: In this note we prove a decomposition related to the affine fundamental group and the projective fundamental group of a line arrangement and a reducible curve with a line component. We give some applications to this result.


title: Convergence groups from subgroups

abstract: We give sufficient conditions for a group of homeomorphisms of a Peano continuum X without cut-points to be a convergence group. The condition is that there is a collection of convergence subgroups whose limit sets `cut up' X in the correct fashion. This is closely related to the result in [E Swenson, Axial pairs and convergence groups on S^1, Topology 39 (2000) 229-237].


title: Fusion Rules for Affine Kac-Moody Algebras

abstract: This is an expository introduction to fusion rules for affine Kac-Moody algebras, with major focus on the algorithmic aspects of their computation and the relationship with tensor product decompositions. Many explicit examples are included with figures illustrating the rank 2 cases. New results relating fusion coefficients to tensor product coefficients are proved, and a conjecture is given which shows that the Frenkel-Zhu affine fusion rule theorem can be seen as a beautiful generalization of the Parasarathy-Ranga Rao-Varadarajan tensor product theorem. Previous work of the author and collaborators on a different approach to fusion rules from elementary group theory is also explained.


title: Is a deterministic universe logically consistent with a probabilistic Quantum Theory?

abstract: If we assume the Thesis that any classical Turing machine T, which halts on every n-ary sequence of natural numbers as input, determines a PA-provable formula, whose standard interpretation is an n-ary arithmetical relation f(x1, >..., xn) that holds if, and only if, T halts, then standard PA can model the state of a deterministic universe that is consistent with a probabilistic Quantum Theory. Another significant consequence of this Thesis is that every partial recursive function can be effectively defined as total.


title: A compendium of pseudoholomorphic beasts in R x (S^1 x S^2)

abstract: This article describes various moduli spaces of pseudoholomorphic curves on the symplectization of a particular overtwisted contact structure on S^1 x S^2. This contact structure appears when one considers a closed self dual form on a 4-manifold as a symplectic form on the complement of its zero locus. The article is focussed mainly on disks, cylinders and three-holed spheres, but it also supplies groundwork for a description of moduli spaces of curves with more punctures and non-zero genus.


title: Discrete mathematics: methods and challenges

abstract: Combinatorics is a fundamental mathematical discipline as well as an essential component of many mathematical areas, and its study has experienced an impressive growth in recent years. One of the main reasons for this growth is the tight connection between Discrete Mathematics and Theoretical Computer Science, and the rapid development of the latter. While in the past many of the basic combinatorial results were obtained mainly by ingenuity and detailed reasoning, the modern theory has grown out of this early stage, and often relies on deep, well developed tools. This is a survey of two of the main general techniques that played a crucial role in the development of modern combinatorics; algebraic methods and probabilistic methods. Both will be illustrated by examples, focusing on the basic ideas and the connection to other areas.


title: Differential complexes and numerical stability

abstract: Differential complexes such as the de Rham complex have recently come to play an important role in the design and analysis of numerical methods for partial differential equations. The design of stable discretizations of systems of partial differential equations often hinges on capturing subtle aspects of the structure of the system in the discretization. In many cases the differential geometric structure captured by a differential complex has proven to be a key element, and a discrete differential complex which is appropriately related to the original complex is essential. This new geometric viewpoint has provided a unifying understanding of a variety of innovative numerical methods developed over recent decades and pointed the way to stable discretizations of problems for which none were previously known, and it appears likely to play an important role in attacking some currently intractable problems in numerical PDE.


title: Hyperbolic systems of conservation laws in one space dimension

abstract: Aim of this paper is to review some basic ideas and recent developments in the theory of strictly hyperbolic systems of conservation laws in one space dimension. The main focus will be on the uniqueness and stability of entropy weak solutions and on the convergence of vanishing viscosity approximations.


title: Non linear elliptic theory and the Monge-Ampere equation

abstract: The Monge-Ampere equation, plays a central role in the theory of fully non linear equations. In fact we will like to show how the Monge-Ampere equation, links in some way the ideas comming from the calculus of variations and those of the theory of fully non linear equations.


title: Non-linear partial differential equations in conformal geometry

abstract: In the study of conformal geometry, the method of elliptic partial differential equations is playing an increasingly significant role. Since the solution of the Yamabe problem, a family of conformally covariant operators (for definition, see section 2) generalizing the conformal Laplacian, and their associated conformal invariants have been introduced. The conformally covariant powers of the Laplacian form a family $P_{2k}$ with $k \in \mathbb N$ and $k \leq \frac{n}{2}$ if the dimension $n$ is even. Each $P_{2k}$ has leading order term $(- \Delta)^k$ and is equal to $ (- \Delta) ^k$ if the metric is flat.


title: Emerging applications of geometric multiscale analysis

abstract: Classical multiscale analysis based on wavelets has a number of successful applications, e.g. in data compression, fast algorithms, and noise removal. Wavelets, however, are adapted to point singularities, and many phenomena in several variables exhibit intermediate-dimensional singularities, such as edges, filaments, and sheets. This suggests that in higher dimensions, wavelets ought to be replaced in certain applications by multiscale analysis adapted to intermediate-dimensional singularities. My lecture described various initial attempts in this direction. In particular, I discussed two approaches to geometric multiscale analysis originally arising in the work of Harmonic Analysts Hart Smith and Peter Jones (and others): (a) a directional wavelet transform based on parabolic dilations; and (b) analysis via anistropic strips. Perhaps surprisingly, these tools have potential applications in data compression, inverse problems, noise removal, and signal detection; applied mathematicians, statisticians, and engineers are eagerly pursuing these leads.


title: Random matrices, free probability and the invariant subspace problem relative to a von Neumann Algebra

abstract: Random matrices have their roots in multivariate analysis in statistics, and since Wigner's pioneering work in 1955, they have been a very important tool in mathematical physics. In functional analysis, random matrices and random structures have in the last two decades been used to construct Banach spaces with surprising properties. After Voiculescu in 1990--1991 used random matrices to classification problems for von Neumann algebras, they have played a key role in von Neumann algebra theory. In this lecture we will discuss some new applications of random matrices to operator algebra theory, namely applications to classification problems for $C^*$-algebras and to the invariant subspace problem relative to a von Neumann algebra.


title: Algebraic topology and modular forms

abstract: Modular forms appear in many facets of mathematics, and have played important roles in geometry, mathematical physics, number theory, representation theory, topology, and other areas. Around 1994, motivated by technical issues in homotopy theory, Mark Mahowald, Haynes Miller and I constructed a topological refinement of modular forms, which we call {\em topological modular forms}. At the Zurich ICM I sketched a program designed to relate topological modular forms to invariants of manifolds, homotopy groups of spheres, and ordinary modular forms. This program has recently been completed and new directions have emerged. In this talk I will describe this recent work and how it informs our understanding of both algebraic topology and modular forms.


title: Some highlights of percolation

abstract: We describe the percolation model and some of the principal results and open problems in percolation theory. We also discuss briefly the spectacular recent progress by Lawler, Schramm, Smirnov and Werner towards understanding the phase transition of percolation (on the triangular lattice).


title: Chtoucas de Drinfeld, formule des traces d'Arthur-Selberg et correspondance de Langlands

abstract: Cet expos\'e est consacr\'e \`a la preuve de la correspondance de Langlands pour les groupes $\GL_r$ sur les corps de fonctions. ----- This article is devoted to the proof of the Langlands correspondence for the groups $GL_r$ over function fields.


title: Pattern theory: the mathematics of perception

abstract: Is there a mathematical theory underlying intelligence? Control theory addresses the output side, motor control, but the work of the last 30 years has made clear that perception is a matter of Bayesian statistical inference, based on stochastic models of the signals delivered by our senses and the structures in the world producing them. We will start by sketching the simplest such model, the hidden Markov model for speech, and then go on illustrate the complications, mathematical issues and challenges that this has led to.


title: Geometric construction of representations of affine algebras

abstract: Let $\Gamma$ be a finite subgroup of $\SL_2(\C)$. We consider $\Gamma$-fixed point sets in Hilbert schemes of points on the affine plane $\C^2$. The direct sum of homology groups of components has a structure of a representation of the affine Lie algebra $\ag$ corresponding to $\Gamma$. If we replace homology groups by equivariant $K$-homology groups, we get a representation of the quantum toroidal algebra $\Ut$. We also discuss a higher rank generalization and character formulas in terms of intersection homology groups.


title: Some recent transcendental techniques in algebraic and complex geometry

abstract: This article discusses the recent transcendental techniques used in the proofs of the following three conjectures. (1)~The plurigenera of a compact projective algebraic manifold are invariant under holomorphic deformation. (2)~There exists no smooth Leviflat hypersurface in the complex projective plane. (3)~A generic hypersurface of sufficiently high degree in the complex projective space is hyperbolic in the sense that there is no nonconstant holomorphic map from the complex Euclidean line to it.


title: Galois representations

abstract: In the first part of this paper we try to explain to a general mathematical audience some of the remarkable web of conjectures linking representations of Galois groups with algebraic geometry, complex analysis and discrete subgroups of Lie groups. In the second part we briefly review some limited recent progress on these conjectures.


title: Geometry and nonlinear analysis

abstract: Nonlinear analysis has played a prominent role in the recent developments in geometry and topology. The study of the Yang-Mills equation and its cousins gave rise to the Donaldson invariants and more recently, the Seiberg-Witten invariants. Those invariants have enabled us to prove a number of striking results for low dimensional manifolds, particularly, 4-manifolds. The theory of Gromov-Witten invariants was established by using solutions of the Cauchy-Riemann equation. These solutions are often refered as pseudo-holomorphic maps which are special minimal surfaces studied long in geometry. It is certainly not the end of applications of nonlinear partial differential equations to geometry. In this talk, we will discuss some recent progress on nonlinear partial differential equations in geometry. We will be selective, partly because of my own interest and partly because of recent applications of nonlinear equations. There are also talks in this ICM to cover some other topics of geometric analysis by R. Bartnik, B. Andrew, P. Li and X.X. Chen, etc.


title: The power set function

abstract: We survey old and recent results on the problem of finding a complete set of rules describing the behavior of the power function, i.e. the function which takes a cardinal $\kappa$ to the cardinality of its power $2^\kappa$.


title: Beyond $\underTilde{\Sigma}^2_1$ absoluteness

abstract: There have been many generalizations of Shoenfield's Theorem on the absoluteness of $\Sigma^1_2$ sentences between uncountable transitive models of $\mathrm{ZFC}$. One of the strongest versions currently known deals with $\Sigma^2_1$ absoluteness conditioned on $\mathrm{CH}$. For a variety of reasons, from the study of inner models and from simply combinatorial set theory, the question of whether conditional $\Sigma^2_2$ absoluteness is possible at all, and if so, what large cardinal assumptions are involved and what sentence(s) might play the role of $\mathrm{CH}$, are fundamental questions. This article investigates the possiblities for $\Sigma^2_2$ absoluteness by extending the connections between determinacy hypotheses and absoluteness hypotheses.


title: Evolution of curves and surfaces by mean curvature

abstract: This article describes the mean curvature flow, some of the discoveries that have been made about it, and some unresolved questions.


title: On Hrushovski's proof of the Manin-Mumford conjecture

abstract: The Manin-Mumford conjecture in characteristic zero was first proved by Raynaud. Later, Hrushovski gave a different proof using model theory. His main result from model theory, when applied to abelian varieties, can be rephrased in terms of algebraic geometry. In this paper we prove that intervening result using classical algebraic geometry alone. Altogether, this yields a new proof of the Manin-Mumford conjecture using only classical algebraic geometry.


title: Integrating $\partial \bar{\partial}$

abstract: We consider the algebro-geometric consequences of integration by parts.


title: Hidden Markov and state space models: asymptotic analysis of exact and approximate methods for prediction, filtering, smoothing and statistical inference

abstract: State space models have long played an important role in signal processing. The Gaussian case can be treated algorithmically using the famous Kalman filter. Similarly since the 1970s there has been extensive application of Hidden Markov models in speech recognition with prediction being the most important goal. The basic theoretical work here, in the case $X$ and $Y$ finite (small) providing both algorithms and asymptotic analysis for inference is that of Baum and colleagues. During the last 30-40 years these general models have proved of great value in applications ranging from genomics to finance. Unless the $X,Y$ are jointly Gaussian or $X$ is finite and small the problem of calculating the distributions discussed and the likelihood exactly are numerically intractable and if $Y$ is not finite asymptotic analysis becomes much more difficult. Some new developments have been the construction of so-called ``particle filters'' (Monte Carlo type) methods for approximate calculation of these distributions (see Doucet et al. [4]) for instance and general asymptotic methods for analysis of statistical methods in HMM [2] and other authors. We will discuss these methods and results in the light of exponential mixing properties of the conditional (posterior) distribution of $(X_1,X_2,...)$ given $(Y_1,Y_2,...)$ already noted by Baum and Petrie and recent work of the authors Bickel, Ritov and Ryden, Del Moral and Jacod, Douc and Matias.


title: Statistical equivalence and stochastic process limit theorems

abstract: A classical limit theorem of stochastic process theory concerns the sample cumulative distribution function (CDF) from independent random variables. If the variables are uniformly distributed then these centered CDFs converge in a suitable sense to the sample paths of a Brownian Bridge. The so-called Hungarian construction of Komlos, Major and Tusnady provides a strong form of this result. In this construction the CDFs and the Brownian Bridge sample paths are coupled through an appropriate representation of each on the same measurable space, and the convergence is uniform at a suitable rate. Within the last decade several asymptotic statistical-equivalence theorems for nonparametric problems have been proven, beginning with Brown and Low (1996) and Nussbaum (1996). The approach here to statistical-equivalence is firmly rooted within the asymptotic statistical theory created by L. Le Cam but in some respects goes beyond earlier results. This talk demonstrates the analogy between these results and those from the coupling method for proving stochastic process limit theorems. These two classes of theorems possess a strong inter-relationship, and technical methods from each domain can profitably be employed in the other. Results in a recent paper by Carter, Low, Zhang and myself will be described from this perspective.


title: Ergodicity and mixing for stochastic partial differential equations

abstract: Recently, a number of authors have investigated the conditions under which a stochastic perturbation acting on an infinite dimensional dynamical system, e.g. a partial differential equation, makes the system ergodic and mixing. In particular, one is interested in finding minimal and physically natural conditions on the nature of the stochastic perturbation. I shall review recent results on this question; in particular, I shall discuss the Navier-Stokes equation on a two dimensional torus with a random force which is white noise in time, and excites only a finite number of modes. The number of excited modes depends on the viscosity $\nu$, and grows like $\nu^{-3}$ when $\nu$ goes to zero. This Markov process has a unique invariant measure and is exponentially mixing in time.


title: Smoothed analysis of algorithms

abstract: Spielman and Teng introduced the smoothed analysis of algorithms to provide a framework in which one could explain the success in practice of algorithms and heuristics that could not be understood through the traditional worst-case and average-case analyses. In this talk, we survey some of the smoothed analyses that have been performed.


title: Adaptive methods for PDE's: wavelets or mesh refinement?

abstract: Adaptive mesh refinement techniques are nowadays an established and powerful tool for the numerical discretization of PDE's. In recent years, wavelet bases have been proposed as an alternative to these techniques. The main motivation for the use of such bases in this context is their good performances in data compression and the approximation theoretic foundations which allow to analyze and optimize these performances. We shall discuss these theoretical foundations, as well as one of the approaches which has been followed in developing efficient adaptive wavelet solvers. We shall also discuss the similarities and differences between wavelet methods and adaptive mesh refinement.


title: Energy landscapes and rare events

abstract: Many problems in physics, material sciences, chemistry and biology can be abstractly formulated as a system that navigates over a complex energy landscape of high or infinite dimensions. Well-known examples include phase transitions of condensed matter, conformational changes of biopolymers, and chemical reactions. The energy landscape typically exhibits multiscale features, giving rise to the multiscale nature of the dynamics. This is one of the main challenges that we face in computational science. In this report, we will review the recent work done by scientists from several disciplines on probing such energy landscapes. Of particular interest is the analysis and computation of transition pathways and transition rates between metastable states. We will then present the string method that has proven to be very effective for some truly complex systems in material science and chemistry.


title: International comparisons in mathematics education: an overview

abstract: The paper opens with an overview of the discussion of international comparisons (including goals) in mathematics education. Afterwards, the two most important recent international studies, the PISA Study and TIMSS-Repeat, are described. After a short description of the qualitative-quantitative debate, a qualitatively oriented small-scale study is described. The paper closes with reflection on the possibilities and limitations of such studies.


title: The work of Laurent Lafforgue

abstract: Laurent Lafforgue has been awarded the Fields Medal for his proof of the Langlands correspondence for the full linear groups $\mathop{\rm GL}\nolimits_{r}$ ($r\geq 1$) over function fields. This article is a brief introduction to the Langlands correspondence and to Lafforgue's theorem.


title: The work of Vladimir Voevodsky

abstract: Vladimir Voevodsky was born in 1966. He studied at Moscow State University and Harvard university. He is now Professor at the Institute for Advanced Study in Princeton. Among his main achievements are the following: he defined and developed motivic cohomology and the ${\mathbf A}^1$-homotopy theory of algebraic varieties; he proved the Milnor conjectures on the $K$-theory of fields. This article is a brief introduction to this work, for which Voevodsky was awarded the Fields Medal.


title: Some congruences on prime factors of class number of algebraic extensions K/Q

abstract: This paper is an updated version of ANT-0372 (2002 dec 4) with the same title. Several errors are corrected in this version. An example of the kind of results obtained is: Let K/\Q be an abelian extension with N = [K:\Q] > 1, N odd. Let h(K) be the class number of K. Suppose that h(K) > 1. Let p be a prime dividing h(K). Let r_p be the rank of the p-class group of K. Then p \times (p^{r_p}-1) and N are not coprime. The paper is at elementary level and contains a lot of numerical examples.


abstract: This is a revised version of ANT-0332: "A support problem for the intermediate Jacobians of l-adic representations", by G. Banaszak, W. Gajda & P. Krason, which was placed on these archives on the 29th of January 2002. Following a suggestion of the referee we have subdivided the paper into two separate parts: "Support problem for the intermediate Jacobians of l-adic representations", and "On Galois representations for abelian varieties with complex and real multiplications". Our results on the image of Galois and the Mumford-Tate conjecture for some RM abelian varieties are contained in the second paper. Both papers were accepted for publication.


title: Universality Of Nash Equilibria

abstract: Every real algebraic variety is isomorphic to the set of totally mixed Nash equilibria of some three-person game, and also to the set of totally mixed Nash equilibria of an $N$-person game in which each player has two pure strategies. From the Nash-Tognoli Theorem it follows that every compact differentiable manifold can be encoded as the set of totally mixed Nash equilibria of some game. Moreover, there exist isolated Nash equilibria of arbitrary topological degree.


title: The uncertainty principle for operators determined by Lie groups

abstract: For unbounded operators A,B and C in general, with C closure of [A,B] does not lead to the uncertainty relation ||Au|| ||Bu|| >= |<C u,u> |/2. If A,B and C are part of the generators of a unitary representation of a Lie group then the uncertainty principle above holds.


title: Extended modular operad

abstract: This paper is a sequel to [LoMa] where moduli spaces of painted stable curves were introduced and studied. We define the extended modular operad of genus zero, algebras over this operad, and study the formal differential geometric structures related to these algebras: pencils of flat connections and Frobenius manifolds without metric. We focus here on the combinatorial aspects of the picture. Algebraic geometric aspects are treated in [Ma2].


title: Extraordinary dimension theories generated by complexes

abstract: We study the extraordinary dimension function dim_{L} introduced by \v{S}\v{c}epin. An axiomatic characterization of this dimension function is obtained. We also introduce inductive dimensions ind_{L} and Ind_{L} and prove that for separable metrizable spaces all three coincide. Several results such as characterization of dim_{L} in terms of partitions and in terms of mappings into $n$-dimensional cubes are presented. We also prove the converse of the Dranishnikov-Uspenskij theorem on dimension-raising maps.


title: Kaehler-Nijenhuis Manifolds

abstract: A Kaehler-Nijenhuis manifold is a Kaehler manifold M, with metric g, complex structure J and Kaehler form F, endowed with a Nijenhuis tensor field A that is compatible with the Poisson stucture defined by F in the sense of the theory of Poisson-Nijenhuis structures. If this happens, and if either AJ=JA or AJ=-JA, M is foliated by im A into non degenerate Kaehler-Nijenhuis submanifolds. If A is a non degenerate (1,1)-tensor field on M, (M,g,J,A) is a Kaehler-Nijenhuis manifold iff one of the following two properties holds: 1) A is associated with a symplectic structure of M that defines a Poisson structure compatible with the Poisson structure defined by F; 2) A and its inverse are associated with closed 2-forms. On a Kaehler-Nijenhuis manifold, if A is non degenerate and AJ=-JA, A must be a parallel tensor field.


title: Monodromy of real isolated singularities

abstract: For isolated complex hypersurface singularities with real defining equation we show the existence of a monodromy vector field such that complex conjugation intertwines the local monodromy diffeomorphism with its inverse. In particular, it follows that the geometric monodromy is the composition of the involution induced by complex conjugation and another involution. This topological property holds for all isolated complex plane curve singularities. Using real morsifications, we compute the action of complex conjugation and of the other involution on the Milnor fiber of real plane curve singularities. These involutions have nice descriptions in terms of divides for the singularity.


title: A remark on the Schottky locus in genus 4

abstract: We determine the class of the (closure of the) Schottky locus in genus 4 in the Igusa- and the Voronoi compactification of A_4 and comment on the weight 8 modular form which vanishes on it.


title: Stacks of cyclic covers of projective spaces

abstract: We define stacks of uniform cyclic covers of Brauer-Severi schemes, proving that they can be realized as quotient stacks of open subsets of representations, and compute the Picard group for the open substacks parametrizing smooth uniform cyclic covers. Moreover, we give an analogous description for stacks parametrizing triple cyclic covers of Brauer-Severi schemes of rank 1, which are not necessarily uniform, and give a presentation of the Picard group for substacks corresponding to smooth triple cyclic covers.


title: Conics, (q+1)-Arcs, Pencil Concept of Time and Psychopathology

abstract: It is demonstrated that in the (projective plane over) Galois fields GF(q) with q=2^n and n>2 (n being a positive integer) we can define, in addition to the temporal dimensions generated by pencils of conics, also time coordinates represented by aggregates of (q+1)-arcs that are not conics. The case is illustrated by a (self-dual) pencil of conics endowed with two singular conics of which one represents a double real line and the other is a real line pair. Although this pencil does not generate the ordinary (i.e., featuring the past, present and future) arrow of time over GF(2^n), there does exist a pencil-related family of (q+1)-arcs, not conics, that closely resembles such an arrow. Some psycho(patho)logical justifications of this finding are presented, based on the "peculiar/anomalous" experiences of time by a couple of schizophrenic patients.


title: On the geodesic flow of surfaces of nonpositive curvature

abstract: Let $S$ be a surface of nonpositive curvature of genus bigger than 1 (i.e. not the torus). We prove that any flat strip in the surface is in fact a flat cylinder. Moreover we prove that the number of homotopy classes of such flat cylinders is bounded.


title: SPM Bulletin 1

abstract: This is the first issue of a semi-formal bulletin dealing with Selection Principles in Mathematics (SPM) -- this field deals with all sorts of studies of diagonalization arguments, especially in topology (covering properties, sequences of covers, etc.) and infinite combinatorics (cardinal characteristics of the continuum), and their applications to other areas of mathematics (function spaces, game theory, group theory, etc.)