title: Projective space of a C*-module

abstract: Let X be a right Hilbert C*-module over A. We study the geometry and the topology of the projective space P(X) of X, consisting of the orthocomplemented submodules of X which are generated by a single element. We also study the geometry of the p-sphere S_p(X) and the natural fibration S_p(X) \to P(X), where S_p(X)={x\in X: <x,x>=p}, for p in A a projection. The projective space and the p-sphere are shown to be homogeneous differentiable spaces of the unitary group of the algebra L_A(X) of adjointable operators of X. The homotopy theory of these spaces is examined.


title: Geometry of Banach spaces and biorthogonal systems

abstract: A separable Banach space X contains $\ell_1$ isomorphically if and only if X has a bounded wc_0^*-stable biorthogonal system. The dual of a separable Banach space X fails the Schur property if and only if X has a bounded wc_0^*-biorthogonal system.


title: Morse-Novikov critical point theory, Cohn localization and Dirichlet units

abstract: In this paper we construct a Universal chain complex, counting zeros of closed 1-forms on a manifold. The Universal complex is a refinement of the well known Novikov complex; it relates the homotopy type of the manifold, after a suitable noncommutative localization, with the numbers of zeros of different indices which may have closed 1-forms within a given cohomology class. The Main Theorem of the paper generalizes the result of a joint paper with A. Ranicki, which treats the special case of closed 1-forms having integral cohomology classes. The present paper also describes a number of new inequalities, giving topological lower bounds on the number of zeroes of closed 1-forms. In particular, such estimates are provided by the homology of flat line bundles with monodromy described by complex numbers which are not Dirichlet units.


title: Mod 2 cohomology of combinatorial Grassmannians

abstract: Matroid bundles, introduced by MacPherson, are combinatorial analogues of real vector bundles. This paper sets up the foundations of matroid bundles, and defines a natural transformation from isomorphism classes of real vector bundles to isomorphism classes of matroid bundles, as well as a transformation from matroid bundles to spherical quasifibrations. The poset of oriented matroids of a fixed rank classifies matroid bundles, and the above transformations give a splitting from topology to combinatorics back to topology. This shows the mod 2 cohomology of the poset of rank k oriented matroids (this poset classifies matroid bundles) contains the free polynomial ring on the first k Stiefel-Whitney classes. The homotopy groups of this poset are related to the image of the J-homomorphism from stable homotopy theory.


title: String Topology

abstract: Consider two families of closed oriented curves in a d-manifold. At each point of intersecction of a curve of one family with a curve of the other family, form a new closed curve by going around the first curve and then going around the second. Typically, an i-dimensional family and a j-dimensional family will produce an (i+j-d+2)-dimensional family. Our purpose is to describe mathematical structure behind such interactions.


title: Geometry of Stationary Sets for the Wave Equation in R^n, The Case of Finitely Supported Initial Data, An Announcement

abstract: We consider the Cauchy problem for the wave equation in the whole space, R^n, with initial data which are distributions supported on finite sets. The main result is a precise description of the geometry of the sets of stationary points of the solutions to the wave equation.


title: Beyond a conjecture of Clemens

abstract: We prove some lower bounds on certain twists of the canonical bundle of a codimension-2 subvariety of a generic hypersurface in projective space. In particular we prove that the generic sextic threefold contains no rational or elliptic curves and no nondegenerate curves of genus 2.


title: Perfect simulation for interacting point processes, loss networks and Ising models

abstract: We present a perfect simulation algorithm for measures that are absolutely continuous with respect to some Poisson process and can be obtained as invariant measures of birth-and-death processes. Examples include area- and perimeter-interacting point processes (with stochastic grains), invariant measures of loss networks, and the Ising contour and random cluster models. The algorithm does not involve couplings of the process with different initial conditions and it is not tied up to monotonicity requirements. Furthermore, it directly provides perfect samples of finite windows of the infinite-volume measure, subjected to time and space ``user-impatience bias''. The algorithm is based on a two-step procedure: (i) a perfect-simulation scheme for a (finite and random) relevant portion of a (space-time) marked Poisson processes (free birth-and-death process, free loss networks), and (ii) a ``cleaning'' algorithm that trims out this process according to the interaction rules of the target process. The first step involves the perfect generation of ``ancestors'' of a given object, that is of predecessors that may have an influence on the birth-rate under the target process. The second step, and hence the whole procedure, is feasible if these ``ancestors'' form a finite set with probability one. We present a sufficiency criteria for this condition, based on the absence of infinite clusters for an associated (backwards) oriented percolation model.


title: Fourier transforms on the quantum SU(1,1) group

abstract: The main goal is to interpret the Askey-Wilson function and the corresponding transform pair on the quantum SU(1,1) group. A weight on the C^*-algebra of continuous functions vanishing at infinity on the quantum SU(1,1) group is studied, which is left and right invariant in a weak sense with respect to a product defined using Wall functions. The Haar weight restricted to certain subalgebras are explicitly determined in terms of an infinitely supported Jackson integral and in terms of an infinitely supported Askey-Wilson type measure. For the evaluation the spectral analysis of explicit unbounded doubly infinite Jacobi matrices and some new summation formulas for basic hypergeometric series are needed. The spherical functions are calculated in terms of Askey-Wilson functions and big q-Jacobi functions. The corresponding spherical Fourier transforms are identified with special cases of the big q-Jacobi function transform and of the Askey-Wilson function transform.


title: On singular fibres of complex Lagrangian fibrations

abstract: We classify singular fibres over general points of the discriminant locus of projective complex Lagrangian fibrations on 4-dimensional holomorphic symplectic manifolds. The singular fibre F is the following either one: F is isomorphic to the product of an elliptic curve and a Kodaira singular fibre up to finite unramified covering or F is a normal crossing variety consisting of several copies of a minimal elliptic ruled surface of which the dual graph is Dynkin diagram of type A_n, $\tilde{A_n}$, $\tilde{D_n}$ or D_n.


title: La correspondance de McKay

abstract: Let M be a quasiprojective algebraic manifold with K_M=0 and G a finite automorphism group of M acting trivially on the canonical class K_M; for example, a subgroup G of SL(n,C) acting on C^n in the obvious way. We aim to study the quotient variety X=M/G and its resolutions Y -> X (especially under the assumption that Y has K_Y=0) in terms of G-equivariant geometry of M. At present we know 4 or 5 quite different methods of doing this, taken from string theory, algebraic geometry, motives, moduli, derived categories, etc. For G in SL(n,C) with n=2 or 3, we obtain several methods of cobbling together a basis of the homology of Y consisting of algebraic cycles in one-to-one correspondence with the conjugacy classes or the irreducible representations of G.


title: Equidimensionality of complex Lagrangian fibrations

abstract: We prove that every irreducible component of a fibre of a complex Lagrangian fibration is Lagrangian subvariety. Especially, complex Lagrangian fibations are equidimensional.


title: Convex bodies with a point of curvature do not have Fourier bases

abstract: We prove that no smooth symmetric convex body $\Omega$ with at least one point of non-vanishing Gaussian curvature can admit an orthogonal basis of exponentials. (The non-symmetric case was proven by Kolountzakis). This is further evidence of Fuglede's conjecture, which states that such a basis is possible if and only if $\Omega$ can tile $R^d$ by translations.


title: Canonical heights and entropy in arithmetic dynamics

abstract: A system of transformations is associated to a rational point on an elliptic curve. The sequence entropy is connected to the canonical height, and in some cases there is a canonically defined quotient system whose entropy is the canonical height and for which the fibre entropy is accounted for by local heights at primes of bad reduction. The proofs use transcendence theory and a strong form of Siegel's theorem. We go on to extend these ideas to the morphic heights of Call and Goldstine.


title: A new description of the quantum superalgebra U_q[sl(n+1|m)] and related Fock representations

abstract: A description of the quantum superalgebra U_q[sl(n+1|m)] via creation and annihilation generators (CAGs) is given. A statement that the Fock representations of the CAGs provide microscopic realizations of exclusion statistics is formulated.

categories: math.QA cond-mat.stat-mech hep-th math-ph math.MP


title: The geodesic flow of a nonpositively curved graph manifold

abstract: We study discrete, cocompact, isometric actions of groups on Hadamard spaces, and the induced actions on ideal boundaries. For a class of groups generalizing fundamental groups of three-dimensional graph manifolds, we find a set of invariants for the action which determine the boundary action up to equivariant homeomorphism. This work was inspired by (and answers) a question of Gromov from "Asymptotic invariants of infinite groups."


title: On the Regularity of Powers of Ideal Sheaves

abstract: We use the geometry of the secant variety to an embedded smooth curve to prove some vanishing and regularity theorems for powers of ideal sheaves.


title: On McMullen's and other inequalities for the Thurston norm of link complements

abstract: In a recent paper, McMullen showed an inequality between the Thurston norm and the Alexander norm of a 3-manifold. This generalizes the well-known fact that twice the genus of a knot is bounded from below by the degree of the Alexander polynomial. We extend the Bennequin inequality for links to an inequality for all points of the Thurston norm, if the manifold is a link complement. We compare these two inequalities on two classes of closed braids. In an additional section we discuss a conjectured inequality due to Morton for certain points of the Thurston norm. We prove Morton's conjecture for closed 3-braids.


title: Proof of the Riemannian Penrose Conjecture Using the Positive Mass Theorem

abstract: We prove the Riemannian Penrose conjecture, an important case of a conjecture made by Roger Penrose in 1973, by defining a new flow of metrics. This flow of metrics stays inside the class of asymptotically flat Riemannian 3-manifolds with nonnegative scalar curvature which contain minimal spheres. In particular, if we consider a Riemannian 3-manifold as a totally geodesic submanifold of a space-time in the context of general relativity, then outermost minimal spheres with total area $A$ correspond to apparent horizons of black holes contributing a mass $\sqrt{A/16\pi}$, scalar curvature corresponds to local energy density at each point, and the rate at which the metric becomes flat at infinity corresponds to total mass. The Riemannian Penrose conjecture then states that the total mass of an asymptotically flat 3-manifold with nonnegative scalar curvature is greater than or equal to the mass contributed by the black holes. The flow of metrics we define continuously evolves the original 3-metric to a Schwarzschild 3-metric, which represents a spherically symmetric black hole in vacuum. We define the flow such that the area of the minimal spheres (which flow outward) and hence the mass contributed by the black holes in each of the metrics in the flow is constant, and then use the positive mass theorem to show that the total mass of the metrics is nonincreasing. Then since the total mass equals the mass of the black holes in a Schwarzschild metric, the Riemannian Penrose conjecture follows. This result improves upon the beautiful work of Huisken and Ilmanen, who used inverse mean curvature flows of surfaces to show that the total mass is at least the mass contributed by the largest black hole.


title: Skein modules of links in cylinders over surfaces

abstract: We define the Conway skein module C(M) of ordered based links in a 3-manifold M. This module gives rise to C(M)-valued invariants of usual links in M. We determine a basis of the Z[z]-module C(F x [0,1])/Tor(C(F x [0,1])) where F is the real projective plane or a surface with boundary. For cylinders over the Moebius strip or the projective plane we derive special properties of the Conway skein module, including a refinement of a theorem of Kawauchi and Hartley about the Conway polynomial of strongly positive amphicheiral knots in S^3. We also determine the Homfly and Kauffman skein modules of F x [0,1] where F is an oriented surface with boundary.


title: Scattering for time series with an application to the zeta function of an algebraic curve

abstract: I explain how the Lax-Phillips theory can be applied to a purely innovating time series and compute the corresponding scattering function. I then associate such a time series to an algebraic curve (of genus at least 1) over a finite field and show that the Riemann Hypothesis (proven long ago) holds if and only if the scattering is causal (this causality is not independently established, though).


title: Fock representations of the Lie superalgebra q(n+1)

abstract: For the Lie superalgebra $q(n+1)$ a description is given in terms of creation and annihilation operators, in such a way that the defining relations of $q(n+1)$ are determined by quadratic and triple supercommutation relations of these operators. Fock space representations $V_p$ of $q(n+1)$ are defined by means of these creation and annihilation operators. These new representations are introduced as quotient modules of some induced module of $q(n+1)$. The representations $V_p$ are not graded, but they possess a number of properties that are of importance for physical applications. For $p$ a positive integer, these representations $V_p$ are finite-dimensional, with a unique highest weight (of multiplicity 1). The Hermitian form that is consistent with the natural adjoint operation on $q(n+1)$ is shown to be positive definite on $V_p$. For $q(2)$ these representations are ``dispin''. For the general case of $q(n+1)$, many structural properties of $V_p$ are derived.


title: On the index of equivariant Toeplitz operators

abstract: The goal is to understand the index-theoretic aspects of the recent preprint of R. Nest and F. Radulescu, math.OA/9911042. The basic observation (due to E. Guenter/N. Higson) is that the index of the Toeplitz operator is equal to the index of an associated Callias type operator, i.e. a Dirac operator with potential, the index of which is easy to compute. We show how to extend this idea to the equivariant case.


title: Equivalence of conformal superalgebras to Hamiltonian superoperators

abstract: In this paper, we present a formal variational calculus of super functions in one real variable and find the conditions for a "matrix differential operator" to be a Hamiltonian superoperator. Moreover, we prove that conformal superalgebras are equivalent to certain Hamiltonian superoperators.


title: An introduction to motivic integration

abstract: By associating a `motivic integral' to every complex projective variety X with at worst canonical, Gorenstein singularities, Kontsevich proved that, when there exists a crepant resolution of singularities Y of X, the Hodge numbers of Y do not depend upon the choice of the resolution. In this article we provide an elementary introduction to the theory of motivic integration, leading to a proof of the result described above. We calculate the motivic integral of several quotient singularities and discuss these calculations in the context of the cohomological McKay correspondence.


title: On the Decomposition of Clifford Algebras of Arbitrary Bilinear Form

abstract: Clifford algebras are naturally associated with quadratic forms. These algebras are Z_2-graded by construction. However, only a Z_n-gradation induced by a choice of a basis, or even better, by a Chevalley vector space isomorphism Cl(V) <-> \bigwedge V and an ordering, guarantees a multi-vector decomposition into scalars, vectors, tensors, and so on, mandatory in physics. We show that the Chevalley isomorphism theorem cannot be generalized to algebras if the Z_n-grading or other structures are added, e.g., a linear form. We work with pairs consisting of a Clifford algebra and a linear form or a Z_n-grading which we now call 'Clifford algebras of multi-vectors' or 'quantum Clifford algebras'. It turns out, that in this sense, all multi-vector Clifford algebras of the same quadratic but different bilinear forms are non-isomorphic. The usefulness of such algebras in quantum field theory and superconductivity was shown elsewhere. Allowing for arbitrary bilinear forms however spoils their diagonalizability which has a considerable effect on the tensor decomposition of the Clifford algebras governed by the periodicity theorems, including the Atiyah-Bott-Shapiro mod 8 periodicity. We consider real algebras Cl_{p,q} which can be decomposed in the symmetric case into a tensor product Cl_{p-1,q-1} \otimes Cl_{1,1}. The general case used in quantum field theory lacks this feature. Theories with non-symmetric bilinear forms are however needed in the analysis of multi-particle states in interacting theories. A connection to q-deformed structures through nontrivial vacuum states in quantum theories is outlined.


title: Frobenius splitting of Hilbert schemes of points on surfaces

abstract: Let X be a quasiprojective smooth surface defined over an algebraically closed field of positive characteristic. We show that if X is Frobenius split then so is the Hilbert scheme Hilb^n(X) of n points in X. In particular, we get the higher cohomology vanishing for ample line bundles on Hilb^n(X) when X is projective and Frobenius split.


title: The spectral shift function and the invariance principle

abstract: The new representation formula for the spectral shift function due to F.Gesztesy and K.A.Makarov is considered. This formula is extended to the case of relatively trace class perturbations.


title: Explicit Resolutions of Double Point Singularities of Surfaces

abstract: Locally analytically, any isolated double point occurs as a double covering of a smooth surface. It can be desingularized via the canonical resolution, as it is well-known. In this paper we explicitly compute the fundamental cycle of both the canonical and minimal resolution of a double point singularity and we classify those for which the fundamental cycle differs from the fiber cycle. Finally we compute the conditions that a double point imposes to pluricanonical systems.


title: Regularity of the Moduli Space of Instanton Bundles $MI_{\Bbb P^3}(5)$

abstract: We prove that the moduli space of mathematical instanton bundles on ${\Bbb P}^3$ with $c_2=5$ is smooth.


title: On Three-Dimensional Space Groups

abstract: An entirely new and independent enumeration of the crystallographic space groups is given, based on obtaining the groups as fibrations over the plane crystallographic groups, when this is possible. For the 35 ``irreducible'' groups for which it is not, an independent method is used that has the advantage of elucidating their subgroup relationships. Each space group is given a short ``fibrifold name'' which, much like the orbifold names for two-dimensional groups, while being only specified up to isotopy, contains enough information to allow the construction of the group from the name.


title: Inclusions of second quantization algebras

abstract: In this note we study inclusions of second quantization algebras, namely inclusions of von Neumann algebras on the Fock space of a separable complex Hilbert space H, generated by the Weyl unitaries with test functions in closed, real linear subspaces of H. We show that the class of irreducible inclusions of standard second quantization algebras is non empty, and that they are depth two inclusions, namely the third relative commutant of the Jones' tower is a factor. When the smaller vector space has codimension n into the bigger, we prove that the corresponding inclusion of second quantization algebras is given by a cross product with R^n. This shows in particular that the inlcusions studied in hep-th/9703129, namely the inclusion of the observable algebra corresponding to a bounded interval for the (n+p)-th derivative of the current algebra on the real line into the observable algebra for the same interval and the n-th derivative theory is given by a cross product with R^p. On the contrary, when the codimension is infinite, we show that the inclusion may be non regular (cf. M. Enock, R. Nest, J. Funct. Anal. 137 (1996), 466-543), hence do not correspond to a cross product with a locally compact group.


title: The Embedded Resolution of f(x,y)+z^2: (C^3,0) -> (C,0)

abstract: The goal of this paper is the presentation of an ``embedded resolution'' of ({f(x,y)+z^2=0},0) \subset (C^3,0) using the method of Jung.


title: On $C^r-$closing for flows on 2-manifolds

abstract: For some full measure subset B of the set of iet's (i.e. interval exchange transformations) the following is satisfied: Let X be a $C^r$, $1\le r\le \infty$, vector field, with finitely many singularities, on a compact orientable surface M. Given a nontrivial recurrent point $p\in M$ of X, the holonomy map around p is semi-conjugate to an iet $E :[0,1) \to [0,1).$ If $E\in B$ then there exists a $C^r$ vector field Y, arbitrarily close to X, in the $C^r-$topology, such that Y has a closed trajectory passing through p.


title: Centered complexity one Hamiltonian torus actions

abstract: We consider symplectic manifolds with Hamiltonian torus actions which are "almost but not quite completely integrable": the dimension of the torus is one less than half the dimension of the manifold. We provide a complete set of invariants for such spaces when they are "centered" and the moment map is proper. In particular, this classifies the moment map preimages of all sufficiently small open sets, which is an important step towards global classification. As an application, we construct a full packing of each of the Grassmanians Gr^+(2,R^5) and Gr^+(2,R^6) by two equal symplectic balls.


title: Simple conformal superalgebras of finite growth

abstract: In this paper, we construct six families of infinite simple conformal superalgebra of finite growth based on our earlier work on constructing vertex operator superalgebras from graded assocaitive algebras. Three subfamilies of these conformal superalgebras are generated by simple Jordan algebras of types A, B and C in a certain sense.


title: Variational calculus of supervariables and related algebraic structures

abstract: We establish a formal variational calculus of supervariables, which is a combination of the bosonic theory of Gel'fand-Dikii and the fermionic theory in our earlier work. Certain interesting new algebraic structures are found in connection with Hamiltonian superoperators in terms of our theory. In particular, we find connections between Hamiltonian superoperators and Novikov-Poisson algebras that we introduced in our earlier work in order to establish a tensor theory of Novikov algebras. Furthermore, we prove that an odd linear Hamiltonian superoperator in our variational calculus induces a Lie superalgebra, which is a natural generalization of the Super-Virasoro algebra under certain conditions.


title: Chern Numbers of Ample Vector Bundles on Toric Surfaces

abstract: Let $\sE$ be an ample rank $r$ bundle on a smooth toric projective surface, $S$, whose topological Euler characteristic is $e(S)$. In this article, we prove a number of surprisingly strong lower bounds for $c_1(\sE)^2$ and $c_2(\sE)$. We also enumerate the exceptions to either the inequality $c_1(\sE)^2\ge 4e(S)$ or the inequality $c_2(\sE)\ge e(S)$ holding.


title: Integrable geodesic flows on the suspensions of toric automorphisms

abstract: For any toric automorphism with only real eigenvalues a Riemannian metric with an integrable geodesic flow on the suspension of this automorphism is constructed. A qualitative analysis of such a flow on a three-solvmanifold constructed by the authors in math.DG/9905078 is done. This flow is an example of the geodesic flow, which has vanishing Liouville entropy and, moreover, is integrable but has positive topological entropy. The authors also discuss some open problems on integrability of geodesic flows and related subjects.


title: Contraction of the G_r,s Quantum Group to its Nonstandard analogue and corresponding Coloured Quantum Groups

abstract: The quantum group G_r,s provides a realisation of the two parameter quantum GL_p,q(2) which is known to be related to the two parameter nonstandard GL_hh'(2) group via a contraction method. We apply the contraction procedure to G_r,s and obtain a new Jordanian quantum group G_m,k. Furthermore, we provide a realisation of GL_h,h'(2) in terms of G_m,k. The contraction procedure is then extended to the coloured quantum group GL_r{\lambda,\mu}(2) to yield a new Jordanian quantum group GL_m{\lambda,\mu}(2). Both G_r,s and G_m,k are then generalised to their coloured versions which inturn provide similar realisations of GL_r{\lambda,\mu}(2) and GL_m{\lambda,\mu}(2).


title: The Leech lattice and other lattices

abstract: This is an unpublished manuscript written in 1983-4. It contains several results about lattices (=integral quadratic forms) including the classification of the unimodular lattices in dimensions up to 25 and the construction of unimodular lattices with no roots in dimensions 26 and 27.


title: Almost Kahler 4-manifolds with J-invariant Ricci tensor and special Weyl tensor

abstract: We study the question of integrability of a compatible almost complex structure on a compact symplectic 4-manifold, under various natural assumptions on the curvature of the associated almost Kahler metric.


title: Local rigidity of certain classes of almost Kahler 4-manifolds

abstract: We show that any non-Kahler, almost Kahler 4-manifold for which both the Ricci and the Weyl curvatures have the same algebraic symmetries as they have for a Kahler metric is locally isometric to the (only) proper 3-symmetric 4-dimensional space described by O. Kowalski.


title: Stability of conic bundles (with an appendix by Mundet i Riera)

abstract: Roughly speaking, a conic bundle is a surface, fibered over a curve, such that the fibers are conics (not necessarily smooth). We define stability for conic bundles and construct a moduli space. We prove that (after fixing some invariants) these moduli spaces are irreducible (under some conditions). Conic bundles can be thought of as generalizations of orthogonal bundles on curves. We show that in this particular case our definition of stability agrees with the definition of stability for orthogonal bundles. Finally, in an appendix by I. Mundet i Riera, a Hitchin-Kobayashi correspondence is stated for conic bundles.


title: Algebraic stacks

abstract: This is an expository article on the theory of algebraic stacks. After introducing the general theory, we concentrate in the example of the moduli stack of vector budles, giving a detailed comparison with the moduli scheme obtained via geometric invariant theory.


title: Invariant integration on classical and quantum Lie supergroups

abstract: Invariant integrals on Hopf superalgebras, in particular, the classical and quantum Lie supergroups, are studied. The uniqueness (up to scalar multiples) of a left integral is proved, and a super version of Maschke's theorem is discussed. A construction of left integrals is developed for classical and quantum Lie supergroups. Applied to several classes of examples the construction yields the left integrals in explicit form.


title: On the Casimir Elements of q-Algebras U'_q(so_n) and Their Eigenvalues in Representations

abstract: The nonstandard q-deformed algebras U'_q(so_n) are known to possess q-analogues of Gel'fand-Tsetlin type representations. For these q-algebras, all the Casimir elements (corresponding to basis set of Casimir elements of so(n)) are found, and their eigenvalues within irreducible representations are given explicitly.

categories: math.QA gr-qc hep-th math-ph math.MP math.RT


title: Amenable groups, topological entropy and Betti numbers

abstract: We investigate an analogue of the L^2-Betti numbers for amenable linear subshifts. The role of the von Neumann dimension shall be played by the topological entropy.


title: A Classification Approach for Open Manifolds

abstract: There are a least uncountably many diffeomorphism types for open manifolds. Hence the classification problem is extremely difficult. We proceed as follows: We define several uniform structures of proper metric spaces and consider their arc components. Any open complete manifold (M^n,g) defines such a component. Hence the classification amounts to two steps. First counting all components, and secondly counting all elements inside a component. This can be partially done by invariants. We define bordism groups and relative characteristic numbers.


title: Nonstandard Consequence Operators

abstract: In this paper, we investigate the algebras of consequence operators and finite consequence operators on a fixed language. Significant new collections of consequence operators are defined and shown to be complete and distributive sublattices. Further, the collection of consequence operators is shown to be almost atomic. Other lattice theoretic properties are investigated and useful chain properties are obtained. In the last section, natural languages, and associated consequence operators, are encoded and embedded into a nonstandard structure. The entire basic theory of nonstandard consequence operators is developed in this last section.


title: Convergence to the maximal invariant measure for a zero-range process with random rates

abstract: We consider a one-dimensional totally asymmetric nearest-neighbor zero-range process with site-dependent jump-rates - an environment. For each environment p we prove that the set of all invariant measures is the convex hull of a set of product measures with geometric marginals. As a consequence we show that for environments p satisfying certain asymptotic property, there are no invariant measures concentrating on configurations with critical density bigger than $\rho^*(p)$, a critical value. If $\rho^*(p)$ is finite we say that there is phase-transition on the density. In this case we prove that if the initial configuration has asymptotic density strictly above $\rho^*(p)$, then the process converges to the maximal invariant measure.


title: On Parabolic Subgroups and Hecke Algebras of Some Fractal Groups

abstract: We study the subgroup structure, Hecke algebras, quasi-regular representations, and asymptotic properties of some fractal groups of branch type. We introduce parabolic subgroups, show that they are weakly maximal, and that the corresponding quasi-regular representations are irreducible. These (infinite-dimensional) representations are approximated by finite-dimensional quasi-regular representations. The Hecke algebras associated to these parabolic subgroups are commutative, so the decomposition in irreducible components of the finite quasi-regular representations is given by the double cosets of the parabolic subgroup. Since our results derive from considerations on finite-index subgroups, they also hold for the profinite completions $\hat G$ of the groups G. The representations involved have interesting spectral properties investigated in math.GR/9910102. This paper serves as a group-theoretic counterpart to the studies in the mentionned paper. We study more carefully a few examples of fractal groups, and in doing so exhibit the first example of a torsion-free branch just-infinite group. We also produce a new example of branch just-infinite group of intermediate growth, and provide for it an L-type presentation by generators and relators.


title: External tensor product of categories of perverse sheaves

abstract: Under some assumptions we prove that the Deligne tensor product of categories of constructible perverse sheaves on pseudomanifolds X and Y is the category of constructible perverse sheaves on X\times Y. The Deligne external tensor product functor is identified with the geometrical external tensor product.


title: Asymptotically split extensions and E-theory

abstract: We show that the E-theory of Connes and Higson can be formulated in terms of C*-extensions in a way quite similar to the way in which the KK-theory of Kasparov can. The essential difference is that the role played by split extensions should be taken by asymptotically split extensions. We call an extension of a C*-algebra $A$ by a stable C*-algebra $B$ asymptotically split if there exists an asymptotic homomorphism consisting of right inverses for the quotient map. An extension is called semi-invertible if it can be made asymptotically split by adding another extension to it. Our main result is that there exists a one-to-one correspondence between asymptotic homomorphisms from $SA$ to $B$ and homotopy classes of semi-invertible extensions of $S^2A$ by $B$.


title: Pseudo symplectic geometry as an extension of the symplectic geometry

abstract: In this paper we define a new category of almost complex riemannian 4- manifolds and discuss some basic properties of such pseudo symplectic manifolds. Some motivation based on the Seiberg - Witten theory is imposed.


title: On a rigidity criterion for del Pezzo fibrations over ${\mathbb P}^1$

abstract: We discuss the rigidity problem for Mori fibrations on del Pezzo surfaces of degree 1, 2 and 3 over ${\mathbb P}^1$ and formulate the following conjecture: such a del Pezzo fibration $V/{\mathbb P}^1$ is birationally rigid if and only if its quasi-effective and adjunction thresholds coincide. We prove the "only if" part of this conjecture.


title: Computation of maximal reachability submodules

abstract: A new and conceptually simple procedure is derived for the compu- tation of the maximal reachability submodule of a given submodule of the state space of a linear discrete time system over a Noethenian ring R. The procedure is effective if R is effective and if kernels and inter- sections can be computed. The procedure is compared with a rather different procedure by Assan e.a. published recently.


title: An inverse boundary value problem for harmonic differential forms

abstract: We show that the full symbol of the Dirichlet to Neumann map of the k-form Laplace's equation on a Riemannian manifold (of dimension greater than 2) with boundary determines the full Taylor series, at the boundary, of the metric. This extends the result of Lee and Uhlmann for the case $k=0$. The proof avoids the computation of the full symbol by using the calculus of pseudo-differential operators parametrized by a boundary normal coordinate and recursively calculating the principal symbol of the difference of boundary operators.


title: Hydrodynamics for totally asymmetric $k$-step exclusion processes

abstract: We describe the hydrodynamic behavior of the $k$-step exclusion process. Since the flux appearing in the hydrodynamic equation for this particle system is neither convex nor concave, the set of possible solutions include in addition to entropic shocks and continuous solutions those with contact discontinuities. We finish with a limit theorem for the tagged particle.


title: Parametrizations of infinite biconvex sets in affine root systems

abstract: We investigate in detail relationships between the set ${\mathfrak B}^\infty$ of all infinite ``biconvex'' sets in the positive root system $\Delta_+$ of an arbitrary untwisted affine Lie algebra ${\mathfrak g}$ and the set ${\mathcal W}^\infty$ of all infinite ``reduced word'' of the Weyl group of ${\mathfrak g}$. The study is applied to the classification of ``convex orders'' on $\Delta_+$ (cf. \cite{kI}), which are indispensable to construct ``convex bases'' of Poincar\'e-Birkhoff-Witt type of the upper triangular subalgebra $U_q^+$ of the quantized universal enveloping algebra $U_q({\mathfrak g})$. We construct a set $\boldsymbol{\mathcal P}$ by using data of the underlying finite-dimensional simple Lie algebra, and bijective mappings $\nabla\colon\boldsymbol{\mathcal P}\to{\mathfrak B}^\infty$ and $\chi\colon\boldsymbol{\mathcal P}\to W^\infty$ such that $\nabla=\varPhi^\infty\circ\chi$, where $W^\infty$ is an quotient set of ${\mathcal W}^\infty$ and $\varPhi^\infty\colon W^\infty\to{\mathfrak B}^\infty$ is a natural injective mapping.


title: Variational aspects of the geodesic problem in sub-Riemannian geometry

abstract: We study the local geometry of the space of horizontal curves with endpoints freely varying in two given submanifolds $\mathcal P$ and $\mathcal Q$ of a manifold $\mathcal M$ endowed with a distribution $\mathcal D\subset T\M$. We give a different proof, that holds in a more general context, of a result by Bismut (Large Deviations and the Malliavin Calculus, Birkhauser, 1984) stating that the normal extremizers that are not abnormal are critical points of the sub-Riemannian action functional. We use the Lagrangian multipliers method in a Hilbert manifold setting, which leads to a characterization of the abnormal extremizers (critical points of the endpoint map) as curves where the linear constraint fails to be regular. Finally, we describe a modification of a result by Liu and Sussmann that shows the global distance minimizing property of sufficiently small portions of normal extremizers between a point and a submanifold.


title: Universal C*-algebra of real rank zero

abstract: It is well-known that every commutative separable unital C*-algebra of real rank zero is a quotient of the C*-algebra of all compex continous functions defined on the Cantor cube. We prove a non-commutative version of this result by showing that the class of all separable unital C*-algebras of real rank zero concides with the class of quotients of a certain separable unital C*-algebra of real-rank zero.


title: A classification of fibre bundles over 2-dimensional spaces

abstract: The classification problem for principal fibre bundles over two-dimensional CW-complexes is considered. Using the Postnikov factorization for the base space of a universal bundle a Puppe sequence that gives an implicit solution for the classification problem is constructed. In cases, when the structure group $G$ is path-connected or $\pi_{1}(G) = 0$, the classification can be given in terms of cohomology groups.


title: The Tate Conjecture for Certain Abelian Varieties over Finite Fields

abstract: Tate's theorem (Invent. Math. 1966)implies that the Tate conjecture holds for any abelian variety over a finite field whose Q_l-algebra of Tate classes is generated by those of degree 1. We construct families of abelian varieties over finite fields for which this condition fails, but for which we are nevertheless able to prove the Tate conjecture.


title: Quadratic conformal superalgebras

abstract: In this paper, we shall classify ``quadratic'' conformal superalgebras by certain compatible pairs of a Lie superalgebra and a Novikov superalgebra.Four general constructions of such pairs are given. Moreover, we shall classify such pairs related to simple Novikov algebras.


title: New generalized simple Lie algebras of Cartan type over a field with charcteristic 0

abstract: We construct four new series of generalized simple Lie algebras of Cartan type, using the mixtures of grading operators and down-grading operators. Our results in this paper are further generalizations of those in Osborn's work ``New simple infinite-dimensional Lie algebras of characteristic 0.''


title: Generalizations of the Block algebras

abstract: In this paper, we introduce two new families of infinite-dimensional simple Lie algebras and a new family of infinite-dimensional simple Lie superalgebras. These algebras can be viewed as generalizations of the Block algebras.


title: Finite time blow up for a Navier-Stokes like equation

abstract: We consider an equation similar to the Navier-Stokes equation. We show that there is initial data that exists in every Triebel-Lizorkin or Besov space (and hence in every Lebesgue and Sobolev space), such that after a finite time, the solution is in no Triebel-Lizorkin or Besov space (and hence in no Lebesgue or Sobolev space). The purpose is to show the limitations of the so called semigroup method for the Navier-Stokes equation. We also consider the possibility of existence of solutions with initial data in the Besov space $\dot B^{-1,\infty}_\infty$. We give initial data in this space for which there is no reasonable solution for the Navier-Stokes like equation.


title: Lattices in R^2 and finite subsets of a circle

abstract: An elementary geometric construction is used to relate the space of lattices in a plane to the space exp_3(S^1) of the subsets of a circle of cardinality at most 3. As a consequence we obtain new proofs of a theorem of Bott which says that exp_3(S^1) is homeomorphic to a 3-sphere and a theorem of Shchepin which says that points of exp_3(S^1) that correspond to one-point subsets form a trefoil knot in this 3-sphere.


title: On cardinalities in quotients of inverse limits of groups

abstract: Let lambda be aleph_0 or a strong limit of cofinality aleph_0. Suppose that (G_m,p_{m,n}:m =< n<omega) and (H_m,p^t_{m,n}: m=< n < omega) are projective systems of groups of cardinality less than lambda and suppose that for every n<omega there is a homomorphism h:H_n-->G_n such that all the diagrams commute. If for every mu<lambda there exists (f_i in G_omega:i<mu) such that for distinct i,j we have: f_i f_j^{-1} notin h_omega(H_omega), then there exists (f_i in G_omega:i<2^lambda) such that for distinct i,j we have f_i f_j^{-1} notin h_omega(H_omega).


title: Topology of cyclic configuration spaces and periodic trajectories of multi-dimensional billiards

abstract: We give lowed bounds on the number of periodic trajectories in strictly convex smooth billiards in $\R^{m+1}$ for $m\ge 3$. For plane billiards (when m=1) such bounds were obtained by G. Birkhoff in the 1920's. Our proof is based on topological methods of calculus of variations - equivariant Morse and Lusternik - Schirelman theories. We compute the equivariant cohomology ring of the cyclic configuration space of the sphere $S^m$, i.e., the space of n-tuples of points $(x_1, ..., x_n)$, where $x_i\in S^m$ and $x_i\ne x_{i+1}$ for i=1,2, ..., n.


title: On the Structure of $\alpha $-Stable Graphs

abstract: The stability number of a graph G is the cardinality of a stability system of G (that is of a stable set of maximum size of G). A graph is alpha-stable if its stability number remains the same upon both the deletion and the addition of any edge. Trying to generalize some stable trees properties, we show that there does not exist any alpha-stable chordal graph, and we prove that: if G is a connected bipartite graph, then the following assertions are equivalent: G is alpha-stable; G can be written as a vertex disjoint union of connected bipartite graphs, each of them having exactly two stability systems covering its vertex set; G has perfect matchings and no edge belongs to all its perfect matchings; from each vertex of G are issuing at least two edges contained in some perfect matchings of G; any vertex of G lies on a cycle, whose edges are alternately in and not in some perfect matching; no vertex belongs to all stability systems of G, and no edge belongs to all its perfect matchings.


title: On versions of clubsuit on cardinals larger than aleph_1

abstract: We give two results on guessing unbounded subsets of lambda^+. The first is a positive result and applies to the situation of lambda regular and at least equal to aleph_3, while the second is a negative consistency result which applies to the situation of lambda a singular strong limit with 2^lambda>lambda^+. The first result shows that in ZFC there is a guessing of unbounded subsets of S^{lambda^+}_lambda. The second result is a consistency result (assuming a supercompact cardinal exists) showing that a natural guessing fails. A result of Shelah in math.LO/9808140 shows that if 2^lambda=lambda^+ and lambda is a strong limit singular, then the corresponding guessing holds. Both results are also connected to an earlier result of Dzamonja and Shelah in which they showed that a certain version of clubsuit holds at a successor of singular just in ZFC. The first result here shows that a result of math.LO/9601219 can to a certain extent be extended to the successor of a regular. The negative result here gives limitations to the extent to which one can hope to extend this result.


title: Strong splitting in stable homogeneous models

abstract: We study elementary submodels of a stable homogeneous structure. We improve the independence relation defined in [T. Hyttinen, On nonstructure of elementary submodels of a stable homogeneous structure, Fundamenta Mathematicae, 156(1998): 167-182]. We apply this to prove a structure theorem. We also show that dop and sdop are essentially equivalent, where the negation of dop is the property we use in our structure theorem and sdop implies nonstructure.


title: On the weak Freese-Nation property of complete Boolean algebras

abstract: The following results are proved: (a) In a model obtained by adding aleph_2 Cohen reals, there is always a c.c.c. complete Boolean algebra without the weak Freese-Nation property. (b) Modulo the consistency strength of a supercompact cardinal, the existence of a c.c.c. complete Boolean algebras without the weak Freese-Nation property consistent with GCH. (c) Under some consequences of the negation of 0^#, the weak Freese-Nation property of (P(omega),subseteq) is equivalent to the weak Freese-Nation property of any of C(kappa) or R(kappa) for uncountable kappa. (d) Modulo consistency of (aleph_{omega+1},aleph_omega)-->(aleph_1,aleph_0), it is consistent with GCH that the assertion in (c) does not hold and also that adding aleph_omega Cohen reals destroys the weak Freese-Nation property of (P(omega),subseteq)


title: On equivalence relations Sigma_1^1-definable over H(kappa)

abstract: Let kappa be an uncountable regular cardinal. Call an equivalence relation on functions from kappa into 2 Sigma_1^1-definable over H(kappa) if there is a first order sentence F and a parameter R subseteq H(kappa) such that functions f,g:kappa --> 2 are equivalent iff for some h:kappa --> 2, the structure (H(kappa),in,R,f,g,h) satisfies F, where in, R, f, g, and h are interpretations of the symbols appearing in F. All the values mu, 1 leq mu leq kappa^+ or mu=2^kappa, are possible numbers of equivalence classes for such a Sigma_1^1-equivalence relation. Additionally, the possibilities are closed under unions of <=kappa-many cardinals and products of <kappa-many cardinals. We prove that, consistent wise, these are the only restrictions under the singular cardinal hypothesis. The result is that the possible numbers of equivalence classes of Sigma_1^1-equivalence relations might consistent wise be exactly those cardinals which are in a prearranged set, provided that the singular cardinal hypothesis holds and that some necessary conditions are fulfilled.


title: The number of L_{infty,kappa}-equivalent non-isomorphic models for kappa weakly compact

abstract: For a cardinal kappa and a model M of cardinality kappa let No(M) denote the number of non-isomorphic models of cardinality kappa which are L_{infty,kappa}--equivalent to M. In [Sh:133] Shelah established that when kappa is a weakly compact cardinal and mu<=kappa is a nonzero cardinal, there exists a model M of cardinality kappa with No(M)=mu. We prove here that if kappa is a weakly compact cardinal, the question of the possible values of No(M) for models M of cardinality kappa is equivalent to the question of the possible numbers of equivalence classes of equivalence relations which are Sigma^1_1-definable over V_kappa. In math.LO/9911231 we prove that, consistent wise, the possible numbers of equivalence classes of Sigma^1_1-equivalence relations can be completely controlled under the singular cardinal hypothesis. These results settle the problem of the possible values of No(M) for models of weakly compact cardinality, provided that the singular cardinal hypothesis holds.


title: Input-Output-to-State Stability

abstract: This work explores Lyapunov characterizations of the input-output-to-state stability (IOSS) property for nonlinear systems. The notion of IOSS is a natural generalization of the standard zero-detectability property used in the linear case. The main contribution of this work is to establish a complete equivalence between the input-output-to-state stability property and the existence of a certain type of smooth Lyapunov function. As corollaries, one shows the existence of ``norm-estimators'', and obtains characterizations of nonlinear detectability in terms of relative stability and of finite-energy estimates.


title: The ramification of centres: Lie algebras in positive characteristic and quantised enveloping algebras

abstract: Let H be a Hopf algebra which is a finite module over a central sub-Hopf algebra R. The ramification behaviour of the maximal ideals of Z(H) with respect to the subalgebra R is studied. In the case when H is U(g), the enveloping algebra of a semisimple Lie algebra g, a conjecture of Humphreys is confirmed. In the case when H is the quantised enveloping algebra of g at a root of unity we obtain quantum analogues of result of a Mirkovic and Rumynin, we fully describe the reduced factor algebras over the regular sheet and the blocks of H are determined.


title: Structures de contact sur les varietes fibrees en cercles au-dessus d'une surface

abstract: In this paper, we study the global behaviour of contact structures on oriented manifolds V which are circle bundles over a closed orientable surface S of genus g>0. We establish in particular contact analogs of a number of classical results about foliations due to Milnor, Wood, Thurston, Matsumoto, and Ghys. In Section~1, we prove that V carries a (positive) contact structure transverse to the fibers if and only if the Euler number of the fibration is less or equal to 2g-2. In Section~2, we show that, for any contact structure $\xi$ on V, one of the following properties holds: either $\xi$ is isotopic to a contact structure transverse to the fibers or there exists, in some finite sheeted cover of V, a Legendrian curve isotopic to the fiber along which $\xi$ determines the same framing as the fibration $V \to S$. In Section 3, we classify contact structures that are transverse to the fibers up to isotopy and conjugation. In Section 4, we study general tight contact structures on V. We prove that virtually over-twisted contact structures form finitely many isotoy classes while isotopy classes of universally tight contact structures are in one-to-one correspondence with isotopy classes of systems of essential curves on S.


title: Igusa's modular form and the classification of Siegel modular threefolds

abstract: In this paper we prove two results concerning the classification of Siegel modular threefolds. Let A_{1,d}(n) be the moduli space of abelian surfaces with a (1,d)-polarization and a full level-n structure and let A_{1,d}^{lev}(n) be the space where one has fixed an additional canonical level structure. We prove that A_{1,d}(n) is of general type if (d,n)=1 and n ist at least 4. This is the best possible result which one can prove for all d simultaneously. Let p be an odd prime and assume that (p,n)=1. Then we prove that the Voronoi compactification of A_{1,p}^{lev}(n) is smooth and has ample canonical bundle if and only if n is greater than or equal to 5.


title: The Asymmetric Simple Exclusion Process with Multiple Shocks

abstract: We consider the one dimensional totally asymmetric simple exclusion process with initial product distribution with densities $0 \leq \rho_0 < \rho_1 <...< \rho_n \leq 1$ in $(-\infty,c_1\ve^{-1})$, $[c_1\ve^{-1},c_2\epsilon^{-1}),...,[c_n \ve^{-1}, + \infty)$, respectively. The initial distribution has shocks (discontinuities) at $\epsilon^{-1}c_k$, k=1,...,n and we assume that in the corresponding macroscopic Burgers equation the n shocks meet in $r^*$ at time $t^*$. The microscopic position of the shocks is represented by second class particles whose distribution in the scale $\epsilon^{-1/2}$ is shown to converge to a function of n independent Gaussian random variables representing the fluctuations of these particles ``just before the meeting''. We show that the density field at time $\ve^{-1}t^*$, in the scale $\ve^{-1/2}$ and as seen from $\ve^{-1}r^*$ converges weakly to a random measure with piecewise constant density as $\ve \to 0$; the points of discontinuity depend on these limiting Gaussian variables. As a corollary we show that, as $\epsilon\to 0$, the distribution of the process at site $\epsilon^{-1}r^*+\ve^{-1/2}a$ at time $\epsilon^{-1}t^*$ tends to a non trivial convex combination of the product measures with densities $\rho_k$, the weights of the combination being explicitly computable.


title: Bounds on complex eigenvalues and resonances

abstract: We obtain bounds on the complex eigenvalues of non-self-adjoint Schr\"odinger operators with complex potentials, and also on the complex resonances of self-adjoint Schr\"odinger operators. Our bounds are compared with numerical results, and are seen to provide useful information.


title: Modular Invariants from Subfactors: Type I Coupling Matrices and Intermediate Subfactors

abstract: A braided subfactor determines a coupling matrix Z which commutes with the S- and T-matrices arising from the braiding. Such a coupling matrix is not necessarily of "type I", i.e. in general it does not have a block-diagonal structure which can be reinterpreted as the diagonal coupling matrix with respect to a suitable extension. We show that there are always two intermediate subfactors which correspond to left and right maximal extensions and which determine "parent" coupling matrices Z^\pm of type I. Moreover it is shown that if the intermediate subfactors coincide, so that Z^+=Z^-, then Z is related to Z^+ by an automorphism of the extended fusion rules. The intertwining relations of chiral branching coefficients between original and extended S- and T-matrices are also clarified. None of our results depends on non-degeneracy of the braiding, i.e. the S- and T-matrices need not be modular. Examples from SO(n) current algebra models illustrate that the parents can be different, Z^+\neq Z^-, and that Z need not be related to a type I invariant by such an automorphism.


title: Indicators for Plurisubharmonic Functions of Logarithmic Growth

abstract: A notion of indicator for a plurisubharmonic function u of logarithmic growth in C^n is introduced and studied. It is applied to evaluation of the total Monge-Amp\`ere measure (dd^cu)^n({C}^n). Upper bounds for the measure are obtained in terms of growth characteristics of u. When u=log|f| for a polynomial mapping f with isolated zeros, the indicator generates the Newton polyhedron of f whose volume bounds the number of the zeros.


title: Knot Concordance and Torsion

abstract: Let K be a knot in the 3-sphere with 2-fold branched covering space M. If for some prime p congruent to 3 mod 4 the p-torsion in the first homology of M is cyclic with odd exponent, then K is of infinite order in the knot concordance group. As one application, recall that the n-twisted double of an arbitrary knot has order 4 in Levine's algebraic concordance group if and only if n is positive and some prime congruent to 3 mod 4 has odd exponent in 4n+1; we show that all such knots are of infinite order in the knot concordance group. As a second application, the 2-bridge knot K(r,s) has infinite order in the knot concordance group if some prime congruent to 3 mod 4 has odd exponent in r.


title: Noetherian hereditary categories satisfying Serre duality

abstract: In this paper we classify noetherian hereditary abelian categories satisfying Serre duality in the sense of Bondal and Kapranov. As a consequence we obtain a classification of saturated noetherian hereditary categories. As a side result we show that when our hereditary categories have no nonzero projectives or injectives, then the Serre duality property is equivalent to the existence of almost split sequences.


title: Permutations containing and avoiding certain patterns

abstract: Let T_k^m={\sigma \in S_k | \sigma_1=m}. We prove that the number of permutations which avoid all patterns in T_k^m equals (k-2)!(k-1)^{n+1-k} for k <= n. We then prove that for any \tau in T_k^1 (or any \tau in T_k^k), the number of permutations which avoid all patterns in T_k^1 (or in T_k^k) except for \tau and contain \tau exactly once equals (n+1-k)(k-1)^{n-k} for k <= n. Finally, for any \tau in T_k^m, 2 <= m <= k-1, this number equals (k-1)^{n-k} for k <= n. These results generalize recent results due to Robertson concerning permutations avoiding 123-pattern and containing 132-pattern exactly once.


title: On some two parameter Quantum and Jordanian deformations, and their Coloured extensions

abstract: This paper suveys some recent algebraic developments in two parameter Quantum deformations and their Nonstandard (or Jordanian) counterparts. In particular, we discuss the contraction procedure and the quantum group homomorphisms associated to these deformations. The scheme is then set in the wider context of the coloured extensions of these deformations, namely, the so-called Coloured Quantum Groups.


title: Every Coxeter group acts amenably on a compact space

abstract: Coxeter groups admit amenable actions on compact spaces. Moreover, they have finite asymptotic dimension.


title: Decay of mean-values of multiplicative functions

abstract: Given a multiplicative function f satisfying |f(n)| <= 1 for all n, the authors study the problem of obtaining explicit upper bounds on the mean-value 1/x |sum_{n <= x} f(n)|.


title: Cosmetic surgery on knots

abstract: This paper concerns the Dehn surgery construction, especially those Dehn surgeries leaving the manifold unchanged. In particular, we describe an oriented 1-cusped hyperbolic 3-manifold X with a pair of slopes r_1, r_2 such that the Dehn filled manifolds X(r_1), X(r_2) are oppositely oriented copies of the lens space L(49,18), and there is no homeomorphism h of X such that h(r_1)=h(r_2).


title: Topological field theories and formulae of Casson and Meng-Taubes

abstract: The goal of this paper is to give a new proof of a theorem of Meng and Taubes that identifies the Seiberg-Witten invariants of 3-manifolds with Milnor torsion. The point of view here will be that of topological quantum field theory. In particular, we relate the Seiberg-Witten equations on a 3-manifold with the Abelian vortex equations on a Riemann surface. These techniques also give a new proof of the surgery formula for the Casson invariant, interpreted as an invariant of a homology S^2 x S^1.


title: Manifolds at and beyond the limit of metrisability

abstract: In this paper we give a brief introduction to criteria for metrisability of a manifold and to some aspects of non-metrisable manifolds. Bias towards work currently being done by the author and his colleagues at the University of Auckland will be very evident.


title: Almost linear actions by finite groups on S^{2n-1}

abstract: A free action of a finite group on an odd-dimensional sphere is said to be almost linear if the action restricted to each cyclic or 2-hyperelementary subgroup is conjugate to a free linear action. We begin this survey paper by reviewing the status of almost linear actions on the 3-sphere. We then discuss almost linear actions on higher-dimensional spheres, paying special attention to the groups SL_2(p), and relate such actions to surgery invariants. Finally, we discuss geometric structures on space forms or, more generally, on manifolds whose fundamental group has periodic cohomology. The geometric structures considered here are contact structures and Riemannian metrics with certain curvature properties.


title: Small surfaces and Dehn filling

abstract: We give a summary of known results on the maximal distances between Dehn fillings on a hyperbolic 3-manifold that yield 3-manifolds containing a surface of non-negative Euler characteristic that is either essential or Heegaard.


title: Right integrals and invariants of three-manifolds

abstract: This paper gives a summary of our approach to invariants of three manifolds via right integrals on finite dimensional Hopf algebras and their relation to the Kirby calculus.


title: The E_8-manifold, singular fibers and handlebody decompositions

abstract: The E_8-manifold has several natural framed link descriptions, and we give an efficient method (via `grapes') for showing that they are indeed the same 4-manifold. This leads to explicit handle pictures for the perturbation of singular fibers in an elliptic surface to a collection of fishtails. In the same vein, we show how the degeneration of a regular fiber to a singular fiber in an elliptic surface provides rich examples of Gromov's compactness theorem.


title: Classification of unknotting tunnels for two bridge knots

abstract: In this paper, we show that any unknotting tunnel for a two bridge knot is isotopic to either one of known ones. This together with Morimoto-Sakuma's result gives the complete classification of unknotting tunnels for two bridge knots up to isotopies and homeomorphisms.


title: On regularly fibered complex surfaces

abstract: We show that a compact complex surface which fibers smoothly over a curve of genus >1 with fibers of genus >1 fibers holomorphically. We deduce an improvement of a result in [D Kotschick, Math. Research Letters, 5 (1998) 227-234], and a characterisation of fibered surfaces with zero signature.


title: Simplicial moves on complexes and manifolds

abstract: Here are versions of the proofs of two classic theorems of combinatorial topology. The first is the result that piecewise linearly homeomorphic simplicial complexes are related by stellar moves. This is used in the proof, modelled on that of Pachner, of the second theorem. This states that moves from only a finite collection are needed to relate two triangulations of a piecewise linear manifold.


title: Cusp equivalence between smooth embeddings of the 2-sphere in 4-space

abstract: If the fundamental group of the complement of a smooth embedding f: S^2 \subset R^4 is a cyclic group, the map can be deformed to the standard embedding by a generic one-parameter family with at most cusp singularities. If two smooth embeddings are connected by such a deformation, they will be called cusp equivalent. We will discuss the relation of three equivalences of smooth 2-knots S^2 \subset R^4; cusp equivalence, stable equivalence and weakly stable equivalence.


title: Structure of the mapping class groups of surfaces: a survey and a prospect

abstract: In this paper, we survey recent works on the structure of the mapping class groups of surfaces mainly from the point of view of topology. We then discuss several possible directions for future research. These include the relation between the structure of the mapping class group and invariants of 3-manifolds, the unstable cohomology of the moduli space of curves and Faber's conjecture, cokernel of the Johnson homomorphisms and the Galois as well as other new obstructions, cohomology of certain infinite dimensional Lie algebra and characteristic classes of outer automorphism groups of free groups and the secondary characteristic classes of surface bundles. We give some experimental results concerning each of them and, partly based on them, we formulate several conjectures and problems.


title: Homology stratifications and intersection homology

abstract: A homology stratification is a filtered space with local homology groups constant on strata. Despite being used by Goresky and MacPherson [Intersection homology theory: II, Inventiones Mathematicae, 71 (1983) 77-129] in their proof of topological invariance of intersection homology, homology stratifications do not appear to have been studied in any detail and their properties remain obscure. Here we use them to present a simplified version of the Goresky-MacPherson proof valid for PL spaces, and we ask a number of questions. The proof uses a new technique, homology general position, which sheds light on the (open) problem of defining generalised intersection homology.


title: A polynomial invariant of diffeomorphisms of 4-manifolds

abstract: We use a 1-parameter version of gauge theory to investigate the topology of the diffeomorphism group of 4-manifolds. A polynomial invariant, analogous to the Donaldson polynomial, is defined, and is used to show that the diffeomorphism group of certain simply-connected 4-manifolds has infinitely generated \pi _0.


title: Lattice point problems and distribution of values of quadratic forms

abstract: For d-dimensional irrational ellipsoids E with d >= 9 we show that the number of lattice points in rE is approximated by the volume of rE, as r tends to infinity, up to an error of order o(r^{d-2}). The estimate refines an earlier authors' bound of order O(r^{d-2}) which holds for arbitrary ellipsoids, and is optimal for rational ellipsoids. As an application we prove a conjecture of Davenport and Lewis that the gaps between successive values, say s<n(s), s,n(s) in Q[Z^d], of a positive definite irrational quadratic form Q[x], x in R^d, are shrinking, i.e., that n(s) - s -> 0 as s -> \infty, for d >= 9. For comparison note that sup_s (n(s)-s) < \infty and \inf_s (n(s)-s) >0, for rational Q[x] and d>= 5. As a corollary we derive Oppenheim's conjecture for indefinite irrational quadratic forms, i.e., the set Q[Z^d] is dense in R, for d >= 9, which was proved for d >= 3 by G. Margulis in 1986 using other methods. Finally, we provide explicit bounds for errors in terms of certain characteristics of trigonometric sums.


title: Gromov's measure equivalence and rigidity of higher rank lattices

abstract: In this paper the notion of Measure Equivalence (ME) of countable groups is studied. ME was introduced by Gromov as a measure-theoretic analog of quasi-isometries. All lattices in the same locally compact group are Measure Equivalent; this is one of the motivations for this notion. The main result of this paper is ME rigidity of higher rank lattices: any countable group which is ME to a lattice in a simple Lie group G of higher rank, is commensurable to a lattice in G.


title: Orbit equivalence rigidity

abstract: Consider a countable group Gamma acting ergodically by measure preserving transformations on a probability space (X,mu), and let R_Gamma be the corresponding orbit equivalence relation on X. The following rigidity phenomenon is shown: there exist group actions such that the equivalence relation R_Gamma on X determines the group Gamma and the action (X,mu,Gamma) uniquely, up to finite groups. The natural action of SL_n(Z) on the n-torus R^n/Z^n, for n>2, is one of such examples. The interpretation of these results in the context of von Neumann algebras provides some support to the conjecture of Connes on rigidity of group algebras for groups with property T. Our rigidity results also give examples of countable equivalence relations of type II, which cannot be generated (mod 0) by a free action of any group. This gives a negative answer to a long standing problem of Feldman and Moore.


title: On explicit lifts of cusp forms from GL_m to classical groups

abstract: In this paper, we begin the study of poles of partial L-functions L^S(sigma tensor tau,s), where sigma tensor tau is an irreducible, automorphic, cuspidal, generic (i.e. with nontrivial Whittaker coefficient) representation of G_A x GL_m(A). G is a split classical group and A is the adele ring of a number field F. We also consider tilde{Sp}_{2n}(A) x GL_m(A), where tilde denotes the metaplectic cover.


title: Metal-insulator transition for the almost Mathieu operator

abstract: We prove that for Diophantine \om and almost every \th, the almost Mathieu operator, (H_{\omega,\lambda,\theta}\Psi)(n)=\Psi(n+1) + \Psi(n-1) + \lambda\cos 2\pi(\omega n +\theta)\Psi(n), exhibits localization for \lambda > 2 and purely absolutely continuous spectrum for \lambda < 2. This completes the proof of (a correct version of) the Aubry-Andr\'e conjecture.


title: Addendum to "Classification of irreducible holonomies of torsion-free affine connection"

abstract: The real form Spin(6,H) in End(R^{32}) of Spin(12,C) in End(C^{32}) is absolutely irreducible and thus satisfies the algebraic identities (40) and (41). Therefore, it also occurs as an exotic holonomy and the associated supermanifold M_g admits a SUSY-invariant polynomial. This real form has been erroneously omitted in our paper. Also, the two real four-dimensional exotic holonomies, whose occurrences were un known at the time of writing, have been shown to exist very recently by R. Bryant.


title: The Cassels-Tate pairing on polarized abelian varieties

abstract: Let (A,\lambda) be a principally polarized abelian variety defined over a global field k, and let \Sha(A) be its Shafarevich-Tate group. Let \Sha(A)_\nd denote the quotient of \Sha(A) by its maximal divisible subgroup. Cassels and Tate constructed a nondegenerate pairing \Sha(A)_\nd \times \Sha(A)_\nd \rightarrow \Q/\Z. If A is an elliptic curve, then by a result of Cassels the pairing is alternating. But in general it is only antisymmetric. Using some new but equivalent definitions of the pairing, we derive general criteria deciding whether it is alternating and whether there exists some alternating nondegenerate pairing on \Sha(A)_\nd. These criteria are expressed in terms of an element c \in \Sha(A)_\nd that is canonically associated to the polarization \lambda. In the case that A is the Jacobian of some curve, a down-to-earth version of the result allows us to determine effectively whether \#\Sha(A) (if finite) is a square or twice a square. We then apply this to prove that a positive proportion (in some precise sense) of all hyperelliptic curves of even genus g \ge 2 over \Q have a Jacobian with nonsquare \#\Sha (if finite). For example, it appears that this density is about 13% for curves of genus 2. The proof makes use of a general result relating global and local densities; this result can be applied in other situations.


title: Permanents, Pfaffian orientations, and even directed circuits

abstract: Given a 0-1 square matrix A, when can some of the 1's be changed to -1's in such a way that the permanent of A equals the determinant of the modified matrix? When does a real square matrix have the property that every real matrix with the same sign pattern (that is, the corresponding entries either have the same sign or are both zero) is nonsingular? When is a hypergraph with n vertices and n hyperedges minimally nonbipartite? When does a bipartite graph have a "Pfaffian orientation"? Given a digraph, does it have no directed circuit of even length? Given a digraph, does it have a subdivision with no even directed circuit? It is known that all of the above problems are equivalent. We prove a structural characterization of the feasible instances, which implies a polynomial-time algorithm to solve all of the above problems. The structural characterization says, roughly speaking, that a bipartite graph has a Pfaffian orientation if and only if it can be obtained by piecing together (in a specified way) planar bipartite graphs and one sporadic nonplanar bipartite graph.


title: A secondary Chern-Euler class

abstract: Let xi be a smooth oriented vector bundle, with n-dimensional fibre, over a smooth manifold M. Denote by xi-hat the fibrewise one-point compactification of xi. The main purpose of this paper is to define geometrically a canonical element Upsilon(xi) in H^n(xi-hat,Q) (H^n(xi-hat,Z) tensor 1/2, to be more precise). The element \Upsilon(\xi) is a secondary characteristic class to the Euler class in the fashion of Chern-Simons.


title: Dwork's conjecture on unit root zeta functions

abstract: In this article, we introduce a systematic new method to investigate the conjectural p-adic meromorphic continuation of Professor Bernard Dwork's unit root zeta function attached to an ordinary family of algebraic varieties defined over a finite field of characteristic p.


title: Sur un r\'esultat d'Imin Chen

abstract: We generalize a result of Chen concerning an isogeny between products of jacobians of modular curves associated to subgroups of GL(2,F_p). This generalization concerns objects with an action by GL(2,F) with F an arbitrary finite field, in more general additive categories.


title: On the Andre-Oort conjecture for Hilbert modular surfaces

abstract: We prove, assuming the generalized Riemann hypothesis, the Andre-Oort conjecture for Hilbert modular surfaces. More precisely, let K be a real quadratic field and let S be the coarse moduli space of complex abelian surfaces with multiplications by the ring of integers of K. Let C be an irreducible closed curve in S, and suppose that C contains infinitely many complex multiplication points. Then we prove, assuming GRH, that C is of Hodge type, meaning, in this case, that it parametrizes abelian varieties with more endomorphisms. Also, if we assume that C has infinitely many CM points that correspond to abelian surfaces that lie in one isogeny class, we prove that C is of Hodge type without assuming GRH. This last result is motivated by applications by Wolfart, Cohen and Wustholz.


title: Curves of genus 2 with sqrt2 multiplication

abstract: In this paper, we give a universal family of curves of genus 2 whose jacobians have $\sqrt2$ multiplication fixed by the Rosati involution, and several results based on it, including isogenies between jacobians of curves, and jacobians of curves with quaternionic multiplication.


title: Sections on certain j=0 elliptic surfaces

abstract: Using some theory of (rational) elliptic surfaces plus elementary properties of a Mordell-Weil group regarded as module over the endomorphism ring of a (CM) elliptic curve, we present examples of such surfaces with j-invariant zero. In particular, a K3 example is given with the maximal possible rank 18, plus that many explicit independent sections on it. Several other high rank cases are discussed; for instance Shioda's example with rank 68.


title: A converse extrapolation theorem for translation invariant operators

abstract: We prove the converse of Yano's extrapolation theorem for translation invariant operators.


title: Hypersurface Singularities which cannot be resolved in Characteristic Positive

abstract: Assume that there exists a hypersurface singularity which cannot be resolved by iterated monoidal transformations in positive characteristic. We show that in the set of defining functions of hypersurface singularities which cannot be resolved, we can find a function satisfying very strong conditions. By these conditions we may be able to deduce a contradiction under the above assumption. Besides, we introduce fundamental concepts for the study of resolution of singularities of germs such as space germs, iterated analytic monoidal transforms with a normal crossing, Weierstrass representations, reduction sequences, and so forth. This is a revised version of a part of contents of my previous manuscript "Resolution of Singularities of Germs in Characteristic Positive associated with Valuation Rings of Iterated Divisor Type" at math.AG/9901048.


title: Parabolic bundles and representations of the fundamental group

abstract: Let X be as smooth complex projective variety with Neron-Severi group isomorphic to Z, and D an irreducible divisor with normal crossing singularities. Assume r is equal to 2 or 3. We prove that if the fundamental group of X doesn't have irreducible PU(r) representations, then the fundamental group of X-D doesn't have irreducible U(r) representations. The proof uses the non-existence of certain stable parabolic bundles. We also obtain a similar result for GL(2) when D is smooth and X is a complex surface.


title: Topological equivalence of smooth functions with isolated critical points on a closed surfaces

abstract: We consider functions with isolated critical points on a closed surface. We prove that in a neighborhood of a critical point the function conjugates with Re$z^k$ for the some nonnegative integer k. The full topological invariant of such functions is constructed.


title: Birational classification of moduli spaces of vector bundles over $\mathbb{P}^{2}$

abstract: The depth of a vector bundle E over the projective plane P^2 is the largest integer h such that [E]/h is in the Grothendieck group of coherent sheaves on P^2 where [E] is the class of E in this Grothendieck group. We show that a moduli space of vector bundles is birational to a suitable number of h by h matrices up to simultaneous conjugacy where h is the depth of the vector bundles classified by the moduli space. In particular, such a moduli space is a rational variety if h <= 4 and is stably rational when h divides 420.


title: Brunnian links are determined by their complements

abstract: If L_1 and L_2 are two Brunnian links with all pairwise linking numbers 0, then we show that L_1 and L_2 are equivalent if and only if they have homeomorphic complements. In particular, this holds for all Brunnian links with at least three components. If L_1 is a Brunnian link with all pairwise linking numbers 0, and the complement of L_2 is homeomorphic to the complement of L_1, then we show that L_2 may be obtained from L_1 by a sequence of twists around unknotted components. Finally, we show that for any positive integer n, an algorithm for detecting an n-component unlink leads immediately to an algorithm for detecting an unlink of any number of components. This algorithmic generalization is conceptually simple, but probably computationally impractical.


title: Remarks regarding the gap between continuous, Lipschitz, and differentiable storage functions for dissipation inequalities appearing in $H_\infty$ control

abstract: This paper deals with the regularity of solutions of the Hamilton-Jacobi Inequality which arises in H-infinity control. It shows by explicit counterexamples that there are gaps between existence of continuous and locally Lipschitz (positive definite and proper) solutions, and between Lipschitz and continuously differentiable ones. On the other hand, it is shown that it is always possible to smooth-out solutions, provided that an infinitesimal increase in gain is allowed.


title: Rate of convergence to equilibrium of symmetric simple exclusion processes

abstract: We give bounds on the rate of convergence to equilibrium of the symmetric simple exclusion process in $\Z^d$. Our results include the existent results in the literature. We get better bounds and larger class of initial states via a unified approach. The method includes a comparison of the evolution of n interacting particles with n independent ones along the whole time trajectory.


title: Explicit quantization of dynamical r-matrices for finite dimensional semisimple Lie algebras

abstract: We provide an explicit quantization of dynamical r-matrices for semisimple Lie algebras, classified earlier by the third author, which includes the Belavin-Drinfeld r-matrices. We do so by constructing an appropriate (dynamical) twist in the tensor square of the Drinfeld-Jimbo quantum group U_q(g), which twists the R-matrix of U_q(g) into the desired quatization. The construction of this twist is based on the method stemming from the work of Jimbo-Konno-Odake-Shiraishi and Arnaudon-Buffenoir-Ragoucy-Roche, i.e. on defining the twist as a unique solution of a suitable difference equation. This yields a simple closed formula for the twist. This construction allows one to confirm the alternate version of the Gerstenhaber-Giaquinto-Schack conjecture (about quantization of Belavin-Drinfeld r-matrices for sl(n) in the vector representation), which was stated earlier by the second author on the basis of computer evidence. It also allows one to define new quantum groups associated to semisimple Lie algebras. We expect them to have a rich structure and interesting representation theory.


title: Topological rigidity of automorphism actions on nilmanifolds

abstract: Suppose $X_{1}, X_{2}$ are nilmanifolds and $\rho, \sigma$ are automorphism actions of a discrete group $\Gamma$ on $X_{1}$ and $X_{2}$ respectively. We show that if $(X_{1},\rho)$ and $(X_{2}, \sigma)$ satisfy certain additional conditions then every $\Gamma$-equivariant continuous map from $(X_{1},\rho)$ to $(X_{2},\sigma)$ is an affine map.


title: Finding an Ellipse Tangent to finitely many given Lines

abstract: Withdrawal Notice: SWJPAM does not allow articles it publishes to appear on archives. An updated version of this article along with new results, can be found at the author's web page: www.math.psu.edu/horwitz/papers.html


title: Tensor product multiplicities, canonical bases and totally positive varieties

abstract: We obtain a family of explicit "polyhedral" combinatorial expressions for multiplicities in the tensor product of two simple finite-dimensional modules over a complex semisimple Lie algebra. Here "polyhedral" means that the multiplicity in question is expressed as the number of lattice points in some convex polytope. Our answers use a new combinatorial concept of $\ii$-trails which resemble Littelmann's paths but seem to be more tractable. We also study combinatorial structure of Lusztig's canonical bases or, equivalently of Kashiwara's global bases. Although Lusztig's and Kashiwara's approaches were shown by Lusztig to be equivalent to each other, they lead to different combinatorial parametrizations of the canonical bases. One of our main results is an explicit description of the relationship between these parametrizations. Our approach to the above problems is based on a remarkable observation by G. Lusztig that combinatorics of the canonical basis is closely related to geometry of the totally positive varieties. We formulate this relationship in terms of two mutually inverse transformations: "tropicalization" and "geometric lifting."


title: Representations of the braid group B_3 and of SL(2,Z)

abstract: We give a complete classification of simple representations of the braid group B_3 with dimension $\leq 5$ over any algebraically closed f ield. In particular, we prove that a simple d-dimensional representation $\rho: B_3 \to GL(V)$ is determined up to isomorphism by the eigenvalues $\lambda_1, \lambda_2, ..., \lambda_d$ of the image of the generators for d=2,3 and a choice of a $\delta=\sqrt{\det \rho(\sigma_1)}$ for d=4 or a choice of $\delta=\sqrt[5]{\det \rho(\sigma_1)}$ for d=5. We also s howed that such representations exist whenever the eigenvalues and $\delta$ are not roots of certain polynomials $Q_{ij}^{(d)}$, which are explicitly given. In this case, we construct the matrices via which the generators act on V. As an application of our techniques, we also obtain nontrivial q-versions of some of Deligne's formulas for dimensions of representations of exceptional Lie groups.


title: Combinatorics of the toric Hilbert scheme

abstract: The toric Hilbert scheme is a parameter space for all ideals with the same multi-graded Hilbert function as a given toric ideal. Unlike the classical Hilbert scheme, it is unknown whether toric Hilbert schemes are connected. We construct a graph on all the monomial ideals on the scheme, called the flip graph, and prove that the toric Hilbert scheme is connected if and only if the flip graph is connected. These graphs are used to exhibit curves in P^4 whose associated toric Hilbert schemes have arbitrary dimension. We show that the flip graph maps into the Baues graph of all triangulations of the point configuration defining the toric ideal. Inspired by the recent discovery of a disconnected Baues graph, we close with results that suggest the existence of a disconnected flip graph and hence a disconnected toric Hilbert scheme.


title: Relative Algebraic Differential Characters

abstract: Let $f: X \to S$ be a smooth morphism in characteristic 0, and let $(E, \nabla_{X/S})$ be a relative regular connection. We define a cohomology of relative differential characters on $X$ which receives classes of $(E, \nabla_{X/S})$. It says in particular that the partial vanishing of the trace of the iterated Atiyah classs can be made canonical. While applied to a family of curves and $c_2$, the construction yields a connection of $f_*c_2(E)$. This one has been constructed analytically by A. Beilinson. We also relate our construction to the trace complex of Beilinson of Schechtman.


title: Vanishing topology of codimension 1 multi-germs over R and C

abstract: We construct all codimension 1 multi-germs of maps (k^n,T)-->(k^p,0) with n > p-2, (n,p) nice dimensions, k = R or C, by augmentation and concetenation operations, starting from mon-germs (|T|=1). As an application, we prove general results for multi-germs of corank <2: every one has a real form with real perturbation carrying the vanishing homology of the complexification, every one is quasihomogeneous, and when n=p-1 every one has image Milnor number equal to 1 (the comparable result for n>p-1 being already known).


title: Lectures on graded differential algebras and noncommutative geometry

abstract: These notes contain a survey of some aspects of the theory of graded differential algebras and of noncommutative differential calculi as well as of some applications connected with physics. They also give a description of several new developments.


title: Complex Brjuno functions

abstract: The Brjuno function arises naturally in the study of one--dimensional analytic small divisors problems. It belongs to $\hbox{BMO}({\Bbb T}^{1})$ and it is stable under H\"older perturbations. It is related to the size of Siegel disks by various rigorous and conjectural results. In this work we show how to extend the Brjuno function to a holomorphic function on ${\Bbb H}/{\Bbb Z}$, the complex Brjuno function. This has an explicit expression in terms of a series of transformed dilogarithms under the action of the modular group. The extension is obtained using a complex analogue of the continued fraction expansion of a real number. Since our method is based on the use of hyperfunctions it applies to less regular functions than the Brjuno function and it is quite general. We prove that the harmonic conjugate of the Brjuno function is bounded. Its trace on ${\Bbb R}/{\Bbb Z}$ is continuous at all irrational points and has a jump of $\pi/q$ at each rational point $p/q\in {\Bbb Q}$.


title: Diophantine conditions and real or complex Brjuno functions

abstract: The continued fraction expansion of the real number $x=a_0+x_0, a_0\in {\ZZ},$ is given by $0\leq x_n<1, x_{n}^{-1}=a_{n+1}+ x_{n+1}, a_{n+1}\in {\NN},$ for $n\geq 0.$ The Brjuno function is then $B(x)=\sum_{n=0}^{\infty}x_0x_1... x_{n-1}\ln(x_n^{-1}),$ and the number $x$ satisfies the Brjuno diophantine condition whenever $B(x)$ is bounded. Invariant circles under a complex rotation persist when the map is analytically perturbed, if and only if the rotation number satisfies the Brjuno condition, and the same holds for invariant circles in the semi-standard and standard maps cases. In this lecture, we will review some properties of the Brjuno function, and give some generalisations related to familiar diophantine conditions. The Brjuno function is highly singular and takes value $+\infty$ on a dense set including rationals. We present a regularisation leading to a complex function holomorphic in the upper half plane. Its imaginary part tends to the Brjuno function on the real axis, the real part remaining bounded, and we also indicate its transformation under the modular group.


title: The classification of convex orders on affine root systems

abstract: We classify all total orders having a certain convex property on the positive root system of an arbitrary untwisted affine Lie algebra ${\frak g}$. Such total orders are called convex orders and are used to construct convex bases of Poincar\'e-Birkhoff-Witt type of the upper triangular subalgebra $U_q^+$ of the quantized enveloping algebra $U_q({\frak g})$.


title: Toda lattice and toric varieties for real split semisimple Lie algebras

abstract: The paper concerns the topology of an isospectral real smooth manifold for certain Jacobi element associated with real split semisimple Lie algebra. The manifold is identified as a compact, connected completion of the disconnected Cartan subgroup of the corresponding Lie group $\tilde G$ which is a disjoint union of the split Cartan subgroups associated to semisimple portions of Levi factors of all standard parabolic subgroups of $\tilde G$. The manifold is also related to the compactified level sets of a generalized Toda lattice equation defined on the semisimple Lie algebra, which is diffeomorphic to a toric variety in the flag manifold ${\tilde G}/B$ with Borel subgroup $B$ of $\tilde G$. We then give a cellular decomposition and the associated chain complex of the manifold by introducing colored-signed Dynkin diagrams which parametrize the cells in the decomposition.


title: On $\alpha ^{+}$-Stable Koenig-Egervary Graphs

abstract: The stability number of a graph G, is the cardinality of a stable set of maximum size in G. If the stability number of G remains the same upon the addition of any edge, then G is called $\alpha ^{+}$-stable. G is a K\"{o}nig-Egervary graph if its order equals the sum of its stability number and the cardinality of a maximum matching. In this paper we characterize $\alpha ^{+}$-stable K\"{o}nig-Egervary graphs, generalizing some previously known results on bipartite graphs and trees. Namely, we prove that a K\"{o}nig-Egervary graph is $\alpha ^{+}$-stable if and only if either the set of vertices belonging to no maximum stable set is empty, or the cardinality of this set equals one, and G has a perfect matching. Using this characterization we obtain several new findings on general K\"{o}nig-Egervary graphs, for example, the equality between the cardinalities of the set of vertices belonging to all maximum stable sets and the set of vertices belonging to no maximum stable set of G is a necessary and sufficient condition for a K\"{o}nig-Egervary graph G to have a perfect matching.


title: On four-dimensional three-webs with integrable transversal distributions

abstract: For a four-dimensional (nonisoclinicly geodesic) three-web W (3, 2, 2), a transversal distribution $\Delta$ is defined by the torsion tensor of the web. In general, this distribution is not integrable. The authors find necessary and sufficient conditions of its integrability and prove the existence theorem for webs W (3, 2, 2) with integrable distributions $\Delta$. They prove that for a web W (3, 2, 2) with the integrable distribution $\Delta$, the integral surfaces $V^2$ of $\Delta$ are totally geodesic in an affine connection of a certain bundle of affine connections. They also consider a class of webs W (3, 2, 2) for which the integral surfaces $V^2$ of $\Delta$ are geodesicly parallel with respect to the same affine connections and a class of webs for which two-dimensional webs W (3, 2, 1) cut by the foliations of W (3, 2, 2) on $V^2$ are hexagonal. They prove the existence theorems for webs of the latter class as well as for webs of the subclass which is the intersection of two classes mentioned above. The authors also establish relations between three-webs considered in the paper.


title: On the commuting polynomial endomorphisms of {C}^2

abstract: We determine all couples of commuting polynomial endomorphisms of C^2 that extends to holomorphic endomorphisms of P^2 and that have disjoint sequences of iterates.


title: Generalized Riffle Shuffles and Quasisymmetric Functions

abstract: This paper concerns a probability distribution on the symmetric group generalizing the riffle shuffle of Bayer, Diaconis, and others. There are close connections with the theory of quasisymmetric and symmetric functions.


title: On the uniqueness of a Gorenstein model of a del Pezzo fibration over ${\mathbb P}^1$

abstract: It is withdrawn because of errors.


title: Involutive Bases of Polynomial Ideals

abstract: In this paper we consider an algorithmic technique more general than that proposed by Zharkov and Blinkov for the involutive analysis of polynomial ideals. It is based on a new concept of involutive monomial division which is defined for a monomial set. Such a division provides for each monomial the self-consistent separation of the whole set of variables into two disjoint subsets. They are called multiplicative and non-multiplicative. Given an admissible ordering, this separation is applied to polynomials in terms of their leading monomials. As special cases of the separation we consider those introduced by Janet, Thomas and Pommaret for the purpose of algebraic analysis of partial differential equations. Given involutive division, we define an involutive reduction and an involutive normal form. Then we introduce, in terms of the latter, the concept of involutivity for polynomial systems. We prove that an involutive system is a special, generally redundant, form of a Groebner basis. An algorithm for construction of involutive bases is proposed. It is shown that involutive divisions satisfying certain conditions, for example, those of Janet and Thomas, provide an algorithmic construction of an involutive basis for any polynomial ideal. Some optimization in computation of involutive bases is also analyzed. In particular, we incorporate Buchberger's chain criterion to avoid unnecessary reductions. The implementation for Pommaret division has been done in Reduce.


abstract: This work concerns the study of certain finite-energy solutions of the anti-self-dual Yang-Mills equations on Euclidean 4-dimensional space which are periodic in two directions, so-called doubly-periodic instantons. We establish a circle of ideas involving equivalent analytical and algebraic-geometric descriptions of these objects. In the first introductory chapter we provide an overview of the problem and state the main results to be proven in the thesis. In chapter 2, we study the asymptotic behaviour of the connections we are concerned with, and show that the coupled Dirac operator is Fredholm. After laying these foundations, we are ready to address the main topic of the thesis, the construction of a Nahm transform of doubly-periodic instantons. By combining differential-geometric and holomorphic methods, we show in chapters 3 through 5 that doubly-periodic instantons correspond bijectively to certain singular Higgs pairs, i.e. meromorphic solutions of Hitchin's equations defined over an elliptic curve. The circle of ideas is finally closed in chapter 8. We start by presenting a construction due to Friedman, Morgan and Witten that associates to each doubly-periodic instanton a spectral pair consisting of a Riemann surface plus a line bundle over it. On the other hand, it was shown by Hitchin that Higgs pairs are equivalent to a similar set of data. We show that the Friedman, Morgan and Witten spectral pair associated with a doubly-periodic instanton coincides with the Hitchin spectral pair associated with its Nahm transform. (This thesis contains the papers math.DG/9909069, math.DG/9910120 and math.AG/9909146.)


title: Minimal Involutive Bases

abstract: In this paper we present an algorithm for construction of minimal involutive polynomial bases which are Groebner bases of the special form. The most general involutive algorithms are based on the concept of involutive monomial division which leads to partition of variables into multiplicative and non-multiplicative. This partition gives thereby the self-consistent computational procedure for constructing an involutive basis by performing non-multiplicative prolongations and multiplicative reductions. Every specific involutive division generates a particular form of involutive computational procedure. In addition to three involutive divisions used by Thomas, Janet and Pommaret for analysis of partial differential equations we define two new ones. These two divisions, as well as Thomas division, do not depend on the order of variables. We prove noetherity, continuity and constructivity of the new divisions that provides correctness and termination of involutive algorithms for any finite set of input polynomials and any admissible monomial ordering. We show that, given an admissible monomial ordering, a monic minimal involutive basis is uniquely defined and thereby can be considered as canonical much like the reduced Groebner basis.


title: Involutive Division Technique: Some Generalizations and Optimizations

abstract: In this paper, in addition to the earlier introduced involutive divisions, we consider a new class of divisions induced by admissible monomial orderings. We prove that these divisions are noetherian and constructive. Thereby each of them allows one to compute an involutive Groebner basis of a polynomial ideal by sequentially examining multiplicative reductions of nonmultiplicative prolongations. We study dependence of involutive algorithms on the completion ordering. Based on properties of particular involutive divisions two computational optimizations are suggested. One of them consists in a special choice of the completion ordering. Another optimization is related to recomputing multiplicative and nonmultiplicative variables in the course of the algorithm.


title: Construction of Involutive Monomial Sets for Different Involutive Divisions

abstract: We consider computational and implementation issues for the completion of monomial sets to involution using different involutive divisions. Every of these divisions produces its own completion procedure. For the polynomial case it yields an involutive basis which is a special form of a Groebner basis, generally redundant. We also compare our Mathematica implementation of Janet division to an implementation in C.