title: On embedding of the Bratteli diagram into a surface

abstract: We study C*-algebras O_{\lambda} which arise in dynamics of the interval exchange transformations and measured foliations on compact surfaces. Using Koebe-Morse coding of geodesic lines, we establish a bijection between Bratteli diagrams of such algebras and measured foliations. This approach allows us to apply K-theory of operator algebras to prove strict ergodicity criterion and Keane's conjecture for the interval exchange transformations.


title: Sparsity vs. Statistical Independence in Adaptive Signal Representations: A Case Study of the Spike Process

abstract: Finding a basis/coordinate system that can efficiently represent an input data stream by viewing them as realizations of a stochastic process is of tremendous importance in many fields including data compression and computational neuroscience. Two popular measures of such efficiency of a basis are sparsity (measured by the expected $\ell^p$ norm, $0 < p \leq 1$) and statistical independence (measured by the mutual information). Gaining deeper understanding of their intricate relationship, however, remains elusive. Therefore, we chose to study a simple synthetic stochastic process called the spike process, which puts a unit impulse at a random location in an $n$-dimensional vector for each realization. For this process, we obtained the following results: 1) The standard basis is the best both in terms of sparsity and statistical independence if $n \geq 5$ and the search of basis is restricted within all possible orthonormal bases in $R^n$; 2) If we extend our basis search in all possible invertible linear transformations in $R^n$, then the best basis in statistical independence differs from the one in sparsity; 3) In either of the above, the best basis in statistical independence is not unique, and there even exist those which make the inputs completely dense; 4) There is no linear invertible transformation that achieves the true statistical independence for $n > 2$.


title: A reconstruction theorem in quantum cohomology and quantum K-theory

abstract: A reconstruction theorem for genus 0 gravitational quantum cohomology and quantum K-theory is proved. A new linear equivalence in the Picard group of the moduli space of genus 0 stable maps relating the pull-backs of line bundles from the target via different markings is used for the reconstruction result. Examples of calculations in quantum cohomology and quantum K-theory are given.


title: Ordered abelian groups over a CW complex

abstract: If X is a CW complex, one can assign to each point of X an ordered abelian group of finite rank whose subset of positive elements depends continuously on the points of X. A locally trivial bundle which arises in this way we denote by E(X). In the present work we establish a topological classification of such bundles in terms of the first cohomology group of X with coefficients in the ring Z_2. This result has an amazing application in the theory of characteristic classes of foliations on compact manifolds.


title: The maximum or minimum number of rational points on curves of genus three over finite fields

abstract: We show that for all finite fields F_q, there exists a curve C over F_q of genus 3 such that the number of rational points on C is within 3 of the Serre-Weil upper or lower bound. For some q, we also obtain improvements on the upper bound for the number of rational points on a genus 3 curve over F_q.


title: Fuglede conjecture holds for convex planar domains

abstract: Let $\Omega$ be a compact convex domain in the plane. We prove that $L^2(\Omega)$ has an orthogonal basis of exponentials if and only if $\Omega$ tiles the plane by translation.


title: Some surface subgroups survive surgery

abstract: It is shown that with finitely many exceptions, the fundamental group obtained by Dehn surgery on a one cusped hyperbolic 3-manifold contains the fundamental group of a closed surface.


title: An extension theorem for separately holomorphic functions with singularities

abstract: Let $D_j\subset\Bbb C^{k_j}$ be a pseudoconvex domain and let $A_j\subset D_j$ be a locally pluripolar set, $j=1,...,N$. Put$$X:=\bigcup_{j=1}^N A_1\times...\times A_{j-1}\times D_j\times A_{j+1}\times...\times A_N\subset\Bbb C^{k_1+...+k_N}.$$Let $U$ be an open connected neighborhood of $X$ and let $M\varsubsetneq U$ be an analytic subset. Then there exists an analytic subset $\hat M$ of the `envelope of holomorphy' $\hat X$ of $X$ with $\hat M\cap X\subset M$ such that for every function $f$ separately holomorphic on $X\setminus M$ there exists an $\hat f$ holomorphic on $\hat X\setminus\hat M$ with $\hat f|_{X\setminus M}=f$. The result generalizes special cases which were studied in \cite{\"Okt 1998}, \cite{\"Okt 1999}, \cite{Sic 2000}, and \cite{Jar-Pfl 2001}.


title: Clusters of Cycles

abstract: A {\it cluster of cycles} (or {\it $(r,q)$-polycycle}) is a simple planar 2--co nnected finite or countable graph $G$ of girth $r$ and maximal vertex-degree $q$, which admits {\it $(r,q)$-polycyclic realization} on the plane, denote it by $P(G)$, i.e. such that: (i) all interior vertices are of degree $q$, (ii) all interior faces (denote their number by $p_r$) are combinatorial $r$-gons and (implied by (i), (ii)) (iii) all vertices, edges and interior faces form a cell-complex. An example of $(r,q)$-polycycle is the skeleton of $(r^q)$, i.e. of the $q$-valent partition of the sphere $S^2$, Euclidean plane $R^2$ or hyperbolic plane $H^2$ by regular $r$-gons. Call {\it spheric} pairs $(r,q)=(3,3),(3,4),(4,3),(3,5),(5,3)$; for those five pairs $P(r^q)$ is $(r^q)$ without the exterior face; otherwise $P(r^q)=(r^q)$. We give here a compact survey of results on $(r,q)$-polycycles.


title: Prescribing a fourth order conformal invariant on the standard sphere, Part II: blow-up analysis and applications

abstract: In this paper we perform a fine blow-up analysis for a fourth order elliptic equation involving critical Sobolev exponent, related to the prescription of some conformal invariant on the standard sphere. We derive from this analysis some a priori estimates in dimension 5 and 6. On the five dimensionl sphere these a priori estimates combined with the perturbation result of Part I allow us to obtain some existence results. On the six dimensional sphere we prove the existence of at least one solution when an associated index is different from zero.


title: Fourier bases and a distance problem of Erd\H os

abstract: We prove that no ball admits a non-harmonic orthogonal basis of exponentials. We use a combinatorial result, originally studied by Erd\H os, which says that the number of distances determined by $n$ points in ${\Bbb R}^d$ is at least $C_d n^{\frac{1}{d}+\epsilon_d}$, $\epsilon_d>0$.


title: Spectral and Tiling properties of the Unit Cube

abstract: Let $\Q=[0,1)^d$ denote the unit cube in $d$-dimensional Euclidean space \Rd and let \T be a discrete subset of \Rd. We show that the exponentials $e_t(x):=exp(i2\pi tx)$, $t\in\T$ form an othonormal basis for $L^2(\Q)$ if and only if the translates $\Q+t$, $t\in\T$ form a tiling of \Rd.


title: How large are the spectral gaps?

abstract: Let $D$ be a bounded domain in ${\Bbb R}^n$ whose boundary has a Minkowski dimension $\alpha<n$. Suppose that $E_{\Lambda}= {\{e^{2 \pi i x \cdot \lambda}\}}_{\lambda \in \Lambda}$, $\Lambda$ an infinite discrete subset of ${\Bbb R}^n$, is a frame of exponentials for $L^2(D)$, with frame constants $A,B$, $A \leq B$. Then if $$ R \ge C{(\frac{{B|\partial D|}_{\alpha}}{A|D|} )}^ {\frac{1}{n-\alpha}},$$ where $C$ depends only on the ambient dimension $n$ and ${|\partial D|}_{\alpha}$ denotes the Minkowski content, then every cube of sidelength $R$ contains at least one element of $\Lambda$. We give examples that illustrate the extent to which our estimates are sharp.


title: Some sharp restriction theorems for homogeneous manifolds

abstract: We prove some restriction theorems for flat homogeneous surfaces of codimension greater than one.


title: Maximal averages over flat radial hypersurfaces

abstract: We prove nearly sharp Orlicz space estimates for maximal averages over flat radial hypersurfaces in ${\Bbb R}^d$, $d \ge 3$.


title: Fourier transform, $L^2$ restriction theorem, and scaling

abstract: We show, using a Knapp-type homogeneity argument, that the $(L^p, L^2)$ restriction theorem implies a growth condition on the hypersurface in question. We further use this result to show that the optimal $(L^p, L^2)$ restriction theorem implies the sharp isotropic decay rate for the Fourier transform of the Lebesgue measure carried by compact convex finite hypersurfaces.


title: Pattern frequency sequences and internal zeros

abstract: Consider the number of permutations in the symmetric group on n letters that contain c copies of a given pattern. As c varies (with n held fixed) these numbers form a sequence whose properties we study for the monotone patterns and the patterns 1, l, l-1, ..., 2. We show that, except for the patterns 1, 2 and 2, 1 where the sequence is well-known to be log concave, there are infinitely many n where the sequence has internal zeros.


title: Generators and relations for Schur algebras

abstract: We obtain a presentation of Schur algebras (and q-Schur algebras) by generators and relations which is compatible with the usual presentation of the enveloping algebra (quantized enveloping algebra) corresponding to the Lie algebra gl(n) of n x n matrices. We also find several new bases of Schur algebras and their corresponding integral forms.


title: Convolution of invariant distributions: Proof of the Kashiwara-Vergne conjecture

abstract: Consider the Kontsevich $\star$-product on the symmetric algebra of a finite dimensional Lie algebra $\mathfrak g$, regarded as the algebra of distributions with support 0 on $\mathfrak g$. In this paper, we extend this $\star$-product to distributions satisfying an appropriate support condition. As a consequence, we prove a long standing conjecture of Kashiwara-Vergne on the convolution of germs of invariant distributions on the Lie group $G$.


title: On Konopelchenko's representation for surfaces in 4 dimensions

abstract: The purpose of this short note is to relate a representation formula due to the Author and P. Romon for Lagrangian surfaces (see math.DG/0009202) to a more general Weierstrass representation type formula found by Konopelchenko for surfaces in 4-dimensional space (see math.DG/9807129). Simplifications are pointed out.


title: Geometric Algebra for Subspace Operations

abstract: The set theory relations \in, \backslash, \Delta, \cap, and \cup have corollaries in subspace relations. Geometric Algebra is introduced as the ideal framework to explore these subspace operations. The relations \in, \backslash, and \Delta are easily subsumed by Geometric Algebra for Euclidean metrics. A short computation shows that the meet (\cap) and join (\cup) are resolved in a projection operator representation with the aid of one additional product beyond the standard Geometric Algebra products. The result is that the join can be computed even when the subspaces have a common factor, and the meet can be computed without knowing the join. All of the operations can be defined and computed in any signature (including degenerate signatures) by transforming the problem to an analogous problem in a different algebra through a transformation induced by a linear invertible function (a LIFT to a different algebra). The new results, as well as the techniques by which we reach them, add to the tools available for subspace computations.


title: A formula with some applications to the theory of Lyapunov exponents

abstract: We prove an elementary formula about the average expansion of certain products of 2 by 2 matrices. This permits us to quickly re-obtain an inequality by M. Herman and a theorem by Dedieu and Shub, both concerning Lyapunov exponents. Indeed, we show that equality holds in Herman's result. Finally, we give a result about the growth of the spectral radius of products.


title: Geometry of Four-vector Fields on Quaternionic Flag Manifolds

abstract: The purpose of this paper is to describe certain natural 4-vector fields on quaternionic flag manifolds, which geometrically determine the Bruhat cell decomposition. This structure naturally descends from the symplectic group, where it is related to the dressing action given by the Iwasawa decomposition of the general linear group over the quaternions.


title: Irreducible representations of Upq[gl(2/2)]

abstract: The two-parametric quantum superalgebra $U_{pq}[gl(2/2)]$ and its representations are considered. All finite-dimensional irreducible representations of this quantum superalgebra can be constructed and classified into typical and nontypical ones according to a proposition proved in the present paper. This proposition is a nontrivial deformation from the one for the classical superalgebra gl(2/2), unlike the case of one-parametric deformations.

categories: math.QA hep-th math-ph math.MP math.RT nlin.SI quant-ph


title: Characterization of Product Measures by Integrability Condition

abstract: It is natural to ask whether "positivity" of white noise operators can be discussed in some sense and characterized. To answer this question, we consider the Gel'fand triple over the Complex Gaussian space $(\ce'_c,\m_c)$, i.e. $\ce'_c=\ce'+i\ce'$ equipped with the product measure $\m_c=\m'\times\m'$ where $\m'$ is the Gaussian measure on $\ce'$ with variance 1/2 (Section \ref{sec:2-2}). Following AKK's Legendre transform technique, we have $\cw_{u_1,u_2}\subset L^2(\ce'_c,\m_c)\subset [\cw]^{*}_{u_1,u_2}$ for functions $u_1,u_2\in C_{+,1/2}$ satisfying (U0)(U2)(U3). Several examples for $u_1, u_2$ are given in Section \ref{sec:2-3}. We remark that Ouerdiane \cite{oue} studied a special case $u_1(r^2)=u_2(r^2)=\exp(k^{-1}r^k)$, where $1\leq k\leq 2$. In Section \ref{sec:3}, the characterization theorem for measures can be extended to the case of positive product Radon measures on $\ce'\times \ce'$. In addition, the notion of pseudo-positive operators is naturally introduced via kernel theorem and characterized by an integrability condition. Lemma \ref{lem:3-2} plays crucial roles in Section \ref{sec:3}.


title: Some closed formulas for canonical bases of Fock spaces

abstract: We give some closed formulas for certain vectors of the canonical bases of the Fock space representation of U_v(sl^_n). As a result, a combinatorial description of certain parabolic Kazhdan-Lusztig polynomials for affine type A is obtained.


title: Flag Structures on Seifert Manifolds

abstract: We consider faithful projective actions of a cocompact lattice of SL(2,R) on the projective plane, with the following property: there is a common fixed point, which is a saddle fixed point for every element of infinite order of the the group. Typical examples of such an action are linear actions, ie, when the action arises from a morphism of the group into GL(2,R), viewed as the group of linear transformations of a copy of the affine plane in RP^{2}. We prove that in the general situation, such an action is always topologically linearisable, and that the linearisation is Lipschitz if and only if it is projective. This result is obtained through the study of a certain family of flag structures on Seifert manifolds. As a corollary, we deduce some dynamical properties of the transversely affine flows obtained by deformations of horocyclic flows. In particular, these flows are not minimal.


title: Symplectic fillability of tight contact structures on torus bundles

abstract: We study weak versus strong symplectic fillability of some tight contact structures on torus bundles over the circle. In particular, we prove that almost all of these tight contact structures are weakly, but not strongly symplectically fillable. For the 3-torus this theorem was established by Eliashberg.


title: A universal R-matrix for the quantization of the Lie superalgebra D(2,1,x) and an associated link invariant

abstract: Using the quantum double method, we construct a universal R-matrix for the quantization of the Lie superalgebra D(2,1,x). We use this result to construct a link invariant and show it coincides with a specialization of Kauffman's Dubrovnik polynomial.


title: Walks on the slit plane: other approaches

abstract: Let S be a finite subset of Z^2. A walk on the slit plane with steps in S is a sequence (0,0)=w_0, w_1, ..., w_n of points of Z^2 such that w_{i+1}-w_i belongs to S for all i, and none of the points w_i, i>0, lie on the half-line H= {(k,0): k =< 0}. In a recent paper, G. Schaeffer and the author computed the length generating function S(t) of walks on the slit plane for several sets S. All the generating functions thus obtained turned out to be algebraic: for instance, on the ordinary square lattice, S(t) =\frac{(1+\sqrt{1+4t})^{1/2}(1+\sqrt{1-4t})^{1/2}}{2(1-4t)^{3/4}}. The combinatorial reasons for this algebraicity remain obscure. In this paper, we present two new approaches for solving slit plane models. One of them simplifies and extends the functional equation approach of the original paper. The other one is inspired by an argument of Lawler; it is more combinatorial, and explains the algebraicity of the product of three series related to the model. It can also be seen as an extension of the classical cycle lemma. Both methods work for any set of steps S. We exhibit a large family of sets S for which the generating function of walks on the slit plane is algebraic, and another family for which it is neither algebraic, nor even D-finite. These examples give a hint at where the border between algebraicity and transcendence lies, and calls for a complete classification of the sets S.


title: Projective Ranks of Compact Hermitian Symmetric Spaces

abstract: Let M be a compact irreducible Hermitian symmetric space and write M=G/K, with G the group of holomorphic isometries of M and K the stability group of the point of 0 in M. We determine the maximal dimension of a complex projective space embedded in M as a totally geodesic submanifold.


title: A note on universality of the distribution of the largest eigenvalues in certain sample covariance matrices

abstract: Recently Johansson and Johnstone proved that the distribution of the (properly rescaled) largest principal component of the complex (real) Wishart matrix $ X^* \* X (X^t \*X) $ converges to the Tracy-Widom law as $ n, p $ (the dimensions of $ X $) tend to $ \infty $ in some ratio $ n/p \to \gamma>0. $ We extend these results in two directions. First of all, we prove that the joint distribution of the first, second, third, etc. eigenvalues of a Wishart matrix converges (after a proper rescaling) to the Tracy-Widom distribution. Second of all, we explain how the combinatorial machinery developed for Wigner matrices allows to extend the results by Johansson and Johnstone to the case of $ X $ with non-Gaussian entries, provided $ n-p =O(p^{1/3}) . $ We also prove that $ \lambda_{max} \leq (n^{1/2}+p^{1/2})^2 +O(p^{1/2}\*\log(p)) $ (a.e.) for general $ \gamma >0.$


title: Gluing of abelian categories and differential operators on the basic affine space

abstract: The notion of gluing of abelian categories was introduced by Kazhdan and Laumon in an attempt of another geometric construction of representations of finite Chevalley groups; the approach was later developed by Polishchuk and Braverman. We observe that this notion of gluing is a particular case of a general categorical construction (used also by Kontsevich and Rosenberg to define "noncommutative schemes"). We prove a conjecture of Kazhdan which says that the D-module counterpart of the Kazhdan-Laumon gluing construction produces a category equivalent to modules over the ring $\mathcal D$ of global differential operators on the basic affine space. As an application we show that $\mathcal D$ is Noetherian, and has finite injective dimension as a module over itself.


title: Excellent nonlinear codes from modular curves

abstract: We introduce a new construction of error-correcting codes from algebraic curves over finite fields. Modular curves of genus g -> infty over a field of size q0^2 yield nonlinear codes more efficient than the linear Goppa codes obtained from the same curves. These new codes now have the highest asymptotic transmission rates known for certain ranges of alphabet size and error rate. Both the theory and possible practical use of these new record codes require the development of new tools. On the theoretical side, establishing the transmission rate depends on an error estimate for a theorem of Schanuel applied to the function field of an asymptotically optimal curve. On the computational side, actual use of the codes will hinge on the solution of new problems in the computational algebraic geometry of curves.


title: Relationships between conjectures on the structure of pro-p Galois groups unramified outside p

abstract: We consider the canonical representation of the absolute Galois group of the rational numbers in the outer automorphism group of the pro-p completion of the fundamental group of the projective line minus 0,1, and infinity. Deligne has conjectured that a certain graded Z_p-Lie algebra arising from this representation becomes a free p-adic Lie algebra on one element in each odd degree starting with 3 when tensored with the Q_p. We construct good choices of these elements and use them to examine the structure of the Z_p-Lie algebra. In particular, we consider how its structure depends upon the regularity of the prime p by examining a consequence of Greenberg's conjecture in multivariable Iwasawa theory.


title: The space of hermitian triples and the Ashtekar - Isham quantization

abstract: It was pointed out that the space of hermitian triples is an anology of the hermitian connection space. Generalizing the Ashtekar - Isham procedure one can quantize the space of hermitian triples as well as the original one. Here we add an example how this similarity can be exploited in a quantum theory of riemannian geometry.


title: The Structure of the Inverse to the Sylvester Resultant Matrix

abstract: Given polynomials a(z) of degree m and b(z) of degree n, we represent the inverse to the Sylvester resultant matrix of a(z) and b(z), if this inverse exists, as a canonical sum of m+n dyadic matrices each of which is a rational function of zeros of a(z) and b(z). As a result, we obtain the polynomial solutions X(z) of degree n-1 and Y(z) of degree m-1 to the equation a(z)X(z)+b(z)Y(z)=c(z), where c(z) is a given polynomial of degree m+n-1, as follows: X(z) is a Lagrange interpolation polynomial for the function c(z)/a(z) over the set of zeros of b(z) and Y(z) is the one for the function c(z)/b(z) over the set of zeros of a(z).


title: The range of operators on von Neumann algebras

abstract: We prove that for every bounded linear operator $T:X\to X$, where $X$ is a non-reflexive quotient of a von Neumann algebra, the point spectrum of $T^*$ is non-empty (i.e. for some $\lambda\in\mathbb C$ the operator $\lambda I-T$ fails to have dense range.) In particular, and as an application, we obtain that such a space cannot support a topologically transitive operator.


title: Quotients of finite-dimensional quasi-normed spaces

abstract: We study the existence of cubic quotients of finite-dimensional quasi-normed spaces, that is, quotients well isomorphic to $\ell_{\infty}^k$ for some $k.$ We give two results of this nature. The first guarantees a proportional dimensional cubic quotient when the envelope is cubic; the second gives an estimate for the size of a cubic quotient in terms of a measure of non-convexity of the quasi-norm.


title: Eigenvalue estimates of the Dirac operator depending on the Ricci tensor

abstract: We prove a new lower bound for the first eigenvalue of the Dirac operator on a compact Riemannian spin manifold by refined Weitzenb\"ock techniques. It applies to manifolds with harmonic curvature tensor and depends on the Ricci tensor. Examples show how it behaves compared to other known bounds.


title: Non-antisymmetric versions of Nambu-Poisson and Lie algebroids

abstract: We show that one can skip the skew-symmetry assumption in the definition of Nambu-Poisson brackets. In other words, a n-ary bracket on the algebra of smooth functions which satisfies the Leibniz rule and a n-ary version of the Jacobi identity must be skew-symmetric. A similar result holds for a non-antisymmetric version of Lie algebroids.


title: Jacobi fields along harmonic maps

abstract: We show that Jacobi fields along harmonic maps between suitable spaces preserve conformality, holomorphicity, real isotropy and complex isotropy to first order; this last being one of the key tools in the proof by Lemaire and the author of integrability of Jacobi fields along harmonic maps from the 2-sphere to the complex projective plane.


title: The Weierstrass representation for pluriminimal submanifolds

abstract: In this note we prove a Weierstrass representation formula for pluriminimal submanifolds of euclidean spaces. We use this formula to produce new families of examples of pluriminimal submanifolds. We also prove that any affine algebraic manifold can be pluriminimally embedded into some euclidean space in a non holomorphic manner.


title: On Schr\"odinger maps

abstract: We study the question of well-posedness of the Cauchy problem for Schr\"odinger maps from $\rone \times \rtwo$ to the sphere $\stwo$ or to ${\mathbb H^2}$, the hyperbolic space. The idea is to choose an appropriate gauge change so that the derivatives of the map will satisfy a certain nonlinear Schr\"odinger system of equations and then study this modified Schr\"odinger map system (MSM). We then prove local well posedness of the Cauchy problem for the MSM with minimal regularity assumptions on the data and outline a method to derive well posedness of the Schr\"odinger map itself from it. In proving well posedness of the MSM, the heart of the matter is resolved by considering truly quatrilinear forms of weighted $L^2$ functions.


title: On Positive Sasakian Geometry

abstract: A Sasakian structure on a manifold is called {\it positive} if its basic first Chern class can be represented by a positive (1,1)-form with respect to its transverse holomorphic CR-structure. We prove a theorem that says that every positive Sasakian structure can be deformed to a Sasakian structure whose metric has positive Ricci curvature. This allows us by example to give a completely independent proof of a result of Sha and Yang [SY] that for every positive integer k the k-fold connected sum of $S^2\times S^3$ admits metrics of positive Ricci curvature.


title: Twisted vertex representations and spin characters

abstract: We establish a new group-theoretic realization of the basic representations of the twisted affine and twisted toroidal algebras of ADE types in the same spirit of our new approach to the McKay correspondence. Our vertex operator construction provides a unified description to the character tables for the spin cover of the wreath product of the twisted hyperoctahedral groups and an arbitrary finite group.


title: A Hopf Index Theorem for foliations

abstract: We formulate and prove an analog of the Hopf Index Theorem for Riemannian foliations. We compute the basic Euler characteristic of a closed Riemannian manifold as a sum of indices of a non-degenerate basic vector field at critical leaf closures. The primary tool used to establish this result is an adaptation to foliations of the Witten deformation method.


title: Isometries between weighted uniform spaces

abstract: The linear isometries between weighted Banach spaces of continuous functions are considered. Some of well known theorems on isometries between spaces of continuous functions are proved and stated, but all they are in an appropriate form. In this paper, we present some new results, too, and results that extend some of our PhD(1993year) disertation theorems. We hope this letter will be useful for obtaining some email friendships.


title: Interpolation of subspaces and applications to exponential bases in Sobolev spaces

abstract: We give precise conditions under which the real interpolation space [Y_0,X_1]_{s,p} coincides with a closed subspace of the corresponding interpolation space [X_0,X_1]_{s,p} when Y_0 is a closed subspace of X_0 of codimension one. This result is applied to study the basis properties of nonharmonic Fourier series in Sobolev spaces H^s on an interval when 0<s<1. The main result: let E be a family of exponentials exp(i \lambda_n t) and E forms an unconditional basis in L^2 on an interval. Then there exist two number s_0, s_1 such that E forms an unconditional basis in H^s for s<s_0, E forms an unconditional basis in its span with codimension 1 in H^s for s_1<s. For s in [s_0,s_1] the exponential family is not an unconditional basis in its span.


title: Some identities for enumerators of circulant graphs

abstract: We establish analytically several new identities connecting enumerators of different types of circulant graphs of prime, twice prime and prime-squared orders. In particular, it is shown that the semi-sum of the number of undirected circulants and the number of undirected self-complementary circulants of prime order is equal to the number of directed self-complementary circulants of the same order. Keywords: circulant graph; cycle index; cyclic group; nearly doubled primes; Cunningham chain; self-complementary graph; tournament; mixed graph


title: Roles of Log-concavity, log-convexity, and growth order in white noise analysis

abstract: In this paper we will develop a systematic method to answer the questions $(Q1)(Q2)(Q3)(Q4)$ (stated in Section 1) with complete generality. As a result, we can solve the difficulties $(D1)(D2)$ (discussed in Section 1) without uncertainty. For these purposes we will introduce certain classes of growth functions $u$ and apply the Legendre transform to obtain a sequence which leads to the weight sequence $\{\a(n)\}$ first studied by Cochran et al. \cite{cks}. The notion of (nearly) equivalent functions, (nearly) equivalent sequences and dual Legendre functions will be defined in a very natural way. An application to the growth order of holomorphic functions on $\ce_c$ will also be discussed.


title: General characterization theorems and intrinsic topologies in white noise analysis

abstract: Let $u$ be a positive continuous function on $[0, \infty)$ satisfying the conditions: (i) $\lim_{r\to\infty} r^{-1/2}\log u(r)=\infty$, (ii) $\inf_{r\geq 0} u(r)=1$, (iii) $\lim_{r\to \infty}\break r^{-1}\log u(r)<\infty$, (iv) the function $\log u(x^{2}), x\geq 0$, is convex. A Gel'fand triple $[\ce]_{u} \subset (L^{2}) \subset [\ce]_{u}^{*}$ is constructed by making use of the Legendre transform of $u$ discussed in \cite {akk3}. We prove a characterization theorem for generalized functions in $[\ce]_{u}^{*}$ and also for test functions in $[\ce]_{u}$ in terms of their $S$-transforms under the same assumptions on $u$. Moreover, we give an intrinsic topology for the space$[\ce]_{u}$ of test functions and prove a characterization theorem for measures. We briefly mention the relationship between our method and a recent work by Gannoun et al.\cite{ghor}. Finally, conditions for carrying out white noise operator theory and Wick products are given.


title: A note on del Pezzo fibrations of degree 1

abstract: We study del Pezzo fibrations of degree 1 with terminal singularities. A connection between singularities on del Pezzo surfaces of degree 1 and Kodaira's classification of elliptic singular fibers will be studied in this paper. By this investigation we obtain several results on birational maps of del Pezzo fibrations of degree 1 with terminal singularities.


title: Characterization of test functions in CKS-space

abstract: We prove a characterization theorem for the test functions in a CKS-space. Some crucial ideas concerning the growth condition are given.


title: n-Categories Admissible by n-graph

abstract: The concept of n-categories and related subject is considered. An n-category is described as an n-graph with a composition. A new definition of operad is presented. Some illustrative examples are given.


title: Bell numbers, log-concavity, and log-convexity

abstract: Let $\{b_{k}(n)\}_{n=0}^{\infty}$ be the Bell numbers of order $k$. It is proved that the sequence $\{b_{k}(n)/n!\}_{n=0}^{\infty}$ is log-concave and the sequence $\{b_{k}(n)\}_{n=0}^{\infty}$ is log-convex, or equivalently, the following inequalities hold for all $n\geq 0$, $$1\leq {b_{k}(n+2) b_{k}(n) \over b_{k}(n+1)^{2}} \leq {n+2 \over n+1}.$$ Let $\{\a(n)\}_{n=0}^{\infty}$ be a sequence of positive numbers with $\a(0)=1$. We show that if $\{\a(n)\}_{n=0}^{\infty}$ is log-convex, then $$\a (n) \a (m) \leq \a(n+m), \quad \forall n, m\geq 0.$$ On the other hand, if $\{\a(n)/n!\}_{n=0}^{\infty}$ is log-concave, then $$\a (n+m) \leq {n+m \choose n} \a (n) \a (m), \quad \forall n, m\geq 0.$$ In particular, we have the following inequalities for the Bell numbers $$b_{k}(n) b_{k}(m) \leq b_{k}(n+m) \leq {n+m \choose n} b_{k}(n) b_{k}(m), \quad \forall n, m\geq 0.$$ Then we apply these results to white noise distribution theory.


title: Characterization of Hida Measures in white noise analysis

abstract: The main purpose of this work is to prove Theorem 4.4, so-called, the characterization theorem of Hida measures (generalized measures). As examples of such measures, we shall present the Poisson noise measure and the Grey noise measure in Example 4.5 and 4.6, respectively.


title: On the biharmonic Dirichlet problem: The higher dimensional case

abstract: Withdrawn by authors.


title: Quantitative theory of ordinary differential equations and tangential Hilbert 16th problem

abstract: These highly informal lecture notes aim at introducing and explaining several closely related problems on zeros of analytic functions defined by ordinary differential equations and systems of such equations. The main incentive for this study was its potential application to the tangential Hilbert 16th problem on zeros of complete Abelian integrals. The exposition consists mostly of examples illustrating various phenomena related to this problem. Sometimes these examples give an insight concerning the proofs, though the complete exposition of the latter is mostly relegated to separate expositions. For related and quoted articles, check the author's homepage http://www.wisdom.weizmann.ac.il/~yakov .


title: Particles, Generalized Statistics and Categories

abstract: Interacting systems of particles with generalized statistics are considered on both classical and quantum level. It is shown that all possible quantum states and corresponding processes can be represented in terms of certain specific categories. The corresponding Fock space representation is discussed. The problem of existence of well--defined scalar product is considered. It is shown that commutation relations corresponding to a system with generalized statistics can be constructed from relations corresponding to Bolzman statistics.


title: Ergodicity of Stochastically Forced Large Scale Geophysical Flows

abstract: We investigate the ergodicity of 2D large scale quasigeostrophic flows under random wind forcing. We show that the quasigeostrophic flows are ergodic under suitable conditions on the random forcing and on the fluid domain, and under no restrictions on viscosity, Ekman constant or Coriolis parameter. When these conditions are satisfied, then for any observable of the quasigeostrophic flows, its time average approximates the statistical ensemble average, as long as the time interval is sufficiently long.

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


title: Probabilistic Dynamics of Two-Layer Geophysical Flows

abstract: The two-layer quasigeostrophic flow model is an intermidiate system between the single-layer 2D barotropic flow model and the continuously stratified, 3D baroclinic flow model. This model is widely used to investigate basic mechanisms in geophysical flows, such as baroclinic effects, the Gulf Stream and subtropical gyres. The wind forcing acts only on the top layer. We consider the two-layer quasigeostrophic model under stochastic wind forcing. We first transformed this system into a coupled system of random partial differential equations and then show that the asymptotic probabilistic dynamics of this system depends only on the top fluid layer. Namely, in the probability sense and asymptotically, the dynamics of the two-layer quasigeostrophic fluid system is determinied by the top fluid layer, or, the bottom fluid layer is slaved by the top fluid layer. This conclusion is true provided that the Wiener process and the fluid parameters satisfy a certain condition. In particular, this latter condition is satisfied when the trace of the covariance operator of the Wiener process is controled by a certain upper bound, and the Ekman constant $r$ is sufficiently large. Note that the generalized time derivative of the Wiener process models the fluctuating part of the wind stress forcing on the top fluid layer, and the Ekman constant $r$ measures the rate for vorticity decay due to the friction in the bottom Ekman layer.

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


title: A characterization of product BMO by commutators

abstract: Let b be a function on the plane. Let H_j, j=1,2, be the Hilbert transform acting on the j-th coordinate on the plane. We show that the operator norm of the double commutator [[ M_b, H_1], H_2] is equivalent to the Chang-Fefferman BMO norm of b. Here, M_b denotes the operator which is multiplication by b. This result extends a well known theorem of Nehari on weak factorization in the Hardy space H^1 to the same theorem on H^1 of a product domain. The product setting is more delicate because of the presence of a two parameter family of dilations. The method of proof depends upon (a) A dyadic decomposition of product BMO by wavelets (b) a prior estimate of Ferguson and Sadosky involving rectangular BMO (c) and a careful control of certain measures related to those of Carleson.


title: New asymptotic bounds for self-dual codes and lattices

abstract: We give an independent proof of the Krasikov-Litsyn bound d/n<~(1-5^{-1/4})/2 on doubly-even self-dual binary codes. The technique used (a refinement of the Mallows-Odlyzko-Sloane approach) extends easily to other families of self-dual codes, modular lattices, and quantum codes; in particular, we show that the Krasikov-Litsyn bound applies to singly-even binary codes, and obtain an analogous bound for unimodular lattices. We also show that in each case, our bound differs from the true optimum by an amount growing faster than O(n^{1/2}).


title: CKS-space in terms of growth functions

abstract: A class of growth functions $u$ is introduced to construct Hida distributions and test functions. The Legendre transform $\ell_{u}$ of $u$ is used to define a sequence $\a(n)=(\ell_{u}(n) n!)^{-1}, n\geq 0$, of positive numbers. From this sequence we get a CKS-space. Under various conditions on $u$ we show that the associated sequence $\{\a(n)\}$ satisfies those conditions for carrying out the white noise distribution theory on the CKS-space. We show that $u$ and its dual Legendre transform $u^{*}$ are growth functions for test and generalized functions, respectively, in the characterization theorems.


title: Planar Maps in 4 bits/edge

abstract: Existing planar map encodings neglect maps with loops. The presented scheme encodes any connected planar map in 4 bits/edge. Encoding and decoding time is O(edges). Implicit face/edge/vertex orderings and canonical encodings are discussed.


title: Asymptotically exact heuristics for (near) primitive roots. II

abstract: Let g be a non-zero rational number. Let N_{g,t}(x) denote the number of primes p<=x for which the subgroup of the multiplicative group of the finite field having p elements that is generated by g mod p is of residual index t. In Part I, which is published in J. Number Theory 83 (2000), 155-181, a heuristic for N_{g,t}(x) was set up, under the assumption of the Generalized Riemann Hypothesis (GRH), and shown to be asymptotically exact. In this preprint we provide an alternative and rather shorter proof of this result.


title: On an invariant related to a linear inequality

abstract: Let A be an m-dimensional vector with positive real entries. Let A_{i,j} be the vector obtained from A on deleting the entries A_i and A_j. We investigate some invariant and near invariants related to the solutions E (m-2 dimensional vectors with entries either +1 or -1) of the linear inequality |A_i-A_j| < <E,A_{i,J}> < A_i+A_j, where <,> denotes the usual inner product. One of our methods relates, by the use of Rademacher functions, integrals involving trigonometric quantities to these quantities.


title: Conformal-field-theoretic analogues of codes and lattices

abstract: We introduce and study completely-extendable conformal intertwining algebras. Based on results obtained in other papers, various examples are given. Duals of these algebras are constructed and nondegenerate such algebras are defined. We prove that the double dual of such a nondegenrate algebra is equal to itself. We explain using a table that these nondegenerate algebras are the correct conformal-field-theoretic analogues of linear binary codes and nondegenerate rational lattices.


title: Cluster algebras I: Foundations

abstract: In an attempt to create an algebraic framework for dual canonical bases and total positivity in semisimple groups, we initiate the study of a new class of commutative algebras.


title: Points of integral canonical models of Shimura varieties of preabelian type, p-divisible groups, and applications. First Part

abstract: This work is the first part in a series of three dedicated to the foundations of integral aspects of Shimura varieties and of Fontaine's categories. It deals mostly with the unramified context of (arbitrary) mixed characteristic (0,p). Among the topics covered we mention: the generalization of the classical Serre-Tate theory of ordinary p-divisible groups and of their canonical lifts, the generalization of the classical Serre-Tate-Dwork-Katz theory of (crystalline) coordinates for ordinary abelian varieties, the strong form of the generalized Manin problem, global deformations in the generalized Shimura context, Dieudonn\'e's theories (reobtained, simplified and extended), the main list of stratifications of special fibres of integral canonical models of Shimura varieties of preabelian type, the uniqueness of such models in mixed characteristic (0,2), the existence (in many situations) of such models in mixed characteristic (0,2), steps towards the classification of Shimura p-divisible groups over algebraically closed field of characteristic p (like the boundedness principle, the purity principle, Bruhat decompositions in the F-context, etc.), generalized Serre lemma, connections in Fontaine's categories, etc.


title: Symmetric Logic Synthesis with Phase Assignment

abstract: Decomposition of any Boolean Function BF_n of n binary inputs into an optimal inverter coupled network of Symmetric Boolean functions SF_k (k \leq n) is described. Each SF component is implemented by Threshold Logic Cells, forming a complete and compact T-Cell Library. Optimal phase assignment of input polarities maximizes local symmetries. The "rank spectrum" is a new BF_n description independent of input ordering, obtained by mapping its minterms onto an othogonal n \times n grid of (transistor-) switched conductive paths, minimizing crossings in the silicon plane. Using this ortho-grid structure for the layout of SF_k cells, without mapping to T-cells, yields better area efficiency, exploiting the maximal logic path sharing in SF's. Results obtained with an optimization tool "Ortolog" based on these concepts, for very fast O(n^2) detecting and enhancing local symmetries of a BF_n, are reported. Relaxing symmetric- to planar- Boolean functions is sketched, to improve low- symmetry BF decomposition.


title: Moduli of twisted spin curves

abstract: In this note we give a new, natural construction of a compactification of the stack of smooth r-spin curves, which we call the stack of stable twisted $r$-spin curves. This stack is identified with a special case of a stack of twisted stable maps of Abramovich and Vistoli. Realizations in terms of admissible G_m-spaces and Q-line bundles are given as well. The infinitesimal structure of this stack is described in a relatively straightforward manner, similar to that of usual stable curves. We construct representable morphisms from the stacks of stable twisted r-spin curves to the stacks of stable r-spin curves, and show that they are isomorphisms. Many delicate features of r-spin curves, including torsion free sheaves with power maps, arise as simple by-products of twisted spin curves. Various constructions, such as the d bar-operator of Seeley and Singer and Witten's cohomology class go through without complications in the setting of twisted spin curves.


title: Morse theory in the 1990's

abstract: This is a survey article on Morse theory based on lectures to graduate students and advanced undergraduates. After a brief review of standard material, mostly without proofs, the Morse theory of complex Grassmannian manifolds is worked out in detail. In contrast to standard treatments, gradient flow lines and their structure are emphasized. This leads to a convenient interpretation of Schubert calculus via the momentum map of a torus action, and, more generally, to a still-unfolding toric/combinatoric manifestation of Morse theory. The latter provides a miniature version of the "field-theoretic point of view" of Cohen-Jones-Segal, Betz-Cohen, and Fukaya.


title: On the inverse scattering problem for Jacobi matrices with the spectrum on an interval, a finite system of intervals or a Cantor set of positive length

abstract: Solving inverse scattering problem for a discrete Sturm-Liouville operator with the fast decreasing potential one gets reflection coefficients $s_\pm$ and invertible operators $I+H_{s_\pm}$, where $ H_{s_\pm}$ is the Hankel operator related to the symbol $s_\pm$. The Marchenko-Fadeev theorem (in the continuous case) and the Guseinov theorem (in the discrete case), guarantees the uniqueness of solution of the inverse scattering problem. In this article we asks the following natural question --- can one find a precise condition guaranteeing that the inverse scattering problem is uniquely solvable and that operators $I+H_{s_\pm}$ are invertible? Can one claim that uniqueness implies invertibility or vise versa? Moreover we are interested here not only in the case of decreasing potential but also in the case of asymptotically almost periodic potentials. So we merege here two mostly developed cases of inverse problem for Sturm-Liouville operators: the inverse problem with (almost) periodic potential and the inverse problem with the fast decreasing potential.


title: An Inverse Problem from Sub-Riemannian Geometry

abstract: The geodesics for a sub-Riemannian metric on a three-dimensional contact manifold $M$ form a 1-parameter family of curves along each contact direction. However, a collection of such contact curves on $M$, locally equivalent to the solutions of a fourth-order ODE, are the geodesics of a sub-Riemannian metric only if a sequence of invariants vanish. The first of these, which was earlier identified by Fels, determines if the differential equation is variational. The next two determine if there is a well-defined metric on $M$ and if the given paths are its geodesics.


title: Non-commutative Characteristic Polynomials and Cohn Localization

abstract: Almkvist proved that for a commutative ring A the characteristic polynomial of an endomorphism \alpha:P \to P of a finitely generated projective A-module determines (P,\alpha) up to extensions. For a non-commutative ring A the generalized characteristic polynomial of an endomophism \alpha : P \to P of a finitely generated projective A-module is defined to be the Whitehead torsion [1-x\alpha] \in K_1(A[[x]]), which is an equivalence class of formal power series with constant coefficient 1. In this paper an example is given of a non-commutative ring A and an endomorphism \alpha:P \to P for which the generalized characteristic polynomial does not determine (P,\alpha) up to extensions. The phenomenon is traced back to the non-injectivity of the natural map \Sigma^{-1}A[x] \to A[[x]], where \Sigma^{-1}A[x] is the Cohn localization of A[x] inverting the set \Sigma of matrices in A[x] sent to an invertible matrix by A[x] \to A; x \mapsto 0.


title: Generalized Projection Operators in Geometric Algebra

abstract: Given an automorphism and an anti-automorphism of a semigroup of a Geometric Algebra, then for each element of the semigroup a (generalized) projection operator exists that is defined on the entire Geometric Algebra. A single fundamental theorem holds for all (generalized) projection operators. This theorem makes previous projection operator formulas equivalent to each other. The class of generalized projection operators includes the familiar subspace projection operation by implementing the automorphism `grade involution' and the anti-automorphism `inverse' on the semigroup of invertible versors. This class of projection operators is studied in some detail as the natural generalization of the subspace projection operators. Other generalized projection operators include projections onto any invertible element, or a weighted projection onto any element. This last projection operator even implies a possible projection operator for the zero element.


title: Decompositions of the Moonshine Module with respect to subVOAs associated to codes over $\Z_{2k}$

abstract: In this paper, we give decompositions of the moonshine module $V^{\natural}$ with respect to subVOAs associated to extremal Type II codes over $Z_{2k}$ for an integer $k\ge2$. Those subVOAs are isomorphic to the tensor product of 24 copies of the charge conjugation orbifold VOA. Using such decompositions, we obtain some elements of type 4A (k odd) and 2B (k even) of the Monster simple group Aut$(V^{\natural})$.


title: Hodge equations with change of type

abstract: A geometric interpretation is given for certain elliptic-hyperbolic systems in the plane. Among several examples, one which reduces in the elliptic region to the equations for harmonic 1-forms on the projective disc is studied in detail. A boundary-value problem for this example is formulated and is shown to possess weak solutions.


title: Lusztig's Canonical Quotient and Generalized Duality

abstract: We present a new characterization of Lusztig's canonical quotient group. We also define a duality map: to a pair consisting of a nilpotent orbit and a conjugacy class in its fundamental group, the map assigns a nilpotent orbit in the Langlands dual Lie algebra.


title: Principal Ideals in Subalgebras of Groupoid C*-Algebras

abstract: The study of different types of ideals in non self-adjoint operator algebras has been a topic of recent research. This study focuses on principal ideals in subalgebras of groupoid C*-algebras. An ideal is said to be principal if it is generated by a single element of the algebra. We look at subalgebras of r-discrete principal groupoid C*-algebras and prove that these algebras are principal ideal algebras. Regular canonical subalgebras of almost finite C*-algebras have digraph algebras as their building blocks. The spectrum of almost finite C*-algebras has the structure of an r-discrete principal groupoid and this helps in the coordinization of these algebras. Regular canonical subalgebras of almost finite C*-algebras have representations in terms of open subsets of the spectrum for the enveloping C*-algebra. We conclude that regular canonical subalgebras are principal ideal algebras.


title: Some differential equations in synthetic differential geometry

abstract: Some differential equations are considered in the context of Synthetic Differential Geometry. Here, this means that not only nilpotent infinitesimals, but also the formation of function spaces, is exploited. In particular, we utilize distribution spaces in our study of wave and heat equations.


title: Adapted algebras for the Berenstein-Zelevinsky conjecture

abstract: We study algebras on which the Berenstein-Zelevinsky conjecture is true. In particular, we prove that this conjecture is true "up to localization".


title: Higher K-theory of toric varieties

abstract: A natural higher K-theoretic analogue of the triviality of vector bundles on affine toric varieties is the conjecture on nilpotence of the multiplicative action of the natural numbers on the K-theory of these varieties. This includes both Quillen's fundamental result on K-homotopy invariance of regular rings and the stable version of the triviality of vector bundles on affine toric varieties. Moreover, it yields a similar behavior of not necessarily affine toric varieties and, further, of their equivariant closed subsets. The conjecture is equivalent to the claim that the relevant admissible morphisms of the category of vector bundles on an affine toric variety can be supported by monomials not in a non-degenerate corner subcone of the underlying polyhedral cone. We prove that one can in fact eliminate all lattice points in such a subcone, except maybe one point. The elimination of the last point is also possible in 0 characteristic if the action of the big Witt vectors satisfies a very natural condition. A partial result on this in the arithmetic case provides first non-simplicial examples -- actually, an explicit infinite series of combinatorially different affine toric varieties, verifying the conjecture for all higher groups simultaneously.


title: Logarithms of formal groups over Hopf algebras

abstract: The aim of this paper is to prove the following result. For any commutative formal group ${\frak F}(x\otimes 1,1\otimes x),$ which is considered as a formal group over $H_\mathbb{Q},$ there exists a homomorphism to a formal group of the form ${\frak c}+x\otimes 1+1\otimes x,$ where $\frak c\in H_\mathbb{Q}{\mathop{\hat{\otimes}} \limits_{R_\mathbb{Q}}}H_\mathbb{Q}$ such that $(\id \otimes \epsilon){\frak c}=0= (\epsilon \otimes \id){\frak c}.$


title: Equivariant K-theory, generalized symmetric products, and twisted Heisenberg algebra

abstract: For a space X acted by a finite group $\G$, the product space $X^n$ affords a natural action of the wreath product $\Gn$. In this paper we study the K-groups $K_{\tG_n}(X^n)$ of $\Gn$-equivariant Clifford supermodules on $X^n$. We show that $\tFG =\bigoplus_{n\ge 0}K_{\tG_n}(X^n) \otimes \C$ is a Hopf algebra and it is isomorphic to the Fock space of a twisted Heisenberg algebra. Twisted vertex operators make a natural appearance. The algebraic structures on $\tFG$, when $\G$ is trivial and X is a point, specialize to those on a ring of symmetric functions with the Schur Q-functions as a linear basis. As a by-product, we present a novel construction of K-theory operations using the spin representations of the hyperoctahedral groups.


title: Dispersionless limit of Hirota equations in some problems of complex analysis

abstract: The integrable structure, recently revealed in some classical problems of the theory of functions in one complex variable, is discussed. Given a simply connected domain in the complex plane, bounded by a simple analytic curve, we consider the conformal mapping problem, the Dirichlet boundary problem, and to the 2D inverse potential problem associated with the domain. A remarkable family of real-valued functionals on the space of such domains is constructed. Regarded as a function of infinitely many variables, which are properly defined moments of the domain, any functional from the family gives a formal solution to the problems listed above. These functions are shown to obey an infinite set of dispersionless Hirota equations. This means that they are $\tau$-functions of an integrable hierarchy. The hierarchy is identified with the dispersionless limit of the 2D Toda lattice. In addition to our previous studies, we show that, with a more general definition of the moments, this connection is not specific for any particular solution to the Hirota equations but reflects the structure of the hierarchy itself.


title: Deformations of the Picard Bundle

abstract: Let X be a nonsingular projective algebraic curve of genus g\ge3. We consider the moduli space M of stable bundles of fixed determinant with rank n and degree d coprime and d>n(2g-2). There is a universal bundle on XxM and we consider the direct image of this bundle on M. With the given restriction on d, this is a bundle W called the Picard bundle. Our main object in this paper is to compute the infinitesimal deformations of W. We show also that W possesses a moduli space and that the connected component of this moduli space containing W is isomorphic as a polarised variety to the Jacobian of X.


title: Boundary regularity, uniqueness and non-uniqueness for AH Einstein metrics on 4-manifolds

abstract: This paper studies several aspects of asymptotically hyperbolic Einstein metrics, mostly on 4-manifolds. We prove boundary regularity (at infinity) for such metrics and establish uniqueness under natural conditions on the boundary data. By examination of explicit black hole metrics, it is shown that neither uniqueness nor finiteness holds in general for AH Einstein metrics with a prescribed conformal infinity. We then describe natural conditions which are sufficient to ensure finiteness.


title: Hyperplane sections of Calabi-Yau varieties

abstract: Theorem: If W is a smooth complex projective variety with h^1 (O-script_W) = 0, then a sufficiently ample smooth divisor X on W cannot be a hyperplane section of a Calabi-Yau variety, unless W is itself a Calabi-Yau. Corollary: A smooth hypersurface of degree d in P^n (n >= 2) is a hyperplane section of a Calabi-Yau variety iff n+2 <= d <= 2n+2. The method is to construct out of the variety W a universal family of all varieties Z for which X is a hyperplane section with normal bundle K_X, and examine the "bad" singularities of such Z. A motivation is to show many curves cannot be divisors on a K-3 surface.


title: On the set of natural numbers

abstract: This paper was withdrawn by the authors.


title: Coupling and Bernoullicity in random-cluster and Potts models

abstract: An explicit coupling construction of random-cluster measures is presented. As one of the applications of the construction, the Potts model on amenable Cayley graphs is shown to exhibit at every temperature the mixing property known as Bernoullicity.


title: Intersections of symbolic powers of prime ideals

abstract: Let (R,m) be a local ring with prime ideals p and q such that p+q is an m-primary ideal. If R is regular and contains a field, and dim(R/p)+dim(R/q)=dim(R), we prove that p^{(r)}\cap q^{(n)}\subseteq m^{m+n} for all positive integers r and s. This is proved using a generalization of Serre's Intersection Theorem which we apply to a hypersurface R/fR. The generalization gives conditions that guarantee that Serre's bound on the intersection dimension dim(R/p)+dim(R/q) \leq dim(R) holds when R is nonregular.


title: On a two-variable zeta function for number fields

abstract: This paper studies a zeta function of two complex variables (w, s) attached to an algebraic number field K, introduced by van der Geer and Schoof, which is based on an analogue of the Riemann-Roch theorem for number fields using Arakelov divisors. We mainly consider the case of the rational field Q, where for w = 1 one recovers the Riemann zeta function with the factors at infinity added. The analogue of the Riemann xi-function analytically continues to an entire function of two complex variables, and satisfies a functional equation holding w fixed and sending s to w-s. For real w the "critical line" is therefore Re(s) = w/2. For fixed nonnegative real w the zeros are confined to a vertical strip in s and have the same asymptotics as zeta zeros. For negative real w the function is positive real on the critical line, so has no zeros there. This phenomonon is associated to a positive convolution semigroup of infinitely divisible probability distributions, and the Khintchine canonical measure of this family is explicitly determined.


title: $C_k$-moves on spatial theta-curves and Vassiliev invariants

abstract: The $C_k$-equivalence is an equivalence relation generated by $C_k$-moves defined by Habiro. Habiro showed that the set of $C_k$-equivalence classes of the knots forms an abelian group under the connected sum and it can be classified by the additive Vassiliev invariant of order $\leq k-1$. We see that the set of $C_k$-equivalence classes of the spatial $\theta$-curves forms a group under the vertex connected sum and that if the group is abelian, then it can be classified by the additive Vassiliev invariant of order $\leq k-1$. However the group is not necessarily abelian. In fact, we show that it is nonabelian for $k\geq 12$. As an easy consequence, we have the set of $C_k$-equivalence classes of $m$-string links, which forms a group under the composition, is nonabelian for $k\geq 12$ and $m\geq 2$.


title: Arithmetic theory of q-difference equations. The q-analogue of Grothendieck-Katz's conjecture on p-curvatures

abstract: Grothendieck's conjecture on p-curvatures predicts that an arithmetic differential equation has a full set of algebraic solutions if and only if its reduction in positive characteristic has a full set of rational solutions for almost all finite places. It is equivalent to Katz's conjectural description of the generic Galois group. In this paper we prove an analogous statement for arithmetic q-difference equation.


title: Theta-curve polynomials and finite-type invariants

abstract: The normalized Yamada polynomial is a polynomial invariant in variable A for theta-curves. In this work, we show that the coefficients of the power series obtained from this polynomial by the substitution A=e^x=1+x+x^2/2+x^3/6+... are finite-type invariants for theta-curves although the coefficients of original polynomial are not. A similar result can be obtained in the case of Yokota polynomial for theta-curves.


title: A New Point of View in the Theory of Knot and Link Invariants

abstract: Recent progress in string theory has led to a reformulation of quantum-group polynomial invariants for knots and links into new polynomial invariants whose coefficients can be understood in topological terms. We describe in detail how to construct the new polynomials and we conjecture their general structure. This leads to new conjectures on the algebraic structure of the quantum-group polynomial invariants. We also describe the geometrical meaning of the coefficients in terms of the enumerative geometry of Riemann surfaces with boundaries in a certain Calabi-Yau threefold.


title: Yangian and quantum universal solutions of Gervais--Neveu--Felder equations

abstract: We construct universal Drinfel'd twists defining deformations of Hopf algebra structures based upon simple Lie algebras and contragredient simple Lie superalgebras. In particular, we obtain deformed and dynamical double Yangians. Some explicit realisations as evaluation representations are given for sl(N), sl(1|2) and osp(1|2).


title: 3-Manifolds from Platonic Solids

abstract: The problem of classifying, upto isometry (or similarity), the orientable spherical, Euclidean and hyperbolic 3-manifolds that arise by identifying the faces of a Platonic solid is formulated in the language of Coxeter groups. In the spherical and hyperbolic cases, this allows us to complete the classification begun by Lorimer, Richardson and Rubinstein and Best.


title: The conformal plate buckling equation

abstract: We study the conformal plate buckling equation (Laplace--Beltrami)^2 u =1, where the L-B operator is for the metric g = e^{2u}g_0, with $g_0$ the standard Euclidean metric on R^2. This conformal elliptic PDE of fourth order is equivalent to the nonlinear system of elliptic PDEs of second order, Delta u +K_g e^(2u)=0, Delta K_g + e^(2u)=0, with x in R^2, describing a conformally flat surface with a Gauss curvature function K_g that is generated self-consistently through the metric's conformal factor.


title: Imaginary Verma modules for the extended Affine Lie algebra $sl_2(C_q)$

abstract: We consider one of the most natural extended affine Lie lagebras, the algebra $sl_2({\mathbb C}_q)$ and begin a theory of its representations. In particular, we study a class of imaginary Verma modules, obtain a criterion of irreducibility and describe their submodule structure in "general position".


title: On the Poincare Problem for Foliations of General Type

abstract: Let F be a holomorphic foliation of general type on CP(2) which admits a rational first integral. We provide bounds for the degree of the first integral of F just in function of the degree, the birational invariants of F and the geometric genus of a generic leaf. Similar bounds for invariant algebraic curves are also obtained and examples are given showing the necessity of the hypothesis.


title: The Yamabe invariant for non-simply connected manifolds

abstract: The Yamabe invariant is an invariant of a closed smooth manifold defined using conformal geometry and the scalar curvature. Recently, Petean showed that the Yamabe invariant is non-negative for all closed simply connected manifolds of dimension $\ge 5$. We extend this to show that Yamabe invariant is non-negative for all closed manifolds of dimension $\ge 5$ with fundamental group of odd order having all Sylow subgroups abelian. The main new geometric input is a way of studying the Yamabe invariant on Toda brackets. A similar method of proof shows that all closed manifolds of dimension $\ge 5$ with fundamental group of odd order having all Sylow subgroups elementary abelian, with non-spin universal cover, admit metrics of positive scalar curvature, once one restricts to the ``complement'' of manifolds whose homology classes are ``toral.'' The exceptional toral homology classes only exist in dimensions not exceeding the ``rank'' of the fundamental group, so this proves important cases of the Gromov-Lawson-Rosenberg Conjecture once the dimension is sufficiently large.


title: Divisors on $\mathcal{M}_{g,g+1}$ and the Minimal Resolution Conjecture for points on canonical curves

abstract: We formulate a conjecture on the behavior of the minimal free resolutions of sets of general points on arbitrary varieties embedded by complete linear series, in analogy with the well-known Minimal Resolution Conjecture for points in projective space. We then study in detail the case of curves. Our main result is that the Minimal Resolution Conjecture holds for general points on any canonical curve. On the other hand, for curves embedded with large degree, it always fails at a well-specified spot in the Betti diagram. The results are shown via techniques involving theta divisors associated to semistable vector bundles, difference varieties in Jacobians, and divisor class calculations in moduli spaces of curves with marked points.


title: Isometries of Hilbert C*-modules

abstract: It is shown that every linear surjective isometry between two right, full, Hilbert C*-modules is a sum of two maps : a (bi-) module map (which is completely isometric and preserves the inner product) and a map that reverses the (bi-) module actions. Every such isometry can be extended to an isometry of the C* linking algebras.


title: WZW-Poisson manifolds

abstract: We observe that a term of the WZW-type can be added to the Lagrangian of the Poisson Sigma model in such a way that the algebra of the first class constraints remains closed. This leads to a natural generalization of the concept of Poisson geometry. The resulting "WZW-Poisson" manifold M is characterized by a bivector Pi and by a closed three-form H such that [Pi,Pi]_Schouten = < H, Pi^3 >.


title: Conditional Expectation as Quantile Derivative

abstract: For a linear combination of random variables, fix some confidence level and consider the quantile of the combination at this level. We are interested in the partial derivatives of the quantile with respect to the weights of the random variables in the combination. It turns out that under suitable conditions on the joint distribution of the random variables the derivatives exist and coincide with the conditional expectations of the variables given that their combination just equals the quantile. Moreover, using this result, we deduce formulas for the derivatives with respect to the weights of the variables for the so-called expected shortfall (first or higher moments) of the combination. Finally, we study in some more detail the coherence properties of the expected shortfall in case it is defined as a first conditional moment. Key words: quantile; value-at-risk; quantile derivative; conditional expectation; expected shortfall; conditional value-at-risk; coherent risk measure.


title: Injectivity Radius and Fundamental Group of Hyperbolic 3-Manifolds

abstract: We show that there is an upper bound on the injectivity radius of a hyperbolic 3-manifold in terms of the the number of generators of its fundamental group.


title: A diameter bound for closed, hyperbolic 3-manifolds

abstract: We show there is an upper bound on the diameter of a closed, hyperbolic 3-manifold in terms of the length of any presentation of its fundamental group.


title: A Compactification of the Space of Plane Curves

abstract: We define a geometrically meaningful compactification of the moduli space of smooth plane curves, which can be calculated explicitly. The basic idea is to regard a plane curve D in P^2 as a pair (P^2,D) of a surface together with a divisor, and allow both the surface and the curve to degenerate. For plane curves of degree d at least 4, we obtain a compactification M_d which is a moduli space of stable pairs (X,D) using the log minimal model program. A stable pair (X,D) consists of a surface X such that -K_X is ample and a divisor D in a given linear system on X with specified singularities. Note that X may be non-normal, and K_X is Q-Cartier but not Cartier in general. We give a rough classification of stable pairs of arbitrary degree, a complete classification in degrees 4 and 5, and a partial classification in degree 6. The compactification is particularly simple if d is not a multiple of 3 - in particular the surface X has at most 2 components. We give a characterisation of these surfaces in terms of the singularities and the Picard numbers of the components. Moreover, we show that M_d is smooth in this case.


title: On the existence of rigid aleph_1-free abelian groups of cardinality aleph_1

abstract: An abelian group is said to be aleph_1-free if all its countable subgroups are free. Our main result is: If R is a ring with R^+ free and |R|<lambda <= 2^{aleph_0}, then there exists an aleph_1-free abelian group G of cardinality lambda with End(G)=R . A corollary to this theorem is: Indecomposable aleph_1-free abelian groups of cardinality aleph_1 do exist.


title: Coding with ladders a well-ordering of the reals

abstract: Any model of ZFC + GCH has a generic extension (made with a poset of size aleph_2) in which the following hold: MA + 2^{aleph_0}= aleph_2+ there exists a Delta^2_1-well ordering of the reals. The proof consists in iterating posets designed to change at will the guessing properties of ladder systems on omega_1. Therefore, the study of such ladders is a main concern of this article.


title: Moment maps, monodromy and mirror manifolds

abstract: Via considerations of symplectic reduction, monodromy, mirror symmetry and Chern-Simons functionals, a conjecture is proposed on the existence of special Lagrangians in the hamiltonian deformation class of a given Lagrangian submanifold of a Calabi-Yau manifold. It involves a stability condition for graded Lagrangians, and can be proved for the simple case of $T^2$.


title: Special Lagrangians, stable bundles and mean curvature flow

abstract: We make a conjecture about mean curvature flow of Lagrangian submanifolds of Calabi-Yau manifolds, expanding on \cite{Th}. We give new results about the stability condition, and propose a Jordan-H\"older-type decomposition of (special) Lagrangians. The main results are the uniqueness of special Lagrangians in hamiltonian deformation classes of Lagrangians, under mild conditions, and a proof of the conjecture in some cases with symmetry: mean curvature flow converging to Shapere-Vafa's examples of SLags.


title: A tall space with small bottom

abstract: We introduce a general method of constructing locally compact scattered spaces from certain families of sets and then, with the help of this method, we prove that if kappa^{<kappa}=kappa then there is such a space of height kappa^+ with only kappa many isolated points. This implies that there is a locally compact scattered space of height omega_2 with omega_1 isolated points in ZFC, solving an old problem of the first author.


title: A cheap Caffarelli-Kohn-Nirenberg inequality for Navier-Stokes equations with hyper-dissipation

abstract: We prove that for the Navier Stokes equation with dissipation $(-\Delta)^{\alpha}$, where $1<\alpha<{5/4}$, and smooth initial data, the Hausdorff dimension of the singular set at time of first blow up is at most $5-4\alpha$. This unifies two directions from which one might approach the Clay prize problem.


title: On the Neron-Severi groups of fibered varieties

abstract: We apply Tate's conjecture on algebraic cycles to study the N\'eron-Severi groups of varieties fibered over a curve. This is inspired by the work of Rosen and Silverman, who carry out such an analysis to derive a formula for the rank of the group of sections of an elliptic surface. For a semistable fibered surface, under Tate's conjecture we derive a formula for the rank of the group of sections of the associated Jacobian fibration. For fiber powers of a semistable elliptic fibration $E --> C$, under Tate's conjecture we give a recursive formula for the rank of the N\'eron-Severi groups of these fiber powers. For fiber squares, we construct unconditionally a set of independent elements in the N\'eron-Severi groups. When $E --> C$ is the universal elliptic curve over the modular curve $X_0(M)/\Q$, we apply the Selberg trace formula to verify our recursive formula in the case of fiber squares. This gives an analytic proof of Tate's conjecture for such fiber squares over $\Q$, and it shows that the independent elements we constructed in fact form a basis of the N\'eron-Severi groups. This is the fiber square analog of the Shioda-Tate Theorem.


title: Derived categories of Schur algebras

abstract: We classify the derived tame Schur and infinitesimal Schur algebras and describe indecomposable objects in their derived categories.


title: Traces in braided categories

abstract: With any even Hecke symmetry R (that is a Hecke type solution of the Yang-Baxter equation) we associate a quasitensor category. We formulate a condition on R implying that the constructed category is rigid and its commutativity isomorphisms R_{U,V} are natural. We show that this condition leads to rescaling of the initial Hecke symmetry. We suggest a new way of introducing traces as properly normalized categorical morphisms End(V) --> K and deduce the corresponding normalization from categorical dimensions.


title: Sheaf Cohomology and Free Resolutions over Exterior Algebras

abstract: In this paper we study the Bernstein-Gel'fand-Gel'fand (BGG) correspondence linking sheaves on a projective space to graded modules over an exterior algebra. We give an explicit construction of a Beilinson monad for a sheaf on projective space. The explicitness allows us to to prove two conjectures about the morphisms in the monad. We also construct all the monads for a sheaf that can be built from sums of line bundles. A large subclass, containing many monads introduced by others, are uniquely characterized by simple numerical data. Our methods also yield an efficient method for machine computation of the cohomology of sheaves. Along the way we study minimal free resolutions over an exterior algebra. For example, we show that such resolutions are eventually dominated by their "linear parts" in the sense that erasing all terms of degree $>1$ in the complex yields a new complex which is eventually exact. This paper is a joint, extended version of papers previously written by Eisenbud-Schreyer and by Fl{\o}ystad seperately.


title: Simple birational extensions of the polynomial ring $\C^{[3]}$

abstract: The Abhyankar-Sathaye Problem asks whether any biregular embedding of affine spaces $A^m_k\to A^n_k$ can be rectified, that is, is equivalent to a linear embedding up to an automorphism of the target space. Here we study this problem for the embeddings $C^3 \to C^4$ whose image $X$ is given in $C^4$ by an equation $p=f(x,y)u+g(x,y,z)=0$, where $f\in C[x,y],$ $f\neq 0$ and $g\in C[x,y,z]$. Under certain additional assumptions we show that, indeed, the polynomial $p$ is a variable of the polynomial ring $C[x,y,z,u]$ (i.e., a coordinate of a polynomial automorphism of $C^4$). This is an analog of a theorem due to Sathaye which concerns the case of embeddings $C^2\to C^3$. Besides, we generalize a theorem of Miyanishi giving, for a polynomial $p$ as above, a criterion for as when $X$ is isomorphic to $C^3$.


title: Implications of a New Characterisation of the Distribution of Twin Primes

abstract: We bring to bear an empirical model of the distribution of twin primes and produce two distinct results. The first is that we can make a quantitative probabilistic prediction of the occurrence of gaps in the sequence of twins within the primes. The second is that the ``high jumper'' i.e., the separation with greatest likelihood (in terms of primes) is always expected to be zero.


title: Polyhedral K_2

abstract: Using elementary graded automorphisms of polytopal algebras (essentially the coordinate rings of projective toric varieties) polyhedral versions of the group of elementary matrices and the Steinberg and Milnor groups are defined. They coincide with the usual K-theoretic groups in the special case when the polytope is a unit simplex and can be thought of as compact/polytopal substitutes for the tame automorphism groups of polynomial algebras. Relative to the classical case, many new aspects have to be taken into account. We describe these groups explicitly when the underlying polytope is 2-dimensional. Already this low-dimensional case provides interesting classes of groups.


title: Orbifold cohomology for global quotients

abstract: For an orbifold X which is the quotient of a manifold Y by a finite group G we construct a noncommutative ring with an action of G such that the orbifold cohomology of X as defined in math.AG/0004129 by Chen and Ruan is the G invariant part. In the case thar Y is S^n for a surface S with trivial canonical class we prove that (a small modification of) the orbifold cohomology of X is naturally isomorphic to the cohomology ring of the Hilbert scheme of n points on S computed in math.AG/0012166 by Lehn and Sorger.


title: Scalar--Flat Lorentzian Einstein--Weyl Spaces

abstract: We find all three-dimensional Einstein--Weyl spaces with the vanishing scalar curvature


title: Non-commutative linear algebra and plurisubharmonic functions of quaternionic variables

abstract: We recall known and establish new properties of the Dieudonn\'e and Moore determinants of quaternionic matrices.Using these linear algebraic results we develop a basic theory of plurisubharmonic functions of quaternionic variables. Then we introduce and briefly discuss quaternionic Monge-Amp\'ere equations.


title: On the birational geometry of toric Fano 4-folds

abstract: We announce a factorization result for equivariant birational morphisms between toric 4-folds whose source is Fano: such a morphism is always a composite of blow-ups along smooth invariant centers. Moreover, we show with a counterexample that, differently from the 3-dimensional case, even if both source and target are Fano, the intermediate varieties can not be chosen Fano.


title: Schottky uniformization and vector bundles over Riemann surfaces

abstract: We study a natural map from representations of a free group of rank g in GL(n,C), to holomorphic vector bundles of degree 0 over a compact Riemann surface X of genus g, associated with a Schottky uniformization of X. Maximally unstable flat bundles are shown to arise in this way. We give a necessary and sufficient condition for this map to be a submersion, when restricted to representations producing stable bundles. Using a generalized version of Riemann's bilinear relations, this condition is shown to be true on the subspace of unitary Schottky representations.


title: Computing the equivariant Euler characteristic of Zariski and etale sheaves on curves

abstract: We prove an equivariant Grothendieck-Ogg-Shafarevich formula. This formula may be viewed as an \'etale analogue of well-known formulas for Zariski sheaves generalizing the classical Chevalley-Weil formula. We give a new approach to those formulas (first proved by Ellingsrud/L{\o}nsted, Nakajima, Kani and Ksir) which can also be applied in the \'etale case.


title: Kaehler spaces, nilpotent orbits, and singular reduction

abstract: For a stratified symplectic space, a suitable concept of stratified Kaehler polarization, defined in terms of an appropriate Lie-Rinehart algebra, encapsulates Kaehler polarizations on the strata and the behaviour of the polarizations across the strata and leads to the notion of stratified Kaehler space. This notion establishes an intimate relationship between nilpotent orbits, singular reduction, invariant theory, reductive dual pairs, Jordan triple systems, symmetric domains, and pre-homogeneous spaces; in particular, in the world of singular Poisson geometry, the closures of principal holomorphic nilpotent orbits, positive definite hermitian JTS's, and certain pre-homogeneous spaces appear as different incarnations of the same structure. The space of representations of the fundamental group of a closed surface in a compact Lie group inherits a (positive) normal (stratified) Kaehler structure, as does the closure of a holomorphic nilpotent orbit in a semisimple Lie algebra of hermitian type. The closure of the principal holomorphic nilpotent orbit arises from a regular semisimple holomorphic orbit by contraction. Symplectic reduction carries a (positive) Kaehler manifold to a (positive) normal Kaehler space in such a way that the sheaf of germs of polarized functions thereupon coincides with the ordinary sheaf of germs of holomorphic functions. Symplectic reduction establishes a close relationship between singular reduced spaces and nilpotent orbits of the dual groups. Projectivization of holomorphic nilpotent orbits yields exotic stratified Kaehler structures on complex projective spaces and on certain complex projective varieties including complex projective quadrics. Physical examples are provided by certain reduced spaces arising from angular momentum zero.


title: Brauer groups and Tate-Shafarevich groups

abstract: Let X_K be a proper, smooth and geometrically connected curve over a global field K. In this paper we generalize a formula of Milne relating the order of the Tate-Shafarevich group of the Jacobian of X_K to the order of the Brauer group of a proper regular model of X_K. We thereby partially answer a question of Grothendieck.


title: A Necessary Condition for existence of Lie Symmetries in Quasihomogeneous Systems of Ordinary Differential Equations

abstract: Lie symmetries for ordinary differential equations are studied. In systems of ordinary differential equations, there do not always exist non-trivial Lie symmetries around equilibrium points. We present a necessary condition for existence of Lie symmetries analytic in the neighbourhood of an equilibrium point. In addition, this result can be applied to a necessary condition for existence of a Lie symmetry in quasihomogeneous systems of ordinary differential equations. With the help of our main theorem, it is proved that several systems do not possess any analytic Lie symmetries.


title: Combinatorial nature of ground state vector of O(1) loop model

abstract: Hanging about a hypothetical connections between the ground state vector for some special spin systems and the alternating-sign matrices, we have found a numerical evidence for the fact that the numbers of the states of the fully packed loop model with fixed link-patterns coincide with the components of the ground state vector of the dense O$(1)$ loop model considered by Batchelor, de Gier and Nienhuis. Our conjecture generalizes in a sense the conjecture of Bosley and Fidkowski, refined by Cohn and Propp, and proved by Wieland.


title: Vector Fields on Smooth Threefolds Vanishing on Complete Intersections

abstract: The existence of a vector field on a compact Kaehler manifold with nonempty zero locus and the properties of this zero locus strongly influence the geometry of the manifold. For example, J. Wahl proved that the existence of a vector field vanishing on an ample divisor of a projective normal variety X implies that X is a cone over this divisor. If X is smooth, X will be isomorphic to the n-dimensional projective space. This paper is a first attempt to generalize Wahl's theorem to higher codimensions: Given a complex smooth projective threefold X and a vector field on X vanishing on an irreducible and reduced curve which is the scheme theoretic intersection of two ample divisors, X is isomorphic to the 3-dimensional projective space or the 3-dimensional quadric.


title: Impossibility of obtaining split links from split links via twistings

abstract: We show that if a split link is obtained from a split link $L$ in $S^3$ by $1/n$-Dehn surgery along a trivial knot $C$, then the link $L\cup C$ is splittable. That is to say, it is impossible to obtain a split link from a split link via a non-trivial twisting. As its corollary, we completely determine when a trivial link is obtained from a trivial link via a twisting.


title: Closed incompressible surfaces in the complements of positive knots

abstract: We show that any closed incompressible surface in the complement of a positive knot is algebraically non-split from the knot, positive knots cannot bound non-free incompressible Seifert surfaces and that the splitability and the primeness of positive knots and links can be seen from their positive diagrams.


title: Jacobi fields along harmonic 2-spheres in ${\bf C}P^2$ are integrable

abstract: We show that any Jacobi field along a harmonic map from the 2-sphere to the complex projective plane is integrable (i.e., is tangent to a smooth variation through harmonic maps). This provides one of the few known answers to this problem of integrability, which was raised in different contexts of geometry and analysis. It implies that the Jacobi fields form the tangent bundle to each component of the manifold of harmonic maps from $S^2$ to ${\bf C}P^2$ thus giving the nullity of any such harmonic map; it also has bearing on the behaviour of weakly harmonic $E$-minimizing maps from a 3-manifold to ${\bf C}P^2$ near a singularity and the structure of the singular set of such maps from any manifold to ${\bf C}P^2$.


title: Irrationalite d'au moins un des neuf nombres zeta(5),zeta(7),...,zeta(21)

abstract: We prove that there is at least one irrationnal among the nine numbers zeta(5), zeta(7),..., zeta(21).


title: Decoding method for generalized algebraic geometry codes

abstract: We propose a decoding method for the generalized algebraic geometry codes proposed by Xing et al. To show its practical usefulness, we give an example of generalized algebraic geometry codes of length 567 over F_8 whose numbers of correctable errors by the proposed method are larger than the shortened codes of the primitive BCH codes of length 4095 in the most range of dimension.


title: Severi varieties and branch curves of abelian surfaces of type (1,3)

abstract: Let (A,L) be a principally polarized abelian surface of type (1,3). The linear system |L| defines a 6:1 covering of A onto P2, branched along a curve B of degree 18 in P2. The main result of the paper is that for general (A,L) the curve B irreducible, admits 72 cusps, 36 nodes or tacnodes, each tacnode counting as two nodes, 72 flexes and 36 bitangents. The main idea of the proof is to use the fact that for a general (A,L) of type (1,3) the closure of the Severi variety V in |L| is dual to the curve B in the sense of projective geometry. We investigate V and B via degeneration to a special abelian surface.


title: On periodic Takahashi manifolds

abstract: In this paper we show that periodic Takahashi 3-manifolds are cyclic coverings of the connected sum of two lens spaces (possibly cyclic coverings of the 3-sphere), branched over knots. When the base space is a 3-sphere, we prove that the associated branching set is a two-bridge knot of genus one, and we determine its type. Moreover, a geometric cyclic presentation for the fundamental groups of these manifolds is obtained in several interesting cases, including the ones corresponding to the branched cyclic coverings of the 3-sphere.


title: On certain higher dimensional analogues of vertex algebras

abstract: A higher dimensional analogue of the notion of vertex algebra is formulated in terms of formal variable language with Borcherds' notion of $G$-vertex algebra as a motivation. Some examples are given and certain analogous duality properties are proved. Furthermore, it is proved that for any vector space $W$, any set of mutually local multi-variable vertex operators on $W$ in a certain canonical way generates a vertex algebra with $W$ as a natural module.


title: Self-Adjoint Extensions by Additive Perturbations

abstract: Let $A_\N$ be the symmetric operator given by the restriction of $A$ to $\N$, where $A$ is a self-adjoint operator on the Hilbert space $\H$ and $\N$ is a linear dense set which is closed with respect to the graph norm on $D(A)$, the operator domain of $A$. We show that any self-adjoint extension $A_\Theta$ of $A_\N$ such that $D(A_\Theta)\cap D(A)=\N$ can be additively decomposed by the sum $A_\Theta=\A+T_\Theta$, where both the operators $\A$ and $T_\Theta$ take values in the strong dual of $D(A)$. The operator $\A$ is the closed extension of $A$ to the whole $\H$ whereas $T_\Theta$ is explicitly written in terms of a (abstract) boundary condition depending on $\N$ and on the extension parameter $\Theta$, a self-adjoint operator on an auxiliary Hilbert space isomorphic (as a set) to the deficiency spaces of $A_\N$. The explicit connection with both Kre\u\i n's resolvent formula and von Neumann's theory of self-adjoint extensions is given.


title: Estimates and Existence Results for some Fully Nonlinear Elliptic Equations on Riemannian Manifolds

abstract: We prove estimates and existence results for some fully nonlinear elliptic equations on Riemannian manifolds. These equations are not arbitrary, but arise naturally in the study of conformal geometry.


title: Canonical extension of endomorphisms of type III factors

abstract: We extend the notion of the canonical extension of automorphisms of type III factors to the case of endomorphisms with finite statistical dimensions. Following the automorphism case, we introduce two notions for endomorphisms of type III factors: modular endomorphisms and Connes-Takesaki modules. Several applications to compact groups of automorphisms and subfactors of type III factors are given from the viewpoint of ergodic theory.


title: The distribution of values in the quadratic assignment problem

abstract: We obtain a number of results regarding the distribution of values of a quadratic function f on the set of nxn permutation matrices (identified with the symmetric group S_n) around its optimum (minimum or maximum). In particular, we estimate the fraction of permutations sigma such that f(sigma) lies within a given neighborhood of the optimal value of f. We identify some ``extreme'' functions f (there are 4 of those for n even and 5 for n odd) such that the distribution of every quadratic function around its optimum is a certain ``mixture'' of the distributions of the extremes and describe a natural class of functions (which includes, for example, the objective function in the Traveling Salesman Problem) with a relative abundance of near-optimal permutations. In particular, we identify a large class of functions f with the property that permutations in the vicinity of the optimal permutation (in the Hamming metric of S_n) tend to produce near optimal values of f (such is, for example, the objective function in the symmetric Traveling Salesman Problem) and show that for general f, just the opposite behavior may take place: an average permutation in the vicinity of the optimal permutation may be much worse than an average permutation in the whole group S_n.


title: A Stochastic Analog of Aubry-Mather Theory

abstract: In this paper we discuss a stochastic analog of Aubry-Mather theory in which a deterministic control problem is replaced by a controlled diffusion. We prove the existence of a minimizing measure (Mather measure) and discuss its main properties using viscosity solutions of Hamilton-Jacobi equations. Then we prove regularity estimates on viscosity solutions of Hamilton-Jacobi equation using the Mather measure. Finally we apply these results to prove asymptotic estimates on the trajectories of controlled diffusions and study the convergence of Mather measures as the rate of diffusion vanishes.


title: Mixed Tate Motives and Multiple Zeta Values

abstract: In this paper, we construct an object of the abelian category of mixed Tate motive associated to multiple zeta values. as a consequence, we prove the inequality of the dimension of the vector space generated by multiple zeta values, which is conjectured by Zagier. (Some errors was corrected from the first version. Namely, we changed the definition of the boundary $\bold B^0$.)


title: Conformally invariant differential operators on tensor densities

abstract: Let ${\cal F}_\lambda$ be the space of tensor densities on ${\bf R}^n$ of degree $\lambda$ (or, equivalently, of conformal densities of degree $-\lambda{}n$) considered as a module over the Lie algebra $so(p+1,q+1)$. We classify $so(p+1,q+1)$-invariant bilinear differential operators from ${\cal F}_\lambda\otimes{\cal F}_\mu$ to~${\cal F}_\nu$. The classification of linear $so(p+1,q+1)$-invariant differential operators from ${\cal F}_\lambda$ to ${\cal F}_\mu$ already known in the literature is obtained in a different manner.


title: The geometry of weakly selfdual Kahler surfaces

abstract: We study Kahler surfaces with harmonic anti-selfdual Weyl tensor. We provide an explicit local description, which we use to obtain the complete classification in the compact case. We give new examples of extremal Kahler metrics, including Kahler-Einstein metrics and conformally Einstein Kahler metrics. We also extend some of our results to almost Kahler 4-manifolds, providing new examples of Ricci-flat almost Kahler metrics which are not Kahler.


title: The correlation between multiplicities of closed geodesics on the modular surface

abstract: An explicit product representation is proved for the correlation function of the multiplicities of closed geodesics on the modular surface. This makes rigorous part of the investigation of Bogomolny, Leyvraz and Schmit on the correlation of the eigenvalues of the Laplacian on the modular surface. The result can also be seen as a (rigorously proved) analogue of the Hardy-Littlewood twin prime conjecture.


title: On a Generalisation of Obreshkoff-Ehrlich Method for Simultaneous Extraction of All Roots of Polynomials Over an Arbitrary Chebyshev System

abstract: New modifications of the methods for simultaneous extraction of all roots of polynomials over an arbitrary Chebyshev system are elaborated. A cubic convergence of iterations is proved. The method presented is a generalisation of the classical methods of Obreshkoff and Ehrlich for simultaneous seeking of all roots of algebraic equations. Numerical examples are provided.


title: A Generalization of Obreshkoff-Ehrlich Method for Multiple Roots of Algebraic, Trigonometric and Exponential Equations

abstract: In this paper methods for simultaneous finding all roots of generalized polynomials are developed. These methods are related to the case when the roots are multiple. They possess cubic rate of convergence and they are as labour-consuming as the known methods related to the case of polynomials with simple roots only.


title: Generalization of Ehrlich-Kjurkchiev method for multiple roots of algebraic equations

abstract: In this paper a new method which is a generalization of the Ehrlich-Kjurkchiev method is developed. The method allows to find simultaneously all roots of the algebraic equation in the case when the roots are supposed to be multiple with known multiplicities. The offered generalization does not demand calculation of derivatives of order higher than first simultaneously keeping quaternary rate of convergence which makes this method suitable for application from the practical point of view.


title: A Tangential Markov Inequality on Exponential Curves

abstract: We show that on the curves y=e^{t(x)} where t(x) is a fixed polynomial, there holds a tangential Markov inequality of exponent four. Specifically, for the real interval [a,b] there is a constant C such that max_{x\in [a,b]}|\frac{d}{dx}P(x,e^{t(x)})|\leq C(deg(P))^{4} max_{x\in [a,b]}|P(x,e^{t(x)})| for all bivariate polynomials P(x,y).


title: A Generalization of Obreshkoff-Ehrlich Method for Multiple Roots of Polynomial Equations

abstract: In this paper we develop a new method which is a generalization of the Obreshkoff -Ehrlich method for the cases of algebraic, trigonometric and exponential polynomials. This method has a cubic rate of convergence. It is efficient from the computational point of view and can be used for simultaneous finding all roots if the roots have known multiplicities. This new method in spite of the arbitrariness of multiplicities is of the same complexity as the methods for simultaneous finding all roots of simple roots. We do not use divided differences with multiple knots and this fact does not lead to calculation of derivatives of the given polynomial of higher order, but only of first ones.