title: Polarized deformation quantization

abstract: Let $A$ be a star product on a symplectic manifold $(M,\omega_0)$, $\frac{1}{t}[\omega]$ its Fedosov class, where $\omega$ is a deformation of $\omega_0$. We prove that for a complex polarization of $\omega$ there exists a commutative subalgebra, $O$, in $A$ that is isomorphic to the algebra of functions constant along the polarization. Let $F(A)$ consists of elements of $A$ whose commutator with $O$ belongs to $O$. Then, $F(A)$ is a Lie algebra which is an $O$-extension of the Lie algebra of derivations of $O$. We prove a formula which relates the class of this extension, the Fedosov class, and the Chern class of $P$.


title: Variance of the spectral numbers

abstract: A formula for the variance of the spectrum of a quasihomogeneous singularity is proved, using the G-function of a semisimple Frobenius manifold.


title: On a proof of the 10/8-conjecture

abstract: Let X be a smooth closed oriented non-spin 4-manifold with even intersection form kE_8\oplus nH. In this article we show that n\geq |k| on X. Thus we confirm the 10/8-conjecture affirmatively. As an application, we also give an estimate of intersection forms of spin coverings of non-spin 4-manifolds with even intersection forms.


title: Classification of indefinite hyper-Kaehler symmetric spaces

abstract: We classify indefinite simply connected hyper-Kaehler symmetric spaces. Any such space without flat factor has commutative holonomy group and signature (4m,4m). We establish a natural 1-1 correspondence between simply connected hyper-Kaehler symmetric spaces of dimension 8m and orbits of the general linear group GL(m,H) over the quaternions on the space (S^4C^n)^{\tau} of homogeneous quartic polynomials S in n = 2m complex variables satisfying the reality condition S = \tau S, where \tau is the real structure induced by the quaternionic structure of C^{2m} = H^m. We define and classify also complex hyper-Kaehler symmetric spaces. Such spaces without flat factor exist in any (complex) dimension divisible by 4.


title: PU(2) monopoles and links of top-level Seiberg-Witten moduli spaces

abstract: This is the first of two articles in which we give a proof - for a broad class of four-manifolds - of Witten's conjecture that the Donaldson and Seiberg-Witten series coincide, at least through terms of degree less than or equal to c-2, where c is a linear combination of the Euler characteristic and signature of the four-manifold. This article is a revision of sections 1-3 of an earlier version of the article dg-ga/9712005, now split into two parts, while a revision of sections 4-7 of that earlier version appears in a recently updated dg-ga/9712005. In the present article, we construct virtual normal bundles for the Seiberg-Witten strata of the moduli space of PU(2) monopoles and compute their Chern classes.

categories: math.DG hep-th math-ph math.AG math.GT math.MP


title: Decomposition of Marsden-Weinstein reductions for representations of quivers

abstract: We decompose the Marsden-Weinstein reductions for the moment map associated to representations of a quiver. The decomposition involves symmetric products of deformations of Kleinian singularities, as well as other terms. As a corollary we deduce that the Marsden-Weinstein reductions are irreducible varieties.


title: The Hodge Conjecture for general Prym varieties

abstract: The space of Hodge cycles of the general Prym variety is proved to be generated by its Neron-Severi group.


title: Rational period functions on the Hecke groups

abstract: We describe rational period functions on the Hecke groups and characterize the ones whose poles satisfy a certain symmetry. This generalizes part of the characterization of rational period functions on the modular group, which is one of the Hecke groups.


title: Permutations avoiding a pattern from $S_k$ and at least two patterns from $S_3$

abstract: In this paper, we find explicit formulas or generating functions for the cardinalities of the sets $S_n(T,\tau)$ of all permutations in $S_n$ that avoid a pattern $\tau\in S_k$ and a set $T$, $|T|\geq 2$, of patterns from $S_3$. The main body of the paper is divided into three sections corresponding to the cases $|T|=2,3$ and $|T|\geq 4$. As an example, in the fifth section, we obtain the complete classification of all cardinalities of the sets $S_n(T,\tau)$ for $k=4$.


title: Every diassociative A-loop is Moufang

abstract: An A-loop is a loop in which every inner mapping is an automorphism. We settle a problem which had been open since 1956 by showing that every diassociative A-loop is Moufang.


title: Isocategorical groups

abstract: It is well known that if two finite groups have the same symmetric tensor categories of representations over C, then they are isomorphic. We study the following question: when do two finite groups G1,G2 have the same tensor categories of representations over C (without regard for the commutativity constraint). We call two groups with such property isocategorical. We give an example of two groups which are isocategorical but not isomorphic: the affine symplectic group of a vector space over the field of two elements, and an appropriate "affine pseudosymplectic group" introduced by R.Griess (containing the "pseudosymplectic group" of A.Weil). On the other hand, we give a classification of groups isocategorical to a given group. In particular, we show that if G has no nontrivial normal subgroups of order 2^{2m} then any group isocategorical to G must actually be isomorphic to G. The proofs use the theory of triangular Hopf algebras. We also apply the notion of isocategorical groups to studying the question: when are two triangular semisimple Hopf algebras isomorphic as Hopf algebras?


title: On the geometric boundaries of hyperbolic 4-manifolds

abstract: We provide, for hyperbolic and flat 3-manifolds, obstructions to bounding hyperbolic 4-manifolds, thus resolving in the negative a question of Farrell and Zdravkovska.


title: Curvature and symmetry of Milnor spheres

abstract: In this paper we explore the geometry and topology of cohomogeneity one manifolds, i.e. manifolds with a group action whose principal orbits are hypersurfaces. We show that the principal group action of every principal SO(3) and SO(4) bundle over S^4 extends to a cohomogeneity one action. As a consequence we prove that every vector bundle and every sphere bundle over S^4 has a complete metric with non-negative curvature. It is well known that 15 of the 27 exotic spheres in dimension 7 can be written as S^3 bundles over S^4 in infinitely many ways, and hence we obtain infinitely many non-negatively curved metrics on these exotic spheres. A further consequence will be that there are infinitely many almost free actions by SO(3) on S^7, i.e. all isotropy groups are finite. These actions preserve the Hopf fibration S^3 -> S^7 -> S^4 but do not extend to the disc D^8. We also construct infinitely many such actions on the 15 exotic 7-spheres mentioned above.


title: The uncountable spectra of countable theories

abstract: Let T be a complete, first-order theory in a finite or countable language having infinite models. Let I(T,kappa) be the number of isomorphism types of models of T of cardinality \kappa. We denote by \mu (respectively \hat\mu) the number of cardinals (respectively infinite cardinals) less than or equal to \kappa. We prove that I(T,\kappa), as a function of \kappa > \aleph_0, is the minimum of 2^{\kappa} and one of the following functions: 1. 2^{\kappa}; 2. the constant function 1; 3. |\hat\mu^n/{\sim_G}|-|(\hat\mu - 1)^n/{\sim_G}| if \hat\mu<\omega for some 1<n<\omega and \hat\mu if \hat\mu >= \omega some group G <= Sym(n); 4. the constant function \beth_2; 5. \beth_{d+1}(\mu) for some infinite, countable ordinal d; 6. \sum_{i=1}^d \Gamma(i) where d is an integer greater than 0 (the depth of T) and \Gamma(i) is either \beth_{d-i-1}(\mu^{\hat\mu}) or \beth_{d-i}(\mu^{\sigma(i)} + \alpha(i)), where \sigma(i) is either 1, \aleph_0 or \beth_1, and \alpha(i) is 0 or \beth_2; the first possibility for \Gamma(i) can occur only when d-i > 0.


title: An endpoint estimate for the Kunze-Stein phenomenon and related maximal operators

abstract: One of the purposes of this paper is to prove that if G is a noncompact connected semisimple Lie group of real rank one with finite center, then L^{2,1}(G)\ast L^{2,1}({G})\subseteq L^{2,\infty}({G}). Let {K} be a maximal compact subgroup of {G} and X=G/K a symmetric space of real rank one. We will also prove that the noncentered maximal operator {\cal M}_2f(z) = \sup_{z\in B} \frac{1}{|B|} \int_{B}|f(z')|\,dz' is bounded from L^{2,1}(X) to L^{2,\infty}(X) and from L^p(X) to L^p(X) in the sharp range of exponents p\in(2,\infty]. The supremum in the definition of {\cal M}_2f(z) is taken over all balls containing the point z.


title: Newton polygons and formal groups: Conjectures by Manin and Grothendieck

abstract: We consider p-divisible groups (also called Barsotti-Tate groups) in characteristic p, their deformations, and we draw some conclusions. For such a group we can define its Newton polygon (abbreviated NP). This is invariant under isogeny. For an abelian variety (in characteristic p) the Newton polygon of its p-divisible group is ``symmetric''. In 1963 Manin conjectured that conversely any symmetric Newton polygon is ``algebroid''; i.e., it is the Newton polygon of an abelian variety. This conjecture was shown to be true and was proved with the help of the ``Honda-Serre-Tate theory''. We give another proof. Grothendieck showed that Newton polygons ``go up'' under specialization: no point of the Newton polygon of a closed fiber in a family is below the Newton polygon of the generic fiber. In 1970 Grothendieck conjectured the converse: any pair of comparable Newton polygons appear for the generic and special fiber of a family. This was extended by Koblitz in 1975 to a conjecture about a sequence of comparable Newton polygons. We prove these conjectures.


title: Algebraic estimates, stability of local zeta functions, and uniform estimates for distribution functions

abstract: A method of ``algebraic estimates'' is developed, and used to study the stability properties of integrals of the form \int_B|f(z)|^{-\d}dV, under small deformations of the function f. The estimates are described in terms of a stratification of the space of functions \{R(z)=|P(z)|^{\e}/|Q(z)|^{\d}\} by algebraic varieties, on each of which the size of the integral of R(z) is given by an explicit algebraic expression. The method gives an independent proof of a result on stability of Tian in 2 dimensions, as well as a partial extension of this result to 3 dimensions. In arbitrary dimensions, combined with a key lemma of Siu, it establishes the continuity of the mapping c\ra \int_B|f(z,c)|^{-\d}dV_1\cdots dV_n when f(z,c) is a holomorphic function of (z,c). In particular the leading pole is semicontinuous in f, strengthening also an earlier result of Lichtin.


title: Modularity of the Rankin-Selberg L-series, and multiplicity one for SL(2)

abstract: A fundamental question, first raised by Langlands, is to know whether the Rankin-Selberg product of two (not necessarily holomorphic) cusp forms f and g is modular, i.e., if there exists an automorphic form f box g on GL(4)/Q whose standard L-function equals L^*(s, f x g) after removing the ramified and archimedean factors. The first main result of this paper is to answer it in the affirmative, in fact with the base field Q replaced by any number field F. Our proof uses a mixture of converse theorems, base change and descent, and it also appeals to the local regularity properties of Eisenstein series and the scalar products of their truncations. One of the applications of this result is that the space of cusp forms on SL(2) has multiplicity one. Concretely this means the following: If f, g are newforms of holomorphic or Maass type with trivial character such that the squares of the p-th coeficients of f and g are the same at almost all primes p, then g must be a twist of f by a quadratic Dirichlet character.


title: Rigidity, unitary representations of semisimple groups, and fundamental groups of manifolds with rank one transformation group

abstract: The article establishes a long list of rigidity properties of lattices in G = SO(n,1) with n>=3 and G = SU(n,1) with n>=2 that are analogous to superrigidity of lattices in higher-rank Lie groups. The arguments are set in the context of strongly L^p unitary representations of G.


title: Asymptotic solitons of the Johnson equation

abstract: We prove the existence of non-decaying real solutions of the Johnson equation, vanishing as $x\to+\infty$. We obtain asymptotic formulas as $t\to\infty$ for the solutions in the form of an infinite series of asymptotic solitons with curved lines of constant phase and varying amplitude and width.


title: The toy top, an integrable system of rigid body dynamics

abstract: A toy top is defined as a rotationally symmetric body moving in a constant gravitational field while one point on the symmetry axis is constrained to stay in a horizontal plane. It is an integrable system similar to the Lagrange top. Euler-Poisson equations are derived. Following Felix Klein, the special unitary group $\rm SU(2)$ is used as configuration space and the solution is given in terms of hyperelliptic integrals. The curve traced by the point moving in the horizontal plane is analyzed, and a qualitative classification is achieved. The cases in which the hyperelliptic integrals degenerate to elliptic ones are found and the corresponding solutions are given in terms of Weierstrass elliptic functions.


title: Correctors for the homogenization of monotone parabolic operators

abstract: In the homogenization of monotone parabolic partial differential equations with oscillations in both the space and time variables the gradients converges only weakly in $L^p$. In the present paper we construct a family of correctors, such that, up to a remainder which converges to zero strongly in $L^p$, we obtain strong convergence of the gradients in $L^p$.


title: Les repr\'esentations ell-adiques associ\'ees aux courbes elliptiques sur \Q_p

abstract: This paper is devoted to the study of the $\ell$-adic representations of the absolute Galois group $G$ of ${\mathbb Q}_p$, $p\geq 5$, associated to an elliptic curve over ${\mathbb Q}_p$, as $\ell$ runs through the set of all prime numbers (including $\ell =p$, in which case we use the theory of potentially semi-stable $p$-adic representations). For each prime $\ell$, we give the complete list of isomorphism classes of ${\mathbb Q}_{\ell}[G]$-modules coming from an elliptic curve over ${\mathbb Q}_p$, that is, those which are isomorphic to the Tate module of an elliptic curve over ${\mathbb Q}_p$. The $\ell =p$ case is the more delicate. It requires studying the liftings of a given elliptic curve over ${\mathbb F}_p$ to an elliptic scheme over the ring of integers of a totally ramified finite extension of ${\mathbb Q}_p$, and combining it with a descent theorem providing a Galois criterion for an elliptic curve having good reduction over a $p$-adic field to be defined over a closed subfield. This enables us to state necessary and sufficient conditions for an $\ell$-adic representation of $G$ to come from an elliptic curve over ${\mathbb Q}_p$, for each prime $\ell$.


title: Greenberg's conjecture and units in multiple Z_p-extensions

abstract: In this paper we prove Greenberg's pseudo-null conjecture for the field of p-th roots of unity in the case that p exactly divides the class number and the index of the global units in the local units. We also generalize to the case of multiple Z_p-extensions a theorem of Iwasawa on the Kummer extension of the cyclotomic Z_p-extension generated by p-power roots of units .


title: On the Fontaine-Mazur Conjecture for CM-Fields

abstract: Fontaine and Mazur conjecture that a number field k has no infinite unramified Galois extension such that its Galois group is a p-adic analytic pro-p-group. We consider this conjecture for the maximal unramified p-extension of a CM-field k.


title: Relatively projective groups as absolute Galois groups

abstract: By two well-known results, one of Ax, one of Lubotzky and van den Dries, a profinite group is projective iff it is isomorphic to the absolute Galois group of a pseudo-algebraically closed field. This paper gives an analogous characterization of relatively projective profinite groups as absolute Galois groups of regularly closed fields.


title: Locally Minimal Projections

abstract: Given an n-tuple {a_1, ..., a_n} of self-adjoint operators on an infinite dimensional Hilbert space H and a positive integer k, there exists a projection p of rank k such that, for each for j = 1, ..., n, pa_jp is a scalar multiple of p. Assuming that {a_1, ...,a_n, 1} is a linearly independent set in the Calkin algebra, then p can be chosen of infinite rank.


title: Jet Schemes of Locally Complete Intersection Canonical Singularities

abstract: We prove that if X is a locally complete intersection variety, then X has all the jet schemes irreducible if and only if X has canonical singularities. After embedding X in a smooth variety Y, we use motivic integration to express the condition that X has irreducible jet schemes in terms of data coming from an embedded resolution of X in Y. We show that this condition is equivalent with having canonical singularities. In the appendix, this result is used to prove a generalization of Kostant's freeness theorem to the setting of jet schemes.


title: Examples of one-parameter automorphism groups of UHF algebras

abstract: Examples of (strongly continuous) one-parameter groups of automorphisms of UHF C*-algebras are given. One example has the property that the infinitesimal generator does not have a union of finite-dimensional subalgebras as a core. (This solves the so-called core problem, raised by S. Sakai, in the negative.) The other has the property of not being classical or commutative, i.e., the one-parameter group is not just an inner perturbation of a one-parameter group which has an increasing sequence of invariant finite-dimensional subalgebras with dense union. (This was certainly expected but has not been proven explicitly.)


title: Generalized KP Hierarchy for Several Variables

abstract: Following the techniques of M. Sato (see \cite{Sa}), a generalization of the KP hierarchy for more than one variable is proposed. An approach to the classification of solutions and a method to construct algebraic solutions is also offered.


title: Addition Formulae for Non-Abelian Theta Functions and Applications

abstract: This paper generalizes for non-abelian theta functions a number of formulae valid for theta functions of Jacobian varieties. The addition formula, the relation with the Szego kernel and with the multicomponent KP hierarchy and the behavior under cyclic coverings are given.


title: Orthogonal divided differences and Schubert polynomials, \~P-functions, and vertex operators

abstract: We give several new formulas which are useful for Schubert Calculus associated with the orthogonal groups and related orthogonal degeneracy loci.


title: Inequalities for the Gamma Function and estimates for the volume of sections of $B_p^n$

abstract: We consider $k$-dimensional central sections of the unit ball of $\ell_p^n$ (denoted $B_p^n$) and we prove that their volume are bounded by the volume of $B_p^n$ whenever $1<p<2$ and $1\le k\le (n-1)/2$ or $k=n-1$. We also consider $0<p<1$ and other cases. We obtain sharp inequalities involving Gamma Function in order to get these results.


title: Koebe Domain of Starlike Functions of Complex Order with Montel Normalization

abstract: Let $S^{*}(1-b)$ ($b \not= 0$ complex) denote the class of functions $f(z)=z+\alpha_{2}z^{2}+...$ analytic in $D={z \mid | z | < 1}$ which satisfies,for $z=e^{i\theta} \in D$, $(f(z)/z)\not= 0$ in D, and $Re \Biggr [ 1+ {1 \over b} \Biggr (z {{f^{'}(z)} \over f(z)}-1 \Biggl) \Biggl ] > 0$. The aim of this paper is to give the Koebe domain of the above mentioned class.


title: The Intersection of All Maximum Stable Sets of a Tree and its Pendant Vertices

abstract: A stable set in a graph G is a set of mutually non-adjacent vertices, alpha(G) is the size of a maximum stable set of G, and core(G) is the intersection of all its maximum stable sets. In this paper we demonstrate that in a tree T, of order n greater than 1, any stable set of size greater or equal to n/2 contains at least one pendant vertex. Hence, we deduce that any maximum stable set in a tree contains at least one pendant vertex. Our main finding is the theorem claiming that if T does not own a perfect matching, then at least two pendant vertices an even distance apart belong to core(T). While it is proved by Levit and Mandrescu that if G is a connected bipartite graph of order at least 2, then the size of core(G) is different from 1, our new statement reveals an additional structure of the intersection of all maximum stable sets of a tree. The above assertions give refining of one result of Hammer, Hansen and Simeone, stating that if a graph G is of order less than 2*alpha(G), then core(G) is non-empty, and also of a result of Jamison, Gunter, Hartnel and Rall, and Zito, saying that for a tree T of order at least two, the size of core(G) is different from 1.


title: Standard-model bundles

abstract: We describe a family of genus one fibered Calabi-Yau threefolds with fundamental group ${\mathbb Z}/2$. On each Calabi-Yau $Z$ in the family we exhibit a positive dimensional family of Mumford stable bundles whose symmetry group is the Standard Model group $SU(3)\times SU(2)\times U(1)$ and which have $c_{3} = 6$. We also show that for each bundle $V$ in our family, $c_{2}(Z) - c_{2}(V)$ is the class of an effective curve on $Z$. These conditions ensure that $Z$ and $V$ can be used for a phenomenologically relevant compactification of Heterotic M-theory.


title: Spectral involutions on rational elliptic surfaces

abstract: In this paper we describe a four dimensional family of special rational elliptic surfaces admitting an involution with isolated fixed points. For each surface in this family we calculate explicitly the action of a spectral version of the involution (namely of its Fourier-Mukai conjugate) on global line bundles and on spectral data. The calculation is carried out both on the level of cohomology and in the derived category. We find that the spectral involution behaves like a fairly simple affine transformation away from the union of those fiber components which do not intersect the zero section. These results are the key ingredient in the construction of Standard-Model bundles in [DOPWa].


title: Groups that do not act by automorphisms of codimension-one foliations

abstract: Let G be a finitely generated group having the property that any action of any finite-index subgroup of G by homeomorphisms of the circle must have a finite orbit. (By a theorem of E.Ghys, lattices in simple Lie groups of real rank at least two have this property.) Suppose that such a G acts on a compact manifold M by automorphisms of a codimension-one C2 foliation, F. We show that if F has a compact leaf, then some finite-index subgroup of G fixes a compact leaf of F. Furthermore, we give sufficient conditions for some finite-index subgroup of G to fix each leaf of F.


title: Ideals in transformation-group $C^*$-algebras

abstract: We characterize the ideal of continuous-trace elements in a separable transformation-group $C^{*}$-algebra $C_0(X)\times G$. In addition, we identify the largest Fell ideal, the largest liminal ideal and the largest postliminal ideal.


title: Holomorphic Disks and the Chord Conjecture

abstract: We prove (a weak version of) Arnold's Chord Conjecture using Gromov's ``classical'' idea in to produce holomorphic disks with boundary on a Lagrangian submanifold.


title: Mean curvature 1 surfaces in hyperbolic 3-space with low total curvature I

abstract: A complete surface of constant mean curvature 1 (CMC-1) in hyperbolic 3-space with constant curvature -1 has two natural notions of "total curvature"-- one is the total absolute curvature which is the integral over the surface of the absolute value of the Gaussian curvature, and the other is the dual total absolute curvature which is the total absolute curvature of the dual CMC-1 surface. In this paper, we completely classify CMC-1 surfaces with dual total absolute curvature at most 4\pi. Moreover, we give new examples and partially classify CMC-1 surfaces with dual total absolute curvature at most 8\pi.


title: An analogue of minimal surface theory in SL(n,C)/SU(n)

abstract: We shall discuss the class of surfaces with holomorphic right Gauss maps in non-compact duals of compact semisimple Lie groups (e.g. SL(n,C)/SU(n)), which contains minimal surfaces in R^n and constant mean curvature 1 surfaces in H^3. A Weierstrass type representation formula, and a Chern-Osserman type inequality for such surfaces are given.


title: Cancellation of factorials

abstract: We study the arithmetic property which allows to sharpen number-theoretic estimates. Previous results on this property are, as a rule, quantitive. The application of our general qualitive theorems to generalized hypergeometric functions extends the set of irrational numbers which are the values of these functions.


title: Large Complex Structure Limits of K3 Surfaces

abstract: Motivated by the picture of mirror symmetry suggested by Strominger, Yau and Zaslow, we made a conjecture concerning the Gromov-Hausdorff limits of Calabi-Yau n-folds (with Ricci-flat K\"ahler metric) as one approaches a large complex structure limit point in moduli; a similar conjecture was made independently by Kontsevich, Soibelman and Todorov. Roughly stated, the conjecture says that, if the metrics are normalized to have constant diameter, then this limit is the base of the conjectural special lagrangian torus fibration associated with the large complex structure limit, namely an n-sphere, and that the metric on this S^n is induced from a standard (singular) Riemannian metric on the base, the singularities of the metric corresponding to the discriminant locus of the fibration. This conjecture is trivially true for elliptic curves; in this paper we prove it in the case of K3 surfaces. Using the standard description of mirror symmetry for K3 surfaces and the hyperk\"ahler rotation trick, we reduce the problem to that of studying K\"ahler degenerations of elliptic K3 surfaces, with the K\"ahler class approaching the wall of the K\"ahler cone corresponding to the fibration and the volume normalized to be one. Here we are able to write down a remarkably accurate approximation to the Ricci-flat metric -- if the elliptic fibres are of area $\epsilon >0$, then the error is $O(e^{-C/\epsilon})$ for some constant $C>0$. This metric is obtained by gluing together a semi-flat metric on the smooth part of the fibration with suitable Ooguri-Vafa metrics near the singular fibres. For small $\epsilon$, this is a sufficiently good approximation that the above conjecture is then an easy consequence.


title: The bilinear maximal functions map into L^p for 2/3 < p <= 1

abstract: The bilinear maximal operator defined below maps $L^p\times L^q$ into $L^r$ provided $1<p,q<\zI$, $1/p+1/q=1/r$ and $2/3<r\le1$. $$ Mfg(x)=\sup_{t>0}\frac1{2t}\int_{-t}^t\abs{f(x+y)g(x-y)} dy.$$ In particular $Mfg$ is integrable\thinspace if $f$ and $g$ are square integrable, answering a conjecture posed by Alberto Calder\'on.


title: The Lattice of integer partitions and its infinite extension

abstract: In this paper, we use a simple discrete dynamical model to study integer partitions and their lattice. The set of reachable configurations of the model, with the order induced by the transition rule defined on it, is the lattice of all partitions of an integer, equipped with a dominance ordering. We first explain how this lattice can be constructed by an algorithm in linear time with respect to its size by showing that it has a self-similar structure. Then, we define a natural extension of the model to infinity, which we compare with the Young lattice. Using a self-similar tree, we obtain an encoding of the obtained lattice which makes it possible to enumerate easily and efficiently all the partitions of a given integer. This approach also gives a recursive formula for the number of partitions of an integer, and some informations on special sets of partitions, such as length bounded partitions.


title: Special Lagrangian m-folds in C^m with symmetries

abstract: This is the first in a series of papers on special Lagrangian submanifolds in C^m. We study special Lagrangian submanifolds in C^m with large symmetry groups, and give a number of explicit constructions. Our main results concern special Lagrangian cones in C^m invariant under a subgroup G in SU(m) isomorphic to U(1)^{m-2}. By writing the special Lagrangian equation as an o.d.e. in G-orbits and solving the o.d.e., we find a large family of distinct, G-invariant special Lagrangian cones on T^{m-1} in C^m. These examples are interesting as local models for singularities of special Lagrangian submanifolds of Calabi-Yau manifolds. Such models will be needed to understand Mirror Symmetry and the SYZ conjecture.


title: Generalized Integer Partitions, Tilings of Zonotopes and Lattices

abstract: In this paper, we study two kinds of combinatorial objects, generalized integer partitions and tilings of two dimensional zonotopes, using dynamical systems and order theory. We show that the sets of partitions ordered with a simple dynamics, have the distributive lattice structure. Likewise, we show that the set of tilings of zonotopes, ordered with a simple and classical dynamics, is the disjoint union of distributive lattices which we describe. We also discuss the special case of linear integer partitions, for which other dynamical systems exist. These results give a better understanding of the behaviour of tilings of zonotopes with flips and dynamical systems involving partitions.


title: Nonlocal Mathematics

abstract: This is a research announcement on what is best termed `nonlocal' methods in mathematics. (This is not to be confused with global analysis.) The nonlocal formulation of physics in \cite{principia} points to a fresh viewpoint in mathematics: Nonlocal viewpoint. It involves analyzing objects of geometry and analysis using nonlocal methods, as opposed to the classical local methods, e.g., Newton's calculus. It also involves analyzing new nonlocal geometries and nonlocal analytical objects, i.e. nonlocal fields. In geometry, we introduce and study (nonlocal) forms, differentials, integrals, connections, curvatures, holonomy, G-structures, etc. In analysis, we analyze local fields using nonlocal methods (semilocal analysis); nonlocal fields nonlocally (of course); and the connection between nonlocal linear analysis and local nonlinear analysis. Analysis and geometry are next synthesized to yield nonlocal (hence noncommutative) homology, cohomology, de Rham theory, Hodge theory, Chern-Weil theory, K-theory (called N-theory) and index theory. Applications include theorems such as nonlocal-noncommutative Riemann-Roch, Gauss-Bonnet, Hirzebruch signature, etc. The nonlocal viewpoint is also investigated in algebraic geometry, analytic geometry, and, to some extent, in arithmetic geometry, resulting in powerful bridges between the classical and nonlocal-noncommutative aspects.


title: Theta constants associated to cubic three folds

abstract: For a cubic surface X, by considering the intermediate Jacobian J(Y) of the triple covering Y of the 3-dimensional projective space branching along X, Allcock, Carlson and Toledo constructed a period map per from the family of marked cubic surfaces to the four dimensional complex ball embedded in the Siegel upper half space of degree 5. We give an expression of the inverse of per in terms of theta constants by constructing an isomorphism between J(Y) and a Prym variety of a cyclic 6-ple covering of the projective line branching at seven points.


title: Theta constants associated with the cyclic triple coverings of the complex projective line branching at six points

abstract: Let $\psi$ be the period map for a family of the cyclic triple coverings of the complex projective line branching at six points. The symmetric group $S_6$ acts on this family and on its image under $\psi.$ In this paper, we give an $S_6$-equivariant expression of $\psi^{-1}$ in terms of fifteen theta constants.


title: The uniformizing differential equation of the complex hyperbolic structure on the moduli space of marked cubic surface II

abstract: The relation between the uniformizing equation of the complex hyperbolic structure on the moduli space of marked cubic surfaces and an Appell-Lauricella hypergeometric system in nine variables is clarified.


title: Kashaev's invariant and the volume of a hyperbolic knot after Y. Yokota

abstract: I follow Y. Yokota to explain how to obtain a tetrahedron decomposition of the complement of a hyperbolic knot and compare it with the asymptotic behavior of Kashaev's link invariant using the figure-eight knot as an example.


title: Lattice Points inside Lattice Polytopes

abstract: We show that, if the interior of a lattice d-polytope P contains at least one lattice point, then it contains a lattice point whose coefficient of asymmetry with respect to P is at most b for some number b depending on d only. As an application, we obtain new upper bounds on the volume of a lattice polytope given the number of lattice points in its interior.


title: Alternating sign matrices and tournaments

abstract: We settle a question of Bressoud concerning the existence of an explicit bijection from a class of oriented square-ice graphs to a class of tournaments. We give an algorithm constructing such a bijection.


title: Filling Length in Finitely Presentable Groups

abstract: Filling length measures the length of the contracting closed loops in a null-homotopy. The filling length function of Gromov for a finitely presented group measures the filling length as a function of length of edge-loops in the Cayley 2-complex. We give a bound on the filling length function in terms of the log of an isoperimetric function multiplied by a (simultaneously realisable) isodiametric function.


title: Some spherical uniqueness theorems for multiple trigonometric series

abstract: We prove that if a multiple trigonometric series is spherically Abel summable everywhere to an everywhere finite function $f(x)$ which is bounded below by an integrable function, then the series is the Fourier series of $f(x)$ if the coefficients of the multiple trigonometric series satisfy a mild growth condition. As a consequence, we show that if a multiple trigonometric series is spherically convergent everywhere to an everywhere finite integrable function $f(x)$, then the series is the Fourier series of $f(x)$. We also show that a singleton is a set of uniqueness. These results are generalizations of a recent theorem of J. Bourgain and some results of V. Shapiro.


title: Integral mappings and the principle of local reflexivity for noncommutative L^1-spaces

abstract: The operator space analogue of the {\em strong form} of the principle of local reflexivity is shown to hold for any von Neumann algebra predual, and thus for any $C^{*}$-algebraic dual. This is in striking contrast to the situation for $C^{*}$-algebras, since, for example, $K(H)$ does not have that property. The proof uses the Kaplansky density theorem together with a careful analysis of two notions of integrality for mappings of operator spaces.


title: Linking numbers and boundaries of varieties

abstract: The intersection index at a common point of two analytic varieties of complementary dimensions in $\Bbb C^n$ is positive. This observation, which has been called a ``cornerstone'' of algebraic geometry ([GH, p.~62]), is a simple consequence of the fact that analytic varieties carry a natural orientation. Recast in terms of linking numbers, it is our principal motivation. It implies the following: Let $M$ be a smooth oriented compact 3-manifold in $\Bbb C^3$. Suppose that $M$ bounds a bounded complex 2-variety $V$. Here ``bounds'' means, in the sense of Stokes' theorem, i.e., that ${b[V]}={[M]}$ as currents. Let $A$ be an algebraic curve in $\Bbb C^3$ which is disjoint from M. Consider the linking number ${\rm link}(M,A)$ of $M$ and $A$. Since this linking number is equal to the intersection number (i.e. the sum of the intersection indices) of $V$ and $A$, by the positivity of these intersection indices, we have ${\rm link}(M,A) \geq 0$. The linking number will of course be 0 if $V$ and $A$ are disjoint. (As $A$ is not compact, this usage of ``linking number'' will be clarified later.) This reasoning shows more generally that ${\rm link}(M,A) \geq 0$ if $M$ bounds a positive holomorphic 2-chain. Recall that a {\it holomorphic $k$-chain} in $\Omega \subseteq \Bbb C^n$ is a sum $\sum n_j [V_j]$ where $\{V_j\}$ is a locally finite family of irreducible $k$-dimensional subvarieties of $\Omega$ and $n_j \in \Bbb Z$ and that the holomorphic 2-chain is {\it positive} if $n_j >0$ for all $j$. Our first result is that, conversely, the nonnegativity of the linking number characterizes boundaries of positive holomorphic 2-chains.


title: A special case of sl(n)-fusion coefficients

abstract: We give a combinatorial description of sl(n)-fusion coefficients in the case where one partition has at most two columns and establih other properties for this case.


title: The Lusztig cones of a quantized enveloping algebra of type A

abstract: We show that for each reduced expression for the longest word in the Weyl group of type A_n, the corresponding cone arising in Lusztig's description of the canonical basis in terms of tight monomials is simplicial, and construct explicit spanning vectors.


title: Evidence for a conjecture of Pandharipande

abstract: In his paper "Hodge integrals and degenerate contributions", Pandharipande studied the relationship between the enumerative geometry of certain 3-folds and the Gromov-Witten invariants. In some good cases, enumerative invariants (which are manifestly integers) can be expressed as a rational combination of Gromov-Witten invariants. Pandharipande speculated that the same combination of invariants should yield integers even when they do not have any enumerative significance on the 3-fold. In the case when the 3-fold is the product of a complex surface and an elliptic curve, Pandharipande has computed this combination of invariants on the 3-fold in terms of the Gromov-Witten invariants of the surface. This computation yields surprising conjectural predictions about the genus 0 and genus 1 Gromov-Witten invariants of complex surfaces. The conjecture states that certain rational combinations of the genus 0 and genus 1 Gromov-Witten invariants are always integers. Since the Gromov-Witten invariants for surfaces are often enumerative (as oppose to 3-folds), this conjecture can often also be interpreted as giving certain congruence relations among the various enumerative invariants of a surface. In this note, we state Pandharipande's conjecture and we prove it for an infinite series of classes in the case of the projective plane blown-up at 9 points. In this case, we find generating functions for the numbers appearing in the conjecture in terms of quasi-modular forms. We then prove the integrality of the numbers by proving a certain a congruence property of modular forms that is reminiscent of Ramanujan's mod 5 congruences of the partition function.


title: On the probabilistic rationale of I-divergence and J-divergence minimization

abstract: A probabilistic rationale for I-divergence minimization (relative entropy maximization), non-parametric likelihood maximization and J-divergence minimization (Jeffres' entropy maximization) criteria is provided.


title: The Wess-Zumino term for a harmonic map

abstract: We calculate the Wess-Zumino term $\Gamma(g)$ for a harmonic map $g$ of a closed surface to a compact, simply connected, simple Lie group $G$ in terms of the energy and the holonomy of the Chern-Simons line bundle on the moduli space of flat $G$-connections. In the case of the 2-sphere we deduce that $\Gamma(g)$ is 0 or $\pi$ and for the 2-torus and $G=SU(2)$ we give a formula involving hyperelliptic integrals.


title: State transitions as morphisms for complete lattices

abstract: We enlarge the hom-sets of categories of complete lattices by introducing `state transitions' as generalized morphisms. The obtained category will then be compared with a functorial quantaloidal enrichment and a contextual quantaloidal enrichment that uses a specific concretization in the category of sets and partially defined maps ($Parset$).


title: Rectangle diagrams for the Lusztig cones of quantized enveloping algebras of type A

abstract: Let U be the quantum group associated to a Lie algebra of type A_n. The negative part U^- of U has a canonical basis B defined by Lusztig and Kashiwara, with favourable properties. We show how the spanning vectors of the cones defined by Lusztig when regarded as monomials in Kashiwara's root operators, can be described using a remarkable rectangle combinatorics. We use this to calculate the Lusztig parameters of the corresponding canonical basis elements, conjecturing that translates of these vectors span the simplicial regions of linearity of Lusztig's piecewise-linear function. Keywords: quantum group, canonical basis, Lusztig cone, longest word, piecewise-linear combinatorics.


title: Bounds for Betti numbers

abstract: In this paper we prove parts of a conjecture of Herzog giving lower bounds on the rank of the free modules appearing in the linear strand of a graded $k$-th syzygy module over the polynomial ring. If in addition the module is $\mathbb{Z}^n$-graded we show that the conjecture holds in full generality. Furthermore, we give lower and upper bounds for the graded Betti numbers of graded ideals with a linear resolution and a fixed number of generators.


title: Uniform asymptotic estimates of transition probabilities on combs

abstract: We investigate the asymptotical behaviour of the transition probabilities of the simple random walk on the 2-comb. In particular we obtain space-time uniform asymptotical estimates which show the lack of symmetry of this walk better than local limit estimates. Our results also point out the impossibility of getting Jones-type non-Gaussian estimates.


title: Stationary random fields with linear regressions

abstract: We analyze certain stationary fields with linear regressions and quadratic conditional variances. This classic probabilistic problem leads somewhat unexpectedly to stationary Markov processes closely tied to non-commutative probability through the q-Hermite polynomials.


title: Full chains of twists for orthogonal algebras

abstract: We show that for some Hopf subalgebras in U_F(so(M)) nontrivially deformed by a twist F it is possible to find the nonlinear primitive copies. This enlarges the possibilities to construct chains of twists. For orthogonal algebra U(so(M)) we present a method to compose the full chains with carrier space as large as the Borel subalgebra B(so(M)). These chains can be used to construct the new deformed Yangians.


title: Symmetry Classes of Alternating Sign Matrices

abstract: An alternating sign matrix is a square matrix satisfying (i) all entries are equal to 1, -1 or 0; (ii) every row and column has sum 1; (iii) in every row and column the non-zero entries alternate in sign. The 8-element group of symmetries of the square acts in an obvious way on square matrices. For any subgroup of the group of symmetries of the square we may consider the subset of matrices invariant under elements of this subgroup. There are 8 conjugacy classes of these subgroups giving rise to 8 symmetry classes of matrices. R. P. Stanley suggested the study of those alternating sign matrices in each of these symmetry classes. We have found evidence suggesting that for six of the symmetry classes there exist simple product formulas for the number of alternating sign matrices in the class. Moreover the factorizations of certain of their generating functions point to rather startling connections between several of the symmetry classes and cyclically symmetric plane partitions.


title: Representations of $U_{\epsilon}^{res}(sl_2)$ via Restricted q-Fock Spaces

abstract: Two restricted $C[q,q^{-1}]-$forms of the well known q-boson algebra are introduced and the corresponding restricted q-Fock spaces defined. All of the irreducible highest weight representations, including the infinite dimensional ones, of $U_\epsilon ^{res}(sl_2)$ of type 1 are constructed through the restricted q-Fock spaces.


title: Bethe Equation at q=0, Moebius Inversion Formula, and Weight Multiplicities: II. X_n case

abstract: We study a family of power series characterized by a system of recursion relations (Q-system) with a certain convergence property. We show that the coefficients of the series are expressed by the numbers which formally count the off-diagonal solutions of the U_q(X^{(1)}_n) Bethe equation at q=0. The series are conjectured to be the X_n-character of a certain family of irreducible finite-dimensional U_q(X^{(1)}_n) -modules which we call the KR (Kirillov-Reshetikhin) modules. Under the above conjecture, these coefficients give a formula of the weight multiplicities of the tensor products of the KR modules, which is also interpreted as the formal completeness of the XXZ-type Bethe vectors.


title: Higher order intersection numbers of 2-spheres in 4-manifolds

abstract: This is the beginning of an obstruction theory for deciding whether a map f:S^2 --> X^4 is homotopic to a topologically flat embedding, in the presence of fundamental group and in the absence of dual spheres. The first obstruction is Wall's self-intersection number mu(f) which tells the whole story in higher dimensions. Our second order obstruction tau(f) is defined if mu(f) vanishes and has formally very similar properties, except that it lies in a quotient of the group ring of two copies of pi_1(X) modulo S_3-symmetry (rather then just one copy modulo S_3-symmetry). It generalizes to the non-simply connected setting the Kervaire-Milnor invariant which corresponds to the Arf-invariant of knots in 3-space. We also give necessary and sufficient conditions for moving three maps f_1,f_2,f_3:S^2 --> X^4 to a position in which they have disjoint images. Again the obstruction lambda(f_1,f_2,f_3) generalizes Wall's intersection number lambda(f_1,f_2) which answers the same question for two spheres but is not sufficient (in dimension 4) for three spheres. In the same way as intersection numbers correspond to linking numbers in dimension 3, our new invariant corresponds to the Milnor invariant mu(1,2,3), generalizing the Matsumoto triple to the non simply-connected setting.


title: Bordism classes of the multiple points manifolds

abstract: Let $f:V^n\looparrowright M^m$ be a smooth generic immersion. Then the set of points, that have at least $k$ preimages is an image of a (non-generic) immersion. If the manifolds $V^n$ and $M^m$ are oriented and $m-n$ is even, then the manifold of $k$-fold points is also oriented. In this paper we compute the oriented bordism class of the manifold of $k$-fold points in terms of the differential $df$, provided the tangent bundle of the manifold $M^m$ has a nowhere zero cross-section.


title: Regions of linearity, Lusztig cones and canonical basis elements for the quantized enveloping algebra of type A_4

abstract: Let U_q be the quantum group associated to a Lie algebra g of rank n. The negative part U^- of U has a canonical basis B with favourable properties, introduced by Kashiwara and Lusztig. The approaches of Kashiwara and Lusztig lead to a set of alternative parametrizations of the canonical basis, one for each reduced expression for the longest word in the Weyl group of g. We show that if g is of type A_4 there are close relationships between the Lusztig cones, canonical basis elements and the regions of linearity of reparametrization functions arising from the above parametrizations. A graph can be defined on the set of simplicial regions of linearity with respect to adjacency, and we further show that this graph is isomorphic to the graph with vertices given by the reduced expressions of the longest word of the Weyl group modulo commutation and edges given by long braid relations. Keywords: Quantum group, Lie algebra, Canonical basis, Tight monomials, Weyl group, Piecewise-linear functions.


title: La fonction Zeta de Riemann prend une infinite de valeurs irrationnelles aux entiers impairs

abstract: We provide a lower bound for the dimension of the vector space spanned by 1 and by the values of the Riemann Zeta function at the first odd integers. As a consequence, the Zeta function takes infinitely many irrational values at odd integers.


title: Destruction of CD4 T Lymphocytes Alone Cannot Account for their Long-term Decrease in AIDS

abstract: Following previous models describing a quasi steady state (QSS) for the evolution of HIV infection and AIDS, we have developed a larger formalism simulating the long-term evolution of the QSS We show that the long-term evolution of AIDS cannot be explained by the destruction alone of CD4 T cells, either directly or indirectly. The destruction of CD4 T cells can lead only to a QSS with a lower concentration of CD4 T cells, but CD4 destruction cannot generate the sustained long-term decrease in T cells leading to AIDS. We here suggest some workable explanations.


title: Selection of subsystems of random variables equivalent in distribution to the Rademacher system

abstract: We present necessary and sufficient conditions on systems of random variables for them to possess a lacunary subsystem equivalent in distribution to the Rademacher system on the segment [0,1]. In particular, every uniformly bounded orthonormal system has this property. Furthermore, an arbitrary finite uniformly bounded orthonormal set of N functions contains a subset of "logarithmic" density equivalent in distribution to the corresponding set of Rademacher functions, with a constant independent of N. A connection between the tail distribution and the L_p-norms of polynomials with respect to systems of random variables exploited. We use also these results to study K-closed representability of some Banach couples.


title: On Picard bundles over Prym varieties

abstract: We study the birationality (onto its image) of the Abel-Prym morphism associated with a Prym-Tuyrin variety. We use such result to prove that Picard bundles over Prym varieties are simple and moreover they are stable when the Abel-Prym morphism is not birational. As a consequence we obtain that Picard bundles over moduli spaces of stable vector bundles with fixed determinant are simple. We prove that Picard bundles over moduli spaces of rank 2 vector bundles on curves of genus 2 bundles are stable.


title: Twist of Lie algebras by 6 dimensional subalgebra

abstract: A new non-standard deformation of all types of classical Lie algebras is constructed by means of Drinfel'd twist based on a six dimensional subalgebra. This is an extension of extended twists introduced by Kulish et al. For the algebra M_3 = so(3,2), a relation to a known non-standard deformation is discussed.


title: Modular invariants and subfactors

abstract: In this lecture we explain the intimate relationship between modular invariants in conformal field theory and braided subfactors in operator algebras. Our analysis is based on an approach to modular invariants using braided sector induction ("$\alpha$-induction") arising from the treatment of conformal field theory in the Doplicher-Haag-Roberts framework. Many properties of modular invariants which have so far been noticed empirically and considered mysterious can be rigorously derived in a very general setting in the subfactor context. For example, the connection between modular invariants and graphs (cf. the A-D-E classification for $SU(2)_k$) finds a natural explanation and interpretation. We try to give an overview on the current state of affairs concerning the expected equivalence between the classifications of braided subfactors and modular invariant two-dimensional conformal field theories.


title: A note on interpolation in the generalized Schur class

abstract: Realization theory for operator colligations on Pontryagin spaces is used to study interpolation and factorization in generalized Schur classes. Several criteria are derived which imply that a given function is almost the restriction of a generalized Schur function. The role of realization theory in coefficient problems is also discussed.


title: The Donald-Flanigan problem for finite reflection groups

abstract: The Donald--Flanigan problem for a finite group H and coefficient ring k asks for a deformation of the group algebra kH to a separable algebra. It is solved here for dihedral groups and for the classical Weyl groups (whose rational group algebras are also computed), leaving but six finite reflection groups with solutions unknown. We determine the structure of a wreath product of a group with a sum of central separable algebras and show that if there is a solution for H over k which is a sum of central separable algebras then there is also a solution for the wreath product of H with any symmetric group, abelian group, or dihedral group. The theorems suggested by the Donald-Flanigan conjecture and subsequently proven follow, we also show, from a geometric conjecture which although weaker for groups applies to a broader class of algebras than group algebras.


title: Canonical Bases and Piecewise-linear Combinatorics

abstract: Let U be the quantum group associated to a Lie algebra g of rank n. The negative part U^- of U has a canonical basis B with favourable properties, introduced by Kashiwara and Lusztig. The approaches of Kashiwara and Lusztig lead to a set of alternative parametrizations of the canonical basis, one for each reduced expression for the longest word in the Weyl group of g. We describe the authors' recent work establishing close relationships between the Lusztig cones, canonical basis elements and the regions of linearity of reparametrization functions arising from the above parametrizations in type A_4 and give some speculations for type A_n. Keywords: Quantum group, Lie algebra, Canonical basis, Tight monomials, Weyl group, Piecewise-linear functions.


title: Bifurcating Continued Fractions II

abstract: In an earlier paper we introduced the notion of 'bifurcating continued fractions' in a heuristic manner. In this paper a formal theory is developed for the 'bifurcating continued fractions'.


title: Maximal Unipotent Monodromy for Complete Intersection CY Manifolds

abstract: The computations that are suggested by String Theory in the B model requires the existence of degenerations of CY manifolds with maximum unipotent monodromy. In String Theory such a point in the moduli space is called a large radius limit (or large complex structure limit). In this paper we are going to construct one parameter families of $n$ dimensional Calabi-Yau manifolds, which are complete intersections in toric varieties and which have a monodromy operator $T$ such that (T$^{N}-id)^{n+1}=0$ but (T$^{N}-id)^{n}\neq0,$ i.e the monodromy operator is maximal unipotent.


title: On abelian generalized vertex algebras

abstract: This paper studies the algebraic aspect of a general abelian coset theory with a work of Dong and Lepowsky as our main motivation. It is proved that the vacuum space $\Omega_{V}$ (or the space of highest weight vectors) of a Heisenberg algebra in a general vertex operator algebra $V$ has a natural generalized vertex algebra structure in the sense of Dong and Lepowsky and that the vacuum space $\Omega_{W}$ of a $V$-module $W$ is a natural $\Omega_{V}$-module. The automorphism group $\Aut_{\Omega_{V}}\Omega_{V}$ of the adjoint $\Omega_{V}$-module is studied and it is proved to be a central extension of a certain torsion free abelian group by $\C^{\times}$. For certain subgroups $A$ of $\Aut_{\Omega_{V}}\Omega_{V}$, certain quotient algebras $\Omega_{V}^{A}$ of $\Omega_{V}$ are constructed. Furthermore, certain functors among the category of $V$-modules, the category of $\Omega_{V}$-modules and the category of $\Omega_{V}^{A}$-modules are constructed and irreducible $\Omega_{V}$-modules and $\Omega_{V}^{A}$-modules are classified in terms of irreducible $V$-modules. If the category of $V$-modules is semisimple, then it is proved that the category of $\Omega_{V}^{A}$-modules is semisimple.


title: Self-Similar Measures for Quasicrystals

abstract: We study self-similar measures of Hutchinson type, defined by compact families of contractions, both in a single and multi-component setting. The results are applied in the context of general model sets to infer, via a generalized version of Weyl's Theorem on uniform distribution, the existence of invariant measures for families of self-similarities of regular model sets.


title: Differentiable and algebroid cohomology, van Est isomorphisms, and characteristic classes

abstract: In the first section we discuss Morita invariance of differentiable/algebroid cohomology. In the second section we present an extension of the van Est isomorphism to groupoids. This immediately implies a version of Haefliger's conjecture for differentiable cohomology. As a first application we clarify the connection between differentiable and algebroid cohomology (proved in degree 1, and conjectured in degree 2 by Weinstein-Xu). As a second application we extend van Est's argument for the integrability of Lie algebras. Applied to Poisson manifolds, this immediately gives (a slight improvement of) Hector-Dazord's integrability criterion. In the third section we describe the relevant characteristic classes of representations, living in algebroid cohomology, as well as their relation to the van Est map. This extends Evens-Lu-Weinstein's characteristic class $\theta_{L}$ (hence, in particular, the modular class of Poisson manifolds), and also the classical characteristic classes of flat vector bundles. In the last section we describe some applications to Poisson geometry (e.g. we clarify the Morita invariance of Poisson cohomology, and of the modular class).


title: The Weil-Petersson Isometry Group

abstract: We prove that every Weil-Petersson isometry of the Teichmuller space T(g,n) is induced by an element of the extended mapping class group; here 3g-3+n > 1 and (g,n) is not (1,2). Our method follows Ivanov's proof of the Royden's analogous theorem for the Teichmuller metric: we study the action of an isometry on the frontier of the metric completion of the Teichmuller space, and show that the isometry then induces an automorphism on the relevant complex of curves. Some synthetic geometry of the Weil-Petersson metric completes the proof.


title: Knots of Ten or Fewer Crossings of Algebraic Order Two

abstract: The concordance orders of many algebraic order two knots of ten or fewer crossings have been heretofore unknown. We use Casson-Gordon invariants and twisted Alexander polynomials to find that, in all but one case, these knots do not have concordance order two. We also find that a certain family of algebraic order two twisted doubles of the unknot have infinite concordance order.


title: Semisimple Frobenius structures at higher genus

abstract: We describe genus g>1 potentials of semisimple Frobenius structures. Our formula can be considered as a definition in the axiomatic context of Frobenius manifolds. In Gromov-Witten theory, it becomes a conjecture expressing higher genus GW-invariants in terms of genus 0 GW-invariants of symplectic manifolds with generically semisimple quantum cup-product. The conjecture is supported by the corresponding theorem about equivariant GW-invariants of tori actions with isolated fixed points. The parallel theory of gravitational descendents is also presented.


title: Infinite families of exact sums of squares formulas, Jacobi elliptic functions, continued fractions, and Schur functions

abstract: In this paper we derive many infinite families of explicit exact formulas involving either squares or triangular numbers, two of which generalize Jacobi's 4 and 8 squares identities to 4n^2 or 4n(n+1) squares, respectively, without using cusp forms. In fact, we similarly generalize to infinite families all of Jacobi's explicitly stated degree 2, 4, 6, 8 Lambert series expansions of classical theta functions. In addition, we extend Jacobi's special analysis of 2 squares, 2 triangles, 6 squares, 6 triangles to 12 squares, 12 triangles, 20 squares, 20 triangles, respectively. These results, depending on new expansions for powers of various products of classical theta functions, arise in the setting of Jacobi elliptic functions, associated continued fractions, regular C-fractions, Hankel or Turanian determinants, Fourier series, Lambert series, inclusion/exclusion, Laplace expansion formula for determinants, and Schur functions. The Schur function form of these infinite families of identities are analogous to the eta-function identities of Macdonald. Moreover, the powers 4n(n+1), 2n^2+n, 2n^2-n that appear in Macdonald's work also arise at appropriate places in our analysis. A special case of our general methods yields a proof of the two Kac--Wakimoto conjectured identities involving representing a positive integer by sums of 4n^2 or 4n(n+1) triangular numbers, respectively.


title: Counting Isolated Roots of Trinomial Systems in the Plane and Beyond

abstract: We prove that any pair of bivariate trinomials has at most 5 isolated roots in the positive quadrant. The best previous upper bounds independent of the polynomial degrees counted only non-degenerate roots and even then gave much larger bounds, e.g., 248832 via a famous general result of Khovanski. Our bound is sharp, allows real exponents, and extends to certain systems of n-variate fewnomials, giving improvements over earlier bounds by a factor exponential in the number of monomials. We also derive new bounds on the number of real connected components of fewnomial hypersurfaces.


title: A survey of Wall's finiteness obstruction

abstract: Wall's finiteness obstruction is an algebraic K-theory invariant which decides if a finitely dominated space is homotopy equivalent to a finite CW complex. The object of this survey is to describe the invariant (which was first formulated in 1965) and some of its many applications to the surgery classification of manifolds.


title: An introduction to algebraic surgery

abstract: Browder-Novikov-Sullivan-Wall surgery theory investigates the homotopy types of manifolds, using a combination of algebra and topology. It is the aim of these notes to provide an introduction to the more algebraic aspects of the theory (such as the Wall surgery obstruction groups), without losing sight of the geometric motivation.


title: Classifications of Simple Novikov Algebras and Their Irreducible Modules of Characteristic 0

abstract: In this paper, we first present a classification theorem of infinite-dimensional simple Novikov algebras over an algebraically closed field with characteristic 0. Then we classify all the irreducible modules of a certain infinite-dimensional simple Novikov algebras with an idempotent element whose left action is locally finite.


title: Tableau atoms and a new Macdonald positivity conjecture

abstract: Let $\Lambda$ be the space of symmetric functions and $V_k$ be the subspace spanned by the modified Schur functions $\{S_\lambda[X/(1-t)]\}_{\lambda_1\leq k}$. We introduce a new family of symmetric polynomials, $\{A_{\lambda}^{(k)}[X;t]\}_{\lambda_1\leq k}$, constructed from sums of tableaux using the charge statistic. We conjecture that the polynomials $A_{\lambda}^{(k)}[X;t]$ form a basis for $V_k$ and that the Macdonald polynomials indexed by partitions whose first part is not larger than $k$ expand positively in terms of our polynomials. A proof of this conjecture would not only imply the Macdonald positivity conjecture, but would substantially refine it. Our construction of the $A_\lambda^{(k)}[X;t]$ relies on the use of tableaux combinatorics and yields various properties and conjectures on the nature of these polynomials. Another important development following from our investigation is that the $A_{\lambda}^{(k)}[X;t]$ seem to play the same role for $V_k$ as the Schur functions do for $\Lambda$. In particular, this has led us to the discovery of many generalizations of properties held by the Schur functions, such as Pieri and Littlewood-Richardson type coefficients.


title: On the Jones polynomials of checkerboard colorable virtual knots

abstract: The notion of chckerboard colorability for virtual links and abstract links is introduced. We study the Jones polynomials of virtual links and abstruct links. It is proved that a certain property of the Jones polynomials of classical links is valid for virtual links which admit checkerboard colorings.


title: Some identities for determinants of structured matrices

abstract: In this paper we establish several relations between the determinants of the following structured matrices: Hankel matrices, symmetric Toeplitz + Hankel matrices and Toeplitz matrices. Using known results for the asymptotic behavior of Toeplitz determinants, these identities are used in order to obtain Fisher-Hartwig type results on the asymptotics of certain skewsymmetric Toeplitz determinants and certain Hankel determinants.


title: Half twists of Hodge structures of CM-type

abstract: To a Hodge structure V of weight k with CM by a field K we associate Hodge structures V_{-n/2} of weight k+n for n positive and, under certain circumstances, also for n negative. We show that these `half twists' come up naturally in the Kuga-Satake varieties of weight two Hodge structures with CM by an imaginary quadratic field.


title: Subnormal embedding theorems for groups

abstract: In this paper we establish some subnormal embeddings of groups into groups with additional properties; in particular embeddings of countable groups into 2-generated groups with some extra properties. The results obtained are generalizations of theorems of P. Hall, R. Dark, B. Neumann, Hanna Neumann, G. Higman on embeddings of that type. Considering subnormal embeddings of finite groups into finite groups with additional properties we bring some illustration to a result of H. Heineken and J. Lennox.


title: A Lax Pair for 2D Euler Equation

abstract: A Lax pair for the 2D Euler equation is found.


title: Images of eigenvalue distributions under power maps

abstract: In [earlier work by the author], it was shown that if U is a random n x n unitary matrix, then for any p>=n, the eigenvalues of U^p are i.i.d. uniform; similar results were also shown for general compact Lie groups. We study what happens when p<n instead. For the classical groups, we find that we can describe the eigenvalue distribution of U^p in terms of the eigenvalue distributions of smaller classical groups; the earlier result is then a special case. The proofs rely on the fact that a certain subgroup of the Weyl group is itself a Weyl group. We generalize this fact, and use it to study the power-map problem for general compact Lie groups.


title: Rational polynomials of simple type

abstract: We classify two-variable polynomials which are rational of simple type. These are precisely the two-variable polynomials with trivial homological monodromy.


abstract: Class of Newtonian dynamical systems admitting normal blow-up of points in Riemannian manifolds is considered. Geometric interpretation for weak normality condition, which arose earlier in the theory of dynamical systems admitting the normal shift of hypersurfaces, is found.


title: Double Rational Normal Curves with Linear Syzygies

abstract: One describes those double structures on rational normal curves which are defined scheme theoretically by quadratic equations and have linear syzygies, generalizing this way the double line in the plane


title: Asymptotic behavior of Patil's approximants in Hardy spaces : The real case

abstract: In this paper we consider a robust identification problem for a linear dynamical control system with limited-frequency intervals. In mathematical terms, this is the problem of recovering functions in Hardy spaces. Our purpose is to bound Patil's approximants in the upper half plane case, out of a bounded real interval $I$. To this end, we deal with residu techniques and give a class of functions to provide boundedness of these approximants on the complement of this interval.


title: On the computation of spectra in free probability

abstract: We use free probability techniques to compute borders of spectra of non hermitian operators in finite von Neumann algebras which arise as `free sums' of `simple' operators. To this end, the resolvent is analyzed with the aid of the Haagerup inequality. Concrete examples coming from reduced C*-algebras of free product groups and leading to systems of polynomial equations illustrate the approach.


title: An integer valued SU(3) Casson invariant

abstract: We define an integer valued invariant of homology spheres using the methods of SU(3) gauge theory and study its behavior under orientation reversal and connected sum.


title: The Double and Dual of a Quasitriangular Lie Bialgebra

abstract: Let G be a connected, simply connected Poisson-Lie group with quasitriangular Lie bialgebra g. An explicit description of the double D(g) is given, together with the embeddings of g and g^*. This description is then used to provide a construction of the double D(G). The aim of this work is to describe D(G) in sufficient detail to be able to apply the procedures of Semenov-Tian-Shansky and Drinfeld for the classification of symplectic leaves and Poisson homogeneous spaces for Poisson-Lie groups.


title: Isoperimetric and Universal Inequalities for Eigenvalues

abstract: This paper reviews many of the known inequalities for the eigenvalues of the Laplacian and bi-Laplacian on bounded domains in Euclidean space. In particular, we focus on isoperimetric inequalities for the low eigenvalues of the Dirichlet and Neumann Laplacians and of the vibrating clamped plate problem (i.e., the biharmonic operator with ``Dirichlet'' boundary conditions). We also discuss the known universal inequalities for the eigenvalues of the Dirichlet Laplacian and the vibrating clamped plate and buckling problems and go on to present some new ones. Some of the names associated with these inequalities are Rayleigh, Faber-Krahn, Szego-Weinberger, Payne-Polya-Weinberger, Sperner, Hile-Protter, and H. C. Yang. Occasionally, we will also comment on extensions of some of our inequalities to bounded domains in other spaces, specifically, S^n or H^n.


title: A Sharp Bound for the Ratio of the First Two Dirichlet Eigenvalues of a Domain in a Hemisphere of S^n

abstract: For a domain $\Omega$ contained in a hemisphere of the $n$-dimensional sphere $\SS^n$ we prove the optimal result $\lambda_2/\lambda_1(\Omega) \le \lambda_2/\lambda_1(\Omega^{\star})$ for the ratio of its first two Dirichlet eigenvalues where $\Omega^{\star}$, the symmetric rearrangement of $\Omega$ in $\SS^n$, is a geodesic ball in $\SS^n$ having the same $n$-volume as $\Omega$. We also show that $\lambda_2/\lambda_1$ for geodesic balls of geodesic radius $\theta_1$ less than or equal to $\pi/2$ is an increasing function of $\theta_1$ which runs between the value $(j_{n/2,1}/j_{n/2-1,1})^2$ for $\theta_1=0$ (this is the Euclidean value) and $2(n+1)/n$ for $\theta_1=\pi/2$. Here $j_{\nu,k}$ denotes the $k^{th}$ positive zero of the Bessel function $J_{\nu}(t)$. This result generalizes the Payne-P\'{o}lya-Weinberger conjecture, which applies to bounded domains in Euclidean space and which we had proved earlier. Our method makes use of symmetric rearrangement of functions and various technical properties of special functions. We also prove that among all domains contained in a hemisphere of $\SS^n$ and having a fixed value of $\lambda_1$ the one with the maximal value of $\lambda_2$ is the geodesic ball of the appropriate radius. This is a stronger, but slightly less accessible, isoperimetric result than that for $\lambda_2/\lambda_1$. Various other results for $\lambda_1$ and $\lambda_2$ of geodesic balls in $\SS^n$ are proved in the course of our work.


title: On Poly(ana)logs I

abstract: We investigate a connection between the differential of polylogarithms (as considered by Cathelineau) and a finite variant of them. This allows to answer a question raised by Kontsevich concerning the construction of functional equations for the finite analogs, using in part the p-adic version of polylogarithms and recent work of Besser. Kontsevich's original unpublished note is supplied (with his kind permission) in an "Appendix" at the end of the paper.


title: Noncommutative algebras associated to complexes and graphs

abstract: This is a first of our papers devoted to "noncommutative topology and graph theory". Its origin is the paper math.QA/0002238 by I. Gelfand, V. Retakh, and R.L. Wilson where a new class of noncommutative algebras $Q_n$ was introduced. The algebra $Q_n$ is closely related to factorizations of a generic polynomial of degree $n$ over a division algebra into linear factors.


title: Some remarks on A_1^{(1)} soliton cellular automata

abstract: In this short note, we describe the A_1^{(1)} soliton cellular automata as an evolution of a poset. This allows us to explain the conservation laws for the A_1^{(1)} soliton cellular automata, one given by Torii, Takahashi and Satsuma, and the other given by Fukuda, Okado and Yamada, in terms of the stack permutations of states in a very natural manner. As a biproduct, we can prove a conjectured formula relating these laws.


title: Braid presentation of virtual knots and welded knots

abstract: The notion of a virtual knot introduced by L. Kauffman induces the notion of a virtual braid. It is closely related with a welded braid of R. Fenn, R. Rimanyi and C. Rourke. Alexander's and Markov's theorems for virtual knots and braids are proved. Similar results for welded knots and braids are also proved.


title: Howe Duality for Lie Superalgebras

abstract: We study a dual pair of general linear Lie superalgebras in the sense of R. Howe. We give an explicit multiplicity-free decomposition of a symmetric and skew-symmetric algebra (in the super sense) under the action of the dual pair and present explicit formulas for the highest weight vectors in each isotypic subspace of the symmetric algebra. We give an explicit multiplicity-free decomposition into irreducible $gl(m|n)$-modules of the symmetric and skew-symmetric algebras of the symmetric square of the natural representation of $gl(m|n)$. In the former case we find as well explicit formulas for the highest weight vectors. Our work unifies and generalizes the classical results in symmetric and skew-symmetric models and admits several applications.


title: Combinatorial formula for Macdonald polynomials, Bethe Ansatz, and generic Macdonald polynomials

abstract: We give a direct proof of the combinatorial formula for interpolation Macdonald polynomials by introducing certain polynomials, which we call generic Macdonald polynomials, which depend on $d$ additional parameters and specialize to all Macdonald polynomials of degree $d$. The form of these generic polynomials is that of a Bethe eigenfunction and they imitate, on a more elementary level, the $R$-matrix construction of quantum immanants.


title: Rigidity of AMN vector spaces

abstract: A metric vector space is asymptotically metrically normable (AMN) if there exists a norm asymptotically isometric to the distance. We prove that AMN vector spaces are rigid in the class of metric vector spaces under asymptotically isometric perturbations. This result follows from a general metric normability criterium. If the distance is translation invariant and satisfies an approximate multiplicative condition then there exists a lipschitz equivalent norm. Furthermore, we give necessary and sufficient conditions for the distance to be asymptotically isometric to the norm.


title: On Invariants of Morse Knots

abstract: We define and study Vassiliev invariants for (long) Morse knots. It is shown that there are Vassiliev invariants which can distinguish some topologically equivalent Morse knots. In particular, there is an invariant of order 3 for Morse knots with one maximum that distinguishes two different representations of the figure eight knot. We also present the results of computer calculations for some invariants of low order. It turns out that for Morse knots with two maxima there is a Z/2-valued invariant of order 6 which is not a reduction of any integer-valued invariant.


title: Locally Lagrangian Symplectic and Poisson Manifolds

abstract: We discuss symplectic manifolds where, locally, the structure is that encountered in Lagrangian dynamics. Exemples and characteristic properties are given. Then, we refer to the computation of the Maslov classes of a Lagrangian submanifold. Finally, we indicate the generalization of this type of structures to Poisson manifolds.


title: From rotating needles to stability of waves; emerging connections between combinatorics, analysis and PDE

abstract: We survey the interconnections between geometric combinatorics (such as the Kakeya problem), arithmetic combinatorics (such as the classical problem of determining which sets contain arithmetic progressions), oscillatory integrals (such as the Bochner-Riesz, restriction, and local smoothing problems), and the local and global well-posedness theory for non-linear dispersive and wave equations.


title: A Theorem of Sanderson on Link Bordisms in Dimension 4

abstract: The groups of link bordism can be identified with homotopy groups via the Pontryagin-Thom construction. B.J. Sanderson computed the bordism group of 3 component surface-links using the Hilton-Milnor Theorem, and later gave a geometric interpretation of the groups in terms of intersections of Seifert hypersurfaces and their framings. In this paper, we geometrically represent every element of the bordism group uniquely by a certain standard form of a surface-link, a generalization of a Hopf link. The standard forms give rise to an inverse of Sanderson's geometrically defined invariant.


title: Quasi-Commuting Families of Quantum Minors

abstract: We produce neccessary and sufficient conditions for pairs of quantum minors in the quantized coordinate algebra $\Bbb{C}_q[Mat_{k \times m}]$ to quasi-commute. In addition we study the combinatorics of maximal (by inclusion) families of pairwise quasi-commuting quantum minors.


title: A Conditional Quasi-greedy Basis of l_1

abstract: We show that the Lindenstrauss basic sequence in l_1 may be used to construct a conditional quasi-greedy basis of l_1, thus answering a question of Wojtaszczyk. We further show that the sequence of coefficient functionals for this basis is not quasi-greedy.


title: Representations of Cuntz algebras, loop groups and wavelets

abstract: A theorem of Glimm states that representation theory of an NGCR C*-algebra is always intractable, and the Cuntz algebra O_N is a case in point. The equivalence classes of irreducible representations under unitary equivalence cannot be captured with a Borel cross section. Nonetheless, we prove here that wavelet representations correspond to equivalence classes of irreducible representations of O_N, and they are effectively labeled by elements of the loop group, i.e., the group of measurable functions A:T-->U_N(C). These representations of O_N are constructed here from an orbit picture analysis of the infinite-dimensional loop group.


title: Quantum invariants of 3-manifolds and Poincar\'{e} conjecture

abstract: A new quantum gauge model is proposed. From this quantum gauge model we derive a quantum invariant of 3-manifolds. We show that this quantum invariant of 3-manifolds gives a classification of closed (orientable and connected) 3-manifolds. From this classification we then prove the Poincar\'{e} conjecture.


title: Topology of Quadric Bundles

abstract: This paper begins with a description of cohomological invariants of non-degenerate quadric bundles, in terms of the cohomology rings of the classifying spaces of the general orthogonal groups. Following this, the Main Theorem of the paper determines the behavior of these invariants under the Gysin boundary map, when a quadric bundle degenerates over a divisor.


title: Generalized Lie bialgebroids and Jacobi structures

abstract: The notion of a generalized Lie bialgebroid (a generalization of the notion of a Lie bialgebroid) is introduced in such a way that a Jacobi manifold has associated a canonical generalized Lie bialgebroid. As a kind of converse, we prove that a Jacobi structure can be defined on the base space of a generalized Lie bialgebroid. We also show that it is possible to construct a Lie bialgebroid from a generalized Lie bialgebroid and, as a consequence, we deduce a duality theorem. Finally, some special classes of generalized Lie bialgebroids are considered: triangular generalized Lie bialgebroids and generalized Lie bialgebras.


title: Spencer manifolds

abstract: Almost-complex and hyper-complex manifolds are considered in this paper from the point of view of complex analysis and potential theory. The idea of holomorphic coordinates on an almost-complex manifold $(M,\mathbf{J}%)$ is suggested by D. Spencer. For hypercomplex manifolds we introduce the notion of hyper-holomorphic function and develop some analogous statements. Elliptic equations are developed in a different way than D. Spencer. In general here we describe only the formal aspect of the developed theory.


title: Simplifying triangulations of S^3

abstract: In this paper we describe a procedure to simplify any given triangulation of the 3-sphere using Pachner moves. We obtain an explicit exponential-type bound on the number of Pachner moves needed for this process. This leads to a new recognition algorithm for the 3-sphere.


title: Limit canonical systems on curves with two components

abstract: In the 80's D. Eisenbud and J. Harris considered the following problem: ``What are the limits of Weierstrass points in families of curves degenerating to stable curves?'' But for the case of stable curves of compact type, treated by them, this problem remained wide open since then. In the present article, we propose a concrete approach to this problem, and give a quite explicit solution for stable curves with just two irreducible components meeting at points in general position.


title: Remarks on the Schur-Howe-Sergeev Duality

abstract: We establish a new Howe duality between a pair of two queer Lie superalgebras (q(m),q(n)). This gives a representation theoretic interpretation of a well-known combinatorial identity for Schur Q-functions. We further establish the equivalence between this new Howe duality and the Schur-Sergeev duality between q(n) and a central extension $\Hy_k$ of the hyperoctahedral group H_k. We show that the zero-weight space of a q(n)-module with highest weight $\lambda$ given by a strict partition of n is an irreducible module over the finite group $\Hy_n$ parameterized by $\lambda$. We also discuss some consequences of this Howe duality.


title: Implementation of the Prelle-Singer Method for 1ODEs

abstract: A set of MapleV R5 software routines for solving first order ordinary differential equations (1ODEs) is presented. The package implements the Prelle-Singer Method in its original form plus its extension to include elementary functions (ELFs) on the integrating factor . The package also presents a theoretical extension to deal with all 1ODEs presenting liouvillian solutions (LIS).


title: Discrete series of representations for Uq(sl(2,R))

abstract: A possible generalization of the method of orbits to SLq(2,R) is discussed.


title: Dynamics of the Segre varieties of a real submanifold in complex space

abstract: Iterated Segre mappings of real analytic generic submanifolds in complex space have been an essential tool in the study of holomorphic, formal, and CR mappings between such manifolds. In this paper we present a theory of iterated Segre mappings for smooth or formal submanifolds. In particular, we characterize finite type in terms of the rank of the iterated Segre mappings. The approach given here is new, simplifies proofs, and extends results previously known for the real analytic case.


title: Almost continuous extension for taut foliations

abstract: A taut foliation of a hyperbolic 3-manifold has the continuous extension property for leaves in almost every direction; that is, for each leaf of the universal cover of the foliation and almost every geodesic ray in the leaf, the limit of the ray in the universal cover of the 3-manifold is a well-defined point in the ideal boundary.


title: K-theory of C^*-algebras from one-dimensional generalized solenoids

abstract: We compute the K-groups of C^*-algebras arising from one-dimensional generalized solenoids. The results show that Ruelle algebras from one-dimensional generalized solenoids are one-dimensional generalizations of Cuntz-Krieger algebras.


title: Quantum Hall Effect and Noncommutative Geometry

abstract: We study magnetic Schrodinger operators with random or almost periodic electric potentials on the hyperbolic plane, motivated by the quantum Hall effect in which the hyperbolic geometry provides an effective Hamiltonian. In addition we add some refinements to earlier results. We derive an analogue of the Connes-Kubo formula for the Hall conductance via the quantum adiabatic theorem, identifying it as a geometric invariant associated to an algebra of observables that turns out to be a crossed product algebra. We modify the Fredholm modules defined in [CHMM] in order to prove the integrality of the Hall conductance in this case.


title: Invariant differential operators on nonreductive homogeneous spaces

abstract: A systematic exposition is given of the theory of invariant differential operators on a not necessarily reductive homogeneous space. This exposition is modelled on Helgason's treatment of the general reductive case and the special non-reductive case of the space of horocycles. As a final application the differential operators on (not a priori reductive) isotropic pseudo-Riemannian spaces are characterized.


title: Homotopies and automorphisms of crossed modules of groupoids

abstract: We give a detailed description of the structure of the actor 2-crossed module related to the automorphisms of a crossed module of groupoids. This generalises work of Brown and Gilbert for the case of crossed modules of groups, and part of this is needed for work on 2-dimensional holonomy to be developed elsewhere (see math.DG/0009082).


title: Stable Equivalence of Knots on Surfaces and Virtual Knot Cobordisms

abstract: We introduce an equivalence relation, called stable equivalence, on knot diagrams and closed curves on surfaces. We give bijections between the set of abstract knots, the set of virtual knots, and the set of the stable equivalence classes of knot diagrams on surfaces. Using these bijections, we define concordance and link homology for virtual links. As an application, it is shown that Kauffman's example of a virtual knot diagram is not equivalent to a classical knot diagram.


title: Hyperbolic complex numbers in two dimensions

abstract: A system of commutative hyperbolic complex numbers in 2 dimensions is studied in this paper. Exponential and trigonometric forms are obtained for these hyperbolic twocomplex numbers. Expressions are given for the elementary functions of hyperbolic twocomplex variable. The functions of a hyperbolic twocomplex variable which are defined by power series are analytic. Relations of equality exist between partial derivatives of the real components a function of a hyperbolic twocomplex variable. The integral of a twocomplex function between two points is independent of the path connecting the points. A hyperbolic twocomplex polynomial can be written as a product of linear or quadratic factors, although the factorization may not be unique.


title: Complex numbers in three dimensions

abstract: A system of commutative hypercomplex numbers of the form w=x+hy+kz are introduced in 3 dimensions, the variables x, y and z being real numbers. The multiplication rules for the complex units h, k are h^2=k, k^2=h, hk=1. The operations of addition and multiplication of the tricomplex numbers introduced in this paper have a simple geometric interpretation based on the modulus d, amplitude \rho, polar angle \theta and azimuthal angle \phi. Exponential and trigonometric forms are obtained for the tricomplex numbers, depending on the variables d, \rho, \theta and \phi. The tricomplex functions defined by series of powers are analytic, and the partial derivatives of the components of the tricomplex functions are closely related. The integrals of tricomplex functions are independent of path in regions where the functions are regular. The fact that the exponential form of the tricomplex numbers contains the cyclic variable \phi leads to the concepts of pole and residue for integrals of tricomplex functions on closed paths. The polynomials of tricomplex variables can be written as products of linear or quadratic factors.


title: Commutative complex numbers in four dimensions

abstract: Commutative complex numbers of the form u=x+\alpha y+\beta z+\gamma t in 4 dimensions are studied, the variables x, y, z and t being real numbers. Four distinct types of multiplication rules for the complex bases \alpha, \beta and \gamma are investigated, which correspond to hypercomplex entities called in this paper circular fourcomplex numbers, hyperbolic fourcomplex numbers, planar fourcomplex numbers, and polar fourcompex numbers. Exponential and trigonometric forms for the fourcomplex numbers are given in all these cases. Expressions are given for the elementary functions of the fourcomplex variables mentioned above. Relations of equality exist between the partial derivatives of the real components of the functions of fourcomplex variables. The integral of a fourcomplex function between two points is independent of the path connecting the points. The concepts of poles and residues can be introduced for the circular, planar, and polar fourcomplex numbers, for which the exponential forms depend on cyclic variables. A hypercomplex polynomial can be written as a product of linear factors for circular and planar fourcomplex numbers, and as a product of linear or quadratic factors for the hyperbolic and polar fourcomplex numbers.


title: Complex numbers in 5 dimensions

abstract: A system of commutative complex numbers in 5 dimensions of the form u=x_0+h_1x_1+h_2x_2+h_3x_3+h_4x_4 is described in this paper, the variables x_0, x_1, x_2, x_3, x_4 being real numbers. The operations of addition and multiplication of the 5-complex numbers introduced in this work have a geometric interpretation based on the the modulus d, the amplitude \rho, the polar angle \theta_+, the planar angle \psi_1, and the azimuthal angles \phi_1,\phi_2. The exponential function of a 5-complex number can be expanded in terms of polar 5-dimensional cosexponential functions g_{5k}(y), k=0,1,2,3,4, and the expressions of these functions are obtained from the properties of the exponential function of a 5-complex variable. Exponential and trigonometric forms are obtained for the 5-complex numbers, which depend on the modulus, the amplitude and the angular variables. The 5-complex functions defined by series of powers are analytic, and the partial derivatives of the components of the 5-complex functions are closely related. The integrals of 5-complex functions are independent of path in regions where the functions are regular. The fact that the exponential form of the 5-complex numbers depends on the cyclic variables \phi_1, \phi_2 leads to the concept of pole and residue for integrals on closed paths. The polynomials of 5-complex variables can be written as products of linear or quadratic factors.


title: Complex numbers in 6 dimensions

abstract: Two distinct systems of commutative complex numbers in 6 dimensions of the polar and planar types of the form u=x_0+h_1x_1+h_2x_2+h_3x_3+h_4x_4+h_5x_5 are described in this work, where the variables x_0, x_1, x_2, x_3, x_4, x_5 are real numbers. The polar 6-complex numbers introduced in this paper can be specified by the modulus d, the amplitude \rho, and the polar angles \theta_+, \theta_-, the planar angle \psi_1, and the azimuthal angles \phi_1, \phi_2. The planar 6-complex numbers introduced in this paper can be specified by the modulus d, the amplitude \rho, the planar angles \psi_1, \psi_2, and the azimuthal angles \phi_1, \phi_2, \phi_3. Exponential and trigonometric forms are given for the 6-complex numbers. The 6-complex functions defined by series of powers are analytic, and the partial derivatives of the components of the 6-complex functions are closely related. The integrals of polar 6-complex functions are independent of path in regions where the functions are regular. The fact that the exponential form of ther 6-complex numbers depends on cyclic variables leads to the concept of pole and residue for integrals on closed paths. The polynomials of polar 6-complex variables can be written as products of linear or quadratic factors, the polynomials of planar 6-complex variables can always be written as products of linear factors, although the factorization is not unique.


title: Polar complex numbers in n dimensions

abstract: Polar commutative n-complex numbers of the form u=x_0+h_1x_1+h_2x_2+...+h_{n-1}x_{n-1} are introduced in n dimensions, the variables x_0,...,x_{n-1} being real numbers. The polar n-complex number can be represented, in an even number of dimensions, by the modulus d, by the amplitude \rho, by 2 polar angles \theta_+,\theta_-, by n/2-2 planar angles \psi_{k-1}, and by n/2-1 azimuthal angles \phi_k. In an odd number of dimensions, the polar n-complex number can be represented by d, \rho, by 1 polar angle \theta_+, by (n-3)/2 planar angles \psi_{k-1}, and by (n-1)/2 azimuthal angles \phi_k. The exponential function of a polar n-complex number can be expanded in terms of the polar n-dimensional cosexponential functions g_{nk}(y), k=0,1,...,n-1. Expressions are given for these cosexponential functions. The polar n-complex numbers can be written in exponential and trigonometric forms with the aid of the modulus, amplitude and the angular variables. The polar n-complex functions defined by series of powers are analytic, and the partial derivatives of the components of the polar n-complex functions are closely related. The integrals of polar n-complex functions are independent of path in regions where the functions are regular. The fact that the exponential form of a polar n-complex numbers depends on the cyclic variables \phi_k leads to the concept of pole and residue for integrals on closed paths. The polynomials of polar n-complex variables can be written as products of linear or quadratic factors, although the factorization may not be unique.


title: Planar complex numbers in even n dimensions

abstract: Planar commutative n-complex numbers of the form u=x_0+h_1x_1+h_2x_2+...+h_{n-1}x_{n-1} are introduced in an even number n of dimensions, the variables x_0,...,x_{n-1} being real numbers. The planar n-complex numbers can be described by the modulus d, by the amplitude \rho, by n/2 azimuthal angles \phi_k, and by n/2-1 planar angles \psi_{k-1}. The exponential function of a planar n-complex number can be expanded in terms of the planar n-dimensional cosexponential functions f_{nk}, k=0,1,...,n-1, and expressions are given for f_{nk}. Exponential and trigonometric forms are obtained for the planar n-complex numbers. The planar n-complex functions defined by series of powers are analytic, and the partial derivatives of the components of the planar n-complex functions are closely related. The integrals of planar n-complex functions are independent of path in regions where the functions are regular. The fact that the exponential form of the planar n-complex numbers depends on the cyclic variables \phi_k leads to the concept of pole and residue for integrals on closed paths. The polynomials of planar n-complex variables can always be written as products of linear factors, although the factorization may not be unique.


title: A property of the skein polynomial with an application to contact geometry

abstract: We prove a finiteness property of the values of the skein polynomial of homogeneous knots which allows to establish large classes of such knots to have arbitrarily unsharp Bennequin inequality (for the Thurston-Bennequin invariant of any of their Legendrian embeddings in the standard contact structure of R^3), and a give a short proof that there are only finitely many among these knots that have given genus and given braid index.


title: Topological Entropy of Free Product Automorphisms

abstract: Using free probability constructions involving Cuntz-Pimsner C*-algebras we show that the topological entropy of the free product of two automorphisms is equal to the maximum of the individual entropies. As applications we show that general free shifts have entropy zero. We show that any nuclear C*-dynamical system admits an entropy preserving covariant embedding into the Cuntz algebra on infinitely many generators. It follows that any simple nuclear purely infinite C*-algebra admits an automorphism with any given value of entropy. As a final application we show that if two automorphisms satisfy a CNT-variational principle then so does their free product.