title: The Simple Group of Order 168 and K3 Surfaces

abstract: The aim of this note is to characterize a K3 surface of Klein-Mukai type in terms of its symmetry.


title: The 42 Assessors and the Box-Kites they fly: Diagonal Axis-Pair Systems of Zero-Divisors in the Sedenions' 16 Dimensions

abstract: G. Moreno's abstract depiction of the Sedenions' normed zero-divisors, as homomorphic to the exceptional Lie group G2, is fleshed out by exploring further structures the A-D-E approach of Lie algebraic taxonomy keeps hidden. A breakdown of table equivalence among the half a trillion multiplication schemes the Sedenions allow is found; the 168 elements of PSL(2,7), defining the finite projective triangle on which the Octonions' 480 equivalent multiplication tables are frequently deployed, are shown to give the exact count of primitive unit zero-divisors in the Sedenions. (Composite zero-divisors, comprising all points of certain hyperplanes of up to 4 dimensions, are also determined.) The 168 are arranged in point-set quartets along the 42 Assessors (pairs of diagonals in planes spanned by pure imaginaries, each of which zero-divides only one such diagonal of any partner Assessor). These quartets are multiplicatively organized in systems of mutually zero-dividing trios of Assessors, a D4-suggestive 28 in number, obeying the 6-cycle crossover logic of trefoils or triple zigzags. 3 trefoils and 1 zigzag determine an octahedral vertex structure we call a box-kite -- seven of which serve to partition Sedenion space. By sequential execution of proof-driven production rules, a complete interconnected box-kite system, or Seinfeld production (German for field of being; American for 1990's television's Show About Nothing), can be unfolded from an arbitrary Octonion and any (save for two) of the Sedenions. Indications for extending the results to higher dimensions and different dynamic contexts are given in the final pages.


title: The multiple zeta value algebra and the stable derivation algebra

abstract: The MZV algebra is the graded algebra over ${\bold Q}$ generated by all multiple zeta values. The stable derivation algebra is a graded Lie algebra version of the Grothendieck-Teichm\"{u}ller group. We shall show that there is a canonical surjective $\bold Q $-linear map from the graded dual vector space of the stable derivation algebra over $\bold Q$ to the new-zeta space, the quotient space of the sub-vector space of the MZV algebra whose grade is greater than 2 by the square of the maximal ideal. As a corollary, we get an upper-bound for the dimension of the graded piece of the MZV algebra at each weight in terms of the corresponding dimension of the graded piece of the stable derivation algebra. If some standard conjectures by Y. Ihara and P. Deligne concerning the structure of the stable derivation algebra hold, this will become a bound conjectured in Zagier's talk at 1st European Congress of Mathematics. Via the stable derivation algebra, we can compare the new-zeta space with the $l$-adic Galois image Lie algebra which is associated with so the Galois representation on the pro-$l$ fundamental group of $\bold P ^1_ {\bar{\bold Q}}-{0,1,\infty}$ .


title: The Generalized Metrical Multi-Time Lagrange Space of Relativistic Geometrical Optics

abstract: The paper constructs a generalized metrical multi-time Lagrange space, which allows a natural development of relativistic geometrical optics theories, in a general setting.


title: Clifford Hopf gebra for two-dimensional space

abstract: A Clifford algebra Cl(V,\eta\in V^*\otimes V^*) jointly with a Clifford cogebra Cl(V,\xi\in V\otimes V) is said to be a Clifford biconvolution Cl(\eta,\xi). We show that a Clifford biconvolution for dim_R Cl=4 does possess an antipode iff det(id-\xi\circ\eta)\neq 0. An antipodal Clifford biconvolution is said to be a Clifford Hopf gebra. We study the Clifford Hopf gebra and examples of antipode less Clifford bigebras including the Grassmann case.


title: Nongraded Infinite-Dimensional Simple Lie Algebras

abstract: Nongraded infinite-dimensional Lie algebras appeared naturally in the theory of Hamiltonian operators, the theory of vertex algebras and their multi-variable analogues. They play important roles in mathematical physics. This survey article is written based on the author's seminar talks on nongraded infinite-dimensional simple Lie algebras. The key constructional ingredients of our Lie algebras are locally-finite derivations. The structure spaces of some families of these simple Lie algebras can be viewed as analogues of vector bundles with Lie algebras as fibers. We also believe that some of our simple Lie algebras could be related to noncommutative geometry.


title: Computable Legendrian invariants

abstract: We establish tools to facilitate the computation and application of the Chekanov-Eliashberg differential graded algebra (DGA), a Legendrian-isotopy invariant of Legendrian knots in standard contact three-space. More specifically, we reformulate the DGA in terms of front projection, and introduce the characteristic algebra, a new invariant derived from the DGA. We use our techniques to distinguish between several previously indistinguishable Legendrian knots and links.


title: Getting rid of the negative Schwarzian derivative condition

abstract: In this paper we will show that the assumption on the negative Schwarzian derivative is redundant in the case of C^3 unimodal maps with a nonflat critical point. The following theorem will be proved: For any C^3 unimodal map of an interval with a nonflat critical point there exists an interval around the critical value such that the first entry map to this interval has negative Schwarzian derivative. Another theorem proved in the paper provides useful cross-ratio estimates. Thus, all theorems proved only for unimodal maps with negative Schwarzian derivative can be easily generalized.


title: Analytic properties of zeta functions and subgroup growth

abstract: In this paper we introduce some new methods to understand the analytic behaviour of the zeta function of a group. We can then combine this knowledge with suitable Tauberian theorems to deduce results about the growth of subgroups in a nilpotent group. In order to state our results we introduce the following notation. For \alpha a real number and N a nonnegative integer, define s_N^\alpha(G) = sum_{n=1}^N a_n(G)/n^\alpha. Main Theorem: Let G be a finitely generated nilpotent infinite group. (1) The abscissa of convergence \alpha(G) of \zeta_G(s) is a rational number and \zeta_G(s) can be meromorphically continued to Re(s)>\alpha(G)-\delta for some \delta >0. The continued function is holomorphic on the line \Re(s) = (\alpha)G except for a pole at s=\alpha(G). (2) There exist a nonnegative integer b(G) and some real numbers c,c' such that s_{N}(G) ~ c N^{\alpha(G)}(\log N)^{b(G)} s_{N}^{\alpha(G)}(G) ~ c' (\log N)^{b(G)+1} for N\rightarrow \infty .


title: A remarkable periodic solution of the three-body problem in the case of equal masses

abstract: Using a variational method, we exhibit a surprisingly simple periodic orbit for the newtonian problem of three equal masses in the plane. The orbit has zero angular momentum and a very rich symmetry pattern. Its most surprising feature is that the three bodies chase each other around a fixed eight-shaped curve. Setting aside collinear motions, the only other known motion along a fixed curve in the inertial plane is the ``Lagrange relative equilibrium" in which the three bodies form a rigid equilateral triangle which rotates at constant angular velocity within its circumscribing circle. Our orbit visits in turns every ``Euler configuration" in which one of the bodies sits at the midpoint of the segment defined by the other two (Figure 1). Numerical computations by Carles Sim\'o, to be published elsewhere, indicate that the orbit is ``stable" (i.e. completely elliptic with torsion). Moreover, they show that the moment of inertia I(t) with respect to the center of mass and the potential U(t) as functions of time are almost constant.


title: Coleman integration using the Tannakian formalism

abstract: We use a new idea to construct a theory of iterated Coleman functions in higher dimensions than 1. A Coleman function in this theory consists of a unipotent differential equation, a section on the underlying bundle and a solution to the equation on a residue disc. The new idea is to use the theory of Tannakian categories and the action of Frobenius to anlytically continue solutions of the differential equation to all residue discs.


title: Non-existence of certain semistable abelian varieties

abstract: We show that there do not exist semistable varietes defined over the rationals with good reduction outside one prime p if p = 2, 3, 5 or 7.


title: Sur les invariants d'Iwasawa des \Z_p^*/+-1-extensions

abstract: In this paper we give bounds for the Iwasawa invariants of the Igusa tower of curves investigated by Mazur and Wiles. We give an upper bound for the mu invariants and a lower bound for the sum of the lambda invariants, in terms of the genus and number of supersingular points of the base curve.


title: The density of ramified primes in semisimple p-adic Galois representations

abstract: We prove that the density of ramified primes in semisimple p-adic representations of Galois groups of number fields is 0. Ravi Ramakrishna has produced examples of such representations that are infinitely ramified.


title: On the local Langlands correspondence mod ell

abstract: We prove that the reduction mod \ell of the local Langlands correspondence between supercuspidal representations of GL_n(F), where F is a finite extension of Q_p, and representations of the Galois group of F is well-defined. The results and methods of this paper have been used by Vigneras to give a proof of the ``local Langlands conjecture mod \ell'', that was proved earlier by her by different methods (local harmonic analysis mod \ell) for \ell>n. Unlike the local methods used earlier by Vigneras, our more global method also generalises well to the characteristic p case.


title: Non-archimedean flag domains and semistability I

abstract: Let G be an absolutely almost simple algebraic group defined over a non-archimedean local field K. Let X be a projective homogeneous variety for G and let L be an ample line bundle on X. Then there exists a unique G-linearisation of L. We regard X as a rigid analytic variety. We consider the open rigid analytic subspace Y (resp. Y') of X that consists of the points x in X that are stable (resp. semistable) for all maximal K-split tori in G. Here we take for each maximal K-split torus S in G the S-linearisation of L obtained by restricting the G-linearisation of L to S. Then G(K) acts on both Y and Y'. Furthermore, Y is a subspace of Y'. We define a G(K)-equivariant map I that maps each point x in Y' to a convex subset I(x) of the affine building B of the group G(K). The map I is used to construct a compactification Z of Y in the following sense. The rigid analytic space Z is the generic fibre of a formal scheme over Spf(R) such that the closed fibre of the formal scheme consists of proper components that correspond 1-1 to the vertices of the building. Here R denotes the ring of integers of the field K. The space Z contains Y and is itself contained in Y'. Furthermore, some parabolic subgroup P of G(K) acts on Z (but G(K) itself does not act on Z, unless Z=Y=Y'). In fact, one can describe Z as the set of points x in X that are stable for all maximal K-split tori S of G that are contained in P, using the restriction to S of a suitable P-linearisation of the line bundle L.


title: Computing Triangulations of Mapping Tori of Surface Homeomorphisms

abstract: We present the mathematical background of a software package that computes triangulations of mapping tori of surface homeomorphisms, suitable for Jeff Weeks's program SnapPea. It consists of two programs. jmt computes triangulations and prints them in a human-readable format. jsnap converts this format into SnapPea's triangulation file format and may be of independent interest because it allows for quick and easy generation of input for SnapPea. As an application, we obtain a new solution to the restricted conjugacy problem in the mapping class group.


title: Examples of Special Lagrangian Fibrations

abstract: We explore a number of examples of special Lagrangian fibrations on non-compact Calabi-Yau manifolds invariant under torus actions. These include fibrations on crepant resolutions of canonical toric singularities (already found by Goldstein), proper versions of these fibrations, and fibrations on flat deformations of canonical toric singularities. We do this with an eye towards understanding the global structure and discriminant loci of such fibrations. The paper ends with some speculation, both about local mirror symmetry, and the connections of this work with the work of W.D. Ruan and D. Joyce. In the last section, we discuss the philosophy of the Strominger-Yau-Zaslow conjecture in the light of a number of recent ideas of myself and Wilson, Kontsevich and Soibelman, and Joyce.


title: Real hyperelliptic surfaces and the orbifold fundamental group

abstract: In this paper we finish the topological classification of real algebraic surfaces of Kodaira dimension zero and we make a step towards the Enriques classification of real algebraic surfaces, by describing in detail the structure of the moduli space of real hyperelliptic surfaces. Moreover, we point out the relevance in real geometry of the notion of the orbifold fundamental group of a real variety, and we discuss related questions on real varieties $(X, \sigma)$ whose underlying complex manifold $X$ is a $K (\pi, 1)$. Our first result is that if $(S, \sigma)$ is a real hyperelliptic surface, then the differentiable type of the pair $(S, \sigma)$ is completely determined by the orbifold fundamental group exact sequence. This result allows us to determine all the possible topological types of $(S, \sigma)$, and to prove that they are exactly 78. It follows also as a corollary that there are exactly eleven cases for the topological type of the real part of S. Finally, we show that once we fix the topological type of $(S, \sigma)$ corresponding to a real hyperelliptic surface, the corresponding moduli space is irreducible (and connected). We also give, through a series of tables, explicit analytic representations of the 78 components of the moduli space.


title: Maximally symmetric trees

abstract: We characterize the ``best'' model geometries for the class of virtually free groups, and we show that there is a countable infinity of distinct ``best'' model geometries in an appropriate sense--these are the maximally symmetric trees. The first theorem gives several equivalent conditions on a bounded valence, cocompact tree T without valence 1 vertices saying that T is maximally symmetric. The second theorem gives general constructions for maximally symmetric trees, showing for instance that every virtually free group has a maximally symmetric tree for a model geometry.


title: A new look at Hecke's indefinite theta series

abstract: We describe a family of $q$-series generating the space of weight 1 modular forms coming from indefinite binary quadratic forms and study linear relations between these series.


title: On asymptotic dimension of groups

abstract: We prove a version of the countable union theorem for asymptotic dimension and we apply it to groups acting on asymptotically finite dimensional metric spaces. As a consequence we obtain the following finite dimensionality theorems. A) An amalgamated product of asymptotically finite dimensional groups has finite asymptotic dimension: asdim A *_C B < infinity. B) Suppose that G' is an HNN extension of a group G with asdim G < infinity. Then asdim G'< infinity. C) Suppose that \Gamma is Davis' group constructed from a group \pi with asdim\pi < infinity. Then asdim\Gamma < infinity.


title: Orthonormal integrators based on Householder and Givens transformations

abstract: We carry further our work [DV2] on orthonormal integrators based on Householder and Givens transformations. We propose new algorithms and pay particular attention to appropriate implementation of these techniques. We also present a suite of Fortran codes and provide numerical testing to show the efficiency and accuracy of our techniques.


title: Symplectic resolutions: deformations and birational maps

abstract: Unfortunately, some proofs in the first version of this paper were incorrect. In this revised version, some minor gaps are fixed, one serious mistake found. The main theorem is now claimed only under a restrictive technical assumption. This invalidates the application to quotient singularities by the Weyl group of type $G_2$. Everything else still stands (in particular, the claim that every symplectic resolution is semismall).


title: Resolvents and Martin boundaries of product spaces

abstract: In this paper we examine the Laplacian on the product of two asymptotically hyperbolic (or conformally compact, as they are often called) spaces from the point of view of geometric scattering theory. In particular, we describe the asymptotic behavior of the resolvent applied to Schwartz functions and that of the resolvent kernel itself. We use these results to find the Martin boundary of the product space. This behaves (nearly) as expected when the factors have no $L^2$ eigenvalues, but it experiences a substantial collapse in the presence of such eigenvalues.


title: A smooth regularity theorem for nondegenerate CR-mappings

abstract: We prove the following regularity result: If M and M' are smooth generic submanifolds of C^N and C^N' respectively, where N and N' are not necessarily equal, and if M is minimal, then every C^k-CR-map from M into M^\prime which is k-nondegenerate is smooth. As an application, every CR diffeomorphism of k-nondegenerate minimal submanifolds in C^N of class C^k is smooth.


title: Simple algebras of Weyl type

abstract: Over a field $F$ of any characteristic, for a commutative associative algebra $A$ with an identity element and for the polynomial algebra $F[D]$ of a commutative derivation subalgebra $D$ of $A$, the associative and the Lie algebras of Weyl type on the same vector space $A[D]=A\otimes F[D]$ are defined. It is proved that $A[D]$, as a Lie algebra (modular its center) or as an associative algebra, is simple if and only if $A$ is $D$-simple and $A[D]$ acts faithfully on $A$. Thus a lot of simple algebras are obtained.


title: Isomorphism classes and automorphism groups of algebras of Weyl type

abstract: In one of our recent papers, the associative and the Lie algebras of Weyl type $A[D]=A\otimes F[D]$ were defined and studied, where $A$ is a commutative associative algebra with an identity element over a field $F$ of any characteristic, and $F[D]$ is the polynomial algebra of a commutative derivation subalgebra $D$ of $A$. In the present paper, a class of the above associative and Lie algebras $A[D]$ with $F$ being a field of characteristic 0, $D$ consisting of locally finite but not locally nilpotent derivations of $A$, are studied. The isomorphism classes and automorphism groups of these associative and Lie algebras are determined.


title: On indecomposable modules over the Virasoro algebra

abstract: It is proved that an indecomposable Harish-Chandra module over the Virasoro algebra must be (i) a uniformly bounded module, or (ii) a module in Category $\cal O$, or (iii) a module in Category ${\cal O}^-$, or (iv) a module which contains the trivial module as one of its composition factors.


title: 2-Cocycles on the Lie algebras of generalized differential operators

abstract: In a recent paper by Zhao and the author, the Lie algebras $A[D]=A\otimes F[D]$ of Weyl type were defined and studied, where $A$ is a commutative associative algebra with an identity element over a field $F$ of any characteristic, and $F[D]$ is the polynomial algebra of a commutative derivation subalgebra $D$ of $A$. In the present paper, the 2-cocycles of a class of the above Lie algebras $A[D]$ (which are called the Lie algebras of generalized differential operators in the present paper), with $F$ being a field of characteristic 0, are determined. Among all the 2-cocycles, there is a special one which seems interesting. Using this 2-cocycle, the central extension of the Lie algebra is defined.


title: Classification of infinite dimensional weight modules over the Lie superalgebra $sl(2/1)$

abstract: We give a classification of infinite dimensional indecomposable weight modules over the Lie superalgebra $sl(2/1)$.


title: The Q-Picard group of the moduli space of curves in positive characteristic

abstract: In this note, we prove that the Q-Picard group of the moduli space of n-pointed stable curves of genus g over an algebraically closed field is generated by the tautological classes. We also prove that the cycle map to the 2nd etale cohomology group is bijective.


title: A convexity theorem for torus actions on contact manifolds

abstract: We show that the cone associated with a moment map for an action of a torus on a contact compact connected manifold is a convex polyhedral cone and that the moment map has connected fibers provided the dimension of the torus is bigger than 2 and that no orbit is tangent to the contact distribution. This may be considered as a version of the Atiyah - Guillemin - Sternberg convexity theorem for torus actions on symplectic cones and as a direct generalization of the convexity theorem of Banyaga and Molino for completely integrable torus actions on contact manifolds.


title: Homological Mirror Symmetry in Dimension One

abstract: In this paper we complete the proof began by A. Polishchuk and E. Zaslow (math.AG/9801119) of a weak version of Kontsevich's homological mirror symmetry conjecture for elliptic curves. The main difference to the work of Polishchuk and Zaslow is that we consider morphisms between any pair of objects, not only in the transversal case. This enables us to show the conjectured equivalence of categories.


title: G-dinaturality

abstract: An extension of the notion of dinatural transformation is introduced in order to give a criterion for preservation of dinaturality under composition. An example of an application is given by proving that all bicartesian closed canonical transformations are dinatural. An alternative sequent system for intuitionistic propositional logic is introduced as a device, and a cut elimination procedure is established for this system.


title: Fredholm Properties of Elliptic Operators on $\R^n$

abstract: We study the Fredholm properties of a general class of elliptic differential operators on $\R^n$. These results are expressed in terms of a class of weighted function spaces, which can be locally modeled on a wide variety of standard function spaces, and a related spectral pencil problem on the sphere, which is defined in terms of the asymptotic behaviour of the coefficients of the original operator.


title: A uniqueness theorem for stable homotopy theory

abstract: In this paper we study the global structure of the stable homotopy theory of spectra. We establish criteria for when the homotopy theory associated to a given stable model category agrees with the classical stable homotopy theory of spectra. One sufficient condition is that the associated homotopy category is equivalent to the stable homotopy category as a triangulated category with an action of the ring of stable homotopy groups of spheres. In other words, the classical stable homotopy theory, with all of its higher order information, is determined by the homotopy category as a triangulated category with an action of the stable homotopy groups of spheres. Another sufficient condition is the existence of a small generating object (corresponding to the sphere spectrum) for which a specific `unit map' from the infinite loop space QS^0 to the endomorphism space is a weak equivalence.


title: Monoidal uniqueness theorems for stable homotopy theory

abstract: We show that the monoidal product on the stable homotopy category of spectra is essentially unique. This strengthens work of this author with Schwede on the uniqueness of models of the stable homotopy theory of spectra. As an application we show that with an added assumption about underlying model structures Margolis' axioms uniquely determine the stable homotopy category of spectra up to monoidal equivalence. Also, the equivalences constructed here give a unified construction of the known equivalences of the various symmetric monoidal categories of spectra (S-modules, \W-spaces, orthogonal spectra, simplicial functors) with symmetric spectra. The equivalences of modules, algebras and commutative algebras in these categories are also considered.


title: Fields with pseudo-exponentiation

abstract: We study the structure of an algebraically closed field with extra function resembling the classical exponentiation on complex numbers.


title: Torseurs associes a certaines relations algebriques entre polyzetas aux racines de l'unite

abstract: We describe in this note a torsor structure arising on the affine scheme defined by a system of rationnal algebraic relations between polyzetas at roots of unity (values of hyperlogarithmic functions on a fixed finite group of complex roots of unity). When this group is reduced to 1, we call these numbers the polyzetas. They generalize the values of the Riemann zeta function at odd positive integers and are also called MZVs, multizetas, multiple harmonic series or Euler/Zagier sums. It is believed that the relations we consider here span all algebraic relations between them. The torsor structure underlying these relations should in that case be se same as Drinfeld's torsor made of the Grothendieck- Teichmueller group acting on associators. The formulas for the general case are derived from the action of the absolute Galois group on the projective line minus finitely many points. It is an easy consequence of the torsor structure that the algebra defined by these relations is a polynomial algebra. This was stated first by J. Ecalle in the polyzetas case.


title: Semi-infinite A-variations of Hodge structure over extended Kahler cone

abstract: This is an expanded comment on Barannikov's paper math.AG/0006193. A symplectic version of his construction is discussed. It is shown that the duality transformation for mirror torus fibrations over the same Monge-Ampere manifold exchanges semi-infinite A-variations of Hodge structure introduced in this paper with Barannikov's semi-infinite B-variations of Hodge structure.


title: A generalised inductive approach to the lace expansion

abstract: The lace expansion is a powerful tool for analysing the critical behaviour of self-avoiding walks and percolation. It gives rise to a recursion relation which we abstract and study using an adaptation of the inductive method introduced by den Hollander and the authors. We give conditions under which the solution to the recursion relation behaves as a Gaussian, both in Fourier space and in terms of a local central limit theorem. These conditions are shown elsewhere to hold for sufficiently spread-out models of networks of self-avoiding walks in dimensions $d>4$, and for critical oriented percolation in dimensions $d+1>5$, providing a unified approach and an essential ingredient for a detailed analysis of the branching behaviour of these models.


title: Einstein Metrics Adapted to Contact Structures on 3-Manifolds

abstract: The Newman-Penrose-Perjes formalism is applied to smooth contact structures on riemannian 3-manifolds. In particular it is shown that a contact 3-manifold admits an adapted riemannian metric if and only if it admits a metric with a divergence-free, constantly twisting, geodesic congruence. The shear of this congruence is identified with the torsion of the associated pseudohermitian structure, while the Tanaka-Webster curvature is identified with certain derivatives of the spin coefficients. The particular case where the associated riemannian metric is Einstein is studied in detail. It is found that the torsion is constant and the field equations are completely solved locally. Hyperbolic space forms are shown not to have adapted contact structures, even locally, while contact structures adapted to a flat or elliptic space form are contact isometric to the standard one.


title: Birational Weyl group action arising from a nilpotent Poisson algebra

abstract: We propose a general method to realize an arbitrary Weyl group of Kac-Moody type as a group of birational canonical transformations, by means of a nilpotent Poisson algebra. We also give a Lie theoretic interpretation of this realization in terms of Kac-Moody Lie algebras and Kac-Moody groups.


title: Permutations Restricted by Two Distinct Patterns of Length Three

abstract: Define $S_n(R;T)$ to be the number of permutations on $n$ letters which avoid all patterns in the set $R$ and contain each pattern in the multiset $T$ exactly once. In this paper we enumerate $S_n(\{\alpha\};\{\beta\})$ and $S_n(\emptyset;\{\alpha,\beta\})$ for all $\alpha \neq \beta \in S_3$. The results for $S_n(\{\alpha\};\{\beta\})$ follow from two papers by Mansour and Vainshtein.


title: A telescope comparison lemma for THH

abstract: We extend to the non-connective case a lemma of Bokstedt about the equivalence of the telescope with a more complicated homotopy colimit of symmetric spectra used in the construction of THH.


title: The Whitehead group of the Novikov ring

abstract: The Bass-Heller-Swan-Farrell-Hsiang-Siebenmann decomposition of the Whitehead group $K_1(A_{\rho}[z,z^{-1}])$ of a twisted Laurent polynomial extension $A_{\rho}[z,z^{-1}]$ of a ring $A$ is generalized to a decomposition of the Whitehead group $K_1(A_{\rho}((z)))$ of a twisted Novikov ring of power series $A_{\rho}((z))=A_{\rho}[[z]][z^{-1}]$. The decomposition involves a summand $W_1(A,\rho)$ which is an abelian quotient of the multiplicative group $W(A,\rho)$ of Witt vectors $1+a_1z+a_2z^2+... \in A_{\rho}[[z]]$. An example is constructed to show that in general the natural surjection $W(A,\rho)^{ab} \to W_1(A,\rho)$ is not an isomorphism.


title: Multipliers and dual operator algebras

abstract: In a previous paper we showed how the main theorems characterizing operator algebras and operator modules, fit neatly into the framework of the `noncommutative Shilov boundary', and more particularly via the left multiplier operator algebra of an operator space. As well as giving new characterization theorems, the approach of that paper allowed many of the hypotheses of the earlier theorems to be eliminated. Recent progress of the author with Effros and Zarikian now enables weak*-versions of these characterization theorems. For example, we prove a result analogous to Sakai's famous characterization of von Neumann algebras as the C*-algebras with predual, namely, that the $\sigma$-weakly closed unital (not-necessarily-selfadjoint) subalgebras of $B(H)$ for a Hilbert space $H$, are exactly the unital operator algebras which possess an operator space predual. This removes one of the hypotheses from an earlier characterization due to Le Merdy. We also show that the multiplier operator algebras of dual operator spaces are dual operator algebras. Using this we refine several known results characterizing dual operator modules.


title: On the chromatic roots of generalized theta graphs

abstract: The generalized theta graph \Theta_{s_1,...,s_k} consists of a pair of endvertices joined by k internally disjoint paths of lengths s_1,...,s_k \ge 1. We prove that the roots of the chromatic polynomial $pi(\Theta_{s_1,...,s_k},z) of a k-ary generalized theta graph all lie in the disc |z-1| \le [1 + o(1)] k/\log k, uniformly in the path lengths s_i. Moreover, we prove that \Theta_{2,...,2} \simeq K_{2,k} indeed has a chromatic root of modulus [1 + o(1)] k/\log k. Finally, for k \le 8 we prove that the generalized theta graph with a chromatic root that maximizes |z-1| is the one with all path lengths equal to 2; we conjecture that this holds for all k.

categories: math.CO cond-mat.stat-mech math-ph math.MP


title: On the Global Regularity of Wave Maps in the Critical Sobolev Norm

abstract: We extend the recent result of T.Tao to wave maps defined from the Minkowski space of dimension >4 to a target Riemannian manifold which possesses a ``bounded parallelizable'' structure. This is the case of Lie groups, homogeneous spaces as well as the hyperbolic spaces. General compact Riemannian manifolds can be imbedded as totally geodesic submanifolds in bounded parallelizable manifolds, and therefore are also covered, in principle, by our result. Compactness of the target manifold, which seemed to play an important role in Tao's result, turns out however to play no role in our discussion. Our proof follows closely that of Tao's recent paper and is based, in particular, on its remarkable microlocal gauge renormalization idea.


title: Poisson Geometry of Discrete Series Orbits, and Momentum Convexity for Noncompact Group Actions

abstract: The main result of this paper is a convexity theorem for momentum mappings of certain hamiltonian actions of noncompact semisimple Lie groups. The image is required to fall within a certain open subset D of the (dual of the) Lie algebra, and the momentum map itself is required to be proper as a map to D. The set D corresponds roughly, via the orbit method, to the discrete series of representations of the group, Much of the paper is devoted to the study of D itself, which consists of the Lie algebra elements which have compact centralizer. When the group is Sp(2n), these elements are the ones which are called "strongly stable" in the theory of linear hamiltonian dynamical systems, and our results may be seen as a generalization of some of that theory to arbitrary semisimple Lie groups. As an application, we prove a new convexity theorem for the frequency sets of sums of positive definite hamiltonians with prescribed frequencies.


title: Hamilton Circuits in Graphs and Directed Graphs

abstract: We give polynomial-time algorithms for obtaining hamilton circuits in random graphs, G, and random directed graphs, D. If n is finite, we assume that G or D contains a hamilton circuit. If G is an arbitrary graph containing a hamilton circuit, we conjecture that Algorithm G always obtains a hamilton circuit in polynomial time.


title: An application of the DR-duality theory for compact groups to endomorphism categories of C*-algebras with nontrivial center

abstract: In Rev. Math. Phys. 4 (1997) 785 we study Hilbert-C* systems {F,G} where the fixed point algebra A has nontrivial center Z and where A'\cap F=Z is satisfied. The corresponding category of all canonical endomorphisms of A contains characteristic mutually isomorphic subcategories of the Doplicher/Roberts-type which are connected with the choice of distinguished G-invariant algebraic Hilbert spaces within the corresponding G-invariant Hilbert Z-modules. We present in this paper the solution of the corresponding inverse problem. More precisely, assuming that the given endomorphism category T of a C*-algebra A with center Z contains a certain subcategory of the DR-type, a Hilbert extension {F,G} of A is constructed such that T is isomorphic to the category of all canonical endomorphisms of A w.r.t. {F,G} and A'\cap F=Z. Furthermore, there is a natural equivalence relation between admissible subcategories and it is shown that two admissible subcategories yield A-module isomorphic Hilbert extensions iff they are equivalent. The essential step of the solution is the application of the standard DR-theory to the assigned subcategory.


title: Explicit elements of norm one for cyclic groups

abstract: Let G be a cyclic p-group of order p^n acting by automorphisms on a (non-necessarily commutative) ring R. Suppose there is an element x in R such that (1 + t + ... + t^{p-1})(x) = 1, where t is an element of order p in G. We show how to construct an element y in R such that (1 + s + ... + s^{p^n-1})(y) = 1, where s is a generator of G.


title: On irreducibility of tensor products of Yangian modules associated with skew Young diagrams

abstract: We study the tensor product $W$ of any number of "elementary" irreducible modules $V_1,...,V_k$ over the Yangian of the general linear Lie algebra. Each of these modules is determined by a skew Young diagram and a complex parameter. For any indices $i,j=1,...,k$ there is a canonical non-zero intertwining operator $A_{ij}$ between the tensor products $V_i\otimes V_j$ and $V_j\otimes V_i$. This operator is defined up to a scalar multipler. We show that the tensor product $W$ is irreducible, if and only if all operators $A_{ij}$ with $i<j$ are invertible. This implies that the Yangian module $W$ is irreducible, if and only if all pairwise tensor products $V_i\otimes V_j$ with $i<j$ are irreducible. We also introduce the notion of a Durfee rank of a skew Young diagram. For an ordinary Young diagram, this is the length of its main diagonal.


title: Simple singularities of multigerms of curves

abstract: We classify stably simple reducible curve singularities in complex spaces of any dimension. This extends the same classification of of irreducible curve singularities obtained by V.I.Arnold. The proof is essentially based on the method of complete transversals by J.W.Bruce et al.


title: Solvable groups definable in o-minimal structures

abstract: Let N be an o-minimal structure. In this paper we develop group extension and group cohomology theory over N and use it to describe the N-definable solvable groups. We prove an o-minimal analogue of the Lie-Kolchin-Mal'cev theorem and we describe the N-definable G-modules and the N-definable rings.


title: Poisson Diffeomorphism Groups

abstract: We construct explicitly a class of coboundary Poisson-Lie structures on the group of formal diffeomorphisms of ${\Bbb R}^n$. Equivalently, these give rise to a class of coboundary triangular Lie bialgebra structures on the Lie algebra $W_n$ of formal vector fields on ${\Bbb R}^n$. We conjecture that this class accounts for all such coboundary structures. The natural action of the constructed Poisson-Lie diffeomorphism groups induces large classes of compatible Poisson structures on ${\Bbb R}^n$, thus making it a Poisson homogeneous space. Moreover, the left-right action of the Poisson-Lie groups $FDiff({\Bbb R}^m)\times FDiff({\Bbb R}^n)$ induces classes of compatible Poisson structures on the space $J^{\infty}({\Bbb R}^m,{\Bbb R}^n)$ of infinite jets of smooth maps ${\Bbb R}^m\to {\Bbb R}^n$, which makes it also a Poisson homogeneous space for this action. Initial steps towards classification of these structures are taken.


title: On the frequency of vanishing of quadratic twists of modular L-functions

abstract: We present theoretical and numerical evidence for a random matrix theoretic approach to a conjecture about vanishings of quadratic twists of certain L-functions


title: Inverse Grobner Basis Problem in Codimension Two

abstract: Generic linkage is used to compute a prime ideal such that the radical of the initial ideal of the prime ideal is equal to the radical of a given codimension two monomial ideal that has a Cohen-Macaulay quotient ring.


title: Degrees of polarizations on an abelian surface with real multiplication

abstract: Let F be a real quadratic field, and let R be an order in F. Suppose given a polarized abelian surface (A,\lambda) defined over a number field k with a symmetric action of R defined over k. This paper considers varying A within the k-isogeny class of A to reduce the degree of \lambda and the conductor of R. It is proved, in particular, that there is a k-isogenous principally polarized abelian surface with an action of the full ring of integers of F when F has class number 1 and the degree of \lambda and the conductor of R are odd and coprime.


title: On the quantum cohomology of Fano bundles over projective spaces

abstract: In their paper "Quantum cohomology of projective bundles over $P^n$" (Trans. Am. Math. Soc. (1998)350:9 3615-3638) Z.Qin and Y.Ruan introduce interesting techniques for the computation of the quantum ring of manifolds which are projectivized bundles over projective spaces; in particular, in the case of splitting bundles they prove under some restrictions the formula of Batyrev about the quantum ring of toric manifolds. Here we prove the formula of Batyrev on the quantum Chern-Leray equation for a large class of splitting bundles.


title: On the Geometry of Sasakian-Einstein 5-Manifolds

abstract: On simply connected five manifolds Sasakian-Einstein metrics coincide with Riemannian metrics admitting real Killing spinors which are of great interest as models of near horizon geometry for three-brane solutions in superstring theory [KW]. We expand on the recent work of Demailly and Koll\'ar [DK] and Johnson and Koll\'ar [JK1] who give methods for constructing K\"ahler-Einstein metrics on log del Pezzo surfaces. By [BG1] circle V-bundles over log del Pezzo surfaces with K\"ahler-Einstein metrics have Sasakian-Einstein metrics on the total space of the bundle. Here these simply connected 5-manifolds arise as links of isolated hypersurface singularities which by the well known work of Smale [Sm] together with [BG3] must be diffeomorphic to $\scriptstyle{S^5#l(S^2\times S^3)}.$ More precisely, using methods from Mori theory in algebraic geometry we prove the existence of 14 inequivalent Sasakian-Einstein structures on $\scriptstyle{S^2\times S^3}$ and infinite families of such structures on $\scriptstyle{#l(S^2\times S^3)}$ with $\scriptstyle{2\leq l\leq7}$. We also discuss the moduli problem for these Sasakian-Einstein structures.


title: Uniqueness of symplectic canonical class, surface cone and symplectic cone of 4-manifolds with b^+=1

abstract: Let M be a closed oriented smooth 4-manifold admitting symplectic structures. If M is minimal and has b^+=1, we prove that there is a unique symplectic canonical class up to sign, and any real second cohomology class of positive square is represented by symplectic forms. Similar results hold when M is not minimal.


title: Flattening and subanalytic sets in rigid analytic geometry

abstract: Let $K$ be an algebraically closed field endowed with a complete non-archimedean norm with valuation ring $R$. Let $f\colon Y\to X$ be a map of $K$-affinoid varieties. In this paper we study the analytic structure of the image $f(Y)\subset X$; such an image is a typical example of a subanalytic set. Using Embedded Resolution of Singularities, we derive in the zero characteristic case a Uniformization Theorem for subanalytic sets: after finitely many local blowing ups with smooth centres, a subanalytic set becomes semi-analytic. To prove this we establish a Flattening Theorem for affinoid varieties in the style of Hironaka, which allows a reduction to the study of subanalytic sets arising from flat maps. Specifically we show that a map of affinoid varieties can be rendered flat by using only finitely many local blowing ups. The case of an image under a flat map is then dealt with by a small extension of a result of Raynaud. Our result can be conveniently stated as a Quantifier Elimination theorem for the valuation ring $R$ in an analytic expansion of the language of valued fields. This formulation is in the style of Denef and van den Dries.


title: O-minimal cohomology and definably compact definable groups

abstract: Let N be an o-minimal expansion of a real closed field. We develop cohomology theory for the category of N-definable manifolds and N-definable maps, and use this to solve the Peterzil-Steinhorn problem on the existence of torsion points on N-definably compact N-definable abelian groups. We compute the cohomology rings of N-definably compact N-definable groups, and we prove an o-minimal analog of the Poincare duality theorem, the Alexander dualti theorem, the Lefschetz duality theorem and the Lefschetz fixed point theorem.


title: An introduction to o-minimal structures

abstract: The first papers on o-minimal structures appeared in the mid 1980s, since then the subject has grown into a wide ranging generalisation of semialgebraic, subanalytic and subpfaffian geometry. In these notes we try to show that this is in fact the case by presenting several examples of o-minimal structures and by listing some geometric properties of sets and maps definable in o-minimal structures. We omit here any reference to the pure model theory of o-minimal structures and to the theory of groups and rings definable in o-minimal structures.


title: Integration on Lie supergroups. A Hopf superalgebra approach

abstract: For a large class of finite-dimensional Lie superalgebras (including the classical simple ones) a Lie supergroup associated to the algebra is defined by fixing the Hopf superalgebra of functions on the supergroup. Then it is shown that on this Hopf superalgebra there exists a non-zero left integral. According to a recent work by the authors, this integral is unique up to scalar multiples.


title: On Fourier orthogonal projections in the rotation algebra

abstract: Projections are constructed in the rotation algebra that are orthogonal to their Fourier transform and which are fixed under the flip automorphism. Such projections are expected in a construction of an inductive limit structure for the irrational rotation algebra that is invariant under the Fourier transform. (Namely, as two circle algebras of the same dimension, that are swapped by the Fourier transform, plus a few points.) The calculation is based on Rieffel's construction of the Schwartz space as an equivalence bimodule of rotation algebras as well as on the theory of Theta functions.


title: Output Feedback Invariants

abstract: The paper is concerned with the problem of determining a complete set of invariants for output feedback. Using tools from geometric invariant theory it is shown that there exists a quasi-projective variety whose points parameterize the output feedback orbits in a unique way. If the McMillan degree $n\geq mp$, the product of number of inputs and number of outputs, then it is shown that in the closure of every feedback orbit there is exactly one nondegenerate system.


title: Diagonal Sums of Boxed Plane Partitions

abstract: We give a simple proof of a nice formula for the means and covariances of the diagonal sums of a uniformly random boxed plane parition.


title: The Homflypt skein module of a connected sum of 3-manifolds

abstract: If M is an oriented 3-manifold, let S(M) denote the Homflypt skein module of M. We show that S(M_1 connect sum M_2) is isomorphic to S(M_1) tensor S(M_2) modulo torsion. In fact, we show that S(M_1 connect sum M_2) is isomorphic to S(M_1) tensot S(M_2) if we are working over a certain localized ring. We show the similar result holds for relative skein modules. If M contains a separating 2-sphere, we give conditions under which certain relative skein modules of M vanish over specified localized rings.


title: Deux caracterisations de la mesure d'equilibre d'un endomorphisme de Pk(C)

abstract: Let $\mu$ be the equilibrium measure of an endomorphism of ${\sf P}^k({\bf C})$. We show that it is its unique measure of maximal entropy. We build $\mu$ directly as the distribution of any point outside an algebraic exceptional set.


title: Fractional Super Lie Algebras and Groups

abstract: n^{th} root of a Lie algebra and its dual (that is fractional supergroup) based on the permutation group $S_n$ invariant forms are formulated in the Hopf algebra formalism. Detailed discussion of $S_3$-graided $sl(2)$ algebras is done.

categories: math.RT hep-th math-ph math.GR math.MP math.QA


title: Some remarks on Uq(sl(2,R)) at root of unity

abstract: We discuss a modification of Uq(sl(2,R)) and a class of its irreducible representations when q is a root of unity.


title: Ruled special Lagrangian 3-folds in C^3

abstract: This is the fourth in a series of papers math.DG/0008021, math.DG/0008155, math.DG/0010036 constructing explicit examples of special Lagrangian submanifolds (SL m-folds) in C^m. A submanifold of C^m is ruled if it is fibred by a family of real straight lines in C^m. This paper studies ruled special Lagrangian 3-folds in C^3, giving both general theory and families of examples. Our results are related to previous work of Harvey and Lawson, Borisenko and Bryant. An important class of ruled SL 3-folds is the special Lagrangian cones in C^3. Each ruled SL 3-fold is asymptotic to a unique SL cone. We study the family of ruled SL 3-folds N asymptotic to a fixed SL cone N_0. We find that this depends on solving a linear equation, so that the family of such N has the structure of a vector space. We also show that the intersection Sigma of N_0 with the unit sphere in C^3 is a Riemann surface, and construct a ruled SL 3-fold N asymptotic to N_0 for each holomorphic vector field w on Sigma. As corollaries of this we write down two large families of explicit SL 3-folds depending on a holomorphic function on C, which include many new examples of singularities of SL 3-folds. We also show that each SL T^2 cone N_0 can be extended to a 2-parameter family of ruled SL 3-folds asymptotic to N_0, and diffeomorphic to T^2 x R.


title: Coherent Sheaves on Configuration Schemes

abstract: We introduce and study configuration schemes, which are obtained by ``glueing'' usual schemes along closed embeddings. The category of coherent sheaves on a configuration scheme is investigated. Smooth configuration schemes provide alternative ``resolutions of singularities'' of usual singular schemes. We consider in detail the case when the singular scheme is a union of hyperplanes in a projective space.


title: A Dolbeault-type Double Complex on Quaternionic Manifolds

abstract: It has long been known that differential forms on complex manifolds can be decomposed under the action of the complex structure to give the Dolbeault complex. This paper presents an analogous double complex for quaternionic manifolds using the fact that the cotangent space is isomorphic to a quaternionic vector space. This defines an action of the group Sp(1) of unit quaternions on the cotangent space, which induces an action of Sp(1) on the space of k-forms. A double complex is obtained by decomposing the k-forms into irreducible representations of Sp(1), resulting in new 'quaternionic Dolbeault' operators and cohomology groups. Links with previous work in quaternionic geometry, particularly the differential complex of Salamon and the q-holomorphic functions of Joyce, are demonstrated.


title: On a generic inverse differential Galois problem for GL_n

abstract: \newcommand{\GLn}{\operatorname{GL}_n} \newcommand{\GL}{\GLn(C)} Let $F$ be a differential field with algebraically closed field of constants $C$. We prove that $F< Y_{ij}>(X_{ij})\supset F< Y_{ij}>$ is a generic Picard-Vessiot extension of $F$ for $\GL$. If $E\supset F$ is any Picard-Vessiot extension with differential Galois group $\GL$ then $E\cong F(X_{ij})$ as $F$- and $\GL$-modules and there are $f_{ij}\in F$ such that $F< Y_{ij}>(X_{ij})\supset F< Y_{ij}>$ specializes to $E\supset F$ via $ Y_{ij}\mapsto f_{ij}$. The $[f_{ij}]\in M_n(F)$ for which the image of the map $ Y_{ij}\mapsto f_{ij}$ is a Picard-Vessiot extension of $F$ with group $\GL$ can be characterized as those $[f_{ij}]\in M_n(F)$ for which the wronskians of the monomials in $F< Y_{ij}>(X_{ij})$ of degree less than or equal to $k$ all map to non-zero elements under $ Y_{ij}\mapstof_{ij}$.


title: Hypersurfaces and generalized deformations

abstract: The moduli space of generalized deformations of a Calabi-Yau hypersurface is computed in terms of the Jacobian ring of the defining polynomial. The fibers of the tangent bundle to this moduli space carry algebra structures, which are identified using subalgebras of a deformed Jacobian ring.


title: Isomorphism of the groups of Vassiliev Invariants of Legendrian and of Pseudo Legendrian Knots in Contact 3-manifolds

abstract: The study of the Vassiliev invariants of Legendrian knots was started by D. Fuchs and S. Tabachnikov who showed that the groups of complex-valued Vassiliev invariants of Legendrian and of framed knots in the standard contact $R^3$ are canonically isomorphic. Recently we constructed the first examples where Vassiliev invariants of Legendrian and of framed knots are different, and Vassiliev invariants of Legendrian knots distinguish Legendrian knots that are isotopic as framed knots and homotopic as Legendrian immersions. This raised the question what information about Legendrian knots can be captured using Vassiliev invariants. Here we answer this question by showing that for any contact 3-manifold with a cooriented contact structure the groups of Vassiliev invariants of Legendrian knots and of knots that are nowhere tangent to a vector field that coorients the contact structure are canonically isomorphic.


title: Tsygan formality and Duflo formula

abstract: We prove the 0-(co)homology part of the conjecture on the cup-products on tangent cohomology in the Tsygan formality [Sh2]. We discuss its applications to the Duflo formula.


title: Lefschetz pencils and the canonical class for symplectic 4-manifolds

abstract: We present a new proof of a result due to Taubes: if X is a closed symplectic four-manifold with b_+(X) > 1+b_1(X) and with some positive multiple of the symplectic form a rational class, then the Poincare dual of the canonical class of X may be represented by an embedded symplectic submanifold. The result builds on the existence of Lefschetz pencils on symplectic four-manifolds. We approach the topological problem of constructing submanifolds with locally positive intersections via almost complex geometry. The crux of the argument is that a Gromov invariant counting pseudoholomorphic sections of an associated bundle of symmetric products is non-zero.


title: On Solutions of Three Quasi-Geostrophic Models

abstract: We consider the 2D quasi-geostrophic model and its two different regularizations. Global regularity results are established for the regularized models with subcritical or critical indices. The proof of Onsager's conjecture concerning weak solutions of the 3D Euler equations and the notion of dissipative solutions of Duchon and Robert are extended to weak solutions of the quasi-geostrophic equation.


title: Cech-De Rham theory for leaf spaces of foliations

abstract: The purpose of this paper is to present a ``Cech-De Rham'' model for the cohomology of leaf spaces. This model lends itself to the construction of characteristic classes (in the cohomology of classifying spaces) by explicit geometrical constructions which are immediate extensions of the standard constructions for manifolds. In particular we rediscover (and explain) the Thurston formula and the Bott formulas for cocycles on diffeomorphism groups. We also use the Cech-De Rham model to explicitly describe the relation between the cohomology of the classifying space, the basic cohomology, and the foliated cohomology of foliations.


title: The Diameter of Long-Range Percolation Clusters on Finite Cycles

abstract: Bounds for the diameter and for the expansion of long-range percolation clusters on the cycle $\Z / N\Z$ are given.


title: A Remark on the Deformation of GNS Representations of *-Algebras

abstract: Motivated by deformation quantization we investigate the algebraic GNS construction of *-representations of deformed *-algebras over ordered rings and compute their classical limit. The question if a GNS representation can be deformed leads to the deformation of positive linear functionals. Various physical examples from deformation quantization like the Bargmann-Fock and the Schr{\"o}dinger representation as well as KMS functionals are discussed.


title: On the valuation of arithmetic-average Asian options: Laguerre series and Theta integrals

abstract: In a recent significant advance, using Laguerre series, the valuation of Asian options has been reduced by Dufresne to computing the negative moments of Yor's accumulation processes. For these he has given functional recursion rules whose probabilistic structure has been the object of intensive recent studies of Yor and co-workers. Stressing the role of Theta functions, this paper now solves these recursion rules and expresses these negative moments as linear combinations of certain Theta integrals. Using the Jacobi transformation formula, very rapidly and very stably convergent series for them are derived. In this way computable series for Black--Scholes price of the Asian option result which are numerically illustrated. Moreover, the Laguerre series approach of Dufresne is made rigorous, and extensions and modifications are discussed. The key for this is the analysis of the integrability and growth properties of Yor's 1992 Asia density, basic problems which seem to be addressed here for the first time.


title: Hopf group-coalgebras

abstract: We study algebraic properties of Hopf group-coalgebras, recently introduced by Turaev. We show the existence of integrals and traces for such coalgebras, and we generalize the main properties of quasitriangular and ribbon Hopf algebras to the setting of Hopf group-coalgebras.


title: Topology of U(2,1) representation spaces

abstract: The Betti numbers of moduli spaces of representations of a universal central extension of a surface group in the groups U(2,1) and SU(2,1) are calculated. The results are obtained using the identification of these moduli spaces with moduli spaces of Higgs bundles, and Morse theory, following Hitchin's programme. This requires a careful analysis of critical submanifolds which turn out to have a description using either symmetric products of the surface or moduli spaces of Bradlow pairs.


title: A construction of symplectic connections through reduction

abstract: We give an elementary construction of symplectic connections through reduction. This provides an elegant description of a class of symmetric spaces and gives examples of symplectic connections with Ricci type curvature, which are not locally symmetric; the existence of such symplectic connections was unknown.


title: Induction of Hamiltonian Poisson actions

abstract: We propose a Poisson-Lie analog of the symplectic induction procedure, using an appropriate Poisson generalization of the reduction of symplectic manifolds with symmetry. Having as basic tools the equivariant momentum maps of Poisson actions, the double group of a Poisson-Lie group and the reduction of Poisson manifolds with symmetry, we show how one can induce a Poisson action admitting an equivariant momentum map. We prove that, under certain conditions, the dressing orbits of a Poisson-Lie group can be obtained by Poisson induction from the dressing orbits of a Poisson-Lie subgroup.


title: On shape optimization and the Pompeiu problem

abstract: The Pompeiu problem is considered as shape optimization problem. We show stability of the ball which is the minimum point of related domain functional. The proof is based on shape derivative method. Stability of the ball for general domain functionals invariant under the rigid motions is discussed.


title: On some Definite Integrals involving the Hurwitz Zeta function

abstract: We establish a series of integral formulae involving the Hurwitz zeta function. Applications are given to integrals of Bernoulli polynomials, log Gamma(q) and log sin(q).


title: Rational curves on Grassmannians: systems theory, reality, and transversality

abstract: We discuss a particular problem of enumerating rational curves on a Grassmannian from several perspectives, including systems theory, real enumerative geometry, and symbolic computation. We also present a new transversality result, showing this problem is enumerative in all characteristics. While it is well-known how this enumerative problem arose in mathematical physics and also its importance to the development of quantum cohomology, it is less known how it arose independently in mathematical systems theory. We describe this second story.


title: On the number of square integrable solutions and self-adjointness of symmetric first order systems of differential equations

abstract: The main purpose of this paper is to investigate the formal deficiency indices ${\cal N}_{\pm}(I)$ of a symmetric first order system $$ Jf'+Bf=\lambda {\cal H} f $$ on an interval $I$, where $I=\mathbb{R}$ or $I=\mathbb{R}_\pm.$ Here $J,B,{cal H}$ are $n\times n$ matrix valued functions and the Hamiltonian ${\cal H}\ge 0$ may be singular even everywhere. We obtain two results for such a system to have minimal numbers ${\cal N}_\pm(\mathbb{R})=0$ (resp. ${\cal N}_\pm(\mathbb{R}_\pm)=n$) and a criterion for their maximality ${\cal N}_{\pm}(\mathbb{R}_+)=2n.$ Some conditions for a canonical system to have intermediate numbers ${\cal N}_\pm(\mathbb{R}_+)$ are presented, too. We also obtain a generalization of the well-known Titchmarsh-Sears theorem for second order Sturm-Liouville type equations. This contains results due to Lidskii and Krein as special cases. It is important to note that in general the above system does not give rise to an operator but rather to a symmetric linear relation in a Hilbert space. These relations are investigated in detail. As a byproduct we obtain very short proofs of (generalizations of) the main results of a paper by Kogan and Rofe-Beketov (Proc. Roy. Soc. Edinb. 74 (1974/75))as well as a criterion for the quasi-regularity of canonical systems. This covers the Kac-Krein theorem and some results from the quoted paper of Kogan and Rofe-Beketov.


title: Large Deviation Principles and Complete Equivalence and Nonequivalence Results for Pure and Mixed Ensembles

abstract: We consider a general class of statistical mechanical models of coherent structures in turbulence, which includes models of two-dimensional fluid motion, quasi-geostrophic flows, and dispersive waves. First, large deviation principles are proved for the canonical ensemble and the microcanonical ensemble. For each ensemble the set of equilibrium macrostates is defined as the set on which the corresponding rate function attains its minimum of 0. We then present complete equivalence and nonequivalence results at the level of equilibrium macrostates for the two ensembles.


title: Ample families, multihomogeneous spectra, and algebraization of formal schemes

abstract: Generalizing homogeneous spectra for rings graded by natural numbers, we introduce multihomogeneous spectra for rings graded by abelian groups. Such homogeneous spectra have the same completeness properties as their classical counterparts, but are possibly nonseparated. We relate them to ample families of invertible sheaves and simplicial toric varieties. As an application, we generalize Grothendieck's Algebraization Theorem and show that formal schemes with certain ample families are algebraizable.


title: Derived Categories of Twisted Sheaves on Elliptic Threefolds

abstract: We construct an equivalence between the derived category of sheaves on an elliptic threefold without a section and a derived category of twisted sheaves (modules over an Azumaya algebra) on any small resolution of its relative Jacobian.


title: A New Look at The Crossed-Product of a C*-algebra by an Endomorphism

abstract: We give a new definition for the crossed-product of a C*-algebra A by a *-endomorphism \alpha, which depends not only on the pair (A,\alpha) but also on the choice of a transfer operator (defined in the paper). With this we generalize some of the earlier constructions in the situations in which they behave best (e.g. for monomorphisms with hereditary range), but we get a different and perhaps more natural outcome in other situations. For example, we show that the Cuntz-Krieger algebra O_A arises as the result of our construction when applied to the corresponding Markov subshift and a very natural transfer operator.


title: Une infinite de structures de contact tendues sur les varietes toroidales

abstract: We show that every closed toroidal irreducible orientable 3-manifold carries infinitely many universally tight contact structures.


title: Does the Jones polynomial detect the unknot?

abstract: We address the question: Does there exist a non-trivial knot with a trivial Jones polynomial? To find such a knot, it is almost certainly sufficient to find a non-trivial braid on four strands in the kernel of the Burau representation. I will describe a computer algorithm to search for such a braid.


title: Global knot theory in F^2 x R

abstract: We introduce a special class of knots, called global knots, in F^2 x R and we construct new isotopy invariants, called T-invariants, for global knots. Some T-invariants are of finite type but they cannot be extracted from the generalized Kontsevitch integral (which is consequently not the universal invariant of finite type for the restricted class of global knots). We prove that T-invariants separate all global knots of a certain type. As a corollary, we prove the non-invertibility of some links in S^3 without making any use of the link group.


title: Micro-support and Cauchy problem for temperate solutions of regular $\cal D$-Modules

abstract: Let $X$ be a complex manifold, $V$ a smooth involutive submanifold of $T^*X$, $\cal M$ a microdifferential system regular along $V$, and $F$ an $\mathbb{R}$-constructible sheaf on $X$. The complex of temperate microfunction solutions of $\cal M$ associated with $F$ is now well understood. In this paper we study the temperate case and give a bound to the micro-support of the temperate microfunction solution sheaves and solve the Cauchy problem under suitable hyperbolicity conditions.


title: The spread and extreme terms of Jones polynomials

abstract: We adapt Thistlethwaite's alternating tangle decomposition of a knot diagram to identify the potential extreme terms in its bracket polynomial, and give a simple combinatorial calculation for their coefficients, based on the intersection graph of certain chord diagrams.


title: Cohomology of Siegel Varieties with p-adic integral coefficients and Applications

abstract: Under the assumption that Galois representations associated to Siegel modular forms exist (it is known only for genus at most 2), we show that the cohomology with p-adic integral coefficients of Siegel Varieties, when localized at a non-Eisenstein maximal ideal of the Hecke algebra, is torsion-free, provided the prime p is large with the respect to the weight of the coefficient system. The proof uses p-adic Hodge theory, the dual BGG complex modulo p in order to compute the Hodge-Tate weights for the mod p cohomology. We apply this result to the construction of Hida p-adic families for symplectic groups and to the first step in the construction of a Taylor-Wiles system for these groups.


title: Exact Groups, Induced Ideals, and Fell Bundles

abstract: Given a C*-algebra B which is graded over a discrete group G we consider ideals of B which are invariant under the projections onto each of the grading subspaces. If G is exact and the standard conditional expectation of B is faithful we show that all such ideals are induced, i.e. are generated by their intersection with the unit fiber algebra. This result is derived from a generalization to the context of Fell bundles of a Theorem by Kirchberg and Wasserman according to which a group is exact if and only if its reduced C*-algebra is exact.


title: On harmonic elements for semi-simple Lie algebra

abstract: Let ${\goth g}$ be a semi-simple complex Lie algebra, ${\goth g}={\goth n^-}\oplus{\goth h}\oplus{\goth n}$ its triangular decomposition. Let $U({\goth g})$, resp. $U_q({\goth g})$, be its enveloping algebra, resp. its quantized enveloping algebra. This article gives a quantum approach to the combinatorics of (classical) harmonic elements and Kostant's generalized exponents for ${\goth \g}$. On the one hand, we give specialization results concerning harmonic elements, central elements of $U_q({\goth g})$, and the Joseph and Letzter's decomposition. For ${\goth g}={\goth sl}_{n+1}$, we describe the specialization of quantum harmonic space in the ${\math N}$-filtered algebra $U({\goth sl}_{n+1})$ as the materialization of a theorem of Lascoux-Leclerc-Thibon. This enables us to study a Joseph-Letzter decomposition in the algebra $U({\goth sl}_{n+1})$. On the other hand, we prove that highest weight harmonic elements can be calculated in terms of the dual of Lusztig's canonical base. In the simply laced case, we parametrize a base of $\n$-invariants of minimal primitive quotients by the set $\co$ of integral points of a convex cone.


title: Bernstein-Gelfand-Gelfand complexes and cohomology of nilpotent groups over $\Z_p$ for representations with p-small weights

abstract: We show that for $p$small highest weight $\lambda$, 1) there is a $\Z_p$-integral version of the Bernstein-Gelfand-Gelfand complex, still a direct summand subcomplex of the standard complex for $V(\lambda)$ 2) Similarly, a $\Z_p$-integral (as well as a mod. p) version of Kostant formula holds true. This paper is a companion paper to the one by Mokrane-Tilouine (AG, subm. 12/12/00), where these results are requested.


title: Operators Extending (Pseudo-)Metrics

abstract: We introduce a general method of extending (pseudo-)metrics from X to FX, where F is a normal functor on the category of metrizable compacta. For many concrete instances of F, our method specializes to the known constructions.


title: Link-homotopy Invariants of Finite Type

abstract: An explicit polynomial in the linking numbers $l_{ij}$ and Milnor's triple linking numbers $\mu(rst)$ on six component links is shown to be a well-defined finite type link-homotopy invariant. This solves a problem raised by B. Mellor and D. Thurston. An extension of our construction also produces a finite type link invariant which detects the invertibility for some links.


title: On moduli spaces of symplectic forms

abstract: We prove that, for any n, there are simply-connected four-manifolds which admit n-tuples of symplectic forms whose first Chern classes have pairwise different divisibilities in integral cohomology. It follows that the moduli space of symplectic forms modulo diffeomorphisms on such a manifold has at least n connected components.


title: Compact homogeneous CR manifolds

abstract: We classify all compact simply connected homogeneous CR manifolds $M$ of codimension one and with non-degenerate Levi form up to CR equivalence. The classification is based on our previous results and on a description of the maximal connected compact group $G(M)$ of automorphisms of $M$. We characterize also the standard homogeneous CR manifolds as the homogeneous CR manifolds whose group $G(M)$ in not semisimple.


title: Estimating the p-variation index of a sample function: An application to financial data set

abstract: This paper modifies a box-counting method of estimating a fractal dimension of a graph, and applies it to estimate the roughness of a sample function of a stochastic process such as a Levy process or a Gaussian process with stationary increments


title: Decomposition of polytopes and polynomials

abstract: Motivated by a connection with the factorization of multivariate polynomials, we study integral convex polytopes and their integral decompositions in the sense of the Minkowski sum. We first show that deciding decomposability of integral polygons is NP-complete then present a pseudo-polynomial time algorithm for decomposing polygons. For higher dimensional polytopes, we give a heuristic algorithm which is based upon projections and uses randomization. Applications of our algorithm include absolute irreducibility testing and factorization of polynomials via their Newton polytopes.


title: Intersecting Legendrians and blowups

abstract: The purpose of this note is to describe the relationship between two classes of Legendre distributions. These two classes are distributions associated to an intersecting pair of Legendre submanifolds, introduced by one of us by analogy with intersecting Lagrangian distributions of Melrose and Uhlmann, and Legendre distributions associated to a fibred scattering structure introduced by the authors. We prove a general result, and also give an example in two dimensions, which shows explicitly the relation between the two spaces in a simple setting.


title: Automorphisms of manifolds

abstract: This is a survey paper on spaces of automorphisms of manifolds and spaces of manifolds in a fixed homotopy type. It describes the main theorems of traditional surgery theory, but also the main theorems of pseudoisotopy theory, alias concordance theory, Waldhausen style. It culminates in (an outline of) a synthesis of these two theories, producing algebraic models, valid in a stable range, for spaces of manifolds in a fixed homotopy type. This is inspired by earlier work of Burghelea-Lashof and Hatcher. The algebraic models are a mix of algebraic L-theory and algebraic K-theory.


title: Two-dimensional Artin groups with CAT(0) dimension three

abstract: We exhibit 3-generator Artin groups which have finite 2-dimensional Eilenberg-Mac Lane spaces, but which do not act properly discontinuously by semi-simple isometries on a 2-dimensional CAT(0) complex. We prove that infinitely many of these groups are the fundamental groups of compact, non-positively curved 3-complexes. These examples show that the geometric dimension of a CAT(0) group may be strictly less than its CAT(0) dimension.


title: Instantons on the Quantum 4-Spheres S^4_q

abstract: We introduce noncommutative algebras $A_q$ of quantum 4-spheres $S^4_q$, with $q\in\IR$, defined via a suspension of the quantum group $SU_q(2)$, and a quantum instanton bundle described by a selfadjoint idempotent $e\in \Mat_4(A_q)$, $e^2=e=e^*$. Contrary to what happens for the classical case or for the noncommutative instanton constructed in Connes-Landi, the first Chern-Connes class $ch_1(e)$ does not vanish thus signaling a dimension drop. The second Chern-Connes class $ch_2(e)$ does not vanish as well and the couple $(ch_1(e), ch_2(e))$ defines a cycle in the $(b,B)$ bicomplex of cyclic homology.


title: Random Sparse Polynomial Systems

abstract: Let f:=(f^1,\...,f^n) be a sparse random polynomial system. This means that each f^i has fixed support (list of possibly non-zero coefficients) and each coefficient has a Gaussian probability distribution of arbitrary variance. We express the expected number of roots of f inside a region U as the integral over U of a certain mixed volume form. When U = (C^*)^n, the classical mixed volume is recovered. The main result in this paper is a bound on the probability that the condition number of f on the region U is larger than 1/epsilon. This bound depends on the integral of the mixed volume form over U, and on a certain intrinsic invariant of U as a subset of a toric manifold. Polynomials with real coefficients are also considered, and bounds for the expected number of real roots and for the condition number are given. The connection between zeros of sparse random polynomial systems, Kahler geometry, and mechanics (momentum maps) is discussed.


title: One-sided M-Ideals and Multipliers in Operator Spaces, I

abstract: The theory of M-ideals and multiplier mappings of Banach spaces naturally generalizes to left (or right) M-ideals and multiplier mappings of operator spaces. These subspaces and mappings are intrinsically characterized in terms of the matrix norms. In turn this is used to prove that the algebra of left adjointable mappings of a dual operator space X is a von Neumann algebra. If in addition X is an operator A--B-bimodule for $C^{*}$-algebras A and B, then the module operations on X are automatically weak$^{*}$ continuous. One sided L-projections are introduced, and analogues of various results from the classical theory are proved. An assortment of examples is considered.


title: Sh-Lie algebras Induced by Gauge Transformations

abstract: The physics of ``particles of spin $\leq 2$'' leads to representations of a Lie algebra $\Xi$ of gauge parameters on a vector space $\Phi$ of fields. Attempts to develop an analogous theory for spin $>2$ have failed; in fact, there are claims that such a theory is impossible (though we have been unable to determine the hypotheses for such a `no-go' theorem). This led BBvD [burgers:diss,BBvd:three,BBvD:probs] to generalize to `field dependent parameters' in a setting where some analysis in terms of smooth functions is possible. Having recognized the resulting structure as that of an sh-lie algebra ($L_\infty$-algebra), we have now reproduced their structure entirely algebraically, hopefully shedding some light on what is going on.


title: A proof of the Baum-Connes conjecture for reductive adelic groups

abstract: Let F be a global field, A its ring of adeles, G a reductive group over F. We prove the Baum-Connes conjecture for the adelic group G(A).


title: The Growth of Grigorchuk's Group

abstract: In 1980 Rostislav Grigorchuk constructed a group $G$ of intermediate growth, and later obtained the following estimates on its growth function: $$e^{\sqrt{n}}\precsim\gamma(n)\precsim e^{n^\beta},$$ where $\beta=\log_{32}(31)\approx0.991$. Using elementary methods we bring the upper bound down to $\log(2)/\log(2/\eta)\approx0.767$, where $\eta\approx0.811$ is the real root of the polynomial $X^3+X^2+X-2$.


title: Generalized Weierstrass Kernels on the Intersection of Two Complex Hypersurfaces

abstract: On plane algebraic curves the so-called Weierstrass kernel plays the same role of the Cauchy kernel on the complex plane. A straightforward prescription to construct the Weierstrass kernel is known since one century. How can it be extended to the case of more general curves obtained from the intersection of hypersurfaces in a $n$ dimensional complex space? This problem is solved in this work in the case $n=3$. As an application, the correlation functions of bosonic string theories are constructed on a canonical curve of genus four.


title: On the solutions of weak normality equations in multidimensional case

abstract: The system of weak normality equations constitutes a part in the complete system of normality equations. Solutions of each of these two systems of equations are associated with some definite classes of Newtonian dynamical systems in Riemannian manifolds. In this paper for the case of simplest flat Riemannian manifold $M=\Bbb R^n$ with $n\geq 3$ we show that there exist solutions of weak normality equations that do not solve complete system of normality equations in whole. Hence associated classes of Newtonian dynamical systems do not coincide with each other.


title: Descent Numbers and Major Indices for the Hyperoctahedral Group

abstract: We introduce and study three new statistics on the hyperoctahedral group $B_{n}$, and show that they give two generalizations of Carlitz's identity for the descent number and major index over $S_{n}$. This answers a question posed by Foata.


title: Linearization of Poisson actions and singular values of matrix products

abstract: We prove that the linearization functor from the category of Hamiltonian K-actions with group-valued moment maps in the sense of Lu, to the category of ordinary Hamiltonian K-actions, preserves products up to symplectic isomorphism. As an application, we give a new proof of the Thompson conjecture on singular values of matrix products and extend this result to the case of real matrices. We give a formula for the Liouville volume of these spaces and obtain from it a hyperbolic version of the Duflo isomorphism.


title: Separation of variables in perturbed cylinders

abstract: We study the Laplace operator subject to Dirichlet boundary conditions in a two-dimensional domain that is one-to-one mapped onto a cylinder (rectangle or infinite strip). As a result of this transformation the original eigenvalue problem is reduced to an equivalent problem for an operator with variable coefficients. Taking advantage of the simple geometry we separate variables by means of the Fourier decomposition method. The ODE system obtained in this way is then solved numerically yielding the eigenvalues of the operator. The same approach allows us to find complex resonances arising in some non-compact domains. We discuss numerical examples related to quantum waveguide problems.


title: A generalised Hopf algebra for solitons

abstract: This paper considers a generalisation of the idea of a Hopf algebra in which a commutative ring replaces the field in the unit and counit. It is motivated by an example from the inverse scattering formalism for solitons. We begin with the corresponding idea for groups, where the concept of the identity is altered.


title: Bounded cohomology of subgroups of mapping class groups

abstract: We show that every subgroup of the mapping class group MCG(S) of a compact surface S is either virtually abelian or it has infinite dimensional second bounded cohomology. As an application, we give another proof of the Farb-Kaimanovich-Masur rigidity theorem that states that MCG(S) does not contain a higher rank lattice as a subgroup.


title: Tensor products of level zero representations

abstract: We define an action of the braid group (associated with a simple Lie algebra) on the space of $n$-tuples of power series in an indeterminate u, with constant term zero. Using this, we give a sufficient condition for a tensor product of finite-dimensional representations of quantum affine algebras to be cyclic on the tensor product of highest weight vectors. In particular, this proves a generalization of a recently established conjecture of Akasaka and Kashiwara (see qa/0010293 and qa/0006084).


title: A Fredholm Determinant Identity and the Convergence of Moments for Random Young Tableaux

abstract: We obtain an identity between Fredholm determinants of two kinds of operators, one acting on functions on the unit circle and the other acting on functions on a subset of the integers. This identity is a generalization of an identity between a Toeplitz determinant and a Fredholm determinant that has appeared in the random permutation context. Using this identity, we prove, in particular, convergence of moments for arbitrary rows of a random Young diagram under Plancherel measure.


title: Grope cobordism of classical knots

abstract: We explain the notion of a grope cobordism between two knots in a 3-manifold. Each grope cobordism has a type that can be described by a rooted unitrivalent tree. By filtering these trees in different ways, we show how the Goussarov-Habiro approach to finite type invariants of knots is closely related to our notion of grope cobordism. Thus our results can be viewed as a geometric interpretation of finite type invariants. An interesting refinement we study are knots modulo symmetric grope cobordism in 3-space. On one hand this theory maps onto the usual Vassiliev theory and on the other hand it maps onto the Cochran-Orr-Teichner filtration of the knot concordance group, via symmetric grope cobordism in 4-space. In particular, the graded theory contains information on finite type invariants (with degree h terms mapping to Vassiliev degree 2^h), Blanchfield forms or S-equivalence at h=2, Casson-Gordon invariants at h=3, and for h=4 one has the new von Neumann signatures of a knot.


title: Geometry of chain complexes and outer automorphisms under derived equivalence

abstract: The two main theorems proved here are as follows: If $A$ is a finite dimensional algebra over an algebraically closed field, the identity component of the algebraic group of outer automorphisms of $A$ is invariant under derived equivalence. This invariance is obtained as a consequence of the following generalization of a result of Voigt. Namely, given an appropriate geometrization $\text{Comp}^A_{\bold d}$ of the family of finite $A$-module complexes with fixed sequence $\bold d$ of dimensions and an ``almost projective'' complex $X\in \text{Comp}^A_{\bold d}$, there exists a canonical vector space embedding $$T_{X}(\text{Comp}^A_{\bold d}) / T_{X}(G.X) \ \longrightarrow \text{Hom}_{D^b (A\text{-Mod})}(X, X[1]),$$ where $G$ is the pertinent product of general linear groups acting on $\text{Comp}^A_{\bold d}$, tangent spaces at $X$ are denoted by $T_X(-)$, and $X$ is identified with its image in the derived category $D^b (A\text{-Mod})$.


title: Smooth Character Varieties for Torus Knot Groups

abstract: Semisimple representations of the free product Z_p*Z_q determine \theta-semistable representations of a specific quiver Q_pq. The dimension vectors of \theta-stable representations of this quiver were classified by Le Bruyn and Adriaenssens. In this paper we classify the moduli spaces M_\alpha^ss(Q_pq,\theta) which are smooth projective varieties.


title: On Quinn's Invariants of 2-dimensional CW-complexes

abstract: Given a semisimple stable autonomous tensor category over a field $K$, to any group presentation with finite number of generators we associate an element $Q(P)\in K$ invariant under the Andrews-Curtis moves. We show that in fact, this is the same invariant as the one produced by the algorithm of Frank Quinn. The new definition allows us to present a relatively simple proof of the invariance and to evaluate $Q(P)$ for some presentations. On the basis of some numerical calculations over different Gelfand-Kazhdan categories, we make a conjecture which relates the value of $Q(P)$ for two different classes of presentations.


title: Log-canonical forms and log canonical singularities

abstract: For a normal subvariety $V$ of ${\bf C}^n$ with a good ${\bf C}^*$-action we give a simple characterization for when it has only log canonical, log terminal or rational singularities. Moreover we are able to give formulas for the plurigenera of isolated singular points of such varieties and of the logarithmic Kodaira dimension of $V\backslash \{0\}$. For this purpose we introduce sheaves of $m$-canonical and $L^{2,m}$-canonical forms on normal complex spaces. For the case of affine varieties with good ${\bf C}^*$-action we give an explicit formula for these sheaves in terms of the grading of the dualizing sheaf and its tensor powers.


title: The eta-invariant, Maslov index, and spectral flow for Dirac-type operators on manifolds with boundary

abstract: Several proofs have been published of the Mod Z gluing formula for the eta-invariant of a Dirac operator. However, so far the integer contribution to the gluing formula for the eta-invariant is left obscure in the literature. In this article we present a gluing formula for the eta-invariant which expresses the integer contribution as a triple index involving the boundary conditions and the Calderon projectors of the two parts of the decomposition. The main ingredients of our presentation are the Scott-Wojciechowski theorem for the determinant of a Dirac operator on a manifold with boundary and the approach of Bruning-Lesch to the mod Z gluing formula. Our presentation includes careful constructions of the Maslov index and triple index in a symplectic Hilbert space. As a byproduct we give intuitively appealing proofs of two theorems of Nicolaescu on the spectral flow of Dirac operators. As an application of our methods, we carry out a detailed analysis of the eta-invariant of the odd signature operator coupled to a flat connection using adiabatic methods. This is used to extend the definition of the Atiyah-Patodi-Singer rho-invariant to manifolds with boundary. We derive a ``non-additivity'' formula for the Atiyah-Patodi-Singer rho-invariant and relate it to Wall's non-additivity formula for the signature of even-dimensional manifolds.


title: Degenerations of Schubert varieties of SL(n)/B to toric varities

abstract: Using polytopes defined in an earlier paper, we show in this paper the existence of degenerations of a large class of Schubert varieties of SL_n to toric varieties by extending the method used by Gonciulea and Lakshmibai for a minuscule G/P to Schubert varieties in SL_n


title: Tensor products of C(X)-algebras over C(X)

abstract: Given a Hausdorff compact space X, we study the C^*-(semi)-norms on the algebraic tensor product $A\otimes_{alg,C(X)} B$ of two C(X)-algebras A and B over C(X). In particular, if one of the two C(X)-algebras defines a continuous field of C^*-algebras over X, there exist minimal and maximal C^*-norms on $A\otimes_{alg,C(X)} B$ but there does not exist any C^*-norm on $A\otimes_{alg,C(X)} B$ in general.


title: Moments of inertia associated with the lozenge tilings of a hexagon

abstract: Consider the probability that an arbitrary chosen lozenge tiling of the hexagon with side lengths a, b, c, a, b, c contains the horizontal lozenge with lowest vertex (x,y) as if it described the distribution of mass in the plane. We compute the horizontal and the vertical moments of inertia with respect to this distribution. This solves a problem by Propp [1, Problem 7].


title: A few remarks on exact C(X)-algebras

abstract: We extend in this paper several results of E. Kirchberg, S. Wassermann and the author dealing with continuous fields of C*--algebras to the semi-continuous case. We provide a new characterisation of separable lower semi-continuity C*--bundles and we present exactness criteria for C(X)-algebras and unital bisimplifiable Hopf \cst-algebras.


title: Subtriviality of continuous fields of nuclear C*--algebras

abstract: We extend in this paper the characterisation of a separable nuclear \cst-algebra given by Kirchberg proving that given a unital separable continuous field of nuclear C*-algebras A over a compact metrizable space X, the C(X)-algebra A is isomorphic to a unital C(X)-subalgebra of the trivial continuous field C(X;O_2), image of C(X;O_2) by a norm one projection.


title: Intersection cohomology of Drinfeld's compactifications

abstract: Let $X$ be a smooth complete curve, $G$ be a reductive group and $P\subset G$ a parabolic. Following Drinfeld, one defines a compactification $\widetilde{\on{Bun}}_P$ of the moduli stack of $P$-bundles on $X$. The present paper is concerned with the explicit description of the Intersection Cohomology sheaf of $\widetilde{\on{Bun}}_P$. The description is given in terms of the combinatorics of the Langlands dual Lie algebra $\check{\mathfrak g}$.


title: State-estimators for chemical reaction networks of Feinberg-Horn-Jackson zero deficiency type

abstract: One of the most interesting questions in control theory is that of constructing observers. Observers compute estimates of the internal states of a dynamical system, using data provided by measurement probes or partial state information. For linear systems, Luenberger observers (also known as "deterministic Kalman filters" since they amount to Kalman filters designed without regard to the statistics of measurement noise) provide a general solution, but, for nonlinear systems, establishing generally applicable conditions for existence and convergence of observers is an open and active area of research. This paper provides a necessary and sufficient condition for detectability, and an explicit construction of observers when this condition is satisfied, for chemical reaction networks of the Feinberg-Horn-Jackson zero deficiency type.


title: Invitation to higher local fields (Introduction)

abstract: The monograph "Invitation to higher local fields" is the result of the conference on higher local fields held in Muenster, August 29 to September 5, 1999. The aim is to provide an introduction to higher local fields (more generally complete discrete valuation fields with arbitrary residue field) and render the main ideas of this theory (Part I), as well as to discuss several applications and connections to other areas (Part II). The volume grew as an extended version of talks given at the conference. The two parts are separated by a paper of K. Kato, an IHES preprint from 1980 which has never been published. We hope that the volume will be a useful introduction and guide to the subject. The contributions to this volume were received over the period November 1999 to August 2000 and the electronic publication date is 10 December 2000. This is the introduction: math.NT/0012131. Other arXiv references are as follows: Part I: Sections 1: math.NT/0012132, 2: math.NT/0012133, A: math.NT/0012134, 4: math.NT/0012135, 5: math.NT/0012136, 6: math.NT/0012137, 7: math.NT/0012138, 8: math.NT/0012139, 9: math.NT/0012140, 10: math.NT/0012141, 11: math.NT/0012142, 12: math.NT/0012143, 13: math.NT/0012144, 14: math.NT/0012145, 15: math.NT/0012146, 16: math.NT/0012147, 17: math.NT/0012148, 18: math.NT/0012149 . Interlude: math.NT/0012150 . Part II: Sections 1: math.NT/0012151, 2: math.NT/0012152, 3: math.NT/0012153, 4: math.NT/0012154, 5: math.NT/0012155, 6: math.NT/0012156, 7: math.NT/0012157, 8: math.NT/0012158, 9: math.NT/0012159, 10: math.NT/0012160 .


title: Invitation to higher local fields, Part I, section 1: Higher dimensional local fields

abstract: Basic concepts of higher local fields and topologies on their additive and multiplicative groups are introduced.


title: Invitation to higher local fields, Part I, section 2: p-primary part of the Milnor K-groups and Galois cohomology of fields of characteristic p

abstract: For an arbitrary field p-torsion and cotorsion of the Milnor groups K_n(F) and K_n^{t}(F)=K_n(F)/\cap_{l\ge1} lK_n(F) are discussed. The work contains further discussions of an analogue of Satz 90 for K_n(F) and K_n^{t}(F) and computation of H^{n+1}_m(F) where F is either the rational function field in one variable F=k(t) or the formal power series F=k((t)).


title: Invitation to higher local fields, Part I, section A: Appendix to Section 2

abstract: This appendix discusses some basic definitions and properties of differential forms and Kato's cohomology groups in characteristic p and a sketch of the proof of Bloch-Kato-Gabber's theorem which describes the differential symbol from the Milnor K-group K_n(F)/p of a field F of positive characteristic p to the differential module \Omega_F^n.


title: Invitation to higher local fields, Part I, section 4: Cohomological symbol for henselian discrete valuation fields of mixed characteristic

abstract: This is a sketch of main steps of the proof of Bloch--Kato's theorem which states that the norm residue homomorphism K_q(K)/m\to H^q(K,\Bbb Z/m(q)) is an isomorphism for a henselian discrete valuation field K of characteristic 0 with residue field of positive characteristic.


title: Invitation to higher local fields, Part I, section 5: Kato's higher local class field theory

abstract: This is a presentation of main ingredients of Kato's higher local class field theory.


title: Invitation to higher local fields, Part I, section 6: Topological Milnor K-groups of higher local fields

abstract: Certain topologies on Milnor K-groups of higher local fields K are studied. These are related to the topology on the multiplicative group and important for explicit higher local class field theory. The structure of the quotient of Milnor K-groups modulo the intersection of all neighbourhoods of zero is described.


title: Invitation to higher local fields, Part I, section 7: Parshin's higher local class field theory in characteristic p

abstract: This is a review of Parshin's higher local class field theory in characteristic p.


title: Invitation to higher local fields, Part I, section 8: Explicit formulas for the Hilbert symbol

abstract: This is a review of the vast area of explicit formulas for the (wild) Hilbert symbol (not only in the one-dimensional case but in the higher dimensional case as well). An extensive bilbiography is included.


title: Invitation to higher local fields, Part I, section 9: Exponential maps and explicit formulas

abstract: An exponential homomorphism for a complete discrete valuation field of characteristic zero which relates differential forms and the Milnor K-groups of the field is studied. An application to explicit formulas is included.


title: Invitation to higher local fields, Part I, section 10: Explicit higher local class field theory

abstract: This is a presentation of explicit methods to construct higher local class field theory by using topological K-groups, explicit symbols and a generalization of Neukirch-Hazewinkel's axiomatic approaches. The existence theorem is discussed as well.


title: Invitation to higher local fields, Part I, section 11: Generalized class formations and higher class field theory

abstract: Koya's and author's approach to the higher local reciprocity map as a generalization of the classical class formations approach to the level of complexes of Galois modules.


title: Invitation to higher local fields, Part I, section 12: Two types of complete discrete valuation fields

abstract: This work sketches the author classification of complete discrete valuation fields K of characteristic 0 with residue field of characteristic p into two classes depending on the behaviour of the torsion part of a differential module. For each of these classes, the quotient filtration of the Milnor K-groups of K is characterized for all sufficiently large members of the filtration, as a quotient of differential modules. For a higher local field the previous result and higher local class field theory imply certain restrictions on types of cyclic extensions of the field of sufficiently large degree.


title: Invitation to higher local fields, Part I, section 13: Abelian extensions of absolutely unramified complete discrete valuation fields

abstract: This is an introduction to the author theory of cyclic p-extensions of an absolutely unramified complete discrete valuation field K with arbitrary residue field of characteristic p. In this theory a homomorphism is constructed from the p-part of the group of characters of K to Witt vectors over its residue field.


title: Invitation to higher local fields, Part I, section 14: Explicit abelian extensions of complete discrete valuation fields

abstract: This work presents author's explicit methods of constructing abelian extensions of complete discrete valuation fields. His approach to explicit equations of a cyclic extension of degree p^n which contains a given cyclic extension of degree p is explained.


title: Invitation to higher local fields, Part I, section 15: On the structure of the Milnor K-groups of complete discrete valuation fields

abstract: This work contains a list of all known results on the quotient filtration on the Milnor K-groups of a complete discrete valuation field in terms of differential modules over the residue field . Author's recent study of the case of a tamely ramified field of characteristic 0 with residue field of characteristic p by using an exponential map and a syntomic complex is explained.


title: Invitation to higher local fields, Part I, section 16: Higher class field theory without using K-groups

abstract: Author's generalization of one-dimensional class field theory to theory of abelian totally ramified p-extensions of a complete discrete valuation field with arbitrary non-separably p-closed residue field and its applications are described.