title: Finsler Manifolds with Nonpositive Flag Curvature and Constant S-curvature

abstract: The flag curvature is a natural extension of the sectional curvature in Riemannian geometry, and the S-curvature is a non-Riemannian quantity which vanishes for Riemannian metrics. There are (incomplete) non-Riemannian Finsler metrics on an open subset in R^n with negative flag curvature and constant S-curvature. In this paper, we are going to show a global rigidity theorem that every Finsler metric with negative flag curvature and constant S-curvature must be Riemannian if the manifold is compact. We also study the nonpositive flag curvature case.


abstract: In this paper, we study Zermelo navigation on Riemannian manifolds and use that to solve a long standing problem in Finsler geometry. Namely, the complete classification of strongly convex Randers metrics of constant flag curvature.


title: A Sharp Condition for the Loewner Equation to Generate Slits

abstract: D. Marshall and S. Rohde have recently shown that there exists $C_0 >0$ so that the Loewner equation generates slits whenever the driving term is H\"older continuous with exponent 1/2 and norm less than $C_0$. In this paper, we show that the maximal value for $C_0$ is 4.


title: A logarithmic generalization of tensor product theory for modules for a vertex operator algebra

abstract: We describe a logarithmic tensor product theory for certain module categories for a ``conformal vertex algebra.'' In this theory, which is a natural, although intricate, generalization of earlier work of Huang and Lepowsky, we do not require the module categories to be semisimple, and we accommodate modules with generalized weight spaces. The corresponding intertwining operators contain logarithms of the variables.


title: A decomposition of functions with zero means on circles

abstract: It is well known that every Hoelder-continuous function on the unit circle is the sum of two functions such that one of these two functions extends holomorphically into the unit disc and the other extends holomorphically into the complement of the unit disc. In the paper we prove that an analogue of this holds for Hoelder-continuous functions on an annulus A which have zero averages on all circles contained in A which surround the hole.


title: Curve counting and instanton counting

abstract: We prove some combinatorial results required for the proof of the following conjecture of Nekrasov: The generating function of closed string invariants in local Calabi-Yau geometries obtained by appropriate fibrations of $A_N$ singularities over $P^1$ reproduce the generating function of equivariant $\hat{A}$-genera of moduli space of instants on $C^2$.


title: Analyticity on families of circles

abstract: It is known that if f is a continuous function on the complex plane which extends holomorphically from each circle surrounding the origin then f is not necessarily holomorphic. In the paper we prove that if, in addition, f extends holomorphically from each circle belonging to an open family of circles which do not surround the origin then f is holomorphic.


title: Coherent systems of genus 0

abstract: In this paper we begin the classification of coherent systems $(E,V)$ on the projective line which are stable with respect to some value of a parameter $\alpha$. In particular we show that the moduli spaces, if non-empty, are always smooth and irreducible of the expected dimension. We obtain necessary conditions for non-emptiness and, when $\dim V=1$ or 2, we determine these conditions precisely. We also obtain partial results in some other cases.


title: On real forms of complex Lie superalgebras and complex algebraic supergroups

abstract: The paper concerns two versions of the notion of real forms of Lie superalgebras. One is the standard approach, where a real form of a complex Lie superalgebra is a real Lie superalgebra such that its complexification is the original complex Lie superalgebra. The second is related to considering $A$-points of a Lie superalgebra over a commutative complex superalgebra $A$ equipped with superconjugation. It is not difficult to see that the first real form can be obtained as the set of fixed points of an antilinear involutive automorphism and the second is related to an automorphism $\phi$ such that $\phi^{2}$ is identity on even part and negative identity on the odd part. The generalized notion of the real form is subsequently introduced also for complex algebraic supergroups.


title: Some deformations of U[sl(2)] and their representations

abstract: Some one- and two-parametric deformations of U[sl(2)] and their representations are considered. Interestingly, a newly introduced two-parametric deformation admits a class of infinite - dimensional representations which have no classical (non-deformed) and one-parametric deformation analogues, even at generic deformation parameters.


title: A solution to the tennis ball problem

abstract: We present a complete solution to the so-called tennis ball problem, which is equivalent to counting lattice paths in the plane that use North and East steps and lie between certain boundaries. The solution takes the form of explicit expressions for the corresponding generating functions. Our method is based on the properties of Tutte polynomials of matroids associated to lattice paths. We also show how the same method provides a solution to a wide generalization of the problem.


title: Representations of Reductive Groups over Quotients of Local Rings

abstract: In some recent work, Lusztig outlined a generalisation of the construction of Deligne and Lusztig to reductive groups over finite rings coming from the ring of integers in a local field, modulo some power of the maximal ideal. Lusztig conjectures that all irreducible representations of these groups are contained in the cohomology of a certain family of varieties. We show that, contrary to what was expected, there exist representations that cannot be realised by the varieties given by Lusztig. Moreover, we show how the remaining representations in the case under consideration can be realised in the cohomology of a different kind of variety. This may suggest a way to reformulate Lusztig's conjecture.


title: Internal bialgebroids, entwining structures and corings

abstract: The internal bialgebroid -- in a symmetric monoidal category with coequalizers -- is defined. The axioms are formulated in terms of internal entwining structures and alternatively, in terms of internal corings. The Galois property of the coring in question is related to the $\times_R$-Hopf algebra property. The language of entwining structures is used to discuss duality.


title: Cluster ensembles, quantization and the dilogarithm

abstract: Cluster ensemble is a pair of positive spaces (X, A) related by a map p: A -> X. It generalizes cluster algebras of Fomin and Zelevinsky, which are related to the A-space. We develope general properties of cluster ensembles, including its group of symmetries - the cluster modular group, and a relation with the motivic dilogarithm. We define a q-deformation of the X-space. Formulate general duality conjectures regarding canonical bases in the cluster ensemble context. We support them by constructing the canonical pairing in the finite type case. Interesting examples of cluster ensembles are provided the higher Teichmuller theory, that is by the pair of moduli spaces corresponding to a split reductive group G and a surface S defined in math.AG/0311149. We suggest that cluster ensembles provide a natural framework for higher quantum Teichmuller theory.


title: Paley-Wiener theorems for the $\Theta$-spherical transform: an overview

abstract: The aim of this article is to give an overview of several types of Paley-Wiener theorems occuring in harmonic analysis related to symmetric spaces. This will serve as a motivation for the introduction of the $\Theta$-spherical functions, the correspondint $\Theta$-spherical Fourier transform, and the Paley-Wiener theorem for this transform. Up to now such a theorem has only been proven in very special cases, and still, its formulation and proof are very technical. In this paper we do not go into details of the proofs, but present an overview which explains the different examples which have inspired and motivated the theory of $\Theta$-spherical functions.


title: The completely bounded approximation property for extended Cuntz-Pimsner algebras

abstract: The extended Cuntz-Pimsner algebra E(H), introduced by Pimsner, is constructed from a Hilbert B,B-bimodule H over a C*-algebra B. In this paper we investigate the Haagerup invariant \Lambda(.) for these algebras, the main result being that \Lambda(E(H))=\Lambda(B) when H is full over B. In particular, E(H) has the completely bounded approximation property if and only if the same is true for B.


title: Sp(n)U(1)-connections with parallel totally skew-symmetric torsion

abstract: We consider the unique Hermitian connection with totally skew-symmetric torsion on a Hermitian manifold. We prove that if the torsion is parallel and the holonomy is Sp(n)U(1), considered as a subgroup of U(2n) x U(1), then the manifold is locally isomorphic to the twistor space of a quaternionic Kaehler manifold with positive scalar curvature. If the manifold is complete, then it is globally isomorphic to such a twistor space.


title: Bounds on Accumulation Rates of Eigenvalues on Manifolds with Degenerating Metrics

abstract: We consider a family of manifolds with a class of degenerating warped product metrics $g_\epsilon=\rho(\epsilon,t)^{2a}dt^2 +\rho(\epsilon,t)^{2b}ds_M^2$, with $M$ compact, $\rho$ homogeneous degree one, $a \le -1$ and $b > 0$. We study the Laplace operator acting on $L^{2}$ differential $p$-forms and give sharp accumulation rates for eigenvalues near the bottom of the essential spectrum of the limit manifold with metric $g_{0}$.


title: Automorphisms of Torelli groups

abstract: In this paper, we prove that each automorphism of the Torelli group of a surface is induced by a diffeomorphism of the surface, provided that the surface is a closed, connected, orientable surface of genus at least 3. This result was previously announced by Benson Farb for genus at least 4 and has recently been announced by Benson Farb and Nikolai Ivanov for subgroups of finite index in the Torelli group for surfaces of genus at least 5. This result is also directly analogous to previous results established for classical braid groups, mapping class groups, and surface braid groups.


title: Crystal structures arising from representations of $GL(m|n)$

abstract: This paper provides results on the modular representation theory of the supergroup $GL(m|n).$ Working over a field of arbitrary characteristic, we prove that the explicit combinatorics of certain crystal graphs describe the representation theory of a modular analogue of the Bernstein-Gelfand-Gelfand category $\mathcal{O}$. In particular, we obtain a linkage principle and describe the effect of certain translation functors on irreducible supermodules. Furthermore, our approach accounts for the fact that $GL(m|n)$ has non-conjugate Borel subgroups and we show how Serganova's odd reflections give rise to canonical crystal isomorphisms.


title: Degree 1 Curves in the Dwork Pencil and the Mirror Quintic

abstract: We give a description of the relative Hilbert scheme of lines in the Dwork pencil of quintic threefolds. We describe the corresponding relative Hilbert scheme associated to the mirror family of quintic threefolds.


title: On the Stability of Riemannian Manifold with Parallel Spinors

abstract: Inspired by the recent work of Physicists Hertog-Horowitz-Maeda, we prove two stability results for compact Riemannian manifolds with nonzero parallel spinors. Our first result says that Ricci flat metrics which also admits nonzero parallel spinors are stable (in the direction of changes in conformal structures) as the critical points of the total scalar curvature functional. In fact, we show that the Lichnerowicz Laplacian, which governs the second variation, is the square of a twisted Dirac operator. Our second result, which is a local version of the first one, shows that any metrics of positive scalar curvature cannot lie too close to a metric with nonzero parallel spinor. We also prove a rigidity result for special holonomy metrics. In the case of $SU(m)$ holonomy, the rigidity result implies that scalar flat deformations of Calabi-Yau metric must be Calabi-Yau. Finally we explore the connection with positive mass theorem, which presents another approach to proving these stability and rigidity results.


title: The Brownian web: Characterization and convergence

abstract: The Brownian web (BW) is the random network formally consisting of the paths of coalescing one-dimensional Brownian motions starting from every space-time point in R\timesR. We extend the earlier work of Arratia and of Toth and Werner by providing a new characterization which is then used to obtain convergence results for the BW distribution, including convergence of the system of all coalescing random walks to the BW under diffusive space-time scaling.


title: The distribution of Mahler's measures of reciprocal polynomials

abstract: We study the distribution of Mahler's measures of reciprocal polynomials with complex coefficients and bounded even degree. We discover that the distribution function associated to Mahler's measure restricted to monic reciprocal polynomials is a reciprocal (or anti-reciprocal) Laurent polynomial on [1,\infty) and identically zero on [0,1). Moreover, the coefficients of this Laurent polynomial are rational numbers times a power of \pi. We are led to this discovery by the computation of the Mellin transform of the distribution function. This Mellin transform is an even (or odd) rational function with poles at small integers and residues that are rational numbers times a power of \pi. We also use this Mellin transform to show that the volume of the set of reciprocal polynomials with complex coefficients, bounded degree and Mahler's measure less than or equal to one is a rational number times a power of \pi.


title: Valeurs aux T-uplets d'entiers negatifs de series zetas multivariables associees a des polynomes de plusieurs variables

abstract: We consider twisted zeta series of several variables associated to polynomials of several variables. Thanks to a totally new method (exchange lemma) we calculate the values at vectors formed of negative integers.After transformation of the formula we obtained, we make p-adic interpolation. ----- Nous considerons des series zetas multivariables associees a des polynomes de plusieurs variables. Grace a une methode totalement nouvelle (dite du lemme d'echange) nous calculons les valeurs aux T-uplets d'entiers negatifs. Apres transformation des formules ainsi obtenues nous faisons l'interpolation p-adique.


title: On the palindromic and primitive widths of a free group

abstract: Let G be a group and S a subset of G that generates G. For each x in G define the length l_S(x) of x relative to S to be the minimal k such that x is a product of k elements of S. The supremum of the values l_S(x), x \in G, is called the width of G with respect to S. Here we focus on a free group F. The width of F relative to the set of all primitive (respectively palindromic) elements is called the primitive (respectively palindromic) width of F. We prove that for a free group F_n of finite rank n, both widths are infinite. A result of independent interest is that every primitive element of F_2 is a product of at most two palindromes.


title: The Cherednik kernel and generalized exponents

abstract: We show how the knowledge of the Fourier coefficients of the Cherednik kernel leads to combinatorial formulas for generalized exponents. We recover known formulas for generalized exponents of irreducible representations parameterized by dominant roots, and obtain new formulas for the generalized exponents for irreducible representations parameterized by the dominant elements of the root lattice which are sums of two orthogonal short roots.


title: A combinatorial derivation of the number of labeled forests

abstract: Lajos Takacs gave a somewhat formidable alternating sum formula for the number of forests of unrooted trees on $n$ labeled vertices. Here we use a weight-reversing involution on suitable tree configurations to give a combinatorial derivation of Takacs' formula.


title: Computer theorem proving in math

abstract: We give an overview of issues surrounding computer-verified theorem proving in the standard pure-mathematical context. This is based on my talk at the PQR conference (Brussels, June 2003).


title: Canonical structure and symmetries of the Schlesinger equations

abstract: The Schlesinger equations $S_{(n,m)}$ describe monodromy preserving deformations of order $m$ Fuchsian systems with $n+1$ poles. They can be considered as a family of commuting time-dependent Hamiltonian systems on the direct product of $n$ copies of $m\times m$ matrix algebras equipped with the standard linear Poisson bracket. In this paper we present a new canonical Hamiltonian formulation of the general Schlesinger equations $S_{(n,m)}$ for all $n$, $m$ and we compute the action of the symmetries of the Schlesinger equations in these coordinates.


title: Lexicographic shellability for balanced complexes

abstract: We introduce a notion of lexicographic shellability for pure, balanced boolean cell complexes, modelled after the $CL$-shellability criterion of Bj\"orner and Wachs for posets and its generalization by Kozlov called $CC$-shellability. We give a lexicographic shelling for the quotient of the order complex of a Boolean algebra of rank $2n$ by the action of the wreath product $S_2\wr S_n$ of symmetric groups, and we provide a partitioning for the quotient complex $\Delta (\Pi_n)/S_n $. Stanley asked for a description of the symmetric group representation $\beta_S $ on the homology of the rank-selected partition lattice $\Pi_n^S $ in [St2], and in particular he asked when the multiplicity $b_S(n)$ of the trivial representation in $\beta_S$ is 0. One consequence of the partitioning for $\dps $ is a (fairly complicated) combinatorial interpretation for $b_S(n) $; another is a simple proof of Hanlon's result that $b_{1,..., i}(n)=0$. Using a result of Garsia and Stanton, we deduce from our shelling for $\Delta (B_{2n})/S_2 \wr S_n$ that the ring of invariants $k[x_1,..., x_{2n}]^{S_2\wr S_n}$ is Cohen-Macaulay over any field $k$.


title: Conformally Osserman manifolds and conformally complex space forms

abstract: We characterize manifolds which are locally conformally equivalent to either complex projective space or to its negative curvature dual in terms of their Weyl curvature tensor. As a byproduct of this investigation, we classify the conformally complex space forms if the dimension is at least 8. We also study when the Jacobi operator associated to the Weyl conformal curvature tensor of a Riemannian manifold has constant eigenvalues on the bundle of unit tangent vectors and classify such manifolds which are not conformally flat in dimensions congruent to 2 mod 4.


title: Multiplicity of the trivial representation in rank-selected homology of the partition lattice

abstract: We study the multiplicity $b_S(n)$ of the trivial representation in the symmetric group representations $\beta_S$ on the (top) homology of the rank-selected partition lattice $\Pi_n^S$. We break the possible rank sets $S$ into three cases: (1) $1\not\in S$, (2) $S=1,..., i$ for $i\ge 1$ and (3) $S=1,..., i,j_1,..., j_l$ for $i,l\ge 1$, $j_1 > i+1$. It was previously shown by Hanlon that $b_S(n)=0$ for $S=1,..., i$. We use a partitioning for $\Delta(\Pi_n)/S_n$ due to Hersh to confirm a conjecture of Sundaram that $b_S(n)>0$ for $1\not\in S$. On the other hand, we use the spectral sequence of a filtered complex to show $b_S(n)=0$ for $S=1,..., i,j_1,..., j_l$ unless a certain type of chain of support $S$ exists. The partitioning for $\Delta(\Pi_n)/S_n$ allows us then to show that a large class of rank sets $S=1,..., i,j_1,..., j_l$ for which such a chain exists do satisfy $b_S(n)>0$. We also generalize the partitioning for $\Delta(\Pi_n)/S_n$ to $\Delta(\Pi_n)/S_{\lambda}$; when $\lambda = (n-1,1)$, this partitioning leads to a proof of a conjecture of Sundaram about $S_1\times S_{n-1}$-representations on the homology of the partition lattice.


title: Discrete Morse functions from lexicographic orders

abstract: This paper shows how to construct a discrete Morse function with a relatively small number of critical cells for the order complex of any finite poset with $\hat{0} $ and $\hat{1}$ from any lexicographic order on its maximal chains. Specifically, if we attach facets according to the lexicographic order on maximal chains, then each facet contributes at most one new face which is critical, and at most one Betti number changes; facets which do not change the homotopy type also do not contribute any critical faces. Dimensions of critical faces as well as a description of which facet attachments change the homotopy type are provided in terms of interval systems associated to the facets. As one application, the M\"obius function may be computed as the alternating sum of Morse numbers. The above construction enables us to prove that the poset $\Pi_n/S_{\lambda }$ of partitions of a set $\{1^{\lambda_1},..., k^{\lambda_k}\} $ with repetition is homotopy equivalent to a wedge of spheres of top dimension when $\lambda $ is a hook-shaped partition; it is likely that the proof may be extended to a larger class of $\lambda $ and perhaps to all $\lambda $, despite a result of Ziegler which shows that $\Pi_n/S_{\lambda}$ is not always Cohen-Macaulay. Additional applications appear in [He2] and [HW].


title: A partitioning and related properties for the quotient complex $\Delta (B_{lm})/S_l \wr S_m$

abstract: We study the quotient complex $\Delta (B_{lm})/S_l\wr S_m$ as a means of deducing facts about the ring $k[x_1,..., x_{lm}]^{S_l\wr S_m}$. It is shown in [He] that this quotient complex is shellable when $l=2$, implying Cohen-Macaulayness of $k[x_1,..., x_{2m}]^{S_2\wr S_m}$ for any field $k$. We now confirm for all pairs $(l,m)$ with $l>2$ and $m>1$ that this quotient complex is not Cohen-Macaulay over $\integ /2\integ $, but it is Cohen-Macaulay over fields of characteristic $p>m$ (independent of $l$). This yields corresponding characteristic-dependent results for the ring of invariants $k[x_1,..., x_{lm}]^{S_l\wr S_m}$. We also prove that this quotient complex and the links of many of its faces are collapsible, and we give a partitioning for this quotient complex.


title: Further Results on Lyapunov Functions and Domains of Attraction for Perturbed Asymptotically Stable Systems

abstract: We present new theorems characterizing robust Lyapunov functions and infinite horizon value functions in optimal control as unique viscosity solutions of partial differential equations. We use these results to further extend Zubov's method for representing domains of attraction in terms of partial differential equation solutions.


title: A Hodge decomposition for the complex of injective words

abstract: Reiner and Webb compute the $S_n$-module structure for the complex of injective words in [RW]. This paper refines their formula by providing a Hodge type decomposition. Along the way, this paper proves that the simplicial boundary map interacts in a nice fashion with the Eulerian idempotents. The Laplacian acting on the top chain group in the complex of injective words is also shown to equal the signed random to random shuffle operator. Uyemura-Reyes conjectures in [Uy] that the (unsigned) random to random shuffle operator has integral spectrum. We prove that this conjecture would imply that the Laplacian on (each chain group in) the complex of injective words has integral spectrum.


title: Bounded-From-Below Solutions of the Hamilton-Jacobi Equation for Optimal Control Problems with Exit Times: Vanishing Lagrangians, Eikonal Equations, and Shape-From-Shading

abstract: We study the Hamilton-Jacobi equation for undiscounted exit time control problems with general nonnegative Lagrangians using the dynamic programming approach. We prove theorems characterizing the value function as the unique bounded-from-below viscosity solution of the Hamilton-Jacobi equation which is null on the target. The result applies to problems with the property that all trajectories satisfying a certain integral condition must stay in a bounded set. We allow problems for which the Lagrangian is not uniformly bounded below by positive constants, in which the hypotheses of the known uniqueness results for Hamilton-Jacobi equations are not satisfied. We apply our theorems to eikonal equations from geometric optics, shape-from-shading equations from image processing, and variants of the Fuller Problem.


title: On optimizing discrete Morse functions

abstract: Forman introduced discrete Morse theory as a tool for studying CW complexes by essentially collapsing them onto smaller, simpler-to-understand complexes of critical cells in [Fo]. Chari reformulated discrete Morse theory for regular cell complexes in terms of acyclic matchings on face posets in [Ch]. This paper addresses two questions: (1) under what conditions may several gradient paths in a discrete Morse function simultaneously be reversed to cancel several pairs of critical cells, to further collapse the complex, and (2) how to use lexicographically first reduced expressions for permutations (in the sense of [Ed]) to make (1) practical for poset order complexes. Applications include Cohen-Macaulayness of a new partial order, recently introduced by Remmel, on the symmetric group (by refinement on the underlying partitions into cycles) as well as a simple new proof of the homotopy type for intervals in the weak order for the symmetric group. Additional applications appear in [HW].


title: Connectivity of h-complexes

abstract: This paper verifies a conjecture of Edelman and Reiner regarding the homology of the $h$-complex of a Boolean algebra. A discrete Morse function with no low-dimensional critical cells is constructed, implying a lower bound on connectivity. This together with an Alexander duality result of Edelman and Reiner implies homology-vanishing also in high dimensions. Finally, possible generalizations to certain classes of supersolvable lattices are suggested.


title: Hyperbolic Coxeter n-polytopes with n+3 facets

abstract: A polytope is called a Coxeter polytope if its dihedral angles are integer parts of $\pi$. In this paper we prove that if a non-compact Coxeter polytope of finite volume in $H^n$ has exactly $n+3$ facets then $n\le 16$. We also find an example in $H^{16}$ and show that it is unique.


title: The Existence of Quasimeromorphic Mappings in Dimension 3

abstract: We prove that a Kleinian group $G$ acting upon $\mathbb{H}^{3}$ admits a non-constant $G$-automorphic function, even if it has torsion elements, provided that the orders of the elliptic (i.e torsion) elements are uniformly bounded. This is accomplished by developing a technique for meshing distinct fat triangulations while preserving fatness. We further show how to adapt the proof to higher dimensions.


title: Pointwise convergence along cubes for measure preserving systems

abstract: Let $(X, \mathcal{B}, \mu)$ be a probability measure space and $T_1$, $T_2$, $T_3$ three not necessarily commuting measure preserving transformations on $(X, \mathcal{B}, \mu)$. We prove that for all bounded functions $f_1$, $f_2$, $f_3$ the averages $$\frac{1}{N^2}\sum_{n, m =1}^N f_1(T_1^nx)f_2(T_2^mx)f_3(T_3^{n+m}x)$$ converges a.e. Generalizations to averages of $2^k -1$ functions are also given for not necessarily commuting weakly mixing systems.


title: Representation of multivariate functions via the potential theory

abstract: In this paper, by the use of Potential Theory, some representation results for multivariate functions from the Sobolev spaces in terms of the double layer potential and the fundamental solution of Laplace's equation are pointed out. Applications for multivariate inequalities of Ostrowski type are also provided.


title: Batalin-Vilkovisky algebras and cyclic cohomology of Hopf algebras

abstract: We show that the Connes-Moscovici cyclic cohomology of a Hopf algebra equipped with a character has a Lie bracket of degree -2. More generally, we show that a "cyclic operad with multiplication" is a cocyclic module whose cohomology is a Batalin-Vilkovisky algebra and whose cyclic cohomology is a graded Lie algebra of degree -2. This explain why the Hochschild cohomology algebra of a symmetric algebra is a Batalin-Vilkovisky algebra.


title: The support theorem for the complex Radon transform of distributions

abstract: The complex Radon transform $\hat F$ of a rapidly decreasing distribution $F\in\mathscr{O}_C^{\prime}(\mathbb{C}^n)$ is considered. A compact set $K\subset\mathbb{C}^n$ is called linearly convex if the set $ \mathbb{C}^n \setminus K$ is a union of complex hyperplanes. Let $\hat K$ denote the set of complex hyperplanes which meet $K$. The main result of the paper establishes the conditions on a linearly convex compact $K$ under which the support theorem for the complex Radon transform is true: from the relation $\hbox{supp}(\hat F)\subset\hat K$ it follows that $F\in\mathscr{O}^{\prime}_C(\mathbb{C}^n)$ is compactly supported and $\hbox{supp}(F)\subset K$.


title: Schubert varieties and the fusion products. The general case

abstract: This paper generalizes the results of the paper \cite{mi3} to the case of the general $\mathfrak{sl}_2$ Schubert varieties. We study the homomorphisms between different Schubert varieties, describe their geometry and the group of the line bundles. We also derive some consequences, concerning the infinite-dimensional generalized affine grassmanians.


title: Exponential decay of correlations for surface semi-flows without finite Markov partitions

abstract: We extend Dolgopyat's bounds on iterated transfer operators to suspensions of interval maps with infinitely many intervals of monotonicity.


title: Bessel processes, the integral of geometric Brownian motion, and Asian options

abstract: This paper is motivated by questions about averages of stochastic processes which originate in mathematical finance, originally in connection with valuing the so-called Asian options. Starting with research of Yor's in 1992, these questions about exponential functionals of Brownian motion have been studied in terms of Bessel processes using Yor's 1980 Hartman-Watson theory. Consequences of this approach for valuing Asian options proper have been spelled out by Geman and Yor in 1993 whose Laplace transform results were in fact regarded as a noted advance. Unfortunately, a number of difficulties with the key results of this last contribution have surfaced which are now addressed in this paper. One of them in particular is of a principal nature and originates with the Hartman-Watson approach itself: this approach is in general applicable without modifications only if it does not involve Bessel processes of negative indices. The main mathematical contribution of this paper is the developement of three principal ways to overcome these restrictions, in particular by merging stochastics and complex analysis in what seems a novel way, and the discussion of their consequences for the valuation of Asian options proper.


title: Rejective subcategories of artin algebras and orders

abstract: We will study the resolution dimension of functorially finite subcategories. The subcategories with the resolution dimension zero correspond to ring epimorphisms, and rejective subcategories correspond to surjective ring morphisms. We will study a chain of rejective subcategories to construct modules with endomorphisms rings of finite global dimension. We apply these result to study a function $r_\Lambda:\mod\Lambda\to\nnn_{\ge0}$ which is a natural extension of Auslander's representation dimension.


title: Geometric deformations of immersed surfaces in non-positively curved manifolds

abstract: This paper has been withdrawn by the author due to serious error found in main argument.


title: Noncompact quantum algebra $u_q(2,1)$

abstract: The structure positive of unitary irreducible representations of the noncompact $u_q(2,1)$ quantum algebra that are related to a positive discrete series is examined. With the aid of projection operators for the $su_q(2)$ subalgebra, a $q$-analog of the Gel'fand--Graev formulas is derived in the basis corresponding to the reduction $u_q(2,1)\to su_q(2)\times u(1)$. Projection operators for the $su_q(1,1)$ subalgebra are employed to study the same representations for the reduction $u_q(2,1)\to u(1)\times su_q(1,1)$. The matrix elements of the generators of the $u_q(2,1)$ algebra are computed in this new basis. A general analytic expression for an element of the transformation bracket $<U|T>_q$ between the bases associated with above two reductions (the elements of this matrix are referred to as $q$-Weyl coefficients) is obtained for a general case where the deformation parameter $q$ is not equal to a root of unity. It is shown explicitly that, apart from a phase, $q$-Weyl coefficients coincide with the $q$-Racah coefficients for the $su_q(2)$ quantum algebra.


title: Toric Fano 3-folds with terminal singularities

abstract: This paper classifies all toric Fano 3-folds with terminal singularities. This is achieved by solving the equivalent combinatoric problem; that of finding, up to the action of GL(3,Z), all convex polytopes in Z^3 which contain the origin as the only non-vertex lattice point.


title: Monogenic Calculus as an Intertwining Operator

abstract: We revise a monogenic calculus for several non-commuting operators, which is defined through group representations. Instead of an algebraic homomorphism we use group covariance. The related notion of joint spectrum and spectral mapping theorem are discussed. The construction is illustrated by a simple example of calculus and joint spectrum of two non-commuting selfadjoint (n\times n) matrices. Keywords: Functional calculus, spectrum, intertwining operator, spectral mapping theorem, jet spaces, monogenic function, Clifford algebra


title: Formal Frobenius structures generated by geometric deformation algebras

abstract: Necessary and sufficient conditions for some deformation algebras to provide formal Frobenius structures are given. Also, examples of formal Frobenius structures with fundamental tensor that is not of the deformation type and examples of symmetric non-metric connections are presented.


title: On Atkin-Swinnerton-Dyer congruence relations

abstract: In this paper we exhibit a noncongruence subgroup $\G$ whose space of weight 3 cusp forms $S_3(\G)$ admits a basis satisfying the Atkin-Swinnerton-Dyer congruence relations with two weight 3 newforms for certain congruence subgroups. This gives a modularity interpretation of the motive attached to $S_3(\G)$ by A. Scholl and also verifies the Atkin-Swinnerton-Dyer congruence conjecture for this space.


title: Special Lagrangian submanifolds in the complex sphere

abstract: We construct a family of Lagrangian submanifolds in the complex sphere with a SO(n)-invariance property. Among them we find those which are special Lagrangian with respect with the Calabi-Yau structure defined by the Stenzel metric.


title: Complete Weight Enumerators of Generalized Doubly-Even Self-Dual Codes

abstract: For any q which is a power of 2 we describe a finite subgroup of the group of invertible complex q by q matrices under which the complete weight enumerators of generalized doubly-even self-dual codes over the field with q elements are invariant. An explicit description of the invariant ring and some applications to extremality of such codes are obtained in the case q=4.


title: Stein's Method, Jack Measure, and the Metropolis Algorithm

abstract: The one parameter family of Jack(alpha) measures on partitions is an important discrete analog of Dyson's beta ensembles of random matrix theory. Except for special values of alpha=1/2,1,2 which have group theoretic interpretations, the Jack(alpha) measure has been difficult if not intractable to analyze. This paper proves a central limit theorem (with an error term) for Jack(alpha) measure which works for arbitrary values of alpha. For alpha=1 we recover a known central limit theorem on the distribution of character ratios of random representations of the symmetric group on transpositions. The case alpha=2 gives a new central limit theorem for random spherical functions of a Gelfand pair. The proof uses Stein's method and has interesting ingredients: an intruiging construction of an exchangeable pair, properties of Jack polynomials, and work of Hanlon relating Jack polynomials to the Metropolis algorithm.


title: Hopf algebras of dimension 2p

abstract: Let $H$ be a finite-dimensional Hopf algebra over an algebraically closed field of characteristic 0. If $H$ is not semisimple and $\dim(H)=2n$ for some odd integer $n$, then $H$ or $H^*$ is not unimodular. Using this result, we prove that if $\dim(H)=2p$ for some odd prime $p$, then $H$ is semisimple. This completes the classification of Hopf algebras of dimension $2p$.


title: Large-determinant sign matrices of order 4k+1

abstract: The Hadamard maximal determinant problem asks for the largest n-by-n determinant with entries in {+1,-1}. When n is congruent to 1 (mod 4), the maximal excess construction of Farmakis & Kounias has been the most successful general method for constructing large (though seldom maximal) determinants. For certain small n, however, still larger determinants have been known; several new records were recently reported in ArXiv preprint math.CO/0304410 . Here, we define ``3-normalized'' n-by-n Hadamard matrices, and construct large-determinant matrices of order n+1 from them. Our constructions account for most of the previous ``small n'' records, and set new records when n=37, 49, 65, 73, 77, 85, 93, and 97, most of which are beyond the reach of the maximal excess technique. We conjecture that our n=37 determinant, 72 x 9^{17} x 2^{36}, achieves the global maximum.


title: Einstein Metrics on Exotic Spheres in Dimensions 7, 11, and 15

abstract: In a recent article the first three authors proved that in dimension $4m+1$ all homotopy spheres that bound parallelizable manifolds admit Einstein metrics of positive scalar curvature which, in fact, are Sasakian-Einstein. They also conjectured that all such homotopy spheres in dimension $4m-1, m\geq2$ admit Sasakian-Einstein metrics \cite{BGK}, and proved this for the simplest case, namely dimension $7.$ In this paper we describe computer programs that show that this conjecture is also true for 11-spheres and 15-spheres. Moreover, a program is given that determines the partition of the 8610 deformation classes of Sasakian-Einstein metrics into the 28 distinct oriented diffomorphism types in dimension $7.$


title: Higher homotopies and Maurer-Cartan algebras: Quasi-Lie-Rinehart, Gerstenhaber, and Batalin-Vilkovisky algebras

abstract: Higher homotopy generalizations of Lie-Rinehart algebras, Gerstenhaber-, and Batalin-Vilkovisky algebras are explored. These are defined in terms of various antisymmetric bilinear operations satisfying weakened versions of the Jacobi identity, as well as in terms of operations involving more than two variables of the Lie triple systems kind. A basic tool is the Maurer-Cartan algebra-the algebra of alternating forms on a vector space so that Lie brackets correspond to square zero derivations of this algebra-and multialgebra generalizations thereof. The higher homotopies are phrased in terms of these multialgebras. Applications to foliations are discussed: objects which serve as replacements for the Lie algebra of vector fields on the "space of leaves" and for the algebra of multivector fields are developed, and the spectral sequence of a foliation is shown to arise as a special case of a more general spectral sequence including as well the Hodge-de Rham spectral sequence.


title: Real versus complex K-theory using Kasparov's bivariant KK-theory

abstract: In this paper, we use the KK-theory of Kasparov to prove exactness of sequences relating the K-theory of a real C^*-algebra and of its complexification (generalizing results of Boersema). We use this to relate the real version of the Baum-Connes conjecture for a discrete group to its complex counterpart. In particular, the complex Baum-Connes assembly map is an isomorphism if and only if the real one is, thus reproving a result of Baum and Karoubi. After inverting 2, the same is true for the injectivity or surjectivity part alone.


title: Higher Descent on Pell Conics II. Two Centuries of Missed Opportunities

abstract: We discuss the history of attempts to solve the Pell equation using certain auxiliary equations that correspond, in modern terminology, to a second 2-descent.


title: On combinatorial compexity of convex sequences

abstract: We obtain a good upper bound on the number of solutions of a diophantine equation arising from a strictly convex sequences of real numbers.


title: K-twisted K-theory for SU(N)

abstract: We present a version of twisted equivariant $K$-theory-$K$-twisted equivariant $K$-theory, and use Grothendieck differentials to compute the $K$ -twisted equivariant $K$-theory of simple simply connected Lie groups. We did the calculation explicitly for SU(N) explicitly. The basic idea is to interpret an equivariant gerbe as an element of equivariant $K$-theory of degree 1.


title: Un theoreme de Green presque complexe

abstract: We prove the hyperbolicity of the complement of five lines in general position in an almost complex projective plane, answering a question by S. Ivashkovich.


title: Borel-fixed ideals and reduction number

abstract: The aim of this paper is to study the relationship between reduction numbers and Borel-fixed ideals in all characteristics. By definition, Borel-fixed ideals are closed under certain specializations which is similar to the strong stability. We will estimate the number of monomials which can be specialized to a given monomial. As a consequence, we obtain a combinatorial version of the well-known Eakin-Sathaye's theorem which bounds the reduction number in terms of the Hilbert function. Furthermore, we show that the bound of Eakin-Sathaye's theorem is attained by the reduction number of a lex-segment monomial ideal. This result answers a question of Conca in the affirmative. We will also show that the reduction number of the lex-segment ideal is bounded exponentially by the reduction number of the given ideal.


title: On the estimation of $Z_2(s)$

abstract: Estimates for $Z_2(s) = \int_1^|infty |\zeta(1/2+ix)|^4x^{-s}dx (\Re s > 1)$ are discussed, both pointwise and in mean square. It is shown how these estimates can be used to bound $E_2(T)$, the error term in the asymptotic formula for $\int_0^T |\zeta(1/2+it)|^4dt$.


title: On some conjectures and results for the Riemann zeta-function and Hecke series

abstract: Some results and conjectures on $Z_2(s) = \int_1^\infty |\zeta(1/2+ix)|^4x^{-s}dx (\Re s > 1)$ are presented. Consequences of these conjectures regarding the eighth moment of $|\zeta(1/2+it)$ and the error term in the fourth moment of $|\zeta(1/2+it)$ are discussed.


title: Hochschild cohomology of the Weyl algebra and traces in deformation quantization

abstract: We give a formula for a cocycle generating the Hochschild cohomology of the Weyl algebra with coefficients in its dual.It is given by an integral over the configuration space of ordered points on a circle. Using this formula and a non-commutative version of formal geometry, we obtain an explicit expression for the canonical trace in deformation quantization of symplectic manifolds.


title: Some isoperimetric comparison theorems for convex bodies in Riemannian manifolds

abstract: We prove that the isoperimetric profile of a convex domain $\Omega$ with compact closure in a Riemannian manifold $(M^{n+1},g)$ satisfies a second order differential inequality which only depends on the dimension of the manifold and on a lower bound on the Ricci curvature of $\Omega$. Regularity properties of the profile and topological consequences on isoperimetric regions arise naturally from this differential point of view. Moreover, by integrating the differential inequality we obtain sharp comparison theorems: not only can we derive an inequality which should be compared with L\'evy-Gromov Inequality but we also show that if $\text{Ric}\geq n\delta$ on $\Omega$, then the profile of $\Omega$ is bounded from above by the profile of the half-space $\mathbb{H}_{\delta}^{n+1}$ in the simply connected space form with constant sectional curvature $\delta$. As consequence of isoperimetric comparisons we obtain geometric estimations for the volume and the diameter of $\Omega$, and for the first non-zero Neumann eigenvalue for the Laplace operator on $\Omega$.


title: Resolutions of p-stratifolds with isolated singularities

abstract: Recently M. Kreck introduced a class of stratified spaces called p-stratifolds [M. Kreck, Stratifolds, Preprint]. He defined and investigated resolutions of p-stratifolds analogously to resolutions of algebraic varieties. In this note we study a very special case of resolutions, so called optimal resolutions, for p-stratifolds with isolated singularities. We give necessary and sufficient conditions for existence and analyze their classification.


title: Conics - a Poor Man's Elliptic Curves

abstract: The aim of this article is to show that the arithmetic of Pell conics admits a description which is completely analogous to that of elliptic curves: there is a theory of 2-descent with associated Selmer and Tate-Shafarevich groups, and there should be an analog of the conjecture of Birch and Swinnerton-Dyer.


title: Analytic continuation of eigenvalues of the Lam\'e operator

abstract: Eigenvalues of the Lam\'e operator are studied as complex-analytic functions in period $\tau$ of an elliptic function. We investigate the branching of eigenvalues numerically and clarify the relationship between the branching of eigenvalues and the convergent radius of a perturbation series.


title: Teichmueller curves, Galois actions and GT-relations

abstract: Teichmueller curves are geodesic discs in Teichmueller space that project to algebraic curves $C$ in the moduli space $M_g$. Some Teichm\"uller curves can be considered as components of Hurwitz spaces. We show that the absolute Galois group $G_\QQ$ acts faithfully on the set of these embedded curves. We also compare the action of $G_\QQ$ on $\pi_1(C)$ with the one on $\pi_1(M_g)$ and obtain a relation in the Grothendieck-Teichmueller group, seemingly independent of the known ones.


title: Higher Descent on Pell Conics I. From Legendre to Selmer

abstract: This article deals with the history of certain aspects of the Pell equation X$^2$ - D y$^2$ = 4. We briefly discuss explicit units, and then study the history of Legendre's equations ax$^2$ - b y$^2$ = 4 with ab=D.


title: Higher Descent on Pell Conics III. The First 2-Descent

abstract: In this articel we describe the first 2-descent on Pell conics, and compute the associated 2-part of the Tate-Shafarevich group.


title: Support varieties for selfinjective algebras

abstract: Support varieties for any finite dimensional algebra over a field were introduced by Snashall-Solberg using graded subalgebras of the Hochschild cohomology. We mainly study these varieties for selfinjective algebras under appropriate finite generation hypotheses. Then many of the standard results from the theory of support varieties for finite groups generalize to this situation. In particular, the complexity of the module equals the dimension of its corresponding variety, all closed homogeneous varieties occur as the variety of some module, the variety of an indecomposable module is connected, periodic modules are lines and for symmetric algebras a generalization of Webb's theorem is true.


title: Coincident root loci of binary forms

abstract: Coincident root loci are subvarieties of $S^d(C^2)$--the space of binary forms of degree $d$--labelled by partitions of $d$. Given a partition $\lambda$, let $X_\lambda$ be the set of forms with root multiplicity corresponding to $\lambda$. There is a natural action of $GL_2(C)$ on $S^d(C^2)$ and the coincident root loci are invariant under this action. We calculate their equivariant Poincar\'e duals generalizing formulas of Hilbert and Kirwan. In the second part we apply these results to present the cohomology ring of the corresponding moduli spaces (stable points$/G$, semistable points$/G$, link of the singularity) using geometrically defined relations.


title: The rational topology of gauge groups and of spaces of connections

abstract: Let P be a principal bundle with semisimple compact simply connected structure group G over a compact simply connected four-manifold M. In this note we give explicit formulas for the rational homotopy groups and cohomology algebra of the gauge group and of the space of (irreducible) connections modulo gauge transformations for any such bundle.


title: Higher-Level Appell Functions, Modular Transformations, and Characters

abstract: We study modular transformation properties of a class of indefinite theta series involved in characters of infinite-dimensional Lie superalgebras. The \textit{level-$\ell$ Appell functions} $K_\ell$ satisfy open quasiperiodicity relations with additive theta-function terms emerging in translating by the ``period.'' Generalizing the well-known interpretation of theta functions as sections of line bundles, the $K_\ell$ function enters the construction of a section of a rank-$(\ell+1)$ bundle $V(\ell,\tau)$. We evaluate modular transformations of the $K_\ell$ functions and construct the action of an SL(2,Z) subgroup that leaves the section of $V(\ell,\tau)$ constructed from $K_\ell$ invariant. Modular transformation properties of $K_\ell$ are applied to the affine Lie superalgebra ^sl(2|1) at rational level k>-1 and to the N=2 super-Virasoro algebra, to derive modular transformations of ``admissible'' characters, which are not periodic under the spectral flow and cannot therefore be rationally expressed through theta functions. This gives an example where constructing a modular group action involves extensions among representations in a nonrational conformal model.


title: Arithmetic properties of eigenvalues of generalized Harper operators on graphs

abstract: Let $\Qbar$ denote the field of complex algebraic numbers. A discrete group $G$ is said to have the $\sigma$-multiplier algebraic eigenvalue property, if for every matrix $A$ with entries in the twisted group ring over the complex algebraic numbers $M_d(\Qbar(G,\sigma))$, regarded as an operator on $l^2(G)^d$, the eigenvalues of $A$ are algebraic numbers, where $\sigma$ is an algebraic multiplier. Such operators include the Harper operator and the discrete magnetic Laplacian that occur in solid state physics. We prove that any finitely generated amenable, free or surface group has this property for any algebraic multiplier $\sigma$. In the special case when $\sigma$ is rational ($\sigma^n$=1 for some positive integer $n$) this property holds for a larger class of groups, containing free groups and amenable groups, and closed under taking directed unions and extensions with amenable quotients. Included in the paper are proofs of other spectral properties of such operators.


title: Quantum groupoids and dynamical categories

abstract: In this paper we realize the dynamical categories introduced in our previous paper as categories of modules over bialgebroids; we study the bialgebroids arising in this way. We define quasitriangular structure on bialgebroids and present examples of quasitriangular bialgebroids related to the dynamical categories. We show that dynamical twists over an arbitrary base give rise to bialgebroid twists. We prove that the classical dynamical r-matrices over an arbitrary base manifold are in one-to-one correspondence with a special class of coboundary Lie bialgebroids.


title: Chains of Unusual Excellent Local Rings

abstract: Let (T,M) be a complete local domain containing the integers. Let p1 \subseteq p2 \subseteq ... \subseteq pn be a chain of nonmaximal prime ideals T such that T_pn is a regular local ring. We construct a chain of excellent local domains An \subseteq A1 such that for each i, the completion of Ai is T, the generic formal fiber of Ai is local with maximal ideal pi, and if I is a nonzero ideal of Ai then Ai/I is complete. Consequently, if in addition T is a UFD, then we can construct a chain of excellent local UFDs satisfying the same conditions.


title: Equivariant Todd Classes for Toric Varieties

abstract: For a complete toric variety, we obtain an explicit formula for the localized equivariant Todd class in terms of the combinatorial data -- the fan. This is based on the equivariant Riemann-Roch theorem and the computation of the equivariant cohomology and equivariant homology of toric varieties.


title: Modular and p-adic cyclic codes

abstract: This paper presents some basic theorems giving the structure of cyclic codes of length n over the ring of integers modulo p^a and over the p-adic numbers, where p is a prime not dividing n. An especially interesting example is the 2-adic cyclic code of length 7 with generator polynomial X^3 + lambda X^2 + (lambda - 1) X - 1, where lambda satisfies lambda^2 - lambda + 2 =0. This is the 2-adic generalization of both the binary Hamming code and the quaternary octacode (the latter being equivalent to the Nordstrom-Robinson code). Other examples include the 2-adic Golay code of length 24 and the 3-adic Golay code of length 12.


title: A characterization of the quantum cohomology ring of G/B and applications

abstract: We show that the small quantum product of the generalized flag manifold $G/B$ is a product operation on $H^*(G/B)\otimes \bR[q_1,..., q_l]$ uniquely determined by the fact that it is a deformation of the cup product on $H^*(G/B)$, it is commutative, associative, graded with respect to $\deg(q_i)=4$, it satisfies a certain relation (of degree two), and the corresponding Dubrovin connection is flat. We deduce that it is again the flatness of the Dubrovin connection which characterizes essentially the solutions of the "quantum Giambelli problem" for $G/B$. This result gives new proofs of the quantum Chevalley formula (proved by Peterson and Fulton-Woodward), and of Fomin, Gelfand and Postnikov's description of the quantization map for $Fl_n$.


title: Nonexistence of Bounded Energy Solutions for a Fourth Order Equation on Thin Annuli

abstract: In this paper, we studu a biharmonic equation under the Navier boundary condition on thin annuli. We show that when the annulus becomes thin, the equation has no solution whose energy is bounded.


title: Green currents for holmorphic automorphisms of compact Kahler manifolds

abstract: Let f be a holomorphic automorphism of a compact Kahler manifold (X,\omega) of dimension k>1. We study the convex cones of positive closed (p,p)-currents T_p, which satisfy a functional relation $f^*(T_p)=\lambda T_p, \lambda>1,$ and some regularity condition (PB). Under appropriate assumptions on dynamical degrees we introduce closed finite dimensional cones, not reduced to zero, of such currents. In particular, when the topological entropy h(f) of f is positive, then for some m, there is a positive closed (m,m)-current T_m which satisfies the relation $f^* T_m=\exp(h(f)) T_m$. Moreover,every quasi-p.s.h. function is integrable with respect to the trace measure of T_m. When the dynamical degrees of f are all distinct, we construct an invariant measure $\mu$ as an intersection of closed currents. We show that this measure is mixing and gives no mass to pluripolar sets and to sets of small Hausdorff dimension.


title: The cohomology algebra of unordered configuration spaces

abstract: Given an $N$-dimensional compact manifold $M$ and a field $\bk$, F. Cohen and L. Taylor have constructed a spectral sequence, $\cE(M,n,\bk)$, converging to the cohomology of the space of ordered configurations of $n$ points in $M$. The symmetric group $\Sigma_n$ acts on this spectral sequence giving a spectral sequence of $\Sigma_n$ differential graded commutative algebras. Here, we provide an explicit description of the invariants algebra $(E_1,d_1)^{\Sigma_n}$ of the first term of $\cE(M,n,\Q)$. We apply this determination in two directions: -- in the case of a complex projective manifold or of an odd dimensional manifold $M$, we obtain the cohomology algebra $H^*(C_n(M);\Q)$ of the space of unordered configurations of $n$ points in $M$ (the concrete example of $P^2(\C)$ is detailed), -- we prove the degeneration of the spectral sequence formed of the $\Sigma_n$-invariants $\cE(M,n,\Q)^{\Sigma_n}$ at level 2, for any manifold $M$. These results use a transfer map and are also true with coefficients in a finite field $\F_p$ with $p>n$.


title: Unconditionally convergent series of operators and narrow operators on $L_1$

abstract: We introduce a class of operators on $L_1$ that is stable under taking sums of pointwise unconditionally convergent series, contains all compact operators and does not contain isomorphic embeddings. It follows that any operator from $L_1$ into a space with an unconditional basis belongs to this class.


title: Q-complements on log surfaces

abstract: In this paper the log surfaces without $\QQ$-complement are classified. In particular, they are non-rational always. This result takes off the restriction in the theory of complements and allows one to apply it in the most wide class of log surfaces.


title: Braids in trivial braid diagrams

abstract: We show that every trivial 3-strand braid diagram contains a disk, defined as a ribbon ending in opposed crossings. Under a convenient algebraic form, the result extends to every Artin--Tits group of dihedral type, but it fails to extend to braids with 4 strands and more. The proof uses a partition of the Cayley graph and a continuity argument.


title: The group of fractions of a torsion free lcm monoid is torsion free

abstract: We improve and shorten the argument given in(Journal of Algebra, vol.~210 (1998) pp~291--297). Inparticular, the fact that Artin braid groups are torsion free now follows from Garside\'s results almost immediately.


title: Computation of the homotopy of the spectrum tmf

abstract: This paper contains a complete computation of the homotopy ring of the spectrum of topological modular forms constructed by Hopkins and Miller. The computation is done away from 6, and at the (interesting) primes 2 and 3 separately, and in each of the latter two cases, a sequence of algebraic Bockstein spectral sequences is used to compute the E_2 term of the elliptic Adams-Novikov spectral sequence from the elliptic curve Hopf algebroid. In a further step, all the differentials in the latter spectral sequence are determined. The result of this computation is originally due to Hopkins and Mahowald (unpublished).


title: Gluing Seiberg-Witten monopoles

abstract: We establish a canonical gluing procedure for Seiberg-Witten monopoles on the two pieces of a closed, oriented 4-manifold X which is split along a 3-dimensional closed, oriented submanifold. We only assume that the (unperturbed) character variety is Kuranishi-smooth and the limiting maps are transversal -- then we will be able to glue regular monopoles over the irreducible points of the character variety.


title: The space of complete embedded maximal surfaces with isolated singularities in the 3-dimensional Lorentz-Minkowski space $\l^3$

abstract: We show that a complete embedded maximal surface in the 3-dimensional Lorentz-Minkowski space $L^3$ with a finite number of singularities is, up to a Lorentzian isometry, an entire graph over any spacelike plane asymptotic to a vertical half catenoid or a horizontal plane and with conelike singular points. We study the space $G_n$ of entire maximal graphs over $\{x_3=0\}$ in $L^3$ with $n+1 \geq 2$ conelike singularities and vertical limit normal vector at infinity. We show that $G_n$ is a real analytic manifold of dimension $3n+4,$ and the coordinates are given by the position of the singular points in $R^3$ and the logarithmic growth at the end. We also introduce the moduli space $M_n$ of {\em marked} graphs with $n+1$ singular points (a mark in a graph is an ordering of its singularities), which is a $(n+1)$-sheeted covering of $G_n.$ We prove that identifying marked graphs differing by translations, rotations about a vertical axis, homotheties or symmetries about a horizontal plane, the corresponding quotient space $M_n$ is an analytic manifold of dimension $3n-1.$


title: Nonintersecting lattice paths on the cylinder

abstract: We show how a formula concerning ``vicious walkers'' (which basically are nonintersecting lattice paths) on the cylinder given by P.J. Forrester can be proved and generalized by using the Lindstr\"om--Gessel--Viennot method, after having things set up in the right way. We apply the corresponding results to the (thermodynamic limit of the) free energy of the ``lock step model of vicious walkers'', thus completing (and in one instance correcting) the work of Forrester . Moreover, we also show how a related formula given by I. Gessel and C. Krattenthaler can be obtained from the same ``point of view''.

categories: math.CO cond-mat.stat-mech math-ph math.MP


title: Tori in symplectic 4-manifolds

abstract: We study the question of how many embedded symplectic or Lagrangian tori can represent the same homology class in a simply connected symplectic 4-manifold.


title: Looking out for stable syzygy bundles

abstract: We study (slope-)stability properties of syzygy bundles on a projective space P^N given by ideal generators of a homogeneous primary ideal. In particular we give a combinatorial criterion for a monomial ideal to have a semistable syzygy bundle. Restriction theorems for semistable bundles yield the same stability results on the generic complete intersection curve. From this we deduce a numerical formula for the tight closure of an ideal generated by monomials or by generic homogeneous elements in a generic two-dimensional complete intersection ring.


title: Tamari lattices and noncrossing partitions in type B and beyond

abstract: The usual, or type A_n, Tamari lattice is a partial order on T_n^A, the triangulations of an (n+3)-gon. We define a partial order on T_n^B, the set of centrally symmetric triangulations of a (2n+2)-gon. We show that it is a lattice, and that it shares certain other nice properties of the A_n Tamari lattice, and therefore that it deserves to be considered the B_n Tamari lattice. We define a bijection between T_n^B and the non-crossing partitions of type B_n defined by Reiner. For S any subset of [n], Reiner defined a pseudo-type BD^S_n, to which is associated a subset of the noncrossing partitions of type B_n. We show that the elements of T^B_n which correspond to the noncrossing partitions of type BD^S_n posess a lattice structure induced from their inclusion in T^B_n.


title: Weyl's law for the cuspidal spectrum of SL(n)

abstract: Let $\Gamma$ be a principal congruence subgroup of $SL_n(Z)$ and let $\sigma$ be an irreducible representation of SO(n). Let $N(T,\sigma)$ be the counting function of the eigenvalues of the Casimir operator acting in the space of cusp forms for $\Gamma$ which transform under SO(n) according to $\sigma$. We prove that the counting function $N(T,\sigma)$ satisfies Weyl's law as $T\to\infty$. Especially this implies that there exist infinitely many cusp forms for the full modular group $SL_n(Z)$.


title: On the structure of isometries between noncommutative Lp spaces

abstract: We prove some structure results for isometries between noncommutative Lp spaces associated to von Neumann algebras. We find that an isometry T: Lp(M_1) to Lp(M_2) (1 le p < infty, p not 2) can be canonically expressed in a certain simple form whenever M_1 has variants of Watanabe's extension property. Conversely, this form always defines an isometry provided that M_1 is "approximately semifinite" (defined below). Although neither of these properties is fully understood, we show that they are enjoyed by all semifinite algebras and hyperfinite algebras (with no summand of type I_2), plus others. Thus the classification is stronger than Yeadon's theorem for semifinite algebras (and its recent improvement in [JRS]), and the proof uses independent techniques. Related to this, we examine the modular theory for positive projections from a von Neumann algebra onto a Jordan image of another von Neumann algebra, and use such projections to construct new Lp isometries by interpolation. Some complementary results and questions are also presented.


title: A concept of $\frac23$PROP and deformation theory of (co)associative bialgebras

abstract: We introduce a concept of $\frac23$PROP generalizing the Kontsevich concept of $\frac12$PROP. We prove that some Stasheff-type compactification of the Kontsevich spaces $K(m,n)$ defines a topological $\frac23$PROP structure. The corresponding chain complex is a minimal model for its cohomology (both are considered as $\frac23$PROPs). We construct a $\frac23$PROP $\End(V)$ for a vector space $V$. Finally, we construct a dg Lie algebra controlling the deformations of a (co)associative bialgebra. Philosophically, this construction is a version of the Markl's operadic construction from [M1] applied to minimal models of $\frac23$PROPs.


title: Toric Residue Mirror Conjecture for Calabi-Yau complete intersections

abstract: We generalize the toric residue mirror conjecture of Batyrev and Materov to not necessarily reflexive polytopes. Using this generalization we prove the toric residue mirror conjecture for Calabi-Yau complete intersections in Gorenstein toric Fano varieties.


title: A geometric Jacquet functor

abstract: We describe the Jacquet module functor on Harish-Chandra modules via geometry.


title: Isometry-invariant geodesics and nonpositive derivations of the cohomology

abstract: We introduce a new class of zero-dimensional weighted complete intersections, by abstracting the essential features of rational cohomology algebras of equal rank homogeneous spaces of compact connected Lie groups. We prove that, on a 1-connected closed manifold M whose rational cohomology algebra belongs to this class, every isometry has a non-trivial invariant geodesic, for any metric on M. We use rational surgery to construct large classes of new examples for which the above result may be applied.


title: Continuous Symmetric Perturbations of Planar Power Law Forces

abstract: We show the existence of periodic solutions for continuous symmetric perturbations of certain planar power law problems.


title: A gluing theorem for the relative Bauer-Furuta invariants

abstract: In a previous paper we have constructed an invariant of four-dimensional manifolds with boundary in the form of an element in the stable homotopy group of the Seiberg-Witten Floer spectrum of the boundary. Here we prove that when one glues two four-manifolds along their boundaries, the Bauer-Furuta invariant of the resulting manifold is obtained by applying a natural pairing to the invariants of the pieces. As an application, we show that the connected sum of three copies of the K3 surface contains no exotic nuclei. In the process we also compute the Floer spectrum for several Seifert fibrations.


title: Dirichlet problems of a quasi-linear elliptic system

abstract: We discuss the Dirichlet problem of the quasi-linear elliptic system \begin{eqnarray*} -e^{-f(U)}div(e^{f(U)}\bigtriangledown U)+&{1/2}f'(U)|\bigtriangledown U|^2&=0, {in $\Omega$}, & U|_{\partial\Omega}&=\phi. \end{eqnarray*} Here $\Omega$ a smooth bounded domain in $R^n$, $f: R^N\to R$ is a smooth function, $U:\Omega\to R^N$ is the unknown vector-valued function, $\phi:\bar\Omega\to R^N$ is a given vector-valued $C^2$ function, $f'$ is the gradient of the function $f$ with respect to the variable $U$. Such problems arise in population dynamics and Differential Geometry. The difficulty of studying this problem is that this nonlinear elliptic system does not fit the usual growth condition in M.Giaquinta's book [G] and the natural working space $H^1\cap L^{\infty}(\Omega)$ for the corresponding Euler-Lagrange functional does not fit the usual minimization or variational argument. We use the direct method on a convex subset of $H^1\cap L^{\infty}(\Omega)$ to overcome these difficulties. Under a suitable assumption on the function $f$, we prove that there is at least one solution to this problem. We also give application of our result to the Dirichlet problem of harmonic maps into the standard sphere


title: A note on negative isotropic curvature

abstract: We prove that any compact four-manifold admits a Riemannian metric with negative isotropic curvature in the sense of Micallef and Moore.


title: On summatory functions of additive functions and regular variation

abstract: An overview of results and problems concerning the asymptotic behaviour for summatory functions of a certain class of additive functions is given. The class of functions in question involves Karamata's regular variation. Some new Abelian and Tauberian results for additive functions of the form $F(n) = \sum_{p^\alpha||n}\alpha h(p)$ are given.


title: On singular Artin monoids

abstract: In this paper we study some combinatorial aspects of the singular Artin monoids. Firstly, we show that a singular Artin monoid $SA$ can be presented as a semidirect product of a graph monoid with its associated Artin group $A$. Such a decomposition implies that a singular Artin monoid embeds in a group. Secondly, we give a solution to the word problem for the FC type singular Artin monoids. Afterwards, we show that FC type singular Artin monoids have the FRZ property. Briefly speaking, this property says that the centralizer in $SA$ of any non-zero power of a standard singular generator $\tau_s$ coincides with the centralizer of any non-zero power of the corresponding non-singular generator $\sigma_s$. Finally, we prove Birman's conjecture, namely, that the desingularization map $\eta: SA \to \Z [A]$ is injective, for right-angled singular Artin monoids.


title: Ideals of Heisenberg type and minimax elements of affine Weyl groups

abstract: We consider ad-nilpotent ideals of a Borel subalgebra of a simple Lie algebra. The goal of this paper is two-fold. First, we study the ad-nilpotent ideals lying inside the Heisenberg ideal. The Heisenberg ideal is the nilpotent radical of the centralizer of the highest root vector. Second, we study the ideals having the property that the corresponding domain of the Shi arrangement consists of a single alcove. Such ideals (and the corresponding elements of the affine Weyl group) are called minimax.


title: Stability of Random Sums

abstract: When the distribution of a random (N) sum of independent copies of a r.v X is of the same type as that of X we say that X is N-sum stable. In this paper we consider a generalization of stability of geometric sums by studying distributions that are stable under summation w.r.t Harris law. We show that the notion of stability of random sums can be extended to include the case when X is discrete. Finally we propose a method to identify the probability law of N for which X is N-sum stable. See also Satheesh and Nair (2002), (Some classes of distributions on ther non-negative lattice, J. Ind. Statist. Assoc., 2002, 40, 41-58) for a study of discrete laws of the same type and stability of geometric sums of discrete laws.


title: A characterization of the Dirac Dual Dirac Method

abstract: Let G be a discrete, torsion free group with a finite dimensional classifying space BG. We show that the existence of a gamma-element for such G is a metric, that is, coarse, invariant of G. We also obtain results for groups with torsion. The method of proof involves showing that a group G possesses a gamma-element if and only if a certain coarse (co)-assembly map is an isomorphism.


title: Interpolation in $\hat{\E^\prime}(\R)$

abstract: We give a geometric description of the interpolating varieties for the algebra of Fourier transforms of distributions (or Beurling ultradistributions) with compact support on the real line.


title: Some Classes Of Distributions On The Non-Negative Lattice

abstract: A method for constructing distributions on the non negative integers as discrete analogue of continuous distributions on the non negative real is presented. A justification of the definition of discrete self decomposable laws is provided. Discrete analogue of distributions of the same type and the role of Bernoulli law in this context is discussed. Generalizations of some discrete laws and their properties are given. The geometric compounding problem for discrete distributions is studied by introducing discrete semi Mittag Leffler laws.


title: Constant higher order mean curvature hypersurfaces in Riemannian spaces

abstract: It is still an open question whether a compact embedded hypersurface in the Euclidean space R^{n+1} with constant mean curvature and spherical boundary is necessarily a hyperplanar ball or a spherical cap, even in the simplest case of surfaces in R^3. In a recent paper the first and third authors have shown that this is true for the case of hypersurfaces in R^{n+1} with constant scalar curvature, and more generally, hypersurfaces with constant higher order r-mean curvature, when r>1. In this paper we deal with some aspects of the classical problem above, by considering it in a more general context. Specifically, our starting general ambient space is an orientable Riemannian manifold, where we will consider a general geometric configuration consisting of an immersed hypersurface with boundary on an oriented hypersurface P. For such a geometric configuration, we study the relationship between the geometry of the hypersurface along its boundary and the geometry of its boundary as a hypersurface of P, as well as the geometry of P. Our approach allows us to derive, among others, interesting results for the case where the ambient space has constant curvature. In particular, we are able to extend the previous symmetry results to the case of hypersurfaces with constant higher order r-mean curvature in the hyperbolic space and in the sphere.


title: Good orbital integrals

abstract: This paper concerns a class of orbital integrals in Lie algebras over p-adic fields. The values of these orbital integrals at the unit element in the Hecke algebra count points on varieties over finite fields. The construction, which is based on motivic integration, works both in characteristic zero and in positive characteristic. As an application, the Fundamental Lemma for this class of integrals is lifted from positive characteristic to characteristic zero. The results are based on a formula for orbital integrals as distributions inflated from orbits in the quotient spaces of the Moy-Prasad filtrations of the Lie algebra. This formula is established by Fourier analysis on these quotient spaces.


title: Spin structures and spectra of $Z_2^k$-manifolds

abstract: We give necessary and sufficient conditions for the existence of pin+, pin- and spin structures on Riemannian manifolds with holonomy group $Z_2^k$. For any n>3 (resp. n>5) we give examples of pairs of compact manifolds (resp. compact orientable manifolds) M_1, M_2, non homeomorphic to each other, that are Laplace isospectral on functions and on p-forms for any p and such that M_1 admits a pin+, or pin-, (resp. spin) structure whereas M_2 does not.


title: Einstein Metrics on Rational Homology Spheres

abstract: We prove the existence of Sasakian-Einstein metrics on infinitely many rational homology spheres in all odd dimensions greater than 3. In dimension 5 we obain somewhat sharper results. There are examples where the number of effective parameters in the Einstein metric grows exponentially with dimension.


title: Bier spheres and posets

abstract: In 1992 Thomas Bier presented a strikingly simple method to produce a huge number of simplicial (n-2)-spheres on 2n vertices as deleted joins of a simplicial complex on n vertices with its combinatorial Alexander dual. Here we interpret his construction as giving the poset of all the intervals in a boolean algebra that "cut across an ideal." Thus we arrive at a substantial generalization of Bier's construction: the Bier posets Bier(P,I) of an arbitrary bounded poset P of finite length. In the case of face posets of PL spheres this yields cellular "generalized Bier spheres." In the case of Eulerian or Cohen-Macaulay posets P we show that the Bier posets Bier(P,I) inherit these properties. In the boolean case originally considered by Bier, we show that all the spheres produced by his construction are shellable, which yields "many shellable spheres", most of which lack convex realization. Finally, we present simple explicit formulas for the g-vectors of these simplicial spheres and verify that they satisfy a strong form of the g-conjecture for spheres.


title: Optimal length and signal amplification in weakly activated signal transduction cascades

abstract: Weakly activated signaling cascades can be modeled as linear systems. The input-to-output transfer function and the internal gain of a linear system, provide natural measures for the propagation of the input signal down the cascade and for the characterization of the final outcome. The most efficient design of a cascade for generating sharp signals, is obtained by choosing all the off rates equal, and a ``universal'' finite optimal length.


title: Effective cones of quotients of moduli spaces of stable n-pointed curves of genus zero

abstract: Let X_n := \bar M_{0,n}, the moduli space of n-pointed stable genus zero curves, and let X_{n,m} be the quotient of X_n by the action of the symmetric group S_{n-m} on the last n-m marked points. The cones of effective divisors of X_{n,m}, m = 0,1,2, are calculated. Using this, upper bounds for the cones Mov(X_{n,m}) generated by divisors with moving linear systems are calculated, m = 0,1, along with the induced bounds on the cones of ample divisors of \bar M_g and \bar M_{g,1}. As an application, the cone of effective divisors of \bar M_{2,1} is analyzed in detail.


title: Geometry of $Q$-recurrent maps

abstract: Given a critically periodic quadratic map with no secondary renormalizations, we introduce the notion of $Q$-recurrent quadratic polynomials. We show that the pieces of the principal nest of a $Q$-recurrent map $f_c$ converge in shape to the Julia set of $Q$. We use this fact to compute analytic invariants of the nest of $f_c$, to give a complete characterization of complex quadratic Fibonacci maps and to obtain a new auto-similarity result on the Mandelbrot set.


title: Interpolating sequences for the Bergman space and the $\bar\partial$-equation in weighted $L^p$

abstract: The author showed that a sequence in the unit disk is a zero sequence for the Bergman space $A^p$ if and only if a certain weighted space $L^p(W}$ contains a nontrivial analytic function. In this paper it is shown that the sequence is an interpolating sequence for $A^p$ if and only if it is separated in the hyperbolic metric and the $\bar\partial$-equation $(1 - |z|^2)\bar\partial u = f$ has a solution $u$ belonging to $L^p(W)$ for every $f$ in $L^p(W)$.


title: A counterexample to the Gouvea--Mazur conjecture

abstract: Gouvea and Mazur made a precise conjecture about slopes of modular forms. Weaker versions of this conjecture were established by Coleman and Wan. In this note, we exhibit explicit examples contradicting the full conjecture as it currently stands.


title: Homology of linear groups via cycles in $BG\times X$

abstract: Let G be an algebraic group and let X be a smooth integral scheme over a field k. In this paper we construct homology-type groups $H_i(X,G)$ by considering cycles in the simplicial scheme $BG\times X (an idea suggested by Andrei Suslin). We discuss the basic properties of these groups and construct a spectral sequence, beginning with the groups $H_i(\Delta^j,G)$, which converges to the etale cohomology of the simplicial group BG. These groups are therefore connected with the study of Friedlander's generalized isomorphism conjecture. <p> We also compute some examples, focusing in particular on the case X=Spec(k). In the case where k is the real numbers, there is a connection between the groups $H_i$ and the Z/2-equivariant cohomology of the classifying space of the discrete group $G(\mathbb R)$.


title: Unconditional Stability for Numerical Scheme Combining Implicit Timestepping for Local Effects and Explicit Timestepping for Nonlocal Effects

abstract: A combination of implicit and explicit timestepping is analyzed for a system of ODEs motivated by ones arising from spatial discretizations of evolutionary partial differential equations. Loosely speaking, the method we consider is implicit in local and stabilizing terms in the underlying PDE and explicit in nonlocal and unstabilizing terms. Unconditional stability and convergence of the numerical scheme are proven by the energy method and by algebraic techniques. This stability result is surprising because usually when different methods are combined, the stability properties of the least stable method plays a determining role in the combination.


title: Slopes of overconvergent 2-adic modular forms

abstract: The slope of a p-adic overconvergent eigenform of weight k is the p-adic valuation of its U_p eigenvalue. We find the slope of all 2-adic finite slope overconvergent eigenforms of tame level 1 and weight 0. As a consequence we prove that any finite slope 2-adic overconvergent eigenform of tame level 1 and weight 0 has coefficients in Q_2. These results provide evidence towards conjectures of the first author that predict the slopes of classical p-adic modular forms under a mild ``Gamma_0(N)''-regular hypothesis on p.


title: Semistable abelian Varieties over Q

abstract: We prove that for N=6 and N=10, there do not exist any non-zero semistable abelian varieties over Q with good reduction outside primes dividing N. Our results are contingent on the GRH discriminant bounds of Odlyzko. Combined with recent results of Brumer--Kramer and of Schoof, this result is best possible: if N is squarefree, there exists a non-zero semistable abelian variety over Q with good reduction outside primes dividing N precisely when N is not in the set {1,2,3,5,6,7,10,13}.


title: Almost Rational Torsion Points on Semistable Elliptic Curves

abstract: If P is an algebraic point on a commutative group scheme A/K, then P is _almost_rational_ if no two non-trivial Galois conjugates sigma(P), tau(P), have sum equal to 2P. In this paper, we classify almost rational torsion points on semistable elliptic curves over Q.


title: The Hecke Algebra T_k has Large Index

abstract: Let T_k denote the Hecke algebra acting on newforms of weight k and level N. We prove that the power of p dividing the index of T_k inside its normalisation grows at least linearly with k (for fixed N), answering a question of Serre. We also apply our method to give heuristic evidence towards recent conjectures of Buzzard and Mazur.


title: On the Ramification of Hecke Algebras at Eisenstein Primes

abstract: Using the modularity technique of Wiles, we study the Hecke algebra of weight 2 and prime level N localized at the Eisenstein primes. On the way, we recover some results of Mazur ("Modular Curves and the Eisenstein Ideal") from a deformation theoretic point of view. Combining some of our results with a theorem of Merel, we obtain new information about the p-part of the class groups of Q(N^(1/p)), where p and N are prime, and N = 1 mod p.


title: An introduction to harmonic analysis on the infinite symmetric group

abstract: The aim of the present survey paper is to provide an accessible introduction to a new chapter of representation theory - harmonic analysis for noncommutative groups with infinite-dimensional dual space. I omitted detailed proofs but tried to explain the main ideas of the theory and its connections with other fields. The fact that irreducible representations of the groups in question depend on infinitely many parameters leads to a number of new effects which never occurred in conventional noncommutative harmonic analysis. A link with stochastic point processes is especially emphasized. The exposition focuses on a single group, the infinite symmetric group. The reason is that presently this particular example is worked out the most. Furthermore, the infinite symmetric group can serve as a very good model for more complicated groups like the infinite-dimensional unitary group.


title: The Bergman complex of a matroid and phylogenetic trees

abstract: We study the Bergman complex B(M) of a matroid M: a polyhedral complex which arises in algebraic geometry, but which we describe purely combinatorially. We prove that a natural subdivision of the Bergman complex of M is a geometric realization of the order complex of its lattice of flats. In addition, we show that the Bergman fan B'(K_n) of the graphical matroid of the complete graph K_n is homeomorphic to the space of phylogenetic trees T_n.


title: Finite subset spaces of closed surfaces

abstract: The kth finite subset space of a topological space X is the space exp_k X of non-empty finite subsets of X of size at most k, topologised as a quotient of X^k. The construction is a homotopy functor and may be regarded as a union of configuration spaces of distinct unordered points in X. We show that the finite subset spaces of a connected 2-complex admit "lexicographic cell structures" based on the lexicographic order on I^2 and use these to study the finite subset spaces of closed surfaces. We completely calculate the rational homology of the finite subset spaces of the two-sphere, and determine the top integral homology groups of exp_k Sigma for each k and closed surface Sigma. In addition, we use Mayer-Vietoris arguments and the ring structure of H^*(Sym^k Sigma) to calculate the integer cohomology groups of the third finite subset space of Sigma closed and orientable.


title: Chain extensions of D-algebras and their applications

abstract: In order to unify the methods which have been applied to various topics such as BRST theory of constraints, Poisson brackets of local functionals, and certain developments in deformation theory, we formulate a new concept which we call the {\it chain extension} of a $D$-algebra. We develop those aspects of this new idea which are central to applications to algebra and physics. Chain extensions may be regarded as generalizations of ordinary algebraic extensions of Lie algebras. Applications of our theory provide a new constructive approach to BRST theories which only contains three terms; in particular, this provides a new point of view concerning consistent deformations. Finally, we show how Lie algebra deformations are encoded into the structure maps of an sh-Lie algebra with three terms.


title: Dynamics of the mapping class group on the moduli of a punctured sphere with rational holonomy

abstract: Let $M$ be a four-holed sphere and $\Gamma$ the mapping class group of $M$ fixing the boundary $\partial M$. The group $\Gamma$ acts on $M_B(SL(2,C)) = Hom_B^+(pi_1(M),SL(2,C))/SL(2,C)$ which is the space of completely reducible $SL(2,C)$-gauge equivalence classes of flat $SL(2,C)$-connections on $M$ with fixed holonomy $B$ on $\partial M$. Let $B \in (-2,2)^4$ and $M_B$ be the compact component of the real points of $M_B(SL(2,C))$. These points correspond to SU(2)-representations or $SL(2,R)$-representations. The $\Gamma$-action preserves $M_B$ and we study the topological dynamics of the $\Gamma$-action on $M_B$ and show that for a dense set of holonomy $B \in (-2,2)^4$, the $\Gamma$-orbits are dense in $M_B$. We also produce a class of representations $\rho \in \Hom_B^+(pi_1(M),SL(2,R))$ such that the $\Gamma$-orbit of $[\rho]$ is finite in the compact component of $M_B(SL(2,R))$, but $\rho(\pi_1(M))$ is dense in $SL(2,R)$.


title: On sums of Hecke series in short itervals

abstract: We prove $\sum_{K-G}\le \kappa_j \le K+G}\alpha_j H_j^3(1/2) \ll_\epsilon GK^{1+\epsilon}$ for $K^\epsilon \le G \le K$, where $\alpha_j = |\rho_j(1)|^2(\cosh \pi\kappa_j)^{-1}$, and $\rho_j(1)$ is the first Fourier coefficient of the Maass wave form corresponding to the eigenvalue $\lambda_j = \kappa_j^2 + 1/4$ to which the Hecke series $H_j(s)$ is attached. This result yields the new bound $H_j(1/2) \ll_\epsilon \kappa_j^{1/3+\epsilon}$.


title: The amenability and non-amenability of skew fields

abstract: We investigate the amenability of skew filed extensions of the complex numbers. We prove that all skew fields of finite Gelfand-Kirillov transcendence degree are amenable. However there are both amenable and non-amenable skew fields of infinite Gelfand-Kirillov transcendence degree. For example, the free field is non-amenable.


title: On algebras that almost have finite dimensional representations

abstract: We introduce the notion of almost finite dimensionality of algebras and study its connection with the classical finiteness conditions.


title: Galois corings from the descent theory point of view

abstract: We introduce Galois corings, and give a survey of properties that have been obtained so far. The Definition is motivated using descent theory, and we show that classical Galois theory, Hopf-Galois theory and coalgebra Galois theory can be obtained as a special case.


title: Naturally full functors in nature

abstract: We introduce and discuss the notion of naturally full functor. The definition is similar to the definition of separable functor: a naturally full functor is a functorial version of a full functor, while a separable functor is a functorial version of a faithful functor. We study general properties of naturally full functors. We also discuss when functors between module categories and between categories of comodules over a coring are naturally full.


title: Yetter-Drinfeld categories for quasi-Hopf algebras

abstract: We show that all possible categories of Yetter-Drinfeld modules over a quasi-Hopf algebra $H$ are isomorphic. We prove also that the category $\yd^{\rm fd}$ of finite dimensional left Yetter-Drinfeld modules is rigid and then we compute explicitly the canonical isomorphisms in $\yd^{\rm fd}$. Finally, we show that certain duals of $H_0$, the braided Hopf algebra introduced in \cite{bn,bpv}, are isomorphic as braided Hopf algebras if $H$ is a finite dimensional triangular quasi-Hopf algebra.


title: The next simplest hyperbolic knots

abstract: We complete the project begun by Callahan, Dean and Weeks to identify all knots whose complements are in the SnapPea census of hyperbolic manifolds with seven or fewer tetrahedra. Many of these ``simple'' hyperbolic knots have high crossing number. We also compute their Jones polynomials.


title: More properties of Yetter-Drinfeld modules over quasi-Hopf algebras

abstract: We generalize various properties of Yetter-Drinfeld modules over Hopf algebras to quasi-Hopf algebras. The dual of a finite dimensional Yetter-Drinfeld module is again a Yetter-Drinfeld module. The algebra $H_0$ in the category of Yetter-Drinfeld modules that can be obtained by modifying the multiplication in a proper way is quantum commutative. We give a Structure Theorem for Hopf modules in the category of Yetter-Drinfeld modules, and deduce the existence and uniqueness of integrals from it.


title: Bottom Schur functions

abstract: We give a basis for the space V spanned by the lowest degree part \hat{s}_\lambda of the expansion of the Schur symmetric functions s_\lambda in terms of power sums, where we define the degree of the power sum p_i to be 1. In particular, the dimension of the subspace V_n spanned by those \hat{s}_\lambda for which \lambda is a partition of n is equal to the number of partitions of n whose parts differ by at least 2. We also show that a symmetric function closely related to \hat{s}_\lambda has the same coefficients when expanded in terms of power sums or augmented monomial symmetric functions. Proofs are based on the theory of minimal border strip decompositions of Young diagrams.


abstract: Motivated by a recent generalization of the Balian-Low theorem and by new research in wireless communications we analyze the construction of Wilson bases for general time-frequency lattices. We show that orthonormal Wilson bases for $\LtR$ can be constructed for any time-frequency lattice whose volume is $\tfrac12$. We then focus on the spaces $\ell^2(\ZZ)$ and $\CC^L$ which are the preferred settings for numerical and practical purposes. We demonstrate that with a properly adapted definition of Wilson bases the construction of orthonormal Wilson bases for general time-frequency lattices also holds true in these discrete settings. In our analysis we make use of certain metaplectic transforms. Finally we discuss some practical consequences of our theoretical findings.


title: Frames of subspaces

abstract: One approach to ease the construction of frames is to first construct local components and then build a global frame from these. In this paper we will show that the study of the relation between a frame and its local components leads to the definition of a frame of subspaces. We introduce this new notion and prove that it provides us with the link we need. It will also turn out that frames of subspaces behave as a generalization of frames. In particular, we can define an analysis, a synthesis and a frame operator for a frame of subspaces, which even yield a reconstruction formula. Also concepts such as completeness, minimality, and exactness are introduced and investigated. We further study several constructions of frames of subspaces, and also of frames and Riesz frames using the theory of frames of subspaces. An important special case are harmonic frames of subspaces which generalize harmonic frames. We show that wavelet subspaces coming from multiresolution analysis belong to this class.


title: Error correcting codes and B_h-sequences

abstract: We construct error correcting nonlinear binary codes using a construction of Bose and Chowla in additive number theory. Our method extends a construction of Graham and Sloane for constant weight codes. The new codes improve 1028 of the 7168 best known h-error correcting codes of wordlength at most 512 and h at most 14. We give assymptotical comparisons to shortened BCH codes. Tables of new lower bounds for "A(n,d)" are included.


title: The Markus-Yamabe Conjecture for Differentiable vector fields of R^2

abstract: (a) Let X=(f,g) be a differentiable map in the plane (not necessarily C^1) and let Spec(X) be the set of (complex) eigenvalues of the derivative DX(p) when p varies in R^2. If, for some \epsilon>0, the set Spec(X) is disjoint of [0,\epsilon) then X is injective. (b) Let X be a differentiable vector field such that X(0)=0 and $Re(z)< 0$ for all z in Spec(X). Then, for all p in R^2, there is a unique positive trajectory starting at p; moreover the \omega-limit set of p is equal to {0}.


title: On finite approximations of topological algebraic systems

abstract: We introduce and discuss a definition of approximation of a topological algebraic system $A$ by finite algebraic systems of some class $\K$. For the case of a discrete algebraic system this definition is equivalent to the well-known definition of a local embedding of an algebraic system $A$ in a class $\K$ of algebraic systems. According to this definition $A$ is locally embedded in $K$ iff it is a subsystem of an ultraproduct of some systems in $\K$. We obtain a similar characterization of approximation of a locally compact system $A$ by systems in $\K$. We inroduce the bounded formulas of the signature of $A$ and their approximations similar to those introduced by C.W.Henson \cite{he} for Banach spaces. We prove that a positive bounded formula $\f$ holds in $A$ if all precise enough approximations of $\f$ hold in all precise enough approximations of $A$. We prove that a locally compact field cannot be approximated by finite associative rings (not necessary commutative). Finite approximations of the field $\R$ can be concedered as computer systems for reals. Thus, it is impossible to construct a computer arithmetic for reals that is an associative ring.


title: On the ideals of secant varieties of Segre varieties

abstract: We establish basic techniques for studying the ideals of secant varieties of Segre varieties. We solve a conjecture of Garcia, Stillman and Sturmfels on the generators of the ideal of the first secant variety in the case of three factors and solve the conjecture set-theoretically for an arbitrary number of factors. We determine the low degree components of the ideals of secant varieties of small dimension in a few cases.


title: Exceptional regions and associated exceptional hyperbolic 3-manifolds

abstract: A closed hyperbolic 3-manifold is exceptional if its shortest geodesic does not have an embedded tube of radius $\ln(3)/2$. D. Gabai, R. Meyerhoff and N. Thurston identified seven families of exceptional manifolds in their proof of the homotopy rigidity theorem. They identified the hyperbolic manifold known as Vol3 in the literature as the exceptional manifold associated to one of the families. It is conjectured that there are exactly 6 exceptional manifolds. We find hyperbolic 3-manifolds, some from the SnapPea's census of closed hyperbolic 3-manifolds, associated to 5 other families. Along with the hyperbolic 3-manifold found by Lipyanskiy associated to the seventh family we show that any exceptional manifold is covered by one of these manifolds. We also find their group coefficient fields and invariant trace fields.


title: Quiver coefficients are Schubert structure constants

abstract: We give an explicit natural identification between the quiver coefficients of Buch and Fulton, decomposition coefficients for Schubert polynomials, and the Schubert structure constants for flag manifolds. This is also achieved in K-theory where we give a direct argument that the decomposition coefficients have alternating signs, based on a theorem of Brion, which then implies that the quiver coefficients have alternating signs. Our identification shows that known combinatorial formulas for the latter two numbers give formulas for the quiver coefficients.


title: Improved Weil and Tate pairings for elliptic and hyperelliptic curves

abstract: We present algorithms for computing the squared Weil and Tate pairings on elliptic curves and the squared Tate pairing for hyperelliptic curves. The squared pairings introduced in this paper have the advantage that our algorithms for evaluating them are deterministic and do not depend on a random choice of points. Our pairings save about 20-30% over the usual pairings.