title: Stable Ranks, K-Groups and Witt Groups of some Banach and C-star Algebras

abstract: We show that certain dense and spectral invariant subalgebras of a $C^*$-algebra have the same bilateral Bass stable rank. This is a partial answer for (a version of) an open problem raised by R.G. Swan. Then, for certain Banach algebras, we indicate when the homotopy groups $\pi_{i}(GL_{n}(A))$ stabilize for large $n$. This is an improvement of a result due to G. Corach and A. Larotonda. Using some results due to M. Karoubi, we show the isomorphism of the Witt group of a symmetric Banach algebra with the $K_0$-group of its enveloping $C^*$-algebra. The question if this is true for all involutive Banach algebras was raised by A. Connes.


title: Spaces of Incompressible Surfaces

abstract: This is a "software upgrade" to a paper originally published in 1976, with cleaner statements and improved proofs. The main result is that, in a Haken 3-manifold, the space of all incompressible surfaces in a single isotopy class is contractible, except when the surface is the fiber of a surface bundle structure, in which case the space of all surfaces isotopic to the fiber has the homotopy type of a circle (the fibers). The main application from the 1976 paper is also rederived, the theorem (proved independently by Ivanov) that the diffeomorphism group of a Haken 3-manifold has contractible components, except in the case of certain Seifert manifolds when the components of the diffeomorphism group have the homotopy type of a circle or torus acting on the manifold.


title: Separation of spectra in analysis of Berezin kernels

abstract: Consider an unitary highest weight representation of a group U(p,q) in holomorphic functions on the symmetric space U(p,q)/U(p)\times U(q). Consider its restriction \rho to the subgroup O(p,q). This restriction has a complicated spectrum consisting of representations having different types. We construct a decomposition of \rho to a finite direct sum of representations \tau_j such that each summand \tau_j has spectrum consisting of one-type representations. Our tool is theorems about restrictions of holomorphic functions on Cartan domain U(p,q)/U(p)\times U(q) to submanifolds of the boundary. We also obtain Plancherel formula for this restriction.


title: Harmonic tori and generalised Jacobi varieties

abstract: This article shows that every non-isotropic harmonic 2-torus in complex projective space factors through a generalised Jacobi variety related to the spectral curve. Each map is composed of a homomorphism into the variety and a rational map off it. The same ideas allow one to construct (pluri)-harmonic maps of finite type from Euclidean space into Grassmannians and the projective unitary groups. Further, some of these maps will be purely algebraic. For maps into complex projective space the algebraic maps of the plane are always doubly periodic i.e. they yield 2-tori. The classification of all these algebraic maps remains open.


title: On a Combinatorial Identity

abstract: Recently the second named author discovered a combinatorial identity in the context of vertex representations of quantum Kac-Moody algebras. We give a direct and elementary proof of this identity. Our method is to show a related identity of distributions.


title: Dwork Cohomology and Algebraic D-Modules

abstract: Using local cohomology and algebraic D-Modules, we generalize a comparison theorem between relative de Rham cohomology and Dwork cohomology due to N. Katz, A. Adolphson and S. Sperber.


title: On an ambiguity in the concept of partial and total derivatives in classical analysis

abstract: Ambiguity is shown in the context of the differential calculus of several variables and with the help of the language of category theory, a way to solve it in its most general form is offered. It is also shown that this new definition is related to other well-known definitions in the literature.


title: A Morita theorem for algebras of operators on Hilbert space

abstract: We show that two operator algebras are strongly Morita equivalent (in the sense of Blecher, Muhly and Paulsen) if and only if their categories of operator modules are equivalent via completely contractive functors. Moreover, any such functor is completely isometrically isomorphic to the Haagerup tensor product (= interior tensor product) with a strong Morita equivalence bimodule.


title: Modules over operator algebras, and the maximal C^*-dilation

abstract: We continue our study of the general theory of possibly nonselfadjoint algebras of operators on a Hilbert space, and modules over such algebras, developing a little more technology to connect `nonselfadjoint operator algebra' with the C$^*-$algebraic framework. More particularly, we make use of the universal, or maximal, C$^*-$algebra generated by an operator algebra, and C$^*-$dilations. This technology is quite general, however it was developed to solve some problems arising in the theory of Morita equivalence of operator algebras, and as a result most of the applications given here (and in a companion paper) are to that subject. Other applications given here are to extension problems for module maps, and characterizations of C$^*-$algebras.


title: On Morita's Fundamental Theorem for C*-algebras

abstract: We give a solution, via operator spaces, of an old problem in the Morita equivalence of C*-algebras. Namely, we show that C*-algebras are strongly Morita equivalent in the sense of Rieffel if and only if their categories of left operator modules are isomorphic via completely contractive functors. Moreover, any such functor is completely isometrically isomorphic to the Haagerup tensor product (= interior tensor product) with a strong Morita equivalence bimodule. An operator module over a C$^*-$algebra $\A$ is a closed subspace of some B(H) which is left invariant under multiplication by $\pi(\A)$, where $\pi$ is a *-representation of $\A$ on $H$. The category $_{\A}HMOD$ of *-representations of $\A$ on Hilbert space is a full subcategory of the category $_{\A}OMOD$ of operator modules. Our main result remains true with respect to subcategories of $OMOD$ which contain $HMOD$ and the C$^*-$algebra itself. It does not seem possible to remove the operator space framework; in the very simplest cases there may exist no bounded equivalence functors on categories with bounded module maps as morphisms (as opposed to completely bounded ones). Our proof involves operator space techniques, together with a C$^*-$algebra argument using compactness of the quasistate space of a C$^*-$algebra, and lowersemicontinuity in the enveloping von Neumann algebra.


title: The Shilov boundary of an operator space - and the characterization theorems

abstract: We study operator spaces, operator algebras, and operator modules, from the point of view of the `noncommutative Shilov boundary'. In this attempt to utilize some `noncommutative Choquet theory', we find that Hilbert C$^*-$modules and their properties, which we studied earlier in the operator space framework, replace certain topological tools. We introduce certain multiplier operator algebras and C$^*-$algebras of an operator space, which generalize the algebras of adjointable operators on a C$^*-$module, and the `imprimitivity C$^*-$algebra'. It also generalizes a classical Banach space notion. This multiplier algebra plays a key role here. As applications of this perspective, we unify, and strengthen several theorems characterizing operator algebras and modules, in a way that seems to give more information than other current proofs. We also include some general notes on the `commutative case' of some of the topics we discuss, coming in part from joint work with Christian Le Merdy, about `function modules'.


title: Pants Decompositions of Surfaces

abstract: We consider collections of disjoint simple closed curves in a compact orientable surface which decompose the surface into pairs of pants. The isotopy classes of such curve systems form the vertices of a 2-complex, whose edges correspond to certain simple moves in which only one curve changes, and whose 2-cells correspond to certain elementary cycles of simple moves. The main theorem is that this 2-complex is simply-connected. Thus any two pants decompositions of a surface are joinable by a sequence of simple moves, and any two such sequences of simple move are related by the elementary relations. The proof is similar to the proof, in a 1980 paper with W. Thurston, of an analogous result for curve systems with connected genus zero complement. [The present paper is essentially an excerpt from a joint paper with P. Lochak and L. Schneps which is to appear in Crelle's Journal.]


title: Comments on Lagrange Partial Differential Equation

abstract: The relations between solutions of the three types of totally linear partial differential equations of first order are presented. The approach is based on factorization of a non-homogeneous first order differential operator to products consisting of a scalar function, a homogeneous first order differential operator and the reciprocal of the scalar function. The factorization procedure is utilized to show that all totally linear differential equations of first order can be transformed to each other, and in particular to a homogeneous one.


title: Lattices and codes with long shadows

abstract: In an earlier paper (math.NT/9906019) we showed that any integral unimodular lattice L of rank n which is not isometric with Z^n has a characteristic vector of norm at most n-8. [A "characteristic vector" of L is a vector w in L such that 2|(v,w-v) for all v in L; it is known that the characteristic vectors all have norm congruent to n mod 8 and comprise a coset of 2L in L.] Here we use modular forms and the classification of unimodular lattices of rank <24 to find all L whose minimal characteristic vectors have norm n-8. Along the way we also obtain congruences and a lower bound on the kissing number of unimodular lattices with minimal norm 2. We then state and prove analogues of these results for self-dual codes, and relate them directly to the lattice problems via "Construction A".


title: Planar trees, slalom curves and hyperbolic knots

abstract: We deduce from a rooted tree in the disk a slalom divide and a slalom knot. A slalom knot is either the local link of a simple plane curve singularity of type A_2n, E_6, E_8 or a fibered hyperbolic knot with very special monodromy.


title: Mixed Hodge Complexes on Algebraic Varieties

abstract: We introduce the notion of mixed Hodge complex on an algebraic variety, improving Du Bois' filtered complex, and relate Deligne's theory of mixed Hodge structure with the theory of mixed Hodge module. This was supposed to be true, but is quite nontrivial, because the theory of mixed Hodge module does not work on a simplicial scheme. Some application to the Du Bois singularity is given.


title: On minimal log discrepancies

abstract: An explanation to the boundness of minimal log discrepancies conjectured by V.V. Shokurov would be that the minimal log discrepancies of a variety in its closed points define a lower semi-continuous function. We check this lower semi-continuity behaviour for varieties of dimension at most 3 and for toric varieties of arbitrary dimension.


title: Orientations complexes des J-courbes reelles

abstract: The aim of this article is to obtain restrictions on complex orientations of dividing real J-curves of almost-complex manifolds. This problem comes from real algebraic geometry and the main result is a congruence generalising Arnol'd, Rokhlin, Mishachev, Zvonilov and Mikhalkin 's previous results. This congruence is obtained with a canonical map defined on homology groups of dimension half the dimension of the manifold with coefficients in $Z/lZ$, with values in $Z/2lZ$.


title: Invariante Differentialoperatoren und die Frobenius-Zerlegung einer G-Variet"at

abstract: Sei G eine zusammenh\"angende reduktive komplexe algebraische Gruppe, die auf einer glatten affinen komplexen Variet\"at M wirke, und bezeichne $\Diff[G]{M}$ die G-invarianten algebraischen Differentialoperatoren auf M. Zerlegt man den Koordinatenring $\Aff{\C}{M}$ in G-isotypische Komponenten, so zeigen wir, da{\ss} die hierbei auftretenden Vielfachheitenr\"aume irreduzible $\Diff[G]{M}$-Moduln sind, zentralen Charakter haben und durch diesen eindeutig bestimmt sind. Anschlie{\ss}end beschreiben wir die analoge Zerlegung f\"ur reelle Formen und zeigen anhand einiger singul\"arer Beispiele, da{\ss} f\"ur nicht glatte Variet\"aten \"ahnliche Ergebnisse nicht zu erwarten sind.


title: Conjugate Bailey pairs

abstract: In this paper it is shown that the one-dimensional configuration sums of the solvable lattice models of Andrews, Baxter and Forrester and the string functions associated with admissible representations of the affine Lie algebra A$_1^{(1)}$ as introduced by Kac and Wakimoto can be exploited to yield a very general class of conjugate Bailey pairs. Using the recently established fermionic or constant-sign expressions for the one-dimensional configuration sums, our result is employed to derive fermionic expressions for fractional-level string functions, parafermion characters and A$_1^{(1)}$ branching functions. In addition, $q$-series identities are obtained whose Lie algebraic and/or combinatorial interpretation is still lacking.


title: A Residue Formula for SU(2)-valued Moment Maps

abstract: Jeffrey and Kirwan suggested expressions for intersection pairings on the reduced space of a Hamiltonian G-space in terms of multiple residues. In this paper we prove a residue formula for symplectic volumes of reduced spaces of a quasi-Hamiltonian SU(2)-space. The definition of quasi-Hamiltonian G-spaces was recently introduced by Alekseev, Malkin and Meinrenken.


title: Quantum (1+1) extended Galilei algebras: from Lie bialgebras to quantum R-matrices and integrable systems

abstract: The Lie bialgebras of the (1+1) extended Galilei algebra are obtained and classified into four multiparametric families. Their quantum deformations are obtained, together with the corresponding deformed Casimir operators. For the coboundary cases quantum universal R-matrices are also given. Applications of the quantum extended Galilei algebras to classical integrable systems are explicitly developed.


title: Computation of the Generalized F Distribution

abstract: Exact expressions are given for the distribution function of the ratio of a weighted sum of independent chi-squared variables to a single chi-square variable, scaled appropriately. This distribution is the generalization of the classical F distribution to mixtures of chi-squared variables. The distribution is given in terms of the Lauricella functions. The truncation error bounds are given in terms of hypergeometric functions. Applications to detecting joint outliers and Hotelling's misspecified T^2 distribution are given.


title: Homological perturbation theory and mirror symmetry

abstract: We explain how deformation theories of geometric objects such as complex structures, Poisson structures and holomorphic bundle structures lead to differential Gerstenhaber or Poisson algebras. We use homological perturbation theory to obtain $A_{\infty}$ algebra structures and some canonically defined deformations of such structures on the cohomology. We formulate the $A_{\infty}$ algebraic mirror symmetry as the identification of the $A_{\infty}$ algebras together with their canonical deformations constructed this way on different manifolds.


title: A new bound on partial sum-sets and difference-sets, and applications to the Kakeya conjecture

abstract: Let $A, B$, be finite subsets of an abelian group, and let $G \subset A \times B$ be such that $# A, # B, # \{a+b: (a,b) \in G \} \leq N$. We consider the question of estimating the quantity $# \{a-b: (a,b) \in G \}$. Recently Bourgain improved the trivial upper bound of $N^2$ to $N^{2-1/13}$, and applied this to the Kakeya conjecture. We improve Bourgain's estimate further to $N^{2-1/6}$, and obtain the further improvement of $N^{2-1/4}$ if we also know that $# \{a+2b: (a,b) \in G\} \leq N$. We conclude that Besicovitch sets in $\R^n$ have Hausdorff dimension at least 6n/11+5/11 and Minkowski dimension at least $4n/7 + 3/7$. This is new for $n > 8$.


title: Asymptotic Morphisms and Elliptic Operators over C*-algebras

abstract: This paper provides an E-theoretic proof of an exact form, due to E. Troitsky, of the Mischenko-Fomenko Index Theorem for elliptic pseudodifferential operators over a unital C*-algebra. The main ingredients in the proof are the use of asymptotic morphisms of Connes and Higson, vector bundle modification, a Baum-Douglas-type group, and a KK-argument of Kasparov.


title: On function and operator modules

abstract: Let $A$ be a unital Banach algebra. We give a characterization of the left Banach $A$-modules $X$ for which there exists a commutative unital $C^*$-algebra $C(K)$, a linear isometry $i\colon X\to C(K)$, and a contractive unital homomorphism $\theta\colon A\to C(K)$ such that $i(a\cdotp x) =\theta(a)i(x)$ for any $a\in A, x\in X$. We then deduce a "commutative" version of the Christensen-Effros-Sinclair characterization of operator bimodules. In the last section of the paper, we prove a $w^*$-version of the latter characterization, which generalizes some previous work of Effros and Ruan.


title: Polyhedral Realizations of Crystal Bases and Braid-type Isomorphisms

abstract: We review the polyhedral realizations of crystal bases in the former half and in the latter half, we introduce braid-type isomorphisms for some rank 2 finite type crystals. Using this isomorphisms, for semi-simple Lie algebra we can show that polyhedral realizations can be obtained in the lattice of finite rank which coincides with the length of the longest element in the associated Weyl group.


title: Classification of osp(2|2) Lie Super-Bialgebras

abstract: The co-Lie structures compatible with the osp(2|2) Lie super algebra structure are investigated and found to be all of coboundary type. The corresponding classical r-matrices are classified into several disjoint families. The osp(1|2)+u(1) Lie super-bialgebras are also classified.


title: Enumeration of rhombus tilings of a hexagon which contain a fixed rhombus in the centre

abstract: We compute the number of rhombus tilings of a hexagon with side lengths a,b,c,a,b,c which contain the central rhombus and the number of rhombus tilings of a hexagon with side lengths a,b,c,a,b,c which contain the `almost central` rhombus above the centre.


title: Galois reconstruction of finite quantum groups

abstract: We describe a universal factorization for a functor with values in finite-dimensional measured algebras. More precisely we contruct the quantum automorphism group of this functor. This general recontruction result allows us to recapture a finite-dimensional Hopf algebra from the category of finite-dimensional measured comodule algebras.


title: On the deformation quantization of coadjoint orbits of semisimple Lie groups

abstract: In this paper we consider the problem of deformation quantization of the algebra of polynomial functions on coadjoint orbits of semisimple lie groups. The deformation of an orbit is realized by taking the quotient of the universal enveloping algebra of the Lie algebra of the given Lie group, by a suitable ideal. A comparison with geometric quantization in the case of SU(2) is done where both methods agree.


title: Topological rigidity for certain families of differentiable plane curves

abstract: We show that the topological classification and the smooth classification are generically the same for certain families of plane curves in a semi-local case(the double local case). Especially we give the normal form of transversely jointed two families of plane curves with second order contact at the envelope.


title: On Graded K-theory, Elliptic Operators and the Functional Calculus

abstract: Let $A$ be a graded C*-algebra. We characterize Kasparov's K-theory group $\hat{K}_0(A)$ in terms of graded *-homomorphisms by proving a general converse to the functional calculus theorem for self-adjoint regular operators on graded Hilbert modules. An application to the index theory of elliptic differential operators on smooth closed manifolds and asymptotic morphisms is discussed.


title: Games, predictions, interactivity

abstract: This short note is devoted to the unraveling of the hidden interactivity of ordinary games which is an artefact of predictions of the behaviour of other players by the fixed player and describes deviations of their real behaviour from such predictions. A method to improve the predictions is proposed. Applications to the strategical analysis of interactive games are also briefly specified.


title: Discrete Lagrangian reduction, discrete Euler-Poincare equations, and semidirect products

abstract: A discrete version of Lagrangian reduction is developed in the context of discrete time Lagrangian systems on $G\times G$, where $G$ is a Lie group. We consider the case when the Lagrange function is invariant with respect to the action of an isotropy subgroup of a fixed element in the representation space of $G$. In this context the reduction of the discrete Euler-Lagrange equations is shown to lead to the so called discrete Euler-Poincar\'e equations. A constrained variational principle is derived. The Legendre transformation of the discrete Euler-Poincar\'e equations leads to discrete Hamiltonian (Lie-Poisson) systems on a dual space to a semiproduct Lie algebra.


title: The Steinberg Curve

abstract: We construct 0-cycles on the product of 2 elliptic curves, which are not detectable by Bloch's analytic motivic cohomology.


title: Classification of finite dimensional modules of singly atypical type over the Lie superalgebras sl(m/n)

abstract: We classify the finite dimensional indecomposable sl(m/n)-modules with at least a typical or singly atypical primitive weight. We do this classification not only for weight modules, but also for generalized weight modules. We obtain that such a generalized weight module is simply a module obtained by ``linking'' sub-quotient modules of generalized Kac-modules. By applying our results to sl(m/1), we have in fact completely classified all finite dimensional sl(m/1)-modules.


title: Chern approximations for generalised group cohomology

abstract: Let G be a finite group, and let E be a generalised cohomology theory, subject to certain technical conditions. We study a certain ring C(E,G) that is the best possible approximation to E^0BG that can be built using only knowledge of the complex representations of G. There is a natural map C(E,G) -> E^0BG, whose image is the subring of E^0BG generated over E^0 by all Chern classes of such representations. There is ample precedent for considering this subring in the parallel case of ordinary cohomology. However, although the generators of this subring come from representation theory, the same cannot be said for the relations; one purpose of our construction is to remedy this. We also also develop a kind of generalised character theory which gives good information about the rationalisation of C(E,G). In the few cases that we have been able to analyse completely, either C(E,G) is rationally different from E^0BG for easy character-theoretic reasons, or we have C(E,G)=E^0BG. Rather than working directly with rings, we will study the formal schemes X(G)=spf(E^0BG) and XCh(G)=spf(C(E,G)). Suitably interpreted, our main definition is that XCh(G) is the scheme of homomorphisms from the Lambda-semiring R^+(G) of complex representations of G to the Lambda-semiring scheme of divisors on the formal group associated to E.


title: Dynamics of Perturbed Relative Equilibria of Point Vortices on the Sphere or Plane

abstract: Stable assemblages of localized vortices exist which have particle-like properties, such as mass, and which can interact with one another when they closely approach. In this article I calculate the mass of these localized states and numerically investigate some aspects of their interactions.


title: On what I do not understand (and have something to say): Part I

abstract: This is a non-standard paper, containing some problems in set theory I have in various degrees been interested in. Sometimes with a discussion on what I have to say; sometimes, of what makes them interesting to me, sometimes the problems are presented with a discussion of how I have tried to solve them, and sometimes with failed tries, anecdote and opinion. So the discussion is quite personal, in other words, egocentric and somewhat accidental. As we discuss many problems, history and side references are erratic, usually kept at a minimum (``see ... '' means: see the references there and possibly the paper itself). The base were lectures in Rutgers Fall'97 and reflect my knowledge then. The other half, concentrating on model theory, will subsequently appear.


title: Surfaces with radially symmetric prescribed Gauss curvature

abstract: We study conformally flat surfaces with prescribed Gaussian curvature, described by solutions $u$ of the PDE: $\Delta u(x)+K(x)\exp(2u(x))=0$, with $K(x)$ the Gauss curvature function at $x\in\RR^2$. We assume that the integral curvature is finite. For radially symmetric $K$ we introduce the notion of a least integrally curved surface, and also the notion of when such a surface is critical. With respect to these notions we analyze the radial symmetry of $u$ for the whole spectrum of possible integral curvature values. Under a mild integrability condition which rules out harmonic non-radial behavior near infinity, we prove that $u$ is radially symmetric and decreasing in the following categories: (1) $K$ is decreasing, $u$ a classical solution, and the integral curvature of the surface is above critical; (2) $K$ is decreasing, $u$ a classical solution, the integral curvature of the surface is critical, and the surface satisfies an additional integrability condition which is mildly stronger than finite integral curvature; (3) $K$ is non-positive. In categories 1 and 2, $K$ is allowed to diverge logarithmically or as power law to $-\infty$ at spatial infinity. Examples of nonradial solutions which violate one or more of our conditions are discussed as well. In particular, for non-positive and non-negative $K$ that satisfy appropriate integrability conditions and otherwise are fairly arbitrary, we introduce probabilistic methods to construct surfaces with finite integral curvature and entire harmonic asymptotics at infinity. For radial symmetric $K$ these surfaces are examples of broken symmetry.


title: Computations of Quandle Cocycle Invariants of Knotted Curves and Surfaces

abstract: State-sum invariants for knotted curves and surfaces using quandle cohomology were introduced by Laurel Langford and the authors in math.GT/9903135 In this paper we present methods to compute the invariants and sample computations. Computer calculations of cohomological dimensions for some quandles are presented. For classical knots, Burau representations together with Maple programs are used to evaluate the invariants for knot table. For knotted surfaces in 4-space, movie methods and surface braid theory are used. Relations between the invariants and symmetries of knots are discussed.


title: Classification of simple Harish-Chandra modules over the high rank Virasoro algebras

abstract: A notion of generalized highest weight modules over the high rank Virasoro algebras is introduced, and a theorem, which was originally given as a conjecture by Kac over the Virasoro algebra, is generalized. Mainly, we prove that a simple Harish-Chandra module over a high rank Virasoro algebra is either a generalized highest weight module, or a module of the intermediate series.


title: Gerbes of chiral differential operators

abstract: In this note we compute the cohomological obstruction to the existence of certain sheaves of vertex algebras on smooth varieties. These sheaves have been introduced and studied in the previous work by A.Vaintrob and two of the authors. Hopefully our result clarifies to some extent the constructions of the above work.


title: A new approach to inverse spectral theory, I. Fundamental formalism

abstract: We present a new approach (distinct from Gel'fand-Levitan) to the theorem of Borg-Marchenko that the m-function (equivalently, spectral measure) for a finite interval or half-line Schr\"odinger operator determines the potential. Our approach is an analog of the continued fraction approach for the moment problem. We prove there is a representation for the m-function m(-\kappa^2) = -\kappa - \int_0^b A(\alpha) e^{-2\alpha\kappa}\, d\alpha + O(e^{-(2b-\varepsilon)\kappa}). A on [0,a] is a function of q on [0,a] and vice-versa. A key role is played by a differential equation that A obeys after allowing x-dependence: \frac{\partial A}{\partial x} = \frac{\partial A}{\partial \alpha} + \int_0^\alpha A(\beta, x) A(\alpha -\beta, x)\, d\beta. Among our new results are necessary and sufficient conditions on the m-functions for potentials q_1 and q_2 for q_1 to equal q_2 on [0,a].


title: Quantum cohomology of a Pfaffian Calabi-Yau variety: verifying mirror symmetry predictions

abstract: We formulate a generalization of Givental-Kim's quantum hyperplane principle. This is applied to compute the quantum cohomology of a Calabi-Yau 3-fold defined as the rank 4 locus of a general skew-symmetric 7x7 matrix with coeffisients in P^6. The computation verifies the mirror symmetry predictions of R\o dland in math.AG/9801092.


title: Discrete orthogonal polynomial ensembles and the Plancherel measure

abstract: We consider discrete orthogonal polynomial ensembles which are discrete analogues of the orthogonal polynomial ensembles in random matrix theory. These ensembles occur in certain problems in combinatorial probability and can be thought of as probability measures on partitions. The Meixner ensemble is related to a two-dimensional directed growth model, and the Charlier ensemble is related to the lengths of weakly increasing subsequences in random words. The Krawtchouk ensemble occurs in connection with zig-zag paths in random domino tilings of the Aztec diamond, and also in a certain simplified directed first-passage percolation model. We use the Charlier ensemble to investigate the asymptotics of weakly increasing subsequences in random words and to prove a conjecture of Tracy and Widom. As a limit of the Meixner ensemble or the Charlier ensemble we obtain the Plancherel measure on partitions, and using this we prove a conjecture of Baik, Deift and Johansson that under the Plancherel measure, the distribution of the lengths of the first k rows in the partition, appropriately scaled, converges to the asymptotic joint distribution for the k largest eigenvalues of a random matrix from the Gaussian Unitary Ensemble. In this problem a certain discrete kernel, which we call the discrete Bessel kernel, plays an important role.


title: Shadows of Wave Fronts and Arnold-Bennequin Type Invariants of Fronts on Surfaces and Orbifolds

abstract: A first order Vassiliev invariant of an oriented knot in an $S^1$-fibration and a Seifert fibration over a surface is constructed. It takes values in a quotient of the group ring of the first homology group of the total space of the fibration. It gives rise to an invariant of wave fronts on surfaces and orbifolds related to the Bennequin-type invariants of the Legendrian curves studied by F. Aicardi, V. Arnold, M. Polyak, and S. Tabachnikov. Formulas expressing these relations are presented. We also calculate Turaev's shadow for the Legendrian lifting of a wave front. This allows to use in the case of wave fronts all invariants known for shadows.


title: Geometric subgroups of mapping class groups

abstract: This paper is a study of the subgroups of the mapping class groups of Riemann surfaces, called "geometric" subgroups, corresponding to the inclusion of subsurfaces. Our analysis includes surfaces with boundary and with punctures. The centres of all the mapping class groups are calculated. We determine the kernel of inclusion-induced maps of the mapping class group of a subsurface, and give necessary and sufficient conditions for injectivity. In the injective case, we show that the commensurability class of a geometric subgroup completely determines up to isotopy the defining subsurface, and we characterize centralizers, normalizers, and commensurators of geometric subgroups.


title: Homotopy Groups of the Space of Curves on a Surface

abstract: We explicitly calculate the fundamental group of the space $\mathcal F$ of all immersed closed curves on a surface $F$. It is shown that $\pi_n(\mathcal F)=0$, n>1 for $F\neq S^2, RP^2$. It is also proved that $\pi_2(\mathcal F)=\Z$, and $\pi_n(\mathcal F)=\pi_n(S^2)\oplus\pi_{n+1}(S^2)$, n>2, for $F$ equal to $S^2$ or $RP^2$.


title: Splitting homomorphisms and the Geometrization Conjecture

abstract: This paper gives an algebraic conjecture which is shown to be equivalent to Thurston's Geometrization Conjecture for closed, orientable 3-manifolds. It generalizes the Stallings-Jaco theorem which established a similar result for the Poincare Conjecture. The paper also gives two other algebraic conjectures; one is equivalent to the finite fundamental group case of the Geometrization Conjecture, and the other is equivalent to the union of the Geometrization Conjecture and Thurston's Virtual Bundle Conjecture.


title: Arnold-type Invariants of Curves on Surfaces

abstract: Recently V. Arnold introduced Strangeness and $J^{\pm}$ invariants of generic immersions of an oriented circle to $\R^2$. Here these invariants are generalized to the case of generic immersions of an oriented circle to an arbitrary surface $F$. We explicitly describe all the invariants satisfying axioms, which naturally generalize the axioms used by V. Arnold.


title: Positive positive-definite functions and measures on locally compact abelian groups

abstract: The author was recently able to provide a cohomological interpretation of Tate's Riemann-Roch formula for number fields using some new harmonic analysis objects, ghost-spaces. When trying to investigate these objects in general, we realized the importance of functions and measures on locally compact abelian groups that are both positive and positive-definite at the same time. It looks like this class of functions and measures was not systematically studied before. The goal of this paper is to partially fill in this gap. We answer some of the natural questions involving these functions and measures, especially those that satisfy some extra integrability conditions. We also study some operations and constructions involving these functions and measures. There are several very interesting open questions, that we are only able to point out at this moment. In particular, the structure of the cone of such functions is not clear even when the group is just $\R.$


title: Infinite dimensional Complex Dynamics

abstract: In this paper we investigate complex dynamics in infinite dimensions.


title: Fixed points and selections of multifunctions on spaces with convexity

abstract: We provide theorems containnig both Kakutani and Browder fixed points theorems as immediate corollaries, as well as Michael and Browder selection theorems. For this purpose we introduce convex structures more general than those of locally convex and non-locally convex topological vector spaces or generalized convexity structures due to Michael, Van de Vel and Horvath.


title: Algebraic Gauss-Manin Systems and Brieskorn Modules

abstract: We study the algebraic Gauss-Manin system and the algebraic Brieskorn module associated to a polynomial mapping with isolated singularities. Since the algebraic Gauss-Manin system does not contain any information on the cohomology of singular fibers, we first construct a non quasi-coherent sheaf which gives the cohomology of every fiber. Then we study the algebraic Brieskorn module, and show that its position in the the algebraic Gauss-Manin system is determined by a natural map to quotients of local analytic Gauss-Manin systems, and its pole part by the vanishing cycles at infinity, comparing it with the Deligne extension. This implies for example a formula for the determinant of periods. In the two-dimensional case we can describe the global structure of the algebraic Gauss-Manin system rather explicitly.


title: Resolutions of Ideals of Uniform Fat Point Subschemes of P^2

abstract: Let I be the ideal corresponding to a set of general points $p_1,...,p_n \in P^2$. There recently has been progress in showing that a naive lower bound for the Hilbert functions of symbolic powers $I^{(m)}$ is in fact attained when n>9. Here, for m sufficiently large, the minimal free graded resolution of $I^{(m)}$ is determined when n>9 is an even square, assuming only that this lower bound on the Hilbert function is attained. Under ostensibly stronger conditions (that are nonetheless expected always to hold), a similar result is shown to hold for odd squares, and for infinitely many m for each nonsquare n bigger than 9. All results hold for an arbitrary algebraically closed field k.


title: Plane curves with small linear orbits II

abstract: The `linear orbit' of a plane curve of degree d is its orbit in P^{d(d+3)/2} under the natural action of PGL(3). We classify curves with positive dimensional stabilizer, and we compute the degree of the closure of the linear orbits of curves supported on unions of lines. Together with the results of math.AG/9805020, this encompasses the enumerative geometry of all plane curves with small linear orbit. This information will serve elsewhere as an ingredient in the computation of the degree of the orbit closure of an arbitrary plane curve.


title: Diffraction from visible lattice points and k-th power free integers

abstract: We prove that the set of visible points of any lattice of dimension at least 2 has pure point diffraction spectrum, and we determine the diffraction spectrum explicitly. This settles previous speculation on the exact nature of the diffraction in this situation, see math-ph/9903046 and references therein. Using similar methods we show the same result for the 1-dimensional set of k-th power free integers with k at least 2. Of special interest is the fact that neither of these sets is a Delone set --- each has holes of unbounded inradius. We provide a careful formulation of the mathematical ideas underlying the study of diffraction from infinite point sets.


title: Normal all pseudo-Anosov subgroups of mapping class groups

abstract: We construct the first known examples of nontrivial, normal, all pseudo-Anosov subgroups of mapping class groups of surfaces. Specifically, we construct such subgroups for the closed genus two surface and for the sphere with five or more punctures. Using the branched covering of the genus two surface over the sphere and results of Birman and Hilden, we prove that a reducible mapping class of the genus two surface projects to a reducible mapping class on the sphere with six punctures. The construction introduces "Brunnian" mapping classes of the sphere, which are analogous to Brunnian links.


title: A seventeenth-order polylogarithm ladder

abstract: Cohen, Lewin and Zagier found four ladders that entail the polylogarithms ${\rm Li}_n(\alpha_1^{-k}):=\sum_{r>0}\alpha_1^{-k r}/r^n$ at order $n=16$, with indices $k\le360$, and $\alpha_1$ being the smallest known Salem number, i.e. the larger real root of Lehmer's celebrated polynomial $\alpha^{10}+\alpha^9-\alpha^7-\alpha^6-\alpha^5-\alpha^4-\alpha^3+\alpha+1$, with the smallest known non-trivial Mahler measure. By adjoining the index $k=630$, we generate a fifth ladder at order 16 and a ladder at order 17 that we presume to be unique. This empirical integer relation, between elements of $\{{\rm Li}_{17}(\alpha_1^{-k})\mid0\le k\le630\}$ and $\{\pi^{2j}(\log\alpha_1)^{17-2j}\mid 0\le j\le8\}$, entails 125 constants, multiplied by integers with nearly 300 digits. It has been checked to more than 59,000 decimal digits. Among the ladders that we found in other number fields, the longest has order 13 and index 294. It is based on $\alpha^{10}-\alpha^6-\alpha^5-\alpha^4+1$, which gives the sole Salem number $\alpha<1.3$ with degree $d<12$ for which $\alpha^{1/2}+\alpha^{-1/2}$ fails to be the largest eigenvalue of the adjacency matrix of a graph.


title: Inhomogeneous quantum Lie algebras

abstract: We study quantization of a class of inhomogeneous Lie bialgebras which are crossproducts in dual sectors with Abelian invariant parts. This class forms a category stable under dualization and the double operations. The quantization turns out to be a functor commuting with them. The Hopf operations and the universal R-matrices are given in terms of generators. The quantum algebras obtained appear to be isomorphic to the universal enveloping Poisson-Lie algebras on the dual groups.


title: Superconnections, twisted actions and positive scalar curvature

abstract: Using Quillen's superconnection formalism we give a new "twisted" approach to the rational Gromov-Lawson-Rosenberg (GLR) conjecture on topological obstructions to the existence of Riemannian metrics of positive scalar curvature on compact spin manifolds. In particular, we present a short proof of the rational GLR conjecture for word hyperbolic groups.


title: The Most Refined Invariant of Degree One of Knots and Links in $R^1$-Fibrations Over a Surface

abstract: As it is well-known, all Vassiliev invariants of degree one of a knot $K\subset R^3$ are trivial. There are nontrivial Vassiliev invariants of degree one, when the ambient space is not $R^3$. Recently, T. Fiedler introduced such invariants of a knot in an $R^1$-fibration over a surface $F$. They take values in the free $Z$-module generated by all the free homotopy classes of loops in $F$. Here, we generalize them to the most refined Vassiliev invariant of degree one. The ranges of values of all these invariants are explicitly described. We also construct a similar invariant of a two-component link in an $\R^1$-fibration. It generalizes the linking number.


title: Finite Type Invariants of Links with Fixed Linking Matrix

abstract: In this paper we introduce two theories of finite type invariants for framed links with fixed linking matrix. We show that these thepries are related to the theory of Vassiliev invariants of framed links. We also study the corresponding spaces of ``chord diagrams''.


title: The Complete Hyperbolicity of Cylindric Billiards

abstract: The connected configuration space of a so called cylindric billiard system is a flat torus minus finitely many spherical cylinders. The dynamical system describes the uniform motion of a point particle in this configuration space with specular reflections at the boundaries of the removed cylinders. It is proven here that under a certain geometric condition --- slightly stronger than the necessary condition presented in [S-Sz(1998)] --- a cylindric billiard flow is completely hyperbolic. As a consequence, every hard ball system is completely hyperbolic --- a result strengthening the theorem of [S-Sz(1999)].


title: Spinor Fields on the Surface of Revolution and their Integrable Deformations via the mKdV-Hierarchy

abstract: Spinor fields on surfaces of revolution conformally immersed into 3-dimensional space are considered in the framework of the spinor representations of surfaces. It is shown that a linear problem (a 2-dimensional Dirac equation) related with a modified Veselov- Novikov hierarchy in the case of the surface of revolution reduces to a well-known Zakharov-Shabat system. In the case of one-soliton solution an explicit form of the spinor fields is given by means of linear Bargmann potentials and is expressed via the Jost functions of the Zakharov-Shabat system. It is shown also that integrable deformations of the spinor fields on the surface of revolution are defined by a modified Korteweg-de Vries hierarchy.


title: $K_1$ of separative exchange rings and C*-algebras with real rank zero

abstract: For any (unital) exchange ring $R$ whose finitely generated projective modules satisfy the separative cancellation property ($A\oplus A\cong A\oplus B\cong B\oplus B$ implies $A\cong B$), it is shown that all invertible square matrices over $R$ can be diagonalized by elementary row and column operations. Consequently, the natural homomorphism $GL_1(R) \to K_1(R)$ is surjective. In combination with a result of Huaxin Lin, it follows that for any separative, unital C*-algebra $A$ with real rank zero, the topological $K_1(A)$ is naturally isomorphic to the unitary group $U(A)$ modulo the connected component of the identity. This verifies, in the separative case, a conjecture of Shuang Zhang.


title: On the automorphism groups of hyperbolic manifolds

abstract: We show that there does not exist a Kobayashi hyperbolic complex manifold of dimension $n\ne 3$, whose group of holomorphic automorphisms has dimension $n^2+1$ and that, if a 3-dimensional connected hyperbolic complex manifold has automorphism group of dimension 10, then it is holomorphically equivalent to the Siegel space. These results complement earlier theorems of the authors on the possible dimensions of automorphism groups of domains in comlex space. The paper also contains a proof of our earlier result on characterizing $n$-dimensional hyperbolic complex manifolds with automorphism groups of dimension $\ge n^2+2$.


title: Decomposition of log crepant birational morphisms between log terminal surfaces

abstract: We prove that every log crepant birational morphism between log terminal surfaces is decomposed into log-flopping type divisorial contraction morphisms and log blow-downs. Repeating these two kinds of contractions we reach a minimal log minimal surface from any log minimal surface.


title: Some aspects of braided geometry: differential calculus, tangent space, gauge theory

abstract: A new approach is suggested to quantum differential calculus on certain quantum varieties. It consists in replacing quantum de Rham complexes with differentials satisfying Leibniz rule by those which are in a sense close to Koszul complexes from \cite{G1}. We also introduce the tangent space on a quantum hyperboloid equipped with an action on the quantum function space and define the notions of quantum (pseudo)metric and quantum connection (partially defined) on it. All objects are considered from the viewpoint of flatness of quantum deformations. A problem of constructing a flatly deformed quantum gauge theory is discussed as well.


title: Quadratic Control Lyapunov Functions for Bilinear Systems

abstract: In this paper the existence of a quadratic control Lyapunov function for bilinear systems is considered. The existence of a control Lyapunov function ensures the existence of a control law which ensures the global asymptotic stability of the closed loop control system. In this paper we will derive conditions for the existence of a control Lyapunov function for bilinear systems. These conditions will be derived for the whole class of two dimensional bilinear systems with one control input. This will lead to a simple flow diagram representation for the controller design for bilinear systems using a quadratic control Lyapunov function. The controller design itself is carried out using Sontag's universal control law to obtain an asymptotically stable closed loop system. The Gutman control law which, however, only ensures practical stability of the closed loop system but which is considerably simpler than Sontag's control law will also be considered. An example will conclude the paper.


title: On invariant measure structure of ergodic discrete dynamical systems

abstract: There is studied an invariant measure structure of a class of ergodicl discrete dynamical systems by means of the measure generating function method


title: On A_k-singularity on a plane curve of fixed degree

abstract: Let $k(d)$ be the maximal possible integer $k$ such that there exists a plane curve of degree $d$ with an $A_k$--singularity. We construct a plane curve of degree $28s+9$ ($s\in\Z_{\ge 0}$) which has an $A_k$--singularity with $k=420s^2+269s+42$. Therefore one has $\underline{\lim}_{d\to\infty}k(d)/d^2\ge 15/28$ (pay attention that $15/28>1/2$).


title: Mixed hook-length formula for degenerate affine Hecke algebras

abstract: Take the degenerate affine Hecke algebra $H_{l+m}$ corresponding to the group $GL_{l+m}$ over a $p$-adic field. Consider the $H_{l+m}$-module $W$ induced from the tensor product of the evaluation modules over the algebras $H_l$ and $H_m$. The module $W$ depends on two partitions $\lambda$ of $l$ and $\mu$ of $m$, and on two complex numbers $z$ and $w$. There is a canonical operator $J$ acting in $W$, it corresponds to the rational Yang $R$-matrix. The algebra $H_{l+m}$ contains the symmetric group $S_{l+m}$, and $J$ commutes with the action of $S_{l+m}$ in $W$. Under this action, $W$ decomposes into irreducible subspaces according to the Littlewood-Richardson rule. We compute the eigenvalues of $J$, corresponding to certain multiplicity-free irreducible components of $W$. In particular, we obtain a nice formula for the ratio of two eigenvalues of $J$, corresponding to the "highest" and "lowest" (multiplicity-free) irreducible components of $W$.


title: Theorie de Toda sur reseau et espaces homogenes quantiques

abstract: Cet article expose un isomorphisme entre l'espace des phases du systeme de sinus-Gordon quantique sur reseaux et un espace homogene quantique pour $U_q(\hat{sl_2})$.


title: Flows on solenoids are generically not almost periodic

abstract: The space of non-singular flows on any given solenoid is shown to contain a generic subset consisting of flows that are not almost periodic. Whether this result carries over to Hamiltonian flows remains an open question.


title: Metrics on State Spaces

abstract: In contrast to the usual Lipschitz seminorms associated to ordinary metrics on compact spaces, we show by examples that Lipschitz seminorms on possibly non-commutative compact spaces are usually not determined by the restriction of the metric they define on the state space, to the extreme points of the state space. We characterize the Lipschitz norms which are determined by their metric on the whole state space as being those which are lower semicontinuous. We show that their domain of Lipschitz elements can be enlarged so as to form a dual Banach space, which generalizes the situation for ordinary Lipschitz seminorms. We give a characterization of the metrics on state spaces which come from Lipschitz seminorms. The natural (broader) setting for these results is provided by the ``function spaces'' of Kadison. A variety of methods for constructing Lipschitz seminorms is indicated.


title: Equivariant Singular Riemann-Roch Theorem

abstract: Equivariant Riemann-Roch theorem for the complex variety under the action of complex linear reductive algebraic group.


title: Using Automata to obtain Regular Expressions for Induced Actions

abstract: Presentations of Kan extensions of category actions provide a natural framework for expressing induced actions, and therefore a range of different combinatorial problems. Rewrite systems for Kan extensions have been defined and a variation on the Knuth-Bendix completion procedure can be used to complete them -- when possible. Regular languages and automata are a useful way of expressing sets and actions, and in this paper we explain how to use rewrite systems for Kan extensions to construct automata expressing the induced action and how sets of normal forms can be calculated by obtaining language equations from the automata.


title: Patterns and Fractions

abstract: We find, in the form of a continued fraction, the generating function for the number of (132)-avoiding permutations that have a given number of (123) patterns, and show how to extend this to permutations that have exactly one (132) pattern. We find some properties of the continued fraction, which is similar to, though more general than, those that were studied by Ramanujan.


title: Lectures on Pseudo-differential Operators

abstract: This lecture notes cover a Part III (first year graduate) course that was given at Cambridge University over several years on pseudo-differential operators. The calculus on manifolds is developed and applied to prove propagation of singularities and the Hodge decomposition theorem. Problems are included.


title: On certain uniformity properties of curves over function fileds

abstract: Let g be an integer greater than 1. A uniform version of the Parshin-Arakelov theorem on the finiteness of the set of non-isotrivial curves of genus g over a function field, with fixed degeneracy locus, is proved. This is applied to obtain a uniform version of Manin theorem (the Mordell conjecture on rational points for curves of genus g over function fields). By a "function field" is meant the function field of a complex variety V of any dimension. If V is a curve, the uniform bounds will depend on g, on the genus of V and on the cardinality of the degeneracy locus.


title: Algebra Structures on Hom(C,L)

abstract: We consider the space of linear maps from a coassociative coalgebra C into a Lie algebra L. Unless C has a cocommutative coproduct, the usual symmetry properties of the induced bracket on Hom(C,L) fail to hold. We define the concept of twisted domain (TD) algebras in order to recover the symmetries and also construct a modified Chevalley-Eilenberg complex in order to define the cohomology of such algebras.


title: Pure eigenstates for the sum of generators of the free group

abstract: We consider certain positive definite functions on a finitely generated free group G that are defined with respect to a given basis in terms of word length and the number of negative-to-positive generator exponent switches. Some of these functions are eigenfunctions for right convolution by the sum of the generators, and give rise to irreducible unitary representations of G. We show that any state of the reduced C*-algebra of G whose left kernel contains a polynomial in one of the generators must factor through the conditional expectation on the C*-subalgebra generated by that generator. Our results lend some support to the conjecture that an element of the complex group algebra of G can lie in the left kernel of only finitely many pure states of the reduced C*-algebra of G.


title: Groups that act pseudofreely on S^2 x S^2

abstract: Recall that a pseudofree group action on a space is one whose singular set consists only of isolated points. In this paper, we classify all of the finite groups which admit pseudofree actions on S^2 x S^2. The groups turn out to be exactly the expected ones: those which admit orthogonal pseudofree actions on S^2 x S^2 as a subset of R^3 x R^3. They are explicitly listed. This paper can be viewed as a companion to a paper of Edmonds, math.GT/9809055.


title: Graded Lie Algebras of Maximal Class II

abstract: We describe the isomorphism classes of infinite-dimensional graded Lie algebras of maximal class, generated by elements of weight one, over fields of odd characteristic.


title: Propagation of singularities in many-body scattering

abstract: In this paper we describe the propagation of singularities of tempered distributional generalized eigenfunctions of many-body Hamiltonians under the assumption that no subsystem has a bound state and that the two-body interactions are real-valued polyhomogeneous symbols of order -1 (e.g. Coulomb-type with the singularity at the origin removed). Here the term 'singularity' provides a microlocal description of the lack of decay at infinity. We use this result to prove that the wave front relation of the free-to-free S-matrix (which, under our assumptions, is all of the S-matrix) is given by the broken geodesic relation, broken at the 'singular directions' (given by the collision planes) on the sphere, at time pi. We also present a natural geometric generalization to asymptotically Euclidean spaces.


title: Symmetric Products and Q-manifolds

abstract: An example is given of a compact absolute retract that is not a Hilbert cube manifold but whose second symmetric porduct is the Hilbert cube. A factor theorem is given for nth symmetric product of the cartesian product of any absolute neighborhood retract with the Hilbert cube. A short proof is included of the known fact that symmetric products preserve the property of being a compact Hilbert cube manifold (the theorem is proved here for all Hilbert cube manifolds).


title: Moduli spaces of PU(2)-monopoles (revised version)

abstract: We prove generic regularity and Uhlenbeck-type compactification theorems for the moduli spaces of PU(2)-monopoles. Generic regularity is NOT obtained in the usual way (by applying Sard theorem to a smooth parameterized moduli space), since the parameterized moduli space can be a priori singular. We explain why, using the standard order 0-perturbations, one cannot get the smoothness of the parameterized moduli space. (The same difficulty arises in the case of ASD-Spin^c moduli spaces, so the definition of the Spin^c-polynomial invariants should be revised.) We show that the singular locus of the parameterized moduli space is contained in a closed subspace which is (in a certain sense) of infinite codimension, and we apply Sard theorem to the complement of this subspace. Our approach to prove Uhlenbeck compactness follows closely the strategy developed in the instanton case by Donaldson and Kronheimer. Similar results, with different methods, were obtained by Feehan - Leness and Feehan.


title: Linear Flows on $\kappa $-Solenoids

abstract: Linear flows on inverse limits of tori are defined and it is shown that two linear flows on an inverse limit of tori are equivalent if and only if there is an automorphism of the inverse limit generating the equivalence.


title: Albanese and Picard 1-motives

abstract: We describe algebraically defined cohomological and homological Albanese and Picard 1-motives (or mixed motives) of any algebraic variety in characteristic zero, generalizing the classical Albanese and Picard varieties. We compute Hodge, l-adic and De Rham realizations proving Deligne's conjecture for the concerned mixed Hodge structures. We investigate functoriality, universality, homotopical invariance and invariance under formation of projective bundles. We compare our cohomological and homological 1-motives for normal schemes. For proper schemes, we obtain an Abel-Jacobi map from the (Levine-Weibel) Chow group of zero cycles to our cohomological Albanese 1-motive which is the universal regular homomorphism to semi-abelian varieties. By using this universal property we get 'motivic' Gysin maps for projective local complete intersection morphisms. This paper is an extended version of our preliminary Comptes Rendus Note, Academie des Sciences, Paris, Vol. 326, 1998.


title: NilCoxeter algebras categorify the Weyl algebra

abstract: We show that induction and restriction functors for inclusions of nilCoxeter algebras provide a categorical realization of the algebra of polynomial differential operators in one variable.


title: Monstrous moonshine and the classification of CFT

abstract: In these notes, based on lectures given in Istanbul, we give an introduction both to Monstrous Moonshine and to the classification of rational conformal field theories, using this as an excuse to explore several related structures and go on a little tour of modern math. We will discuss Lie algebras, modular functions, the finite simple group classification, vertex operator algebras, Fermat's Last Theorem, category theory, (generalised) Kac-Moody algebras, denominator identities, the A-D-E meta-pattern, representations of affine algebras, Galois theory, etc. This work is informal and pedagogical, and aimed mostly at grad students in math or math phys, but I hope that many interested nonexperts will find something of value here -- like any good Walt Disney movie I try not to completely ignore the `grown-ups'. My emphasis is on ideas and motivations, so these notes are intended to complement other papers and books where this material is presented with more technical detail. The level of difficulty varies significantly from topic to topic. The two parts -- in fact any of the sections -- can be read independently.


title: Some Remarks on the Hijazi Inequality and Generalizations of the Killing Equation for Spinors

abstract: We generalize the well-known lower estimates for the first eigenvalue of the Dirac operator on a compact Riemannian spin manifold proved by Th. Friedrich (1980) and O. Hijazi (1986, 1992). The special solutions of the Einstein-Dirac equation constructed recently by Friedrich/Kim are examples for the limiting case of these inequalities. The discussion of the limiting case of these estimates yields two new field equations generalizing the Killing equation as well as the weak Killing equation for spinor fields. Finally, we discuss the 2- and 3-dimensional case in more detail.


title: Regular Operators on Hilbert C^*-modules

abstract: A regular operator T on a Hilbert C^*-module is defined just like a closed operator on a Hilbert space, with the extra condition that the range of (I+T^*T) is dense. Semiregular operators are a slightly larger class of operators that may not have this property. It is shown that, like in the case of regular operators, one can, without any loss in generality, restrict oneself to semiregular operators on C^*-algebras. We then prove that for abelian C^*-algebras as well as for subalgebras of the algebra of compact operators, any closed semiregular operator is automatically regular. We also determine how a regular operator and its extensions (and restrictions) are related. Finally, using these results, we give a criterion for a semiregular operator on a liminal C^*-algebra to have a regular extension.


title: Lagrangian Subbundles and Codimension 3 Subcanonical Subscheme

abstract: We show that a Gorenstein subcanonical codimension 3 subscheme Z in X = P^N, N > 3, can be realized as the locus along which two Lagrangian subbundles of a twisted orthogonal bundle meet degenerately, and conversely. We extend this result to singular Z and all quasiprojective ambient schemes X under the necessary hypothesis that $Z$ is strongly subcanonical in a sense defined below. A central point is that a pair of Lagrangian subbundles can be transformed locally into an alternating map. In the local case our structure theorem reduces to that of Buchsbaum-Eisenbud and says that Z is Pfaffian. We also prove codimension one symmetric and skew-symmetric analogues of our structure theorems.


title: Enriques Surfaces and other Non-Pfaffian Subcanonical Subschemes of Codimension 3

abstract: We give examples of subcanonical subvarieties of codimension 3 in projective n-space which are not Pfaffian, i.e. defined by the ideal sheaf of submaximal Pfaffians of an alternating map of vector bundles. This gives a negative answer to a question asked by Okonek. Walter had previously shown that a very large majority of subcanonical subschemes of codimension 3 in P^n are Pfaffian, but he left open the question whether the exceptional non-Pfaffian cases actually occur. We give non-Pfaffian examples of the principal types allowed by his theorem, including (Enriques) surfaces in P^5 in characteristic 2 and a smooth 4-fold in P^7. These examples are based on our previous work math.AG/9906170 showing that any strongly subcanonical subscheme of codimension 3 of a Noetherian scheme can be realized as a locus of degenerate intersection of a pair of Lagrangian (maximal isotropic) subbundles of a twisted orthogonal bundle.


title: Bifurcating vortex solutions of the complex Ginzburg-Landau equation

abstract: It is shown that the complex Ginzburg-Landau (CGL) equation on the real line admits nontrivial $2\pi$-periodic vortex solutions that have $2n$ simple zeros (``vortices'') per period. The vortex solutions bifurcate from the trivial solution and inherit their zeros from the solution of the linearized equation. This result rules out the possibility that the vortices are determining nodes for vortex solutions of the CGL equation.


title: Generalized character sums associated to regular prehomogeneous vector spaces

abstract: In this paper we consider the analogue of the Sato's functional equation for the prehomogeneous vector spaces over finite fields. The corresponding character sums depend on a relative invariant on such a space and an irreducible representation of the group of components of the stabilizer of a generic point. The proof is based on the Picard-Lefschetz formula in $l$-adique cohomology.


title: The mean vcalue of the product of class numbers of paired quadratic fields I

abstract: Let $k$ be a number field and $\tilde k$ a fixed quadratic extension of $k$. In this paper and its companion, we find the mean value of the product of class numbers and regulators of two quadratic extensions $F,F^*\not=\tilde k$ contained in the biquadratic extensions of $k$ containing $\tilde k$.


title: The mean vcalue of the product of class numbers of paired quadratic fields II

abstract: This is the second part of a two part paper. In this part, we evaluate the previously unevaluated local densities at dyadic places which appear in the density theorem stated in the first part. For this part, we introduce an invariant, the level, attaced to a pair of ramified quadratic extensions of a dyadic local field. This invariant measures how close two fields are in their arithmetic properties and may be of interest independent of its application here.


title: Implicit Integration of the Time-Dependent Ginzburg-Landau Equations of Superconductivity

abstract: This article is concerned with the integration of the time-dependent Ginzburg-Landau (TDGL) equations of superconductivity. Four algorithms, ranging from fully explicit to fully implicit, are presented and evaluated for stability, accuracy, and compute time. The benchmark problem for the evaluation is the equilibration of a vortex configuration in a superconductor that is embedded in a thin insulator and subject to an applied magnetic field.


title: Visually building Smale flows in S3

abstract: A Smale flow is a structurally stable flow with one dimensional invariant sets. We use information from homology and template theory to construct, visualize and in some cases, classify, nonsingular Smale flows in the 3-sphere.


title: The method of characteristics revisited. A viability approach

abstract: This mini-course provides a presentation of the method of characteristics to initial/boundary-value problems for systems of first-order partial differential equations and to Hamilton-Jacobi variational inequalities. In particular, these results are indeed useful for the treatment of hybrid systems of control theory. We rely on tools forged by set-valued analysis and viability theory, which happen to be both efficient and versatile to cover many problems. They find here unexpected relevance.


title: Numerical invariants for bundles on blow-ups

abstract: We suggest an effective procedure to calculate numerical invariants for rank two bundles over blown-up surfaces. We study the moduli spaces M_j of bundles on the blown-up plane splitting over the exceptional divisor as O(j)+O(-j). We use the numerical invariants to give a topological decomposition of M_j.


title: Extremal richness of multiplier and corona algebras of simple C*-algebras with real rank zero

abstract: In this paper we investigate the extremal richness of the multiplier algebra $M(A)$ and the corona algebra $M(A)/A$, for a simple C*-algebra $A$ with real rank zero and stable rank one. We show that the space of extremal quasitraces and the scale of $A$ contain enough information to determine whether $M(A)/A$ is extremally rich. In detail, if the scale is finite, then $M(A)/A$ is extremally rich. In important cases, and if the scale is not finite, extremal richness is characterized by a restrictive condition: the existence of only one infinite extremal quasitrace which is isolated in a convex sense.


title: Lifting units modulo exchange ideals and C*-algebras with real rank zero

abstract: Given a unital ring $R$ and a two-sided ideal $I$ of $R$, we consider the question of determining when a unit of $R/I$ can be lifted to a unit of $R$. For the wide class of separative exchange ideals $I$, we show that the only obstruction to lifting invertibles relies on a K-theoretic condition on $I$. This allows to extend previously known index theories to this context. Using this we can draw consequences for von Neumann regular rings and C*-algebras with real rank zero.


title: Lower bounds on volumes of hyperbolic Haken 3-manifolds

abstract: In this paper, we find lower bounds for volumes of hyperbolic 3-manifolds with various topological conditions. Let V_3 = 1.01494 denote the volume of a regular ideal simplex in hyperbolic 3-space. As a special case of the main theorem, if a hyperbolic manifold M contains an acylindrical surface S, then Vol(M)>= -2 V_3 chi(S). We also show that if beta_1(M)>= 2, then Vol(M)>= 4/5 V_3.


title: Bounds on exceptional Dehn filling

abstract: We show that for a hyperbolic knot complement, all but at most 12 Dehn fillings are irreducible with infinite word-hyperbolic fundamental group.


title: Vertex algebras and elliptic genera

abstract: A report at Arbeitstagung, June 1999, Bonn, on the joint work with V.Gorbounov, F.Malikov and A.Vaintrob.


title: Wide gaps with short extenders

abstract: Let kappa be the limit of <kappa_n : n<omega> (1) if each kappa_n carries an extender of the length of the first Mahlo above kappa_n, then for every ld above kappa there is a generic extension with power of kappa above ld. (2) if each kappa_n carries an extender of the length of the first fixed point of the aleph function above kappa_n of order n then for every ld between kappa and the first inaccessible above kappa there is a generic extension satisfying 2^kappa>ld.


title: Regularity of operators on essential extensions of the compacts

abstract: A semiregular operator on a Hilbert C^*-module, or equivalently, on the C^*-algebra of `compact' operators on it, is a closable densely defined operator whose adjoint is also densely defined. It is shown that for operators on extensions of compacts by unital or abelian C^*-algebras, semiregularity leads to regularity. Two examples coming from quantum groups are discussed.


title: Uniquely 2-List Colorable Graphs

abstract: A graph is called to be uniquely list colorable, if it admits a list assignment which induces a unique list coloring. We study uniquely list colorable graphs with a restriction on the number of colors used. In this way we generalize a theorem which characterizes uniquely 2-list colorable graphs. We introduce the uniquely list chromatic number of a graph and make a conjecture about it which is a generalization of the well known Brooks' theorem.


title: An index theorem for families invariant with respect to a bundle of Lie groups

abstract: We define the equivariant family index of a family of elliptic operators invariant with respect to the free action of a bundle $\GR$ of Lie groups. If the fibers of $\GR \to B$ are simply-connected solvable, we then compute the Chern character of the (equivariant family) index, the result being given by an Atiyah-Singer type formula. We also study traces on the corresponding algebras of pseudodifferential operators and obtain a local index formula for such families of invariant operators, using the Fedosov product. For topologically non-trivial bundles we have to use methods of non-commutative geometry. We discuss then as an application the construction of ``higher-eta invariants,'' which are morphisms $K_n(\PsS {\infty}Y) \to \CC$. The algebras of invariant pseudodifferential operators that we study, $\Psm {\infty}Y$ and $\PsS {\infty}Y$, are generalizations of ``parameter dependent'' algebras of pseudodifferential operators (with parameter in $\RR^q$), so our results provide also an index theorem for elliptic, parameter dependent pseudodifferential operators.


title: Cladistics of Double Yangians and Elliptic Algebras

abstract: A self-contained description of algebraic structures, obtained by combinations of various limit procedures applied to vertex and face sl(2) elliptic quantum affine algebras, is given. New double Yangians structures of dynamical type are in particular defined. Connections between these structures are established. A number of them take the form of twist-like actions. These are conjectured to be evaluations of universal twists.


title: Elliptic genus of Calabi-Yau manifolds and Jacobi and Siegel modular forms

abstract: In the paper we study two types of relations: a one is between the elliptic genus of Calabi-Yau manifolds and Jacobi modular forms, another one is between the second quantized elliptic genus, Siegel modular forms and Lorentzian Kac-Moody Lie algebras. We also determine the structure of the graded ring of the weak Jacobi forms with integral Fourier coefficients. It gives us a number of applications to the theory of elliptic genus and of the second quantized elliptic genus.


title: Complex vector bundles and Jacobi forms

abstract: The elliptic genus (EG) of a compact complex manifold was introduced as a holomorphic Euler characteristic of some formal power series with vector bundle coefficients. EG is an automorphic form in two variables only if the manifold is a Calabi--Yau manifold. In physics such a function appears as the partition function of N=2 superconformal field theories. In these notes we define the modified Witten genus or the automorphic correction of elliptic genus. It is an automorphic function in two variables for an arbitrary holomorphic vector bundle over a compact complex manifold. This paper is an exposition of the talks given by the author at Symposium "Automorphic forms and L-functions" at RIMS, Kyoto (January, 27, 1999) and at Arbeitstagung in Bonn (June, 20, 1999).


title: A variational coupling for a totally asymmetric exclusion process with long jumps but no passing

abstract: We prove a weak law of large numbers for a tagged particle in a totally asymmetric exclusion process on the one-dimensional lattice. The particles are allowed to take long jumps but not pass each other. The object of the paper is to illustrate a special technique for proving such theorems. The method uses a coupling that mimics the Hopf-Lax formula from the theory of viscosity solutions of Hamilton-Jacobi equations.


title: Strong law of large numbers for the interface in ballistic deposition

abstract: We prove a hydrodynamic limit for ballistic deposition on a multidimensional lattice. In this growth model particles rain down at random and stick to the growing cluster at the first point of contact. The theorem is that if the initial random interface converges to a deterministic macroscopic function, then at later times the height of the scaled interface converges to the viscosity solution of a Hamilton-Jacobi equation. The proof idea is to decompose the interface into the shapes that grow from individual seeds of the initial interface. This decomposition converges to a variational formula that defines viscosity solutions of the macrosopic equation. The technical side of the proof involves subadditive methods and large deviation bounds for related first-passage percolation processes.


title: Recent results and open problems on the hydrodynamics of disordered asymmetric exclusion and zero-range processes

abstract: This paper summarizes results and some open problems about the large-scale and long-time behavior of asymmetric, disordered exclusion and zero-range processes. These processes have randomly chosen jump rates at the sites of the underlying lattice. The interesting feature is that for suitably distributed random rates there is a phase transition where the process behaves differently at high and low densities. Some of this distinction is visible on the hydrodynamic scale.


title: Transversal torus knots

abstract: We classify positive transversal torus knots in tight contact structures up to transversal isotopy.


title: Invariant manifolds of hypercyclic vectors for the real scalar case

abstract: We show that every hypercyclic operator on a real locally convex space admits a dense, invariant linear manifold of hypercyclic vectors.


title: The size of spanning disks for polygonal curves

abstract: Let $K$ be a closed polygonal curve in $\RR^3$ consisting of $n$ line segments. Assume that $K$ is unknotted, so that it is the boundary of an embedded disk in $\RR^3$. This paper considers the question: How many triangles are needed to triangulate a Piecewise-Linear (PL) spanning disk of $K$? The main result exhibits a family of unknotted polygons with $n$ edges, $n \to \infty$, such that the minimal number of triangles needed in any triangulated spanning disk grows exponentially with $n$. For each integer $n \ge 0$, there is a closed, unknotted, polygonal curve $K_n$ in $R^3$ having less than $10n+9$ edges, with the property that any Piecewise-Linear triangulated disk spanning the curve contains at least $2^{n-1}$ triangles.


title: Numerical homotopies to compute generic points on positive dimensional algebraic sets

abstract: Many applications modeled by polynomial systems have positive dimensional solution components (e.g., the path synthesis problems for four-bar mechanisms) that are challenging to compute numerically by homotopy continuation methods. A procedure of A. Sommese and C. Wampler consists in slicing the components with linear subspaces in general position to obtain generic points of the components as the isolated solutions of an auxiliary system. Since this requires the solution of a number of larger overdetermined systems, the procedure is computationally expensive and also wasteful because many solution paths diverge. In this article an embedding of the original polynomial system is presented, which leads to a sequence of homotopies, with solution paths leading to generic points of all components as the isolated solutions of an auxiliary system. The new procedure significantly reduces the number of paths to solutions that need to be followed. This approach has been implemented and applied to various polynomial systems, such as the cyclic n-roots problem.


title: Hypercyclic differentiation operators

abstract: A classical theorem due to G.D. Birkhoff states that there exists an entire function whose translates approximate any given entire function, as accurately as desired, over any ball of the complex plane. We show this result may be generalized to the space of entire functions of compact bounded type defined on a Banach space with separable dual.


title: Ind-Sheaves, distributions, and microlocalization

abstract: This is an announcement of a long paper in progress. On a locally compact space, we introduce the stack of ind-sheaves (ind-objects of the category of sheaves with compact support) and construct the analogous of the usual six operations on sheaves. As an application, we treat, in the formalism of ind-sheaves, functions with growth conditions such as the ``tempered holomorphic functions'' on a complex manifold. We also construct a microlocalization functor from the category of sheaves on a manifold to that of ind-sheaves on the cotangent bundle.


title: Pure infiniteness, stability and C*-algebras of graphs and dynamical systems

abstract: Pure infiniteness (in sense of E.Kirchberg and M.R{\o}rdam) is considered for C*-algebras arising from singly generated dynamical systems. In particular, Cuntz-Krieger algebras and their generalizations, i.e., graph-algebras and O_A of an infinite matrix A, admit characterizations of pure infiniteness. As a consequence, these generalized Cuntz-Krieger algebras are traceless if and only if they are purely infinite. Also, a characterization of AF-algebras among these C*-algebras is given. In the case of graph-algebras of locally finite graphs, characterizations of stability are obtained.


title: Completely integrable systems: a generalization

abstract: We present a slight generalization of the notion of completely integrable systems to get them being integrable by quadratures. We use this generalization to integrate dynamical systems on double Lie groups.


title: Simply-laced Coxeter groups and groups generated by symplectic transvections

abstract: Let W be an arbitrary Coxeter group of simply-laced type (possibly infinite but of finite rank), u,v be any two elements in W, and i be a reduced word (of length m) for the pair (u,v) in the Coxeter group W\times W. We associate to i a subgroup Gamma_i in GL_m(Z) generated by symplectic transvections. We prove among other things that the subgroups corresponding to different reduced words for the same pair (u,v) are conjugate to each other inside GL_m(Z). We also generalize the enumeration result of the first three authors (see AG/9802093) by showing that, under certain assumptions on u and v, the number of Gamma_i(F_2)-orbits in F_2^m is equal to 3\times 2^s, where s is the number of simple reflections that appear in a reduced decomposition for u or v and F_2 is the two-element field.


title: Resolutions of Subsets of Finite Sets of Points in Projective Space

abstract: Given a finite set, $X$, of points in projective space for which the Hilbert function is known, a standard result says that there exists a subset of this finite set whose Hilbert function is ``as big as possible'' inside $X$. Given a finite set of points in projective space for which the minimal free resolution of its homogeneous ideal is known, what can be said about possible resolutions of ideals of subsets of this finite set? We first give a maximal rank type description of the most generic possible resolution of a subset. Then we show that this generic resolution is not always achieved, by incorporating an example of Eisenbud and Popescu. However, we show that it {\em is} achieved for sets of points in projective two space: given any finite set of points in projective two space for which the minimal free resolution is known, there must exist a subset having the predicted resolution.


title: Analytic cyclic cohomology

abstract: We prove excision in entire and periodic cyclic cohomology and construct a Chern-Connes character for Fredholm modules over a C*-algebra without summability restrictions, taking values in a variant of Connes's entire cyclic cohomology. Before these results can be obtained, we have to sort out some fundamental questions about the class of algebras on which to define entire cyclic cohomology. The right domain of definition for entire cyclic cohomology is the category of complete bornological algebras. For these algebras, we define a bivariant cohomology theory, called analytic cyclic cohomology, that contains Connes's entire cyclic cohomology as a special case. The definition of analytic cyclic cohomology is based on the Cuntz-Quillen approach to cyclic cohomology theories using tensor algebras and X-complexes. The appropriate completion of the tensor algebra that yields analytic cyclic cohomology can be understood using an appropriate notion of analytic nilpotence. In addition, we develop the elementary theory of analytic cyclic cohomology (smooth homotopy invariance, stability, Chern character in K-theory).


title: The spectral projections and the resolvent for scattering metrics

abstract: In this paper we consider certain asymptotically Euclidean spaces, namely compact manifolds with boundary X equipped with a scattering metric g, as defined by Melrose. We then consider Hamiltonians H which are `short-range' self-adjoint perturbations of the Laplacian of g. Melrose and Zworski have given a detailed description of the associated scattering matrix and Poisson operator as a Fourier integral operator and a (singular) Legendre distribution respectively. In this paper we describe the kernel of the spectral projections and the boundary value of the resolvent at the real axis. We define classes of Legendre distributions on certain types of manifolds with corners, and show that the kernels of the spectral projection and the resolvent are in these classes. We also discuss some applications of these results.


title: The cyclic structure of unimodal permutations

abstract: Unimodal (i.e. single-humped) permutations may be decomposed into a product of disjoint cycles. Some enumerative results concerning their cyclic structure -- e.g. 2/3 of them contain fixed points -- are given. We also obtain in effect a kind of combinatorial universality for continuous unimodal maps, by severely constraining the possible ways periodic orbits of any such map can nestle together. But our main observation (and tool) is the existence of a natural noncommutative monoidal structure on this class of permutations which respects their cyclic structure. This monoidal structure is a little mysterious, and can perhaps be understood by broadening the context, e.g. by looking for similar structure in other classes of `pattern-avoiding' permutations.


title: Normal transversality and uniform bounds

abstract: For two ideals $I$ and $J$ of a noetherian ring, we characterize, in terms of the vanishing of Tor modules, when the associated graded ring of the sum $I+J$ is isomorphic to the tensor product of the associated graded ring of $I$ and the associated graded ring of $J$. It is shown that the relation type of the tensor product of two standard algebras is bounded above by the maximum of the relation type of each algebra. As a consequence, we deduce a uniform bound for the relation type of maximal ideals of an excellent ring and a classical result of Duncan and O'Carroll on the strong uniform Artin-Rees property.


title: Curves in the double plane

abstract: We study locally Cohen-Macaulay curves in projective three-space which are contained in a double plane 2H, thus completing the classification of curves lying on surfaces of degree two. We describe the irreducible components of the Hilbert schemes of locally Cohen-Macaulay curves in 2H of given degree and arithmetic genus. We show that these Hilbert schemes are connected. We also discuss the Rao modules of these curves, and liaison and biliaison equivalence classes.


title: Topological Entropy for the Canonical Endomorphism of Cuntz-Krieger Algebras

abstract: It is shown that Voiculescu's toplogical entropy for the canonical endomorphism of a simple Cuntz-Krieger algebra O_A equals the logarithm of the spectral radius of A.


title: Global propagation on causal manifolds

abstract: The micro-support of sheaves is a tool to describe local propagation results. A natural problem is then to give sufficient conditions to get global propagation results from the knowledge of the micro-support. This is the aim of this paper. As an application, we consider the problem of global existence for solutions to hyperbolic systems (in the hyperfunction and distribution case), along the lines of Leray. Causal manifolds, and in particular homogeneous causal manifolds as considered by Faraut et al., give examples of manifolds to which our results apply.


title: Proof of the gradient conjecture of R. Thom

abstract: Let x(t) be a trajectory of the gradient of a real analytic function and suppose that x_0 is a limit point of x(t). We prove the gradient conjecture of R. Thom which states that the secants of x(t) at x_0 have a limit. Actually we show a stronger statement: the radial projection of x(t) from x_0 onto the unit sphere has finite length.


title: On a singular semilinear elliptic boundary value problem and the boundary Harnack principle

abstract: We consider the singular boundary-value problem \Delta u = f(u) in D; u|_dD= phi, where 1. D is a bounded C^2-domain of R^d, d >= 3 2. f: (0,1) -> (0,1) is a locally H\"older continuous function such that f(u) -> 1 as u -> 0 at the rate u^{-\alpha}, for some \alpha in (0,1), 3. and phi is a positive continuous function satisfying certain growth assumptions. We show existence of solutions bounded below by a positive harmonic function, which are smooth in D and continuous in D-bar. Such solutions are shown to satisfy a boundary Harnack principle. Probabilistic techniques are used in proving the main results.


title: Zeros of Fekete polynomials

abstract: The authors study the distribution of zeros of the Fekete polynomial f_p(t) (defined for p prime) as p -> infinity. They show that asymptotically a constant fraction of the zeros lie on the unit circle, and they investigate the constant of proportionality.


title: On the Iwasawa invariants of elliptic curves

abstract: Let p be an odd prime. Suppose that E is a modular elliptic curve/Q with good ordinary reduction at p. Let Q_{oo} denote the cyclotomic Z_p-extension of Q. It is conjectured that Sel_E(Q_{oo}) is a cotorsion Lambda-module and that its characteristic ideal is related to the p-adic L-function associated to E. Under certain hypotheses we prove that the validity of these conjectures is preserved by congruences between the Fourier expansions of the associated modular forms.


title: An analogue of Serre's conjecture for Galois representations and Hecke eigenclasses in the mod-p cohomology of GL(n,Z)

abstract: The conjecture of Serre referred in the title is the one about modularity of odd Galois representations into GL(2,F) where F is a finite field of characteristic p. We present an analogous conjecture where GL(2) is replaced by GL(n). We explain the analogue of "oddness." We then present some theoretical and experimental evidence for the conjecture, primarily when n = 3. Our conjecture does not require the Galois representation to be irreducible. Our most interesting examples involve the sum of an irreducible even 2-dimensional representation and a 1-dimensional representation.


title: The Mordell-Weil rank of the Jacobian of a curve of genus 2 with multiplication by a square root of 2

abstract: We present a method for computing the Mordell-Weil rank of the jacobian of a curve of genus 2 with multiplication by a square root of 2, based on descent via isogenies of degree 2, and apply it to a family of curves.


title: Diophantine approximation and deformation

abstract: We associate certain curves over function fields to given algebraic power series and show that bounds on the rank of Kodaira-Spencer map of this curves imply bounds on the exponents of the power series, with more generic curves giving lower exponents. If we transport Vojta's conjecture on height inequality to finite characteristic by modifying it by adding suitable deformation theoretic condition, then we see that the numbers giving rise to general curves approach Roth's bound. We also prove a hierarchy of exponent bounds for approximation by algebraic quantities of bounded degree.


title: Irreducibility of moduli spaces of vector bundles on K3 surfaces

abstract: In this paper, we show the moduli spaces of stable sheaves on K3 surfaces are irreducible symplectic manifolds, if the associated Mukai vectors are primitive. More precisely, we show that they are related to the Hilbert scheme of points. We also compute the period of these spaces. As an application of our result, we discuss Montonen-Olive duality in Physics. In particular our computations of Euler characteristics of moduli spaces are compatible with Physical computations by Minahan et al.


title: On defining irreducibility

abstract: We show that irreducibility is not a first-order definable property of real algebraic varieties. The proof is based on the recent o-minimality result for the exponential function. We conjecture that irreducibility is not a definable property of complex algebraic varieties.


title: Arithmetic and growth of periodic orbits

abstract: We give necessary and sufficient conditions for a sequence to be exactly realizable as the sequence of numbers of periodic points in a dynamical system. Using these conditions, we show that no non-constant polynomial is realizable, and give some conditions on realizable binary recurrence sequences. Realization in rate is always possible for sufficiently rapidly-growing sequences, and is never possible for slowly-growing sequences. Finally, we discuss the relationship between the growth rate of periodic points and the growth rate of points with specified least period.


title: The Atiyah-Chern Character yields the Semiregularity Map as well as the Infinitesimal Abel-Jacobi Map

abstract: We construct a general semiregularity map for cycles on a complex analytic or algebraic manifold and show that such semiregularity map can be obtained from the classical tool of the Atiyah-Chern character. The first part of the paper is fairly detailed, deducing the existence and explicit form of a generalized semiregularity map from known results and constructions. We obtain as well a description of the infinitesimal Abel-Jacobi map for smooth cycles as the leading term of this generalized semiregularity map, indicate why for locally complete intersections the appropriate component of our semiregularity map coincides with the one constructed by Bloch, and give applications to embedded deformations and deformations of coherent modules.


title: Singular traces, dimensions, and Novikov-Shubin invariants

abstract: In Alain Connes noncommutative geometry, the question of the existence of a non-trivial integral can be described in terms of the singular traceability of the compact operator |D|^(-d), D being the Dirac operator, namely of the existence of a finite non-trivial singular trace on the ideal generated by |D|^(-d). A condition on the non triviality of the Dixmier logarithmic trace on the above mentioned ideal has been given by Connes in terms of the cohomological dimension of the Chern character of the phase of D. In this paper we show that, under suitable regularity conditions on the eigenvalue sequence of |D|, the dimension d can be uniquely determined by imposing that |D|^(-d) is singularly traceable, thus providing a geometric measure theoretic definition for d. More precisely, defining d as the inverse of the polynomial order of |D|^(-1), the operator |D|^(-d) always produces a singular trace which gives rise to a non-trivial integration procedure, even when the logarithmic trace fails. In the second part of the paper we discuss large scale counterparts of the geometric measure theoretic dimension for the case of covering manifolds. We prove that in the case of the coverings studied by Atiyah, the inverse of the polynomial order at 0 of Delta_p^(-1/2), defined via the Atiyah trace, coincides with the Novikov-Shubin number alpha_p. As a consequence, Novikov- Shubin numbers can be considered as (asymptotic) dimensions in the sense of geometric measure theory, since the corresponding power of Delta_p^(-1/2) produces a singular trace. Generalizations of the mentioned results on covering manifolds to the case of open manifolds with bounded geometry are studied in math/9809040


title: Representations of Direct Product of Matrix Algebras

abstract: Suppose B is the unital algebra consisting of the algebraic product of full matrix algebras over an index set X. A bijection is set up between the equivalence classes of irreducible representations of B as operators on a Banach space and the sigma-complete ultrafilters on X, Theorem 1. Therefore, if X has less than measurable cardinality (e.g. accessible), the equivalence classes of the irreducible representations of B are labeled by points of X, and all representations of B are described, Theorem 3.


title: Almost commuting elements in compact Lie groups

abstract: We describe the components of the moduli space of conjugacy classes of commuting pairs and triples of elements in a compact Lie group. This description is in terms of the extended Dynkin diagram of the simply connected cover, together with the coroot integers and the action of the fundamental group. In the case of three commuting elements, we compute Chern-Simons invariants associated to the corresponding flat bundles over the three-torus, and verify a conjecture of Witten which reveals a surprising symmetry involving the Chern-Simons invariants and the dimensions of the components of the moduli space.


title: Artin Algebras with Loops but no Outer Derivations

abstract: We construct Artin algebras with vanishing first Hochschild Cohomology but a loop in their ordinary quiver. Some authors guessed earlier that such examples could not exist.


title: Q-differential operators

abstract: We set up a framework for discussing `$q$-analogues' of the usual covariant differential operators for hermitian symmetric spaces. This turns out to be directly related to the deformation quantization associated to quadratic algebras satisfying certain conditions introduced by Procesi and De Concini.


title: Fitting ideals for finitely presented algebraic dynamical systems

abstract: We consider a class of algebraic dynamical systems introduced by Kitchens and Schmidt. Under a weak finiteness condition -- the Descending Chain Condition -- the dual modules have finite presentations. Using methods from commutative algebra we show how the dynamical properties of the system may be deduced from the Fitting ideals of a finite free resolution of the finitely presented module. The entropy and expansiveness are shown to depend only on the first Fitting ideal (and certain multiplicity data) which gives an easy computation: in particular, no syzygy modules need to be computed. For `square' presentations (in which the number of generators is equal to the number of relations) all the dynamics is visible in the first Fitting ideal and certain multiplicity data, and we show how the dynamical properties and periodic point behaviour may be deduced from the determinant of the matrix of relations.


title: Noise sensitivity on continuous products: an answer to an old question of J. Feldman

abstract: A relation between sigma-additivity and linearizability, conjectured by Jacob Feldman in 1971 for continuous products of probability spaces, is established by relating both notions to a recent idea of noise stability/sensitivity.