title: Kulikov's problem on universal torsion-free abelian groups

abstract: Let T be an abelian group and lambda an uncountable regular cardinal. We consider the question of whether there is a lambda-universal group G^* among all torsion-free abelian groups G of cardinality less than or equal to lambda satisfying Ext(G,T)=0. Here G^* is said to be lambda-universal for T if, whenever a torsion-free abelian group G of cardinality less than or equal to lambda satisfies Ext(G,T)=0, then there is an embedding of G into G^*. For large classes of abelian groups T and cardinals lambda it is shown that the answer is consistently no. In particular, for T torsion, this solves a problem of Kulikov.


title: On Fourier and Zeta(s)

abstract: We study some of the interactions between the Fourier Transform and the Riemann zeta function (and Dirichlet-Dedekind-Hecke-Tate L-functions)


title: On the Hamiltonian and Lagrangian structures of time-dependent reductions of evolutionary PDEs

abstract: In this paper we study the reductions of evolutionary PDEs on the manifold of the stationary points of time--dependent symmetries. In particular we describe how that the finite dimensional Hamiltonian structure of the reduced system is obtained from the Hamiltonian structure of the initial PDE and we construct the time--dependent Hamiltonian function. We also present a very general Lagrangian formulation of the procedure of reduction. As an application we consider the case of the Painlev\'e equations PI, PII, PIII, PVI and also certain higher order systems appeared in the theory of Frobenius manifolds.


title: A fully nonlinear conformal flow on locally conformally flat manifolds

abstract: We study a fully nonlinear flow for conformal metrics. The long-time existence and the sequential convergence of flow are established for locally conformally flat manifolds. As an application, we solve the $\sk$-Yamabe problem for locally conformal flat manifolds when $k \neq n/2$.


title: The computational complexity of the local postage stamp problem

abstract: The well-studied local postage stamp problem (LPSP) is the following: given a positive integer k, a set of postive integers 1 = a1 < a2 < ... < ak and an integer h >= 1, what is the smallest positive integer which cannot be represented as a linear combination x1 a1 + ... + xk ak where x1 + ... + xk <= h and each xi is a non-negative integer? In this note we prove that LPSP is NP-hard under Turing reductions, but can be solved in polynomial time if k is fixed.


title: Braided Line and Counting Fixed Points of GL(d,F_q)

abstract: We interpret a recent formula for counting orbits of $GL(d,F_q)$ in terms of counting fixed points as addition in the affine braided line. The theory of such braided groups (or Hopf algebras in braided categories) allows us to obtain the inverse relationship, which turns out to be the same formula but with $q$ and $q^{-1}$ interchanged (a perfect duality between counting orbits and counting fixed points). In particular, the probability that an element of $GL(d,F_q)$ has no fixed points is found to be the order-$d$ truncated $q$-exponential of $-1/(q-1)$.


title: Arithmetic on Elliptic Threefolds

abstract: In a recent paper, Rosen and Silverman showed that Tate's conjecture on the order of vanishing of L(E,s) implies Nagao's formula, which gives the rank of an elliptic surface in terms of a weighted average of fibral Frobenius trace values. The aim of this article is to extend their result to the case of elliptic threefolds, and deduce, from Tate's conjecture, a Nagao-type formula for the rank of an elliptic threefold E. This will require a two-pronged approach: on the one hand, we need some cohomological results in order to derive a Shioda-Tate-like formula for elliptic threefolds; on the other, we compute an "average" number of rational points on the singular fibers and relate this to the action of Galois on those fibers.


title: Volume preserving embeddings of open subsets of $R^n$ into manifolds

abstract: We consider a connected smooth $n$-dimensional manifold $M$ endowed with a volume form $\Omega$, and we show that an open subset $U$ of $R^n$ of Lebesgue measure $\Vol (U)$ embeds into $M$ by a smooth volume preserving embedding whenever the volume condition $\Vol (U) \le \Vol (M,\Omega)$ is met.


title: A bijective proof of the hook-length formula for shifted standard tableaux

abstract: We present a bijective proof of the hook-length formula for shifted standard tableaux of a fixed shape based on a modified jeu de taquin and the ideas of the bijective proof of the hook-length formula for ordinary standard tableaux by Novelli, Pak and Stoyanovskii. In their proof Novelli, Pak and Stoyanovskii define a bijection between arbitrary fillings of the Ferrers diagram with the integers $1,2,...,n$ and pairs of standard tableaux and hook tabloids. In our shifted version of their algorithm the map from the set of arbitrary fillings of the shifted Ferrers diagram onto the set of shifted standard tableaux is analog to the construction of Novelli, Pak and Stoyanovskii, however, unlike to their algorithm, we are forced to use the 'rowwise' total order of the cells in the shifted Ferrers diagram rather than the 'columnwise' total order as the underlying order in the algorithm. Unfortunately the construction of the shifted hook tabloid is more complicated in the shifted case. As a side-result we obtain a simple random algorithm for generating shifted standard tableaux of a given shape, which produces every such tableau equally likely.


title: Additivity properties of topological diagonalizations

abstract: We answer a question of Just, Miller, Scheepers and Szeptycki whether certain diagonalization properties for sequences of open covers are provably closed under taking finite or countable unions. This is a very concise paper. For a self-contained, complete, and extended treatment of the topic see math.GN/0604451


title: A symmetry theorem on a modified jeu de taquin

abstract: For their bijective proof of the hook-length formula for the number of standard tableaux of a fixed shape Novelli, Pak and Stoyanovskii define a modified jeu de taquin which transforms an arbitrary filling of the Ferrers diagram with $1,2,...,n$ (tabloid) into a standard tableau. Their definition relies on a total order of the cells in the Ferrers diagram induced by a special standard tableau, however, this definition also makes sense for the total order induced by any other standard tableau. Given two standard tableaux $P,Q$ of the same shape we show that the number of tabloids which result in $P$ if we perform modified jeu de taquin with respect to the total order induced by $Q$ is equal to the number of tabloids which result in $Q$ if we perform modified jeu de taquin with respect to $P$. This symmetry theorem extends to skew shapes and shifted skew shapes.


title: Characterizing automorphism groups of ordered abelian groups

abstract: We characterize the groups isomorphic to full automorphism groups of ordered abelian groups. The result will follow from classical theorems on ordered groups adding an argument from proofs used to realize rings as endomorphism rings of abelian groups.


title: Van der Waerden spaces and Hindman spaces are not the same

abstract: A Hausdorff topological space X is van der Waerden if for every sequence (x_n)_n in X there is a converging subsequence (x_n)_{n in A} where subset A of omega contains arithmetic progressions of all finite lengths. A Hausdorff topological space X is Hindman if for every sequence (x_n)_n in X there is an IP-converging subsequence (x_n)_{n in FS(B)} for some infinite subset B of omega. We show that the continuum hypothesis implies the existence of a van der Waerden space which is not Hindman.


title: Reformulating the Map Color Theorem

abstract: This paper discusses reformulations of the problem of coloring plane maps with four colors. The context is the edge-coloring with three colors of cubic graphs such that three distinct colors occur at each vertex. We include discussion of the Eliahou-Kryuchkov conjecture, the Penrose formula, the vector cross product formulation and the reformulations in terms of formations and factorizations due to G. Spencer-Brown. The latter includes a proof of the Spencer-Brown parity lemma and discussion of the parity-pass algorithm.


title: A note on Fourier-Mukai transform

abstract: In this note, we consider the problem on the preservation of stability under the Fourier-Mukai transforms. We first show that the Fourier-Mukai transform on an abelian surface or a K3 surface does not always preserve the stability, even for a $\mu$-stable vector bundle. We next provide some positive results on this problem. Finally we discuss the birational map of moduli spaces on an abelian surface.


title: Statistically self-similar fractal sets

abstract: In the present paper we define statistically self-similar sets, and, using a modification of method described K.J.Falconer find a Hausdorff dimension of a statistically self-similar set.


title: Critical points of functions, sl_2 representations, and Fuchsian differential equations with only univalued solutions

abstract: Let a second order Fuchsian differential equation with only univalued solutions have finite singular points at z_1, ..., z_n with exponents (a_1,b_1), ..., (a_n,b_n). Let the exponents at infinity be (A,B). Then for fixed generic z_1,...,z_n, the number of such Fuchsian equations is equal to the multiplicity of the irreducible sl_2 representation of dimension |A-B| in the tensor product of irreducible sl_2 representations of dimensions |a_1-b_1|, >..., |a_n-b_n|. To show this we count the number of critical points of a suitable function which plays the crucial role in constructions of the hypergeometric solutions of the sl_2 KZ equation and of the Bethe vectors in the sl_2 Gaudin model. As a byproduct of this study we conclude that the Bethe vectors form a basis in the space of states for the sl_2 inhomogeneous Gaudin model.


title: Geometry on the Quantum Heisenberg Manifold

abstract: For the quantum Heisenberg manifolds, using the action of Heisenberg group we construct a family of spectral triples. It is shown that associated Kasparov module is same for all these spectral triples. Then we show that element is nontrivial by explicitly computing the pairing with a unitary. Space of forms as introduced by Connes are also computed. We characterize connections that are torsionless or unitary in the sense of Frohlich et.al. Then it is shown that a torsionless unitary connection cannot exist. For some unitary connections we compute Ricci curvature and scalar curvature. This produces examples of non-commutative manifolds with nonvanishing scalar curvature.


title: Contact Structures on elliptic 3-manifolds

abstract: We show that an oriented elliptic 3-manifold admits a universally tight positive contact structure iff the corresponding group of deck transformations on $S^3$ preserves a standard contact structure pointwise. We also relate univerally tight contact structures on 3-manifolds covered by $S^3$ to the exceptional isomorphism $SO(4)=(SU(2)\times SU(2))/{\pm 1}$. The main tool used is equivariant framings of 3-manifolds.


title: Brownian Bridge Asymptotics for the Subcritical Bernoulli Bond Percolation

abstract: For the d-dimensional model of a subcritical bond percolation (p<p_c) and a point \vec{a} in Z^d, we prove that a cluster conditioned on connecting points (0,...,0) and n\vec{a} if scaled by 1/(n|vec{a}|) along \vec{a} and by 1/sqrt{n} in the orthogonal direction converges asymptotically to Time x (d-1)-dimensional Brownian Bridge.


title: The Banach space S is complementably minimal and subsequentially prime

abstract: We first include a result of the second author showing that the Banach space S is complementably minimal. We then show that every block sequence of the unit vector basis of S has a subsequence which spans a space isomorphic to its square. By the Pe{\l}czy\'nski decomposition method it follows that every basic sequence in S which spans a space complemented in S has a subsequence which spans a space isomorphic to S (i.e. S is a subsequentially prime space).


title: A property of strictly singular 1-1 operators

abstract: We prove that if T is a strictly singular 1-1 operator defined on an infinite dimensional Banach space X, then for every infinite dimensional subspace Y of X there exists an infinite dimensional subspace Z of Y such that Z contains orbits of T of every finite length and the restriction of T on Z is a compact operator.


title: Motivic E_{infinity} algebras and the motivic dga

abstract: In this paper we define an explicit E_{infinity}-structure, i.e. a coherently homotopy associative and commutative product on chain complexes defining (integral and mod-l) motivic cohomology as well as mod -l \'etale cohomology. We also discuss several applications. In addition, our constructions show that the source of the E_{\infinity}-structure on the motivic complexes provided with the pairing defined by Suslin and Voevodsky is not chain-theoretic as is the case for the singular co-chain complexes for topological spaces.


title: Commuting families in skew fields and quantization of Beauville's fibration

abstract: We construct commuting families in fraction fields of symmetric powers of algebras. The classical limit of this construction gives Poisson commuting families associated with linear systems. In the case of a K3 surface S, they correspond to lagrangian fibrations introduced by Beauville. When S is the canonical cone of an algebraic curve C, we construct commuting families of differential operators on symmetric powers of C, quantizing the Beauville systems.


title: Quasipositive Annuli (Constructions of Quasipositive Knots and Links, IV)

abstract: [Original abstract (1992):] The modulus of quasipositivity q(K) of a knot K was introduced as a tool in the knot theory of complex plane curves, and can be applied to Legendrian knot theory in symplectic topology. It has also, however, a straightforward characterization in ordinary knot theory: q(K) is the supremum of the integers f such that the framed knot (K;f) embeds non-trivially on a fiber surface of a positive torus link. Geometric constructions show that -\infty < q(K), calculations with link polynomials that q(K) < \infty. The present paper aims to provide sharper lower bounds (by optimizing the geometry with positive plats) and more readily calculated upper bounds (by modifying known link polynomials), and so to compute q(K) for various classes of knots, such as positive closed braids (for which q(K) = \mu(K)-1) and most positive pretzels. As an aside, it is noted that a recent result of Kronheimer & Mrowka implies that q(K) < 0 if K is slice. [Additional abstract (December 2001):] A 1995 paper gives a proof that q(K) equals TB(K), the maximal Thurston-Bennequin invariant of K. Thus the bounds for, and calculations of q(K) derived in this paper are equally bounds for, or calculations of, TB(K). Similar (sometimes sharper) results for TB(K) have been derived more recently by a number of researchers, using a variety of different methods.


title: Geometric crystals and set-theoretical solutions to the quantum Yang-Baxter equation

abstract: The notion of a geometric crystal was introduced by A.Berenstein and D.Kazhdan, motivated by the needs of representation theory of p-adic groups. It was shown by A.Braverman, A.Berenstein, and D.Kazhdan that some particular geometric crystals give rise to an interesting birational automorphism R of the Cartesian square of an n-dimensional torus, which satisfies the quantum Yang-Baxter equation and the unitarity condition. On the other hand, unitary set-theoretical solutions of the quantum Yang-Baxter equation were studied by Schedler, Soloviev, and the author. It was shown that the theory is especially nice if the solution satisfies an additional nondegeneracy condition. In particular, in this situation one can define the so called reduced structure group, whose complexity characterizes the complexity of the solution. In this note we show that the map R is nondegenerate, and give a new proof that it satisfies the quantum Yang-Baxter equation and the unitarity condition. Then we calculate the reduced structure group of R, and show that it is a subgroup of the "loop group" PGL(n,C(t))$. We also give a new, direct proof of a Theorem of Braverman and Kazhdan on the commutativity of two symmetric group actions on the space of matrices.


title: Concavity of Eigenvalue Sums and the Spectral Shift Function

abstract: It is well known that the sum of negative (positive) eigenvalues of some finite Hermitian matrix $V$ is concave (convex) with respect to $V$. Using the theory of the spectral shift function we generalize this property to self-adjoint operators on a separable Hilbert space with an arbitrary spectrum. More precisely, we prove that the spectral shift function integrated with respect to the spectral parameter from $-\infty$ to $\lambda$ (from $\lambda$ to $+\infty$) is concave (convex) with respect to trace class perturbations. The case of relative trace class perturbations is also considered.


title: Bi-oriented Quantum Algebras, and a Generalized Alexander Polynomial for Virtual Links

abstract: This paper discusses the construction of a generalized Alexander polynomial for virtual knots and links, and the reformulation of this invariant as a quantum link invariant. The algebraic background for the generalized Alexander module is formulated in terms of the biquandle, a generalization of the quandle of David Joyce (which, in turn, is a generalization of the fundamental group of the knot or link). We then introduce the concept of a bi-oriented quantum algebra which provides an algebraic context for the associated quantum invariant.


title: Words restricted by 3-letter generalized multipermutation patterns

abstract: We find exact formulas and/or generating functions for the number of words avoiding 3-letter generalized multipermutation patterns and find which of them are equally avoided.


title: Quasi-log varieties

abstract: We extend the Cone Theorem of the Log Minimal Model Program to log varieties with arbitrary singularities.


title: A supersingular K3 surface in characteristic 2 and the Leech lattice

abstract: We construct a K3 surface over an algebraically closed field of characteristic 2 which contains two sets of 21 disjoint smooth rational curves such that each curve from one set intersects exactly 5 curves from the other set. This configuration is isomorphic to the configuration of points and lines on the projective plane over the finite field of 4 elements. The surface admits a finite automorphism group which contains the group of automorphisms of the plane which acts on the configuration of each set of 21 smooth rational curves, and the additional element of order 2 which interchanges the two sets. The Picard lattice of the surface is a reflective sublattice of an even unimodular lattice of signatuire (1,25) and the classes of the 42 curves correspond to some Leech roots in this lattice.


title: Stability of C^*-algebra associated with the twisted CCR

abstract: The $C^*$-algebra associated with the twisted CCR constructed by W. Pusz and S.L. Woronowicz is considered. It is proved that the $C^*$-algebras corresponding to different values of parameter $0<=\mu<1$ are isomorphic. It is proved that Fock representation is faithful on both *-algebra and $C^*$-algebra levels.


title: On multiplicities of points on Schubert varieties in Graszmannians II

abstract: We prove a conjecture by Kreiman and Lakshmibai on a combinatorial description of multiplicities of points on Schubert varieties in Graszmannians in terms of certain sets of reflections in the corresponding Weyl group. The proof is accomplished by setting up a bijection between these sets of reflections and the author's previous combinatorial interpretation of these multiplicities in terms of nonintersecting lattice paths (S\'eminaire Lotharingien Combin. 45 (2001), Article B45c; see http://www.mat.univie.ac.at/~slc/wpapers/s45kratt.html or http://www.arxiv.org/abs/math.AG/0011129).


title: Forcing axiom failure for any lambda>aleph_1

abstract: David Aspero asks on the possibility of having Forcing axiom FA_{aleph_2}(K), where K is the class of forcing notions preserving stationarity of subsets of aleph_1 and of aleph_2. We answer negatively, in fact we show the negative result for any regular lambda>aleph_1 even demanding adding no new sequence of ordinals of length<lambda.


title: Specializing Aronszajn trees by countable approximations

abstract: We show that there are proper forcings based upon countable trees of creatures that specialize a given Aronszajn tree.


title: Potential isomorphism and semi-proper trees

abstract: We study a notion of potential isomorphism, where two structures are said to be potentially isomorphic if they are isomorphic in some generic extension that preserves stationary sets and does not add new sets of cardinality less than the cardinality of the models. We introduce the notions of semi-proper and weakly semi-proper trees, and note that there is a strong connection between the existence of potentially isomorphic models for a given complete theory and the existence of weakly semi-proper trees. We prove the existence of semi-proper trees under certain cardinal arithmetic assumptions. We also show the consistency of the non-existence of weakly semi-proper trees assuming the consistency of some large cardinals.


title: Inequality for Voiculescu's free entropy in terms of Brown measure

abstract: We study Voiculescu's microstate free entropy for a single non-selfadjoint random variable. The main result is that certain additional constraints on eigenvalues of microstates do not change the free entropy. Our tool is the method of random regularization of Brown measure which was studied recently by Haagerup and the author. As a simple application we present an upper bound for the free entropy of a single non--selfadjoint operator in terms of its Brown measure and the second moment. We furthermore show that this inequality becomes an equality for a class of DT-operators which was introduced recently by Dykema and Haagerup.


title: An extremum property characterizing the n-dimensional regular cross-polytope

abstract: In the spirit of the Genetics of the Regular Figures, by L. Fejes T\'oth, we prove the following theorem: If $2n$ points are selected in the $n$-dimensional Euclidean ball $B^n$ so that the smallest distance between any two of them is as large as possible, then the points are the vertices of an inscribed regular cross-polytope. This generalizes a result of R. A. Rankin for $2n$ points on the surface of the ball. We also generalize, in the same manner, a theorem of Davenport and Haj\'os on a set of $n+2$ points. As a corollary, we obtain a solution to the problem of packing $k$ unit $n$-dimensional balls $(n+2\le k\le 2n)$ into a spherical container of minimum radius.


title: Moduli space of symmetric connections

abstract: The action of origin-preserving diffeomorphisms on a space of jets of symmetric connections is considered. Dimensions of moduli spaces of generic connections are calculated. Poincar\'e series of the geometric structure of symmetric connection is constructed, and shown to be a rational function.


title: On $C^*$-algebras Associated to Certain Endomorphisms of Discrete Groups

abstract: Let \alpha:G --> G be an endomorphism of a discrete amenable group such that [G:\alpha(G)]<infinity. We study the structure of the C^* algebra generated by the left convolution operators acting on the left regular representation space, along with the isometry of the space induced by the endomorphism.


title: Endomorphisms of Stable Continuous-Trace C^*-algebras

abstract: We classify spectrum-preserving endomorphisms of stable continuous-trace C^*-algebras up to inner automorphism by a surjective multiplicative invariant taking values in finite dimensional vector bundles over the spectrum. Specializing to automorphisms, this gives a different approach to results of Phillips and Raeburn.


title: Nonsurjective nearisometries of Banach spaces

abstract: We obtain sharp approximation results for into nearisometries between Lp spaces and nearisometries into a Hilbert space. Our main theorem is the optimal approximation result for nearsurjective nearisometries between general Banach spaces.


title: Complex structures on the Iwasawa manifold

abstract: We identify the space of left-invariant oriented complex structures on the complex Heisenberg group, and prove that it has the homotopy type of the disjoint union of a point and a 2-sphere.


title: Separations inside a cube

abstract: Two points are randomly selected inside a three-dimensional euclidian cube. The value l of their separation lies somewhere between zero and the length of a diagonal of the cube. The probability density P(l) of the separation is obtained analytically. Also a Monte Carlo computer simulation is performed, showing good agreement with the formulas obtained.


title: Long-time Existence and Convergence of Graphic Mean Curvature Flow in Arbitrary Codimension

abstract: Let f:\Sigma_1 --> \Sigma_2 be a map between compact Riemannian manifolds of constant curvature. This article considers the evolution of the graph of f in the product of \Sigma_1 and \Sigma_2 by the mean curvature flow. Under suitable conditions on the curvature of \Sigma_1 and \Sigma_2 and the differential of the initial map, we show that the flow exists smoothly for all time. At each instant t, the flow remains the graph of a map f_t and f_t converges to a constant map as t approaches infinity. This also provides a regularity estimate for Lipschtz initial data.


title: Annuities under random rates of interest - revisited

abstract: In the article we consider accumulated values of annuities-certain with yearly payments with independent random interest rates. We focus on annuities with payments varying in arithmetic and geometric progression which are important basic varying annuities (see Kellison, 1991). They appear to be a generalization of the types studied recently by Zaks (2001). We derive, via recursive relationships, mean and variance formulae of the final values of the annuities. As a consequence, we obtain moments related to the already discussed cases, which leads to a correction of main results from Zaks (2001).


title: Braided Lie algebras and bicovariant differential calculi over coquasitriangular Hopf algebras

abstract: We show that if $g_\Gamma$ is the quantum tangent space (or quantum Lie algebra in the sense of Woronowicz) of a bicovariant first order differential calculus over a coquasitriangular Hopf algebra $(A,r)$, then a certain extension of it is a braided Lie algebra in the category of $A$-comodules. This is used to show that the Woronowicz quantum universal enveloping algebra $U(g_\Gamma)$ is a bialgebra in the braided category of $A$-comodules. We show that this algebra is quadratic when the calculus is inner. Examples with this unexpected property include finite groups and quantum groups with their standard differential calculi. We also find a quantum Lie functor for coquasitriangular Hopf algebras, which has properties analogous to the classical one. This functor gives trivial results on standard quantum groups $O_q(G)$, but reasonable ones on examples closer to the classical case, such as the cotriangular Jordanian deformations. In addition, we show that split braided Lie algebras define `generalised-Lie algebras' in a different sense of deforming the adjoint representation. We construct these and their enveloping algebras for $O_q(SL_n)$, recovering the Witten algebra for $n=2$.


title: Hopf-type Cyclic Cohomology via Karoubi Operator

abstract: In this paper we propose still another approach to the Hopf-type cyclic homology of Hopf algebras, introduced by A. Connes and H. Moscovici. Our construction is based on the notion of "universal differential calculus" on an algebra. Few remarks, concerning the possible generalizations and applications of this approach are made. (This is only a preliminary version of the paper. Only outlines of some ideas are given.)


title: On the geometry of the characteristic class of a star product on a symplectic manifold

abstract: The characteristic class of a star product on a symplectic manifold appears as the class of a deformation of a given symplectic connection, as described by Fedosov. In contrast, one usually thinks of the characteristic class of a star product as the class of a deformation of the Poisson structure (as in Kontsevich's work). In this paper, we present, in the symplectic framework, a natural procedure for constructing a star product by directly quantizing a deformation of the symplectic structure. Basically, in Fedosov's recursive formula for the star product with zero characteristic class, we replace the symplectic structure by one of its formal deformations in the parameter $\hbar$. We then show that every equivalence class of star products contains such an element. Moreover, within a given class, equivalences between such star products are realized by formal one-parameter families of diffeomorphisms, as produced by Moser's argument.


title: Reinhardt domains with a cusp at the origin

abstract: Let V be a bounded pseudoconvex Reinhardt domain in C^2 with many strictly pseudoconvex points and logarithmic image W. It was known that the maximal ideal in $H^{\infty}(V)$ consisting of all functions vanishing at (p,q) in V is generated by the coordinate functions z-p, w-q (meaning that one can solve the Gleason problem for $H^{\infty}(V)$) if W is bounded. We show that one can solve Gleason's problem for $H^{\infty}(V)$ as well if there are positive numbers $a$, $b$ and a positive rational number k/l such that V looks like {(z,w) in C^2 : a |w|^l <= |z|^k = b |w|^l} for small (z,w).


title: Cohomology rings of symplectic quotients by circle actions

abstract: In this article we are concerned with how to compute the cohomology ring of a symplectic quotient by a circle action using the information we have about the cohomology of the original manifold and some data at the fixed point set of the action. Our method is based on the Tolman-Weitsman theorem which gives a characterization of the kernel of the Kirwan map. First we compute a generating set for the kernel of the Kirwan map for the case of product of compact connected manifolds such that the cohomology ring of each of them is generated by a degree two class. We assume the fixed point set is isolated; however the circle action only needs to be ``formally Hamiltonian''. By identifying the kernel, we obtain the cohomology ring of the symplectic quotient. Next we apply this result to some special cases and in particular to the case of products of two dimensional spheres. We show that the results of Kalkman and Hausmann-Knutson are special cases of our result.


title: Extension of CR-functions on wedges

abstract: Given a wedge V with generic edge in a submanifold M of $C^N$, in general, CR-functions on V do not extend to a wedge in $C^N$ in the direction of each nontrivial value of the Levi form of M as was recently observed by Eastwood and Graham. In this paper we propose an invariant geometric way of selecting those Levi form directions that are responsible for the extension. These are the Levi form directions of the complex tangent vectors, whose complex planes intersect the tangent cone to the wedge in angles larger than $\pi/2$. We show by several examples the optimality of this criterion. Applications to regularity of CR-functions are also given generalizing the edge-of-the-wedge theorem of Ajrapetyan-Henkin.


title: Conductors and the moduli of residual perfection

abstract: Let A be a complete discrete valuation ring with possibly imperfect residue field. The purpose of this paper is to give a notion of conductor for Galois representations over A that generalizes the classical Artin conductor. The definition rests on two general results: there is a moduli space that parametrizes the ways of modifying A so that its residue field is perfect, and any information about a Galois-theoretic object over A can be recovered from its pullback to the (residually perfect) discrete valuation ring corresponding to the generic point of this moduli space.


title: Kato's conductor and generic residual perfection

abstract: Let A be a complete discrete valuation ring with possibly imperfect residue field, and let $\chi$ be a one-dimensional Galois representation over A. I show that the non-logarithmic variant of Kato's Swan conductor is the same for $\chi$ and the pullback of $\chi$ to the generic residual perfection of A. This implies the conductor from "Conductors and the moduli of residual perfection" (math.NT/0112305) extends the non-logarithmic variant of Kato's.


title: Abelian Categories of Modules over a (Lax) Monoidal Functor

abstract: The analogy between Yetter's deformation theory form (lax) monoidal functors and Gerstenahaber's deformation theory for associative algebras is solidified by shown that under reasonable conditions the category of functors with an action of a lax monoidal functor is abelian, that an analogue of the Hochschild cohomology of an algebra with coefficients in a bimodule exists for monoidal functors, and is given by right derived functors. The deformation cohmology of a monoidal natural transformation is shown to be a special case.


title: Homological properties of graph manifolds

abstract: We consider the following properties of compact oriented irreducible graph-manifolds: to contain a $\pi_1$-injective surface (immersed, virtually embedded or embedded), be (virtually) fibered over $S^1$, and to carry a metric of nonpositive sectional curvature. It turns out that all these properties can be described from a unified point of view.


title: Metrics On The Quantum Heisenberg Manifold

abstract: Compact quantum metric spaces are order unit spaces along with a Lip norm. On the order unit space of the selfadjoint elements of the dense subalgebra of smooth elements in the quantum Heisenberg manifold we construct Lip norms.


title: Conjugacy problem for braid groups and Garside groups

abstract: We present a new algorithm to solve the conjugacy problem in Artin braid groups, which is faster than the one presented by Birman, Ko and Lee. This algorithm can be applied not only to braid groups, but to all Garside groups (which include finite type Artin groups and torus knot groups among others).


title: On the rank of a binary form

abstract: We describe in the space of binary forms of degree d the strata of forms having constant rank. We also give a simple algorithm to determine the rank of a given form.


title: An extension theorem in symplectic geometry

abstract: We extend the ``Extension after Restriction Principle'' for symplectic embeddings of bounded starlike domains to a large class of symplectic embeddings of unbounded starlike domains.


title: Presentations for the monoids of singular braids on closed surfaces

abstract: We give presentations, in terms of generators and relations, for the monoids of singular braids on closed surfaces. The proof of the validity of these presentations can also be applied to verify, in a new way, the presentations given by Birman for the monoids of Singular Artin braids.


title: Weight multiplicity free representations, $\frak g$-endomorphism algebras, and Dynkin polynomials

abstract: $\frak g$-endomorphism algebras form an interesting class of associative algebras related to the adjoint representation of a semisimple Lie algebra $\frak g$. These algebras were recently introduced by A.Kirillov, who used the term `family algebras'. Let $C_\lambda$ denote the $\frak g$-endomorphism algebra associated with a simple $\frak g$-module $V_\lambda$. Most of our results concern the case in which $C_\lambda$ is commutative, i.e., $V_\lambda$ is a weight multiplicity free $\frak g$-module. It is proved that $C_\lambda$ is a polynomial algebra if and only if $\lambda$ is minuscule. We also characterise in general the number of the irreducible components of the corresponding affine variety. The main result is that the commutative $\frak g$-endomorphism algebra is always Gorenstein. We explicitly compute the Poincare series of $C_\lambda$ for any $\lambda$, and show that in the commutative case the numerator coincides with the polynomial that was introduced by E.B.Dynkin in 1950. We also discuss a connection between commutative $\frak g$-endomorphism algebras and equivariant cohomology.


title: Hitting properties of a random string

abstract: We consider Funaki's model of a random string taking values in R^d. It is specified by the following stochastic PDE, du = u_{xx} + W, where W=W(x,t) is two-parameter white noise, also taking values in R^d. We study hitting properties, double points, and recurrence. The main difficulty is that the process has the Markov property in time, but not in space. We find: (1) The string hits points if d<6. (2) For fixed t, there are points x,y such that u(t,x)=u(t,y) iff d < 4. (3) There exist points t,x,y such that u(t,x)=u(t,y) iff d < 8. (4) There exist points s,t,x,y such that u(t,x)=u(s,y) iff d < 12. (5) The string is recurrent iff d < 7.


title: Nonzero degree tangential maps between dual symmetric spaces

abstract: We construct a tangential map from a locally symmetric space of noncompact type to its dual compact type twin. By comparing the induced map in cohomology to a map defined by Matsushima, we conclude that in the equal rank case the map has a nonzero degree.


title: A Locally Trivial Quantum Hopf Fibration

abstract: The irreducible *-representations of the polynomial algebra O(S^3_{pq}) of the quantum 3-sphere introduced by Calow and Matthes are classified. The K-groups of its universal C*-algebra are shown to coincide with their classical counterparts. The U(1)-action on O(S^3_{pq}) corresponding for p=1=q to the classical Hopf fibration is proven to be Galois (free). The thus obtained locally trivial Hopf-Galois extension is shown to be relatively projective (admitting a strong connection) and non-cleft. The latter is proven by determining an appropriate Chern-Connes pairing.


title: Counting nilpotent Galois extensions

abstract: We obtain strong information on the asymptotic behaviour of the counting function for nilpotent Galois extensions with bounded discriminant of arbitrary number fields. This extends previous investigations for the case of abelian groups. In particular, the result confirms a conjecture by the second author on this function for arbitrary groups in the nilpotent case. We further prove compatibility of the conjecture with taking wreath products with the cyclic group of order 2 and give examples in degree up to 8.


title: Extensions of number fields with wild ramification of bounded depth

abstract: We consider p-extensions of number fields such that the filtration of the Galois group by higher ramification groups is of prescribed finite length. We extend well-known properties of tame extensions to this more general setting; for instance, we show that these towers, when infinite, are ``asymptotically good'' (an explicit bound for the root discriminant is given). We study the difficult problem of bounding the relation-rank of the Galois groups in question. Results of Gordeev and Wingberg imply that the relation-rank can tend to infinity when the set of ramified primes is fixed but the length of the ramification filtration becomes large. We show that all p-adic representations of these Galois groups are potentially semistable; thus, a conjecture of Fontaine and Mazur on the structure of tamely ramified Galois p-extensions extends to our case. Further evidence in support of this conjecture is presented.


title: Periodicity properties of coefficients of half integral weight modular forms

abstract: In this paper we prove a theorem about the coefficients in a block of a half integral weight modular form. We show that the result of Serre and Stark for weight 1/2 forms does not generalize to higher higher weights. Let f be a half integral weight cusp form of weight at leat 3/2. We consider blocks of coefficients of f and prove that, under some weak assumptions on f, if such a coefficient block is periodic when considered as a function of in the square root of its index, then it must vanish completely. The proof is analytic in nature and uses Shimura's lifting theorem together with estimates on the order of growth of Fourier coefficients of modular forms.


title: Abeliants and their application to an elementary construction of Jacobians

abstract: The {\em abeliant} is a polynomial rule for producing an $n$ by $n$ matrix with entries in a given ring from an $n$ by $n$ by $n+2$ array of elements of that ring. The theory of abeliants, first introduced in an earlier paper of the author, is redeveloped here in a simpler way. Then this theory is exploited to give an explicit elementary construction of the Jacobian of a nonsingular projective algebraic curve defined over an algebraically closed field. The standard of usefulness and aptness we strive toward is that set by Mumford's elementary construction of the Jacobian of a hyperelliptic curve. This paper has appeared as Advances in Math 172 (2002) 169-205.


title: Operator-valued distributions: I. Characterizations of freeness

abstract: Let $M$ be a $B$-probability space. Assume that $B$ itself is a $D$-probability space; then $M$ can be viewed as $D$-probability space as well. Let $X$ be in $M$. We look at the question of relating the properties of $X$ as $B$-valued random variable to its properties as $D$-valued random variable. We characterize freeness of $X$ from $B$ with amalgamation over $D$: (a) in terms of a certain factorization condition linking the $B$-valued and $D$-valued cumulants of $X$, and (b) for $D$ finite-dimensional, in terms of linking the $B$-valued and the $D$-valued Fisher information of $X$. We give an application to random matrices. For the second characterization we derive a new operator-valued description of the conjugate variable and introduce an operator-valued version of the liberation gradient.


title: The Frattini subgroup for subgroups of hyperbolic groups

abstract: We prove that for a finitely generated subgroup $H$ of a word-hyperbolic group $G$ the Frattini subgroup $F(H)$ of $H$ is finite.


title: Rim Hook Tableaux and Kostant's $\eta$-Function Coefficients

abstract: Using a 0/1 encoding of Young diagrams and its consequences for rim hook tableaux, we prove a reduction formula of Littlewood for arbitrary characters of the symmetric group, evaluated at elements with all cycle lengths divisible by a given integer. As an application, we find explicitly the coefficients in a formula of Kostant for certain powers of the Dedekind $\eta$-function, avoiding most of the original machinery.


title: Equivariant spectral triples on the quantum SU(2) group

abstract: We characterize all equivariant odd spectral triples for the quantum SU(2) group acting on its L_2-space and having a nontrivial Chern character. It is shown that the dimension of an equivariant spectral triple is at least three, and given any element of the K-homology group of SU_q(2), there is an equivariant odd spectral triple of dimension 3 inducing that element. The method employed to get equivariant spectral triples in the quantum case is then used for classical SU(2), and we prove that for p<4, there does not exist any equivariant spectral triple with nontrivial K-homology class and dimension p acting on the L_2-space.


title: Von Zahlen und Figuren

abstract: Talk at the International Conference ``G\'eom\'etrie au vingti\`eme ci\`ecle: 1930--2000'', Paris, Institut Henri Poincar\'e, Sept. 2001. The title is a homage to Hans Rademacher and Otto Toeplitz whose book fascinated the author many years ago.


title: On a question of Dusa McDuff

abstract: Consider the $2n$-dimensional closed ball $B$ of radius 1 in the $2n$-dimensional symplectic cylinder $Z = D \times R^{2n-2}$ over the closed disc $D$ of radius 1. We construct for each $\epsilon >0$ a Hamiltonian deformation $\phi$ of $B$ in $Z$ of energy less than $\epsilon$ such that the area of each intersection of $\phi (B)$ with the disc $D \times \{x\}$, $x \in R^{2n-2}$, is less than $\epsilon$.


title: On the Classification of Full Factors of Type III

abstract: We introduce a new invariant \mathcal{S}(M) for type III factors M with no almost-periodic weights. We compute this invariant for certain free Araki-Woods factors. We show that Connes' invariant \tau cannot distinguish all isomorphism classes of free Araki-Woods factors. We show that there exists a continuum of mutually non-isomorphic free Araki-Woods factors, each without almost-periodic weights.


title: Genus 2 curves with (3,3)-split Jacobian and large automorphism group

abstract: Let $\C$ be a genus 2 curve defined over $k$, $char (k) =0$. If $\C$ has a $(3,3)$-split Jacobian then we show that the automorphism group $Aut(\C)$ is isomorphic to one of the following: $\bZ_2, V_4, D_8$, or $D_{12}$. There are exactly six $\bC$-isomorphism classes of genus two curves $\C$ with $Aut(\C)$ isomorphic to $D_8$ (resp., $D_{12}$). %We compute their absolute invariants $i_1, i_2, i_3$. We show that exactly four (resp., three) of these classes with group $D_8$ (resp., $D_{12}$) have representatives defined over $\bQ$. We discuss some of these curves in detail and find their rational points.


title: Intentionally and Unintentionally. On Both, A and Non-A, in Neutrosophy

abstract: The paper presents a fresh new start on the neutrality of neutrosophy in that "both A and Non-A" as an alternative to describe Neuter-A in that we conceptualize things in both intentional and unintentional background. This unity of opposites constitutes both objective world and subjective world. The whole induction of such argument is based on the intensive study on Buddhism and Daoism including I-ching. In addition, a framework of contradiction oriented learning philosophy inspired from the Later Trigrams of King Wen in I-ching is meanwhile presented. It is shown that although A and Non-A are logically inconsistent, but they are philosophically consistent in the sense that Non-A can be the unintentionally instead of negation that leads to confusion. It is also shown that Buddhism and Daoism play an important role in neutrosophy, and should be extended in the way of neutrosophy to all sciences according to the original intention of neutrosophy.


title: Class VII surfaces with $b_2$ curves

abstract: We give an affirmative answer to a conjecture of Ma. Kato, namely that every compact complex surface $S$ in Kodaira's class $VII_0$ with $b_2(S) > 0$ and $b_2(S)$ rational curves, admits a global spherical shell.


title: Data mining for cones of metrics, quasi-metrics, hemi-metrics and super-metrics

abstract: Using some adaptations of the adjacency decomposition method \cite{CR} and the program {\it cdd} (~\cite{Fu}), we compute the first computationally difficult cases of convex cones of $m$-ary and oriented analogs of semi-metrics and cut semi-metrics, which were introduced in \cite{DR2} and \cite{DP}. We considered also more general notion of $(m,s)$-super-metric and corresponding cones. The data on related cones - the number of facets, of extreme rays, of their orbits and diameters - are collected in Table \ref{tab:MainLovelyTable}. We study also criterion of adjacency for skeletons of those cones and their duals. Some families of extreme rays and operations on them are also given.


title: Tokens: An Algebraic Construction Common in Combinatorics, Analysis, and Physics

abstract: We give a brief account of a construction called tokens here, which is significant in algebra, analysis, combinatorics, and physics. Tokens allow to express a semigroup on one set via a semigroup convolution on another set. Therefore tokens are similar to intertwining operators but are more flexible. Keywords: semigroups, hypergroups, tokens, poset, multiplicative functions, polynomial sequence of binomial type, integral kernel, wavelets, refinement equation, special functions, quantum propagator, path integral, quantum computing.


title: The number of "magic" squares and hypercubes

abstract: We define a magic square to be a square matrix whose entries are nonnegative integers and whose rows, columns, and main diagonals sum up to the same number. We prove structural results for the number of such squares as a function of the size of the matrix and the line sum. We give examples for small sizes and show similar results for symmetric, pandiagonal magic squares, and magic hypercubes.


title: Towers of corings

abstract: The notion of a Frobenius coring is introduced, and it is shown that any such coring produces a tower of Frobenius corings and Frobenius extensions. This establishes a one-to-one correspondence between Frobenius corings and extensions.


title: On the eigenvalue estimates for the weighted Laplacian on metric graphs

abstract: Eigenvalue behavior for the equation -\lambda y"=Vu on the edges of a graph G of final total length, with a non-negative weight function V and under the Kirchhoff matching conditions at the vertices and zero boundary condition at at least one point of G, is studied. It is shown that the eigenvalues satisfy an inequality which involves the length |G| and the total mass corresponding to V but otherwise does not depend on the graph. Applications and generalizations of this result are also discussed.


title: Between equilibrium fluctuations and Eulerian scaling: Perturbation of equilibrium for a class of deposition models

abstract: We investigate propagation of perturbations of equilibrium states for a wide class of 1D interacting particle systems. The class of systems considered incorporates zero range, $K$-exclusion, mysanthropic, `bricklayers' models, and much more. We do not assume attractivity of the interactions. We apply Yau's relative entropy method rather than coupling arguments. The result is \emph{partial extension} of T. Sepp\"al\"ainen's recent paper. For $0<\beta<1/5$ fixed, we prove that, rescaling microscopic space and time by $N$, respectively $N^{1+\beta}$, the macroscopic evolution of perturbations of microscopic order $N^{-\beta}$ of the equilibrium states is governed by Burgers' equation. The same statement should hold for $0<\beta<1/2$ as in Sepp\"al\"ainen's cited paper, but our method does not seem to work for $\beta\ge1/5$.


title: On the Structure of Modular Categories

abstract: For a braided tensor category C and a subcategory K there is a notion of centralizer C_C(K), which is a full tensor subcategory of C. A pre-modular tensor category is known to be modular in the sense of Turaev iff the center Z_2(C):=C_C(C) (not to be confused with the center Z_1 of a tensor category, related to the quantum double) is trivial, i.e. equivalent to Vect, and dim(C)<>0. Here dim(C)=sum_i d(X_i)^2, the X_i being the simple objects. We prove the following double centralizer theorem: Let C be a modular category and K a full tensor subcategory closed w.r.t. direct sums, subobjects and duals. Then C_C(C_C(K))=K and dim(K)dim(C_C(K))=dim(C). We give several applications, the most important being the following. If C is modular and K is a full modular subcategory, then also L=C_C(K) is modular and C is equivalent as a ribbon category to the direct product of K and L. Thus every modular category factorizes (non-uniquely, in general) into prime ones. We study the prime factorizations of the categories D(G)-Mod, where G is a finite abelian group.


title: Z$_3$-graded differential geometry of quantum plane

abstract: In this work, the Z$_3$-graded differential geometry of the quantum plane is constructed. The corresponding quantum Lie algebra and its Hopf algebra structure are obtained. The dual algebra, i.e. universal enveloping algebra of the quantum plane is explicitly constructed and an isomorphism between the quantum Lie algebra and the dual algebra is given.


title: Matrix-Valued Generalizations of the Theorems of Borg and Hochstadt

abstract: We prove a generalization of the well-known theorems by Borg and Hochstadt for periodic self-adjoint Schr\"odinger operators without a spectral gap, respectively, one gap in their spectrum, in the matrix-valued context. Our extension of the theorems of Borg and Hochstadt replaces the periodicity condition of the potential by the more general property of being reflectionless (the resulting potentials then automatically turn out to be periodic and we recover Despr\'es' matrix version of Borg's result). In addition, we assume the spectra to have uniform maximum multiplicity (a condition automatically fulfilled in the scalar context considered by Borg and Hochstadt). Moreover, the connection with the stationary matrix KdV hierarchy is established. The methods employed in this paper rely on matrix-valued Herglotz functions, Weyl--Titchmarsh theory, pencils of matrices, and basic inverse spectral theory for matrix-valued Schr\"odinger operators.


title: Estimating Maximum by Moments for Functions on Orbits

abstract: Let G be a compact group acting in a real vector space V. We obtain a number of inequalities relating the L^infinity norm of a matrix element of the representation of G with its L^p norm for p<infinity. We apply our results to obtain approximation algorithms to find the maximum absolute value of a given multivariate polynomial over the unit sphere (in which case G is the orthogonal group) and for the multidimensional assignment problem, a hard problem of combinatorial optimization (in which case G is the symmetric group).


title: Fundamental Groups of Algebraic Stacks

abstract: We study fundamental groups of algebraic stacks. We show that these fundamental groups carry an additional structure coming from the inertia groups. Then use this additional structure to analyze geometric/ topological properties of stacks. We give an explicit formula for the fundamental group of the coarse moduli space. Also, we use these additional structures to give a necessary and sufficient for an algebraic stack to be uniformizable.


title: n-quasi-isotopy: III. Engel conditions

abstract: In part I it was shown that for each k>0 the generalized Sato-Levine invariant detects a gap between k-quasi-isotopy of link and peripheral structure preserving isomorphism of the finest quotient G_k of its fundamental group, `functorially' invariant under k-quasi-isotopy. Here we show that Cochran's derived invariant \beta^k, provided k>2, and a series of \bar\mu-invariants, starting with \bar\mu(111112122) for k=3, also fall in this gap. In fact, all \bar\mu-invariants where each index occurs at most k+1 times, except perhaps for one occuring k+2 times, can be extracted from G_k, and if they vanish, G_k is the same as that of the unlink. We also study the equivalence relation on links (called `fine k-quasi-isotopy') generated by ambient isotopy and the operation of interior connected sum with the second component of the (k+1)-th Milnor's link, where the complement to its first component is embedded into the link complement. We show that the finest quotient of the fundamental group, functorially invariant under fine k-quasi-isotopy is obtained from the fundamental group by forcing all meridians to be (k+2)-Engel elements. We prove that any group generated by two 3-Engel elements has lower central series of length <6.


title: Isometric approximation property of unbounded sets

abstract: Necessary and sufficient quantitative geometric conditions are given for an unbounded set A in a euclidean space R^n to have the following property with a given c > 0: For every s > 0 and for every s-nearisometry f: A -> R^n there is an isometry T: A -> R^n such that |Tx - fx| \le cs for all x in A.


title: An Ap\'ery-like difference equation for Catalan's constant

abstract: Applying Zeilberger's algorithm of creative telescoping to a family of certain very-well-poised hypergeometric series involving linear forms in Catalan's constant with rational coefficients, we obtain a second-order difference equation for these forms and their coefficients. As a consequence we obtain a new way of fast calculation of Catalan's constant as well as a new continued-fraction expansion for it. Similar arguments can be put forward to indicate a second-order difference equation and a new continued fraction for $\zeta(4)=\pi^4/90$, and we announce corresponding results at the end of this paper.


title: Classification of three-dimensional exceptional log canonical hypersurface singularities I

abstract: All varieties, extremal contractions, singularities are divided on exceptional and non-exceptional ones. Roughly speaking, there are the infinite families of non-exceptional varieties, extremal contractions or singularities and only the finite number of the types of exceptional ones. This subdivision is well demonstrated by the example of Du Val singularities. There are two infinite series of non-exceptional singularities: $A_n$ and $D_n$ and only three types of exceptional ones: $E_6$, $E_7$ and $E_8$. Also the importance of exceptionality phenomenon follows from the next observation: A). If a variety, extremal contraction or singularity is non-exceptional then the linear system $|-nK_X|$ must have a "good" member for small $n$. For example we can take $n\in \{1,2\}$ for the two-dimensional singularities and $n\in \{1,2,3,4,6\}$ for the three-dimensional singularities. B). Exceptional ones are "bounded" and can be classified. Using the inductive method of algebraic variety classification it was obtained the description of three-dimensional exceptional hypersurface singularities in this paper.


title: Adapted algebras and standard monomials

abstract: Let G be a complex semisimple Lie group. The aim of this article is to compare two basis for G-modules, namely the standard monomial basis and the dual canonical basis. In particular, we give a sufficient condition for a standard monomial to be an element of the dual canonical basis and vice versa.


title: The Life and Works of Raoul Bott

abstract: a 10-page biography of Raoul Bott followed by a 25-page discussion of his major papers


title: Small Contractions of Symplectic 4-folds

abstract: We classify small contractions of (holomorphically) symplectic 4-folds.


title: Asymptotic densities of newforms

abstract: We define the counting function for non-analytic (Maass) newforms of Hecke congruence groups_Gamma_0(M)_. We then calculate the three main terms of this counting function and give necessary and sufficient conditions on M for this counting function to have the same shape as if it were counting eigenvalues related to a cocompact group.


title: The lowest crossing in 2D critical percolation

abstract: We study the following problem for critical site percolation on the triangular lattice. Let A and B be sites on a horizontal line e separated by distance n. Consider, in the half-plane above e, the lowest occupied crossing R from the half-line left of A to the half-line right of B. We show that the probability that R has a site at distance smaller than m from AB is of order (log (n/m))^{-1}, uniformly in 1 <= m < n/2. Much of our analysis can be carried out for other two-dimensional lattices as well.


title: On the volume of a line bundle

abstract: Using a result of Fujita on approximate Zariski decompositions and the singular version of Demailly's holomorphic Morse inequalities as obtained by Bonavero, we express the volume of a line bundle in terms of the absolutely continuous parts of all the positive curvature currents on it, with a way to pick an element among them which is most homogeneous with respect to the volume. This enables us to introduce the volume of any pseudoeffective class on a compact Kaehler manifold, and Fujita's theorem is then extended to this context.


title: Lectures on Groups of Symplectomorphisms

abstract: These notes combine material from short lecture courses given in Paris, France, in July 2001 and in Srni, the Czech Republic, in January 2003. They discuss groups of symplectomorphisms of closed symplectic manifolds (M,\om) from various points of view. Lectures 1 and 2 provide an overview of our current knowledge of their algebraic, geometric and homotopy theoretic properties. Lecture 3 sketches the arguments used by Gromov, Abreu and Abreu-McDuff to figure out the rational homotopy type of these groups in the cases M= CP^2 and M=S^2\times S^2. We outline the needed J-holomorphic curve techniques. Much of the recent progress in understanding the geometry and topology of these groups has come from studying the properties of fibrations with the manifold M as fiber and structural group equal either to the symplectic group or to its Hamiltonian subgroup Ham(M). The case when the base is S^2 has proved particularly important. Lecture 4 describes the geometry of Hamiltonian fibrations over S^2, while Lecture 5 discusses their Gromov-Witten invariants via the Seidel representation. It ends by sketching Entov's explanation of the ABW inequalities for eigenvalues of products of special unitary matrices. Finally in Lecture 6 we apply the ideas developed in the previous two lectures to demonstrate the existence of (short) paths in Ham(M,\om) that minimize the Hofer norm over all paths with the given endpoints.


title: Coverings of Directed Graphs and Crossed Products of C*-algebras by Coactions of Homogeneous Spaces

abstract: The graph C*-algebra of a directed graph E is the universal C*-algebra generated by a family of partial isometries satisfying relations which reflect the path structure of E. In the first part of this paper we consider coverings of directed graphs: morphisms p:F->E which are local isomorphisms. We show that the graph algebra C*(F) can be recovered from C*(E) as a crossed product by a coaction of a homogeneous space associated to the fundamental group \pi_1 (E). These crossed products provide a good model for a general theory of crossed products by homogeneous spaces. The second part of the paper is devoted to building a framework for studying crossed products by homogeneous spaces using Rieffel's theory of proper actions.


title: Seiberg-Witten vanishing theorem for $S^1$-manifolds with fixed points

abstract: In this paper we show that the Seiberg--Witten invariant is zero for all smooth 4--manifolds with $b_+{>}1$ which admit circle actions that have at least one fixed point. Furthermore, we show that all symplectic 4--manifolds which admit circle actions with fixed points are rational or ruled, and thus admit a symplectic circle action.


title: Classification of sextics of torus type

abstract: The second author classified configurations of the singularities on tame sextics of torus type. In this paper, we give a complete classification of the singularities on irreducible sextics of torus type, without assuming the tameness of the sextics. We show that there exists 121 configurations and there are 5 pairs and a triple of configurations for which the corresponding moduli spaces coincide, ignoring the respective torus decomposition.


title: Dual Standard Monomial Theoretic Basis and Canonical Basis for Type A

abstract: A unipotent triangular relationship is established between the dual standard monomial theoretic basis and canonical basis for the negative part of the quantized universal enveloping algebra of type A.


title: Finiteness of conformal blocks over compact Riemann surfaces

abstract: We study conformal blocks (the space of correlation functions) over compact Riemann surfaces associated to vertex operator algebras which are the sum of highest weight modules for the underlying Virasoro algebra. Under the fairly general condition, for instance, $C_2$-finiteness, we prove that conformal blocks are of finite dimensional. This, in particular, shows the finiteness of conformal blocks for many well-known conformal field theories including WZNW model and the minimal model.


title: Chern classes of Gau{\ss}-Manin bundles of weight 1 vanish

abstract: We show that the Chern character of a variation of polarized Hodge structures of weight one with nilpotent residues at $\infty$ dies up to torsion in the Chow ring, except in codimension 0.


title: Frobenius Manifolds: Natural submanifolds and induced bi-Hamiltonian structures

abstract: Submanifolds of Frobenius manifolds are studied. In particular, so-called natural submanifolds are defined and, for semi-simple Frobenius manifolds, classified. These carry the structure of a Frobenius algebra on each tangent space, but will, in general, be curved. The induced curvature is studied, a main result being that these natural submanifolds carry a induced pencil of compatible metrics. It is then shown how one may constrain the bi-Hamiltonian hierarchies associated to a Frobenius manifold to live on these natural submanifolds whilst retaining their, now non-local, bi-Hamiltonian structure.


title: The third Cauchy-Fantappie formula of Leray

abstract: We study the third Cauchy-Fantappie formula, an integral representation formula for holomorphic functions on a domain in affine space, presented by Jean Leray in the third paper of his famous series "Probleme de Cauchy", published in 1959. We show by means of examples that this formula does not hold without some additional conditions, left unmentioned by Leray. We give sufficient conditions and a necessary condition for the formula to hold, and, in the case of a contractible domain, characterize it cohomologically.


title: Schensted-type correspondence, plactic monoid and jeu de taquin for type C

abstract: We use Kashiwara's theory of crystal bases to study the plactic monoid for type C. Then we describe the correponding sliding and bumping algorithms.


title: Poisson orders, symplectic reflection algebras and representation theory

abstract: We introduce a new class of algebras called Poisson orders. This class includes the symplectic reflection algebras of Etingof and Ginzburg, many quantum groups at roots of unity, and enveloping algebras of restricted Lie algebras in positive characteristic. Quite generally, we study this class of algebras from the point of view of Poisson geometry, exhibiting connections between their representation theory and some well-known geometric constructions. As an application, we employ our results in the study of symplectic reflection algebras, completing work of Etingof and Ginzburg on when these algebras are finite over their centres, and providing a framework for the study of their representation theory in the latter case.


title: On Khovanov's categorification of the Jones polynomial

abstract: The working mathematician fears complicated words but loves pictures and diagrams. We thus give a no-fancy-anything picture rich glimpse into Khovanov's novel construction of `the categorification of the Jones polynomial'. For the same low cost we also provide some computations, including one that shows that Khovanov's invariant is strictly stronger than the Jones polynomial and including a table of the values of Khovanov's invariant for all prime knots with up to 11 crossings.


title: On the index of Farey sequences

abstract: We prove some asymptotic formulae concerning the distribution of the index of Farey fractions of order Q as $Q\to \infty$.


title: The geometry of relative Cayley graphs for subgroups of hyperbolic groups

abstract: We show that if H is a quasiconvex subgroup of a hyperbolic group G then the relative Cayley graph Y (also known as the Schreier coset graph) for G/H is Gromov-hyperbolic. We also observe that in this situation if G is torsion-free and non-elementary and H has infinite index in G then the simple random walk on Y is transient.


title: On the distribution of the Farey sequence with odd denominators

abstract: We prove some asymptotic results on the distribution of h-tuples of consecutive Farey fractions of order Q with odd denominators as $Q\to \infty$.


title: Autoequivalences of Derived Category of A K3 Surface and Monodromy Transformations

abstract: We consider autoequivalences of the bounded derived category of coherent sheaves on a K3 surface. We prove that the image of the autoequivalences has index at most two in the group of the Hodge isometries of the Mukai lattice. Motivated by homological mirror symmetry we also consider the mirror counterpart, i.e. symplectic version of it. In the case of $\rho(X)=1$, we find an explicit formula which reproduces the number of Fourier-Mukai (FM) partners from the monodromy problem of the mirror K3 family. We present an explicit example in which a monodromy action does not come from an autoequivalence of the mirror side.


title: Entropy, dimension and the Elton-Pajor Theorem

abstract: The Vapnik-Chervonenkis dimension of a set K in R^n is the maximal dimension of the coordinate cube of a given size, which can be found in coordinate projections of K. We show that the VC dimension of a convex body governs its entropy. This has a number of consequences, including the optimal Elton's theorem and a uniform central limit theorem in the real valued case.


title: Holomorphic triangle invariants and the topology of symplectic four-manifolds

abstract: This article analyzes the interplay between symplectic geometry in dimension four and the invariants for smooth four-manifolds constructed using holomorphic triangles introduced in math.SG/0110169. Specifically, we establish a non-vanishing result for the invariants of symplectic four-manifolds, which leads to new proofs of the indecomposability theorem for symplectic four-manifolds and the symplectic Thom conjecture. As a new application, we generalize the indecomposability theorem to splittings of four-manifolds along a certain class of three-manifolds obtained by plumbings of spheres. This leads to restrictions on the topology of Stein fillings of such three-manifolds.


title: Cohomologie equivariante des varietes de Bott-Samelson

abstract: In this text, We compute the equivariant cohomology of Bott-Samelson varieties. Thanks to this computation, we give a new demonstration for the formulas proved by Sarah Billey for the equivariant cohomology of Schubert varieties.


title: Pointwise bounded asymptotic morphisms and Thomsen's non-stable k-theory

abstract: In this paper I show that pointwise bounded asymptotic morphisms between separable metrisable locally convex *-algebras induce continuous maps between the quasi-unitary groups of the algebras, provided that the algebras support a certain amount of functional calculus. This links the asymptotic morphisms directly to Thomsen's non-stable definition of k-theory in the C* algebra case. A result on composition of asymptotic morphisms is also given.


title: Equivalences of derived categories for symmetric algebras

abstract: We give a characterization of the sets of objects of the derived category of a block of a finite group algebra (or other symmetric algebra) that occur as the set of images of simple modules under an equivalence of derived categories. We give some applications to proving that certain blocks have equivalent derived categories.


title: Vibrational control in H_infinity problems

abstract: We consider the application of the theory of vibrational control to H_infinity-problems. We study the possibility of introduction of high-frequency parametric vibrations in order to decrease the minimal attainable value of the H_infinity-norm. We prove the existence of the stabilizing solution of the Riccati equation with quickly oscillating coefficients. This solution is found using the averaging technique as a series of the small parameter.


title: Orbifold Zhu theory associated to intertwining operators

abstract: We study intertwining operators among the twisted modules for rational VOAs and show the modular invariance property of the space spanned by the trace functions concerning to some representations of rational orbifold VOAs. Our result generalizes the results obtained by Dong-Li-Mason and Miyamoto, which are basically extensions of Zhu's celebrated works.


title: Periodicity of Goussarov-Vassiliev knot invariants

abstract: The paper is a survey of known periodicity properties of finite type invariants of knots, and their applications.


title: Beads: From Lie algebras to Lie groups

abstract: The Kontsevich integral of a knot is a powerful invariant which takes values in an algebra of trivalent graphs with legs. Given a Lie algebra, the Kontsevich integral determines an invariant of knots (the so-called colored Jones function) with values in the symmetric algebra of the Lie algebra. Recently A. Kricker and the author constructed a rational form of the Kontsevich integral which takes values in an algebra of trivalent graphs with beads. After replacing beads by an exponential legs, this rational form recovers the Kontsevich integral. The goal of the paper is to explain the relation between beads and functions defined on a Lie group. As an application, we provide a rational form for the colored Jones function of a knot, conjectured by Rozansky. This is a revised version.


title: Generalised Thurston-Bennequin invariants for real algebraic surface singularities

abstract: A generalised Thurston-Bennequin invariant for a Q-singularity of a real algebraic variety is defined as a linking form on the homologies of the real link of the singularity. The main goal of this paper is to present a method to calculate the linking form in terms of the very good resolution graph of a real normal unibranch surface singularity. For such singularities, the value of the linking form is the Thurston-Bennequin number of the real link of the singularity. As a special case of unibranch surface singularities, the behaviour of the linking form is investigated on the Brieskorn double points x^m+y^n\pm z^2=0.


title: Conformal Laplacian and Conical Singularities

abstract: We study a behavior of the conformal Laplacian operator $\L_g$ on a manifold with \emph{tame conical singularities}: when each singularity is given as a cone over a product of the standard spheres. We study the spectral properties of the operator $\L_g$ on such manifolds. We describe the asymptotic of a general solution of the equation $\L_g u = Q u^{\alpha}$ with $1\leq \alpha\leq \frac{n+2}{n-2}$ near each singular point. In particular, we derive the asymptotic of the Yamabe metric near such singularity.


title: Beyond Goedel : Simply consistent constructive systems of first order Peano's Arithmetic that do not yield undecidable propositions by Goedel's reasoning

abstract: In this paper, we argue that formal systems of first order Arithmetic that admit Goedelian undecidable propositions validly are abnormally non-constructive. We argue that, in such systems, the strong representation of primitive recursive predicates admits abnormally non-constructive, Platonistic, elements into the formal system that are not reflected in the predicates which they are intended to formalise. We argue that the source of such abnormal Platonistic elements in these systems is the non-constructive Generalisation rule of inference of first order logic. We argue that, in most simply consistent systems that faithfully formalise intuitive Arithmetic, we cannot infer from Goedel's reasoning the Platonistic existence of abnormally non-constructive propositions that are formally undecidable, but true under every interpretation. We define a constructive formal system of Peano's Arithmetic, omega2-PA, whose axioms are identical to the axioms of standard Peano's Arithmetic PA, but lead to significantly different logical consequences. We thus argue that the formal undecidability of true Arithmetical propositions is a characteristic not of relations that are Platonistically inherent in any Arithmetic of the natural numbers, but of the particular formalisation chosen to represent them.


title: On the bi-carleson operator I. The Walsh case

abstract: We prove $L^p$ estimates for the Walsh model of the maximal bi-Carleson operator (which is a hybrid of the bilinear Hilbert transform and the Carleson maximal operator which appears naturally in the eigenfunction problem for one-dimensional Schrodinger operators). The corresponding estimates for the Fourier model will be obtained in the sequel of this paper.


title: A weak-type orthogonality principle

abstract: We prove a weak-type estimate for a class of operators extending some of the almost orthogonality issues involved in the study of the bilinear Hilbert transform by Lacey and Thiele.


title: Approximation of the effective conductivity of ergodic media by periodization

abstract: This paper is concerned with the approximation of the effective conductivity $\sigma(A,\mu)$ associated to an elliptic operator $\nabla_x A(x,\eta) \nabla_x$ where for $x\in \R^d$, $d\geq 1$, $A(x,\eta)$ is a bounded elliptic random symmetric $d\times d$ matrix and $\eta$ takes value in an ergodic probability space $(X,\mu)$. Writing $A^N(x,\eta)$ the periodization of $A(x,\eta)$ on the torus $T^d_N$ of dimension $d$ and side $N$ we prove that for $\mu$-almost all $\eta$ $$ \lim_{N\to +\infty}\sigma(A^N,\eta)=\sigma(A,\mu) $$ We extend this result to non-symmetric operators $\nabla_x (a+E(x,\eta)) \nabla_x$ corresponding to diffusions in ergodic divergence free flows ($a$ is $d\times d$ elliptic symmetric matrix and $E(x,\eta)$ an ergodic skew-symmetric matrix); and to discrete operators corresponding to random walks on $\Z^d$ with ergodic jump rates. The core of our result is to show that the ergodic Weyl decomposition associated to $\L^2(X,\mu)$ can almost surely be approximated by periodic Weyl decompositions with increasing periods, implying that semi-continuous variational formulae associated to $\L^2(X,\mu)$ can almost surely be approximated by variational formulae minimizing on periodic potential and solenoidal functions.


title: On simplicial commutative algebras with Noetherian homotopy

abstract: In this paper, a strategy is developed studying a simplicial commutative algebra A whose zeroth homotopy group is a Noetherian ring B and whose higher homotopy groups are finite over B. The strategy replaces A with a connected simplicial supplemented k(q)-algebra, for each prime ideal q in B, which preserves much of the Andre-Quillen homology of A. The methods for this construction involves a mixture of methods of homotopy theory (e.g. Postnikov towers) with methods of commutative algebras (e.g. completions, Cohen factorizations). We finish by indicating how these methods resolve a more general form of a conjecture posed by Quillen.


title: Nilpotency in the homotopy of simplicial commutative algebras

abstract: In this paper, we study simplicial commutative algebras with finite Andr\'e-Quillen homology. Here we restrict our focus to simplicial algebras having characteristic 2. Our aim is to find a generalization of results established by the author. Our goal is to replace the finiteness condition on homotopy with a weaker condition expressed in terms of nilpotency for the action of the homotopy operations. Coupled with the finiteness assumption on Andr\'e-Quillen homology, this nilpotency condition provides a way to bound the height at which the homology vanishes. As a consequence, we establish a special case of an open conjecture of Quillen.


title: Simplicial commutative algebras with vanishing Andre-Quillen homology

abstract: In this paper, we study the Andr\'e-Quillen homology of simplicial commutative $\ell$-algebras, $\ell$ a field, having certain vanishing properties. When $\ell$ has non-zero characteristic, we obtain an algebraic version of a theorem of J.-P. Serre and Y. Umeda that characterizes such simplicial algebras having bounded homotopy groups. We further discuss how this theorem fails in the rational case and, as an application, indicate how the algebraic Serre theorem can be used to resolve a conjecture of D. Quillen for algebras of finite type over Noetherian rings, which have non-zero characteristic.


title: Dynamics of the Krichever construction in several variables

abstract: The Krichever construction in one variable, that is, for spectral curves, linearizes the KdV-hierarchy on the jacobian of the curve. We carry out an appropriate generalization of the Krichever construction for an arbitrary projective variety $X$ and determine the corresponding nonlinear dynamics, which are then linearized on an extension of $Pic^0(X)$.


title: A simple proof of \Sigma^1_3 correctness of K

abstract: We present a simple and purely combinatorial proof of Steel's result according to which the core model is \Sigma^1_3 correct under the appropriate hypotheses.


title: A counterexample to the "composition conjecture"

abstract: In this note we construct a class of counterexamples to the "composition conjecture" concerning an infinitesimal version of the center problem for the polynomial Abel equation in the complex domain.


title: The rational function analogue of a question of Schur and exceptionality of permutation representations

abstract: In 1923 Schur considered the following problem. Let f(X) be a polynomial with integer coefficients that induces a bijection on the residue fields Z/pZ for infinitely many primes p. His conjecture, that such polynomials are compositions of linear and Dickson polynomials, was proved by M. Fried in 1970. Here we investigate the analogous question for rational functions, also we allow the base field to be any number field. As a result, there are many more rational functions for which the analogous property holds. Some infinite series come from rational isogenies of elliptic curves and deformations. There are several sporadic examples which do not fit in any of the series we obtain. First we translate the arithmetic property to a question about finite permutation groups, and classify those groups which fulfill the necessary conditions. The proofs depend on the classification of the finite simple groups. Then we use arithmetic arguments to either rule out many cases, or to prove that the remaining cases indeed give rise to examples. This part is based on Mazur's classical results about rational points on the modular curves X_0(p) and X_1(p), results about Galois images in GL_2(p) coming from action of the absolute Galois group of Q on p-torsion points of elliptic curves, the theory of complex multiplication, and the techniques used in the inverse regular Galois problem.


title: Semisimple corings

abstract: While semisimple artinian rings and semisimple coalgebras over a field can be described in terms of matrices (either matrix ring over division rings or comatrix coalgebras over the ground field), semisimple corings seem to have a more intrincated structure in general. It turns out that some well-known properties of semisimple rings or coalgebras, which are immediately deduced from the aforementioned structure, are not evident over a (left) semi-simple coring. For instance, it is not evident that the notion of semi-simple coring is left-right symmetric. To be precise, if every left comodule decomposes a a direct sum of simple comodules, do the right comodules have such a decomposition? In other words, is every left semi-simple coring a right semi-simple coring? We develope the basic essentials for a theory of semi-simple corings, giving a positive answer for the last question, as well as some information about the structure of semi-simple corings.


title: Ramification of surfaces: sufficient jet order for wild jumps

abstract: We develop a new approach to construction of numerical invariants for ramified coverings of algebraic surfaces of prime characteristic. Let A be a two-dimensional regular local ring of prime characteristic p with algebraically closed residue field. Let L/K be a solvable finite Galois extension of its fraction field. Let C be a germ of a regular curve on the spectrum of A which is not a component of the ramification divisor R. Then L/K determines (up to conjugation) an extension of the function filed of C. This is an extension of discrete valuation fields with algebaically closed residue fields, and we consider ramification jumps of this extension. Varying C, we obtain a collection of data describing the ramification of L/K with respect to C. In the present paper we show that the above mentioned ramification jumps depend only on the jet of C of certain order, and the upper bound for this order depends linearly on the order of tangence of C and R. Strictly speaking, this is done for wild ramification jumps, i.e., for the ramification jumps divided by the order of tame ramification. It would be important to prove a stronger fact: not only the jumps but the whole ramification filtration is the same when C is running over a jet of certain order. This statement (for curves transversal to R) is a step in Deligne's program describing how to compute Euler-Poincare characteristics of constructible etale sheaves on surfaces. In the present version we prove the above fact for some class of Galois groups that includes, in particular, all abelian p-groups.


title: On the number of non isomorphic subspaces of a Banach space

abstract: If a Banach space has an unconditional basis it either contains a continuum of non isomorphic subspaces or is isomorphic to its square and hyperplanes and satisfies other regularity properties. An HI Banach space contains a continuum of non isomorphic subspaces.


title: Perverse sheaves on affine flags and Langlands dual group

abstract: The geometric Satake isomorphism is an equivalence between the categories of spherical perverse sheaves on affine Grassmanian and the category of representations of the Langlands dual group. We provide a similar description for derived categories of l-adic sheaves on an affine flag variety which are geometric counterparts of a maximal commutative subalgebra in the Iwahori Hecke algebra; of the anti-spherical module over this algebra; and of the space of Iwahori-invariant Whitakker functions.


title: Koszul duality for dioperads

abstract: We introduce the notion of a dioperad to describe certain operations with multiple inputs and multiple outputs. The framework of Koszul duality for operads is generalized to dioperads. We show that the Lie bialgebra dioperad is Koszul.


title: Richardson Varieties and Equivariant K-Theory

abstract: We generalize Standard Monomial Theory (SMT) to intersections of Schubert varieties and opposite Schubert varieties; such varieties are called Richardson varieties. The aim of this article is to get closer to a geometric interpretation of the standard monomial theory. Our methods show that in order to develop a SMT for a certain class of subvarieties in G/B (which includes G/B), it suffices to have the following three ingredients, a basis for the space of sections of an effective line bundle on G/B, compatibility of such a basis with the varieties in the class, certain quadratic relations in the monomials in the basis elements. An important tool will be the construction of nice filtrations of the vanishing ideal of the boundary of the varieties above. This provides a direct connection to the equivariant K-theory, where the combinatorially defined notion of standardness gets a geometric interpretation.


title: The non-amenability of Schreier graphs for infinite index quasiconvex subgroups of hyperbolic groups

abstract: We show that if $H$ is a quasiconvex subgroup of infinite index in a non-elementary hyperbolic group $G$ then the Schreier coset graph $X$ for $G$ relative to $H$ is non-amenable (that is, $X$ has positive Cheeger constant). We present some corollaries regading the Martin boundary and Martin compactification of $X$ and the co-growth of $H$ in $G$.


title: A family of pseudo metrics on B^3 and its application

abstract: Let B^3 be the closed unit ball in R^3 and S^2 its boundary. We define a family of pseudo metrics on B^3. As an application, We prove that for any countable-to-one function f:S^2\to [0,a], the set NM^n_f={x\in S^2 | there exists y\in S^2 such that f(x)-f(y)>nd_E(x,y)} is uncountable for all natural number n, where d_E is the Euclidean metric on R^3.


title: Amplification of Completely Bounded Operators and Tomiyama's Slice Maps

abstract: Let (M,N) be a pair of von Neumann algebras, or of dual operator spaces with at least one of them having property S_\sigma, and let T be an arbitrary completely bounded mapping on M. We present an explicit construction of an amplification of T to a completely bounded mapping on the w^*-spatial tensor product of M and N. Our approach makes essential use of the description of the predual of the latter given by Effros and Ruan in terms of the projective operator space tensor product and is further based on the concept of slice maps as introduced by Tomiyama. We discuss several properties of an amplification in connection with the investigations made by May-Neuhardt-Wittstock, where the special case M=B(H) and N=B(K) has been considered (for Hilbert spaces H and K). We will then mainly focus on various applications, such as a purely algebraic characterization of w^*-continuity using amplifications, as well as a generalization of the so-called Ge-Kadison Lemma (in connection with the uniqueness problem of amplifications). Our study will eventually enable us to show that the essential assertion of the main result obtained in the above-mentioned work of May-Neuhardt-Wittstock concerning completely bounded bimodule homomorphisms actually relies on a basic property of Tomiyama's slice maps.


title: A Unified Approach to the Topological Centre Problem for Certain Banach Algebras Arising in Abstract Harmonic Analysis

abstract: Let G be a locally compact group. Consider the Banach algebra L_1(G)^**, equipped with the first Arens multiplication, as well as the algebra LUC(G)^*, the dual of the space of bounded left uniformly continuous functions on G, whose product extends the convolution in the measure algebra M(G). We present (for the most interesting case of a non-compact group) completely different - in particular, direct - proofs and even obtain sharpened versions of the results, first proved by Lau-Losert and Lau, that the topological centres of the latter algebras precisely are L_1(G) and M(G), respectively. The special interest of our new approach lies in the fact that it shows a fairly general pattern of solving the topological centre problem for various kinds of Banach algebras; in particular, it avoids the use of any measure theoretical techniques. At the same time, deriving both results in perfect parallelity, our method reveals the nature of their close relation.


title: Introduction to Quantum Group Theory

abstract: This is a short, self-contained expository survey, focused on algebraic and analytic aspects of quantum groups. Topics covered include the definition of ``quantum group,'' the Yang-Baxter equation, quantized universal enveloping algebras, representations of braid groups, the KZ equations and the Kohno-Drinfeld theorem, and finally compact quantum groups and the analogue of Haar measure for compact quantum groups.


title: On the Topological Centre Problem for Weighted Convolution Algebras

abstract: Let G be a locally compact non-compact group. We show that under a very mild assumption on the weight function w, the weighted group algebra L_1(G,w) is strongly Arens irregular in the sense of Dales-Lamb-Lau. To this end, we first derive a general factorization theorem for bounded families in the L_\infty(G,1/w)^*-module L_\infty(G,1/w).


title: The ring of arithmetical functions with unitary convolution: Divisorial and topological properties

abstract: We study the ring of arithmetical functions with unitary convolution, giving an isomorphism to a generalized power series ring on infinitely many variables, similar to the isomorphism of Cashwell-Everett between the ring of arithmetical functions with Dirichlet convolution and the power series ring on countably many variables. We topologize it with respect to a natural norm, and shove that all ideals are quasi-finite. Some elementary results on factorization into atoms are obtained. We prove the existence of an abundance of non-associate regular non-units.


title: A poset classifying non-commutative term orders

abstract: We study a certain poset on the free monoid on a countable alphabet. This poset is determined by the fact that its total extensions are precisely the standard term orders. We also investigate the poset classifying degree-compatible standard term orders, and the poset classifying sorted term orders. For the latter poset, we give a Galois coconnection with the Young lattice.


title: Extensions of Weak-Type Multipliers

abstract: In this paper we prove that if $\Lambda\in M_p(\mathbb R^N)$ and has compact support then $\Lambda$ is a weak summability kernel for $1<p<\infty$, where $M_p(\mathbb R^N)$ is the space of multipliers of $L^p(\mathbb R^N)$.


title: Singular principal bundles over higher dimensional manifolds and their moduli spaces

abstract: In this note, we introduce the notion of a singular principal G-bundle, associated to a reductive algebraic group G over the complex numbers by means of a faithful representation $\varrho^\p\colon G\lra \SL(V)$. This concept is meant to provide an analogon to the notion of a torsion free sheaf as a generalization of the notion of a vector bundle. We will construct moduli spaces for these singular principal bundles which compactify the moduli spaces of stable principal bundles.


title: Summability Kernels for $L^p$ Multipliers

abstract: In this paper we have characterized the space of summability kernels for the case p=1 and p=2. For other values of p we give a necessary condition for a function $\Lambda$ to be a summability kernel. For the case p=1, we have studied the properties of measures which are transferred from $M(\mathbb Z)$ to $M(\mathbb R)$ through summability kernels. Further, we have extended every $l_p(\mathbb Z)$ sequences to $L^q(\mathbb R)$ multipliers for certain values of p and q.


title: Reduction and Integrability

abstract: We discuss the relationship between the integrability of a dynamical system invariant under a Lie group action and its reduced integrability, i.e. integrability of the corresponding reduced system.


title: Behavior of the Bergman kernel and metric near convex boundary points

abstract: The boundary behavior of the Bergman metric near a convex boundary point $z_0$ of a pseudoconvex domain $D\subset\CC^n$ is studied; it turns out that the Bergman metric at points $z\in D$ in direction of a fixed vector $X_0\in\CC^n$ tends to infinite, when z is approaching $z_0$, if and only if the boundary of D does not contain any analytic disc through $z_0$ in direction of $X_0$.


title: Binary operations in classical and quantum mechanics

abstract: Binary operations on algebras of observables are studied in the quantum as well as in the classical case. It is shown that certain natural compatibility conditions with the associative product imply the properties which usually are additionally required. In particular, it is proved that locality of a Loday bracket on sections of a one-dimensional vector bundle forces skew-symmetry, i.e. a local Lie algebra structure in the sense of A.A.Kirillov.


title: Invariant of the hypergeometric group associated to the quantum cohomology of the projective space

abstract: We present a simple method to calculate the Stokes matrix for the quantum cohomology of the projective spaces ${CP}^{k-1}$ in terms of certain hypergeometric group. We present also an algebraic variety whose fibre integrals are solutions to the given hypergeometric equation.


title: The Gromov-Lawson-Rosenberg conjecture for cocompact Fuchsian groups

abstract: We prove the Gromov-Lawson-Rosenberg conjecture for cocompact Fuchsian groups, thereby giving necessary and sufficient conditions for a closed spin manifold of dimension greater than four with fundamental group cocompact Fuchsian to admit a metric of positive scalar curvature.


title: The sigma orientation for analytic circle-equivariant elliptic cohomology

abstract: We construct a canonical Thom isomorphism in Grojnowski's equivariant elliptic cohomology, for virtual T-oriented T-equivariant spin bundles with vanishing Borel-equivariant second Chern class, which is natural under pull-back of vector bundles and exponential under Whitney sum. It extends in the complex-analytic case the non-equivariant sigma orientation of Hopkins, Strickland, and the author. The construction relates the sigma orientation to the representation theory of loop groups and Looijenga's weighted projective space, and sheds light even on the non-equivariant case. Rigidity theorems of Witten-Bott-Taubes including generalizations by Kefeng Liu follow.


title: The noncommutative geometry of the discrete Heisenberg group

abstract: Motivated by the search for new examples of ``noncommutative manifolds'', we study the noncommutative geometry (in the sense of Connes) of the group C*-algebra of the three dimensional discrete Heisenberg group. We present a unified treatment of the K-homology, cyclic cohomology and derivations of this algebra.


title: K-homology of certain group C*-algebras

abstract: Motivated by the search for new examples of ``noncommutative manifolds'', we study the noncommutative geometry (in the sense of Connes) of the group C*-algebras of various discrete groups. The examples we consider are the infinite dihedral group Z \times_{\sigma} $Z_2$ and the semidirect product group $Z \times_{\sigma} Z$. We present a unified treatment of the K-homology and cyclic cohomology of these algebras.


title: A characterization of quantum groups

abstract: We classify pointed Hopf algebras with finite Gelfand-Kirillov dimension, which are domains, whose groups of group-like elements are finitely generated and abelian, and whose infinitesimal braidings are positive.


title: Elliptic Islands on Strictly Convex Billiards

abstract: This paper addresses the question of genericity of existence of elliptic islands for the billiard map associated to strictly convex closed curves. More precisely, we study 2-periodic orbits of billiards associated to C5 closed and strictly convex curves and show that the existence of elliptic islands is a dense property on the subset of those billiards having an elliptic 2-periodic point. Our main tools are normal perturbations, the Birkhoff Normal Form for elliptic fixed points and Moser's Twist Theorem.