title: Hyperbolic volume of representations of fundamental groups of cusped 3-manifolds

abstract: Let W be a compact manifold and let \rho be a representation of its fundamental group into PSL(2,C). The volume of \rho is defined by taking any \rho-equivariant map from the universal cover of W to H^3 and then by integrating the pull-back of the hyperbolic volume form on a fundamental domain. It turns out that such a volume does not depend on the choice of the equivariant map. Dunfield extended this construction to the case of a non-compact (cusped) manifold M, but he did not prove the volume is well-defined in all cases. We prove here that the volume of a representation is always well-defined and depends only on the representation. We show that this volume can be easily computed by straightening any ideal triangulation of M. We show that the volume of a representation is bounded from above by the relative simplicial volume of M. Finally, we prove a rigidity theorem for representations of the fundamental group of a hyperbolic manifold. Namely, we prove that if M is hyperbolic and vol(\rho)=vol(M) then \rho is discrete and faithful.


title: The Grothendieck Group of a Quantum Projective Space Bundle

abstract: We compute the Grothendieck group K_0 of non-commutative analogues of quantum projective space bundles. Our results specialize to give the Grothendieck groups of non-commutative analogues of projective spaces, and specialize to recover the Grothendieck group of a usual projective space bundle over a regular noetherian separated scheme. As an application we develop an intersection theory for the quantum ruled surfaces defined by Van den Bergh.


title: The First Dirac Eigenvalue on Manifolds with Positive Scalar Curvature

abstract: We show that on every compact spin manifold admitting a Riemannian metric of positive scalar curvature Friedrich's eigenvalue estimate for the Dirac operator can be made sharp up to an arbitrarily small given error by choosing the metric suitably.


title: Discreteness of spectrum and positivity criteria for Schr\"odinger operators

abstract: We provide a class of necessary and sufficient conditions for the discreteness of spectrum of Schr\"odinger operators with scalar potentials which are semibounded below. The classical discreteness of spectrum criterion by A.M.Molchanov (1953) uses a notion of negligible set in a cube as a set whose Wiener's capacity is less than a small constant times the capacity of the cube. We prove that this constant can be taken arbitrarily between 0 and 1. This solves a problem formulated by I.M.Gelfand in 1953. Moreover, we extend the notion of negligibility by allowing the constant to depend on the size of the cube. We give a complete description of all negligibility conditions of this kind. The a priori equivalence of our conditions involving different negligibility classes is a non-trivial property of the capacity. We also establish similar strict positivity criteria for the Schr\"odinger operators with non-negative potentials.


title: Finite dimensional representations of invariant differential operators

abstract: Let $k$ be an algebraically closed field of characteristic 0, $Y=k^{r}\times {(k^{\times})}^{s}$ and let $G$ be an algebraic torus acting diagonally on the ring of differential operators $\cD (Y)^G$. We give necessary and sufficient conditions for $\cD (Y)^G$ to have enough simple finite dimensional representations, in the sense that the intersection of the kernels of all the simple finite dimensional representations is zero. As an application we show that if $K\longrightarrow GL(V)$ is a representation of a reductive group $K$ and if zero is not a weight of a maximal torus of $K$ on $V$, then $\cD (V)^K$ has enough finite dimensional representations. We also construct examples of FCR- algebras with any GK dimension $\geq 3$.


title: Two dimensional compact simple Riemannian manifolds are boundary distance rigid

abstract: We prove that knowing the length of geodesics joining points on the boundary of a two-dimensional, compact, simple Riemannian manifold with boundary, we can determine uniquely the Riemannian metric up to the natural obstruction.


title: Torsion points on modular curves and Galois theory

abstract: We outline the proof of a theorem of M. Baker and A. Tamagawa that gives a complete description of the torsion points on a modular curve embedded in its Jacobian using the notion of an `almost rational torsion point.'


title: A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points

abstract: Following F. William Lawvere, we show that many self-referential paradoxes, incompleteness theorems and fixed point theorems fall out of the same simple scheme. We demonstrate these similarities by showing how this simple scheme encompasses the semantic paradoxes, and how they arise as diagonal arguments and fixed point theorems in logic, computability theory, complexity theory and formal language theory.


title: The Szemeredi-Trotter Theorem in the Complex Plane

abstract: It is shown that $n$ points and $e$ lines in the complex Euclidean plane ${\mathbb C}^2$ determine $O(n^{2/3}e^{2/3}+n+e)$ point-line incidences. This bound is the best possible, and it generalizes the celebrated theorem by Szemer\'edi and Trotter about point-line incidences in the real Euclidean plane ${\mathbb R}^2$.


title: Computing the Automorphism Groups of Hyperelliptic Function Fields

abstract: The purpose of this paper is to propose an efficient method to compute the automorphism group of an arbitrary hyperelliptic function field (genus>1) over a given ground field of characteristic >2 as well as over its algebraic extensions.


title: Twisted Yangians and symmetric pairs

abstract: We describe recent work on the twisted Yangians Y(g,h) which arise as boundary remnants of Yangians Y(g) in 1+1D integrable field theories, bringing out the special role played by the requirement that (g,h) be a symmetric pair.


title: F-singularities of pairs and Inversion of Adjunction of arbitrary codimension

abstract: We generalize the notions of F-regular and F-pure rings to pairs $(R,\a^t)$ of rings $R$ and ideals $\a \subset R$ with real exponent $t > 0$, and investigate these properties. These ``F-singularities of pairs'' correspond to singularities of pairs of arbitrary codimension in birational geometry. Via this correspondence, we prove Inversion of Adjunction of arbitrary codimension, which states that for a pair $(X,Y)$ of a smooth variety $X$ and a closed subscheme $Y \subsetneq X$, if the restriction $(Z, Y|_Z)$ to a normal $\Q$-Gorenstein closed subvariety $Z \subsetneq X$ is klt (resp. lc), then the pair $(X,Y+Z)$ is plt (resp. lc) near $Z$.


title: Morse theory and higher torsion invariants II

abstract: Let p: M -> B be a family of compact manifolds equipped with a unitarily flat vector bundle F -> M. We generalize Igusa's higher Franz-Reidemeister torsion \tau(M/B;F) to the case that the fibre-wise cohomology H^*(M/B;F) -> B carries a parallel metric. If moreover M admits a fibre-wise Morse function, we compute the difference of \tau(M/B;F) and the higher analytic torsion \Cal T(M/B;F). We also generalise the examples given in math.DG/0111222 .


title: Differential equations associated to Families of Algebraic Cycles

abstract: We develop a theory of differential equations associated to families of algebraic cycles in higher Chow groups (i.e., motivic cohomology groups). This formalism is related to inhomogeneous Picard--Fuchs type differential equations. For families of K3 surfaces the corresponding non-linear ODE turns out to be symilar to Chazy's equation.


title: Modular invariance, characteristic numbers and $\eta$ invariants

abstract: We generalize the "miraculous cancellation" formulas of Alvarez-Gaum\'e, Witten and Kefeng Liu to a twisted version where an extra complex line bundle is involved. We also apply our result to discuss intrinsic relations between the higher dimensional Rokhlin type congruence formulas of Ochanine [O1], Finashin [F] and Zhang [Z1, 2]. In particular, an analytic proof of the Finashin congruence formula is given.


title: Large embedded balls and Heegaard genus in negative curvature

abstract: We show if M is a closed, connected, orientable, hyperbolic 3-manifold with Heegaard genus g then g >= 1/2 cosh(r) where r denotes the radius of any isometrically embedded ball in M. Assuming an unpublished result of Pitts and Rubinstein improves this to g >= 1/2 cosh(r) + 1/2. We also give an upper bound on the volume in terms of the flip distance of a Heegaard splitting, and describe isoperimetric surfaces in hyperbolic balls.


title: Enveloppes inferieures de fonctions admissibles sur l'espace projectif complexe. Cas symetrique

abstract: We prove that admissible functions for Fubini-Study metrics on the complex projective space $P_{m}C$, of complex dimension $m$, invariant by a convenient automorphisms group, are lower bounded by a function going to minus infinity on the boundary of usual charts of $P_{m}C$. A similar lower bound holds on some projective manifolds. This gives an optimal constant in a Hormander type inequality on these manifolds, which allows us to establish the existence of Einstein-Kahler metrics on them.


title: Deformations of coisotropic submanifolds and strong homotopy Lie algebroids

abstract: In this paper, we study deformations of coisotropic submanifolds in a symplectic manifold. First we derive the equation that governs $C^\infty$ deformations of coisotropic submanifolds and define the corresponding $C^\infty$-moduli space of coisotropic submanifolds modulo the Hamiltonian isotopies. This is a non-commutative and non-linear generalization of the well-known description of the local deformation space of Lagrangian submanifolds as the set of graphs of {\it closed} one forms in the Darboux-Weinstein chart of a given Lagrangian submanifold. We then introduce the notion of {\it strong homotopy Lie algebroid} (or {\it $L_\infty$-algebroid}) and associate a canonical isomorphism class of strong homotopy Lie algebroids to each pre-symplectic manifold $(Y,\omega)$ and identify the formal deformation space of coisotropic embeddings into a symplectic manifold in terms of this strong homotopy Lie algebroid. The formal moduli space then is provided by the gauge equivalence classes of solutions of a version of the {\it Maurer-Cartan equation} (or the {\it master equation}) of the strong homotopy Lie algebroid, and plays the role of the classical part of the moduli space of quantum deformation space of coisotropic $A$-branes. We provide a criterion for the unobstructedness of the deformation problem and analyze a family of examples that illustrates that this deformation problem is obstructed in general and heavily depends on the geometry and dynamics of the null foliation.


title: Weight modules over exp-polynomial Lie algebras

abstract: In this paper, we generalize a result by Berman and Billig on weight modules over Lie algebras with polynomial multiplication. More precisely, we show that a highest weight module with an exp-polynomial ``highest weight'' has finite dimensional weight spaces. We also get a class of irreducible weight modules with finite dimensional weight spaces over generalized Virasoro algebras which do not occur over the classical Virasoro algebra.


title: The Family Blowup Formula of the Family Seiberg-Witten Invariants

abstract: In the paper we formulate and derive the family blowup formula of family Seiberg-Witten invariants. The formula has been used in the enumerative application of counting singular curves on algebraic surfaces. We first give a topological derivation of the formula by using family index theorem. Then we define the algebraic (family) Seiberg-Witten invariants for algebraic surfaces and then give an algebraic derivation of the family blowup formula for the algebraic family Seiberg-Witten invariants.


title: On Bessel and Gruss Inequalities for Orthornormal Families in Inner Product Spaces

abstract: A new counterpart of Bessel's inequality for orthornormal families in real or complex inner product spaces is obtained. Applications for some Gruss type results are also provided.


title: Some New Results Related to Bessel and Gruss Inequalities for Orthogonal Families in Inner Product Spaces

abstract: Some new counterparts of Bessel's inequality for orthornormal families in real or complex inner product spaces are pointed out. Applications for some Gruss type inequalities are also empahsized.


title: Mirkovic-Vilonen cycles and polytopes in type A

abstract: We study, in type A, the algebraic cycles (MV-cycles) discovered by I. Mirkovi\'c and K. Vilonen [MV]. In particular, we partition the loop Grassmannian into smooth pieces such that the MV-cycles are their closures. We explicitly describe the points in each piece using the lattice model of the loop Grassmannian in type A. The partition is invariant under the action of the coweights and, up to this action, the pieces are parametrized by the Kostant parameter set. This description of MV-cycles allows us to prove the main result of the paper: the computation of the moment map images of MV-cycles (MV-polytopes) by identifying the vertices of each polytope.


title: On consecutive quadratic non-residues: a conjecture of Issai Schur

abstract: Issai Schur once asked if it was possible to determine a bound, preferably using elementary methods, such that for all prime numbers p greater than the bound, the greatest number of consecutive quadratic non-residues modulo p is always less than the square root of p. This paper uses elementary methods to prove that 13 is the only prime number for which the greatest number of consecutive quadratic non-residues modulo p exceeds the square root of p.


title: New bounds for automorphic L-functions

abstract: This thesis contributes to the analytic theory of automorphic L-functions. We prove an approximate functional equation for the central value of the L-series attached to an irreducible cuspidal automorphic representation of GL(m) over a number field. We investigate the decay rate of the cutoff function and its derivatives in terms of the analytic conductor introduced by Iwaniec and Sarnak. We also see that the truncation can be made uniformly explicit at the cost of an error term. The results extend to products of central values. We establish, via the Hardy-Littlewood circle method, a nontrivial bound on shifted convolution sums of Fourier coefficients coming from classical holomorphic or Maass cusp forms of arbitrary level and nebentypus. These sums are analogous to the binary additive divisor sum which has been studied extensively. We achieve polynomial uniformity in all the parameters of the cusp forms by carefully estimating the Bessel functions that enter the analysis. As an application we derive, extending work of Duke, Friedlander and Iwaniec, a subconvex estimate on the critical line for L-functions associated to character twists of these cusp forms. We also study the shifted convolution sums via the Sarnak-Selberg spectral method. For holomorphic cusp forms this approach detects optimal cancellation over any totally real number field. For Maass cusp forms the method is burdened with complicated integral transforms. We succeed in inverting the simplest of these transforms whose kernel is built up of Gauss hypergeometric functions.


title: Topological obstructions to graph colorings

abstract: For any two graphs $G$ and $H$ Lov\'asz has defined a cell complex $Hom(G,H)$ having in mind the general program that the algebraic invariants of these complexes should provide obstructions to graph colorings. Here we announce the proof of a conjecture of Lov\'asz concerning these complexes with $G$ a cycle of odd length. More specifically, we show that: if $Hom(C_{2r+1},G)$ is $k$-connected, then $\chi(G)\geq k+4$. Our actual statement is somewhat sharper, as we find obstructions already in the non-vanishing of powers of certain Stiefel-Whitney classes.


title: The displacement map associated to polynomial unfoldings of planar Hamiltonian vector fields

abstract: We study the displacement map associated to small one-parameter polynomial unfoldings of polynomial Hamiltonian vector fields on the plane. Its leading term, the generating function $M(t)$, has an analytic continuation in the complex plane and the real zeroes of $M(t)$ correspond to the limit cycles bifurcating from the periodic orbits of the Hamiltonian flow. We give a geometric description of the monodromy group of $M(t)$ and use it to formulate sufficient conditions for $M(t)$ to satisfy a differential equation of Fuchs or Picard-Fuchs type. As examples, we consider in more detail the Hamiltonian vector fields $\dot{z}=i\bar{z}-i(z+\bar{z})^3$ and $\dot{z}=iz+\bar{z}^2$, possessing a rotational symmetry of order two and three, respectively. In both cases $M(t)$ satisfies a Fuchs-type equation but in the first example $M(t)$ is always an Abelian integral (that is to say, the corresponding equation is of Picard-Fuchs type) while in the second one this is not necessarily true. We derive an explicit formula of $M(t)$ and estimate the number of its real zeroes.}


title: Conics in the Grothendieck ring

abstract: This note describes the subring of the Grothendieck ring of k-varieties generated by smooth conics; finding many zero divisors. The proof uses only elementary projective geometry.


title: Lagrangian symmetries and supersymmetries depending on derivatives. Global analysis

abstract: Generalized symmetries and supersymmetries depending on derivatives of dynamic variables are treated in a most general setting. Studding cohomology of the variational bicomplex, we state the first variational formula and conservation laws for Lagrangian systems on fiber bundles and graded manifolds under generalized symmetries and supersymmetries of any order. Cohomology of nilpotent generalized supersymmetries are obtained.


title: Induction Functor in Non-commutative Equivariant Cohomology and Dirac Cohomology

abstract: The aim of this paper is to put some recent results of Huang-Pandzic (conjectured by Vogan) and Kostant on Dirac cohomology in a broader perspective.This is achieved by introducing an induction functor in the noncommutative equivariant cohomology. In this context, the results of Huang-Pandzic and Kostant are interpreted as special cases (corresponding to the manifold being a point) of more general results on noncommutative equivariant cohomology introduced by Alekseev-Meinrenken.


title: New Conjectures and Results for Small Cycles of the Discrete Logarithm

abstract: Brizolis asked the question: does every prime p have a pair (g,h) such that h is a fixed point for the discrete logarithm with base g? The first author previously extended this question to ask about not only fixed points but also two-cycles, and gave heuristics (building on work of Zhang, Cobeli, Zaharescu, Campbell, and Pomerance) for estimating the number of such pairs given certain conditions on $g$ and $h$. In this paper we give a summary of conjectures and results which follow from these heuristics, building again on the aforementioned work. We also make some new conjectures and prove some average versions of the results.


title: Strong Rigidity of II$_1$ Factors Arising from Malleable Actions of w-Rigid Groups, I

abstract: We consider cross-product II$_1$ factors $M = N\rtimes_{\sigma} G$, with $G$ discrete ICC groups that contain infinite normal subgroups with the relative property (T) and $\sigma: G \to {\text{\rm Aut}}N$ trace preserving actions of $G$ on finite von Neumann algebras $N$ that are ``malleable'' and mixing. Examples are the weighted Bernoulli and Bogoliubov shifts. We prove a rigidity result for such factors, showing the uniqueness of the position of $L(G)$ inside $M$. We use this to calculate the fundamental group $\mycal F(M)$ in terms of the weights of the shift, for certain arithmetic groups $G$ such as $G=\Bbb Z^2 \rtimes SL(2, \Bbb Z)$. We deduce that for any countable group $S \subset \Bbb R_+^*$ there exist II$_1$ factors $M$ with $\mycal F(M)=S$, thus bringing new light to a longstanding problem of Murray and von Neumann.


title: Positive forward rates in the maximum smoothness framework

abstract: In this article we present a non-linear dynamic programming algorithm for the computation of forward rates within the maximum smoothness framework. The algorithm implements the forward rate positivity constraint for a one-parametric family of smoothness measures and it handles price spreads in the constraining dataset. We investigate the outcome of the algorithm using the Swedish Bond market showing examples where the absence of the positive constraint leads to negative interest rates. Furthermore we investigate the predictive accuracy of the algorithm as we move along the family of smoothness measures. Among other things we observe that the inclusion of spreads not only improves the smoothness of forward curves but also significantly reduces the predictive error.


title: Numerical Analogues of Aronson's Sequence

abstract: Aronson's sequence 1, 4, 11, 16, ... is defined by the English sentence ``t is the first, fourth, eleventh, sixteenth, ... letter of this sentence.'' This paper introduces some numerical analogues, such as: a(n) is taken to be the smallest positive integer greater than a(n-1) which is consistent with the condition ``n is a member of the sequence if and only if a(n) is odd.'' This sequence can also be characterized by its ``square'', the sequence a^(2)(n) = a(a(n)), which equals 2n+3 for n >= 1. There are many generalizations of this sequence, some of which are new, while others throw new light on previously known sequences.


title: Representations of cross product algebras of Podles quantum spheres

abstract: Hilbert space representations of the cross product *-algebras of the Hopf *-algebra U_q(su_2) and its module *-algebras O(S^2_{qr}) of Podles spheres are investigated and classified by describing the action of generators. The representations are analyzed within two approaches. It is shown that the Hopf *-algebra O(SU_q(2)) of the quantum group SU_q(2) decomposes into an orthogonal sum of projective Hopf modules corresponding to irreducible integrable *-representations of the cross product algebras and that each irreducible integrable *-representation appears with multiplicity one. The projections of these projective modules are computed. The decompositions of tensor products of irreducible integrable *-representations with spin l representations of U_q(su_2) are given. The invariant state h on O(S^2_{qr}) is studied in detail. By passing to function algebras over the quantum spheres S^2_{qr}, we give chart descriptions of quantum line bundles and describe the representations from the first approach by means of the second approach.


title: Infinite sets are non-denumerable

abstract: Cantor's famous proof of the non-denumerability of real numbers does apply to any infinite set. The set of exclusively all natural numbers does not exist. This shows that the concept of countability is not well defined. There remains no evidence for the existence of transfinite cardinal numbers.


title: On the middle convolution

abstract: We present a cohomological interpretation of the middle convolution functor MC and find an explicit Riemann-Hilbert correspondence for MC_\lambda. This leads to an algorithm for the construction of Fuchsian systems which correspond to irreducible rigid local systems under the Riemann-Hilbert correspondence. Also, the effect of MC_\lambda on the p-curvatures ist determined and new examples of differential systems are found which satisfy the Grothendieck-Katz p-curvature conjecture.


title: 3-forms and almost complex structures on 6-dimensional manifolds

abstract: This article deals with 3-forms on 6-dimensional manifodls, the first dimension where the classification of 3-forms is not trivial. There are three classes of multisymplectic 3-forms there. We study the class which is closely related to almost complex structures.


title: The Poisson-Dirichlet law is the unique invariant distribution for uniform split-merge transformations

abstract: We consider a Markov chain on the space of (countable) partitions of the interval [0,1], obtained first by size biased sampling twice (allowing repetitions) and then merging the parts (if the sampled parts are distinct) or splitting the part uniformly (if the same part was sampled twice). We prove a conjecture of Vershik stating that the Poisson-Dirichlet law with parameter theta=1 is the unique invariant distribution for this Markov chain. Our proof uses a combination of probabilistic, combinatoric, and representation-theoretic arguments.


title: A class of p-adic Galois representations arising from abelian varierties over Q_p

abstract: Let V be a p-adic representation of the absolute Galois group G of Q_p that becomes crystalline over a finite tame extension, and assume p odd. We provide necessary and sufficient conditions for V to be isomorphic to the Tate module V_p(A) of an abelian variety A defined over Q_p. These conditions are stated on the filtered (\phi,G)-module attached to V.


title: Self maps of HP^n via the unstable Adams spectral sequence

abstract: We use obstruction theory based on the unstable Adams spectral sequence to construct self maps of finite quaternionic projective spaces. As a result, a conjecture of Feder and Gitler regarding the classification of self maps up to homology is proved in two new cases.


title: On volumes of hyperbolic 3-manifolds

abstract: The main thrust of present note is a volume formula for hyperbolic surface bundle with the fundamental group G. The novelty consists in a purely algebraic approach to the above problem. Initially, we concentrate on the Baum-Connes morphism m(G): K(BG)--> K(C*G) for our class of manifolds, and then classify m(G) in terms of the ideals in the ring of integers of a quadratic number field K. Next, we extract the topological data (e.g. volume of the orbifold H/G) from the arithmetic of field K.


title: Homotopy theory of coalgebras over operads

abstract: This paper constructs model structures on the categories of coalgebras and pointed irreducible coalgebras over an operad. The underlying chain-complex is assumed to be unbounded and the results for bounded coalgebras over an operad are derived from the unbounded case.


title: A Structure Theorem for Positive Density Sets Having the Minimal Number of 3-term Arithmetic Progressions

abstract: Assuming the well-known conjecture that [x,x+x^t] contains a prime for t > 0 and x sufficiently large, we prove: For 0 < r < 1, there exists 0 < s < r < 1, 0 < d < 1, and infinitely many primes q such that if S is a subset of Z/qZ having density at least s, and having the least number of 3-term arithemtic progressions among all sets of density at least s, then S is nearly translation invariant in a very strong sense. Namely, there exists 0 <= b <= q-1 such that |S intersect (S + bj)| = (1-g(s))|S|, for every 0 < j < q^d, where g(s) -> 0 as s -> 0. A curious feature of the proof is that Behrend's construction on large subsets of {1,2,...,x} containing no 3-term a.p., is a key ingredient.


title: Self-describing sequences and the Catalan family tree

abstract: We introduce a transformation of finite integer sequences, show that every sequence eventually stabilizes under this transformation and that the number of fixed points is counted by the Catalan numbers. The sequences that are fixed are precisely those that describe themselves -- every term $t$ is equal to the number of previous terms that are smaller than $t$. In addition, we provide an easy way to enumerate all these self-describing sequences by organizing them in a Catalan tree with a specific labelling system.


title: Elliptic curves and analogies between number fields and function fields

abstract: The well-known analogies between number fields and function fields have led to the transposition of many problems from one domain to the other. In this paper, we will discuss traffic of this sort, in both directions, in the theory of elliptic curves. In the first part of the paper, we consider various works on Heegner points and Gross-Zagier formulas in the function field context; these works lead to a complete proof of the conjecture of Birch and Swinnerton-Dyer for elliptic curves of analytic rank at most 1 over function fields of characteristic > 3. In the second part of the paper, we will review the fact that the rank conjecture for elliptic curves over function fields is now known to be true, and that the curves which prove this have asymptotically maximal rank for their conductors. The fact that these curves meet rank bounds suggests a number of interesting problems on elliptic curves over number fields, cyclotomic fields, and function fields over number fields. These problems are discussed in the last four sections of the paper.


title: Geometric non-vanishing

abstract: We consider $L$-functions attached to representations of the Galois group of the function field of a curve over a finite field. Under mild tameness hypotheses, we prove non-vanishing results for twists of these $L$-functions by characters of order prime to the characteristic of the ground field and by certain representations with solvable image. We also allow local restrictions on the twisting representation at finitely many places. Our methods are geometric, and include the Riemann-Roch theorem, the cohomological interpretation of $L$-functions, and some monodromy calculations of Katz. As an application, we prove a result which allows one to deduce the conjecture of Birch and Swinnerton-Dyer for non-isotrivial elliptic curves over function fields whose $L$-function vanishes to order at most 1 from a suitable Gross-Zagier formula.


title: A Generalisation of an Ostrowski Inequality in Inner Product Spaces

abstract: A generalisation of inner product spaces of an inequality due to Ostrowski and applications for sequences and integrals are given.


title: Form factors and action of U_{\sqrt{-1}}(sl_2~) on infinite-cycles

abstract: Let ${\bf p}=\{P_{n,l}\}_{n,l\in\Z_{\ge 0}\atop n-2l=m}$ be a sequence of skew-symmetric polynomials in $X_1,...,X_l$ satisfying $\deg_{X_j}P_{n,l}\le n-1$, whose coefficients are symmetric Laurent polynomials in $z_1,...,z_n$. We call ${\bf p}$ an $\infty$-cycle if $P_{n+2,l+1}\bigl|_{X_{l+1}=z^{-1},z_{n-1}=z,z_n=-z} =z^{-n-1}\prod_{a=1}^l(1-X_a^2z^2)\cdot P_{n,l}$ holds for all $n,l$. These objects arise in integral representations for form factors of massive integrable field theory, i.e., the SU(2)-invariant Thirring model and the sine-Gordon model. The variables $\alpha_a=-\log X_a$ are the integration variables and $\beta_j=\log z_j$ are the rapidity variables. To each $\infty$-cycle there corresponds a form factor of the above models. Conjecturally all form-factors are obtained from the $\infty$-cycles. In this paper, we define an action of $U_{\sqrt{-1}}(\widetilde{\mathfrak{sl}}_2)$ on the space of $\infty$-cycles. There are two sectors of $\infty$-cycles depending on whether $n$ is even or odd. Using this action, we show that the character of the space of even (resp. odd) $\infty$-cycles which are polynomials in $z_1,...,z_n$ is equal to the level $(-1)$ irreducible character of $\hat{\mathfrak{sl}}_2$ with lowest weight $-\Lambda_0$ (resp. $-\Lambda_1$). We also suggest a possible tensor product structure of the full space of $\infty$-cycles.


title: Vertex-IRF transformations, dynamical quantum groups and harmonic analysis

abstract: It is shown that a dynamical quantum group arising from a vertex-IRF transformation has a second realization with untwisted dynamical multiplication but nontrivial bigrading. Applied to the $\hbox{SL}(2;\mathbb{C})$ dynamical quantum group, the second realization is naturally described in terms of Koornwinder's twisted primitive elements. This leads to an intrinsic explanation why harmonic analysis on the ``classical'' $\hbox{SL}(2;\mathbb{C})$ quantum group with respect to twisted primitive elements, as initiated by Koornwinder, is the same as harmonic analysis on the $\hbox{SL}(2;\mathbb{C})$ dynamical quantum group.


title: Evaluation fibrations and topology of symplectomorphisms

abstract: There are two main results. The first states that isotropy subgroups of groups acting transitively on a rationally hyperbolic spaces have infinitely generated rational cohomology algebra. Using this fact, we prove that the analogous statement holds for groups of symplectomorphisms of certain blow-ups.


title: On the abundance of the irrational numbers

abstract: Based upon the axiom of choice it is proved that the cardinality of the rational numbers is not less than the cardinality of the irrational numbers. This contradicts a main result of transfinite set theory and shows that the axiom of choice is invalid.


title: Refined sign-balance on 321-avoiding permutations

abstract: The number of even 321-avoiding permutations of length n is equal to the number of odd ones if n is even, and exceeds it by the (n-1)/2th Catalan number otherwise. We present an involution that proves a refinement of this sign-balance property respecting the length of the longest increasing subsequence of the permutation. In addition, this yields a combinatorial proof of a recent analogous result of Adin and Roichman dealing with the last descent. In particular, we answer the question how to obtain the sign of a 321-avoiding permutation from the pair of tableaux resulting from the Robinson-Schensted-Knuth algorithm. The proof of the simple solution bases on a matching method given by Elizalde and Pak.


title: Jacobians with group actions and rational idempotents

abstract: The object of this paper is to prove some general results about rational idempotents for a finite group $G$ and deduce from them geometric information about the components that appear in the decomposition of the Jacobian variety of a curve with $G-$action. We give an algorithm to find explicit primitive rational idempotents for any $G$, as well as for rational projectors invariant under any given subgroup. These explicit constructions allow geometric descriptions of the factors appearing in the decomposition of a Jacobian with group action: from them we deduce the decomposition of any Prym or Jacobian variety of an intermediate cover, in the case of a Jacobian with $G-$action. In particular, we give a necessary and sufficient condition for a Prym variety of an intermediate cover to be such a factor.


title: The edge-of-wedge type embeddings of dereived functor modules for the type A classical groups

abstract: A holomorphic discrete series can be realized as the space of the holomorphic sections of a homogeneous vector bundle on a bounded symmetric domain. We can embed it into a degenerate principal series realized as the space of hyperfunction sections of a vector bundle on the Shilov boundary by taking the boundary value. We consider an algebraic version of higher cohomological analogue of such an embedding for complex reductive groups and classical groups of type A.


title: Dimension of the harmonic measure of non-homogeneous Cantor sets

abstract: We prove that the dimension of the harmonic measure of the complementary of a translation-invariant type of Cantor sets as a continuous function of the parameters determining these sets. This results extend a previous one of the author and do not use ergodic theoretic tools, not applicable to our case.


title: Quantitative functional calculus in Sobolev spaces

abstract: In the framework of Sobolev (Bessel potential) spaces $H^n(\reali^d, \reali {or} \complessi)$, we consider the nonlinear Nemytskij operator sending a function $x \in \reali^d \mapsto f(x)$ into a composite function $x \in \reali^d \mapsto G(f(x), x)$. Assuming sufficient smoothness for $G$, we give a "tame" bound on the $H^n$ norm of this composite function in terms of a linear function of the $H^n$ norm of $f$, with a coefficient depending on $G$ and on the $H^a$ norm of $f$, for all integers $n, a, d$ with $a > d/2$. In comparison with previous results on this subject, our bound is fully explicit, allowing to estimate quantitatively the $H^n$ norm of the function $x \mapsto G(f(x),x)$. When applied to the case $G(f(x), x) = f^2(x)$, this bound agrees with a previous result of ours on the pointwise product of functions in Sobolev spaces.


title: The volume of the 10th Birkhoff polytope

abstract: The n'th Birkhoff polytope $B_n$ is the set of all doubly stochastic $n \times n$ matrices, that is, those matrices with nonnegative real coefficients in which every row and column sums to one. A long-standing open problem is the determination of the relative volume of $B_n$. In [arXiv:math.CO/0202267] we introduced a method of calculating this volume and used it to compute $\vol B_9$. This note is an update on our progress: with the same program (but much longer computing time), we have now derived $\vol B_{10}$.


title: Semistar linkedness and flatness, Pr\"ufer semistar multiplication domains

abstract: In 1994, Matsuda and Okabe introduced the notion of semistar operation, extending the "classical" concept of star operation. In this paper, we introduce and study the notions of semistar linkedness and semistar flatness which are natural generalizations, to the semistar setting, of their corresponding "classical" concepts. As an application, among other results, we obtain a semistar version of Davis' and Richman's overring-theoretical theorems of characterization of Pr\"ufer domains for Pr\"ufer semistar multiplication domains.


title: Complete subvarieties of moduli spaces and the Prym map

abstract: We prove that in characteristic p>0 the locus of stable curves of p-rank at most f is pure of codimension g-f in the moduli space of stable curves. Then we consider the Prym map and analyze it using tautological classes. We study the locus of curves with an etale double cover of p-rank 0 in some detail. In particular, in genus 2 we obtain a formula for the number of such curves. We end with several examples illustrating our formula.


title: Resonances for steplike potentials: forward and inverse results

abstract: We consider resonances associated to the operator $-\frac{d^2}{dx^2}+V(x)$, where $V(x)=V_+$ if $x>x_M$ and $V(x)=V_-$ if $x<-x_M$, with $V_+\not = V_-$. We obtain asymptotics of the resonance-counting function in several regions. Moreover, we show that in several situations, the resonances, $V_+$, and $V_-$ determine $V$ uniquely up to translation.


title: The Order Dimension of the Poset of Regions in a Hyperplane Arrangement

abstract: We show that the order dimension of the weak order on a Coxeter group of type A, B or D is equal to the rank of the Coxeter group, and give bounds on the order dimensions for the other finite types. This result arises from a unified approach which, in particular, leads to a simpler treatment of the previously known cases, types A and B. The result for weak orders follows from an upper bound on the dimension of the poset of regions of an arbitrary hyperplane arrangement. In some cases, including the weak orders, the upper bound is the chromatic number of a certain graph. For the weak orders, this graph has the positive roots as its vertex set, and the edges are related to the pairwise inner products of the roots.


title: Analytic Partial Crossed Products

abstract: Partial actions of discrete abelian groups can be used to construct both groupoid C*-algebras and partial crossed product algebras. In each case there is a natural notion of an analytic subalgebra. We show that for countable subgroups of the real numbers and free partial actions, these constructions yield the same C*-algebras and the same analytic subalgebras. We also show that under suitable hypotheses an analytic partial crossed product preserves all the information in the dynamical system in the sense that two analytic partial crossed products are isomorphic as Banach algebras if, and only if, the partial actions are conjugate.


title: The classifying space of a bound quiver

abstract: We associate to a bound quiver (Q,I) a CW-complex which we denote by B(Q,I), and call the classifying space of (Q,I). We show that the fundamental group of B(Q,I) is isomorphic to the fundamental group of (Q,I). Moreover, we show that this construction behaves well with respect to coverings. On the other hand, we study the (co)homology groups of B(Q,I), and compare them with the simplicial and the Hochschild (co)homology groups of the algebra A=kQ/I. More precisely, we give sufficient conditions for these groups to be isomorphic. This generalizes a theorem due to Gerstenhaber and Schack.


title: On the second moment of $S(T)$ in the theory of the Riemann zeta function

abstract: We assume the Riemann Hypothesis and an quantitative form of the Twin Prime Conjecture, and obtain an asymptotic formula for the second moment of $S(T)$ with better error term.


title: Pair Correlation of the zeros of the Riemann zeta function in longer ranges

abstract: In this paper, we study a more general pair correlation function, $F_h(x,T)$, of the zeros of the Riemann zeta function. It provides information on the distribution of larger differences between the zeros.


title: Distribution of the zeros of the Riemann zeta function in longer intervals

abstract: In this paper, we extend the result of Fujii on the second moment of $S(t+h) - S(t)$ to longer range of $h$ under the Riemann Hypothesis and an quantitative form of the Twin Prime Conjecture.


title: State spaces of JB*-triples

abstract: An atomic decomposition is proved for Banach spaces which satisfy some affine geometric axioms compatible with notions from the quantum mechanical measuring process. This is then applied to yield, under appropriate assumptions, geometric characterizations, up to isometry, of the unit ball of the dual space of a JB*-triple, and up to complete isometry, of one-sided ideals in C*-algebras.


title: On the holomorphicity of genus two Lefschetz fibrations

abstract: We prove that any genus-2 Lefschetz fibration without reducible fibers and with ``transitive monodromy'' is holomorphic. The latter condition comprises all cases where the number of singular fibers is not congruent to 0 modulo 40. An auxiliary statement of independent interest is the holomorphicity of symplectic surfaces in S^2-bundles over S^2, of relative degree up to 7 over the base, and of symplectic surfaces in CP^2 of degree up to 17.


title: Cohomology of moduli spaces

abstract: Some recent progress towards understanding the cohomology of moduli spaces of curves is described. Madsen and Weiss have given a proof of a generalisation of Mumford's conjecture on the stable cohomology of these moduli spaces M_g, and other contributors have made advances related to Faber's conjectures on the tautological ring of M_g.


title: Complete sets of relations in the cohomology rings of moduli spaces of holomorphic bundles and parabolic bundles over a Riemann surface

abstract: The cohomology ring of the moduli space of stable holomorphic vector bundles of rank n and degree d over a Riemann surface of genus g>1 has a standard set of generators when n and d are coprime. When n=2 the relations between these generators are well understood, and in particular a conjecture of Mumford, that a certain set of relations is a complete set, is known to be true. In this article generalisations are given of Mumford's relations to the cases when n>2 and also when the bundles are parabolic bundles, and these are shown to form complete sets of relations.


title: Moduli spaces of bundles over Riemann surfaces and the Yang-Mills stratification revisited

abstract: Refinements of the Yang-Mills stratifications of spaces of connections over a compact Riemann surface are investigated. The motivation for this study was the search for a complete set of relations between the standard generators for the cohomology of the moduli spaces of stable holomorphic bundles of rank n and degree d when n and d are coprime and n>2.


title: Refinements of the Morse stratification of the normsquare of the moment map

abstract: Let X be any nonsingular complex projective variety on which a complex reductive group G acts linearly, and let X^{ss} and X^s be the sets of semistable and stable points of X in the sense of Mumford's geometric invariant theory. Then X has a G-equivariantly perfect stratification by locally closed nonsingular G-invariant subvarieties with X^{ss} as an open stratum, which can be obtained as the Morse stratification of the normsquare of a moment map for the action of a maximal compact subgroup K of G. In this note this stratification is refined to obtain stratifications of X by locally closed nonsingular G-invariant subvarieties with X^s as an open stratum. The strata can be defined inductively in terms of the sets of stable points of closed nonsingular subvarieties of X acted on by reductive subgroups of G, and their projectivised normal bundles. When G is abelian another way to obtain a refined stratification is by perturbing the moment map; the refinement is then itself equivariantly perfect, and its strata can be described in terms of the sets of stable points of linear actions of reductive subgroups of G for which semistability and stability coincide. This is useful even when G is nonabelian, since important questions about the cohomology of the GIT quotient (or Marsden-Weinstein reduction) X//G can be reduced to questions about the quotient of X by a maximal torus of G.


title: On a sequence related to the Josephus problem

abstract: In this short note, we show that an integer sequence defined on the minimum of differences between divisor complements of its partial products is connected with the Josephus problem (q=3).


title: Evolving sets, mixing and heat kernel bounds

abstract: We show that a new probabilistic technique, recently introduced by the first author, yields the sharpest bounds obtained to date on mixing times of Markov chains in terms of isoperimetric properties of the state space (also known as conductance bounds or Cheeger inequalities). We prove that the bounds for mixing time in total variation obtained by Lovasz and Kannan, can be refined to apply to the maximum relative deviation $|p^n(x,y)/\pi(y)-1|$ of the distribution at time $n$ from the stationary distribution $\pi$. We then extend our results to Markov chains on infinite state spaces and to continuous-time chains. Our approach yields a direct link between isoperimetric inequalities and heat kernel bounds; previously, this link rested on analytic estimates known as Nash inequalities.


title: Integer and fractional packing of families of graphs

abstract: Let ${\cal F}$ be a family of graphs. For a graph $G$, the {\em ${\cal F}$-packing number}, denoted $\nu_{{\cal F}}(G)$, is the maximum number of pairwise edge-disjoint elements of ${\cal F}$ in $G$. A function $\psi$ from the set of elements of ${\cal F}$ in $G$ to $[0,1]$ is a {\em fractional ${\cal F}$-packing} of $G$ if $\sum_{e \in H \in {\cal F}} {\psi(H)} \leq 1$ for each $e \in E(G)$. The {\em fractional ${\cal F}$-packing number}, denoted $\nu^*_{{\cal F}}(G)$, is defined to be the maximum value of $\sum_{H \in {{G} \choose {{\cal F}}}} \psi(H)$ over all fractional ${\cal F}$-packings $\psi$. Our main result is that $\nu^*_{{\cal F}}(G)-\nu_{{\cal F}}(G) = o(|V(G)|^2)$. Furthermore, a set of $\nu_{{\cal F}}(G) -o(|V(G)|^2)$ edge-disjoint elements of ${\cal F}$ in $G$ can be found in randomized polynomial time. For the special case ${\cal F}=\{H_0\}$ we obtain a significantly simpler proof of a recent difficult result of Haxell and R\"odl \cite{HaRo} that $\nu^*_{H_0}(G)-\nu_{H_0}(G) = o(|V(G)|^2)$.


title: Estimates of automorphic functions

abstract: We present a new method of estimating trilinear period for automorphic representations of SL(2,R). The method is based on the uniqueness principle in representation theory. We show how to separate the exponentially decaying factor in the triple period from the essential automorphic factor which behaves polynomially. We also describe a general method which gives an estimate on the average of the automorphic factor and thus prove a convexity bound for the triple period.


title: On sofic groups

abstract: Answering some queries of Weiss, we prove that the free product and amenable extensions of sofic groups are sofic as well, and give an example of a finitely generated sofic group that is not residually amenable.


title: Delzant's T-invariant, Kolmogorov complexity and one-relator groups

abstract: We prove that ``almost generically'' for a one-relator group Delzant's $T$-invariant (which measures the smallest size of a finite presentation for a group) is comparable in magnitude with the length of the defining relator. The proof relies on our previous results regarding isomorphism rigidity of generic one-relator groups and on the methods of the theory of Kolmogorov-Chaitin complexity. We also give a precise asymptotic estimate (when $k$ is fixed and $n$ goes to infinity) for the number $I_{k,n}$ of isomorphism classes of $k$-generator one-relator groups with a cyclically reduced defining relator of length $n$: \[ I_{k,n}\sim \frac{(2k-1)^n}{nk!2^{k+1}}. \] Here $f(n)\sim g(n)$ means that $\lim_{n\to\infty} f(n)/g(n)=1$.


title: The total coordinate ring of a normal projective variety

abstract: The total coordinate ring TC(X) of a normal variety is a generalization of the ring introduced and studied by Cox in connection with a toric variety. Consider a normal projective variety X with divisor class group Cl(X), and let us assume that it is a finitely generated free abelian group. We define the total coordinate ring of X to be TC(X) = oplus_{D} H^0 (X, O_X (D)), where the sum as above is taken over all Weil divisors of X contained in a fixed complete system of representatives of Cl(X). We prove that for any normal projective variety X, TC(X) is a UFD, this is a corollary of a more general theorem that is proved in the paper. (Berchtold and Haussen proved the unique factorization for a smooth variety independently.) We also prove that for X, the blow up of P^2 along a finite number of collinear points, TC(X) is Noetherian. We also give an example that TC(X) is not Noetherian but oplus_n H^0 (X, O(nD)) is Noetherian for any Weil divisor D.


title: Analysis of the CSP Reduction Method for Chemical Kinetics

abstract: This article is concerned with the asymptotic accuracy of the Computational Singular Perturbation (CSP) method developed by Lam and Goussis to reduce the dimensionality of a system of chemical kinetics equations. The method exploits the presence of disparate time scales to model the dynamics by an evolution equation on a lower-dimensional slow manifold. In this article it is shown that the successive applications of the CSP algorithm generate, order by order, the asymptotic expansion of a slow manifold. The results are illustrated on the Michaelis-Menten-Henri equations of enzyme kinetics.


title: Leonard pairs and the Askey-Wilson relations

abstract: Let K denote a field and let $V$ denote a vector space over K with finite positive dimension. We consider an ordered pair of linear transformations $A:V\to V$ and $A^*:V\to V$ which satisfy the following two properties: (i) There exists a basis for $V$ with respect to which the matrix representing $A$ is irreducible tridiagonal and the matrix representing $A^*$ is diagonal. (ii) There exists a basis for $V$ with respect to which the matrix representing $A^*$ is irreducible tridiagonal and the matrix representing $A$ is diagonal. We call such a pair a Leonard pair on $V$. Referring to the above Leonard pair, we show there exists a sequence of scalars $\beta,\gamma,\gamma^*, \varrho,\varrho^*,\omega, \eta, \eta^*$ taken from K such that both (i) A^2 A^*-\beta A A^*A+A^*A^2-\gamma (AA^*+A^*A) -\varrho A^* =\gamma^*A^2+\omega A+\etaI; (ii) A^{*2}A-\beta A^*AA^*+AA^{*2}-\gamma^*(A^*A+AA^*) -\varrho^*A =\gamma A^{*2}+\omega A^*+\eta^*I. The sequence is uniquely determined by the Leonard pair provided the dimension of $V$ is at least 4. The equations above are called the Askey-Wilson relations.


title: A note on the ampleness of numerically positive log canonical and anti-log canonical divisors

abstract: In this short note, we consider the conjecture that the log canonical divisor (resp. the anti-log canonical divisor) $K_X + \Delta$ (resp. $-(K_X + \Delta)$) on a pair $(X, \Delta)$ consisting of a complex projective manifold $X$ and a reduced simply normal crossing divisor $\Delta$ on $X$ is ample if it is numerically positive. More precisely, we prove the conjecture for $K_X + \Delta$ with $\Delta \neq 0$ in dimension 4 and for $-(K_X + \Delta)$ with $\Delta \neq 0$ in dimension 3 or 4.


title: Deformation quantization and quantum coadjoint orbits of SL(2,R)

abstract: In this article we describe the coadjoint orbits of SL(2,$\mathbb R$). After choosing polarizations for each orbits, we pointed out the corresponding quantum coadjoint orbits and therefore unitary representations of SL(2,$\mathbb R$) via deformation quantization.


title: Linear maps on the space of all bounded observables preserving maximal deviation

abstract: In this paper we determine all the bijective linear maps on the space of bounded observables which preserve a fixed moment or the variance. Nonlinear versions of the corresponding results are also presented.


title: Zeta functions of groups and enumeration in Bruhat-Tits buildings

abstract: We introduce a new method to calculate local normal zeta functions of finitely generated, torsion-free nilpotent groups. It is based on an enumeration of vertices in the Bruhat-Tits building for Sl_n(Q_p). It enables us to give explicit computations for groups of class 2 with small centres and to derive local functional equations. Examples include formulae for non-uniform normal zeta functions.


title: Topological recursion relations and Gromov-Witten invariants in higher genus

abstract: We state and prove a topological recursion relation that expresses any genus-g Gromov-Witten invariant of a projective manifold with at least a (3g-1)-st power of a cotangent line class in terms of invariants with fewer cotangent line classes. For projective spaces, we prove that these relations together with the Virasoro conditions are sufficient to calculate the full Gromov-Witten potential. This gives the first computationally feasible way to determine the higher genus Gromov-Witten invariants of projective spaces.


title: Functional equations for local normal zeta functions of nilpotent groups

abstract: We give explicit formulae for the local normal zeta functions of torsion-free, class-2-nilpotent groups, subject to conditions on the associated Pfaffian hypersurface which are generically satisfied by groups with small centre and sufficiently large abelianization. We show how the functional equations of two types of zeta functions - the Weil zeta function associated to an algebraic variety and zeta functions of algebraic groups introduced by Igusa - match up to give a functional equation for local normal zeta functions of groups. We also give explicit formulae and derive functional equations for an infinite family of class-2-nilpotent groups known as Grenham groups, confirming conjectures of du Sautoy.


title: Splitting the concordance group of algebraically slice knots

abstract: As a corollary of work of Ozsvath and Szabo [math.GT/0301149], it is shown that the classical concordance group of algebraically slice knots has an infinite cyclic summand and in particular is not a divisible group.


title: Frequency map analysis and quasiperiodic decompositions

abstract: Frequency Map Analysis is a numerical method based on refined Fourier techniques which provides a clear representation of the global dynamics of many multi-dimensional systems, and which is particularly adapted for systems of 3-degrees of freedom and more. This method relies heavily on the possibility of making accurate quasiperiodic approximations of of quasiperiodic signal given in a numerical way. In the present paper, we will describe the basis of the frequency analysis method, focussing on the quasi periodic approximation techniques. Application of these methods for the study of the global dynamics and chaotic diffusion of Hamiltonian systems and symplectic maps in different domains can be found in (Laskar, 1988, 1990, Laskar and Robutel, 1993, Robutel and Laskar, 2001, Nesvorny and Ferraz-Mello, 1997) for solar system dynamics, and in (Papaphilippou and Laskar, 1996, 1998, Laskar, 2000, Wachlin and Ferraz-Mello, 1998, Valluri and Merritt, 1998, Merritt and Valluri, 1999) for galactic dynamics. The method has been particularly successful for its application in particle accelerators (Dumas and Laskar, 1993, Laskar and Robin, 1996, Robin et al., 2000, Comunian et al., 2001, Papaphilippou and Zimmermann, 2002, Steier et al., 2002), and was also used for the understanding of atomic physics (Milczewski et al., 1997), or more general dynamical system issues (Laskar et al., 1992, Laskar, 1993, 1999, Chandre et al., 2001).


title: Bandwidth reduction in rectalgular grids

abstract: We show that the bandwidth of a square two-dimensional grid of arbitrary size can be reduced if two (but not less than two) edges are deleted. The two deleted edges may not be chosen arbitrarily, but they may be chosen to share a common endpoint or to be non-adjacent. We also show that the bandwidth of the rectangular n by m (m greater or equal to n) grid can be reduced by k, for all k that are sufficiently small, if m-n+2k edges are deleted.


title: The t-Analogs of q-Characters at Roots of Unity for Quantum Affine Algebras and Beyound

abstract: The q-characters were introduced by Frenkel and mReshetikhin to study finite dimensional representations of the untwisted quantum affine algebra for q generic. The $\epsilon$-characters at roots of unity were constructed by Frenkel and Mukhin to study finite dimensional representations of various specializations of the quantum affine algebra at $q^s=1$. In the finite simply laced case Nakajima defined deformations of q-characters called q,t-characters, for q generic and also at roots of unity. The definition is combinatorial but the proof of the existence uses the geometric theory of quiver varieties which holds only in the simply laced case. In math.QA/0212257 we proposed an algebraic general (non necessarily simply laced) new approach to q,t-characters for q generic. In this paper we treat the root of unity case. Moreover we construct q-characters and q,t-characters for a large class of generalized Cartan matrices (including finite and affine cases except $A_1^{(1)}$, $A_2^{(2)}$) by extending our algebraic approach. In particular we generalize the construction of Nakajima's Kazhdan-Lusztig polynomials at roots of unity to those cases. We also study properties of various objects used in this article : deformed screening operators at roots of unity, t-deformed polynomial algebras, bicharacters arising from symmetrizable Cartan matrices, deformation of the Frenkel-Mukhin's algorithm.


title: SPM Bulletin 5 (Special issue)

abstract: *** Note the comment above *** This is a special issue dedicated to the announcement of Shelah's recent solution of the Minimal Tower problem, one of the oldest and most important problems in infinite combinatorics which also motivated some new studies in SPM (see fourth issue of this bulletin). We give some background and personal perspectives on the problem and its solution. We decided not to include additional research announcements in this issue, so to let them draw the attention they deserve in the coming issue. This issue also contains an interesting new problem which is related to the Minimal Tower problem (but still open).


title: Hamiltonian Type Operators in Representations of the Quantum Algebra U_q(su_{1,1})

abstract: We study some classes of symmetric operators for the discrete series representations of the quantum algebra U_q(su_{1,1}), which may serve as Hamiltonians of various physical systems. The problem of diagonalization of these operators (eigenfunctions, spectra, overlap coefficients, etc.) is solved by expressing their overlap coefficients in terms of the known families of q-orthogonal polynomials. We consider both bounded and unbounded operators. In the latter case they are not selfadjoint and have deficiency indices (1,1), which means that they have infinitely many selfadjoint extensions. We find possible sets of point spectrum (which depends on the representation space under consideration) for one of such symmetric operators by using the orthogonality relations for q-Laguerre polynomials. In another case we are led to new orthogonality relations for {}_3\phi_1-hypergeometric polynomials. Many new realizations for the discrete series representations are constructed, which follows from the diagonalization of the operators considered. In particular, a new system of orthogonal functions on a discrete set is shown to emerge.


title: Zero-sum problems for abelian p-groups and covers of the integers by residue classes

abstract: Zero-sum problems for abelian groups and covers of the integers by residue classes, are two different active topics initiated by P. Erdos more than 40 years ago and investigated by many researchers separately since then. In an earlier announcement [Electron. Res. Announc. Amer. Math. Soc. 9(2003), 51-60], the author claimed some surprising connections among these seemingly unrelated fascinating areas. In this paper we establish further connections between zero-sum problems for abelian p-groups and covers of the integers. For example, we extend the famous Erdos-Ginzburg-Ziv theorem in the following way: If {a_s(mod n_s)}_{s=1}^k covers each integer either exactly 2q-1 times or exactly 2q times where q is a prime power, then for any c_1,...,c_k in Z/qZ there exists a subset I of {1,...,k} such that sum_{s in I}1/n_s=q and sum_{s in I}c_s=0. Our main theorem in this paper unifies many results in the two realms and also implies an extension of the Alon-Friedland-Kalai result on regular subgraphs.


title: The $C^*$-algebras of finitely aligned higher-rank graphs

abstract: We generalise the theory of Cuntz-Krieger families and graph algebras to the class of finitely aligned $k$-graphs. This class contains in particular all row-finite $k$-graphs. The Cuntz-Krieger relations for non-row-finite $k$-graphs look significantly different from the usual ones, and this substantially complicates the analysis of the graph algebra. We prove a gauge-invariant uniqueness theorem and a Cuntz-Krieger uniqueness theorem for the $C^*$-algebras of finitely aligned $k$-graphs.


title: Product systems of graphs and the Toeplitz algebras of higher-rank graphs

abstract: There has recently been much interest in the $C^*$-algebras of directed graphs. Here we consider product systems $E$ of directed graphs over semigroups and associated $C^*$-algebras $C^*(E)$ and $\mathcal{T}C^*(E)$ which generalise the higher-rank graph algebras of Kumjian-Pask and their Toeplitz analogues. We study these algebras by constructing from $E$ a product system $X(E)$ of Hilbert bimodules, and applying recent results of Fowler about the Toeplitz algebras of such systems. Fowler's hypotheses turn out to be very interesting graph-theoretically, and indicate new relations which will have to be added to the usual Cuntz-Krieger relations to obtain a satisfactory theory of Cuntz-Krieger algebras for product systems of graphs; our algebras $C^*(E)$ and $\mathcal{T}C^*(E)$ are universal for families of partial isometries satisfying these relations. Our main result is a uniqueness theorem for $\mathcal{T}C^*(E)$ which has particularly interesting implications for the $C^*$-algebras of non-row-finite higher-rank graphs. This theorem is apparently beyond the reach of Fowler's theory, and our proof requires a detailed analysis of the expectation onto the diagonal in $\mathcal{T}C^*(E)$.


title: Classification of regular and non-degenerate projectively Anosov flows on three dimensional manifolds

abstract: We give complete classification of C^2-regular and non-degenerate projectively Anosov flows on three dimensional manifolds. More precisely, we prove that such a flow on a connected manifold must be either an Anosov flow or represented as a finite union of $T^2 \times [0,1]$-models.


title: A Counterpart of Schwarz's Inequality in Inner Product Spaces

abstract: A new counterpart of Schwarz's inequality in inner product spaces and applications for isotonic functionals, integrals and sequences are provided.


title: A Generalised Trapezoid Type Inequality for Convex Functions

abstract: A generalised trapezoid inequality for convex functions and applications for quadrature rules are given. A refinement and a counterpart result for the Hermite-Hadamard inequalities are obtained and some inequalities for pdf's and (HH)-divergence measure are also mentioned.


title: An Ostrowski Type Inequality for Convex Functions

abstract: An Ostrowski type integral inequality for convex functions and applications for quadrature rules and integral means are given. A refinement and a counterpart result for Hermite-Hadamard inequalities are obtained and some inequalities for pdf's and (HH)-divergence measure are also mentioned.


title: Irreducible representations of quantum solvable algebras at roots of 1

abstract: We study the irreducible representations of quantum solvable algebras at roots of 1 which lie over a point of the variety of center. We characterize the quiver of fiber algebra and present the formulas on the dimension and the number of these representations in terms of Poisson structure of the variety of center.


title: Newton polygons and families of polynomials

abstract: We consider a continuous family $(f_s)$, $s\in[0,1]$ of complex polynomials in two variables with isolated singularities, that are Newton non-degenerate. We suppose that the Euler characteristic of a generic fiber is constant (or equivalently the sum of the affine Milnor number and the Milnor number at infinity $\mu(s)+\lambda(s)$ is constant). We firstly prove that the set of critical values at infinity depends continuously on $s$, and secondly that the degree of the $f_s$ is constant (up to an algebraic automorphism of $\Cc^2$).


title: The combinatorics of category O for symmetrizable Kac-Moody algebras

abstract: We show that the structure of blocks outside the critical hyperplanes of category O over any symmetrizable Kac-Moody algebra depends only on the corresponding integral Weyl group and its action on the parameters of the Verma modules by giving a combinatorial description of the projective objects. As an application we derive the Kazhdan-Lusztig conjecture for non-integral blocks from the integral case in finite and affine situations.


title: New transformations for elliptic hypergeometric series on the root system An

abstract: Recently, Kajihara gave a Bailey-type transformation relating basic hypergeometric series on the root system An, with different dimensions n. We give, with a new, elementary, proof, an elliptic analogue of this transformation. We also obtain further Bailey-type transformations as consequences of our result, some of which are new also in the case of basic and classical hypergeometric series.


title: Invariant integration theory on non-compact quantum spaces: Quantum (n,1)-matrix ball

abstract: An operator theoretic approach to invariant integration theory on non-compact quantum spaces is introduced on the example of the quantum (n,1)-matrix ball O_q(Mat_{n,1}). In order to prove the existence of an invariant integral, operator algebras are associated to O_q(Mat_{n,1}) which allow an interpretation as ``rapidly decreasing'' functions and as functions with compact support on the quantum (n,1)-matrix ball. It is shown that the invariant integral is given by a generalization of the quantum trace. If an operator representation of a first order differential calculus over the quantum space is known, then it can be extended to the operator algebras of integrable functions. Hilbert space representations of O_q(Mat_{n,1}) are investigated and classified. Some topological aspects concerning Hilbert space representations are discussed.


title: Contact Pairs

abstract: We introduce a new geometric structure on differentiable manifolds. A \textit{Contact} \textit{Pair}on a manifold $M$ is a pair $(\alpha,\eta) $ of Pfaffian forms of constant classes $2k+1$ and $2h+1$ respectively such that $\alpha\wedge d\alpha^{k}\wedge\eta\wedge d\eta^{h}$ is a volume form. Both forms have a characteristic foliation whose leaves are contact manifolds. These foliations are transverse and complementary. Further differential objects are associated to Contact Pairs: two commuting Reeb vector fields, Legendrian curves on $M$ and two Lie brackets on $\mathcal{C}^{\infty}(M) $. We give a local model and several existence theorems on nilpotent Lie groups, nilmanifolds, bundles over the circle and principal torus bundles.


title: On the analytical invariance of the semigroups of a quasi-ordinary hypersurface singularity

abstract: We associate to any irreducible germ S of complex quasi-ordinary hypersurface an analytically invariant semigroup. We deduce a direct proof (without passing through their embedded topological invariance) of the analytical invariance of the normalized characteristic exponents. These exponents generalize the generic Newton-Puiseux exponents of plane curves. Incidentally, we give a toric description of the normalization morphism of the germ S.


title: Existence of primitive polynomials with three coefficients prescribed

abstract: We demonstrate, using character sum arguments, the existence of primitive polynomials of degree n over a finite field GF(q) with the coefficients for x^(n-1), x^(n-2), and x^(n-3) prescribed, so long as char(GF(q)) is at least 5 and n is at least 9. The cases n=7, 8 are also considered.


title: Orderings of Monomial Ideals

abstract: We study the set of monomial ideals in a polynomial ring as an ordered set, with the ordering given by reverse inclusion. We give a short proof of the fact that every antichain of monomial ideals is finite. Then we investigate ordinal invariants for the complexity of this ordered set. In particular, we give an interpretation of the height function in terms of the Hilbert-Samuel polynomial, and we compute upper and lower bounds on the maximal order type.


title: One-parameter orthogonality relations for basic hypergeometric series

abstract: The second order hypergeometric q-difference operator is studied for the value c=-q. For certain parameter regimes the corresponding recurrence relation can be related to a symmetric operator on the Hilbert space l^2(Z). The operator has deficiency indices (1,1) and we describe as explicitly as possible the spectral resolutions of the self-adjoint extensions. This gives rise to one-parameter orthogonality relations for sums of two 2\phi1-series. In particular, we find that the Ismail-Zhang q-analogue of the exponential function satisfies certain orthogonality relations analogous to the Fourier cosine transform.


title: Invariants of mixed representations of quivers I

abstract: We introduce a new concept of mixed representations of quivers that is a generalization of ordinary representations of quivers and orthogonal (symplectic) representations of symmetric quivers introduced recently by Derksen and Weyman. We describe the generating invariants of mixed representations of quivers (First Fundamental Theorem) and prove additional results that allow us to describe the defining relations between them in the second article.


title: Embedding of the operator space OH and the logarithmic `little Grothendieck inequality'

abstract: Using free random varaibles we find an embedding of the operator space $OH$ in the predual of a von Neumann algebra. The properties of this embedding allow us to determined the projection constant of $OH_n$, i.e. there exists a projection $P:B(\ell_2)\to OH_n$ whose completely bounded norm behaves as n^{1/2}/(1+ln n)^{1/2}. According to recent results of Pisier/Shlyahtenko, the lower bound holds for every projection. Improving a previous estimate of order $(1+ ln n)$ of the author, Pisier/Shlyahtenko obtained a `logarithmic little Grothendieck inequality'. We find a second proof of this inequality which explains why the factor $\sqrt{1+\ln n}$ is indeed necessary. In particular the operator space version of the `little Grothendieck inequality' fails to hold. This `logarithmic little Grothendieck' inequality characterizes $C^*$-algebras with the weak expectation property of Lance.


title: Pointwise convergence of averages along cubes

abstract: Let $(X,\mathcal{B},\mu, T)$ be a measure preserving system. We prove the pointwise convergence of the averages $$\frac{1}{N^2}\sum_{n,m= 0}^{N-1} f_1(T^nx)f_2(T^mx)f_3(T^{n+m}x)$$ and of similar averages with seven bounded functions.


title: A strong type inequality for convolution with square root of the Poisson kernel

abstract: The boundary behaviour of convolutions with Poisson kernel and with square root from Poisson kernel is essentially differs. The first ones have only nontangential limit. For the last ones the convergence is over domains admittings a logarithmic order of the contact with the boundary . This result was generalized by authors on the spaces of homogeneous type. Here we prove the boundedness and some weighted estimates for the corresponding maximal operator. Earlier it was known only weak type inequality.


title: Crystal Bases for Quantum Generalized Kac-Moody Algebras

abstract: In this paper, we develop the crystal basis theory for quantum generalized Kac-Moody algebras. For a quantum generalized Kac-Moody algebra $U_q(\mathfrak g)$, we first introduce the category $\mathcal O_{int}$ of $U_q(\mathfrak g)$-modules and prove its semisimplicity. Next, we define the notion of crystal bases for $U_q(\mathfrak g)$-modules in the category $\mathcal O_{int}$ and for the subalgebra $U_q^-(\mathfrak g)$. We then prove the tensor product rule and the existence theorem for crystal bases. Finally, we construct the global bases for $U_q(\mathfrak g)$-modules in the category $\mathcal O_{int}$ and for the subalgebra $U_q^-(\mathfrak g)$.


title: Dense set of large periodic points

abstract: It is shown that Devaney Chaotic systems have plenty of large periodic points.


title: Bifurcation in two-dimensional fixed point subspaces

abstract: Bifurcation with symmetry is considered in the case of an isotropy subgroup with a two-dimensional fixed point subspace and non-zero quadratic terms. In general, there are one or three branches of solutions, and five qualitatively different phase portraits, provided that two non-degeneracy conditions are satisfied. Conditions are also derived to determine which of the five possible phase portraits occurs, given the coefficients of the quadratic terms. The results are applied to the problem of bifurcation with spherical symmetry, where there are six irreducible representations for which the subspace of solutions with cubic symmetry is two-dimensional. In each case, the number of solutions and their stability is found.


title: q Statistics on $S_n$ and Pattern Avoidance

abstract: Natural q analogues of classical statistics on the symmetric groups $S_n$ are introduced; parameters like: the q-length, the q-inversion number, the q-descent number and the q-major index. MacMahon's theorem about the equi-distribution of the inversion number and the reverse major index is generalized to all positive integers q. It is also shown that the q-inversion number and the q-reverse major index are equi-distributed over subsets of permutations avoiding certain patterns. Natural q analogues of the Bell and the Stirling numbers are related to these q statistics -- through the counting of the above pattern-avoiding permutations.


title: A rigidity theorem for Lagrangian deformations

abstract: We consider deformations of singular Lagrangian varieties in symplectic spaces. We show the coherence of the direct image sheaves of relative infinitesimal Lagrangian deformations. Using this result, we prove that, under some assumptions, a Lagrangian deformation is analytically rigid provided that this is the case infinitesimally. This gives generalisations of recent results by Colin de Verdi\`ere concerning Lagrangian curves.


title: Cusp geometry and the cobordism invariance of the index

abstract: The cobordism invariance of the index on closed manifolds is reproved using the calculus of cusp pseudodifferential operators on a manifold with boundary. More generally, on a compact manifold with corners, the existence of a symmetric cusp differential operator of order 1 and of Dirac type near the boundary implies that the sum of the indices of the induced operators on the hyperfaces is null.


title: A splitting criterion for two-dimensional semi-tori

abstract: We investigate conditions under which a two-dimensional complex semi-torus splits into a direct product of C^* and a one-dimensional compact complex torus.


title: The non-microstates free entropy dimension of DT-operators

abstract: Dykema and Haagerup introduced the class of DT-operators and also showed that every DT-operator generate the von Neumann algebra generated by the free group on two generators. In this paper we prove that Voiculescu's non-microstates free entropy dimension is 2 for all DT-operators.


title: Hydrodynamic limit of asymmetric exclusion processes under diffusive scaling in $d\ge 3$

abstract: We consider the asymmetric exclusion process. We start from a profile which is constant along the drift direction and prove that the density profile, under a diffusive rescaling of time, converges to the solution of a parabolic equation.


title: Hausdorff Dimension and Diophantine Approximation

abstract: We begin with a brief treatment of Hausdorff measure and Hausdorff dimension. We then explain some of the principal results in Diophantine approximation and the Hausdorff dimension of related sets, originating in the pioneering work of Vojtech Jarnik. We conclude with some applications of these results to the metrical structure of exceptional sets associated with some famous problems. It is not intended that all the recent developments be covered but they can be found in the references cited.


title: Reconstruction thresholds on regular trees

abstract: We consider a branching random walk with binary state space and index set $T^k$, the infinite rooted tree in which each node has k children (also known as the model of "broadcasting on a tree"). The root of the tree takes a random value 0 or 1, and then each node passes a value independently to each of its children according to a 2x2 transition matrix P. We say that "reconstruction is possible" if the values at the d'th level of the tree contain non-vanishing information about the value at the root as $d\to\infty$. Adapting a method of Brightwell and Winkler, we obtain new conditions under which reconstruction is impossible, both in the general case and in the special case $p_{11}=0$. The latter case is closely related to the "hard-core model" from statistical physics; a corollary of our results is that, for the hard-core model on the (k+1)-regular tree with activity $\lambda=1$, the unique simple invariant Gibbs measure is extremal in the set of Gibbs measures, for any k.


title: $L^2$--eta--invariants and their approximation by unitary eta--invariants

abstract: Cochran, Orr and Teichner introduced $L^2$--eta--invariants to detect highly non--trivial examples of non slice knots. Using a recent theorem by L\"uck and Schick we show that their metabelian $L^2$--eta--invariants can be viewed as the limit of finite dimensional unitary representations. We recall a ribbon obstruction theorem proved by the author using finite dimensional unitary eta--invariants. We show that if for a knot $K$ this ribbon obstruction vanishes then the metabelian $L^2$--eta--invariant vanishes too. The converse has been shown by the author not to be true.


title: Eta invariants as sliceness obstructions and their relation to Casson-Gordon invariants

abstract: We give a useful classification of the metabelian unitary representations of pi_1(M_K), where M_K is the result of zero-surgery along a knot K in S^3. We show that certain eta invariants associated to metabelian representations pi_1(M_K) --> U(k) vanish for slice knots and that even more eta invariants vanish for ribbon knots and doubly slice knots. We show that our vanishing results contain the Casson-Gordon sliceness obstruction. In many cases eta invariants can be easily computed for satellite knots. We use this to study the relation between the eta invariant sliceness obstruction, the eta-invariant ribbonness obstruction, and the L^2-eta invariant sliceness obstruction recently introduced by Cochran, Orr and Teichner. In particular we give an example of a knot which has zero eta invariant and zero metabelian L^2-eta invariant sliceness obstruction but which is not ribbon.


title: Pointwise convergence of averages along cubes II

abstract: Let $(X,\mathcal{B},\mu, T)$ be a measure preserving system. We prove the pointwise convergence of averages along cubes of $2^{k}-1$ bounded and measurable functions for all $k$.


title: The Reciprocity Law for Dedekind Sums via the constant Ehrhart coefficient

abstract: We obtain a new motivated proof of the reciprocity law for Dedekind sums by computing the constant coefficient of the Ehrhart polynomial for a rectangular triangle in two ways. On the one hand, the constant term is the Euler characteristic, and on the other hand it is given by a cotangent Laurent expansion.


title: Algorithm for finding boundary link Seifert matrices

abstract: We explain an algorithm for finding a boundary link Seifert matrix for a given Alexander polynomial. The algorithm depends on several choices and therefore makes it possible to find non-equivalent Seifert matrices for a given Alexander polynomial.


title: Full signature invariants for $L_0(F(t))$

abstract: We find full invariants for detecting non--zero elements in ${L}_0(F(t))\otimes \Q$, this group plays an important role in topology in the work done by Casson and Gordon.


title: On the Homotopy of Symplectomorphism Groups of Homogeneous Spaces

abstract: Let ${\cal O}$ be a quantizable coadjoint orbit of a semisimple Lie group $G$. Under certain hypotheses we prove that $#(\pi_1(\text{Ham}({\cal O})))\geq #(Z(G))$, where $\text{Ham}({\cal O})$ is the group of Hamiltonian symplectomorphisms of ${\cal O}$.


title: Mathematical analysis of a nonlinear parabolic equation arising in the modelling of non-newtonian flows

abstract: The mathematical properties of a nonlinear parabolic equation arising in the modelling of non-newtonian flows are investigated. The peculiarity of this equation is that it may degenerate into a hyperbolic equation (in fact a linear advection equation). Depending on the initial data, at least two situations can be encountered: the equation may have a unique solution in a convenient class, or it may have infinitely many solutions.


title: Symplectic geometry of Frobenius structures

abstract: The purpose of the notes is to reiterate and expand the viewpoint, outlined in the paper math.AG/0110142 of T. Coates and the author, which recasts the concept of Frobenius manifold in terms of linear symplectic geometry and exposes the role of the twisted loop group L^{(2)}GL_N of hidden symmetries. New applications include a several line proof of the genus 0 Virasoro constraints and the quantum Hirzebruch-Riemann-Roch theorem in the theory of cobordism-valued Gromov-Witten invariants.


title: Volumes of symmetric random polytopes

abstract: We consider the moments of the volume of the symmetric convex hull of independent random points in an $n$-dimensional symmetric convex body. We calculate explicitly the second and fourth moments for $n$ points when the given body is $B_q^n$ (and all of the moments for the case $q = 2$), and derive from these the asymptotic behavior of the expected volume of a random simplex in those bodies.


title: On symmetric versions of Sylvester's problem

abstract: We consider moments of the normalized volume of a symmetric or nonsymmetric random polytope in a fixed symmetric convex body. We investigate for which bodies these moments are extremized, and calculate exact values in some of the extreme cases. We show that these moments are maximized among planar convex bodies by parallelograms.


title: Forest diagrams for elements of Thompson's group F

abstract: We introduce forest diagrams to represent elements of Thompson's group F. These diagrams relate to a certain action of F on the real line in the same way that tree diagrams relate to the standard action of F on the unit interval. Using forest diagrams, we give a conceptually simple length formula for elements of F with respect to the {x_0,x_1} generating set, and we discuss the construction of minimum-length words for positive elements. Finally, we use forest diagrams and the length formula to examine the structure of the Cayley graph of F.


title: Quantization and Morita equivalence for constant Dirac structures on tori

abstract: We define a C*-algebraic quantization of constant Dirac structures on tori, which extends the standard quantization of Poisson structures. We prove that Dirac structures in the same orbit of a natural action of O(n,n|Z) give rise to Morita equivalent algebras, completing and extending a theorem of Rieffel and Schwarz.


title: Polygonal approximation and energy of smooth knots

abstract: We establish a fundamental connection between smooth and polygonal knot energies, showing that the Minimum Distance Energy for polygons inscribed in a smooth knot converges to the Moebius Energy of the smooth knot as the polygons converge to the smooth knot. However, the polygons must converge in a ``nice'' way, and the energies must be correctly regularized. We determine an explicit error bound between the energies in terms of the number of the edges of the polygon and the Ropelength of the smooth curve.


title: Kauffman-Harary conjecture holds for Montesinos Knots

abstract: The Kauffman-Harary conjecture states that for any reduced alternating diagram K of a knot with a prime determinant p, every non-trivial Fox p-coloring of K assigns different colors to its arcs. We generalize the conjecture by stating it in terms of homology of the double cover of S^3 branched along a link. In this way we extend the scope of the conjecture to all prime alternating links of arbitrary determinants. We first prove the Kauffman-Harary conjecture for pretzel knots and then we generalize our argument to show the generalized Kauffman-Harary conjecture for all Montesinos links. Finally, we speculate on the relation between the conjecture and Menasco's work on incompressible surfaces in exteriors of alternating links.


title: Complexity of homogeneous spaces and growth of multiplicities

abstract: The complexity of a homogeneous space $G/H$ under a reductive group $G$ is by definition the codimension of generic orbits in $G/H$ of a Borel subgroup $B\subseteq G$. We give a representation-theoretic interpretation of this number as the exponent of growth for multiplicities of simple $G$-modules in the spaces of sections of line bundles on $G/H$. For this, we show that these multiplicities are bounded from above by the dimensions of certain Demazure modules. This estimate for multiplicities is uniform, i.e., it depends not on $G/H$, but only on its complexity.


title: Unique decomposition of tensor products of irreducible representations of simple algebraic groups

abstract: We show that a tensor product of irreducible, finite dimensional representations of a simple Lie algebra over a field of characteristic zero, determines the individual constituents uniquely. This is analogous to the uniqueness of prime factorisation of natural numbers.


title: Fundamental groups of Tangent Conic-Line arrangements with Singularities up to order 6

abstract: We list all the possible fundamental groups of the complements of real conic-line arrangements with two conics which are tangent to each other at two points, with up to two additional lines. For the computations we use the topological local braid monodromies and the techniques of Moishezon-Teicher and van-Kampen. We also include some conjectures concerning the connection between the presentation of the fundamental group of the complements and the geometry of an interesting family of conic line arrangements.


title: Interpolation analogues of Schur Q-functions

abstract: We introduce interpolation analogues of Schur Q-functions - the multiparameter Schur Q-functions. We obtain for them several results: a combinatorial formula, generating functions for one-row and two-rows functions, vanishing and characterization properties, a Pieri-type formula, a Nimmo-type formula (a relation of two Pfaffians), a Giambelli-Schur-type Pfaffian formula, a determinantal formula for the transition coefficients between multiparameter Schur Q-functions with different parameters. We write an explicit Pfaffian expression for the dimension of skew shifted Young diagram. This paper is a continuation of author's paper math.CO/0303169 and is a partial projective analogue of the paper by A. Okounkov and G. Olshanski q-alg/9605042, and of the paper by G. Olshanski, A. Regev and A. Vershik math.CO/0110077.


title: Refined upper bounds for the linear Diophantine problem of Frobenius

abstract: We study the Frobenius problem: given relatively prime positive integers a_1,...,a_d, find the largest value of t (the Frobenius number g(a_1,...,a_d)) such that m_1 a_1 + ... m_d a_d = t has no solution in nonnegative integers m_1,...,m_d. We introduce a method to compute upper bounds for g(a_1,a_2,a_3), which seem to grow considerably slower than previously known bounds. Our computations are based on a formula for the restricted partition function, which involves Dedekind-Rademacher sums, and the reciprocity law for these sums.


title: Higher-dimensional Dedekind sums and their bounds arising from the discrete diagonal of the n-cube

abstract: Higher-dimensional Dedekind sums are defined as a generalization of a recent 1-dimensional probability model of Dilcher and Girstmair to a d-dimensional cube. The analysis of the frequency distribution of marked lattice points leads to new formulae in certain special cases, and to new bounds for the classical Dedekind sums. Upper bounds for the generalized Dedekind sums are defined in terms of 1-dimensional moments. In the classical two-dimensional case, the ratio of these sums to their upper bounds are cosines of angles between certain vectors of n-dimensional cones, conjectured to have a largest spacial angle of pi/6.


title: $\bar{partial}$-coherent sheaves over complex manifolds

abstract: This is a large audience version of our previous work (see math.AG/0301146) in which we prove the existence of an (exact) equivalence between the category of coherent analytic sheaves and the category of $\bar{\partial}$-coherent sheaves. We also include here the complete proof of our main Theorem.


title: Stein's Method and Plancherel Measure of the Symmetric Group

abstract: We initiate a Stein's method approach to the study of the Plancherel measure of the symmetric group. A new proof of Kerov's central limit theorem for character ratios of random representations of the symmetric group on transpositions is obtained; the proof gives an error term. The construction of an exchangeable pair needed for applying Stein's method arises from the theory of harmonic functions on Bratelli diagrams. We also find the spectrum of the Markov chain on partitions underlying the construction of the exchangeable pair. This yields an intriguing method for studying the asymptotic decomposition of tensor powers of some representations of the symmetric group.


title: Commuting quantum traces: the case of reflection algebras

abstract: We formulate a systematic construction of commuting quantum traces for reflection algebras. This is achieved by introducing two sets of generalized reflection equations with associated consistent fusion procedures. Products of their solutions yield commuting quantum traces.


title: Algebraic K-theory of mapping class groups

abstract: We prove that the Fibered Isomorphism Conjecture of T. Farrell and L. Jones holds for various mapping class groups. In many cases, we explicitly calculate the lower algebraic K-groups, showing that they do not always vanish.


title: Property P for Knots admitting Certain Gabai Disks

abstract: We show that if a knot has a minimal spanning surface that admits certain Gabai disks, then this knot has Property P. As one of the applications we extend and simplify a recent result of Menasco and Zhang that closed 3-braid knots have Property P. Other applications are given.


title: Nonsmooth analysis and Hamilton-Jacobi equations on Riemannian manifolds

abstract: We establish some perturbed minimization principles, and we develop a theory of subdifferential calculus, for functions defined on Riemannian manifolds. Then we apply these results to show existence and uniqueness of viscosity solutions to Hamilton-Jacobi equations defined on Riemannian manifolds.


title: Towards Vertex Algebras of Krichever-Novikov Type, Part I

abstract: It is shown that a certain representation of the Heisenberg type Krichever-Novikov algebra gives rise to a state field correspondence that is quite similar to the vertex algebra structure of the usual Heisenberg algebra. Finally a definition of Krichever-Novikov type vertex algebras is proposed and its relation to vertex algebras is discussed.


title: A modified Brauer algebra as centralizer algebra of the unitary group

abstract: The centralizer algebra of the action of the unitary group on the real tensor powers of its natural module, is described by means of a modification in the multiplication of the signed Brauer algebras. The relationships of this algebra with the invariants for U(n), and with the decomposition of the above tensor powers into irreducible modules, is considered.


title: On subalgebras of $n\times n$ matrices not satisfying identities of degree $2n-2$

abstract: The Amitsur-Levitski theorem asserts that $M_n(F)$ satisfies a polynomial identity of degree $2n$. (Here, $F$ is a field and $M_n(F)$ is the algebra of $n \times n$ matrices over $F$). It is easy to give examples of subalgebras of $M_n(F)$ that do satisfy an identity of lower degree and subalgebras of $M_n(F)$ that satisfy no polynomial identity of degree $\le 2n-2$. Our aim in this paper is to give a full classification of the subalgebras of $n \times n$ matrices that satisfy no nonzero polynomial of degree less than $2n$.


title: Dual Banach algebras: Connes-amenability, normal, virtual diagonals, and injectivity of the predual bimodule

abstract: Let $A$ be a dual Banach algebra with predual $A_\ast$ and consider the following assertions: (A) $A$ is Connes-amenable; (B) $A$ has a normal, virtual diagonal; (C) $A_\ast$ is an injective $A$-bimodule. For general $A$, all that is known is that (B) implies (A) whereas, for von Neumann algebras, (A), (B), and (C) are equivalent. We show that (C) always implies (B) whereas the converse is false for $A = M(G)$ where $G$ is an infinite, locally compact group. Furthermore, we present partial solutions towards a characterization of (A) and (B) for $B(G)$ in terms of $G$: For amenable, discrete $G$ as well as for certain compact $G$, they are equivalent to $G$ having an abelian subgroup of finite index. The question of whether or not (A) and (B) are always equivalent remains open. However, we introduce a modified definition of a normal, virtual diagonal and, using this modified definition, characterize the Connes-amenable, dual Banach algebras through the existence of an appropriate notion of virtual diagonal.


title: The Kodaira dimension of spaces of rational curves on low degree hypersurfaces

abstract: For a hypersurface in complex projective space $X\subset \PP^n$, we investigate the singularities and Kodaira dimension of the Kontsevich moduli spaces $\Kbm{0,0}{X,e}$ parametrizing rational curves of degree $e$ on $X$. If $d+e \leq n$ and $X$ is a general hypersurface of degree $d$, we prove that $\Kbm{0,0}{X,e}$ has only canonical singularities and we conjecture the same is true for the coarse moduli space $\kbm{0,0}{X,e}$.This investigation is motivated by the question of which Fano hypersurfaces are unirational.


title: Coordination and geometric optimization via distributed dynamical systems

abstract: This paper discusses dynamical systems for disk-covering and sphere-packing problems. We present facility location functions from geometric optimization and characterize their differentiable properties. We design and analyze a collection of distributed control laws that are related to nonsmooth gradient systems. The resulting dynamical systems promise to be of use in coordination problems for networked robots; in this setting the distributed control laws correspond to local interactions between the robots. The technical approach relies on concepts from computational geometry, nonsmooth analysis, and the dynamical system approach to algorithms.


title: Cluster algebras III: Upper bounds and double Bruhat cells

abstract: We continue the study of cluster algebras initiated in math.RT/0104151 and math.RA/0208229. We develop a new approach based on the notion of an upper cluster algebra, defined as an intersection of certain Laurent polynomial rings. Strengthening the Laurent phenomenon from math.RT/0104151, we show that, under an assumption of "acyclicity", a cluster algebra coincides with its "upper" counterpart, and is finitely generated. In this case, we also describe its defining ideal, and construct a standard monomial basis. We prove that the coordinate ring of any double Bruhat cell in a semisimple complex Lie group is naturally isomorphic to the upper cluster algebra explicitly defined in terms of relevant combinatorial data.