title: Braid Monodromy Factorization and Diffeomorphism Types

abstract: In this manuscript we prove that if two cuspidal plane curves have equivalent braid monodromy factorizations, then they are smoothly isotopic in the plane. As a consequence of this and the Chisini conjecture, we obtain that if two discriminant curves (or branch curves in other terminology) of generic projections (to the plane) of surfaces of general type imbedded in a projective space by means of a multiple canonical class have equivalent braid monodromy factorizations, then the surfaces are diffeomorphic (if we consider them as real 4-folds).


title: Group-valued equivariant localization

abstract: We prove a localization formula for group-valued equivariant de Rham cohomology of a compact G-manifold. This formula is a non-trivial generalization of the localization formula of Berline-Vergne and Atiyah-Bott for the usual equivariant de Rham cohomology. As an application, we obtain a version of the Duistermaat-Heckman formula for Hamiltonian spaces with group-valued moment maps.


title: On Universality of Smoothed Eigenvalue Density of Large Random Matrices

abstract: We describe the resolvent approach for the rigorous study of the mescoscopic regime of Hermitian matrix spectra. We present results reflecting the universal behavior of the smoothed density of eigenvalue distribution of large random matrices


title: The LIL for canonical U-statistics of order 2

abstract: Let X,X_1,X_2,... be independent identically distributed random variables and let h(x,y)=h(y,x) be a measurable function of two variables. It is shown that the bounded law of the iterated logarithm, $\limsup_n (n\log\log n)^{-1}|\sum_{1<= i< j<= n}h(X_i,X_j)|<\infty$ a.s., holds if and only if the following three conditions are satisfied: h is canonical for the law of X (that is Eh(X,y)=0 for almost y) and there exists $C<\infty$ such that, both, $E\min(h^2(X_1,X_2),u)<C\log\log u$ for all large u and $sup\{Eh(X_1,X_2)f(X_1)g(X_2):|f(X)|_2<1,\|g(X)\|_2<1, \|f\|_\infty<\infty, \|g\|_\infty<\infty\}< C$.


title: Spectral estimations for Laplace operator for the discrete Heisenberg group

abstract: Let H be the discrete 3-dimensional Heisenberg group with the standard generators x, y, z. The element Delta of the group algebra for H of the form Delta= (x+x^{-1}+y+y^{-1})/4 is called the Laplace operator. This operator can also be defined as transition operator for random walk on the group. The spectrum of Delta in the regular representation of H is the interval [-1,1]. Let E(A), where A is a subset of [-1,1], be a family of spectral projectors for Delta and m(A)=(E(A)e, e) be the corresponding spectral measure. Here e is the characteristic function of the unit element of the group H. We estimate the value m([-1,-1+t] \cup [1-t,1]) when t tends to 0. More precisely we prove the inequality m([-1,-1+t] \cup [1-t,1]) > const t^{2+alpha} for any positive alpha.


title: GG-functions and their relations to A-hypergeometric functions

abstract: We describe a new approach to the notion of general hypergeometric functions


title: Endomorphisms of Banach algebras of infinitely differentiable functions on compact plane sets

abstract: In this note we study the endomorphisms of certain Banach algebras of infinitely differentiable functions on compact plane sets, associated with weight sequences M. These algebras were originally studied by Dales, Davie and McClure. In a previous paper this problem was solved in the case of the unit interval for many weights M. Here we investigate the extent to which the methods used previously apply to general compact plane sets, and introduce some new methods. In particular, we obtain many results for the case of the closed unit disc. This research was supported by EPSRC grant GR/M31132


title: A Note on the Morse Index Theorem for Geodesics between Submanifolds in semi-Riemannian Geometry

abstract: The computation of the index of the Hessian of the action functional in semi-Riemannian geometry at geodesics with two variable endpoints is reduced to the case of a fixed final endpoint. Using this observation, we give an elementary proof of the Morse Index Theorem for Riemannian geodesics with two variable endpoints, in the spirit of the original Morse's proof. This approach reduces substantially the effort required in the proofs of the Theorem given in previous articles on the subject. Exactly the same argument works also in the case of timelike geodesics between two submanifolds of a Lorentzian manifold. For the extension to the lightlike Lorentzian case, just minor changes are required and one obtains easily a proof of the focal index theorems of Beem, Ehrlich and Kim.


title: Determinat formula for solutions of the $U_q(sl_n)$ qKZ equation at $|q|=1$

abstract: We construct the hypergeometric solutions for the quantized KZ equation with values in a tensor product of vector representations of $U_q(sl_n)$ at $|q|=1$ and give an explicit formula for the corresponding determinant in terms of the double sine function.


title: Characters of SL(2) Representations of Groups

abstract: We determine the characters of SL(2) representations of groups and surface groups.


title: Products of Positive Dehn-twists on Surfaces

abstract: Given a 3-holed sphere decomposition of an orientable closed surface, it is shown that each orientation preserving homeomorphism of the surface is isotopic to a composition AB where A is a product of positive Dehn twists and B is a product of negative Dehn twists on the decomposition curves.


title: Automorphisms of Thurston's Space of Measured Laminations

abstract: We give a characterization of the action of the mapping class group on Thurston's space of measured laminations.


title: Two-Dimensional Centrally Extended Quantum Galilei Groups and their Algebras

abstract: All deformations of two dimensional centrally extended Galilei group are classified. The corresponding quantum Lie algebras are found.


title: On extra components in the functorial compactification of A_g

abstract: A short note that contains some Cliff's notes of the general theory (see math.AG/9905103) but concentrates on one of the stranger aspects of it - existence of other irreducible components.


title: Borg-Type Theorems for Matrix-Valued Schr\"{o}dinger Operators

abstract: A Borg-type uniqueness theorem for matrix-valued Schr\"odinger operators is proved. More precisely, assuming a reflectionless potential matrix and spectrum a half-line $[0,\infty)$, we derive triviality of the potential matrix. Our approach is based on trace formulas and matrix-valued Herglotz representation theorems. As a by-product of our techniques, we obtain an extension of Borg's classical result from the class of periodic scalar potentials to the class of reflectionless matrix-valued potentials.


title: Ideals determined by some Souslin forcing notions

abstract: We describe a method of building ``nice'' sigma-ideals from Souslin ccc forcing notions. [These notes were written down in 1992, but were not submitted to any journal. In a slightly modified form, they were incorporated to: T. Bartoszynski and H. Judah, Set Theory: on the structure of the real line, A K Peters, Wellesley, MA, 1995; pages 193-203.]


title: The nonabelian Liouville-Arnold integrability by quadratures problem: a symplectic approach

abstract: A symplectic theory approach is devised for solving the problem of algebraic-analytical construction of integral submanifold imbeddings for integrable (via the nonabelian Liouville-Arnold theorem) Hamiltonian systems on canonically symplectic phase spaces.


title: Periodic motion of a charge on a manifold in the magnetic fields

abstract: In this paper we prove the existence of a periodic motion of a charge on a large class of manifolds under the action of the magnetic fields. Our methods also give a class of closed manifolds whose cotangent bundle contain no the closed exact Lagrangian submanifolds.


title: Category analog of sup-measurability problem

abstract: A function F:R^2->R is sup-measurable if F_f:R->R given by F_f(x)=F(x,f(x)), x in R, is measurable for each measurable function f:R->R. It is known that under different set theoretical assumptions, including CH, there are sup-measurable non-measurable functions, as well as their category analog. In this paper we will show that the existence of category analog of sup-measurable non-measurable functions is independent of ZFC. A similar result for the original measurable case is a subject of a work in prepartion by Roslanowski and Shelah.


title: A note on rational surfaces in projective four-space

abstract: It is proved that a smooth rational surface in projective four-space, which is ruled by cubics or quartics has degree at most 12. It is also proved that a smooth rational surface in projective four-space which is the image of Fn by a linear system with "simple base points" (see text) has degree at most 12.


title: The eigenvalue spacing of a random unipotent matrix in its action on lines

abstract: The eigenvalue spacing of a uniformly chosen random finite unipotent matrix in its permutation action on lines is studied. We obtain bounds for the mean number of eigenvalues lying in a fixed arc of the unit circle and offer an approach toward other asymptotics. For the case of all unipotent matrices, the proof gives a probabilistic interpretation to identities of Macdonald from symmetric function theory. For the case of upper triangular matrices over a finite field, connections between symmetric function theory and a probabilistic growth algorithm of Borodin emerge..


title: On the classification of hyperbolic root systems of the rank three. Part III

abstract: See Parts I and II in alg-geom/9711032 and alg-geom/9712033. Here we classify maximal hyperbolic root systems of the rank three having restricted arithmetic type and a generalized lattice Weyl vector $\rho$ with $\rho^2<0$ (i. e. of the hyperbolic type). We give classification of all reflective of hyperbolic type elementary hyperbolic lattices of the rank three. For elliptic (when $\rho^2>0$) and parabolic (when $\rho^2=0$) types it was done in Parts I and II. We apply the same arguments as for elliptic and parabolic types: the method of narrow parts of polyhedra in hyperbolic spaces, and class numbers of central symmetries. But we should say that for the hyperbolic type all considerations are much more complicated and required much more calculations and time. These results are important, for example, for Theory of Lorentzian Kac--Moody algebras and some aspects of Mirror Symmetry. We also apply these results to prove boundedness of families of algebraic surfaces with almost finite polyhedral Mori cone (see math.AG/9806047 about this subject).


title: Stationary Measures for Random Walks in a Random Environment with Random Scenery

abstract: Let $\Gamma$ act on a countable set V with only finitely many orbits. Given a $\Gamma$-invariant random environment for a Markov chain on V and a random scenery, we exhibit, under certain conditions, an equivalent stationary measure for the environment and scenery from the viewpoint of the random walker. Such theorems have been very useful in investigations of percolation on quasi-transitive graphs.


title: Equivalences for Morse homology

abstract: An explicit isomorphism between Morse homology and singular homology is constructed via the technique of pseudo-cycles. Given a Morse cycle as a formal sum of critical points of a Morse function, the unstable manifolds for the negative gradient flow are compactified in a suitable way, such that gluing them appropriately leads to a pseudo-cycle and a well-defined integral homology class in singular homology.


title: Fixed point resolution in extended WZW-models

abstract: A formula is derived for the fixed point resolution matrices of simple current extended WZW-models and coset conformal field theories. Unlike the analogous matrices for unextended WZW-models, these matrices are in general not symmetric, and they may have field-dependent twists. They thus provide non-trivial realizations of the general conditions presented in earlier work with Fuchs and Schweigert.


title: Subspaces of Knot Spaces

abstract: The inclusion of the space of all knots of a prescribed writhe in a particular isotopy class into the space of all knots in that isotopy class is a weak homotopy equivalence.


title: An Implementation of the Bestvina-Handel Algorithm for Surface Homeomorphisms

abstract: Bestvina and Handel have found an effective algorithm that determines whether a given homeomorphism of an orientable, possibly punctured surface is pseudo-Anosov. We present a software package in Java that realizes this algorithm for surfaces with one puncture. Moreover, the package allows the user to define homeomorphisms in terms of Dehn twists, and in the pseudo-Anosov case it generates images of train tracks in the sense of Bestvina-Handel.


title: A note on the localization of J-groups

abstract: Let $\widetilde{JO}(X)=\widetilde{KO}(X)/TO(X)$ be the J-group of a connected finite CW complex X. We Obtain two computable formulas of $TO(X)_{(p)}$, the localization of $TO(X)$ at a prime p. Then we show how to use these two formulas of $TO(X)_{(p)}$ to find the J-orders of elements of $\widetilde{KO}(CP^m)$, at least the 2 and 3 primary factors of the canonical generators of $\widetilde{JO}(CP^m).$ Here $CP^m$ is the complex projective space.


title: On binary quadratic forms and the Hecke groups

abstract: We present a theory of reduction of binary quadratic forms with coefficients in Z[lambda], where lambda is the minimal translation in a Hecke group. We generalize from the modular group Gamma(1) = SL(2,Z) to the Hecke groups and make extensive use of modified negative continued fractions.


title: Achirality of knots and links

abstract: We will develop various methods, some are of geometric nature and some are of algebraic nature, to detect the various achiralities of knots and links in $S^3$. For example, we show that the twisted Whitehead double of a knot is achiral if and only if the double is the unknot or the figure eight knot, and we show that all non-trivial links with $\leq9$ crossings are not achiral except the Borromean rings. A simple procedure for calculating the $\eta$-function is given in terms of a crossing change formula and its initial values.


title: Another way to enumerate rational curves with torus actions

abstract: A new proof of the mirror conjecture for Fano and Calabi-Yau complete intersections in P^n is given, using only the circle action on the graph space. The proof applies to projective bundles as well, with applications to "linear" relative Calabi-Yau's and to Schubert calculus.


title: On formulas of the Lannes and Viro-Polyak type for the finite degree invariants

abstract: Vassiliev's knot invariants can be computed in different ways but many of them as Kontsevich integral are very difficult. We consider more visual diagram formulas of the type Polyak-Viro and give new diagram formula for the two basic Vassiliev invariant of degree 4


title: Explicit formulas for the Vassiliev knot invariants

abstract: Vassiliev's knot invariants can be computed in different ways but many of them as Kontsevich integral are very difficult. We consider more visual diagram formulas of the type Polyak-Viro and give new diagram formula for the two basic Vassiliev invariant of degree 4.


title: Diagram formulas of the Viro-Polyak type for finit degree invariants


title: Uniformly Levi degenerate CR manifolds; the 5 dimensional case

abstract: In this paper, we consider real hypersurfaces $M$ in $\Bbb C^3$ (or more generally, 5-dimensional CR manifolds of hypersurface type) at uniformly Levi degenerate points, i.e. Levi degenerate points such that the rank of the Levi form is constant in a neighborhood. We also require the hypersurface to satisfy a certain second order nondegeneracy condition (called 2-nondegeneracy) at the point. Our first result is the construction of a principal bundle $P\to M$ with an absolute parallelism, uniquely determined by the CR structure on $M$, which reduces the question of whether two such CR manifolds $M$ and $M'$ are CR equivalent to the corresponding equivalence problem for the parallelized bundles $P$ and $P'$. A basic example of a hypersurface of the type under consideration is the tube $\Gamma_\bC$ over the light cone. Our second result is the characterization of $\Gamma_\bC$ by vanishing curvature conditions in the spirit of the characterization of the unit sphere as the flat model for strongly pseudoconvex hypersurfaces in $\bC^{n+1}$ in terms of the Cartan-Chern-Moser connection.


title: Non-Abelian Fractional Supersymmetry in Two Dimensions

abstract: Non-Abelian fractional supersymmetry algebra in two dimensions is introduced utilizing $U_q(sl(2,\Rcc))$ at roots of unity. Its representations and the matrix elements are obtained. The dual of it is constructed and the corepresentations are studied. Moreover, a differential realization of the non-Abelian fractional supersymmetry generators is given in the generalized superspace defined by two commuting and two generalized Grassmann variables. An invariant action under the fractional supersymmetry transformations is given.


title: Perception games, the image understanding and interpretational geometry

abstract: The interactive game theoretical approach to the description of perception processes is proposed. The subject is treated formally in terms of a new class of the verbalizable interactive games which are called the perception games. An application of the previously elaborated formalism of dialogues and verbalizable interactive games to the visual perception allows to combine the linguistic (such as formal grammars), psycholinguistic and (interactive) game theoretical methods for analysis of the image understanding by a human that may be also useful for the elaboration of computer vision systems. By the way the interactive game theoretical aspects of interpretational geometries are clarified.


title: The Period Lattice for Enriques Surfaces

abstract: We simplify the usual statement of the Torelli theorem for complex Enriques surfaces, by means of a lattice-theoretic trick. This allows easy proofs of several known results, which previously required intricate arithmetic arguments. The main new result is that the moduli space has contractible universal cover.


title: Metric curvature of infinite branched covers

abstract: We study branched covering spaces in several contexts, proving that under suitable circumstances the cover satisfies the same upper curvature bounds as the base space. The first context is of a branched cover of an arbitrary metric space that satisfies Alexandrov's curvature condition CAT(k), over an arbitrary complete convex subset. The second context is of a certain sort of branched cover of a Riemannian manifold over a family of mutually orthogonal submanifolds. In neither setting do we require that the branching be locally finite. We apply our results to hyperplane complements in several complex manifolds of nonpositive sectional curvature. This implies that two moduli spaces arising in algebraic geometry are aspherical, namely that of the smooth cubic surfaces in complex projective 3-space and that of the smooth complex Enriques surfaces.


title: The Classification of Triangular Semisimple and Cosemisimple Hopf Algebras Over an Algebraically Closed Field

abstract: In this paper we classify triangular semisimple and cosemisimple Hopf algebras over any algebraically closed field k. Namely, we construct, for each positive integer N, relatively prime to the characteristic of k if it is positive, a bijection between the set of isomorphism classes of triangular semisimple and cosemisimple Hopf algebras of dimension N over k, and the set of isomorphism classes of quadruples (G,H,V,u), where G is a group of order N, H is a subgroup of G, V is an irreducible projective representation of H over k of dimension |H|^{1/2}, and u\in G is a central element of order \le 2. This classification implies, in particular, that any triangular semisimple and cosemisimple Hopf algebra over k can be obtained from a group algebra by a twist. We also answer positively the question from our previous paper whether the group underlying a minimal triangular semisimple Hopf algebra is solvable. We conclude by showing that any triangular semisimple and cosemisimple Hopf algebra over k of dimension bigger than 1 contains a non-trivial grouplike element. The classification uses Deligne's theorem on Tannakian categories and the results of a paper of Movshev in an essential way. The proof of solvability and existence of grouplike elements relies on a theorem of Howlett and Isaacs that any group of central type is solvable, which is proved using the classification of finite simple groups. The classification in positive characteristic relies also on the lifting functor from our previous paper.


title: Periodic Orbits, Externals Rays and the Mandelbrot Set: An Expository Account

abstract: A key point in Douady and Hubbard's study of the Mandelbrot set $M$ is the theorem that every parabolic point $c\ne 1/4$ in $M$ is the landing point for exactly two external rays with angle which are periodic under doubling. This note will try to provide a proof of this result and some of its consequences which relies as much as possible on elementary combinatorics, rather than on more difficult analysis. It was inspired by section 2 of the recent thesis of Schleicher (see also Stony Brook IMS preprint 1994/19, with E. Lau), which contains very substantial simplifications of the Douady-Hubbard proofs with a much more compact argument, and is highly recommended. The proofs given here are rather different from those of Schleicher, and are based on a combinatorial study of the angles of external rays for the Julia set which land on periodic orbits. The results in this paper are mostly well known; there is a particularly strong overlap with the work of Douady and Hubbard. The only claim to originality is in emphasis, and the organization of the proofs.


title: Dessins d'enfants and Hubbard Trees

abstract: We show that the absolute Galois group acts faithfully on the set of Hubbard trees. Hubbard trees are finite planar trees, equipped with self-maps, which classify postcritically finite polynomials as holomorphic dynamical systems on the complex plane. We establish an explicit relationship between certain Hubbard trees and the trees known as ``dessins d'enfant'' introduced by Grothendieck.


title: Rigidity of $C^2$ Infinitely Renormalizable Unimodal Maps

abstract: Given $C^2$ infinitely renormalizable unimodal maps $f$ and $g$ with a quadratic critical point and the same bounded combinatorial type, we prove that they are $C^{1+\alpha}$ conjugate along the closure of the corresponding forward orbits of the critical points, for some $\alpha>0$.


title: A criterion for almost alternating links to be non-splittable

abstract: We give a sufficient condition for an almost alternating link diagram to represent a non-splittable link. The main theorem gives us a way to see if a given almost alternating link diagram represents a splittable link without increasing numbers of crossings of diagrams in the process. Moreover, we show that almost alternating links with more than two components are non-trivial.


title: Scaling Ratios and Triangles in Siegel Disks

abstract: Let $f(z)=e^{2i\pi\theta} z+z^2$, where $\theta$ is a quadratic irrational. McMullen proved that the Siegel disk for $f$ is self-similar about the critical point. We give a lower bound for the ratio of self-similarity, and we show that if $\theta=(\sqrt 5-1)/2$ is the golden mean, then there exists a triangle contained in the Siegel disk, and with one vertex at the critical point. This answers a 15 year old conjecture.


title: Derived Quot schemes

abstract: Realizing a part of the Derived Deformation Theory program, we construct a "derived" analog of the Grothendieck's Quot scheme parametrizing subsheaves in a given coherent sheaf F on a smooth projective variety X. This analog is a differential graded manifold RQuot_h(F) (so it is always smooth in an appropriate sense) whose tangent space at a point represented by a subsheaf K in F, is a cochain complex quasiisomorphic to RHom(K, F/K).


title: Dynamical zeta functions for typical extensions of full shifts

abstract: We consider a family of isometric extensions of the full shift on p symbols (for p a prime) parametrized by a probability space. Using Heath-Brown's work on the Artin conjecture, it is shown that for all but two primes p the set of limit points of the growth rate of periodic points is infinite almost surely. This shows in particular that the dynamical zeta function is not algebraic almost surely.


title: Local $\nu$-Euler Derivations and Deligne's Characteristic Class of Fedosov Star Products and Star Products of Special Type

abstract: In this paper we explicitly construct local $\nu$-Euler derivations $\mathsf E_\alpha = \nu \partial_\nu + \Lie{\xi_\alpha} + \mathsf D_\alpha$, where the $\xi_\alpha$ are local, conformally symplectic vector fields and the $\mathsf D_\alpha$ are formal series of locally defined differential operators, for Fedosov star products on a symplectic manifold $(M,\omega)$ by means of which we are able to compute Deligne's characteristic class of these star products. We show that this class is given by $1/\nu[\omega]+1/\nu[\Omega]$ where $\Omega = \sum_{i=1}^\infty \nu^i \Omega_i$ is a formal series of closed two-forms on $M$ the cohomology class of which coincides with the one introduced by Fedosov to classify his star products. Moreover, our result implies that the normalisation condition used by Fedosov does not have any effect on the isomorphy class of the resulting star product. Finally we consider star products that have additional algebraic structures and compute the effect of these structures on the corresponding characteristic classes of these star products. Specifying the constituents of Fedosov's construction we obtain star products with these special properties. Finally we investigate equivalence transformations between such special star products and prove existence of equivalence transformations being compatible with the considered algebraic structures.


title: Classical limit of Lie groupoid C^*-algebras

abstract: Let G be a Lie groupoid and L his Lie algebroid. We give a definition of the classical limit of a C^*-bundle and we use the tangent groupoid associated to G to show that the Poisson structure on L is the classical limit of a C^*-bundle.


title: Deformation of Algebra Factorisations

abstract: A general deformation theory of algebras which factorise into two subalgebras is studied. It is shown that the classification of deformations is related to the cohomology of a certain double complex reminiscent of the Gerstenhaber-Schack complex of a bialgebra.


title: Quantum Hyperplane Section Principle for Concavex Decomposable Vector Bundles

abstract: The quantum hyperplane section theorem is explained for nonnegative decomposable concavex bundle spaces over generalized flag manifolds.


title: Caleidoscope-roulette: the resonance phenomena in perception games

abstract: Kaleidoscope-roulettes, a proper class of perception games, is described. Kaleidoscope-roulette is defined as a perception and, hence, verbalizable interactive game, whose hidden dialogue consists of quasirandom sequences of ``words''. The resonance phenomena in such games and their controlling are discussed.


title: On boundary value problems for Dirac type operators. I. Regularity and self-adjointness

abstract: In a series of papers, we will develop systematically the basic spectral theory of (self-adjoint) boundary value problems for operators of Dirac type. We begin in this paper with the characterization of (self-adjoint) boundary conditions with optimal regularity, for which we will derive the heat asymptotics and index theorems in subsequent publications. Along with a number of new results, we extend and simplify the proofs of many known theorems. Our point of departure is the simple structure which is displayed by Dirac type operators near the boundary. Thus our proofs are given in an abstract functional analytic setting, generalizing considerably the framework of compact manifolds with boundary. The results of this paper have been announced in math.DG/9902100


title: Actions and irreducible representations of the mapping class group

abstract: We prove in this paper that the action of the mapping class group on the complex of curves has noncommensurable stabilizers. Following a method due to Burger and de la Harpe, this action leads to constructions of irreducible unitary representations of the mapping class group.


title: On symmetric Cauchy-Riemann manifolds

abstract: A joint generalization of real smooth as well of complex manifolds are the Cauchy-Riemann manifolds. The main objective of the paper is to inroduce a class of symmetric CR manifolds containing both classes of Riemannian and Hermitian symmetric spaces. It turns out that the classical requirement of isolated fixed points for the symmetries is no longer adequate, because it would imply the Levi-flatness. Among all symmetric CR-manifolds we distinguish a large subclass consisting of all Shilov boundaries of bounded symmetric domains. For this class we calculate the polynomial and the rational convex hulls Both hulls are canonically stratified into real-analytic CR-submanifolds such that the (unique) stratum of the highest dimension is complex for the polynomial and Levi-flat for the rational convex hull. It is also proved that the CR-functions extend continuously to the rational convex hull such that the extension is CR on every stratum.


title: Configurations of linear subspaces and rational invariants

abstract: We construct a birational equivalence between certain quotients of s-tuples of equidimensional linear subspaces of $C^n$ and some quotients of products of square matrices modulo diagonal conjugations. In particular, we prove the rationality of the quotient space of s-tuples of linear 2-planes in $C^n$ modulo the diagonal $\gl_n(C)$-action . Furthermore, we compute generators of the field of the rational invariants explicitly.


title: Cuntz-like algebras

abstract: The usual crossed product construction which associates to the homeomorphism $T$ of the locally compact space $X$ the C$^*$-algebra $C^*(X,T)$ is extended to the case of a partial local homeomorphism $T$. For example, the Cuntz-Krieger algebras are the C$^*$-algebras of the one-sided Markov shifts. The generalizations of the Cuntz-Krieger algebras (graph algebras, algebras $O_A$ where $A$ is an infinite matrix) which have been introduced recently can also be described as C$^*$-algebras of Markov chains with countably many states. This is useful to obtain such properties of these algebras as nuclearity, simplicity or pure infiniteness. One also gives examples of strong Morita equivalences arising from dynamical systems equivalences.


title: On the babylonian method of extracting root squares

abstract: We discuss the babylonian method of extracting the root square of a number, from the point of view of modern mathematics. We also speculate that the babylonian mathematics was rich enough for a generalization of this method, despite the lack of general statements and justified procedures in their mathematics.


title: Algebraic Noncommutative Geometry

abstract: A noncommutative algebra $A$, called an algebraic noncommutative geometry, is defined, with a parameter $\epsilon$ in the centre. When $\epsilon$ is set to zero, the commutative algebra $A^0$ of algebraic functions on an algebraic manifold $M$ is obtained. This $A^0$ is a subalgebra of $C(M)$, which is dense if $M$ is compact. The generators of $A$ define an immersion of $M$ into $R^n$, and $M$ inherits a Poisson structure as the limit of the commutator. Thus $A$ is a quantisation of a Poisson manifold. If an ordering convention is prescribed for $A$ then a star product on $M$ is obtained. Homomorphism and isomorphisms between noncommutative geometries are defined, and the map from $A$ to the Heisenberg algebra is used both to give an analogue of a coordinate chart, and to give $A$ a quantum group structure. Examples of algebraic noncommutative geometries are given, which include $R^n$, $T^\star S^2$, $T^2$, $S^2$ and surfaces of rotation. A definition of a metric on $M$ which can be extended to noncommutative geometry is given and this is used in an application of noncommutative geometry to the numerical analysis of surfaces.


title: Pseudoriemannian 2-Step Nilpotent Lie Groups

abstract: We begin a systematic study of these spaces, initially following along the lines of Eberlein's comprehensive study of the Riemannian case. In particular, we integrate the geodesic equation, discuss the structure of the isometry group, and make a study of lattices and periodic geodesics. Some major differences from the Riemannian theory appear. There are many flat groups (versus none), including Heisenberg groups. While still a semidirect product, the isometry group can be strictly larger than the obvious analogue. Everything is illustrated with explicit examples. We introduce the notion of pH-type, which refines Kaplan's H-type and completes Ciatti's partial extension. We give a general construction for algebras of pH-type.


title: Z-Measures on partitions, Robinson-Schensted-Knuth correspondence, and beta=2 random matrix ensembles

abstract: We suggest an hierarchy of all the results known so far about the connection of the asymptotics of combinatorial or representation theoretic problems with ``beta=2 ensembles'' arising in the random matrix theory. We show that all such results are, essentially, degenerations of one general situation arising from so-called generalized regular representations of the infinite symmetric group.

categories: math.CO math.PR math.RT nlin.SI solv-int


title: Statistical properties of braid groups in locally free approximation

abstract: Statistical and probabilistic characteristics of locally free group with growing number of generators are defined and their application to statistics of braid groups is given.


abstract: We prove a structure theorem for Yetter-Drinfel'd Hopf algebras over groups of prime order that are nontrivial, cocommutative, and cosemisimple: Under certain assumptions on the base field, these algebras can be decomposed into a tensor product of the dual group ring of the group of prime order and an ordinary group ring of some other group. This tensor product is a crossed product as an algebra and an ordinary tensor product as a coalgebra. In particular, the dimension of such a Yetter-Drinfel'd Hopf algebra is divisible by the prime under consideration. We also find explicit examples of such Yetter-Drinfel'd Hopf algebras and apply the result to the classification program for semisimple Hopf algebras.


title: Quantum groupoids

abstract: We introduce a general notion of quantum universal enveloping algebroids (QUE algebroids), or quantum groupoids, as a unification of quantum groups and star-products. Some basic properties are studied including the twist construction and the classical limits. In particular, we show that a quantum groupoid naturally gives rise to a Lie bialgebroid as a classical limit. Conversely, we formulate a conjecture on the existence of a quantization for any Lie bialgebroid, and prove this conjecture for the special case of regular triangular Lie bialgebroids. As an application of this theory, we study the dynamical quantum groupoid ${\cal D}\otimes_{\hbar} U_{\hbar}(\frakg)$, which gives an interpretation of the quantum dynamical Yang-Baxter equation in terms of Hopf algebroids.


title: Quotients of K3 Surfaces Modulo Involutions

abstract: Let X be a K3 surface with an involution g which has non-empty fixed locus X^g and acts non-trivially on a non-zero holomorphic 2-form. We shall construct all such pairs (X, g) in a canonical way, from some better known double coverings of log del Pezzo surfaces of index at most 2 or rational elliptic surfaces, and construct the only family of each of the three extremal cases where X^g contains 10 (maximum possible) curves. We also classify rational log Enriques surfaces of index 2. Our approach is more geometrical rather than lattice-theoretical (see Nikulin's paper for the latter approach).


title: The still-Life density problem and its generalizations

abstract: A "still Life" is a subset S of the square lattice Z^2 fixed under the transition rule of Conway's Game of Life, i.e. a subset satisfying the following three conditions: 1. No element of Z^2-S has exactly three neighbors in S; 2. Every element of S has at least two neighbors in S; 3. Every element of S has at most three neighbors in S. Here a ``neighbor'' of any x \in Z^2 is one of the eight lattice points closest to x other than x itself. The "still-Life conjecture" is the assertion that a still Life cannot have density greater than 1/2 (a bound easily attained, for instance by {(x,y): x is even}). We prove this conjecture, showing that in fact condition 3 alone ensures that S has density at most 1/2. We then consider variations of the problem such as changing the number of allowed neighbors or the definition of neighborhoods; using a variety of methods we find some partial results and many new open problems and conjectures.


title: The identification of three moduli spaces

abstract: It is one of the wonderful ``coincidences'' of the theory of finite groups that the simple group G of order 25920 arises as both a symplectic group in characteristic 3 and a unitary group in characteristic 2. These two realizations of G yield two G-covers of the moduli space of configurations of six points on the projective line modulo PGL_2, via the 3- and 2-torsion of the Jacobians of the double and triple cyclic covers of P^1 branched at those six points. Remarkably these two covers are isomorphic. This was proved over C by transcendental methods by Hunt and Weintraub. We give an algebraic proof valid over any field not of characteristic 2 or 3 that contains the cube roots of unity. We then explore the connection between this $G$-cover and the elliptic surface $y^2 = x^3 + sextic(t), whose Mordell-Weil lattice is E_8 with automorphisms by a central extension of G.


title: Canonical bases of higher-level q-deformed Fock spaces and Kazhdan-Lusztig polynomials

abstract: The aim of this paper is to generalize several aspects of the recent work of Leclerc-Thibon and Varagnolo-Vasserot on the canonical bases of the level 1 q-deformed Fock spaces due to Hayashi. Namely, we define canonical bases for the higher-level q-deformed Fock spaces of Jimbo-Misra-Miwa-Okado and establish a relation between these bases and (parabolic) Kazhdan-Lusztig polynomials for the affine Weyl group of type $A^{(1)}_{r-1}.$ As an application we derive an inversion formula for a sub-family of these polynomials. This article is an extended version of math.QA/9901032


title: Homeomorphisms of One-dimensional Inverse Limits with Applications to Substitution Tilings, Unstable Manifolds, and Tent Maps

abstract: Suppose that f and g are Markov surjections, each defined on a wedge of circles, each fixing the branch point and having the branch point as the only critical value. We show that if the points in the inverse limit spaces associated with f and g corresponding to the branch point are distinguished then these inverse limit spaces are homeomorphic if and only if the substitutions associated with f and g are weakly equivalent. This, and related results, are applied to one-dimensional substitution tiling spaces, one-dimensional unstable manifolds of hyperbolic sets, and inverse limits of tent maps with periodic critical points.


title: On numbers and endgames: Combinatorial game theory in chess endgames

abstract: In an investigation of the applications of Combinatorial Game Theory to chess, we construct novel mutual Zugzwang positions, explain an otherwise mysterious pawn endgame from "A Guide to Chess Endings" (Euwe and Hooper), show positions containing non-integer values (fractions, switches, tinies, and loopy games), and pose open problems concerning the values that may be realized by positions on either standard or nonstandard chessboards.


title: Some fundamental properties of successive convex relaxation methods on LCP and related problems

abstract: General Successive Convex Relaxation Methods (SRCMs) can be used to compute the convex hull of any compact set, in an Euclidean space, described by a system of quadratic inequalities and a compact convex set which is not very complicated. Linear Complementarity Problems (LCPs) make an interesting and rich class of structured nonconvex optimization problems. In this paper, we study a few of the specialized lift-and-project methods and some of the possible ways of applying the general SCRMs to LCPs and related problems.


title: Lattice trees, percolation and super-Brownian motion

abstract: This paper surveys the results of recent collaborations with Eric Derbez and with Takashi Hara, which show that intergrated super-Brownian excursion (ISE) arises as the scaling limit of both lattice trees and the incipient infinite percolation cluster, in high dimensions. A potential extension to oriented percolation is also mentioned.


title: Monotonicity property for a class of semilinear partial differential equations

abstract: We establish a monotonicity property in the space variable for the solutions of an initial boundary value problem concerned with the parabolic partial differential equation connected with super-Brownian motion.


title: Embeddings from the point of view of immersion theory: Part I

abstract: Let M and N be smooth manifolds without boundary. Immersion theory suggests that an understanding of the space of smooth embeddings emb(M,N) should come from an analysis of the cofunctor V |--> emb(V,N) from the poset O of open subsets of M to spaces. We therefore abstract some of the properties of this cofunctor, and develop a suitable calculus of such cofunctors, Goodwillie style, with Taylor series and so on. The terms of the Taylor series for the cofunctor V |--> emb(V,N) are explicitly determined. In a sequel to this paper, we introduce the concept of an analytic cofunctor from O to spaces, and show that the Taylor series of an analytic cofunctor F converges to F. Deep excision theorems due to Goodwillie and Goodwillie-Klein imply that the cofunctor V |--> emb(V,N) is analytic when dim(N)-dim(M) > 2.


title: Embeddings from the point of view of immersion theory: Part II

abstract: Let M and N be smooth manifolds. For an open V of M let emb(V,N) be the space of embeddings from V to N. By results of Goodwillie and Goodwillie-Klein, the cofunctor V |--> emb(V,N) is analytic if dim(N)-dim(M) > 2. We deduce that its Taylor series converges to it. For details about the Taylor series, see Part I.


title: Continuous rotation invariant valuations on convex sets

abstract: The famous Hadwiger theorem classifies all rigid motion invariant continuous valuations on convex sets as linear conbinations of quermassintegrals. We prove much more general result. We classify continuous valuations which are invariant with respect to the orthogonal (or special orthogonal) group. Some applications to integral geometry are given.


title: Dimension and product structure of hyperbolic measures

abstract: We prove that every hyperbolic measure invariant under a C^{1+\alpha} diffeomorphism of a smooth Riemannian manifold possesses asymptotically ``almost'' local product structure, i.e., its density can be approximated by the product of the densities on stable and unstable manifolds up to small exponentials. This has not been known even for measures supported on locally maximal hyperbolic sets. Using this property of hyperbolic measures we prove the long-standing Eckmann-Ruelle conjecture in dimension theory of smooth dynamical systems: the pointwise dimension of every hyperbolic measure invariant under a C^{1+\alpha} diffeomorphism exists almost everywhere. This implies the crucial fact that virtually all the characteristics of dimension type of the measure (including the Hausdorff dimension, box dimension, and information dimension) coincide. This provides the rigorous mathematical justification of the concept of fractal dimension for hyperbolic measures.


title: Stable laws and domains of attraction in free probability theory

abstract: In this paper we determine the distributional behavior of sums of free (in the sense of Voiculescu) identically distributed, infinitesimal random variables. The theory is shown to parallel the classical theory of independent random variables, though the limit laws are usually quite different. Our work subsumes all previously known instances of weak convergence of sums of free, identically distributed random variables. In particular, we determine the domains of attraction of stable distributions in the free theory. These freely stable distributions are studied in detail in the appendix, where their unimodality and duality properties are demonstrated.


title: Companion forms and weight one forms

abstract: In this paper we prove the following theorem. Let L/\Q_p be a finite extension with ring of integers O_L and maximal ideal lambda. Theorem 1. Suppose that p >= 5. Suppose also that \rho:G_\Q -> GL_2(O_L) is a continuous representation satisfying the following conditions. 1. \rho ramifies at only finitely many primes. 2. \rho mod \lambda is modular and absolutely irreducible. 3. \rho is unramified at p and \rho(Frob_p) has eigenvalues \alpha and \beta with distinct reductions modulo \lambda. Then there exists a classical weight one eigenform f = \sum_{n=1}^\infty a_m(f) q^m and an embedding of \Q(a_m(f)) into L such that for almost all primes q, a_q(f)=tr(\rho(\Frob_q)). In particular \rho has finite image and for any embedding i of L in \C, the Artin L-function L(i o \rho, s) is entire.


title: Modularity of fibres in rigid local systems

abstract: It is believed that any p-adic Galois representation which is potentially semistable arises from a modular form. The main theorem of Wiles establishes this modularity when the representation in question satisfies various technical restrictions, together with the key hypothesis that its reduction modulo p arises itself from a modular form. This article explains how a strong version of Wiles' "lifting theorem" implies the modularity of all hypergeometric abelian varieties - so-called because their periods are expressed in terms of values of classical hypergeometric functions. While this strong version remains unproved, various strengthenings of Wiles' original result, notably those arising from work of Wiles and Skinner, allow one to unconditionally establish the modularity of infinite collections of hypergeometric abelian varieties.


title: Mapping tori of free group automorphisms are coherent

abstract: The mapping torus of an endomorphism \Phi of a group G is the HNN-extension G*_G with bonding maps the identity and \Phi. We show that a mapping torus of an injective free group endomorphism has the property that its finitely generated subgroups are finitely presented and, moreover, these subgroups are of finite type.


title: Structures riemanniennes L^p et K-homologie

abstract: We construct analytically the signature operator for a new family of topological manifolds. This family contains the quasi-conformal manifolds and the topological manifolds modeled on germs of homeomorphisms of R^n possessing a derivative which is in L^p, with p > n(n+1)/2. We obtain an unbounded Fredholm module which defines a class in the K-homology of the manifold, the Chern character of which is the Hirzebruch polynomial in the Pontrjagin classes of the manifold. This generalizes previous works of N. Teleman for Lipschitz manifolds and of A. Connes, N. Teleman and D. Sullivan for quasi-conformal manifolds of even dimension.


title: Surgery and duality

abstract: Surgery, as developed by Browder, Kervaire, Milnor, Novikov, Sullivan, Wall and others is a method for comparing homotopy types of topological spaces with diffeomorphism or homeomorphism types of manifolds of dimension >= 5. In this paper, a modification of this theory is presented, where instead of fixing a homotopy type one considers a weaker information. Roughly speaking, one compares n-dimensional compact manifolds with topological spaces whose k-skeletons are fixed, where k is at least [n/2]. A particularly attractive example which illustrates the concept is given by complete intersections. By the Lefschetz hyperplane theorem, a complete intersection of complex dimension n has the same n-skeleton as CP^n and one can use the modified theory to obtain information about their diffeomorphism type although the homotopy classification is not known. The theory reduces this classification result to the determination of complete intersections in a certain bordism group. The restrictions are: If d = d_1 ... d_r is the total degree of a complete intersection X^n_{d_1,..., d_r} of complex dimension n, then the assumption is, that for all primes p with p(p-1) <= n+1, the total degree d is divisible by p^{[(2n+1)/(2p-1)]+1}. Theorem A. Two complete intersections X^n_{d_1,.,d_r} and X^n_{d'_1,\ldots , d'_s} of complex dimension n>2 fulfilling the assumption above for the total degree are diffeomorphic if and only if the total degrees, the Pontrjagin classes and the Euler characteristics agree.


title: Menger curvature and rectifiability

abstract: For a Borel set E in R^n, the total Menger curvature of E, or c(E), is the integral over E^3 (with respect to 1-dimensional Hausdorff measure in each factor of E) of c(x,y,z)^2, where 1/c(x,y,z) is the radius of the circle passing through three points x, y, and z in E. Let H^1(X) denote the 1-dimensional Hausdorff measure of a set X. A Borel set E in R^n is purely unrectifiable if for any Lipschitz function gamma from R to R^n, H^1(E cap gamma(R)) = 0. It is said to be rectifiable if there exists a countable family of Lipschitz functions gamma_i from R to R^n such that H^1(E - union gamma_i(R)) = 0. It may be seen from this definition that any 1-set E (that is, E Borel and 0<H^1(E)<\infty) can be decomposed into two disjoint subsets E_irr and E_rect, where E_irr is purely unrectifiable and E_rect is rectifiable. Theorem. If E is a 1-set in R^n and c(E)^2 is finite, then E is rectifiable.


title: Entropy of convolutions on the circle

abstract: Given ergodic p-invariant measures {\mu_i} on the 1-torus T=R/Z, we give a sharp condition on their entropies, guaranteeing that the entropy of the convolution \muon converges to \log p. We also prove a variant of this result for joinings of full entropy on \T^\N. In conjunction with a method of Host, this yields the following. Denote \sig_q(x) = qx\pmod{1}. Then for every p-invariant ergodic \mu with positive entropy, \frac{1}{N}\sum_{n=0}^{N-1}\sig_{c_n}\mu converges weak^* to Lebesgue measure as N \goesto \infty, under a certain mild combinatorial condition on {c_k}. (For instance, the condition is satisfied if p=10 and c_k=2^k+6^k or c_k=2^{2^k}.) This extends a result of Johnson and Rudolph, who considered the sequence c_k = q^k when p and q are multiplicatively independent. We also obtain the following corollary concerning Hausdorff dimension of sum sets: For any sequence {S_i} of p-invariant closed subsets of T, if \sum \dim_H(S_i) / |\log\dim_H(S_i)| = \infty, then \dim_H(S_1 + \cdots + S_n) \goesto 1.


title: Gradient estimates and blow-up analysis for stationary harmonic maps

abstract: For stationary harmonic maps between Riemannian manifolds, we provide a necessary and sufficient condition for the uniform interior and boundary gradient estimates in terms of the total energy of maps. We also show that if analytic target manifolds do not carry any harmonic S^2, then the singular sets of stationary maps are m \leq n - 4 rectifiable. Both of these results follow from a general analysis on the defect measures and energy concentration sets associated with a weakly converging sequence of stationary harmonic maps.


title: Solving moment problems by dimensional extension

abstract: The first part of this paper is devoted to an analysis of moment problems in R^n with supports contained in a closed set defined by finitely many polynomial inequalities. The second part of the paper uses the representation results of positive functionals on certain spaces of rational functions developed in the first part, for decomposing a polynomial which is positive on such a semi-algebraic set into a canonical sum of squares of rational functions times explicit multipliers.


title: An introduction to the theory of Newton polygons for L-functions of exponential sums

abstract: This expository paper is based on the author's series of lectures delivered at the January 1999 Mini-course in Number Theory, held at Sogang University (Seoul). The aim is to give an elementary and self-contained introduction to the theory of Newton polygons (namely, the $p$-adic Riemann hypothesis) for L-functions of exponential sums over a finite field. The main idea of our approach is to establish a suitable local to global principal which would allowus to reduce the harder ``global'' case to various easier well understood "local" cases for which Stickelberger's theorem applies. For this purpose, a systematic decomposition method was introduced in our earlier paper and several decomposition theorems were proved, including the facial decomposition theorem, the star decomposition theorem and the hyperplane decomposition theorem. These theorems easily recover previously known results on Newton polygons of exponential sums. They are also enough for a number of further applications such as Mazur's conjecture for a generic hypersurface and a weaker form of the more general Adolphson-Sperber conjecture for a generic exponential sum. Using our earlier method, we have recently found a more flexible collapsing decomposition theorem. This theorem gives a fairly satisfactory answer to the full form of the Adolphson-Sperber conjecture. In particular, as an application, we now know that the full form of the Adolphson-Sperber conjecture is true in every low dimension $n\leq 3$ but false in every high dimension $n\geq 4$. These results are explained in these notes.


title: Explicit local heights

abstract: A new proof is given for the explicit formulae for the non-archimedean canonical height on an elliptic curve. This arises as a direct calculation of the Haar integral in the elliptic Jensen formula.


title: On the class number of cyclic extensions K/Q

abstract: Let K/Q be a cyclic extension. In this paper, we give several congruences connecting the prime divisors of the degree g= [K:Q] with the prime divisors of the class number h of K/Q. As an exemple, the theorem: Let K/Q be a cyclic extension with [K:Q]=g. Suppose that g is not divisible by 2 . Let g_j, j=1,...m, be the prime divisors of g. Let h_i, i=1,...r, be the prime divisors of the class number h of K/Q. If for one prime factor h_i of h, the h_i-component G(h_i) of the class group G of K/Q is cyclic then: else h_i divides g, else h_i = 1 (mod g_j) for at least one prime divisor g_j of g. The results obtained are all in accordance with class number tables of Washington, Masley, Girtsmair, Schoof, Jeannin and number fields server megrez.math.u-bordeaux.fr The proofs are strictly elementary.


title: A non-selfdual 4-dimensional Galois representation

abstract: In this paper it is explained how one can construct non-selfdual 4-dimensional $\ell$-adic Galois representations of Hodge type $h^{3,0}=h^{2,1}=h^{1,2}=h^{0,3}=1$, assuming a hypothesis concerning the cohomology of a certain threefold. For one such a representation the first 80000 coefficients of its $L$-function are computed, and it is numerically verified that this $L$-function satisfies a functional equation. Also a candidate for the conductor is obtained.


title: A discrete form of the Beckman-Quarles theorem for rational eight-space

abstract: Let Q denote the field of rational numbers. Let F \subseteq R is a euclidean field. We prove that: (1) if x,y \in F^n (n>1) and |x-y| is constructible by means of ruler and compass then there exists a finite set S(x,y) \subseteq F^n containing x and y such that each map from S(x,y) to R^n preserving unit distance preserves the distance between x and y, (2) if x,y \in Q^8 then there exists a finite set S(x,y) \subseteq Q^8 containing x and y such that each map from S(x,y) to R^8 preserving unit distance preserves the distance between x and y.


title: On the effect of adding epsilon-Bernoulli percolation to everywhere percolating subgraphs of Z^d

abstract: We show that adding epsilon-Bernoulli percolation to an everywhere percolating subgraph of Z^2 results in a graph which has large scale geometry similar to that of supercritical Bernoulli percolation, in various specific senses. We conjecture similar behavior in higher dimensions.


title: Periodic cyclic homology of certain nuclear algebras

abstract: Relying of properties of the inductive tensor product, we construct cyclic type homology theories for certain nuclear algebras. In this context we establish continuity theorems. We compute the periodic cyclic homology of the Schwartz algebra of p-adic GL(n) in terms of compactly supported de Rham cohomology of the tempered dual of GL(n).


title: Splittings of groups and intersection numbers

abstract: We prove algebraic analogues of the facts that a curve on a surface with self-intersection number zero is homotopic to a cover of a simple curve, and that two simple curves on a surface with intersection number zero can be isotoped to be disjoint.


title: On the complete classification of extremal log Enriques surfaces

abstract: We show that there are exactly, up to isomorphisms, seven extremal log Enriques surfaces Z and construct all of them; among them types D_{19} and A_{19} have been shown of certain uniqueness by M. Reid. We also prove that the (degree 3 or 2) canonical covering of each of these seven Z has either X_3 or X_4 as its minimal resolution. Here X_3 (resp. X_4) is the unique K3 surface with Picard number 20 and discriminant 3 (resp. 4), which are called the most algebraic K3 surfaces by Vinberg and have infinite automorphism groups (by Shioda-Inose and Vinberg).


title: On Vorontsov's theorem on K3 surfaces

abstract: Let X be a K3 surface with the Neron-Severi lattice S_X and transcendental lattice T_X. Nukulin considered the kernel H_X of the natural representation Aut(X) ---> O(S_X) and proved that H_{X} is a finite cyclic group with phi(h(X))) | t(X) and acts faithfully on the space H^{2,0}(X) = C omega_{X}, where h(X) = ord(H_X), t(X) = rank T_X and phi(.) is the Euler function. Consider the extremal case where phi(h(X)) = t(X). In the situation where T_{X} is unimodular, Kondo has determined the list of t(X), as well as the actual realizations, and showed that t(X) alone uniquely determines the isomorphism class of X (with phi(h(X)) = t(X)). We settle the remaining situation where T_X is not unimodular. Together, we provide the proof for the theorem announced by Vorontsov.


title: Normal modes in symplectic stratified spaces

abstract: We generalize the Weinstein-Moser theorem on the existence of nonlinear normal modes (i.e., periodic orbits) near an equilibrium in a Hamiltonian system to a theorem on the existence of relative periodic orbits near a relative equilibrium in a Hamiltonian system with continuous symmetries. More specifically we significantly improve a result proved earlier jointly with Tokieda (math.SG/9901102): we remove a technical hypothesis which amounted to an assumption that the symmetry group is a torus.


title: Hyperbolic automorphisms of free groups

abstract: We prove that an automorphism $\phi:F\to F$ of a finitely generated free group $F$ is hyperbolic in the sense of Gromov if it has no nontrivial periodic conjugacy classes.


title: On uniquely list colorable graphs

abstract: Let G be a graph with n vertices and suppose that for each vertex v in G, there exists a list of k colors L(v), such that there is a unique proper coloring for G from this collection of lists, then G is called a uniquely k-list colorable graph. Recently M. Mahdian and E.S. Mahmoodian characterized uniquely 2-list colorable graphs. Here we state some results which will pave the way in characterization of uniquely k-list colorable graphs. There is a relationship between this concept and defining sets in graph colorings and critical sets in latin squares.


title: Perimeter and Coherence According to McCammond and Wise

abstract: McCammond and Wise have introduced the perimeter of 2-complexes, and they have used it to obtain a sufficient criterion for coherence. We present a new exposition of their main result, as well as some applications.


title: Some concepts in list coloring

abstract: In this paper uniquely list colorable graphs are studied. A graph G is called to be uniquely k-list colorable if it admits a k-list assignment from which G has a unique list coloring. The minimum k for which G is not uniquely k-list colorable is called the M-number of G. We show that every triangle-free uniquely vertex colorable graph with chromatic number k+1, is uniquely k-list colorable. A bound for the M-number of graphs is given, and using this bound it is shown that every planar graph has M-number at most 4. Also we introduce list criticality in graphs and characterize all 3-list critical graphs. It is conjectured that every $\chi_\ell$-critical graph is $\chi'$-critical and the equivalence of this conjecture to the well known list coloring conjecture is shown.


title: A note on "H-cordial graphs"

abstract: The concept of an H-cordial graph is introduced by I. Cahit in 1996 (Bulletin of the ICA). But that paper has some gaps and invalid statements. We try to prove the statements whose proofs in Cahit's paper have problems, and also we give counterexamples for the wrong statements. We prove necessary and sufficient conditions for H-cordiality of complete graphs and wheels and H_2-cordiality of wheels, which are wrongly claimed in Cahit's paper.


title: On the integrability in finite terms of first-order differential equations according to Maximovic

abstract: We give a definition of integration by quadratures of first-order ordinary differential equations, and recover a little known result by Maximovic which states that a first-order ordinary differential equation can be integrated by quadratures only if it arises from the linear equation by a diffeomorphic transformation of the dependent variable. In the appendix this result is applied to the linear second-order equation in a restricted setting. A brief outline of Maximovic's life is also included.


title: Sur des vari\'et\'es toriques non projectives

abstract: With the help of Mori theory for projective toric manifolds due to M. Reid, we study non projective toric manifolds which become projective after a single blow up along an invariant curve.


title: The self-linking number of a closed curve in R^n

abstract: We introduce the self-linking number of a smooth closed curve in R^n with respect to a 3-dimensional vector bundle over the curve, provided that some regularity conditions are satisfied. When n=3, this construction gives the classical self-linking number of a closed embedded curve with non-vanishing curvature. We also look at some interesting particular cases, which correspond to the osculating or the orthogonal vector bundle of the curve.


title: On periodic sequences for algebraic numbers

abstract: For each positive integer n greater than or equal to 2, a new approach to expressing real numbers as sequences of nonnegative integers is given. The n=2 case is equivalent to the standard continued fraction algorithm. For n=3, it reduces to a new iteration of the triangle. Cubic irrationals that are roots of x^3 + k x^2 + x - 1 are shown to be precisely those numbers with purely periodic expansions of period length one. For general positive integers n, it reduces to a new iteration of an n dimensional simplex.


title: On the eigenmodes of compact hyperbolic 3-manifolds

abstract: We present a simple algorithm for finding eigenmodes of the Laplacian for arbitrary compact hyperbolic 3-manifolds. We apply our algorithm to a sample of twelve manifolds and generate a list of the lowest eigenvalues. We also display a selection of eigenmodes taken from the Weeks space.


title: Also quite large b subseteq pcf(a) behave nicely

abstract: The present note is an answer to complains of E.Weitz on [Sh:371]. We present a corrected version of a part of chapter VIII of " Cardinal Arithmetic".


title: A characterization of the Z^n lattice

abstract: We use theta series and modular forms to prove that Z^n is the only integral unimodular lattice of rank n without characteristic vectors of norm <n, i.e. the only integral unimodular lattice not containing a vector w such that (w,w)<n and 2|(v,v+w) for all lattice vectors v. By the work of Kronheimer and others on the Seiberg-Witten equation this yields an alternative proof of a theorem of Donaldson on the geometry of 4-manifolds.


title: Deformations of symplectic Lie algebroids, deformations of holomorphic symplectic structures, and index theorems

abstract: Recently Kontsevich solved the classification problem for deformation quantizations of all Poisson structures on a manifold. In this paper we study those Poisson structures for which the explicit methods of Fedosov can be applied, namely the Poisson structures coming from symplectic Lie algebroids, as well as holomorphic symplectic structures. For deformations of these structures we prove the classification theorems and a general a general index theorem.


title: Solutions, Spectrum, and Dynamica for Schr\"odinger Operators on Infinite Domains

abstract: Let H be a Schr\"odinger operator defined on an unbounded domain D in R^d with Dirichlet boundary conditions (D may equal R^d in particular). Let u(x,E) be a solution of the Schr\"odinger equation (H-E)u(x,E)=0, and let B_R denote a ball of radius R centered at zero. We show relations between the rate of growth of the L^2 norm \|u(x,E)\|_{L^2(B_R \cap D)} of such solutions as R goes to infinity, and continuity properties of spectral measures of the operator H. These results naturally lead to new criteria for identification of various spectral properties. We also prove new fundamental relations berween the rate of growth of L^2 norms of generalized eigenfunctions, dimensional properties of the spectral measures, and dynamical properties of the corresponding quantum systems. We apply these results to study transport properties of some particular Schr\"odinger operators.


title: Analytical Guide and updates for "Cardinal Arithmetic"

abstract: Part A: A revised version of the guide in "Cardinal Arithmetic" ([Sh:g]), with corrections and expanded to include later works. Part B: Corrections to [Sh:g]. Part C: Contains some revised proof and improved theorems. Part D: Contains a list of relevant references.


title: Few non-minimal types and non-structure

abstract: We pay two debts from [Sh:576] (math.LO/9805146). The main demands little knowledge from [Sh:576], just quoting a model theoretic consequence of the weak diamond. We assume that K has amalgamation in lambda, and that the minimal types are not dense to get many non-isomorphic models in lambda^+. For this also pcf considerations are relevant. The minor debt was the use in one point of [Sh:576] of lambda not= aleph_0, it is minor as for this case by [Sh:88] we ``usually'' know more.


title: Iteration of lambda-complete forcing notions not collapsing lambda^+

abstract: We look for a parallel to the notion of ``proper forcing'' among lambda-complete forcing notions not collapsing lambda^+ . We suggest such a definition and prove that it is preserved by suitable iterations.


title: On Arhangelskii's Problem

abstract: We prove the consistency (modulo supercompact) of a negative answer to Arhangelskii's problem (some Hausdorff compact space cannot be partitioned to two sets not containing a closed copy of Cantor discontinuum). In this model we have CH. Without CH we get consistency results using a pcf assumption, close relatives of which are necessary for such results.


title: Representations with Weighted Frames and Framed Parabolic Bundles

abstract: There is a well-known correspondence between the symplectic variety of representations of the fundamental group of a punctured Riemann surface into a compact Lie group G, with fixed conjugacy classes at the punctures, and a complex variety of holomorphic bundles on the unpunctured surface with a parabolic structure at the puncture points. For G=SU(2), we build a symplectic variety of pairs (representations of the fundamental group into G, `weighted frame' at the puncture points), and a corresponding complex variety of moduli of `framed parabolic bundles', which encompass respectively all of the above spaces, in the sense that one can obtain the former from the latter by taking a symplectic quotient or a geometric invariant theory quotient. This allows us to explain certain features of the toric geometry of the SU(2) moduli spaces discussed by Jeffrey and Weitsman, by giving the actual toric variety associated with their integrable system.


title: On J-orders of elements of $KO(CP^m)$

abstract: Let $KO(CP^m)$ be the KO-ring of the complex projective space $CP^m.$ By means of methods of rational D-series, a formula for the J-orders of elements of $KO(CP^m)$ is given. Explicit formulas are given for computing the J-orders of the canonical generators of $KO(CP^m)$ and the J-order of any complex line bundle over $CP^m.$


title: A Multiple Integral Explicit Evaluation Inspired by the Multi-WZ Method

abstract: We give an identity which is conjectured and proved by using an implementation in Multi-WZ.


title: The Large N Limits of the Chiral Potts Model

abstract: In this paper we study the large-N limits of the integrable N-state chiral Potts model. Three chiral solutions of the star-triangle equations are derived, with states taken from all integers, or from a finite or infinite real interval. These solutions are expected to be chiral-field lattice deformations of parafermionic conformal field theories. A new two-sided hypergeometric identity is derived as a corollary.


title: Power series and p-adic algebraic closures

abstract: In an earlier preprint (math.AG/9810142) we gave an explicit description of the algebraic closure of the field of power series over a field of characteristic p, in terms of "generalized power series". In this paper, we give an analogous description of the algebraic closure of the fraction field of the Witt ring of a field of characteristic p, using an analogue of generalized power series in mixed characteristic due to Poonen.


title: Connected components of the space of circle-valued Morse functions on surfaces

abstract: We classify the path-components of the space of circle-valued Morse functions on compact surfaces: two Morse functions $f, g: M\to S^1$ belong to same path-component of this space if and only if they are homotopic and have equal numbers of critical points at each index.


title: Berikashvili's functor D and the deformation equation

abstract: Berikashvili's functor D defined in terms of twisting cochains is related to deformation theory, gauge theory, Chen's formal power series connections, and the master equation in physics. The idea is advertised that some unification and understanding of the links between these topics is provided by the notion of twisting cochain and the idea of classifying twisting cochains.


title: On a generalization of property B

abstract: A set-theoretic property called Property S is introduced as a generalization of the well-known Property B. Property S is named for A.Schrijver who first used it to formulate an equivalent of the boolean prime ideal theorem. It was independently introduced by A. Kolany to give a uniform treatment for a variety of satisfiability problems who then used a generalized resolution method to determine satisfiability. Here we further investigate Property S and the resolution method.


title: Uniform partitions of 3-space, their relatives and embedding

abstract: We review 28 uniform partitions of 3-space in order to find out which of them have graphs (skeletons) embeddable isometrically (or with scale 2) into some cubic lattice ${\bf Z}_n$. We also consider some relatives of those 28 partitions, including Achimedean 4-polytopes of Conway-Guy, non-compact uniform partitions, Kelvin partitions and those with unique vertex figure (i.e. Delaunay star). Among last ones we indicate two continuums of aperiodic tilings by semi-regular 3-prisms with cubes or with regular tetrahedra and regular octahedra. On the way many new partitions are added to incomplete cases considered here.


title: Three, four and five-dimensional fullerenes

abstract: We explore some generalizations of fullerenes F_v (simple polyhedra with v vertices and only 5- and 6-gonal faces) seen as (d-1)-dimensional simple manifolds (preferably, spherical or polytopal) with only 5- and 6-gonal 2-faces. First, finite and planar (infinite) 3-fullerenes are described. Three infinite families of spherical 4-fullerenes are presented in Constructions A,B,C. The Construction A gives 4-polytopes by suitable insertion of fullerenes F_{30}(D_{5h}) into glued 120-cells. The Construction B gives 3-spheres by growing dodecahedra and barrels F_{24} around of given fullerene. The Construction C gives 4-fullerenes from special decoration of given 4-fullerene, which add facets F_{20}, F_{24}, F_{26} and F_{28}(T_d) only. Some 5-fullerenes are obtained, by a variation of gluing of two regular tilings {5333} of hyperbolic 4-space or of their suitable quotients.


title: Formal solution of the master equation via HPT and deformation theory

abstract: We construct a solution of the master equation by means of standard tools from homological perturbation theory under just the hypothesis that the ground field be of characteristic zero, thereby avoiding the formality assumption of the relevant Lie algebra. To this end we endow the homology H(g) of any differential graded Lie algebra g with an sh-Lie structure such that g and H(g) are sh-equivalent. We discuss our solution of the master equation in the context of deformation theory. Given the extra structure appropriate to the extended moduli space of complex structures on a Calabi-Yau manifold, the known solutions result as a special case.

categories: math.AG math-ph math.AC math.AT math.CT math.DG math.MP


title: The Hall algebra of the category of coherent sheaves on the projective line

abstract: To an abelian category A of homological dimension 1 satisfying certain finiteness conditions, one can associate an algebra, called the Hall algebra. Kapranov studied this algebra when A is the category of coherent sheaves over a smooth projective curve defined over a finite field, and observed analogies with quantum affine algebras. We recover here in an elementary way his results in the case when the curve is the projective line.


title: On Categorification

abstract: We review several known categorification procedures, and introduce a functorial categorification of group extensions with applications to non-abelian group cohomology. Categorification of acyclic models and of topological spaces are briefly mentioned.


title: On Ideals and Homology in Additive Categories

abstract: Ideals are used to define homological functors for additive categories. In abelian categories the ideals corresponding to the usual universal objects are principal, and the construction reduces, in a choice dependent way, to homology groups. Applications are considered: derived categories and functors.


title: Poisson-Lie T-duality for quasitriangular Lie bialgebras

abstract: We introduce a new 2-parameter family of sigma models exhibiting Poisson-Lie T-duality on a quasitriangular Poisson-Lie group $G$. The models contain previously known models as well as a new 1-parameter line of models having the novel feature that the Lagrangian takes the simple form $L=E(u^{-1}u_+,u^{-1}u_-)$ where the generalised metric $E$ is constant (not dependent on the field $u$ as in previous models). We characterise these models in terms of a global conserved $G$-invariance. The models on $G=SU_2$ and its dual $G^\star$ are computed explicitly. The general theory of Poisson-Lie T-duality is also extended; we develop the Hamiltonian formulation and the reduction for constant loops to integrable motion on the group manifold. Finally, we generalise T-duality in the Hamiltonian formulation to group factorisations $D=G\dcross M$ where the subgroups need not be dual or even have the same dimension and need not be connected to the Drinfeld double or to Poisson structures.


title: Planar Harmonic Polynomials of Type B

abstract: The hyperoctahedral group is the Weyl group of type B and is associated with a two-parameter family of differential-difference operators T_i, i=1,..,N (the dimension of the underlying Euclidean space). These operators are analogous to partial derivative operators. This paper finds all the polynomials in N variables which are annihilated by the sum of the squares (T_1)^2+(T_2)^2 and by all T_i for i>2 (harmonic). They are given explicitly in terms of a novel basis of polynomials, defined by generating functions. The harmonic polynomials can be used to find wave functions for the quantum many-body spin Calogero model.


title: The Honeycomb Conjecture

abstract: The classical honeycomb conjecture asserts that any partition of the plane into regions of equal area has perimeter at least that of the regular hexagonal honeycomb tiling. Pappus discusses this problem in his preface to Book V. This paper gives the first general proof of the conjecture. The revision is the published version, which allows disconnected honeycomb cells and gaps between cells.


title: Generalized Selective Modal Analysis

abstract: A new approach which generalizes the Selective Modal Analyis (SMA) and algorithms based upon it for solving the generalized eigenvalue problem is described. This approach allows for the systematic consideration of physical properties of the system under study. Two small application cases demonstrate the capabilities of the proposed approach.


title: Two Exterior Algebras for orthogonal and symplectic Quantum Groups

abstract: Let \Gamma be one of the N^2-dimensional bicovariant first order differential calculi on the orthogonal or symplectic quantum group O_q(N) or Sp_q(N). The parameter q is not a root of unity. We show that the second antisymmetrizer exterior algebra is the quotient of the universal exterior algebra U by the principal ideal generated by w^2. Here w denotes the unique up to scalars bi-invariant 1-form. Moreover w^2 is central in U and U is an inner differential calculus.


title: Weak Hopf Algebras II: Representation theory, dimensions and the Markov trace

abstract: If A is a weak C^*-Hopf algebra then the category of finite dimensional unitary representations of A is a monoidal C^*-category with monoidal unit being the GNS representation D_eps associated to the counit \eps. This category has isomorphic left dual and right dual objects which leads, as usual, to the notion of dimension function. However, if \eps is not pure the dimension function is matrix valued with rows and columns labelled by the irreducibles contained in D_eps. This happens precisely when the inclusions A^L < A and A^R < A are not connected. Still there exists a trace on A which is the Markov trace for both inclusions. We derive two numerical invariants for each C^*-WHA of trivial hypercenter. These are the common indices I and \delta, of the Haar, respectively Markov conditional expectations of either one of the inclusions A^{L/R} < A and Adual^{L/R} < Adual. In generic cases I > \delta. In the special case of weak Kac algebras we show that I=\delta is an integer.


title: Cohomology of Lie Superalgebras of Hamiltonian Vector Fields: Computer Analysis

abstract: We present the results of computation of cohomology for some Lie (super)algebras of Hamiltonian vector fields and related algebras. At present, the full cohomology rings for these algebras are not known even for the low dimensional vector fields. The partial ``experimental'' results may give some hints for solution of the whole problem. The computations have been carried out with the help of recently written program in C language. Some of the presented results are new.


title: Curvature Estimates and the Positive Mass Theorem

abstract: The Positive Mass Theorem implies that any smooth, complete, asymptotically flat 3-manifold with non-negative scalar curvature which has zero total mass is isometric to (R^3, delta_{ij}). In this paper, we quantify this statement using spinors and prove that if a complete, asymptotically flat manifold with non-negative scalar curvature has small mass and bounded isoperimetric constant, then the manifold must be close to (R^3,delta_{ij}), in the sense that there is an upper bound for the L^2 norm of the Riemannian curvature tensor over the manifold except for a set of small measure. This curvature estimate allows us to extend the case of equality of the Positive Mass Theorem to include non-smooth manifolds with generalized non-negative scalar curvature, which we define.


title: Deformations of Special Lagrangian Submanifolds

abstract: R.C.McLean showed that the moduli space of nearby submanifolds of a smooth, compact, orientable special Lagrangian submanifold L in a Calabi-Yau manifold X is a smooth manifold and its tangent space at L is identified with the space of harmonic one forms on L. In this paper, we will extend this result from Calabi-Yau manifolds to the symplectic manifolds with non-integrable almost complex structure.


title: Nilpotent pairs in semisimple Lie algebras and their characteristics

abstract: Recently, V.Ginzburg introduced and studied in depth the notion of a principal nilpotent pair in a semisimple Lie algebra \g. Our aim is to contribute to the general theory of nilpotent pairs. Roughly speaking, a nilpotent pair (e_1,e_2) consists of two commuting elements in \g that can independently be contracted to the origin. A principal nilpotent pair is a double counterpart of a regular nilpotent element. Consequently, the theory of nilpotent pairs should stand out as double counterpart of the theory of nilpotent orbits. We show that any nilpotent pair has a characteristic (h_1,h_2), which is unique within to conjugacy. Generalizing Dynkin's approach to (sl_2)-triples, we prove that the number of G-orbits of characteristics of nilpotent pairs is finite and provide some estimates for the numerical labels \alpha_j(h_i), where {\alpha_j} are suitable simple roots of \g. It was observed by Ginzburg that the number of G-orbits of nilpotent pairs is infinite. This means this class is too wide to have a reasonable theory. To resolve this difficulty, we introduce `wonderful' nilpotent pairs. We prove that if two wonderful pairs have the same characteristic, then these are conjugate. This implies that there are finitely many G-orbits of wonderful pairs. A number of nice properties of wonderful pairs shows that these can be regarded as right double analogue of nilpotent orbits. We also consider several natural classes of wonderful pairs and describe characteristics for principal and almost principal nilpotent pairs.


title: Taylor-Kubo Formula for Turbulent Diffusion in a Non-Mixing Flow with Long-Range Correlation

abstract: We prove the Taylor-Kubo formula for a class of isotropic, non-mixing flows with long-range correlation. For the proof, we develop the method of high order correctors expansion.


title: Amenability of Hopf C^*-algebras

abstract: Three natural definitions for amenability of general Hopf C^*-algebras (all of them being generalizations of the case of locally compact groups) were given and the relations between them were studied. Moreover, amenability in the situation of duality of Hopf C^*-algebras was also studied.


title: Fractional Brownian Motion Limit for a Model of Turbulent Transport

abstract: Passive scalar motion in a family of random Gaussian velocity fields with long-range correlations is shown to converge to persistent fractional Brownian motions in long times.


title: The number of ramified covering of a Riemann surface by Riemann surface

abstract: Interpreting the number of ramified covering of a Riemann surface by Riemann surfaces as the relative Gromov-Witten invariants and applying a gluing formula, we derive a recursive formula for the number of ramified covering of a Riemann surface by Riemann surface with elementary branch points and prescribed ramification type over a special point.


title: Relationship formula between nonlinear polynomial equations and the corresponding Jacobian matrix

abstract: This paper provides a general proof of a relationship theorem between nonlinear analogue polynomial equations and the corresponding Jacobian matrix, presented recently by the present author. This theorem is also verified generally effective for all nonlinear polynomial algebraic system of equations. As two particular applications of this theorem, we gave a Newton formula without requiring the evaluation of nonlinear function vector as well as a simple formula to estimate the relative error of the approximate Jacobian matrix. Finally, some possible applications of this theorem in nonlinear system analysis are discussed.


title: Pseudo-Newton method for nonlinear equations

abstract: In order to avoid the evaluation of the Jacobian matrix and its inverse, the present author recently introduced the pseudo-Jacobian matrix with a general applicability of any nonlinear systems of equations. By using this concept, this paper proposes the pseudo-Newton method


title: Metrically thin singularities of integrable CR functions

abstract: In this article, we consider metrically thin singularities A of the tangential Cauchy-Riemann operator on smoothly embedded Cauchy-Riemann manifolds M. The main result states removability within the space of locally integrable functions on M under the hypothesis that the (dim M-2)-dimensional Hausdorff volume of A is zero and that the CR-orbits of M and M-A are comparable.


title: On the partial algebraicity of holomorphic mappings between real algebraic sets

abstract: In this paper, we consider local holomorphic mappings f: M\to M' between real algebraic CR generic manifolds (or more generally, real algebraic sets with singularities) in the complex euclidean spaces of different dimensions and we search necessary and sufficient conditions for f to be algebraic. These conditions appear to exclude two certain flatness of M and of M'. From the point of view of CR geometry, a real analytic CR manifold M can be flat in essentially to ways, being biholomorphic to a product M_1\times \Delta^k, k\geq 1, by a polydisc (algebraic degeneracy), or to a product M_1\times I^l,l\geq 1 by a real cube (transversal degeneracy), in a neighborhod of a Zariski generic point. We also require that the CR manifold M is minimal in the sense of Tumanov at a generic point. Our first result provides a characterization of mappings with positive transcendence degree k. Such maps have the property that near a Zariski generic point f(p) in M', there exists a k-algebraically degenerate real algebraic set X'' which contains f(M) and which is contained in M'. This solves the algebraic mapping problem for a minimal source M completely. Our second main result is the construction of canonical foliations by Segre surfaces of the extrinsic complexification of M. We prove in particular that a holomorphic function defined in a neighborhood of a minimal M is algebraic if and only if its restriction to each Segre surface of M is algebraic. We also show by an example that the double reflection foliation in the spirit of tangential CR derivations does not yield a characterization of positivity of transcendence degree of holomorphic mappings.


title: Integral Equations with Hypersingular Kernels -- Theory and Applications to Fracture Mechanics

abstract: Hypersingular integrals of the type $I_{\alpha}(T_n,m,r) = \int_{-1}^{1} \hpsngAbs \frac{T_n(s)(1-s^2)^{m-{1/2}}}{(s-r)^\alpha}ds |r|<1$ and $I_{\alpha}(U_n,m,r) = \int_{-1}^{1} \hpsngAbs \frac{U_n(s)(1-s^2)^{m-{1/2}}}{(s-r)^\alpha}ds |r|<1$ are investigated for general integers $\alpha$ (positive) and $m$ (non-negative), where $T_n(s)$ and $U_n(s)$ are the Tchebyshev polynomials of the 1st and 2nd kinds, respectively. Exact formulas are derived for the cases $\alpha = 1, 2, 3, 4$ and $m = 0, 1, 2, 3$; most of them corresponding to new solutions derived in this paper. Moreover, a systematic approach for evaluating these integrals when $\alpha > 4$ and $m>3$ is provided. The integrals are also evaluated as $|r|>1$ in order to calculate stress intensity factors (SIFs). Examples involving crack problems are given and discussed with emphasis on the linkage between mathematics and mechanics of fracture. The examples include classical linear elastic fracture mechanics (LEFM), functionally graded materials (FGM), and gradient elasticity theory. An appendix, with closed form solutions for a broad class of integrals, supplements the paper.


title: Automatic Evaluation of the Links-Gould Invariant for all Prime Knots of up to 10 Crossings

abstract: This paper describes a method for the automatic evaluation of the Links-Gould two-variable polynomial link invariant (LG) for any link, given only a braid presentation. This method is currently feasible for the evaluation of LG for links for which we have a braid presentation of string index at most 5. Data are presented for the invariant, for all prime knots of up to 10 crossings and various other links. LG distinguishes between these links, and also detects the chirality of those that are chiral. In this sense, it is more sensitive than the well-known two-variable HOMFLY and Kauffman polynomials. When applied to examples which defeat the HOMFLY invariant, interestingly, LG `almost' fails. The automatic method is in fact applicable to the evaluation of any such state sum invariant for which an appropriate R matrix and cap and cup matrices have been determined.


title: Fields of fractions of quantum solvable algebras

abstract: We introduce the notion of pure Q-solvable algebra. The quantum matrices, quantum Weyl algebra, U_q(n) are the examples. It is proved that the skew field of fractions of pure Q-solvable algebra is isomorphic to the skew field of twisted rational functions. This is the quantum version of Gelfand-Kirillov conjecture for solvable algebraic Lie algebras.


title: Additive tunnel number and primitive elements

abstract: It is proven here that if the connected sum of two tunnel number one knots in the 3-sphere is a tunnel number two knot, then at least one of the summand knots has a genus two Heegaard splitting with a meridian as a primitive element. Hence this is a necessary and sufficient condition for tunnel number one knots to have additive tunnel number.


title: Embedding of regular tilings and star-honeycomb

abstract: We review the regular tilings of d-sphere, Euclidean d-space, hyperbolic d-space and Coxeter's regular hyperbolic honeycombs (with infinite or star-shaped cells or vertex figures) with respect of possible embedding, isometric up to a scale, of their skeletons into a m-cube or m-dimensional cubic lattice. In section 2 the last remaining 2-dimensional case is decided: for any odd m>6, star-honeycombs {m, m/2} are embeddable while {m/2, m} are not (unique case of non-embedding for dimension 2). As a spherical analogue of those honeycombs, we enumerate, in section 3, 36 Riemann surfaces representing all nine regular polyhedra on the sphere. In section 4, non-embeddability of all remaining star-honeycombs (on 3-sphere and hyperbolic 4-space) is proved. In the last section 5, all cases of embedding for dimension d>2 are identified. Besides hyper-simplices and hyper-octahedra, they are exactly those with bipartite skeleton: hyper-cubes, cubic lattices and 8, 2, 1 tilings of hyperbolic 3-, 4-, 5-space (only two, {435} and {4335}, of those 11 are compact).


title: Modules and Morita theorem for operads

abstract: Associative rings A, B are called Morita equivalent when the categories of left modules over them are equivalent. We call two classical linear operads P, Q Morita equivalent if the categories of algebras over them are equivalent. We transport a part of Morita theory to the operadic context by studying modules over operads. As an application of this philosophy, we consider an operadic version of the sheaf of linear differential operators ona a (super) manifold M and give a comparison theorem between algebras over this sheaf on M and M_{red}. The paper is dedicated to A.N.Tyurin on the occasion of his 60th birthday.


title: On the connectivity of complex affine hypersurfaces II

abstract: We obtain sharp estimates on the connectivity of complex affine hypersurfaces in terms of the decomposition of the defining equation as a sum of weighted homogeneous components relative to some weight system.


title: The Willmore Conjecture for immersed tori with small curvature integral

abstract: The Willmore conjecture states that any immersion F:T^2 -> R^n of a 2-torus into flat euclidean space satisfies $\int_{T^2} H^2\geq 2\pi^2$. We prove it under the condition that the L^p-norm of the Gaussian curvature is sufficiently small.


title: Inscribing cubes and covering by rhombic dodecahedra via equivariant topology

abstract: First, we prove a special case of Knaster's problem, implying that each symmetric convex body in R^3 admits an inscribed cube. We deduce it from a theorem in equivariant topology, which says that there is no S_4-equivariant map from SO(3) to S^2, where S_4 acts on SO(3) as the rotation group of the cube and on S^2 as the symmetry group of the regular tetrahedron. We also give some generalizations. Second, we show how the above non-existence theorem yields Makeev's conjecture in R^3 that each set in R^3 of diameter 1 can be covered by a rhombic dodecahedron, which has distance 1 between its opposite faces. This reveals an unexpected connection between inscribing cubes into symmetric bodies and covering sets by rhombic dodecahedra. Finally, we point out a possible application of our second theorem to the Borsuk problem in R^3. (Similar results were obtained recently by V.V. Makeev and independently by G. Kuperberg (cf. math.MG/9809165).)


title: Bianchi Orbifolds of Small Discriminant

abstract: This brief report (6 pages) was written in 1983 but never published. It concerns the hyperbolic 3-orbifolds obtained as quotients of hyperbolic 3-space by the group of invertible 2 by 2 matrices whose entries are integers in the imaginary quadratic extension of Q of discriminant D. For values D > -100 the topological type of this orbifold is tabulated, and in the cases when the topological type is a punctured 3-sphere, the singular locus of the orbifold is drawn. A few miscellaneous comments about these orbifolds are included. The tables and pictures are based on Bob Riley's computer calculations of Ford domains and face pairings. Nothing is said about later developments after 1983. The pictures are also viewable on my webpage in a perhaps more convenient format; see http://math.cornell.edu/~hatcher


title: A formula for the Selmer group of a rational three-isogeny

abstract: A formula is given for the dimension of the Selmer group of the rational three-isogeny of elliptic curves of the form y^2=x^3+a(x-b)^2. The formula is in terms of the three-ranks of the quadratic number fields Q(\sqrt{a}) and Q(\sqrt{-3a}) and various aspects of the arithmetic of these number fields. In addition a duality theorem is used to relate the dimension of the Selmer group of the three-isogeny with the dimension of the Selmer group of its dual isogeny.


title: The Hall algebra of a cyclic quiver and canonical bases of the Fock space

abstract: We prove that the Hall algebra U^-_n of the cyclic quiver of type A^(1)_{n-1} decomposes as a direct product of the quantum negative nilpotent subalgebra U_q^-(\hat{sl}_{n)) and C[q,q^{-1},z_1,z_2...]. We use this to prove a conjecture of Varagnolo and Vasserot in math/9803023 relating the canonical basis of U^-_n and the canonical basis of the level 1 Fock space representation of U_q(\hat{sl}_n) introduced by Leclerc and Thibon. This yields a proof of the positivity conjecture of Lascoux, Leclerc and Thibon, and a q-analogue of the Lusztig character formula for simple modules of the quantum group U_q(sl_n) at a root of unity.


title: Approximation property of $C^*$-algebraic Bundles

abstract: In this paper, we will define the reduced cross-sectional $C^*$-algebras of $C^*$-algebraic bundles over locally compact groups and show that if a $C^*$-algebraic bundle has the approximation property (defined similarly as in the discrete case), then the full cross-sectional $C^*$-algebra and the reduced one coincide. Moreover, if a semi-direct product bundle has the approximation property and the underlying $C^*$-algebra is nuclear, then the cross-sectional $C^*$-algebra is also nuclear. We will also compare the approximation property with the amenability of Anantharaman-Delaroche in the case of discrete groups.


title: Semiinfinite cohomology of contragradient Weyl modules over small quantum groups

abstract: In this paper we construct some quantum analogues of the global Cousin complex for the flag variety in positive characteristic. Just like in the positive characteristic case, we obtain some remarkable resolutions of the contragradient modules over the small quantum group. We use these resolutions to calculate semiinfinite cohomology of the small quantum group with coefficients in contragradient Weyl modules. It turns out that the described graded space of semiinfinite cohomology is naturally isomorphic to the space of distributions on the cotangent bundle of the flag variety with support in the union of conormal bundles to the Schubert cells with coefficients in the pull-back of a line bundle on the flag variety.


title: Compressions of Resolvents and Maximal Radius of Regularity

abstract: Suppose that $\lambda - T$ is left-invertible in $L(H)$ for all $\lambda \in \Omega$, where $\Omega$ is an open subset of the complex plane. Then an operator-valued function $L(\lambda)$ is a left resolvent of $T$ in $\Omega$ if and only if $T$ has an extension $\tilde{T}$, the resolvent of which is a dilation of $L(\lambda)$ of a particular form. Generalized resolvents exist on every open set $U$, with $\bar{U}$ included in the regular domain of $T$. This implies a formula for the maximal radius of regularity of $T$ in terms of the spectral radius of its generalized inverses. A solution to an open problem raised by J. Zem\'anek is obtained.