title: Drinfeld-Sokolov reduction for quantum groups and deformations of W-algebras

abstract: We define deformations of W-algebras associated to complex semi-simple Lie algebras by means of quantum Drinfeld-Sokolov reduction procedure for affine quantum groups. We also introduce Wakimoto modules for arbitrary affine quantum groups and construct free field resolutions and screening operators for the deformed W-algebras. We compare our results with earlier definitions of q-W-algebras and of the deformed screening operators due to Awata, Kubo, Odake, Shiraishi (q-alg/9507034, q-alg/9508011, q-alg/9612001), Feigin, E. Frenkel (q-alg/9508009) and E. Frenkel, Reshetikhin (q-alg/9708006). The screening operator and the free field resolution for the deformed W-algebra associated to the simple Lie algebra sl(2) coincide with those for the deformed Virasoro algebra introduced in q-alg/9507034.


title: Noncommutative Riemannian Geometry of the Alternating Group A_4

abstract: We study the noncommutative Riemannian geometry of the alternating group $A_4=(Z_2 \times Z_2)\cross Z_3$ using a recent formulation for finite groups. We find a unique `Levi-Civita' connection for the invariant metric, and find that it has Ricci-flat but nonzero Riemann curvature. We show that it is the unique Ricci-flat connection on $A_4$ with the standard framing (we solve the vacuum Einstein's equation). We also propose a natural Dirac operator for the associated spin connection and solve the Dirac equation. Some of our results hold for any finite group equipped with a cyclic conjugacy class of 4 elements. In this case the exterior algebra $\Omega(A_4)$ has dimensions $1:4:8:11:12:12:11:8:4:1$ with top-form 9-dimensional. We also find the noncommutative cohomology $H^1(A_4)=C$.


title: Boundary Representations for Operator Algebras

abstract: All operator algebras have (not necessarily irreducible) boundary representations. A unital operator algebra has enough such boundary representations to generate its C*-envelope.


title: Covering Dimension for Nuclear C*-algebras

abstract: We introduce the completely positive rank, a notion of covering dimension for nuclear $C^*$-algebras and analyze some of its properties. The completely positive rank behaves nicely with respect to direct sums, quotients, ideals and inductive limits. For abelian $C^*$-algebras it coincides with covering dimension of the spectrum and there are similar results for continuous trace algebras. As it turns out, a $C^*$-algebra is zero-dimensional precisely if it is $AF$. We consider various examples, particularly of one-dimensional $C^*$-algebras, like the irrational rotation algebras, the Bunce-Deddens algebras or Blackadar's simple unital projectionless $C^*$-algebra. Finally, we compare the completely positive rank to other concepts of noncommutative covering dimension, such as stable or real rank.


title: Multivariate Diophantine equations with many solutions

abstract: We show that for each n-tuple of positive rational integers (a_1,..,a_n) there are sets of primes S of arbitrarily large cardinality s such that the solutions of the equation a_1x_1+...+a_nx_n=1 with the x_i all S-units are not contained in fewer than exp((4+o(1))s^{1/2}(log s)^{-1/2}) proper linear subspaces of C^n. This generalizes a result of Erdos, Stewart and Tijdeman for m=2 [Compositio 36 (1988), 37-56]. Furthermore we prove that for any algebraic number field K of degree n, any integer m with 1<=m<n, and any sufficiently large s there are integers b_0,...,b_m in a number field which are linearly independent over the rationals, and prime numbers p_1,...,p_s, such that the norm polynomial equation |N_{K/Q}(b_0+b_1x_1+...+b_mx_m)|=p_1^{z_1}...p_s^{z_s} has at least exp{(1+o(1)){n/m}s^{m/n}(log s)^{-1+m/n}) solutions in integers x_1,..,x_m,z_1,..,z_s. This generalizes a result of Moree and Stewart [Indag. Math. 1 (1990), 465-472]. Our main tool, also established in this paper, is an effective lower bound for the number of ideals in a number field K of norm <=X composed of prime ideals which lie outside a given finite set of prime ideals T and which have norm <=Y. This generalizes a result of Canfield, Erdos and Pomerance [J. Number Th. 17 (1983), 1-28], and of Moree and Stewart (see above).


title: Finite type invariants of cyclic branched covers

abstract: Updated rerefences and introduction. Given a knot in an integer homology sphere, one can construct a family of closed 3-manifolds (parametrized by the positive integers), namely the cyclic branched coverings of the knot. In this paper we give a formula for the the Casson-Walker invariants of these 3-manifolds in terms of residues of a rational function (which measures the 2-loop part of the Kontsevich integral of a knot) and the signature function of the knot. Our main result actually computes the LMO invariant of cyclic branched covers in terms of a rational invariant of the knot and its signature function. Revised version.


title: Rigidity and gluing for Morse and Novikov complexes

abstract: We obtain rigidity and gluing results for the Morse complex of a real-valued Morse function as well as for the Novikov complex of a circle-valued Morse function. A rigidity result is also proved for the Floer complex of a hamiltonian defined on a closed symplectic manifold $(M,\omega)$ with $c_{1}|_{\pi_{2}(M)}=[\omega]|_{\pi_{2}(M)}=0$. The rigidity results for these complexes show that the complex of a fixed generic function/hamiltonian is a retract of the Morse (respectively Novikov or Floer) complex of any other sufficiently $C^{0}$ close generic function/hamiltonian. The gluing result is a type of Mayer-Vietoris formula for the Morse complex. It is used to express algebraically the Novikov complex up to isomorphism in terms of the Morse complex of a fundamental domain. Morse cobordisms are used to compare various Morse-type complexes without the need of bifurcation theory.


title: Higher-rank graphs and their C*-algebras

abstract: We consider the higher-rank graphs introduced by Kumjian and Pask as models for higher-rank Cuntz-Krieger algebras. We describe a variant of the Cuntz-Krieger relations which applies to graphs with sources, and describe a local convexity condition which characterises the higher-rank graphs that admit a nontrivial Cuntz-Krieger family. We then prove versions of the uniqueness theorems and classifications of ideals for the C*-algebras generated by Cuntz-Krieger families.


title: Alcoves et p-rang des vari\'et\'es ab\'eliennes

abstract: We study the relation between the $p$-rank of abelian varieties in characteristic $p$ and the Kottwitz-Rapoport's stratification of the special fiber modulo $p$ of the moduli space of principally polarized abelian varieties with Iwahori type level structure on $p$. In particular, the density of the ordinary locus in that special fiber is proved.


title: The dual Kaehler cone of compact Kaehler threefolds

abstract: We consider a compact Kaehler manifold whose dual Kaehler cone contains a rational interior point. The general problem we have in mind is how far the manifold is from being projective; i.e. we ask for the algebraic dimension. We prove e.g. that if the interior point is represented by an effective curve in dimension 3, then the manifold has algebraic dimension at least 2 unless the variety is a so-called simple non-Kummer 3-fold. We also investigate 3-folds containing curves with ample normal bundle. It seems likely that examples with algebraic dimension 2 really exist.


title: Duality and self-duality for dynamical quantum groups

abstract: We define a natural concept of duality for the h-Hopf algebroids introduced by Etingof and Varchenko. We prove that the special case of the trigonometric SL(2) dynamical quantum group is self-dual, and may therefore be viewed as a deformation both of the function algebra F(SL(2)) and of the enveloping algebra U(sl(2)). Matrix elements of the self-duality in the Peter-Weyl basis are 6j-symbols; this leads to a new algebraic interpretation of the hexagon identity or quantum dynamical Yang-Baxter equation for quantum and classical 6j-symbols.


title: Semipositive bundles and Brill-Noether theory

abstract: We prove a Lefschetz hyperplane theorem for the determinantal loci of a morphism between two holomorphic vector bundles $E$ and $F$ over a complex manifold under the condition that $E^*\ox F$ is Griffiths $k$-positive. We apply this result to find some homotopy groups of the Brill-Noether loci for a generic curve.


title: Knotted contractible 4-manifolds in the 4-sphere

abstract: Examples are given to show that some compact contractible 4-manifolds can be knotted in the 4-sphere. It is then proved that any finitely presented perfect group with a balanced presentation is a knot group for an embedding of some contractible 4-manifold in the 4-sphere.


title: Some remarks on Finsler manifolds with constant flag curvature

abstract: This article is an exposition of four loosely related remarks on the geometry of Finsler manifolds with constant positive flag curvature. <p> The first remark is that there is a canonical Kahler structure on the space of geodesics of such a manifold. <p> The second remark is that there is a natural way to construct a (not necessarily complete) Finsler n-manifold of constant positive flag curvature out of a hypersurface in suitably general position in complex projective n-space. <p> The third remark is that there is a description of the Finsler metrics of constant curvature on the 2-sphere in terms of a Riemannian metric and 1-form on the space of its geodesics. In particular, this allows one to use any (Riemannian) Zoll metric of positive Gauss curvature on the 2-sphere to construct a global Finsler metric of constant positive curvature on the 2-sphere. <p> The fourth remark concerns the generality of the space of (local) Finsler metrics of constant positive flag curvature in dimension n+1>2 . It is shown that such metrics depend on n(n+1) arbitrary functions of n+1 variables and that such metrics naturally correspond to certain torsion-free S^1 x GL(n,R)-structures on 2n-manifolds. As a by-product, it is found that these groups do occur as the holonomy of torsion-free affine connections in dimension 2n, a hitherto unsuspected phenomenon.


title: On the largest eigenvalue of a sparse random subgraph of the hypercube

abstract: We consider a sparse random subraph of the $n$-cube where each edge appears independently with small probability $p(n) =O(n^{-1+o(1)})$. In the most interesting regime when $p(n)$ is not exponentially small we prove that the largest eigenvalue of the graph is asymtotically equal to the square root of the maximum degree.


title: Tabular algebras and their asymptotic versions

abstract: We introduce tabular algebras, which are simultaneous generalizations of cellular algebras (in the sense of Graham-Lehrer) and table algebras (in the sense of Arad-Blau). We show that if a tabular algebra is equipped with a certain kind of trace map then the algebra has a corresponding asymptotic version whose structure can be explicitly determined. We also study various natural examples of tabular algebras.


title: Wavelet filter functions, the matrix completion problem, and projective modules over $C(\mathbb T^n)$

abstract: We discuss how one can use certain filters from signal processing to describe isomorphisms between certain projective $C(\mathbb T^n)$-modules. Conversely, we show how cancellation properties for finitely generated projective modules over $C(\mathbb T^n)$ can often be used to prove the existence of continuous high pass filters, of the kind needed for multivariate wavelets, corresponding to a given continuous low-pass filter. However, we also give an example of a continuous low-pass filter for which it is impossible to find corresponding continuous high-pass filters. In this way we give another approach to the solution of the matrix completion problem for filters of the kind arising in wavelet theory.


title: Canonical splittings of groups and 3-manifolds

abstract: We introduce the notion of a `canonical' splitting over Z or ZxZ for a finitely generated group G. We show that when G happens to be the fundamental group of an orientable Haken manifold M with incompressible boundary, then the decomposition of the group naturally obtained from canonical splittings is closely related to the one given by the standard JSJ-decomposition of M. This leads to a new proof of Johannson's Deformation Theorem.


title: Solving the difference initial-boundary value problems by the operator exponential method

abstract: We suggest a modification of the operator exponential method for the numerical solving the difference linear initial boundary value problems. The scheme is based on the representation of the difference operator for given boundary conditions as the perturbation of the same operator for periodic ones. We analyze the error, stability and efficiency of the scheme for a model example of the one-dimensional operator of second difference.


title: Factorization of nonlinear heat equation posed on Riemann manifold

abstract: There was proposed the method of a factorization of PDE. The method is based on reduction of complicated systems to more easy ones (for example, due to dimension decrease). This concept is proposed in general case for the arbitrary PDE systems, and its concrete investigation is developing for the heat equation case. There is considered the category of second order parabolic equations posed on arbitrary manifolds. In this category, for the given nonlinear heat equation we could find morphisms from it to other parabolic equations with the same or a smaller number of independent variables. This allows to receive some classes of solutions of original equation from the class of all solutions of such a reduced equation. Classification of morphisms (with the selection from every equivalence class of the simplest "canonical" representatives) is carried out. There are derived the necessary and sufficient conditions for canonical morphisms of heat equation to the parabolic equation on the other manifold. These conditions are formulated in the differential geometry language. The comparison with invariant solutions classes, obtained by the Lie group methods, is carried out. It is proved that discovered solution classes are richer than invariant solution classes, even if we find any (including discontinuous) symmetry groups of original equation.


title: Moduli spaces of special Lagrangians and K\"ahler-Einstein structures

abstract: We shall construct a moduli space of pairs of K\"ahler-Einstein structures and special lagrangians and obtain smoothness of the moduli space of these pairs. Further we show that the moduli space of these pairs is locally embedded in a certain relative cohomology group.


title: Field of moduli and field of definition of Galois covers

abstract: In this paper we investigate the cohomological obstruction for the field of moduli of a $G$-cover to be a field of definition, in the case of local fields and covers with tame admissible reduction. This applies in particular to $p$-adic fields where $p$ does not divide the order of the group $G$. We give examples of $G$-covers with field of moduli $\QQ_p$ that cannot be defined over $\QQ_p$, for all primes $p>5$.


title: Classification and existence of doubly-periodic instantons

abstract: We present a classification of SU(2) instantons on $T^2\times\mathbb{R}^2$ according to their asymptotic behaviour. We then study the existence of such instantons for different values of the asymptotic parameters, describing explicitly the moduli space for unit charge.


title: Matrix algebras converge to the sphere for quantum Gromov--Hausdorff distance

abstract: On looking at the literature associated with string theory one finds statements that a sequence of matrix algebras converges to the 2-sphere (or to other spaces). There is often careful bookkeeping with lengths, which suggests that one is dealing with ``quantum metric spaces''. We show how to make these ideas precise by means of Berezin quantization using coherent states. We work in the general setting of integral coadjoint orbits for compact Lie groups.


title: Murasugi sums of Morse maps to the circle, Morse-Novikov numbers, and free genus of knots

abstract: Murasugi sums can be defined as readily for Morse maps to the circle of (arbitrary) link complements in the 3-sphere as for fibrations over the circle of (fibered) link complements in the 3-sphere. As one application, I show that if a knot K has free genus m, then there is a Morse map from its complement to the circle (representing the relative homology class of a Seifert surface for K) with no more than 4m critical points.


title: The Structure of Inner Multipliers on Spaces with Complete Nevanlinna Pick Kernels

abstract: We establish some multivariate generalizations of the Beurling-Lax-Halmos theorem.


title: On Convergence of Moments for Random Young Tableaux and a Random Growth Model

abstract: In recent work of Baik, Deift and Rains convergence of moments was established for the limiting joint distribution of the lengths of the first k rows in random Young tableaux. The main difficulty was obtaining a good estimate for the tail of the distribution and this was accomplished through a highly nontrival Riemann-Hilbert analysis. Here we give a simpler derivation. The same method is used to establish convergence of moments for a random growth model.


title: K Energy and K stability on Hypersurfaces

abstract: In this paper, we study the limiting properties of the $K$ energy for smooth hypersurfaces in the projective spaces. Our result generalizes the result of Ding-Tian (W. Ding and G. Tian. K\"ahler-Einstein metrics and the generalized Futaki invariant. {\em Invent Math}, 110:315-335, 1992.) in the case of hypersurfaces. In particular, we allow the center fiber of a special degeneration (a degeneration by a one-parameter group) to have multiplicity great than 1.


title: Non-positively curved graph manifolds are virtually fibered over the circle

abstract: In this note we prove that any closed graph manifold admitting a metric of non-positive sectional curvature (NPC-metric) has a finite cover, which is fibered over the circle. An explicit criterion to have a finite cover, which is fibered over the circle, is presented for the graph manifolds of certain class.


title: The Homfly polynomial of the decorated Hopf link

abstract: The main goal is to find the Homfly polynomial of a link formed by decorating each component of the Hopf link with the closure of a directly oriented tangle. Such decorations are spanned in the Homfly skein of the annulus by elements Q_\lambda, depending on partitions \lambda. We show how to find the 2-variable Homfly invariant <\lambda,\mu> of the Hopf link arising from decorations Q_\lambda and Q_\mu in terms of the Schur symmetric function s_\mu of an explicit power series depending on \lambda. We show also that the quantum invariant of the Hopf link coloured by irreducible sl(N)_q modules V_\lambda and V_\mu, which is a 1-variable specialisation of <\lambda,\mu>, can be expressed in terms of an N x N minor of the Vandermonde matrix (q^{ij}).


title: Action of Coxeter groups on m-harmonic polynomials and KZ equations

abstract: The Matsuo-Cherednik correspondence is an isomorphism from solutions of Knizhnik-Zamolodchikov equations to eigenfunctions of generalized Calogero-Moser systems associated to Coxeter groups G and a multiplicity function m on their root systems. We apply this correspondence to the most degenerate case of zero spectral parameters. The space of eigenfunctions is then the space H_m of m-harmonic polynomials, recently introduced in math-ph/0105014. We compute the Poincare' polynomials for the space H_m and of its isotypical components corresponding to each irreducible representation of the group G. We also give an explicit formula for m-harmonic polynomials of lowest positive degree in the S_n case.


title: Higher polyhedral K-groups

abstract: We define higher polyhedral K-groups for commutative rings, starting from the stable groups of elementary automorphisms of polyhedral algebras. Both Volodin's theory and Quillen's + construction are developed. In the special case of algebras associated with unit simplices one recovers the usual algebraic K-groups, while the general case of lattice polytopes reveals many new aspects, governed by polyhedral geometry. This paper is a continuation of [BrG5] (math.KT/0104206) which is devoted to the study of polyhedral aspects of the classical Steinberg relations. The present work explores the polyhedral geometry behind Suslin's well known proof of the coincidence of the classical Volodin's and Quillen's theories. We also determine all K-groups coming from 2-dimensional polytopes.


title: Unbounded Fredholm Operators and Spectral Flow

abstract: We study the gap (= "projection norm" = "graph distance") topology of the space of (not necessarily bounded) self--adjoint Fredholm operators in a separable Hilbert space by the Cayley transform and direct methods. In particular, we show that the space is connected contrary to the bounded case. Moreover, we present a rigorous definition of spectral flow of a path of such operators (actually alternative but mutually equivalent definitions) and prove the homotopy invariance. As an example, we discuss operator curves on manifolds with boundary.


title: The global quantum duality principle: theory, examples, applications

abstract: The "quantum duality principle" states that a quantisation of a Lie bialgebra provides also a quantisation of the dual formal Poisson group and, conversely, a quantisation of a formal Poisson group yields a quantisation of the dual Lie bialgebra as well. We extend this to a much more general result: namely, given any principal ideal domain R, for each prime h in R we establish sort of an "inner" Galois' correspondence on the category HA of torsionless Hopf algebras over R, via the definition of two functors (from HA to itself) such that the image of the first, resp. of the second, is the full subcategory of those Hopf algebras which are commutative, resp. cocommutative, modulo h (i.e. they are "quantum function algebras" (=QFA), resp. "quantum universal enveloping algebras" (=QUEA), at h). In particular we provide a machine to get two quantum groups - a QFA and a QUEA - out of any Hopf algebra H over a field k: just plug in a parameter x and apply the functors to H[x] for h = x. Several relevant examples are studied in full detail: the trivial quantisations, the semisimple groups, the Euclidean group, the Heisenberg group, and the Kostant-Kirillov structure on any Lie algebra; furthermore, an interesting application to renormalisation theory in quantum electro-dynamics is studied, as a sample of application of the principle to a quite large class of problems. This work is a far-reaching "evolution" of the same author's preprint math.QA/9912186: the present paper is entirely self-contained, is more general from the mathematical point of view, and contains additional examples. WARNING: This preprint has been overtaken by a new, deeply enhanced and improved version, available as {\tt math.QA/0303019}; the interested reader is kindly asked to refer to that new preprint.


title: Almost global existence for some semilinear wave equations

abstract: We prove almost global existence for semilinear wave equations outside of nontrapping obstacles. We use the vector field method, but only use the generators of translations and Euclidean rotations. Our method exploits 1/r decay of wave equations, as opposed to the much harder to prove 1/t decay.


title: Cohomologie non abelienne d'ordre superieur et applications

abstract: In this paper we propose a higher non abelian cohomology theory without using the notion of n-category. We use this to study compositions series of affine manifolds and cohomology of manifolds.


title: Hodge decomposition of Alexander invariants

abstract: Multivariable Alexander invariants of algebraic links calculated in terms of algebro-geometric invariants (polytopes and ideals of quasiadjunction). The relations with log-canonical divisors, the multiplier ideals and a semicontinuity property of polytopes of quasiadjunction is discussed.


title: Eigenvalues for the monodromy of the Milnor fibers of arrangements

abstract: We decribe upper bounds for the orders of the eigenvalues of the monodromy of Milnor fibers of arrangements given in terms of combinatorics.


title: Quantum "az+b" group at roots of unity: unitary representations

abstract: All unitary representations of the quantum ``az+b'' group are found. It turns out that this quantum group is self dual i.e. all unitary representations are 'numbered' by elements of the same group. Moreover, the formula for all unitary representations involving the quantum exponential function is proven.


title: Extensions of Peripheric Extended Twists and Inhomogeneous Lie Algebras

abstract: Simple extensions of peripheric extended twists, introduced recently by Lyakhovsky and Del Olmo, are presented. Explicit form of twisting elements are given and it is shown that the new twists as well as peripheric extended twists are suitable to deform inhomogeneous Lie algebras such as isu(n), iso(n), (1+n) dimensional Schroedinger algebras and Poincare algebra.


title: Constant Scalar Curvature Metrics on Connected Sums

abstract: Let (M,g) be a compact Riemannian manifold with dimension n > 2. The Yamabe problem is to find a metric with constant scalar curvature in the conformal class of g, by minimizing the total scalar curvature. The proof was completed in 1984. Suppose (M',g') and (M'',g'') are compact Riemannian n-manifolds with constant scalar curvature. We form the connected sum M' # M'' of M' and M'' by removing small balls from M' and M'' and joining the S^{n-1} boundaries together. In this paper we use analysis to construct metrics with constant scalar curvature on M' # M''. Our description is quite explicit, in contrast to the general Yamabe case when one knows little about what the metric looks like. There are 9 cases, depending on the signs of the scalar curvature on M' and M'' (positive, negative, or zero). We show that the constant scalar curvature metrics either develop small "necks" separating M' and M'', or one of M', M'' is crushed small by the conformal factor. When both have positive scalar curvature, we construct three different metrics with scalar curvature 1 in the same conformal class.


title: Varieties of clusters and Enriques diagrams

abstract: We study the geometry of the varieties of clusters X_r introduced by Kleiman in the 70's, showing that for every Enriques diagram D of r vertices the subset Cl(D) of the clusters with Enriques diagram D is locally closed. We study also the relative positions of the subvarieties Cl(D), showing that they do not form a stratification and giving criteria for adjacencies between them.


title: Stability of viscous shock profiles for dissipative symmetric hyperbolic-parabolic systems

abstract: Combining pointwise Green's function bounds obtained in a companion paper [MZ.2] with earlier, spectral stability results obtained in [HuZ], we establish nonlinear orbital stability of small amplitude viscous shock profiles for the class of dissipative symmetric hyperbolic-parabolic systems identified by Kawashima [Kaw], notably including compressible Navier--Stokes equations and the equations of magnetohydrodynamics, obtaining sharp rates of decay in $L^p$ with respect to small $L^1\cap H^3$ perturbations, $2\le p\le \infty$. Our analysis follows the approach introduced in [MZ.1] to treat stability of relaxation profiles.


title: A New Weighted Metric: the Relative Metric I

abstract: The M-relative distance, denoted by \rho_M is a generalization of the p-relative distance, which was introduced by Ren-Cang Li. We establish necessary and sufficient conditions under which \rho_M is a metric. In two special cases we derive complete characterizations of the metric. We also present a way of extending the results to metrics sensitive to the domain in which they are defined, thus finding some connections to previously studied metrics. An auxiliary result of independent interest is an inequality related to Pittenger's inequality in Section 4.


title: A New Weighted Metric: the Relative Metric II

abstract: In the first part of this investigation, [Ha], we generalized a weighted distance function of [Li] and found necessary and sufficient conditions for it being a metric. In this paper some properties of this so-called M-relative metric are established. Specifically, isometries, quasiconvexity and local convexity results are derived. We also illustrate connections between our approach and generalizations of the hyperbolic metric.


title: Infinity-Inner-Products on A-Infinity-Algebras

abstract: In this paper the Hochschild-cochain-complex of an A-infinity-algebra A with values in an A-infinity-bimodule M over A and maps between them is defined. Then, an infinity-inner-product on A is defined to be an A-infinity-bimodule-map between A and its dual A*. There is a graph-complex associated to A-infinity-algebras with infinity-inner-product.


title: Heegaard genus formula for Haken manifolds

abstract: Given a 3-manifold M containing an incompressible surface Q, we obtain an inequality relating the Heegaard genus of M and the Heegaard genera of the components of M - Q. Here the sum of the genera of the components of M - Q is bounded above by a linear expression in terms of the genus of M, the Euler characteristic of Q and the number of parallelism classes of essential annuli for which representatives can be simultaneously imbedded in the components of M - Q.


title: Lectures on the Kato square root problem

abstract: This is the text of a series of three lectures given at the CMA of the Australian National University on the recent solution of the square root problem for divergence form elliptic operators, a long-standing conjecture posed by Kato in the early 60's. In this text, the motivations for this problem and its situation are given. The ideas from harmonic analysis on the T(1) theorem and T(b) theorem for square functions are described. In particular, an apparently new formulation of a local T(b) theorem for square functions is stated. The ideas of the full proof are presented. I want to thank the CMA at the Australian National University for inviting me during the special program on scattering theory and spectral problems and for the nice and stimulating atmosphere created by the mathematicians at the CMA.


title: Elements of Linear and Real Analysis

abstract: This is a kind of introduction to some basic topics in analysis, some of which would be covered in standard graduate courses, and some not. However, an important difference is that not much in the way of prerequisites are needed, beyond linear algebra and beginning analysis. In particular, this should be accessible to undergraduates or readers whose main focus is not necessarily pure mathematics. One could easily accommodate Lebesgue integrals and so forth if one wanted to, but they are not really needed.


title: Galois Action on Diameter Four Trees

abstract: The object of this paper is the study of a class of dessins d'enfants, the so-called diameter four trees. These objects, first introduced by G. Shabat, can be considered as the simplest non trivial example of etale covers of the projective line minus three points. Their arithmetic properties are still mysterious, and their study can inspire the understanding of more general situations. Here, the main interest is devoted to the action of the absolute Galois group on these (isomorphism classes of) coverings. In particular, in many cases, we are able to distinguish Galois orbits and to describe the action of the decomposition groups. One other central result concerns the study of wild ramification, for which we show how to reduce to the tame case, and then deduce some detailed arithmetical informations.


title: Tsuji's Numerically Trivial Fibrations and Abundance

abstract: We apply Tsuji's theory of numerically trivial fibrations to the abundance problem.


title: Isomorphism rigidity of algebraic $Z^{d}$-actions

abstract: An algebraic $Z^{d}$-action is an action of $Z^{d}$ on a compact abelian group $X$ by automorphisms of $X$. We prove that for $d \ge 8$, there exist mixing zero entropy algebraic $Z^{d}$-actions which do not exhibit isomorphism rigidity property.


title: Clifford correspondence for algebras

abstract: We give a Clifford correspondence for an algebra A over an algebraically closed field, that is an algorithm for constructing some finite-dimensional simple A-modules from simple modules for a subalgebra and endomorphism algebras. This applies to all finite-dimensional simple A-modules in the case that A is finite-dimensional and semisimple with a given semisimple subalgebra. We discuss connections between our work and earlier results, with a view towards applications particularly to finite-dimensional semisimple Hopf algebras.


title: The canonical solution operator to d-bar restricted to Bergman spaces

abstract: We first show that the canonical solution operator to d-bar restricted to (0,1)-forms with holomorphic coefficients can be expressed by an integral operator using the Bergman kernel. This result is used to prove that in the case of the unit disc in C the canonical solution operator to d-bar restricted to (0,1)-forms with holomorphic coefficients is a Hilbert-Schmidt operator. In the sequel we give a direct proof of the last statement using orthonormal bases and show that in the case of polydisc and the unit ball in C^n, n>1, the corresponding operator fails to be a Hilbert-Schmidt operator.


title: A Taxonomy of C-systems

abstract: A thorough investigation of the foundations of paraconsistent logics. Relations between logical principles are formally studied, a novel notion of consistency is introduced, the logics of formal inconsistency, and the subclasses of C-systems and dC-systems are defined and studied. An enormous variety of paraconsistent logics in the literature is shown to constitute C-systems.


title: Examples of Type IV unprojection

abstract: I show that the weighted projective line PP(2,3) has an embedding PP(2,3) into PP(4,5,6,9) whose image Gamma is contained in a quasismooth K3 hypersurface X_24 in PP(4,5,6,9). The pair (Gamma in X_24) unprojects to the codimension 4 K3 surface Y in PP(4,5,5,6,7,8,9) with Basket = [1/2(1,1), 1/5(1,4), 1/5(2,3), 1/9(4,5)], Hilbert Numerator = 1 - t^12 - t^13 - 2t^14 - 2t^15 - 2t^16 - t^17 + t^19 + 2t^20 + 3t^21 + 4t^2 + 3t^23 + .. (this example is called Altinok4(111) in the Magma K3 database). The local coordinates at the third centre P_3 = 1/5(2,3) of Y are of weight 7 and 8 (rather than 2 and 3), so both are eliminated by the projection from P_3. Together with other examples, this gives substance to Type IV unprojections. Several more cases of Type IV unprojections are known up to codimension 5 or 6. The paper also contains some Magma programming routines suitable as exercises for babies.


title: Representations of Two-Parameter Quantum Groups and Schur-Weyl Duality

abstract: We determine the finite-dimensional simple modules for two-parameter quantum groups corresponding to the general linear and special linear Lie algebras gl_n and sl_n, and give a complete reducibility result. These quantum groups have a natural n-dimensional module V. We prove an analogue of Schur-Weyl duality in this setting: the centralizer algebra of the quantum group action on the k-fold tensor power of V is a quotient of a Hecke algebra for all n and is isomorphic to the Hecke algebra in case n\geq k.


title: The canonical solution operator to d-bar restricted to Bergman spaces and spaces of entire functions

abstract: In this paper we obtain a necessary and sufficient condition for the canonical solution operator to $\overline \partial $ restricted to radial symmetric Bergman spaces to be a Hilbert-Schmidt operator. We also discuss compactness of the solution operator in spaces of entire functions in one variable. In the sequel we consider several examples and also treat the case of weighted spaces of entire functions in several variables.


title: Structure Theorem for Covariant Bundles on Quantum Homogeneous Spaces

abstract: The natural generalization of the notion of bundle in quantum geometry is that of bimodule. If the base space has quantum group symmetries one is particularly interested in bimodules covariant (equivariant) under these symmetries. Most attention has so far been focused on the case with maximal symmetry -- where the base space is a quantum group and the bimodules are bicovariant. The structure of bicovariant bimodules is well understood through their correspondence with crossed modules. We investigate the ``next best'' case -- where the base space is a quantum homogeneous space and the bimodules are covariant. We present a structure theorem that resembles the one for bicovariant bimodules. Thus, there is a correspondence between covariant bimodules and a new kind of ``crossed'' modules which we define. The latter are attached to the pair of quantum groups which defines the quantum homogeneous space. We apply our structure theorem to differential calculi on quantum homogeneous spaces and discuss a related notion of induced differential calculus.


title: Multiwavelet packets and frame packets of $L^2({\mathbb R}^d)

abstract: The orthonormal basis generated by a wavelet of $L^2(\mathbb R)$ has poor frequency localization. To overcome this disadvantage Coifman, Meyer, and Wickerhauser constructed wavelet packets. We extend this concept to the higher dimensions where we consider arbitrary dilation matrices. The resulting basis of $L^2({\mathbb R}^d)$ is called the multiwavelet packet basis. The concept of wavelet frame packet is also generalized to this setting. Further, we show how to construct various orthonormal bases of $L^2({\mathbb R}^d)$ from the multiwavelet packets.


title: Matrix Valued Spherical Functions Associated to the Complex Projective Plane

abstract: The main purpose of this paper is to compute all irreducible spherical functions on $G=\SU(3)$ of arbitrary type $\delta\in \hat K$, where $K={\mathrm{S}}(\mathrm{U}(2)\times\mathrm{U}(1))\simeq\mathrm{U}(2)$. This is accomplished by associating to a spherical function $\Phi$ on $G$ a matrix valued function $H$ on the complex projective plane $P_2(\mathbb{C})=G/K$. It is well known that there is a fruitful connection between the hypergeometric function of Euler and Gauss and the spherical functions of trivial type associated to a rank one symmetric pair $(G,K)$. But the relation of spherical functions of types of dimension bigger than one with classical analysis, has not been worked out even in the case of an example of a rank one pair. The entries of $H$ are solutions of two systems of ordinary differential equations. There is no ready made approach to such a pair of systems, or even to a single system of this kind. In our case the situation is very favorable and the solution to this pair of systems can be exhibited explicitely in terms of a special class of generalized hypergeometric functions ${}_{p+1}F_p$.


title: Restricted set of patterns, continued fractions, and Chebyshev polynomials

abstract: We study generating functions for the number of permutations in $S_n$ subject to set of restrictions. One of the restrictions belongs to $S_3$, while the others to $S_k$. It turns out that in a large variety of cases the answer can be expressed via continued fractions, and Chebyshev polynomials of the second kind.


title: An Index Theory for Paths that are Solutions of a Class of Strongly Indefinite Variational Problems

abstract: We prove a generalized version of the Morse index theorem for geodesics endowed with a non positive definite metric tensor (semi-Riemannian manifolds). We apply the result to obtain lower estimates on the number of geodesics joining two fixed non conjugate points in certain classes of manifolds. More specifically, we consider semi-Riemannian manifolds $(M,\mathfrak g)$ admitting a smooth distribution spanned by commuting Killing vector fields and containing a maximal negative distribution for $\mathfrak$. In particular we obtain Morse relations for stationary semi-Riemannian manifolds and for the {\em G\"odel-type} manifolds.


title: On the equivalence of certain coset conformal field theories

abstract: We demonstrate the equivalence of Kazama-Suzuki cosets $G(m,n,k)$ and $G(k,n,m)$ based on complex Grassmannians by proving that the corresponding conformal precosheaves are isomorphic. We also determine all the irreducible representations of the conformal precosheaves.


title: Presenting Schur Algebras

abstract: Motivated by work of R.M. Green, we obtain a presentation of Schur algebras (both the classical and quantized versions) in terms of generators and relations. The presentation is compatible with the usual presentation of the (quantized or classical) enveloping algebra of gl(n). As a result, we obtain a new ``integral'' basis for Schur algebras which is a subset of Kostant's basis of the integral form of the enveloping algebra (or its q-analogue). Projection onto an appropriate component gives a new "integral" basis and a presentation for the Hecke algebra, compatible with the basis and presentation for the Schur algebra. Finally, we find a second presentation of Schur algebras which is similar to Luzstig's modified form of the quantized enveloping algebra.


title: The ideal structures of crossed products of Cuntz algebras by quasi-free actions of abelian groups

abstract: We completely determine the ideal structures of the crossed products of Cuntz algebras by quasi-free actions of abelian groups and give another proof of A. Kishimoto's result on the simplicity of such crossed products. We also give a necessary and sufficient condition that our algebras become primitive, and compute the Connes spectra and K-groups of our algebras.


title: Minimal surfaces in the Heisenberg group

abstract: We investigate the minimal surface problem in the three dimensional Heisenberg group, H, equipped with its standard Carnot-Caratheodory metric. Using a particular surface measure, we characterize minimal surfaces in terms of a sub-elliptic partial differential equation and prove an existence result for the Plateau problem in this setting. Further, we provide a link between our minimal surfaces and Riemannian constant mean curvature surfaces in H equipped with different Riemannian metrics approximating the Carnot-Caratheodory metric. We generate a large library of examples of minimal surfaces and use these to show that the solution to the Dirichlet problem need not be unique. Moreover, we show that the minimal surfaces we construct are in fact X-minimal surfaces in the sense of Garofalo and Nhieu.


title: Symmetry and monotonicity results for positive solutions of p-Laplace systems

abstract: We extend to the case of a system involving p-Laplacians, the monotonicity and symmetry results of Damascelli and Pacella obtained in the case of a scalar p-Laplace equation with $1<p<2$. For this purpose, we use the moving hyperplanes method and we suppose that the right hand sides are increasing and locally Lipschitz continuous.


title: On a conjecture of Kashiwara

abstract: Kashiwara conjectured that the hard Lefshetz theorem and the semisimplicity theorem hold for any semisimple perverse sheaf M on a variety over a field of characteristic 0. He also conjectured that if you apply to such M the nearby cycle functor corresponding to some function then the successive quotients of the monodromy filtration are semisimple. We prove that these conjectures would follow from de Jong's conjecture on representations modulo l of the arithmetic fundamental group of a variety over a finite field.


title: Twisted quandle homology theory and cocycle knot invariants

abstract: The quandle homology theory is generalized to the case when the coefficient groups admit the structure of Alexander quandles, by including an action of the infinite cyclic group in the boundary operator. Theories of Alexander extensions of quandles in relation to low dimensional cocycles are developed in parallel to group extension theories for group cocycles. Explicit formulas for cocycles corresponding to extensions are given, and used to prove non-triviality of cohomology groups for some quandles. The corresponding generalization of the quandle cocycle knot invariants is given, by using the Alexander numbering of regions in the definition of state-sums. The invariants are used to derive information on twisted cohomology groups.


title: Quantum monodromy and semi-classical trace formulae

abstract: Trace formulae provide one of the most elegant descriptions of the classical-quantum correspondence. One side of a formula is given by a trace of a quantum object, typically derived from a quantum Hamiltonian, and the other side is described in terms of closed orbits of the corresponding classical Hamiltonian. In algebraic situations, such as the original Selberg trace formula, the identities are exact, while in general they hold only in semi-classical or high-energy limits. We refer to a recent survey \cite{Ur} for an introduction and references. In this paper we present an intermediate trace formula in which the original trace is expressed in terms of traces of quantum monodromy operators directly related to the classical dynamics. The usual trace formulae follow and in addition this approach allows handling effective Hamiltonians.


title: On the Andrews-Curtis conjecture and algorithms from topology

abstract: We relate the Andrews-Curtis conjecture to the triviality problem for balanced presentations of groups using algorithms from 3-manifold topology. Implementing this algorithm could lead to counterexamples to the Andrews-Curtis conjecture.


title: On the exceptional zeros of Rankin-Selberg L-functions

abstract: The main objects of study in this article are two classes of Rankin-Selberg L-unctions, namely L(s, f \times g) and L(s, sym^2(g) \times sym^2(g)), where f, g are newforms, holomorphic or of Maass type, on the upper half plane, and sym^2(g) denotes the symmetric square lift of g to GL(3). We prove that in general, i.e., when these L-functions are not divisible by L-functions of quadratic characters (such divisibility happening rarely), they do not admit any Landau-Siegel zeros. These zeros, which are real and close to s=1, are highly mysterious and are not expected to occur. There are corollaries of our result, one of them being a strong lower bound for special value at s=1, which is of interest both geometrically and analytically. One also gets this way a good bound on the norm of sym^2(g).


title: Characterizations of the automorphisms of Hilbert space effect algebras

abstract: In this paper we characterize the automorphisms of Hilbert space effect algebras by means of their preserving properties which concern certain relations and quantities appearing in quantum measurement theory.


title: Reflexivity of the isometry group of some classical spaces

abstract: We investigate the reflexivity of the isometry group and the automorphism group of some important metric linear spaces and algebras. The paper consists of the following sections: 1. Preliminaries. 2. Sequence spaces. 3. Spaces of measurable functions. 4. Hardy spaces. 5. Banach algebras of holomorphic functions. 6. Frechet algebras of holomorphic functions. 7. Spaces of continuous functions.


title: Jordan maps on standard operator algebras

abstract: Jordan isomorphisms of rings are defined by two equations. The first one is the equation of additivity while the second one concerns multiplicativity with respect to the so-called Jordan product. In this paper we present results showing that on standard operator algebras over spaces with dimension at least 2, the bijective solutions of that second equation are automatically additive.


title: Order automorphisms of the set of bounded observables

abstract: Let H be a complex Hilbert space and denote by Bs(H) the set of all self-adjoint bounded linear operators on H. In this paper we describe the form of all bijective maps (no linearity or continuity is assumed) on Bs(H) which preserve the usual order in both directions.


title: Local automorphisms of some quantum mechanical structures

abstract: Let H be a separable infinite dimensional complex Hilbert space. We prove that every continuous 2-local automorphism of the poset (that is, partially ordered set) of all idempotents on H is an automorphism. Similar results concerning the orthomodular poset of all projections and the Jordan ring of all selfadjoint operators on H without the assumption on continuity are also presented.


title: Fidelity preserving maps on density operators

abstract: We prove that any bijective fidelity preserving transformation on the set of all density operators on a Hilbert space is implemented by an either unitary or antiunitary operator on the underlying Hilbert space.


title: A Negative Answer to a Question by Rieffel

abstract: In this article, we address one of the questions raised by Marc Rieffel in his collection of questions on deformation quantization. The question is whether the $K$-groups remain the same under flabby strict deformation quantizations. By "deforming" the question slightly, we produce a negative answer to the question.


title: Directed percolation and random walk

abstract: Techniques of `dynamic renormalization', developed earlier for undirected percolation and the contact model, are adapted to the setting of directed percolation, thereby obtaining solutions of several problems for directed percolation on $Z^d$ where $d \ge 2$. The first new result is a type of uniqueness theorem: for every pair $x$ and $y$ of vertices which lie in infinite open paths, there exists almost surely a third vertex $z$ which is joined to infinity and which is attainable from $x$ and $y$ along directed open paths. Secondly, it is proved that a random walk on an infinite directed cluster is transient, almost surely, when $d \ge 3$. And finally, the block arguments of the paper may be adapted to systems with infinite range, subject to certain conditions on the edge probabilities.


title: Eigenvalues of an elliptic system

abstract: We describe the spectrum of a non-self-adjoint elliptic system on a finite interval. Under certain conditions we find that the eigenvalues form a discrete set and converge asymptotically at infinity to one of several straight lines. The eigenfunctions need not generate a basis of the relevant Hilbert space, and the larger eigenvalues are extremely sensitive to small perturbations of the operator. We show that the leading term in the spectral asymptotics is closely related to a certain convex polygon, and that the spectrum does not determine the operator up to similarity. Two elliptic systems which only differ in their boundary conditions may have entirely different spectral asymptotics. While our study makes no claim to generality, the results obtained will have to be incorporated into any future general theory.


title: A fixed point theorem for bounded dynamical systems

abstract: We show that a continuous map or a continuous flow on $\R^{n}$ with a certain recurrence relation must have a fixed point. Specifically, if there is a compact set W with the property that the forward orbit of every point in $\R^{n}$ intersects W then there is a fixed point in W. Consequently, if the omega limit set of every point is nonempty and uniformly bounded then there is a fixed point.


title: Microlocal study of ind-sheaves I: micro-support and regularity

abstract: We define the notions of micro-support and regularity for ind-sheaves, and prove their invariance by contact transformations. We apply the results to the ind-sheaves of temperate holomorphic solutions of D-modules. We prove that the micro-support of such an ind-sheaf is the characteristic variety of the corresponding D-module and that the ind-sheaf is regular if the D-module is regular holonomic.


title: Cohomology with Grosshans graded coefficients

abstract: Let the reductive group G act on the finitely generated commutative k-algebra A. We ask if the finite generation property of the ring of invariants A^G extends to the full rational cohomology ring H^*(G,A). We confirm this when G=SL_2 and also when the characteristic of k is large and the action on A is replaced by the `contracted' action on the Grosshans graded ring gr(A). In the printed version of this paper the first level of some spectral sequences was misidentified as the second. This affects twelve subscripts. We have corrected them (in 3.10, 4.11, 4.12).


title: Dual Bialgebroids for Depth Two Ring Extensions

abstract: We introduce a general notion of depth two for ring homomorphism N --> M, and derive Morita equivalence of the step one and three centralizers, R = C_M(N) and C = End_{N-M}(M \o_N M), via dual bimodules and step two centralizers A = End_NM_N and B = (M \o_N M)^N, in a Jones tower above N --> M. Lu's bialgebroids End_k A' and A' \o_k {A'}^op over a k-algebra A' are generalized to left and right bialgebroids A and B with B the R-dual bialgebroid of A. We introduce Galois-type actions of A on M and B on End_NM when M_N is a balanced module. In the case of Frobenius extensions M | N, we prove an endomorphism ring theorem for depth two. Further in the case of irreducible extensions, we extend previous results on Hopf algebra and weak Hopf algebra actions in subfactor theory [Szymanski, Nikshych-Vainerman] and its generalizations [Kadison-Nikshych: RA/0107064, RA/0102010] by methods other than nondegenerate pairing. As a result, we have concrete expressions for the Hopf or weak Hopf algebra structures on the step two centralizers. Semisimplicity of B is equivalent to separability of the extension M | N. In the presence of depth two, we show that biseparable extensions are QF.


title: Ample filters of invertible sheaves

abstract: Let $X$ be a scheme, proper over a commutative noetherian ring $A$. We introduce the concept of an ample filter of invertible sheaves on $X$ and generalize the most important equivalent criteria for ampleness of an invertible sheaf. We also prove the Theorem of the Base for $X$ and generalize Serre's Vanishing Theorem. We then generalize results for twisted homogeneous coordinate rings which were previously known only when $X$ was projective over an algebraically closed field. Specifically, we show that the concepts of left and right $\sigma$-ampleness are equivalent and that the associated twisted homogeneous coordinate ring must be noetherian.


title: A connectedness property of algebraic moment maps

abstract: Let a connected reductive group G act on the smooth connected variety X. The cotangent bundle of X is a Hamiltonian G-variety. We show that its "total moment map" has connected fibers. This is an expanded version of section 6 of my paper dg-ga/9712010 on Weyl groups of Hamiltonian manifolds.


title: On the lambda-equations for matching control laws

abstract: We discuss matching control laws for underactuated systems. We previously showed that this class of matching control laws is completely charactarized by a linear system of first order partial differential equations for one set of variables followed by a linear system of first order PDEs for a second set of variables. Here we derive a new first order system of partial differential equations that encodes all compatibility conditions for the lambda-equations. We give four examples illustrating different features of matching control laws. The last example is a system with two unactuated degrees of freedom that admits only basic solutions to the matching equations. There are systems with many matching control laws where only basic solutions are potentially useful. We introduce a rank condition indicating when this is likely to be the case.


title: Multiplicities of Singular Points in Schubert Varieties of Grassmannians

abstract: We give a closed-form formula for the Hilbert function of the tangent cone at the identity of a Schubert variety X in the Grassmannian in both group theoretic and combinatorial terms. We also give a formula for the multiplicity of X at the identity, and a Grobner basis for the ideal defining the intersection of X with the opposite cell as a closed subvariety of the opposite cell. We give conjectures for the Hilbert function and multiplicity at points other than the identity.


title: Notes to the early history of the Knot Theory in Japan

abstract: We give a description of the growth of research on Knot Theory in Japan. We place our report in a general historical context. In particular, we compare the development of research on mathematical topology in Japan with that in Poland and USA, observing several similarities. Toward the end of XIX century and at the beginning of XX century several young mathematicians, educated in Germany, France or England were returning to their native countries and building, almost from scratch, schools of modern mathematics. After a general description of the growth of topology in Japan between the World Wars, we describe the beginning of Knot Theory in Japan. Gaisi Takeuti, later a famous logician, conducted the first Knot Theory seminar in Japan in 1952 or 1953. Kunio Murasugi (later a prominent knot theoretist) was the only student who attended it. In Osaka, a Knot Theory seminar started in 1955, initiated by Hidetaka Terasaka and his students Shin'ichi Kinoshita and Takeshi Yajima. We complete the paper by listing 70 Japanese topologists born before 1946, and by sketching the biography of Fox.


title: The Elliptic Representation of the General Painlev\'e 6 Equation

abstract: We study the analytic properties and the critical behavior of the elliptic representation of solutions of the Painlev\'e 6 equation. We solve the connection problem for elliptic representation in the generic case and in a non-generic case equivalent to WDVV equations of associativity.


title: On efficiency of critical-component method for solving singular and ill-posed systems of linear algebraic equations

abstract: Results are expoundd for the investigation of efficiency of the critical-component method for solving degenerate and ill-posed systems of linear algebraic equations


title: Generalized symplectic rational blowdowns

abstract: We prove that the generalized rational blowdown, a surgery on smooth 4-manifolds, can be performed in the symplectic category.


title: Decorated tangles and canonical bases

abstract: We study the combinatorics of fully commutative elements in Coxeter groups of type $H_n$ for any $n > 2$. Using the results, we construct certain canonical bases (i.e., IC bases) for non-simply-laced generalized Temperley--Lieb algebras and show how to relate them to morphisms in the category of decorated tangles.


title: Proof of the Conjecture that the Planar Self-Avoiding Walk has Root Mean Square Displacement Exponent 3/4

abstract: This paper proves the long-standing open conjecture rooted in chemical physics (Flory (1949)) that the self-avoiding walk (SAW) in the square lattice has root mean square displacement exponent \nu= 3/4. This value is an instance of the formula \nu=1 on Z and \nu = max(1/2, 1/4 + 1/d) in Z^d for dimensions d \geq 2, which will be proved in a subsequent paper. This expression differs from the one that Flory's arguments suggested. We consider (a) the point process of self-intersections defined via certain paths of the symmetric simple random walk in Z^2 and (b) a ``weakly self-avoiding cone process'' relative to this point process when in a certain "shape". We derive results on the asymptotic expected distance of the weakly SAW with parameter \beta>0 from its starting point, from which a number of distance exponents are immediately collectable for the SAW as well. Our method employs the Palm distribution of the point process of self-intersection points in a cone.


title: Geometric Syzygies of Canonical Curves of even Genus lying on a K3-Surface

abstract: Based on a recent result of Voisin [2001] we describe the last nonzero syzygy space in the linear strand of a canonical curve C of even genus g=2k lying on a K3 surface, as the ambient space of a k-2-uple embedded P^{k+1}. Furthermore the geometric syzygies constructed by Green and Lazarsfeld [1984] from g^1_{k+1}'s form a non degenerate configuration of finitely many rational normal curves on this P^{k+1}. This proves a natural generalization of Green's conjecture [1984], namely that the geometric syzygies should span the space of all syzygies, in this case.


title: The Goda-Teragaito conjecture: an overview

abstract: In math.GT/0106017 it was shown that thin position on Heegaard spines can be a useful tool for analyzing the topology of knots in 3-space. The proof there (specifically, of the Goda-Teragaito conjecture) requires masses of technical detail; it is easy to lose track of the underlying ideas. The present paper gives an overview of the argument, stripped of technical detail and emphasizing the mathematical background that seems naturally to motivate the proof.


title: Diffeomorphismes harmoniques du plan hyperbolique

abstract: A classical result of Sampson and Schoen-Yau in 1978 states that every diffeomorphism between compact hyperbolic Riemann surfaces is homotopic to an harmonic diffeomorphism. As conjectured by Schoen in 1993 and partially proved by Wan in 1992 and Tam-Wan in 1995, we prove in this article that this theorem generalizes to the non compact case : every quasi symmetric homeomorphism of the circle extends to a quasi isometric harmonic diffeomorphism of the hyperbolic plane. This enables to parametrize the universal Teichmuller space by bounded holomorphic quadratric differentials of the hyperbolic plane.


title: Building a Stationary Stochastic Process From a Finite-dimensional Marginal

abstract: If A is a finite alphabet, Z^D is a D-dimensional lattice, U is a subset of Z^D, and mu_U is a probability measure on A^U that ``looks like'' the marginal projection of a stationary random field on A^(Z^D), then can we ``extend'' mu_U to such a field? Under what conditions can we make this extension ergodic, (quasi)periodic, or (weakly) mixing? After surveying classical work on this problem when D = 1, we provide some sufficient conditions and some necessary conditions for mu_U to be extendible for D > 1, and show that, in general, the problem is not formally decidable.


title: Limit Measures for Affine Cellular Automata

abstract: Let M be a monoid (e.g. the lattice Z^D), and A an abelian group. A^M is then a compact abelian group; a linear cellular automaton (LCA) is a continuous endomorphism F:A^M --> A^M that commutes with all shift maps. Let mu be a (possibly nonstationary) probability measure on A^M; we develop sufficient conditions on mu and F so that the sequence {F^N mu} (N=1,2,3,...) weak*-converges to the Haar measure on A^M, in density (and thus, in Cesaro average as well). As an application, we show: if A=Z/p (p prime), F is any ``nontrivial'' LCA on A^{(Z^D)}, and mu belongs to a broad class of measures (including most Bernoulli measures (for D >= 1) and ``fully supported'' N-step Markov measures (when D=1), then F^N mu weak*-converges to Haar measure in density.


title: Limit Measures for Affine Cellular Automata, II

abstract: If M is a monoid (e.g. the lattice Z^D), and A is an abelian group, then A^M is a compact abelian group; a linear cellular automaton (LCA) is a continuous endomorphism F:A^M --> A^M that commutes with all shift maps. If F is diffusive, and mu is a harmonically mixing (HM) probability measure on A^M, then the sequence {F^N mu} (N=1,2,3,...) weak*-converges to the Haar measure on A^M, in density. Fully supported Markov measures on A^Z are HM, and nontrivial LCA on A^{Z^D} are diffusive when A=Z/p is a prime cyclic group. In the present work, we provide sufficient conditions for diffusion of LCA on A^{Z^D} when A=Z/n is any cyclic group or when A=[Z/(p^r)]^J (p prime). We show that any fully supported Markov random field on A^{Z^D} is HM (where A is any abelian group).


title: Multiplicative Cellular Automata on Nilpotent Groups: Structure, Entropy, and Asymptotics

abstract: If M is a monoid (e.g. the lattice Z^D), and G is a finite (nonabelian) group, then G^M is a compact group; a `multiplicative cellular automaton' (MCA) is a continuous transformation F:G^M-->G^M which commutes with all shift maps, and where nearby coordinates are combined using the multiplication operation of G. We characterize when MCA are group endomorphisms of G^M, and show that MCA on G^M inherit a natural structure theory from the structure of G. We apply this structure theory to compute the measurable entropy of MCA, and to study convergence of initial measures to Haar measure.


title: Dynamics of the Thermohaline Circulation under Wind forcing

abstract: The ocean thermohaline circulation, also called meridional overturning circulation, is caused by water density contrasts. This circulation has large capacity of carrying heat around the globe and it thus affects the energy budget and further affects the climate. We consider a thermohaline circulation model in the meridional plane under external wind forcing. We show that, when there is no wind forcing, the stream function and the density fluctuation (under appropriate metrics) tend to zero exponentially fast as time goes to infinity. With rapidly oscillating wind forcing, we obtain an averaging principle for the thermohaline circulation model. This averaging principle provides convergence results and comparison estimates between the original thermohaline circulation and the averaged thermohaline circulation, where the wind forcing is replaced by its time average. This establishes the validity for using the averaged thermohaline circulation model for numerical simulations at long time scales.

categories: math.AP cond-mat.stat-mech math-ph math.DS math.MP math.PR nlin.CD physics.ao-ph


title: Enstrophy Dynamics of Stochastically Forced Large-Scale Geophysical Flows

abstract: Enstrophy is an averaged measure of fluid vorticity. This quantity is particularly important in {\em rotating} geophysical flows. We investigate the dynamical evolution of enstrophy for large-scale quasi-geostrophic flows under random wind forcing. We obtain upper bounds on the enstrophy, as well as results establishing its H\"older continuity and describing the small-time asymptotics.

categories: math.AP cond-mat.stat-mech math-ph math.DS math.MP math.PR nlin.CD physics.ao-ph physics.flu-dyn


title: Structure of Contact Lie Algebras Related to Locally-Finite Derivations

abstract: Classical contact Lie algebras are the fundamental algebraic structures on the manifolds of contact elements of configuration spaces in classical mechanics. In this paper, we determine the structure of the currently largest known category of contact simple Lie algebras introduced earlier by the second author. These algebras are in general not finitely-graded.


title: Lectures on Calabi-Yau and special Lagrangian geometry

abstract: This paper gives a leisurely introduction to Calabi-Yau manifolds and special Lagrangian submanifolds from the differential geometric point of view, followed by a survey of recent results on singularities of special Lagrangian submanifolds, and their application to the SYZ Conjecture. It is aimed at graduate students in Geometry, String Theorists, and others wishing to learn the subject, and is designed to be fairly self-contained. It is based on lecture courses given at Nordfjordeid, Norway and MSRI, Berkeley in June and July 2001. We introduce Calabi-Yau m-folds via holonomy groups, Kahler geometry and the Calabi Conjecture, and special Lagrangian m-folds via calibrated geometry. `Almost Calabi-Yau m-folds' (a generalization of Calabi-Yau m-folds useful in special Lagrangian geometry) are explained and the deformation theory and moduli spaces of compact special Lagrangian submanifolds in (almost) Calabi-Yau m-folds is described. In the final part we consider isolated singularities of special Lagrangian m-folds, focussing mainly on singularities locally modelled on cones, and the expected behaviour of singularities of compact special Lagrangian m-folds in generic (almost) Calabi-Yau m-folds. String Theory, Mirror Symmetry and the SYZ Conjecture are briefly discussed, and some results of the author on singularities of special Lagrangian fibrations of Calabi-Yau 3-folds are described.


title: Irreducibility of Equisingular Families of Curves

abstract: In 1985 Joe Harris proved the long standing claim of Severi that equisingular families of nodal plane curves are irreducible whenever they are non-empty. For families with more complicated singularities this is no longer true. Given a divisor D on a smooth projective surface S it thus makes sense to look for conditions which ensure that the family V_D(S_1,...,S_r) of irreducible curves in the linear system |D| with precisely r singular points of types S_1,...,S_r is irreducible. Considering different surfaces including general surfaces in P^3 and products of curves, we produce a sufficient condition of the type deg(X(S_1))^2 +...+ deg(X(S_r))^2 < a*(D-K_S)^2, where a is some constant and X(S_i) some zero-dimensional scheme associated to the singularity type. Our results carry the same asymptotics as the best known results in this direction in the plane case, even though the coefficient is worse. For most of the considered surfaces these are the only known results in that direction.


title: Quadratic variation, p-variation and integration with applications to stock price modelling

abstract: The paper develops a calculus for a class of real-valued functions having a quadratic variation. The main result is a solution of the representation problem for a class of evolutions having a quadratic variation. The result is applied to build up an asset pricing model. Also in the paper there are some results concerning an extension of the class of all semimartingales.


title: Groups of diffeomorphisms of one-manifolds, III: Nilpotent subgroups

abstract: Plante-Thurston proved that every nilpotent subgroup of $\Diff^2(S^1)$ is abelian. One of our main results is a sharp converse: $\Diff^1(S^1)$ contains every finitely-generated, torsion-free nilpotent group.


title: Exceptional Discrete Mapping Class Group Orbits in Moduli Spaces

abstract: Let $M$ be a four-holed sphere and $\Gamma$ the mapping class group of $M$ fixing $\partial M$. The group $\Gamma$ acts on the space ${\mathcal M}_{\mathcal B}(SU(2))$ of SU(2)-gauge equivalence classes of flat SU(2)-connections on $M$ with fixed holonomy on $\partial M$. We give examples of flat SU(2)-connections whose holonomy groups are dense in SU(2), but whose $\Gamma$-orbits are discrete in ${\mathcal M}_{\mathcal B}(SU(2))$. This phenomenon does not occur for surfaces with genus greater than zero.


title: The equivalence and the embedding problems for CR-structures of any codimension

abstract: We give a solution to the equivalence and the embedding problems for smooth CR-submanifolds of complex spaces (and, more generally, for abstract CR-manifolds) in terms of complete differential systems in jet bundles satisfied by all CR-equivalences or CR-embeddings respectively (local and global). For the equivalence problem, the manifolds are assumed to be of finite type and finitely nondegenerate. These are higher order generalizations of the corresponding nondegeneracy conditions for the Levi form. It is shown by a simple example that these nondegeneracy conditions cannot be even slightly relaxed to more general known conditions. In particular, for essentially finite hypersurfaces in $\C^2$, such a complete system may not exist in general. For the embedding problem, the source manifold is assumed to be of finite type and the embeddings to be finitely nondegenerate. Situations are given, where the last condition is automatically satisfied by all CR-embeddings.


title: Shuffles on Coxeter groups

abstract: The random-to-top and the riffle shuffle are two well-studied methods for shuffling a deck of cards. These correspond to the symmetric group $S_n$, i.e., the Coxeter group of type $A_{n-1}$. In this paper, we give analogous shuffles for the Coxeter groups of type $B_n$ and $D_n$. These can be interpreted as shuffles on a ``signed'' deck of cards. With these examples as motivation, we abstract the notion of a shuffle algebra which captures the connection between the algebraic structure of the shuffles and the geometry of the Coxeter groups. We also briefly discuss the generalisation to buildings which leads to q-analogues.


title: Adjoints of elliptic cone operators

abstract: We study the adjointness problem for the closed extensions of a general b-elliptic operator A in x^{-\nu}Diff^m_b(M;E), \nu>0, initially defined as an unbounded operator A:C_c^\infty(M;E)\subset x^\mu L^2_b(M;E)\to x^\mu L^2_b(M;E), \mu \in \R. The case where A is a symmetric semibounded operator is of particular interest, and we give a complete description of the domain of the Friedrichs extension of such an operator.


title: Geometrically Uniform Frames

abstract: We introduce a new class of frames with strong symmetry properties called geometrically uniform frames (GU), that are defined over an abelian group of unitary matrices and are generated by a single generating vector. The notion of GU frames is then extended to compound GU (CGU) frames which are generated by an abelian group of unitary matrices using multiple generating vectors. The dual frame vectors and canonical tight frame vectors associated with GU frames are shown to be GU and therefore generated by a single generating vector, which can be computed very efficiently using a Fourier transform defined over the generating group of the frame. Similarly, the dual frame vectors and canonical tight frame vectors associated with CGU frames are shown to be CGU. The impact of removing single or multiple elements from a GU frame is considered. A systematic method for constructing optimal GU frames from a given set of frame vectors that are not GU is also developed. Finally, the Euclidean distance properties of GU frames are discussed and conditions are derived on the abelian group of unitary matrices to yield GU frames with strictly positive distance spectrum irrespective of the generating vector.


title: Robertson Type Theorems for Frames

abstract: We extend Robertson's theorem to apply to frames generated by the action of a discrete, countable abelian unitary group. Within this setup we use Stone's theorem and the theory of spectral multiplicity to analyze wandering frame collections. Motivated by wavelet theory, we explicitly apply our results to the action of the integers given by translations on $\ltwo$. This yields a new functional analytic method of constructing a wavelet from a multiresolution analysis.


title: Pushing disks apart - The Kneser-Poulsen conjecture in the plane

abstract: We give a proof of the planar case of a longstanding conjecture of Kneser (1955) and Poulsen (1954). In fact, we prove more by showing that if a finite set of disks in the plane is rearranged so that the distance between each pair of centers does not decrease, then the area of the union does not decrease, and the area of the intersection does not increase.


title: Abelian surfaces with anti-holomorphic multiplication

abstract: For appropriate $N\ge 3$ and $d<0,$ the moduli space of principally polarized abelian surfaces with level $N$ structure and anti-holomorphic multiplication by $\mathcal O_d$ (the ring of integers in $\mathbb Q(\sqrt{d})$) is shown to consist of the real points of a quasi-projective algebraic variety defined over $\mathbb Q$, and to coincide with finitely many copies of the quotient of hyperbolic 3-space by the principal congruence subgroup of level $N$ in $\mathbf{SL}(2, \mathcal O_d).$


title: Gromov - Witten invariants and quantization of quadratic hamiltonians

abstract: We describe a formalism based on quantization of quadratic hamiltonians and symplectic actions of loop groups which provides a convenient home for most of known general results and conjectures about Gromov-Witten invariants of compact symplectic manifolds and, more generally, Frobenius structures at higher genus. We state several results illustrating the formalism and its use. In particular, we establish Virasoro constraints for semisimple Frobenius structures and outline a proof of the Virasoro conjecture for Gromov -- Witten invariants of complex projective spaces and other Fano toric manifolds. Details will be published elsewhere.


title: Jacobi cohomology, local geometry of moduli spaces, and Hitchin connections

abstract: The main aim of this paper is to develop general algebraic and cohomological tools for the study of the local geometry of moduli and parameter spaces in Algebraic Geometry, culminating in the so-called Hitchin (or KZ) (projective) connection over the Moduli of curves and the proof of its flatness. Among other things, we notably give a 'modular' (i.e. in terms of the modular problem) construction of the differential operators- of any order- acting on (general)modular vector bundles, and in particular for the Lie algebra of vector fields on a (general) Moduli space, with its natural action on functions. The methods involve mostly Lie algebras and their cohomology.


title: Covering Dimension for Nuclear C*-Algebras II

abstract: The completely positive rank is an analogue of topological covering dimension, defined for nuclear C*-algebras via completely positive approximations. These may be thought of as simplicial approximations of the algebra, which leads to the concept of piecewise homogeneous maps and a notion of noncommutative simplicial complexes. We introduce a technical variation of the completely positive rank and show that the two theories coincide in many important cases. Furthermore we analyze some of their properties; in particular we show that both theories behave nicely with respect to ideals and that they coincide with covering dimension of the spectrum for certain continuous trace C*-algebras.


title: Moduli space of real abelian varieties with level structure

abstract: The moduli space of principally polarized abelian varieties with real structure and with level $N=4m$ structure (with $m \ge 1$) is shown to coincide with the set of real points of a quasi-projective algebraic variety defined over $\mathbb Q$, and to consist of finitely many copies of the quotient of the space $\mathbf{GL}(n, \mathbb R)/\mathbf O(N)$ (of positive definite symmetric matrices) by the principal congruence subgroup of level $N$ in $\mathbf{GL}(n, \mathbb Z).$


title: Holomorphic Principal Bundles Over Elliptic Curves III: Singular Curves and Fibrations

abstract: Let G be a simple and simply connected complex linear algebraic group. In this paper, we discuss the generalization of the parabolic construction of holomorphic principal G-bundles over a smooth elliptic curve to the case of a singular curve of arithmetic genus one and to a fibration of Weierstrass cubics over a base B. Except for G of type E_8, the method gives a family of weighted projective spaces associated to a sum of line bundles over B. Working with the universal family of Weierstrass curves over affine two-space and its natural C^*-action, we determine the line bundles that arise in the direct sum in terms of the Casimir weights of the group. We show that in the case of a cuspidal or nodal curve C, provided that G is not of type E_8 or C is not cuspidal, the parabolic construction is closely related to constructions of Kostant and Steinberg of sections for the adjoint quotient morphism of the group G or its Lie algebra, and that moreover it gives a compactification of the adjoint quotient. We describe how the construction may be modified for E_8. Finally, given an irreducible representation of G, we characterize the G-bundles arising from the parabolic construction such that the associated vector bundle is unstable.


title: Quantum K-theory on flag manifolds, finite-difference Toda lattices and quantum groups

abstract: We conjecture that appropriate K-theoretic Gromov-Witten invariants of complex flag manifolds G/B are governed by finite-difference versions of Toda systems constructed in terms of the Langlands-dual quantized universal enveloping algebras U_q(g'). The conjecture is proved in the case of classical flag manifolds of the series A. The proof is based on a refinement of the famous Atiyah-Hirzebruch argument for rigidity of arithmetical genus applied to hyperquot-scheme compactifications of spaces of rational curves in the flag manifolds.


title: Derangements and tensor powers of adjoint modules for sl_n

abstract: We obtain the decomposition of the tensor space $\mathfrak{sl}_n^{\otimes k}$ as a module for $\mathfrak{sl}_n$, find an explicit formula for the multiplicities of its irreducible summands, and (when $n \ge 2k$) describe the centralizer algebra $C=End_{\mathfrak{sl}_n}(\mathfrak{sl}_n^{\otimes k})$ and its representations. The multiplicities of the irreducible summands are derangement numbers in several important instances, and the dimension of $C$ is given by the number of derangements of a set of $2k$ elements.


title: Index defects in the theory of nonlocal boundary value problems and the eta invariant

abstract: We study elliptic theory on manifolds with boundary represented as a covering space. Firstly, we consider boundary value problems, where the boundary conditions are allowed to mix the values of functions in the fibers of the covering. We show that elliptic elements define Fredholm operators and prove an index formula. For the identity covering, our formula reduces to the Atiyah-Bott index formula for classical boundary value problems. Secondly, we consider Atiyah-Patodi-Singer boundary value problems for operators adapted to the covering. We show that the corresponding symbols have a natural homotopy invariant. This invariant is equal to the index of the corresponding spectral problem plus the relative eta-invariant. The computation of this invariant in topological terms is one of the main results of the paper. For a trivial covering, we recover the mod n-index theorem of Freed-Melrose. Finally, we prove the Poincare duality and isomorphisms in K-theory of singular spaces corresponding to our manifolds. The isomorphisms are defined in terms of the two classes of elliptic operators from the above. Thus, the two elliptic theories are dual.


title: The Toda conjecture

abstract: We study the Toda conjecture of Eguchi and Yang for the Gromov-Witten invariants of CP^1,using the bihamiltonian method of the formal calculus of variations. We also study its relationship to the Virasoro conjecture for CP^1, recently proved by Givental (math.AG/0108100).


title: Hodge structure on the fundamental group and its application to p-adic integration

abstract: We study the unipotent completion $\Pi^{DR}_{un}(x_0, x_1, X_K)$ of the de Rham fundamental groupoid [De] of a smooth algebraic variety over a local non-archimedean field K of characteristic 0. We show that the vector space $\Pi^{DR}_{un}(x_0, x_1, X_K)$ possesses a distinguished element. In the other words, given a vector bundle E on $X_K$ together with a unipotent integrable connection, we have {\sf a canonical} isomorphism $E_{x_0}\simeq E_{x_1}$ between the fibers. The latter construction is a generalization of Colmez's p-adic integration (rk E=2) and Coleman's p-adic iterated integrals ($X_K$ is a curve with good reduction). In the second part we prove that, if $X_{K_0}$ is a smooth variety over an unramified extension of $\mathbb{Q}_p$ with good reduction and $r \leq \frac{p-1}{2}$ then there is a canonical isomorphism $\Pi^{DR}_{r}(x_0, x_1, X_{K_0})\otimes B_{DR} \simeq \Pi^{et}_{r}(x_0, x_1, X_{\overline K_0}) \otimes B_{DR}$ compatible with the action of Galois group (Here $\Pi^{DR}_{r}(x_0, x_1, X_{K_0})$ is the level r quotient of $\Pi^{DR}_{un}(x_0, x_1, X_K)$). In particularly, it implies the Crystalline Conjecture for the fundamental group [Shiho] (for $r \leq \frac{p-1}{2}$) .


title: The space of associated metrics on a symplectic manifold

abstract: The spaces of Riemannian metrics on a closed manifold $M$ are studied. On the space ${\mathcal M}$ of all Riemannian metrics on $M$ the various weak Riemannian structures are defined and the corresponding connections are studied. The space ${\mathcal AM}$ of associated metrics on a symplectic manifold $M,\omega$ is considered in more detail. A natural parametrization of the space ${\mathcal AM}$ is defined. It is shown, that ${\mathcal AM}$ is a complex manifold. A curvature of the space ${\mathcal AM}$ and quotient space ${\mathcal AM}/{\mathcal D}_{\omega}$ is found. The finite dimensionality of the space of associated metrics of a constant scalar curvature with Hermitian Ricci tensor is shown.


title: The Quantization of the Relative Cohomology Group

abstract: The paper was removed.


title: $\U_q(sl(n))$-invariant quantization of symmetric coadjoint orbits via reflection equation algebra

abstract: We study relations between the two-parameter $\U_q(sl(n))$-invariant deformation quantization on $sl^*(n)$ and the reflection equation algebra. The latter is described by a quantum permutation on $\End(\C^n)$ given explicitly. The reflection equation algebra is used for constructing the one-parameter quantization on coadjoint orbits, including symmetric and certain bisymmetric and nilpotent ones. Our approach is based on embedding the quantized function algebras on the orbits into the algebra of functions on the quantum group $SL_q(n)$ via reflection equation algebra characters.


title: Einstein Metrics on Rational Homology 7-Spheres

abstract: In this paper we demonstrate the existence of Sasakian-Einstein structures on certain 2-connected rational homology 7-spheres. These appear to be the first non-regular examples of Sasakian-Einstein metrics on simply connected rational homology spheres. We also briefly describe the rational homology 7-spheres that admit regular positive Sasakian structures.


title: A Class of non-MRA Band-limited Wavelets

abstract: We give a characterization of a class of band-limited wavelets of $L^2({\mathbb R})$ and show that none of these wavelets come from a multiresolution analysis (MRA). For each $n\geq 2$, we construct a subset $S_n$ of ${\mathbb R}$ which is symmetric with respect to the origin. We give necessary and sufficient conditions on a function $\psi\in L^2({\mathbb R})$ with supp $\hat\psi\subseteq S_n$ to be an orthonormal wavelet. This result generalizes the characterization of a class of wavelets of E. Hern\'andez and G. Weiss. The dimension functions associated with these wavelets are also computed explicitly. Starting from the wavelets we have constructed, we are able to construct examples of wavelets in each of the equivalence classes of wavelets defined by E. Weber.


title: On the minimal number of critical points of functions on h-cobordisms

abstract: Let (W,M,M'), dim W > 5, be a non-trivial h-cobordism (i.e., the Whitehead torsion of (W,V) is non-zero). We prove that every smooth function f: W --> [0,1], f(M)=0, f(M')=1 has at least 2 critical points. This estimate is sharp: W possesses a function as above with precisely two critical points.


title: A proof of a homeomorphism theorem of Waldhausen

abstract: We give a short proof of Waldhausen's homeomorphism theorem for orientable Haken 3-manifolds.


title: The structure of corings with a grouplike element

abstract: Characteristic properties of corings with a grouplike element are analysed. Associated differential graded rings are studied. A correspondence between categories of comodules and flat connections is established. A generalisation of the Cuntz-Quillen theorem relating existence of connections in a module to projectivity of this module is proven.


title: Effective freeness of adjoint line bundles

abstract: In this note we establish a new Fujita-type effective bound for the base point freeness of adjoint line bundles on a compact complex projective manifold of complex dimension $n$. The bound we obtain (approximately) differs from the linear bound conjectured by Fujita only by a factor of the cube root of $n$. As an application, a new effective statement for pluricanonical embeddings is derived.


title: The cardinality of the set of real numbers

abstract: A proof that the set of real numbers is denumerable is given.


title: Formula for the Mean Square Displacement Exponent of the Self-Avoiding Walk in 3, 4 and All Dimensions

abstract: This paper proves the formula \nu(d) =1 for d=1 and \nu(d) = max(1/4 +1/d, 1/2) for d > 1 for the root mean square displacement exponent \nu(d) of the self-avoiding walk (SAW) in Z^d, and thus, resolves some major long-standing open conjectures rooted in chemical physics (Flory, 1949). The values \nu(2) =3/4 and \nu(4) = 1/2 coincide with those that were believed on the basis of heuristic and "numerical evidence". Perhaps surprisingly, there was no precise conjecture in dimension 3. Yet as early as in the 1980ies, Monte Carlo simulations produced a couple of confidence intervals for the exponent \nu(3). This work is a follow-up to Hueter (2001), which proves the result for d=2 and lays out the fundamental building blocks for the analysis in all dimensions. We consider (a) the point process of self-intersections defined via certain paths of length n of the symmetric simple random walk in Z^d and (b) a ``weakly self-avoiding cone process'' relative to this point process in a certain "shape". The asymptotic expected distance of the process in (b) can be calculated rather precisely as n tends large and, if the point process has circular shape, can be shown to asymptotically equal (up to error terms) the one of the weakly SAW with parameter \beta >0. From these results, a number of distance exponents are immediately collectable for the SAW as well. Our approach invokes the Palm distribution of the point process of self-intersections in a cone.


title: Applications of the classical umbral calculus

abstract: We describe applications of the classical umbral calculus to bilinear generating functions for polynomial sequences, identities for Bernoulli and related numbers, and Kummer congruences.


title: Convergence of Finite Difference Methods for Poisson's Equation with Interfaces

abstract: In this paper, a weak formulation of the discontinuous variable coefficient Poisson equation with interfacial jumps is studied. The existence, uniqueness and regularity of solutions of this problem are obtained. It is shown that the application of the Ghost Fluid Method by Fedkiw, Kang, and Liu to this problem can be obtained in a natural way through discretization of the weak formulation. An abstract framework is given for proving the convergence of finite difference methods derived from a weak problem, and as a consequence, the Ghost Fluid Method is proven to be convergent.


title: On normed products of operator ideals which contain $\frak{L}_2$ as a factor

abstract: We investigate quasi-Banach operator ideal products $({\frak{A}}\circ{\frak{B}},\mathbf{A\circ B})$ which contain $(\frak{L}_2, \mathbf{L}_2)$ as a factor. In particular, we ask for conditions which guarantee that $\mathbf{A\circ B}$ is even a norm if each factor of the product is a 1-Banach ideal. In doing so, we reveal the strong influence of the existence of such a norm in relation to the accessibility of the product ideal and the structure of its factors.


title: Density Invariance of Certain Operational Quantities of Bounded Linear Operators in Normed Spaces

abstract: Based on ideas of R.W. Cross, a simplified proof is presented of the density invariance of certain operational quantities associated with bounded linear operators in normed vector spaces.


title: The Geometry of Supergravity Torsion Constraints

abstract: This is an expository paper about the geometry of the torsion constraints in the superspace formulation of supergravity theories. It was prepared for the 2001 Park City Research Program in Supergeometry.


title: Cyclic Homology of Hopf Comodule Algebras and Hopf Module Coalgebras

abstract: In this paper we construct a cylindrical module $A \natural \mathcal{H}$ for an $\mathcal{H}$-comodule algebra $A$, where the antipode of the Hopf algebra $\mathcal{H}$ is bijective. We show that the cyclic module associated to the diagonal of $A \natural \mathcal{H}$ is isomorphic with the cyclic module of the crossed product algebra $A \rtimes \mathcal{H}$. This enables us to derive a spectral sequence for the cyclic homology of the crossed product algebra. We also construct a cocylindrical module for Hopf module coalgebras and establish a similar spectral sequence to compute the cyclic cohomology of crossed product coalgebras.


title: Paradoxes of Randomness

abstract: I'll discuss how Goedel's paradox "This statement is false/unprovable" yields his famous result on the limits of axiomatic reasoning. I'll contrast that with my work, which is based on the paradox of "The first uninteresting positive whole number", which is itself a rather interesting number, since it is precisely the first uninteresting number. This leads to my first result on the limits of axiomatic reasoning, namely that most numbers are uninteresting or random, but we can never be sure, we can never prove it, in individual cases. And these ideas culminate in my discovery that some mathematical facts are true for no reason, they are true by accident, or at random. In other words, God not only plays dice in physics, but even in pure mathematics, in logic, in the world of pure reason. Sometimes mathematical truth is completely random and has no structure or pattern that we will ever be able to understand. It is NOT the case that simple clear questions have simple clear answers, not even in the world of pure ideas, and much less so in the messy real world of everyday life.


title: Integrability of the Gauss-Codazzi-Mainardi equation in 2+1 dimensions

abstract: Integrability of the (2+1)-dimensional Gauss-Codazzi-Mainardi equation is considered. It is shown that this equation is the particular cases of the Yang-Mills-Higgs-Bogomolny and self-dual Yang-Mills equations.


title: Derivatives of p-adic L-functions, Heegner cycles and monodromy modules attached to modular forms

abstract: In this paper we prove a Gross-Zagier type formula for the anticyclotomic p-adic L-function of an elliptic modular form f of higher weight and of multiplicative type at p. For such f we also decribe explicitely the local Galois representation attached to it at p and compare the Fontaine-Mazur and Teitelbaum L-invariants.


title: Poisson structures on tangent bundles

abstract: The paper starts with an interpretation of the complete lift of a Poisson structure from a manifold M to its tangent bundle TM by means of the Schouten- Nijenhuis bracket of covariant symmetric tensor fields defined by the co- tangent Lie algebroid of M. Then, we discuss Poisson structures of TM which have a graded restriction to the fiberwise polynomial algebra; they must be p-related (p is the projection of TM onto M) with a Poisson structure on M. Furthermore, we define transversal Poisson structures of a foliation, and discuss bivector fields of TM which produce graded brackets on the fiberwise polynomial algebra, and are transversal Poisson structures of the foliation by fibers. Finally, such bivector fields are produced by a process of horizontal lifting of Poisson structures from M to TM via connections.


title: Computing the Frobenius-Schur indicator for abelian extensions of Hopf algebras

abstract: In this paper we show that for an important class of non-trivial Hopf algebras, the Schur indicator is a computable invariant. The Hopf algebras we consider are all abelian extensions; as a special case, they include the Drinfeld double of a group algebra. In addition to finding a general formula for the indicator, we also study when it is always positive. In particular we prove that the indicator is always positive for the Drinfeld double of the symmetric group, generalizing the classical result for the symmetric group itself.


title: Lie algebra extensions related with linear bundles of Lie brackets

abstract: We consider some special type extensions of an arbitrary Lie algebra ${\cal G}$, arising in the theory of Lie-Poisson structures over $({\cal G}^*)^n$, where ${\cal G}^*$ is the dual of ${\cal G}$. We show that some classes of these extensions can be constructed in a natural way using some linear bundles of Lie algebras.


title: Degrees of real Wronski maps

abstract: We study the map which sends vectors of polynomials into their Wronski determinants. This defines a projection map of a Grassmann variety which we call a Wronski map. Our main result is computation of degrees of the real Wronski maps. Connections with real algebraic geometry and control theory are described.


title: Propagation in Hamiltonian dynamics and relative symplectic homology

abstract: The main result asserts the existence of noncontractible periodic orbits for compactly supported time dependent Hamiltonian systems on the unit cotangent bundle of the torus or of a negatively curved manifold whenever the generating Hamiltonian is sufficiently large over the zero section. The proof is based on Floer homology and on the notion of a relative symplectic capacity. Applications include results about propagation properties of sequential Hamiltonian systems, periodic orbits on hypersurfaces, Hamiltonian circle actions, and smooth Lagrangian skeletons in Stein manifolds.


title: The bigger Brauer group is really big

abstract: I show that each etale n-cohomology class on noetherian schemes comes from a Cech cocycle, provided that any n-tuple of points admits an affine open neighborhood. Together with results of Raeburn and Taylor on the bigger Brauer group, this implies that for schemes such that each pair of points admits an affine open neighborhood, any etale G_m-gerbe comes from a central separable algebra. Such algebras are nonunital generalizations of Azumaya algebras. I also prove that, on normal noetherian schemes, each Zariski G_m-gerbe comes from a central separable algebra.