title: Symplectic quotients by a nonabelian group and by its maximal torus

abstract: This paper examines the relationship between the symplectic quotient X//G of a Hamiltonian G-manifold X, and the associated symplectic quotient X//T, where T is a maximal torus, in the case in which X//G is a compact manifold or orbifold. The three main results are: a formula expressing the rational cohomology ring of X//G in terms of the rational cohomology ring of X//T; an `integration' formula, which expresses cohomology pairings on X//G in terms of cohomology pairings on X//T; and an index formula, which expresses the indices of elliptic operators on X//G in terms of indices on X//T. (The results of this paper are complemented by the results in a companion paper, in which different techniques are used to derive formulae for cohomology pairings on symplectic quotients X//T, where T is a torus, in terms of the T-fixed points of X. That paper also gives some applications of the formulae proved here.)


title: New moduli spaces of pointed curves and pencils of flat connections

abstract: It is well known that formal solutions to the Associativity Equations are the same as cyclic algebras over the homology operad $(H_*(\bar{M}_{0,n+1}))$ of the moduli spaces of $n$--pointed stable curves of genus zero. In this paper we establish a similar relationship between the pencils of formal flat connections (or solutions to the Commutativity Equations) and homology of a new series $\bar{L}_n$ of pointed stable curves of genus zero. Whereas $\bar{M}_{0,n+1}$ parametrizes trees of $\bold{P}^1$'s with pairwise distinct nonsingular marked points, $\bar{L}_n$ parametrizes strings of $\bold{P}^1$'s stabilized by marked points of two types. The union of all $\bar{L}_n$'s forms a semigroup rather than operad, and the role of operadic algebras is taken over by the representations of the appropriately twisted homology algebra of this union.


title: Problems on geometric structures of projective embeddings

abstract: This is a survey of our research on geometric structures of projective embeddings and includes some topics of our talks in several symposia during 1990-99. We clarify our main problem, which is to construct a kind of geometric composition series of projective embeddings. The concept of "geometric composition series" is an analogy in Algebraic Geometry with Jordan-H\"{o}lder series in Group Theory. We present two of the candidates for the construction problem. To approach this problem, we show several results and new tools for handling higher obstructions appearing in infinitesimal liftings. As a byproduct of the tools, we obtain a simplified proof for a criterion on arithmetic normality described in terms of Differential Geometry. (Keywords): Petri's analysis, Second fundamental form, Syzygy, Arithmetic normality, Infinitesimal lifting, Geometric shell, Geometric composition series, Lefschetz chain, Dual Lefschetz chain, Meta-Lefschetz operator.


title: The elliptic curve in the S-duality theory and Eisenstein series for Kac-Moody groups

abstract: We establish a relation between the generating functions appearing in the S-duality conjecture of Vafa and Witten and geometric Eisenstein series for Kac-Moody groups. For a pair consisting of a surface and a curve on it, we consider a refined geometric function E (involving G-bundles with parabolic structures along the curve) which depends both on elliptic and modular variables. We prove a functional equation for E with respect to the affine Weyl group, thus establishing the elliptic behavior. When the curve is P^1, we calculate the Eisenstein-Kac-Moody series explicitly and it turns out to be a certain deformation of an irreducible Kac-Moody character, more precisely, an analog of the Hall-Littlewood polynomial for the affine root system. We also get an explicit formula for the universal blowup function for any simply connected structure group.


title: Summation and transformation formulas for elliptic hypergeometric series

abstract: Using matrix inversion and determinant evaluation techniques we prove several summation and transformation formulas for terminating, balanced, very-well-poised, elliptic hypergeometric series.


title: Frobenius_infinity invariants of homotopy Gerstenhaber algebras I

abstract: We construct a functor from the derived category of homotopy Gerstenhaber algebras with finite-dimensional cohomology to the purely geometric category of so-called $F_{\infty}$-manifolds. The latter contains Frobenius manifolds as a subcategory (so that a pointed Frobenius manifold is itself a homotopy Gerstenhaber algebra). If a homotopy Gerstenhaber algebra happens to be formal as a $L_{\infty}$-algebra, then its $F_{\infty}$-manifold comes equipped with the Gauss-Manin connection. Mirror Symmetry implications are discussed.


title: Hyper-K{\"a}hler Hierarchies and their twistor theory

abstract: A twistor construction of the hierarchy associated with the hyper-K\"ahler equations on a metric (the anti-self-dual Einstein vacuum equations, ASDVE, in four dimensions) is given. The recursion operator R is constructed and used to build an infinite-dimensional symmetry algebra and in particular higher flows for the hyper-K\"ahler equations. It is shown that R acts on the twistor data by multiplication with a rational function. The structures are illustrated by the example of the Sparling-Tod (Eguchi-Hansen) solution. An extended space-time ${\cal N}$ is constructed whose extra dimensions correspond to higher flows of the hierarchy. It is shown that ${\cal N}$ is a moduli space of rational curves with normal bundle ${\cal O}(n)\oplus{\cal O}(n)$ in twistor space and is canonically equipped with a Lax distribution for ASDVE hierarchies. The space ${\cal N}$ is shown to be foliated by four dimensional hyper-K{\"a}hler slices. The Lagrangian, Hamiltonian and bi-Hamiltonian formulations of the ASDVE in the form of the heavenly equations are given. The symplectic form on the moduli space of solutions to heavenly equations is derived, and is shown to be compatible with the recursion operator.


title: Solutions to congruences using sets with the property of Baire

abstract: Hausdorff's paradoxical decomposition of a sphere with countably many points removed (the main precursor of the Banach-Tarski paradox) actually produced a partition of this set into three pieces A,B,C such that A is congruent to B (i.e., there is an isometry of the set which sends A to B), B is congruent to C, and A is congruent to (B union C). While refining the Banach-Tarski paradox, R. Robinson characterized the systems of congruences like this which could be realized by partitions of the sphere with rotations witnessing the congruences. The purpose of the present paper is to characterize those systems of congruences which can be satisfied by partitions of the sphere or related spaces (any complete metric space acted on in a sufficiently free way by a free group of homeomorphisms) into sets with the property of Baire. Dougherty and Foreman proved that the Banach-Tarski paradox can be achieved using such sets, and gave versions of this result using open sets and related results about partitions of spaces into congruent sets. The same methods are used here. We also characterize the systems solvable on the sphere using sets with the property of Baire but allowing all isometries (instead of just rotations).


title: Open sets satisfying systems of congruences

abstract: A famous result of Hausdorff states that a sphere with countably many points removed can be partitioned into three pieces A,B,C such that A is congruent to B (i.e., there is an isometry of the sphere which sends A to B), B is congruent to C, and A is congruent to (B union C); this result was the precursor of the Banach-Tarski paradox. Later, R. Robinson characterized the systems of congruences like this which could be realized by partitions of the (entire) sphere with rotations witnessing the congruences. The pieces involved were nonmeasurable. In the present paper, we consider the problem of which systems of congruences can be satisfied using open subsets of the sphere (or related spaces); of course, these open sets cannot form a partition of the sphere, but they can be required to cover "most of" the sphere in the sense that their union is dense. Various versions of the problem arise, depending on whether one uses all isometries of the sphere or restricts oneself to a free group of rotations (the latter version generalizes to many other suitable spaces), or whether one omits the requirement that the open sets have dense union, and so on. While some cases of these problems are solved by simple geometrical dissections, others involve complicated iterative constructions and/or results from the theory of free groups. Many interesting questions remain open.


title: Computing special values of partial zeta functions

abstract: We discuss computation of the special values of partial zeta functions associated to totally real number fields. The main tool is the \emph{Eisenstein cocycle} $\Psi $, a group cocycle for $GL_{n} (\Z )$; the special values are computed as periods of $\Psi $, and are expressed in terms of generalized Dedekind sums. We conclude with some numerical examples for cubic and quartic fields of small discriminant.


title: Simple Divisibility Rules for the 1st 1000 Prime Numbers

abstract: Simple divisibility rules are given for the 1st 1000 prime numbers.


title: An adelic causality problem related to abelian L-functions

abstract: I associate to a global field K a Lax-Phillips scattering which has the property of causality if and only if the Riemann Hypothesis holds for all the abelian L-functions of K. As a Hilbert space closure problem this provides an adelic variation on a theme initiated by Nyman and Beurling. The adelic aspects are related to previous work by Tate, Iwasawa and Connes.


title: Rigidity and Vanishing Theorems in K-Theory II

abstract: We extend our family rigidity and vanishing theorems in [{\bf LiuMaZ}] to the Spin^c case. In particular, we prove a K-theory version of the main results of [{\bf H}], [{\bf Liu1}, Theorem B] for a family of almost complex manifolds.


title: The Gervais-Neveu-Felder equation for the Jordanian quasi-Hopf U_{h;y}(sl(2)) algebra

abstract: Using a contraction procedure, we construct a twist operator that satisfies a shifted cocycle condition, and leads to the Jordanian quasi-Hopf U_{h;y}(sl(2)) algebra. The corresponding universal ${\cal R}_{h}(y)$ matrix obeys a Gervais-Neveu-Felder equation associated with the U_{h;y}(sl(2)) algebra. For a class of representations, the dynamical Yang-Baxter equation may be expressed as a compatibility condition for the algebra of the Lax operators.


title: Diffeomorphic flows driven by Levy processes

abstract: We prove that the stochastic differential equation $$ Y_{s,t}(x) = Y_{s,s}(x) + \int_0^{t-s} f(Y_{s,s+u}(x)) dX_{s+u}, Y_{s,s}(x)=x\in\R^d. $$ driven by a L\'evy process whose paths have finite p-variation almost surely for some $p\in[1,2)$ defines a flow of locally C^1-diffeomorphisms provided the vector field f is $\alpha$-Lipschitz for some $\alpha>p$. Using a path- wise approach we relax the smoothness condition normally required for a class of discontinuous semi-martingales.


title: Topological AE(0)-groups

abstract: We investigate topological AE(0) -groups class of which contains the class of Polish groups as well as the class of all locally compact groups. We establish the existence of an universal AE(0) -group of a given weight as well as the existence of an universal action of AE(0) -group of a given weight on a AE(0) -space of the same weight. A complete characterization of closed subgroups of powers of the symmetric group is obtained. It is also shown that every AE (0)-group is Baire isomorphic to the product of Polish groups. These results are obtained by using the spectral descriptions of AE(0)-groups which are presented in Section 3.


title: Path-wise solutions of SDE's driven by Levy processes

abstract: In this paper we show that a path-wise solution to the following integral equation $$ Y_t = \int_0^t f(Y_t) dX_t \qquad Y_0=a \in \R^d $$ exists under the assumption that X_t is a L\'evy process of finite p-variation for some $p \geq1$ and that f is an $\alpha$-Lipschitz function for some alpha>p. There are two types of solution, determined by the solution's behaviour at jump times of the process X, one we call geometric the other forward. The geometric solution is obtained by adding fictitious time and solving an associated integral equation. The forward solution is derived from the geometric solution by correcting the solution's jump behaviour. L\'evy processes, generally, have unbounded variation. So we must use a pathwise integral different from the Lebesgue-Stieltjes integral. When X has finite p-variation almost surely for p<2 we use Young's integral. This is defined whenever f and g have finite p and q-variation for 1/p+1/q>1 (and they have no common discontinuities). When p>2 we use the integral of Lyons. In order to use this integral we construct the L\'evy area of the L\'evy process and show that it has finite (p/2)-variation almost surely.


title: On [L]-homotopy groups

abstract: Some properties of [L]-homotopy group for finite complex L are investigated. It is proved that for complex L whose extension type lying between Sn and Sn+1 n-th [L]-homotopy group of Sn is isomorphic to Z.


title: A Galois correspondence for II_1 factors and quantum groupoids

abstract: We establish a Galois correspondence for finite quantum groupoid actions on II_1 factors and show that every finite index and finite depth subfactor is an intermediate subalgebra of a quantum groupoid crossed product. Moreover, any such a subfactor is completely and canonically determined by a quantum groupoid and its coideal *-subalgebra. This allows to express the bimodule category of a subfactor in terms of the representation category of a corresponding quantum groupoid and the principal graph as the Bratteli diagram of an inclusion of certain C^*-algebras related to it.


title: Modular symbols and Hecke operators

abstract: We survey techniques to compute the action of the Hecke operators on the cohomology of arithmetic groups. These techniques can be seen as generalizations in different directions of the classical modular symbol algorithm, due to Manin and Ash-Rudolph. Most of the work is contained in papers of the author and the author with Mark McConnell. Some results are unpublished work of Mark McConnell and Robert MacPherson.


title: Random vicious walks and random matrices

abstract: Lock step walker model is a one-dimensional integer lattice walker model in discrete time. Suppose that initially there are infinitely many walkers on the non-negative even integer sites. At each tick of time, each walker moves either to its left or to its right with equal probability. The only constraint is that no two walkers can occupy the same site at the same time. It is proved that in the large time limit, a certain conditional probability of the displacement of the leftmost walker is identical to the limiting distribution of the properly scaled largest eigenvalue of a random GOE matrix (GOE Tracy-Widom distribution). The proof is based on the bijection between path configurations and semistandard Young tableaux established recently by Guttmann, Owczarek and Viennot. Statistics of semistandard Young tableaux is analyzed using the Hankel determinant expression for the probability from the work of Rains and the author. The asymptotics of the Hankel determinant is obtained by applying the Deift-Zhou steepest-descent method to the Riemann-Hilbert problem for the related orthogonal polynomials.


title: Numerical trivial fibrations

abstract: We develop an intersection theory for a singular hemitian line bundle with positive curvature current on a smooth projective variety and irreducible curves on the variety. And we prove the existence of a natural rational fibration structure associated with the singular hermitian line bundle. Also for any pseudoeffective line bundle on a smooth projective variety, we prove the existence of a rational natural fibration structure associated with the line bundle. We also characterize a numerically trivial singular hermitain line bundle on a smooth projective variety.


title: HyperK\"ahler Potentials in Cohomogeneity Two

abstract: A hyperK\"ahler potential is a function rho that is a K\"ahler potential for each complex structure compatible with the hyperK\"ahler structure. Nilpotent orbits in a complex simple Lie algebra are known to carry hyperK\"ahler metrics admitting such potentials. In this paper, we explicitly calculate the hyperK\"ahler potential when the orbit is of cohomogeneity two. In some cases, we find that this structure lies in a one-parameter family of hyperK\"ahler metrics with K\"ahler potentials, generalising the Eguchi-Hanson metrics in dimension four.


title: The HyperK\"ahler Geometry Associated to Wolf Spaces

abstract: Let G be a compact simple Lie group and the O the minimal nilpotent orbit in g^C. We determine all G-invariant K\"ahler potentials for hyperK\"ahler metrics compatible with the KKS complex symplectic form on O.


title: Lattices and Parameter Reduction in Division Algebras

abstract: Let k be an algebraically closed field of characteristic 0 and let D be a division algebra whose center F contains k. We shall say that D can be reduced to r parameters if D = D_0 tensor_{F_0} F, where D_0 is a division algebra, the center F_0 of D_0 contains k and trdeg(F_0/k) = r. We show that every division algebra of odd degree n >= 5 can be reduced to at most (n-1)(n-2)/2 parameters. Moreover, every crossed product division algebra of degree n >= 4 can be reduced to at most (log_2(n) - 1)n + 1 parameters. Our proofs of these results rely on lattice-theoretic techniques.


title: HyperK\"ahler Potentials via Finite-Dimensional Quotients

abstract: It is known that nilpotent orbits in a complex simple Lie algebra admit hyperK\"ahler metrics with a single function that is a global potential for each of the K\"ahler structures (a hyperK\"ahler potential). In an earlier paper the authors showed that nilpotent orbits in classical Lie algebras can be constructed as finite-dimensional hyperK\"ahler quotient of a flat vector space. This paper uses that quotient construction to compute hyperK\"ahler potentials explicitly for orbits of elements with small Jordan blocks. It is seen that the K\"ahler potentials of Biquard and Gauduchon for SL(n)-orbits of elements with X^2=0, are in fact hyperK\"ahler potentials.


title: Topology Change and Vector Modules on Noncommutative Surfaces of Rotation

abstract: A non associative, noncommutative algebra is defined that may be interpreted as a set of vector modules over a noncommutative surface of rotation. Two of these vector modules are identified with the analogues of the tangent and cotangent spaces in noncommutative geometry, via the definition of an exterior derivative. This derivative reduces to the standard exterior derivative in the commutative limit. The representation of this algebra is used to investigate a simple topology change where two connected compact surfaces coalesce to form one such surface.


title: Some Generalized Kac-Moody Algebras With Known Root Multiplicities

abstract: Starting from Borcherds' fake monster Lie algebra we construct a sequence of six generalized Kac-Moody algebras whose denominator formulas, root systems and all root multiplicities can be described explicitly. The root systems decompose space into convex holes, of finite and affine type, similar to the situation in the case of the Leech lattice. As a corollary, we obtain strong upper bounds for the root multiplicities of a number of hyperbolic Lie algebras, including AE3.


title: A remark on circular means of Fourier transforms of measures

abstract: In a recent paper of Wolff the optimal decay of circular L^p means of compactly supported measures of finite energy was given for p>=2, with application to Falconer's distance problem. The question was then raised in that paper as to whether any non-trivial improvement to these estimates were available for p < 2. We answer this question in the negative.


title: Conjugacy classes in maximal parabolic subgroups of general linear groups

abstract: We compute conjugacy classes in maximal parabolic subgroups of the general linear group. This computation proceeds by reducing to a ``matrix problem''. Such problems involve finding normal forms for matrices under a specified set of row and column operations. We solve the relevant matrix problem in small dimensional cases. This gives us all conjugacy classes in maximal parabolic subgroups over a perfect field when one of the two blocks has dimension less than 6. In particular, this includes every maximal parabolic subgroup of GL_n(k) for n < 12 and k a perfect field. If our field is finite of size q, we also show that the number of conjugacy classes, and so the number of characters, of these groups is a polynomial in $q$ with integral coefficients.


title: Tactics, dialectics, representation theory

abstract: This article is devoted to the tactical game theoretical interpretation of dialectics. Dialectical games are considered as abstractly as well as models of the internal dialogue and reflection. The models related to the representation theory (representative dynamics) are specially investigated in detail, they correlate with the hypothesis on the dialectical features of human thinking in general and mathematical thought (the constructing of a solution of mathematical problem) in particular.


title: Askey-Wilson polynomials: an affine Hecke algebraic approach

abstract: We study Askey-Wilson type polynomials using representation theory of the double affine Hecke algebra. In particular, we prove bi-orthogonality relations for non-symmetric and anti-symmetric Askey-Wilson polynomials with respect to a complex measure. We give duality properties of the non-symmetric Askey-Wilson polynomials, and we show how the non-symmetric Askey-Wilson polynomials can be created from Sahi's intertwiners. The diagonal terms associated to the bi-orthogonality relations (which replace the notion of quadratic norm evaluations for orthogonal polynomials) are expressed in terms of residues of the complex weight function using intertwining properties of the non-symmetric Askey-Wilson transform under the action of the double affine Hecke algebra. We evaluate the constant term, which is essentially the well-known Askey-Wilson integral, using shift operators. We furthermore show how these results reduce to well-known properties of the symmetric Askey-Wilson polynomials, as were originally derived by Askey and Wilson using basic hypergeometric series theory.


title: On the Quasi-Hopf structure of deformed double Yangians

abstract: We construct universal twists connecting the centrally extended double Yangian DY(sl(2))_c with deformed double Yangians DY_r(sl(2))_c, thereby establishing the quasi-Hopf structures of the latter.


title: Knuth-Bendix for groups with infinitely many rules

abstract: It is shown how to use a small finite state automaton in two variables in order to carry out the Knuth-Bendix process for rewriting words in a group in shortlex order. The two-variable automaton can be used to store an infinite set of rules and to carry out fast reduction of arbitrary words using this infinite set. We introduce a new operation, which we call welding, which applies to an arbitrary finite state automaton. We show how to improve on the standard subset construction to determinize a non-deterministic automaton under special conditions which hold in our situation.


title: Lu Qi-Keng's Problem

abstract: This expository article, intended to be accessible to students, surveys results about the presence or absence of zeroes of the Bergman kernel function of a bounded domain in C^n. Six open problems are stated. The article is based on a lecture at the third Korean several complex variables symposium held at the Global Analysis Research Center at Seoul National University in December 1998.


title: Majorant Series

abstract: This article discusses questions in one and several complex variables about the size of the sum of the moduli of the terms of the series expansion of a bounded holomorphic function. Although the article is partly expository, it also includes some previously unpublished results with complete proofs. The article is based on a lecture at the third Korean several complex variables symposium held at the Global Analysis Research Center at Seoul National University in December 1998.


title: The invariants of the Clifford groups

abstract: The automorphism group of the Barnes-Wall lattice L_m in dimension 2^m (m not 3) is a subgroup of index 2 in a certain ``Clifford group'' C_m (an extraspecial group of order 2^(1+2m) extended by an orthogonal group). This group and its complex analogue CC_m have arisen in recent years in connection with the construction of orthogonal spreads, Kerdock sets, packings in Grassmannian spaces, quantum codes, Siegel modular forms and spherical designs. In this paper we give a simpler proof of Runge's 1996 result that the space of invariants for C_m of degree 2k is spanned by the complete weight enumerators of the codes obtained by tensoring binary self-dual codes of length 2k with the field GF(2^m); these are a basis if m >= k-1. We also give new constructions for L_m and C_m: let M be the Z[sqrt(2)]-lattice with Gram matrix [2, sqrt(2); sqrt(2), 2]. Then L_m is the rational part of the mth tensor power of M, and C_m is the automorphism group of this tensor power. Also, if C is a binary self-dual code not generated by vectors of weight 2, then C_m is precisely the automorphism group of the complete weight enumerator of the tensor product of C and GF(2^m). There are analogues of all these results for the complex group CC_m, with ``doubly-even self-dual code'' instead of ``self-dual code''.


title: Polynomial hulls and H-infinity control for a hypoconvex constraint

abstract: We say that a subset of C^n is hypoconvex if its complement is the union of complex hyperplanes. Let D be the closed unit disk in C, T the unit circle. We prove two conjectures of Helton and Marshall. (See ``Frequency domain design and analytic selections,'' Indiana Univ. Math. J. 39, no. 1 (1990), 157-184.) Let p:T X C^n --> R+ be a smooth function whose sublevel sets have compact hypoconvex fibers over T. Then, with some restrictions on p, if Y is the set where p is less than or equal to 1, the polynomial convex hull of Y is the union of graphs of analytic vector-valued functions with boundary in Y. Furthermore, let t be the smallest real number such that the set where p is less than or equal to t contains the boundary of the graph of some analytic vector-valued function on the disk. Then there is only one analytic vector-valued function f such that p(z,f(z)) is less than or equal to t for all z in T. We show that f is smooth on T. We also prove that if p varies smoothly with respect to a parameter, so does the unique f just found.


title: Elements of a Global Operator Approach to Wess-Zumino-Novikov-Witten Models

abstract: Elements of a global operator approach to the WZNW models for compact Riemann surfaces of arbitrary genus g with N marked points were given by Schlichenmaier and Sheinman. This contribution reports on the results. The approach is based on the multi-point Krichever-Novikov algebras of global meromorphic functions and vector fields, and the global algebras of affine type and their representations. Using the global Sugawara construction and the identification of a certain subspace of the vector field algebra with the tangent space to the moduli space of the geometric data, Knizhnik-Zamalodchikov equations are defined. Some steps of the approach of Tsuchia, Ueno and Yamada to WZNW models are presented to compare it with our approach.


title: Selfdual Einstein metrics and conformal submersions

abstract: Weyl derivatives, Weyl-Lie derivatives and conformal submersions are defined, then used to generalize the Jones-Tod correspondence between selfdual 4-manifolds with symmetry and Einstein-Weyl 3-manifolds with an abelian monopole. In this generalization, the conformal symmetry is replaced by a particular kind of conformal submersion with one dimensional fibres. Special cases are studied in which the conformal submersion is holomorphic, affine, or projective. All scalar-flat Kahler metrics with such a holomorphic conformal submersion, and all four dimensional hypercomplex structures with a compatible Einstein metric, are obtained from solutions of the resulting ``affine monopole equations''. The ``projective monopole equations'' encompass Hitchin's twistorial construction of selfdual Einstein metrics from three dimensional Einstein-Weyl spaces, and lead to an explicit formula for carrying out this construction directly. Examples include new selfdual Einstein metrics depending explicitly on an arbitrary holomorphic function of one variable or an arbitrary axially symmetric harmonic function. The former generically have no continuous symmetries.


title: Some properties of index of Lie algebras

abstract: In this paper we prove several theorems about the behavior of index of Lie algebras derived from associative algebras under tensor products of underlying associative algebras.


title: Braid group actions on derived categories of coherent sheaves

abstract: This paper gives a construction of braid group actions on the derived category of coherent sheaves on a variety $X$. The motivation for this is Kontsevich's homological mirror conjecture, together with the occurrence of certain braid group actions in symplectic geometry. One of the main results is that when $\dim X \geq 2$, our braid group actions are always faithful. We describe conjectural mirror symmetries between smoothings and resolutions of singularities that lead us to find examples of braid group actions arising from crepant resolutions of various singularities. Relations with the McKay correspondence and with exceptional sheaves on Fano manifolds are given. Moreover, the case of an elliptic curve is worked out in some detail.


title: Mirror symmetry and actions of braid groups on derived categories

abstract: Talk given at Harvard, January 1999, published in the Proceedings of the Harvard Winter School on mirror symmetry, vector bundles and lagrangian cycles, 1999, International Press. Surveys the joint work [ST, KS] with Paul Seidel and Mikhail Khovanov.


title: Derived categories for the working mathematician

abstract: It is becoming increasingly difficult for geometers and even physicists to avoid papers containing phrases like `triangulated category', not to mention derived functors. I will give some motivation for such things from algebraic geometry, and show how the concepts are already familiar from topology. This gives a natural and simple way to look at cohomology and other scary concepts in homological algebra like Ext, Tor, hypercohomology and spectral sequences.


title: Quantum Co-Adjoint Orbits of the Real Diamond Group

abstract: We present explicit formulas for deformation quantization on the co-adjoint orbits of the real diamond Lie group. From this we obtain quantum half-plans, quantum hyperbolic cylinders, quantum hyperbolic paraboloids via Fedosov deformation quantization and finally, the corresponding unitary representations of this group.


title: Nonuniformizable skew cylinders. A counterexample to the simultaneous uniformization problem

abstract: At the end of 1960-ths Yu.S.Ilyashenko stated the problem: is it true that for any one-dimensional holomorphic foliation with singularities on a Stein manifold leaves intersecting a transversal disc can be uniformized so that the uniformization function would depend holomorphically on the transversal parameter? In the present paper we construct a two-dimensional counterexample. This together with the previous result of Yu.S.Ilyashenko (Lemma 1) implies existence of a counterexample given by a foliation on affine (projective) algebraic surface by level curves of a rational function with singularities deleted. This implies also that Bers' simultaneous uniformization theorem for topologically trivial holomorphic foliations by compact Riemann surfaces does not extend to the general fibrations by compact Riemann surfaces with singularities.


title: $A_{\infty}$-structures on an elliptic curve

abstract: The main result of this paper is the proof of the "transversal part" of the homological mirror symmetry conjecture for an elliptic curve which states an equivalence of two $A_{\infty}$-structures on the category of vector bundles on an elliptic curves. The proof is based on the study of $A_{\infty}$-structures on the category of line bundles over an elliptic curve satisfying some natural restrictions (in particular, $m_1$ should be zero, $m_2$ should coincide with the usual composition). The key observation is that such a structure is uniquely determined up to homotopy by certain triple products.


title: Divisorial linear algebra of normal semigroup rings

abstract: We investigate the minimal number of generators $\mu$ and the depth of divisorial ideals over normal semigroup rings. Such ideals are defined by the inhomogeneous systems of linear inequalities associated with the support hyperplanes of the semigroup. The main result is that for every bound $C$ there exist, up to isomorphism, only finitely divisorial ideals $I$ such that $\mu(I)\le C$. It follows that there exist only finitely many Cohen--Macaulay divisor classes. Moreover we determine the minimal depth of all divisorial ideals and the behaviour of $\mu$ and depth in ``arithmetic progressions'' in the divisor class group. The results are generalized to more general systems of linear inequalities whose homogeneous versions define the semigroup in a not necessarily irredundant way. The ideals arising this way can also be considered as defined by the non-negative solutions of an inhomogeneous system of linear diophantine equations. We also give a more ring-theoretic approach to the theorem on minimal number of generators of divisorial ideals: it turns out to be a special instance of a theorem on the growth of multigraded Hilbert functions.


title: Endpoint multiplier theorems of Marcinkiewicz type

abstract: We establish sharp (H^1, L^{1,q}) and local (L \log^r L, L^{1,q}) mapping properties for rough one-dimensional multipliers. In particular, we show that the multipliers in the Marcinkiewicz multiplier theorem map H^1 to L^{1,\infty} and L \log^{1/2} L to L^{1,\infty}, and that these estimates are sharp.


title: Continuous images of sets of reals

abstract: We will show that, consistently, every uncountable set can be continuously mapped onto a non measure zero set, while there exists an uncountable set whose all continuous images into a Polish space are meager.


title: Chow groups of weighted hypersurfaces

abstract: We extend a result of to Esnault-Levine-Viehweg concerning the Chow groups of hypersurfaces in projective space to those in weighted projective spaces.


title: Signs in the cd-index of Eulerian partially ordered sets

abstract: A graded partially ordered set is Eulerian if every interval has the same number of elements of even rank and of odd rank. Face lattices of convex polytopes are Eulerian. For Eulerian partially ordered sets, the flag vector can be encoded efficiently in the cd-index. The cd-index of a polytope has all positive entries. An important open problem is to give the broadest natural class of Eulerian posets having nonnegative cd-index. This paper completely determines which entries of the cd-index are nonnegative for all Eulerian posets. It also shows that there are no other lower or upper bounds on cd-coefficients (except for the coefficient of c^n).


title: Statistical Mechanics of the Periodic Camassa-Holm Equation

abstract: The paper has been withdrawn


title: Left-modular elements

abstract: Left-modularity is a concept that generalizes modularity in lattice theory. In this paper, we give a characterization of left-modular elements and derive two formulae for the characteristic polynomial of a lattice with such an element, one of which generalizes Stanley's Partial Factorization Theorem for a geometric lattice with a modular element. Both formulae provide us with inductive proofs of Blass and Sagan's Total Factorization Theorem for LL lattices. The characteristic polynomials and Mobius functions of non-crossing partition lattices and shuffle posets are computed as examples.


title: Failure of Brown representability in derived categories

abstract: Let T be a triangulated category with coproducts, C the full subcategory of compact objects in T. If T is the homotopy category of spectra, Adams proved the following in [Adams71]: All contravariant homological functors C --> Ab are the restrictions of representable functors on T, and all natural transformations are the restrictions of morphisms in T. It has been something of a mystery, to what extent this generalises to other triangulated categories. In [Neeman97], it was proved that Adams' theorem remains true as long as C is countable, but can fail in general. The failure exhibited was that there can be natural transformations not arising from maps in T. A puzzling open problem remained: Is every homological functor the restriction of a representable functor on T? In a recent paper, Beligiannis made some progress. But in this article, we settle the problem. The answer is no. There are examples of derived categories T = D(R) of rings, and contravariant homological functors C --> Ab which are not restrictions of representables.


title: Random Walks and Electric Networks

abstract: A popular account of the connection between random walks and electric networks.


title: Any 3-manifold 1-dominates at most finitely many geometric 3-manifolds

abstract: In this paper, we proved that any closed orientable 3-manifold 1-dominates at most finitely many geometric 3-manifolds.


title: Foliations with Transversal Quaternionic Structures

abstract: We consider manifolds equipped with a foliation $\cal F$ of codimension $4q$, and an almost quaternionic structure $Q$ on the transversal bundle of ${\cal F}$. After discussing conditions of projectability and integrability of $Q$, we study the transversal twistor space $Z{\cal F}$ which, by definition, consists of the $Q$-compatible almost complex structures. We show that $Z{\cal F}$ can be endowed with a lifted foliation ${\hat {\cal F}}$ and two natural almost complex structures $J_1$, $J_2$ on the transversal bundle of $\hat{\cal F}$. We establish the conditions which ensure the projectability of $J_1$ and $J_2$, and the integrability of $J_{1}$ ($J_{2}$ is never integrable).


title: Special Lagrangian Geometry in irreducible symplectic 4-folds

abstract: Having fixed a Kaehler class and the unique corresponding hyperkaehler metric, we prove that all special Lagrangian submanifolds of an irreducible symplectic 4-fold X are bi-Lagrangian and that they are obtained by complex submanifolds via a sort of "hyperkaehler rotation trick"; thus they retain part of the rigidity of complex submanifolds: indeed all special Lagrangian submanifolds of X turn out to be real analytic.


title: Vanshing Theorems for Quaternionic Kaehler Manifolds

abstract: We discuss a peculiar interplay between the representation theory of the holonomy group of a Riemannian manifold, the Weitzenboeck formula for the Hodge-Laplace operator on forms and the Lichnerowicz formula for twisted Dirac operators. For quaternionic Kaehler manifolds this leads to simple proofs of eigenvalue estimates for Dirac and Laplace operators. Moreover it enables us to determine which representations can contribute to harmonic forms. As a corollary we prove the vanishing of certain odd Betti numbers on compact quaternionic Kaehler manifolds of negative scalar curvature. We simplify the proofs of several related results in the positive case.


title: The Bianchi-Darboux transform of L-isothermic surfaces

abstract: We study an analogue of the classical Bianchi-Darboux transformation for L-isothermic surfaces in Laguerre geometry, the Bianchi-Darboux transformation. We show how to construct the Bianchi-Darboux transforms of an L-isothermic surface by solving an integrable linear differential system. We then establish a permutability theorem for iterated Bianchi-Darboux transforms.


title: Subexponential groups in 4-manifold topology

abstract: We present a new, more elementary proof of the Freedman-Teichner result that the geometric classification techniques (surgery, s-cobordism, and pseudoisotopy) hold for topological 4-manifolds with groups of subexponential growth. In an appendix Freedman and Teichner give a correction to their original proof, and reformulate the growth estimates in terms of coarse geometry.


title: Polynomial and rational solutions of holonomic systems

abstract: The aim of this paper is to give two new algorithms, which are elimination free, to find polynomial and rational solutions for a given holonomic system associated to a set of linear differential operators in the Weyl algebra D = k<x_1, ..., x_n, dx_1, ..., dx_n> where k is a subfield of the complex numbers.


title: Incidence algebras of simplicial complexes

abstract: With any locally finite partially ordered set $K$ its incidence algebra $\Omega(K)$ is associated. We shall consider algebras over fields with characteristic zero. In this case there is a correspondence $K \leftrightarrow \Omega(K)$ such that the poset $K$ can be reconstructed from its incidence algebra up to an isomorphism -- due to Stanley theorem. In the meantime, a monotone mapping between two posets in general induces no homomorphism of their incidence algebras. In this paper I show that if the class of posets is confined to simplicial complexes then their incidence algebras acquire the structure of differential moduli and the correspondence $K\leftrightarrow\Omega(K)$ is a contravariant functor.