title: Relative differential characters

abstract: There are two natural candidates for the group of relative Cheeger-Simons differential characters. The first directly extends the work of Cheeger and Simons and the second extends the description given by Hopkins and Singer of the Cheeger-Simons group as the homology of a certain cochain complex. We discuss both approaches and relate the two relative groups.


title: The equivariant Brauer group of a group

abstract: We consider the Brauer group ${\rm BM}'(k,G)$ of a group $G$ (finite or infinite) over a commutative ring $k$ with identity. A split exact sequence $$1\longrightarrow {\rm Br}'(k)\longrightarrow {\rm BM}'(k,G)\longrightarrow {\rm Gal}(k,G) \longrightarrow 1$$ is obtained. This generalizes the Fr\"ohlich-Wall exact sequence from the case of a field to the case of a commutative ring, and generalizes the Picco-Platzeck exact sequence from the finite case of $G$ to the infinite case of $G$. Here ${\rm Br}'(k)$ is the Brauer-Taylor group of Azumaya algebras (not necessarily with unit). The method developed in this paper might provide a key to computing the equivariant Brauer group of an infinite quantum group.


title: Braid Monodromy Type and Rational Transformations of Plane Algebraic Curves

abstract: We combine the newly discovered technique, which computes explicit formulas for the image of an algebraic curve under rational transformation, with techniques that enable to compute braid monodromies of such curves. We use this combination in order to study properties of the braid monodromy of the image of curves under a given rational transformation. A description of the general method is given along with full classification of the images of two intersecting lines under degree 2 rational transformation. We also establish a connection between degree 2 rational transformations and the local braid monodromy of the image at the intersecting point of two lines. Moreover, we present an example of two birationally isomorphic curves with the same braid monodromy type and non diffeomorphic real parts.


title: A correction to: Rational and nearly rational varieties

abstract: We correct a misattribution in our book.


title: The homotopy theory of dg-categories and derived Morita theory

abstract: The main purpose of this work is the study of the homotopy theory of dg-categories up to quasi-equivalences. Our main result provides a natural description of the mapping spaces between two dg-categories $C$ and $D$ in terms of the nerve of a certain category of $(C,D)$-bimodules. We also prove that the homotopy category $Ho(dg-Cat)$ is cartesian closed (i.e. possesses internal Hom's relative to the tensor product). We use these two results in order to prove a derived version of Morita theory, describing the morphisms between dg-categories of modules over two dg-categories $C$ and $D$ as the dg-category of $(C,D)$-bi-modules. Finally, we give three applications of our results. The first one expresses Hochschild cohomology as endomorphisms of the identity functor, as well as higher homotopy groups of the \emph{classifying space of dg-categories} (i.e. the nerve of the category of dg-categories and quasi-equivalences between them). The second application is the existence of a good theory of localization for dg-categories, defined in terms of a natural universal property. Our last application states that the dg-category of (continuous) morphisms between the dg-categories of quasi-coherent (resp. perfect) complexes on two schemes (resp. smooth and proper schemes) is quasi-equivalent to the dg-category of quasi-coherent complexes (resp. perfect) on their product.


title: Classical and minimal models of the moduli space of curves of genus two

abstract: This semi-expository paper discusses the log minimal model program as applied to the moduli space of curves, especially in the case of curves of genus two. Log canonical models for these moduli spaces can often be constructed using the techniques of Geometric Invariant Theory. In genus two, this boils down to the invariant theory of binary sextics, which was developed systematically in the 19th century.


title: Homogeneity properties in large compact S-spaces

abstract: Under Jensen's Diamond Principle, we show how to construct a large compact S-space while having some control over its group of autohomeomorphisms. In particular we can make the space rigid or h-homogeneous (i.e. any two clopen subsets are homeomorphic). We also get a space which is B-homogeneous and not h-homogeneous, partially answering a question of M.V. Matveev. A space is B-homogeneous if it has a base every element of which can be mapped onto every other one by a homeomorphism of the whole space.


title: Basins of attraction for cascading maps

abstract: We study a finite uni-directional array of "cascading" or "threshold coupled" chaotic maps. Such systems have been proposed for use in nonlinear computing and have been applied to classification problems in bioinformatics. We describe some of the attractors for such systems and prove general results about their basins of attraction. In particular, we show that the basins of attraction have infinitely many path components. We show that these components always accumulate at the corners of the domain of the system. For all threshold parameters above a certain value, we show that they accumulate at a Cantor set in the interior of the domain. For certain ranges of the threshold, we prove that the system has many attractors.


title: A Generalized Floor Bound for the Minimum Distance of Geometric Goppa Codes and its Application to Two-Point Codes

abstract: We prove a new bound for the minimum distance of geometric Goppa codes that generalizes two previous improved bounds. We include examples of the bound to one and two point codes over both the Suzuki and Hermitian curves.


title: Gelfand-Zeitlin theory from the perspective of classical mechanics. I

abstract: A commutative Poisson subalgebra of the Poisson algebra of polynomials on the Lie algebra of n x n matrices over ${\Bbb C}$ is introduced which is the Poisson analogue of the Gelfand-Zeitlin subalgebra of the universal enveloping algebra. As a commutative algebra it is a polynomial ring in $n(n+1)/2$ generators, $n$ of which can be taken to be basic generators of the polynomial invariants. Any choice of the next $n(n-1)/2$ generators yields a Lie algebra of vector fields that generates a global holomorphic action of the additive group ${\Bbb C}^{n(n -1)/2}$. This paper proves several remarkable properties of this group action and relates it to the theory of orthogonal polynomials.


title: Lower bounds for h-vectors of k-CM, independence and broken circuit complexes

abstract: We present a number of lower bounds for the h-vectors of k-CM, broken circuit and independence complexes. These lead to bounds on the coefficients of the characteristic and reliability polynomials of matroids. The main techniques are the use of series and parallel constructions on matroids and the short simplicial h-vector for pure complexes.


title: A remark on conservative diffeomorphisms

abstract: We show that a stably ergodic diffeomorphism can be $C^1$ approximated by a diffeomorphism having stably non-zero Lyapunov exponents.


title: Examples of Non-K\"ahler Hamiltonian circle manifolds with the strong Lefschetz property

abstract: In this paper we construct six-dimensional compact non-K\"ahler Hamiltonian circle manifolds which satisfy the strong Lefschetz property themselves but nevertheless have a non-Lefschetz symplectic quotient. This provides the first known counter examples to the question whether the strong Lefschetz property descends to the symplectic quotient. We also give examples of Hamiltonian strong Lefschetz circle manifolds which have a non-Lefschetz fixed point submanifold. In addition, we establish a sufficient and necessary condition for a finitely presentable group to be the fundamental group of a strong Lefschetz manifold. We then use it to show the existence of Lefschetz four-manifolds with non-Lefschetz finite covering spaces.


title: On fiber cones of ${\mathfrak m}$-primary ideals

abstract: Two formulas for the multiplicity of the fiber cone $F(I)=\oplus_{n=0}^{\infty} I^n/\m I^n$ of an $\m$-primary ideal of a $d$-dimensional Cohen-Macaulay local ring $(R,\m)$ are derived in terms of the mixed multiplicity $e_{d-1}(\m | I),$ the multiplicity $e(I)$ and superficial elements. As a consequence, the Cohen-Macaulay property of $F(I)$ when $I$ has minimal mixed multiplicity or almost minimal mixed multiplicity is characterized in terms of reduction number of $I$ and lengths of certain ideals. We also characterize Cohen-Macaulay and Gorenstein property of fiber cones of $\m$-primary ideals with a $d$-generated minimal reduction $J$ satisfying (i) $\ell(I^2/JI)=1$ or (ii) $\ell(I\m/J\m)=1.$


title: Fixed point sets of parabolic isometries of CAT(0)-spaces

abstract: We study the fixed point set in the ideal boundary of a parabolic isometry of a proper CAT(0)-space. We show that the radius of the fixed point set is at most pi/2, and study its centers. As a consequence, we prove that the set of fixed points is contractible with respect to the Tits topology.


title: Free dendriform dialgebras: reformulation and application in free probability. Part I

abstract: We propose a reformulation of some results known on the free dendriform dialgebra on one generator from a parenthesis point of view. This turns out to be more tractable and point out a connection to free probability by identifying noncrossing partitions with binary trees and by introducing the concept of NCP-operad.


title: A LL-lattice reformulation of arithmetree over planar rooted trees. Part II

abstract: We continue our reformulation of free dendriform algebras, dealing this time with the free dendriform trialgebra generated be Y over planar rooted trees. We propose a 'deformation' of a vectorial coding used in Part I, giving a LL-lattice on rooted planar trees according to the terminology of A. Blass and B. E. Sagan. The three main operations on trees become explicit, giving thus a complementary approach to a very recent work of P. palacios and M. Ronco. Our parenthesis framework allows a more tractable reformulation to explore the properties of the underlying lattice describing operations and simplify a proof of a fundamental theorem related to arithmetics over trees, the so-called arithmetree. Arithmetree is then viewed as a noncommutative extention of (N,+,x), the integers being played by the corollas. We give also two representations of the super Catalan numbers or Schroder numbers.


abstract: In this note we give a closed formula for Faltings' delta-invariant of a hyperelliptic Riemann surface.


title: Some asymptotic properties of the Rees powers of a module

abstract: Let R be a commutative ring and let G be a free R-module with positive rank e. For any R-submodule E of G we may consider the image of the symmetric algebra of E by the natural map to the symmetric algebra of G, and then the graded components E_n of the image, that we call the n-th Rees powers of E. In this work we prove some asymptotic properties of the modules E_n, which extend well known similar ones for the case of ideals, among them Burch's inequality for the analytic spread.


title: Blowing up Solutions for a Biharmonic Equation with Critical Nonlinearity

abstract: In this paper we consider the following biharmonic equation with critical exponent $P_\epsilon$ : $\Delta^2 u= Ku^{(n+4)/(n-4)-\epsilon}, u>0$ in $\Omega$ and $u=\Delta u=0$ on $\partial\Omega$, where $\Omega$ is a domain in $R^n$, $n\geq 5$, $\epsilon$ is a small positive parameter and $K$ is smooth positive function. We construct solutions of $P_\epsilon$ which blow up and concentrate at strict local maximum of $K$ either at the boundary or in the interior of $\Omega$. We also construct solutions of $P_\epsilon$ concentrating at an interior strict local minimum of $K$. Finally, we prove a nonexistense result for the corresponding supercritical problem which is in sharp contrast with what happened for $P_\epsilon$.


title: Tightness and efficiency of irreducible automorphisms of handlebodies

abstract: Among (isotopy classes of) automorphisms of handlebodies those called irreducible (or generic) are the most interesting, analogues of pseudo-Anosov automorphisms of surfaces. We consider the problem of isotoping an irreducible automorphism so that it is most efficient (has minimal growth rate) in its isotopy class. We describe a property, called tightness, of certain invariant laminations, which we conjecture characterizes this efficiency. We obtain partial results towards proving the conjecture. For example, we prove it for genus two handlebodies. We also show that tightness always implies efficiency. In addition, partly in order to provide counterexamples in our study of properties of invariant laminations, we develop a method for generating a class of irreducible automorphisms of handlebodies.


title: The number of halving circles

abstract: A set S of 2n+1 points in the plane is said to be in general position if no three points of S are collinear and no four are concyclic. A circle is called halving with respect to S if it has three points of S on its circumference, n-1 points in its interior, and n-1 in its exterior. We prove the following surprising result: any set of 2n+1 points in general position in the plane has exactly n^2 halving circles.


title: Harmonicity of quasiconformal measures and Poisson boundaries of hyperbolic spaces

abstract: We consider a group G of isometries acting on a (not necessarily geodesic) delta-hyperbolic space X and possessing a radial limit set of full measure within its limit set. For any continuous quasiconformal measure w supported on the limit set, we produce a stationary measure m on G. Moreover the limit set together with w forms a m-boundary and w is harmonic with respect to the random walk induced by m. In the case when X is a CAT(-1) space and G acts cocompactly, for instance, we show that m has finite first moment. This implies that the boundary of X with w is the unique Poisson boundary for m. As a bi-product, we establish sufficient conditions for a set of continuous functions to form a positive basis, either in the L^1 or sup norm, for the space of uniformly positive lower-semicontinuous functions on a general metric measure space.


title: On certain integral tensor categories and integral TQFTs

abstract: We construct certain tensor categories that are dominated by finitely many simple objects. Objects in these categories are modules over rings of algebra integers. We show how to obtain TQFTs defined over algebra integers from these categories.


title: Almost integral TQFTs from simple Lie algebras

abstract: Almost integral TQFTs were introduced by Gilmer [Duke Math. J. 125 (2004) 389--413]. The aim of this paper is to modify the TQFT of the category of extended 3-cobordisms given by Turaev (in his book: Quantum invariants of knots and 3-manifolds) to obtain an almost integral TQFT.


title: Quantum Invariants of Periodic Links and Periodic 3-Manifolds

abstract: We give criteria for framed links and 3-manifolds to be periodic of prime order. As applications we show that the Poincare sphere is of periodicity 2, 3, 5 only and the Brieskorn sphere (2,3,7) is of periodicity 2, 3, 7 only.


title: Lower-Order Terms of the 1-Level Density of Families of Elliptic Curves

abstract: The Katz-Sarnak philosophy predicts that statistics of zeros of families of L-functions are strikingly universal. However, subtle arithmetical differences between families of the same symmetry type can be detected by calculating lower-order terms of the statistics of interest. In this paper we calculate lower-order terms of the 1-level density of some families of elliptic curves. We show that there are essentially two different effects on the distribution of low-lying zeros. First, low-lying zeros are more numerous in families of elliptic curves E with relatively large numbers of points (mod p). Second, and somewhat surprisingly, a family with a relatively large number of primes of bad reduction has relatively fewer low-lying zeros. We also show that the lower order term can grow arbitrarily large by taking a biased family with a relatively large number of points (mod p) for all small primes p.


title: Special moments

abstract: In this article, we show that a linear combination $X$ of $n$ independent, unbiased Bernoulli random variables $\{X_k\}$ can match the first $2n$ moments of a random variable $Y$ which is uniform on an interval. More generally, for each $p \ge 2$, each $X_k$ can be uniform on an arithmetic progression of length $p$. All values of $X$ lie in the range of $Y$, and their ordering as real numbers coincides with dictionary order on the vector $(X_1,...,X_n)$. The construction involves the roots of truncated $q$-exponential series. It applies to a construction in numerical cubature using error-correcting codes [arXiv:math.NA/0402047]. For example, when $n=2$ and $p=2$, the values of $X$ are the 4-point Chebyshev quadrature formula.


title: The quantum Teichmuller space as a noncommutative algebraic object

abstract: We consider the quantum Teichmuller space of the punctured surface introduced by Chekhov-Fock-Kashaev, and formalize it as a noncommutative deformation of the space of algebraic functions on the Teichmuller space of the surface. In order to apply it in 3-dimensional topology, we put more attention to the details involving small surfaces.


title: A finite number of defining relations and a UCE theorem of the elliptic Lie algebras and superalgebras with rank $\geq 2$

abstract: In this paper, we give a finite number of defining relations satisfied by a finite number of generators for the elliptic Lie algebras and superalgebras ${\frak g}_R$ with rank $\geq 2$. Here the $R$'s denote the reduced and non-reduced elliptic root systems with rank $\geq 2$. We also show that if ${\cal L}$ is an extended affine Lie algebra (EALA) whose non-isotropic roots form the $R$, then there exists a natural homomorphism ${\cal F}:{\frak g}_R \to{\cal L}$, which also give a universal central extension (UCE) surjective map from $[{\frak g}_R,{\frak g}_R]$ to the core of ${\cal L}$. (More precisely, we take a ${\bar {\frak g}}_R$ instead of the ${\frak g}_R$.)


title: Three Colorability of an Arrangement Graph of Great Circles

abstract: Stan Wagon asked the following in 2000. Is every zonohedron face 3-colorable when viewed as a planar map? An equivalent question, under a different guise, is the following: is the arrangement graph of great circles on the sphere always vertex 3-colorable? (The arrangement graph has a vertex for each intersection point, and an edge for each arc directly connecting two intersection points.) Assume that no three circles meet at a point, so that this arrangement graph is 4-regular. In this note we have shown that all arrangement graphs defined as above are 3-colorable.


title: A Pfaffian-Hafnian analogue of Borchardt's identity

abstract: We present an identity which can be regarded as a Pfaffian-Hafnian analogue of Borchardt's identity and as a generalization of Schur's identity. We give a proof using the complex analysis.


title: Quasi-concave functions on antimatroids

abstract: In this paper we consider quasi-concave set functions defined on antimatroids. There are many equivalent axiomatizations of antimatroids, that may be separated into two categories: antimatroids defined as set systems and antimatroids defined as languages. An algorthmic characterization of antimatroids, that considers them as set systems, was given in (Kempner, Levit 2003). This characterization is based on the idea of optimization using set functions defined as minimum values of linkages between a set and the elements from the set complement. Such set functions are quasi-concave. Their behavior on antimatroids was studied in (Kempner, Muchnik 2003), where they were applied to constraint clustering. In this work we investigate a duality between quasi-concave set functions and linkage functions. Our main finding is that quasi-concave set functions on an antimatroid may be represented as minimum values of some monotone linkage functions.


title: A multiparameter summation formula for Riemann theta functions

abstract: We generalize Warnaar's elliptic extension of a Macdonald multiparameter summation formula to Riemann surfaces of arbitrary genus.


title: On some exponential integral functionals of BM($\mu$) and BES(3)

abstract: In this paper we derive the Laplace transforms of the integral functionals $$ \int_0^\infty (p(\exp(B^{(\mu)}_t)+1)^{-1}+ q(\exp(B^{(\mu)}_t)+1)^{-2}) dt, $$ $$ \int_0^\infty (p(\exp(R^{(3)}_t)-1)^{-1}+ q(\exp(R^{(3)}_t)-1)^{-2}) dt, $$ where $p$ and $q$ are real numbers, $\{B^{(\mu)}_t: t\geq 0\}$ is a Brownian motion with drift $\mu>0,$ BM($\mu$), and $\{R^{(3)}_t: t\geq 0\}$ is a 3-dimensional Bessel process, BES(3). The transforms are given in terms of Gauss' hypergeometric functions and it is seen that the results are closely related to some functionals of Jacobi diffusions. This work generalizes and completes some results of Donati--Martin and Yor and Salminen and Yor.


title: On vanishing of generalized local cohomology modules

abstract: Let $\fa$ denote an ideal of a $d$-dimensional Gorenstein local ring $R$ and $M$ and $N$ two finitely generated $R$-modules with $\pd M< \infty$. It is shown that $H^d_{\fa}(M,N)=0$ if and only if $\dim \hat{R}\big/ \fa\hat{R}+\fp>0$ for all $\fp\in\Ass_{\hat{R}}\hat{M}\cap\Supp_{\hat{R}}\hat{N}$.


title: Short proofs of the elliptic beta integrals

abstract: We give elementary proofs of the univariate elliptic beta integral with bases $|q|, |p|<1$ and its multiparameter generalizations to integrals on the $A_n$ and $C_n$ root systems. We prove also some new unit circle multiple elliptic beta integrals, which are well defined for $|q|=1$, and their $p\to 0$ degenerations.


title: Bernoulli automorphisms of finitely generated free MV-algebras

abstract: MV-algebras can be viewed either as the Lindenbaum algebras of Lukasiewicz infinite-valued logic, or as unit intervals [0,u] of lattice-ordered abelian groups in which a strong order unit u>0 has been fixed. They form an equational class, and the free n-generated free MV-algebra is representable as an algebra of piecewise-linear continuous functions with integer coefficients over the unit n-dimensional cube. In this paper we show that the automorphism group of such a free algebra contains elements having strongly chaotic behaviour, is the sense that their duals are measure-theoretically isomorphic to a Bernoulli shift. This fact is noteworthy from the viewpoint of algebraic logic, since it gives a distinguished status to Lebesgue measure as an averaging measure on the space of valuations. As an ergodic theory fact, it provides explicit examples of volume-preserving homeomorphisms of the unit cube which are piecewise-linear with integer coefficients, preserve the denominators of rational points, and enjoy the Bernoulli property.


title: Lucas sequences whose 8th term is a square

abstract: Let P and Q be non-zero integers. The Lucas sequence U_n(P,Q), n=0,1,2,... is defined by U_0=0, U_1=1, U_n= P U_{n-1}-Q U_{n-2} for n>1. For each positive integer n<8 we describe all Lucas sequences with (P,Q)=1 having the property that U_n(P,Q) is a perfect square. The arguments are elementary. The main part of the paper is devoted to finding all Lucas sequences such that U_8(P,Q) is a perfect square. This reduces to a number of problems of similar type, namely, finding all points on an elliptic curve defined over a quartic number field subject to a ``Q-rationality'' condition on the X-coordinate. This is achieved by p-adic computations (for a suitable prime p) using the formal group of the elliptic curve.


title: Asymptotic analysis of a particle system with mean-field interaction

abstract: We study a system of $N$ interacting particles on $\bf{Z}$. The stochastic dynamics consists of two components: a free motion of each particle (independent random walks) and a pair-wise interaction between particles. The interaction belongs to the class of mean-field interactions and models a rollback synchronization in asynchronous networks of processors for a distributed simulation. First of all we study an empirical measure generated by the particle configuration on $\bf{R}$. We prove that if space, time and a parameter of the interaction are appropriately scaled (hydrodynamical scale), then the empirical measure converges weakly to a deterministic limit as $N$ goes to infinity. The limit process is defined as a weak solution of some partial differential equation. We also study the long time evolution of the particle system with fixed number of particles. The Markov chain formed by individual positions of the particles is not ergodic. Nevertheless it is possible to introduce relative coordinates and to prove that the new Markov chain is ergodic while the system as a whole moves with an asymptotically constant mean speed which differs from the mean drift of the free particle motion.


title: Mapping Cylinders and the Oka Principle

abstract: We apply concepts and tools from abstract homotopy theory to complex analysis and geometry, continuing our development of the idea that the Oka Principle is about fibrancy in suitable model structures. We explicitly factor a holomorphic map between Stein manifolds through mapping cylinders in three different model structures and use these factorizations to prove implications between ostensibly different Oka properties of complex manifolds and holomorphic maps. We show that for Stein manifolds, several Oka properties coincide and are characterized by the geometric condition of ellipticity. Going beyond the Stein case to a study of cofibrant models of arbitrary complex manifolds, using the Jouanolou Trick, we obtain a geometric characterization of an Oka property for a large class of manifolds, extending our result for Stein manifolds. Finally, we prove a converse Oka Principle saying that certain notions of cofibrancy for manifolds are equivalent to being Stein.


title: Higher-order linking forms for knots

abstract: We construct examples of knots that have isomorphic nth-order Alexander modules, but non-isomorphic nth-order linking forms, showing that the linking forms provide more information than the modules alone. This generalizes work of Trotter, who found examples of knots that have isomorphic classical Alexander modules, but non-isomorphic classical Blanchfield linking forms.


title: Signed ordered knotlike quandle presentations

abstract: We define enhanced presentations of quandles via generators and relations with additional information comprising signed operations and an order structure on the set of generators. Such a presentation determines a virtual link diagram up to virtual moves. We list formal Reidemeister moves in which Tietze moves on the presented quandle are accompanied by corresponding changes to the order structure. Omitting the order structure corresponds to replacing virtual isotopy by welded isotopy.


title: Absolutely continuous spectrum of multidimensional Schrodinger operator

abstract: We prove that 3-dimensional Schrodinger operator with slowly decaying potential has an absolutely continuous spectrum that fills the positive half-line. The asymptotics of Green's function is obtained as well.


title: A Fast Algorithm for MacMahon's Partition Analysis

abstract: This paper deals with evaluating constant terms of a special class of rational functions, the Elliott-rational functions. The constant term of such a function can be read off immediately from its partial fraction decomposition. We combine the theory of iterated Laurent series and a new algorithm for partial fraction decompositions to obtain a fast algorithm for MacMahon's Omega calculus, which (partially) avoids the "run-time explosion" problem when eliminating several variables. We discuss the efficiency of our algorithm by investigating problems studied by Andrews and his coauthors; our running time is much less than that of their Omega package.


title: Dynamic programming in mixed continuous-discrete time scales

abstract: We obtain the dynamic programming equations and optimality conditions akin to Pontryagin's extremum principle for certain mathematical models of hybrid control systems.


title: Open manifolds, Ozsvath-Szabo invariants and Exotic R^4's

abstract: We construct an invariant of open four-manifolds using the Heegaard Floer theory of Ozsvath and Szabo. We show that there is a manifold X homeomorphic to R^4 for which the invariant is non-trivial, showing that X is an exotic R^4.


title: Distinguished representations, base change, and reducibility for unitary groups

abstract: We show the equality of the local Asai L-functions defined via the Rankin-Selberg method and the Langlands-Shahidi method for a square integrable representation of GL(n,E). As a consequence we characterise reducibility of certain induced representations of U(n,n), and the image of the base change map from U(n) to GL(n,E) in terms of GL(n,F)-distinguishedness.


title: A generalization of the Subspace Theorem with polynomials of higher degree

abstract: Recently, Corvaja and Zannier obtained an extension of the Subspace Theorem with arbitrary homogeneous polynomials of arbitrary degreee instead of linear forms. Their result states that the set of solutions in P^n(K) (K number field) of the inequality being considered is not Zariski dense. In our paper we prove by a different method a generalization of their result, in which the solutions are taken from an arbitrary projective variety X instead of P^n. Further, we give a quantitative version which states in a precise form that the solutions with large height lie ina finite number of proper subvarieties of X, with explicit upper bounds for the number and for the degrees of these subvarieties.


title: Explicit Mumford isomorphism for hyperelliptic curves

abstract: Using an explicit version of the Mumford isomorphism on the moduli space of hyperelliptic curves we derive a closed formula for the Arakelov-Green function of a hyperelliptic Riemann surface evaluated at its Weierstrass points.


title: Zeta functions of supersingular curves of genus 2

abstract: We determine what isogeny classes of supersingular abelian surfaces over a finite field k of characteristic 2 contain jacobians. We deal with this problem in a direct way by computing explicitly the zeta function of all supersingular curves of genus 2. Our procedure is constructive, so that we are able to exhibit curves with prescribed zeta function and to count the number of curves, up to k-isomorphism, leading to the same zeta function.


title: Nice colourings and the 4-colour theorem

abstract: Proving for triangulations an extended version of the 4-colour theorem by induction, we manage to exclude the case which led to the failure of Kempe's attempted proof. The new idea is to claim the existence of a "nice" 4-colouring, in which existing Kempe chains satisfy a special condition, and to show that the assumption of its non-existence by a counterexample always leads to a contradiction: hence there is such a colouring. The focus of this paper is not to find in the induction step a reducible colouring of the neighbourhood of a 5-valent vertex among all possible colourings -- which is known to be impossible - but to prove the mere existence of such a "nice" colouring among all possible colourings.


title: Dynamics of a Coupled Atmosphere-Ocean Model

abstract: We consider a coupled atmosphere-ocean model, which involves hydrodynamics, thermodynamics and nonautonomous interaction at the air-sea interface. First, we show that the coupled atmosphere-ocean system is stable under the external fluctuation in the atmospheric energy balance relation. Then, we estimate the atmospheric temperature feedback in terms of the freshwater flux, heat flux and the external fluctuation at the air-sea interface, as well as the earth's longwave radiation coefficient and the shortwave solar radiation profile. Finally, we prove that the coupled atmosphere-ocean system has time-periodic, quasiperiodic and almost periodic motions, whenever the external fluctuation in the atmospheric energy balance relation is time-periodic, quasiperiodic and almost periodic, respectively.


title: Stochastic Dynamics of a Coupled Atmosphere--Ocean Model

abstract: The investigation of the coupled atmosphere-ocean system is not only scientifically challenging but also practically important. We consider a coupled atmosphere-ocean model, which involves hydrodynamics, thermodynamics, and random atmospheric dynamics due to short time influences at the air-sea interface. We reformulate this model as a random dynamical system. First, we have shown that the asymptotic dynamics of the coupled atmosphere-ocean model is described by a random climatic attractor. Second, we have estimated the atmospheric temperature evolution under oceanic feedback, in terms of the freshwater flux, heat flux and the external fluctuation at the air-sea interface, as well as the earth's longwave radiation coefficient and the shortwave solar radiation profile. Third, we have demonstrated that this system has finite degree of freedom by presenting a finite set of determining functionals in probability. Finally, we have proved that the coupled atmosphere-ocean model is ergodic under suitable conditions for physical parameters and randomness, and thus for any observable of the coupled atmosphere-ocean flows, its time average approximates the statistical ensemble average, as long as the time interval is sufficiently long.


title: Biconformal changes of metric and pseudo-harmonic morphisms

abstract: Pseudo-harmonic morphisms give rise on the domain space to a distribution which admits an almost complex structure compatible with the given Riemannian metric. We shall show that this property, together with the harmonicity, are preserved by a biconformal change of the domain metric. The special case of the pseudo-horizontally homothetic harmonic morphisms is also treated.


title: Cohen-Host type idempotent theorems for representations on Banach spaces and applications to Fig\`a-Talamanca-Herz algebras

abstract: Let $G$ be a locally compact group, and let ${\cal R}(G)$ denote the ring of subsets of $G$ generated by the left cosets of open subsets of $G$. The Cohen--Host idempotent theorem asserts that a set lies in ${\cal R}(G)$ if and only if its indicator function is a coefficient function of a unitary representation of $G$ on some Hilbert space. We prove related results for representations of $G$ on certain Banach spaces. We apply our Cohen--Host type theorems to the study of the Fig\`a-Talamanca--Herz algebras $A_p(G)$ with $p \in (1,\infty)$. For arbitrary $G$, we characterize those closed ideals of $A_p(G)$ that have an approximate identity bounded by 1 in terms of their hulls. Furthermore, we characterize those $G$ such that $A_p(G)$ is 1-amenable for some -- and, equivalently, for all -- $p \in (1,\infty)$: these are precisely the abelian groups.


title: Relative cyclic homology of square zero extensions

abstract: Let k be a characteristic zero field, C a k-algebra and M a square zero two sided ideal of C. We obtain a new mixed complex, simpler that the canonical one, giving the Hochschild and cyclic homologies of C relative to M. This complex resembles the canonical reduced mixed complex of an augmented algebra. We begin the study of our complex showing that it has a harmonic decomposition like to the one considered by Cuntz and Quillen for the normalized mixed complex of an algebra. We also give new proofs of two theorems of Goodwillie, obtaining an improvement of one of them.


title: Two linear transformations each tridiagonal with respect to an eigenbasis of the other; an algebraic approach to the Askey scheme of orthogonal polynomials

abstract: Let $K$ denote a field, and let $V$ denote a vector space over $K$ with finite positive dimension. We consider a pair of linear transformations $A:V\to V$ and $A^*:V\to V$ that satisfy the following two conditions: There exists a basis for $V$ with respect to which the matrix representing $A$ is irreducible tridiagonal and the matrix representing $A^*$ is diagonal. There exists a basis for $V$ with respect to which the matrix representing $A^*$ is irreducible tridiagonal and the matrix representing $A$ is diagonal. We call such a pair a Leonard pair on $V$. We give a correspondence between Leonard pairs and a class of orthogonal polynomials. This class coincides with the terminating branch of the Askey scheme and consists of the $q$-Racah, $q$-Hahn, dual $q$-Hahn, $q$-Krawtchouk, dual $q$-Krawtchouk, quantum $q$-Krawtchouk, affine $q$-Krawtchouk, Racah, Hahn, dual Hahn, Krawtchouk, Bannai/Ito, and orphan polynomials. We describe the above correspondence in detail. We show how, for the listed polynomials, the 3-term recurrence, difference equation, Askey-Wilson duality, and orthogonality can be expressed in a uniform and attractive manner using the corresponding Leonard pair. We give some examples that indicate how Leonard pairs arise in representation theory and algebraic combinatorics. We discuss a mild generalization of a Leonard pair called a tridiagonal pair. At the end we list some open problems. Throughout these notes our argument is elementary and uses only linear algebra. No prior exposure to the topic is assumed.


title: Holomorphic bundles on diagonal Hopf manifolds

abstract: Let $A$ be a diagonal linear operator on $\C^n$, with all eigenvalues satisfying $0<|\alpha_i|<1$, and $M = (\C^n\backslash 0)/<A>$ the corresponding Hopf manifold. We show that any stable holomorphic bundle on $M$ can be lifted to a $G$-equivariant coherent sheaf on $\C^n$, where $G=(\C^*)^l$ is a Lie group acting on $\C^n$ and containing $A$. This is used to show that all stable bundles on $M$ are filtrable, that is, admit a filtration by a sequence $F_i$ of coherent sheaves, with all subquotients $F_i/F_{i-1}$ of rank 1.


title: Description of the center of the affine Temperley-Lieb algebra of type $\widetilde{A_N}$

abstract: Construction of the diagrammatic version of the affine Temperley-Lieb algebra of type $\widetilde{A_N}$ as a subring of matrices over the Laurent polynomials is given. We move towards geometrical understanding of cellular structure of the Temperley-Lieb algebra. We represent its center as a coordinate ring of the certain affine algebraic variety and describe this variety constructing its desingularization.


title: On the conjugacy separability in the class of finite $p$-groups of finitely generated nilpotent groups

abstract: It is proved that for any prime $p$ a finitely generated nilpotent group is conjugacy separable in the class of finite $p$-groups if and only if the torsion subgroup of it is a finite $p$-group and the quotient group by the torsion subgroup is abelian.


title: A numerical criterion for simultaneous normalization

abstract: We investigate conditions for "simultaneous normalizability" of a family of reduced schemes, i.e., the normalization of the total space normalizes, fiber by fiber, each member of the family. The main result (under more general conditions) is that a flat family of reduced equidimensional projective complex varieties X_y with parameter y ranging over a normal space--algebraic or analytic--admits a simultaneous normalization if and only if the Hilbert polynomial of the integral closure of the structure sheaf O_{X_y} is locally independent of y. When the X_y are curves projectivity is not needed, and the statement reduces to the well known \delta-constant criterion of Teissier. Proofs are basically algebraic, analytic results being related via standard techniques (Stein compacta, etc.) to more abstract algebraic ones.


title: The kinetic limit of a system of coagulating Brownian particles

abstract: We consider a random model of diffusion and coagulation. A large number of small particles are randomly scattered at an initial time. Each particle has some integer mass and moves in a Brownian motion whose diffusion rate is determined by that mass. When any two particles are close, they are liable to combine into a single particle that bears the mass of each of them. Choosing the initial density of particles so that, if their size is very small, a typical one is liable to interact with a unit order of other particles in a unit of time, we determine the macroscopic evolution of the system, in any dimension d \geq 3. The density of particles evolves according to the Smoluchowski system of PDEs, indexed by the mass parameter, in which the interaction term is a sum of products of densities. Central to the proof is establishing the so-called Stosszahlensatz, which asserts that, at any given time, the presence of particles of two distinct masses at any given point in macroscopic space is asymptotically independent, as the size of the particles is taken towards zero.


title: Collinear Points in Permutations

abstract: Consider the following problem: how many collinear triples of points must a transversal of (Z/nZ)^2 have? This question is connected with venerable issues in discrete geometry. We show that the answer, for n prime, is between (n-1)/4 and (n-1)/2, and consider an analogous question for collinear quadruples. We conjecture that the upper bound is the truth and suggest several other interesting problems in this area.


title: Erdos-Hajnal Sets and Semigroup Decompositions

abstract: Define a set of lines in $R^3$ to be ``stacked'' with respect to $v \in R^3$ if, from a vantage point far away in the direction of $v$, the lines are linearly ordered by the ``crossing over'' relation. Given a collection of skew lines and a point $v$, we ask, what is the largest stacked subset that must be present among the lines? This question, which appears in a 2000 paper of Erdos, Hajnal and Pach, is intimately related to the well-known Erdos-Hajnal conjecture via the Milnor-Thom theorem. It was recently resolved by a powerful and very general theorem of Alon, Pach, Pinchasi, Radoicic, and Sharir. We describe these results and discuss several related issues, including a generalization to ``Erdos-Hajnal sets'' and an intriguing problem concerning the decomposability of semi-algebraic sets: Do all semi-algebraic sets belong to the set algebra generated by semigroups in $R^d$? Our main result is a resolution of this question in dimensions 1 and 2.


title: Compressed Drinfeld associators

abstract: Drinfeld associator is a key tool in computing the Kontsevich integral of knots. A Drinfeld associator is a series in two non-commuting variables, satisfying highly complicated algebraic equations - hexagon and pentagon. The logarithm of a Drinfeld associator lives in the Lie algbera L generated by the symbols a,b,c modulo [a,b]=[b,c]=[c,a]. The main result is a description of compressed associators that satisfy the compressed pentagon and hexagon in the quotient L/[[L,L],[L,L]]. The key ingredient is an explicit form of Campbell-Baker-Hausdorff formula in the case when all commutators commute.


title: Semidualizing modules and the divisor class group

abstract: Among the finitely generated modules over a Noetherian ring R, the semidualizing modules have been singled out due to their particularly nice duality properties. When R is a normal domain, we exhibit a natural inclusion of the set of isomorphism classes of semidualizing R-modules into the divisor class group of R. After a description of the basic properties of this inclusion, it is employed to investigate the structure of the set of isomorphism classes of semidualizing R-modules. In particular, this set is described completely for determinantal rings over normal domains.


title: Hyperlinearity, essentially free actions and $L^2$-invariants. The sofic property

abstract: We prove that Connes' Embedding Conjecture holds for the von Neumann algebras of sofic groups, that is sofic groups are hyperlinear. Hence we provide some new examples of hyperlinearity. We also show that the Determinant Conjecture holds for sofic groups as well. We introduce the notion of essentially free actions and amenable actions and study their properties.


title: Canonical bases of loop algebras via quot schemes II

abstract: This paper is a sequel (and contains a better treatment) of math.QA/0404032; We construct some canonical bases for quantum toroidal algebras of types D_4, E_6, E_7, E_8 using perverse sheaves on quot schemes parametrizing equivariant coherent sheaves on elliptic curves. We also study some compatibility properties of these bases with some natural filtrations and modules.


title: Hochschild (co)homology dimension

abstract: In 1989 Happel conjectured that for a finite-dimensional algebra $A$ over an algebraically closed field $k$, $\gl A< \infty$ if and only if $\hch A < \infty$. Recently Buchweitz-Green-Madsen-Solberg gave a counterexample to Happel's conjecture. They found a family of pathological algebra $A_q$ for which $\gl A_q = \infty$ but $\hch A_q=2$. These algebras are pathological in many aspects, however their Hochschild homology behaviors are not pathological any more, indeed one has $\hh A_q = \infty=\gl A_q$. This suggests to pose a seemingly more reasonable conjecture by replacing Hochschild cohomology dimension in Happel's conjecture with Hochschild homology dimension: $\gl A < \infty$ if and only if $\hh A < \infty$ if and only if $\hh A = 0$. The conjecture holds for commutative algebras and monomial algebras. In case $A$ is a truncated quiver algebras these conditions are equivalent to the quiver of $A$ has no oriented cycles. Moreover, an algorithm for computing the Hochschild homology of any monomial algebra is provided. Thus the cyclic homology of any monomial algebra can be read off in case the underlying field is characteristic 0.


title: Transfers and Periodic Orbits

abstract: Bo Ju Jiang applied Neilsen theory to the study of periodic orbits of a homeomorphism. His method employs a certain loop in the mapping torus of the homeomorphism. Our interest concerns the persistence of periodic orbits in parameterized families of homeomorphisms. This leads us to consider fibre bundles and equivariant maps, which gives us a nice point of view.


title: Towards a $p$-adic Langlands programme

abstract: These are the notes for an eponymous course given by the authors at the summer school on p-adic arithmetic geometry in Hangzhou.


title: Hopf algebras, from basics to applications to renormalization

abstract: An extended version of a series of lectures given at Bogota in december 2002. It consists in a presentation of some aspects of Connes' and Kreimer's work on renormalization in the context of general connected Hopf algebras, in particular Birkhoff decomposition and, in the graded case, the scattering-type formula.


title: Traces of CM values of modular functions

abstract: Zagier proved that the traces of singular moduli, i.e., the sums of the values of the classical j-invariant over quadratic irrationalities, are the Fourier coefficients of a modular form of weight 3/2 with poles at the cusps. Using the theta correspondence, we generalize this result to traces of CM values of (weakly holomorphic) modular functions on modular curves of arbitrary genus. We also study the theta lift for the weight 0 Eisenstein series for SL(2,Z) and realize a certain generating series of arithmetic intersection numbers as the derivative of Zagier's Eisenstein series of weight 3/2. This recovers a result of Kudla, Rapoport and Yang.


title: Green functions with singularities along complex spaces

abstract: We study properties of a Green function G_A with singularities along a complex subspace A of a complex manifold X. It is defined as the largest negative plurisubharmonic function u satisfying locally u\leq \log|\psi|+C, where \psi=(\psi_1, ...,\psi_m), \psi_1, ...,\psi_m are local generators for the ideal sheaf I_A of A, and C is a constant depending on the function u and the generators. A motivation for this study is to estimate global bounded functions from the sheaf I_A and thus proving a ``Schwarz Lemma'' for I_A.


title: Bernstein-Sato polynomials of arbitrary varieties

abstract: We introduce the notion of Bernstein-Sato polynomial of an arbitrary variety (which is not necessarily reduced nor irreducible), using the theory of V-filtrations of M. Kashiwara and B. Malgrange. We prove that the decreasing filtration by multiplier ideals coincides essentially with the restriction of the V-filtration. This implies a relation between the roots of the Bernstein-Sato polynomial and the jumping coefficients of the multiplier ideals, and also a criterion for rational singularities in terms of the maximal root of the polynomial in the case of a reduced complete intersection. These are generalizations of the hypersurface case. We can calculate the polynomials explicitly in the case of monomial ideals.


title: Coisotropic and polar actions on compact irreducible Hermitian symmetric spaces

abstract: We obtain the full classification of coisotropic and polar actions of compact Lie group on irreducible Hermitian symmetric spaces.


title: The embedded singly periodic Scherk-Costa surfaces

abstract: We give a positive answer to M. Traizet's open question about the existence of complete embedded minimal surfaces with Scherk-ends without planar geodesics. In the singly periodic case, these examples get close to an extension of Traizet's result concerning asymmetric complete minimal submanifolds of Euclidean space with finite total curvature.


title: Orientations in Legendrian Contact Homology and Exact Lagrangian Immersions

abstract: We show how to orient moduli spaces of holomorphic disks with boundary on an exact Lagrangian immersion of a spin manifold into complex n-space in a coherent manner. This allows us to lift the coefficients of the contact homology of Legendrian spin submanifolds of standard contact (2n+1)-space from Z_2 to Z. We demonstrate how the Z-lift provides a more refined invariant of Legendrian isotopy. We also apply contact homology to produce lower bounds on double points of certain exact Lagrangian immersions into C^n and again including orientations strengthens the results. More precisely, we prove that the number of double points of an exact Lagrangian immersion of a closed manifold M whose associated Legendrian embedding has good DGA is at least half of the dimension of the homology of M with coefficients in an arbitrary field if M is spin and in Z_2 otherwise.


title: Automorphism groups of some affine and finite type Artin groups

abstract: We observe that, for each positive integer n > 2, each of the Artin groups of finite type A_n, B_n=C_n, and affine type \tilde A_{n-1} and \tilde C_{n-1} is a central extension of a finite index subgroup of the mapping class group of the (n+2)-punctured sphere. (The centre is trivial in the affine case and infinite cyclic in the finite type cases). Using results of Ivanov and Korkmaz on abstract commensurators of surface mapping class groups we are able to determine the automorphism groups of each member of these four infinite families of Artin groups.


title: What is wrong with the Hausdorff measure in Finsler spaces

abstract: We construct a class of Finsler metrics in three-dimensional space such that all their geodesics are lines, but not all planes are extremal for their Hausdorff area functionals. This shows that if the Hausdorff measure is used as notion of volume on Finsler spaces, then totally geodesic submanifolds are not necessarily minimal, filling results such as those of S. Ivanov do not hold, and integral-geometric formulas do not exist. On the other hand, using the Holmes-Thompson definition of volume, we prove a general Crofton formula for Finsler spaces and give an easy proof that their totally geodesic hypersurfaces are minimal.


title: Dual spheres have the same girth

abstract: Symplectic and Finsler geometry are used to settle a conjecture of Sch\"affer stating that the girth of a normed space--the infimum of the lengths of all closed, rectifiable, centrally symmetric curves on its unit sphere--equals the girth of its dual.


title: Dual mixed volumes and isosystolic inequalities

abstract: The theory of dual mixed volumes is extended to star bodies in cotangent bundles and is used to prove several isosystolic inequalities for Hamiltonian systems and Finsler metrics.


title: Very Basic Noncommutative Geometry

abstract: These notes aim to give an introduction to a few aspects of noncommutative geometry.


title: Symmetric products of surfaces; a unifying theme for topology and physics

abstract: This is a review paper about symmetric products of spaces $SP^n(X):= X^n/S_n$. We focus our attention on the symmetric products of 2-manifolds and make a journey through selected topics of algebraic topology, algebraic geometry, mathematical physics, theoretical mechanics etc. where these objects play an important role, demonstrating along the way the fundamental unity of diverse fields of physics and mathematics.


title: Least-squares approximation by second-order L-splines

abstract: In a 1973 paper Carl de Boor conjectured and 26 years later in 1999 Alexei Shadrin proved in full generality that the $L_\infty$-norm of the spline orthoprojector is bounded independently of the knot sequence for every order of the spline space. Following the appearance of Shadrin's proof, it was only very natural to carry the study of $L_\infty$-boundedness of the orthoprojector over to L-splines. This is a modest attempt in the direction. We consider orthoprojectors on spaces of L-splines generated by certain second-order linear differential operators with constant coefficients. We concern ourselves with whether the $L_2$-norms of the resulting orthoprojectors are bounded independenly of the knot sequence. For exponential splines generated by the operator $L=D^2-\alpha^2$ we find the exact mesh-independent bound, which proves to be the same as in the corresponding polynomial case of linear splines, that is 3. For exponential splines generated by the operator $L=(D-\alpha^2)(D+\beta^2)$ we prove mesh-independent boundedness without finding an explicit bound. For trigonometric splines generated by the operator $L=D^2+\alpha^2$ with standard constraints on the partition diameter we find a mesh-independent bound. We also consider a model example which shows that the above constraints are not necessary for mesh-independent boundedness to hold - due to an interesting "interference" phenomenon, the $L_2$-approximant remains bounded while both its coefficients and the norms of LB-splines tend to infinity.


title: Newton's method with deflation for isolated singularities of polynomial systems

abstract: We present a modification of Newton's method to restore quadratic convergence for isolated singular solutions of polynomial systems. Our method is symbolic-numeric: we produce a new polynomial system which has the original multiple solution as a regular root. Using standard bases, a tool for the symbolic computation of multiplicities, we show that the number of deflation stages is bounded by the multiplicity of the isolated root. Our implementation performs well on a large class of applications.


title: Group actions on central simple algebras: a geometric approach

abstract: We study actions of linear algebraic groups on central simple algebras using algebro-geometric techniques. Suppose an algebraic group G acts on a central simple algebra A of degree n. We are interested in questions of the following type: (a) Do the G-fixed elements form a central simple subalgebra of A of degree n? (b) Does A have a G-invariant maximal subfield? (c) Does A have a splitting field with a G-action, extending the G-action on the center of A? Somewhat surprisingly, we find that under mild assumptions on A and the actions, one can answer these questions by using techniques from birational invariant theory (i.e., the study of group actions on algebraic varieties, up to equivariant birational isomorphisms). In fact, group actions on central simple algebras turn out to be related to some of the central problems in birational invariant theory, such as the existence of sections, stabilizers in general position, affine models, etc. In this paper we explain these connections and explore them to give partial answers to questions (a)-(c).


title: Projective integral models of Shimura varieties of Hodge type with compact factors

abstract: Let $(G,X)$ be a Shimura pair of Hodge type such that $G$ is the Mumford--Tate group of some elements of $X$. We assume that for each simple factor $G_0$ of $G^{\ad}$ there exists a simple factor of $G_{0\dbR}$ which is compact. Let $N\Ge 3$. We show that for many compact open subgroups $K$ of $G(\dbA_f)$, the Shimura variety $\Sh(G,X)/K$ has a projective integral model $\scrN$ over $\dbZ[{1\over N}]$ which is a finite scheme over a certain Mumford moduli scheme $\scrA_{g,1,N}$. Equivalently, we show that if $A$ is an abelian variety over a number field and if the Mumford--Tate group of $A_{\dbC}$ is $G$, then $A$ has potentially good reduction everywhere. The last result represents significant progress towards the proof of a conjecture of Morita. If $\scrN$ is smooth over $\dbZ[{1\over N}]$, then it is a N\'eron model of its generic fibre. In this way one gets in arbitrary mixed characteristic, the very first examples of general nature of projective N\'eron models whose generic fibres are not finite schemes over abelian varieties.


title: Manifolds with non-negative Ricci curvature and Nash inequalities

abstract: We prove that for any complete n-dimensional Riemannian manifold with nonnegative Ricci curvature, if the Nash inequality is satisfied, then it is diffeomorphic to $R^{n}$l.


title: Non-ancient solution of the Ricci flow

abstract: For any complete noncompact K$\ddot{a}$hler manifold with nonnegative and bounded holomorphic bisectional curvature,we provide the necessary and sufficient condition for non-ancient solution to the Ricci flow in this paper.


title: Spatiospectral concentration on a sphere

abstract: We pose and solve the analogue of Slepian's time-frequency concentration problem on the surface of the unit sphere to determine an orthogonal family of strictly bandlimited functions that are optimally concentrated within a closed region of the sphere, or, alternatively, of strictly spacelimited functions that are optimally concentrated within the spherical harmonic domain. Such a basis of simultaneously spatially and spectrally concentrated functions should be a useful data analysis and representation tool in a variety of geophysical and planetary applications, as well as in medical imaging, computer science, cosmology and numerical analysis. The spherical Slepian functions can be found either by solving an algebraic eigenvalue problem in the spectral domain or by solving a Fredholm integral equation in the spatial domain. The associated eigenvalues are a measure of the spatiospectral concentration. When the concentration region is an axisymmetric polar cap the spatiospectral projection operator commutes with a Sturm-Liouville operator; this enables the eigenfunctions to be computed extremely accurately and efficiently, even when their area-bandwidth product, or Shannon number, is large. In the asymptotic limit of a small concentration region and a large spherical harmonic bandwidth the spherical concentration problem approaches its planar equivalent, which exhibits self-similarity when the Shannon number is kept invariant.


title: The adjoint of an even size matrix factors

abstract: We show that the adjoint matrix of a generic square matrix of even size can be factored nontrivially, answering a question of G. Bergman. This note is a preliminary report on work in progress.


title: A Mathematical Theory of the Topological Vertex

abstract: We have developed a mathematical theory of the topological vertex--a theory that was original proposed by M. Aganagic, A. Klemm, M. Marino, and C. Vafa in hep-th/0305132 on effectively computing Gromov-Witten invariants of smooth toric Calabi-Yau threefolds derived from duality between open string theory of smooth Calabi-Yau threefolds and Chern-Simons theory on three manifolds.


title: On endoscopic decomposition of certain depth zero representations

abstract: We construct an endoscopic decomposition for local L-packets associated to irreducible cuspidal Deligne-Lusztig representations. Moreover, the obtained decomposition is compatible with inner twistings.


title: The Chern character for Lie-Rinehart algebras

abstract: Classical Chern-Weil theory proves existence of a ring homomorphism - the Chern character - from the Grothendieck ring of locally free finite rank A-modules to the algebraic de Rham cohomology of A. In this paper we prove existence of a ring homomorphism from the Grothendieck ring of locally free finite rank A-modules with an L-connection to the Lie-Rinehart cohomology of L, where L is a Lie-Rinehart algebra. As a corollary we get the classical Chern character.


title: Another proof of theorems of De Concini and Procesi

abstract: We give a new proof of some characteristic-free fundamental theorems in invariant theory first proved in C. De Concini and C. Procesi, A characteristic free approach to invariant theory, Adv. Math. 21 (1976), 330--354. We treat the action of the general linear group and the symplectic group. Our approach is geometric, and utilizes the fact that the categorical quotients are principal fiber bundles off codimension two or more.


title: Anisotropic Sobolev spaces and dynamical transfer operators: C^infty foliations

abstract: We consider a smooth Anosov diffeomorphism with a smooth dynamical foliation. We show upper bounds on the essential spectral radius of its transfer operator acting on anisotropic Sobolev spaces. (Such bounds are related to the essential decorrelation rate for the SRB measure.) We compare our results to the estimates of Kitaev on the domain of holomorphy of dynamical Fredholm determinants for differentiable dynamics.


title: A counter-example to the theorem of Hiemer and Snurnikov

abstract: A planar polygonal billiard $\P$ is said to have the finite blocking property if for every pair $(O,A)$ of points in $\P$ there exists a finite number of ``blocking'' points $B_1, ..., B_n$ such that every billiard trajectory from $O$ to $A$ meets one of the $B_i$'s. As a counter-example to a theorem of Hiemer and Snurnikov, we construct a family of rational billiards that lack the finite blocking property.


title: On the local constancy of characters

abstract: The character of an irreducible admissible representation of a $p$-adic reductive group is known to be a constant function in some neighborhood of any regular semisimple element $\gamma$ in the group. Under certain mild restrictions on $\gamma$, we give an explicit description of a neighborhood of $\gamma$ on which the character is constant.


title: Mauldin-Williams graphs, Morita Equivalence and Isomorphisms

abstract: We describe a method for associating some non-self-adjoint algebras to Mauldin-Williams graphs and we study the Morita equivalence and isomorphism of these algebras. We also investigate the relationship between the Morita equivalence and isomorphism class of the C^{\ast} -correspondences associated with Mauldin-Williams graphs and the dynamical properties of the Mauldin-Williams graphs.


title: Generalized amalgamated free product of C*-algebras

abstract: We construct a generalized version for the free product of unital C*-algebras over a family of unital C*-subalgebras, starting from the group-analogue. When all the subalgebras are the same, we recover the free product with amalgamation over a common subalgebra. We reduce the problem to the study of minimal amalgams. We specialize to triangles of algebras and subalgebras, study freeness in this context, and give some examples of constructions of minimal amalgams derived from triangles of operator algebras.


title: Abelian self-commutators in finite factors

abstract: An abelian self-commutator in a C*-algebra $\mathcal{A}$ is an element $A$ that can be written as $A=X^*X-XX^*$, with $X\in\mathcal{A}$ such that $X^*X$ and $XX^*$ commute. It is shown that, given a finite AW*-factor $\mathcal{A}$, there exists another finite AW*-factor $\mathcal{M}$ of same type as $\mathcal{A}$, that contains $\mathcal{A}$ as an AW*-subfactor, such that any self-adjoint element $X\in\mathcal{M}$ of quasitrace zero is an abelian self-commutator in $\mathcal{M}$.


title: Notes on the Milnor conjectures

abstract: These are some notes on the two Milnor conjectures and their proofs (due to Voevodsky, Orlov-Vishik-Voevodsky, and Morel).


title: A conjecture on the Poincar{\'e}-Betti series of modules of differential operators on a generic hyperplane arrangement

abstract: Holm studied modules of higher order differential operators (generalising derivations) on generic (central) hyperplane arrangements. We use his results to determine the Hilbert series of these modules. We also give a conjecture about the Poincar{\'e}-Betti series; these are known for the module of derivations through the work of Yuzvinsky and of Rose and Terao.


title: Lipschitz domains, domains with corners and the Hodge Laplacian

abstract: We define self-adjoint extensions of the Hodge Laplacian on Lipschitz domains in Riemannian manifolds, corresponding to either the absolute or the relative boundary condition, and examine regularity properties of these operators' domains and form domains. We obtain results valid for general Lipschitz domains, and stronger results for a special class of ``almost convex'' domains, which apply to domains with corners.


title: Stable bundles on Hopf manifolds

abstract: In this paper, we study holomorphic vector bundles on (diagonal) Hopf manifolds. In particular, we give a description of moduli spaces of stable bundles on generic (non-elliptic) Hopf surfaces. We also give a classification of stable rank-2 vector bundles on generic Hopf manifolds of complex dimension greater than two.


title: Rates of Divergence of non-Conventional Ergodic Averages

abstract: We study the rate of growth of ergodic sums along a sequence (a_n) of times: S_N f(x)=f(T^{a_1}x) + ... + f(T^{a_N}x). We characterize the maximal rate of growth of these ergodic sums and identify a number of sequences such as (2^n) that achieve this rate of growth. We also return to Khintchine's strong uniform distribution Conjecture which stated that the averages (1/N)(f(x)+f(2x mod 1)+...+f(Nx mod 1)) converge pointwise almost everywhere to \int f for an integrable function on [0,1). We give an elementary counterexample to this conjecture, showing that divergence occurs at the maximal rate. In addition, we consider versions of Khintchine's conjecture in which the sequence of positive integers is replaced by the increasing enumeration of a subsemigroup of the positive integers. We give necessary and sufficient conditions on the semigroup for convergence in the modified conjecture.


title: Topological complexity of the relative closure of a semi-Pfaffian couple

abstract: Gabrielov introduced the notion of relative closure of a Pfaffian couple as an alternative construction of the o-minimal structure generated by Khovanskii's Pfaffian functions. In this paper, use the notion of format (or complexity) of a Pfaffian couple to derive explicit upper-bounds for the homology of its relative closure. Keywords: Pfaffian functions, fewnomials, o-minimal structures, Betti numbers.


title: Semimatroids and their Tutte polynomials

abstract: We define and study "semimatroids", a class of objects which abstracts the dependence properties of an affine hyperplane arrangement. We show that geometric semilattices are precisely the posets of flats of semimatroids. We define and investigate the Tutte polynomial of a semimatroid. We prove that it is the universal Tutte-Grothendieck invariant for semimatroids, and we give a combinatorial interpretation for its non-negative coefficients.


title: Cayley groups

abstract: The classical Cayley map, X --> (I_n-X)/(I_n+X), is a birational isomorphism between the special orthogonal group SO_n and its Lie algebra so_n, which is SO_n-equivariant with respect to the conjugating and adjoint actions respectively. We ask whether or not maps with these properties can be constructed for other algebraic groups. We show that the answer is usually "no", with a few exceptions. In particular, we show that a Cayley map for the group SL_n exists if and only if n <= 3. This answers an old question of Luna.


title: One parameter families of Legendrian torus knots

abstract: We compute the Chekanov-Eliashberg contact homology of what we call the Legendrian closure of a positive braid. We also construct an augmentation for each such link diagram. Then we apply the monodromy techniques established in an earlier paper to a certain natural loop in the space L' of positive Legendrian (p,q) torus knots to show that L' has a nontrivial fundamental group, which is mapped non-injectively into the fundamental group of K by the map induced by inclusion (here, K is the space of all smooth positive (p,q) torus knots). This is the first example that Legendrian and classical knots behave differently at the level of one parameter families.


title: Differential Algebra Structures on Familes of Trees

abstract: It is known that the vector space spanned by labeled rooted trees forms a Hopf algebra. Let k be a field and let R be a commutative k-algebra. Let H denote the Hopf algebra of rooted trees labeled using derivations D in Der(R). In this paper, we introduce a construction which gives R a H-module algebra structure and show this induces a differential algebra structure of H acting on R. The work here extends the notion of a R/k-bialgebra introduced by Nichols and Weisfeiler.


title: Another proof of global $F$-regularity of Schubert varieties

abstract: Recently, Lauritzen, Raben-Pedersen and Thomsen proved that Schubert varieties are globally $F$-regular. We give another proof.


title: On Minkowksi's bound for lattice-packings

abstract: We give a new proof of the Minkowski-Hlawka bound on the existence of dense lattices. The proof is based on an elementary method for constructing dense lattices which is almost effective.


title: A family of Schottky groups arising from the hypergeometric equation

abstract: We study a complex 3-dimensional family of classical Schottky groups of genus 2 as monodromy groups of the hypergeometric equation. We find non-trivial loops in the deformation space; these correspond to continuous integer-shifts of the parameters of the equation.


title: Stability of continuous-time distributed consensus algorithms

abstract: We study the stability properties of linear time-varying systems in continuous time whose system matrix is Metzler with zero row sums. This class of systems arises naturally in the context of distributed decision problems, coordination and rendezvous tasks and synchronization problems. The equilibrium set contains all states with identical state components. We present sufficient conditions guaranteeing uniform exponential stability of this equilibrium set, implying that all state components converge to a common value as time grows unbounded. Furthermore it is shown that this convergence result is robust with respect to an arbitrary delay, provided that the delay affects only the off-diagonal terms in the differential equation.


title: Pure state transformations induced by linear operators

abstract: We generalise Wigner's theorem to its most general form possible for B(h) in the sense of completely characterising those vector state transformations of B(h) that appear as restrictions of duals of linear operators on B(h). We then use this result to similarly characterise the pure state transformations of general C*-algebras that appear as restrictions of duals of linear operators on the underlying algebras. This result may be interpreted as a noncommutative Banach-Stone theorem.


title: Introduction to the spectral theory of self-adjoint differential vector-operators

abstract: We study the spectral theory of operators, generated as direct sums of self-adjoint extensions of quasi-differential minimal operators on a multi-interval set (self-adjoint vector-operators), acting in a Hilbert space. Spectral theorems for such operators are discussed, the structure of the ordered spectral representation is investigated for the case of differential coordinate operators. One of the main results is the construction of spectral resolutions. Finally, we study the matters connected with analytical decompositions of generalized eigenfunctions of such vector-operators and build a matrix spectral measure leading to the matrix Hilbert space theory. Results, connected with other spectral properties of self-adjoint vector-operators, such as the introduction of the identity resolution and the spectral multiplicity have also been obtained. Vector-operators have been mainly studied by W.N. Everitt, L. Markus and A. Zettl. Being a natural continuation of Everitt-Markus-Zettl theory, the presented results reveal the internal structure of self-adjoint vector-operators and are essential for the further study of their spectral properties.


title: Non-intersecting, simple, symmetric random walks and the extended Hahn kernel

abstract: Consider $a$ particles performing simple, symmetric, non-intersecting random walks, starting at points $2(j-1)$, $1\le j\le a$ at time 0 and ending at $2(j-1)+c-b$ at time $b+c$. This can also be interpreted as a random rhombus tiling of an $abc$-hexagon, or as a random boxed planar partition confined to a rectangular box with side lengths $a$, $b$ and $c$. The positions of the particles at all times gives a determinantal point process with a correlation kernel given in terms of the associated Hahn polynomials. In a suitable scaling limit we obtain non-intersecting Brownian motions which can be related to Dysons's Hermitian Brownian motion via a suitable transformation.


title: A New Family of Almost Identities

abstract: This paper presents a new family of almost identities. These are based on series that sum to elements close to either rationals or rational multiples of pi. The explanation of the phenomenon takes its roots in the theory of Mellin transforms.


title: Multilinear Eigenfunction Estimates And Global Existence For The Three Dimensional Nonlinear Schr\"Odinger Equations

abstract: We study nonlinear Schr\"odinger equations, posed on a three dimensional Riemannian manifold $M$. We prove global existence of strong $H^1$ solutions on $M=S^3$ and $M=S^2\times S^1$ as far as the nonlinearity is defocusing and sub-quintic and thus we extend the results of Ginibre-Velo and Bourgain who treated the cases of the Euclidean space $\R^3$ and the flat torus $\T^3$ respectively. The main ingredient in our argument is a new set of multilinear estimates for spherical harmonics.


title: Super duality and Kazhdan-Lusztig polynomials

abstract: We establish a direct connection between the representation theories of Lie algebras and Lie superalgebras (of type A) via Fock space reformulations of their Kazhdan-Lusztig theories. As a consequence, the characters of finite-dimensional irreducible modules of the general linear Lie superalgebra are computed by the usual parabolic Kazhdan-Lusztig polynomials of type A. In addition, we establish closed formulas for canonical and dual canonical bases for the tensor product of any two fundamental representations of type A.


title: Characterization of rearrangement invariant spaces with fixed points for the Hardy-Littlewood maximal operator

abstract: We characterize the rearrangement invariant spaces for which there exists a non-constant fixed point, for the Hardy-Littlewood maximal operator (the case for the spaces $L^p(\mathbb{R}^{n})$ was first considered by Korry in \cite{Ko}). The main result that we prove is that the space $L^{\frac{n}{n-2},\infty}(\mathbb{R}^{n})\cap L^{\infty}(\mathbb{R}^{n})$ is minimal among those having this property


title: Mixed norm and multidimensional Lorentz spaces

abstract: In the last decade, the problem of characterizing the normability of the weighted Lorentz spaces has been completely solved (\cite{Sa}, \cite{CaSoA}). However, the question for multidimensional Lorentz spaces is still open. In this paper, we consider weights of product type, and give necessary and sufficient conditions for the Lorentz spaces, defined with respect to the two-dimensional decreasing rearrangement, to be normable. To this end, it is also useful to study the mixed norm Lorentz spaces. Finally, we prove embeddings between all the classical, multidimensional, and mixed norm Lorentz spaces.


title: Chaplygin's sphere

abstract: Chaplygin proved the integrability by quadratures of a round sphere, rolling without slipping on a horizontal plane, with center of mass at the center of the sphere, but with arbitrary moments of inertia. Although the system is integrable in every sense of the word, it neither is a hamiltonian system, nor is the integrability an immediate consequence of the symmetries. On the other hand the constants of motion are obtained as a consequence of a Nother's principle and the system can be related to the geodesic flow on the Euclidean motion group for a left invariant metric. In this paper we analyse the global dynamics and in the process we will explain almost all of Chaplygin's results. At the end of each section we describe in a subsection ``Chaplygin'' the relation between our text and Chaplygin's. We also obtain several new results, such as the proof that the level sets of the constants of motion in the phase space for the rotational motion are two-dimensional tori on which, after a suitable time reparametrization, the rotational motion is quasiperiodic. After suitable completion of the level surfaces this is also true for the complexified system, which is algebraically integrable in the sense of Adler and van Moerbeke. This also follows, in a quite different way, from Chaplygin's integration in terms of hyperelliptic integrals.


title: Shimura curves for level-3 subgroups of the (2,3,7) triangle group, and some other examples

abstract: We determine the Shimura modular curve X_0(3) and the Jacobian of the Shimura modular curve X_1(3) associated with the congruence subgroups Gamma_0(3), Gamma_1(3) of the (2,3,7) triangle group. This group is known to be arithmetic and associated with a quaternion algebra A/K ramified at two of the three real places of K=Q(\cos 2\pi/7) and at no finite primes of K. Since the rational prime 3 is inert in K, the covering X_0(3)/X(1) has degree 28 and Galois group PSL_2(F_27). We determine X_0(3) by computing this cover. We find that X_0(3) is an elliptic curve of conductor 147=3*7^2 over Q, as is the Jacobian J_1(3) of X_1(3); that these curves are related by an isogeny of degree (27-1)/2=13; and that the kernel of the 13-isogeny from J_1(3) to X_0(3) consists of K-rational points. We explain these properties, use X_0(3) to locate some complex multiplication (CM) points on X(1), and describe analogous behavior of a few Shimura curves associated with quaternion algebras over other cyclic cubic fields.


title: A lower bound for the chemical distance in sparse long-range percolation models

abstract: We consider long-range percolation in dimension $d\geq 1$, where distinct sites $x$ and $y$ are connected with probability $p_{x,y}\in[0,1]$. Assuming that $p_{x,y}$ is translation invariant and that $p_{x,y}=\|x-y\|^{-s+o(1)}$ with $s>2d$, we show that the graph distance is at least linear with the Euclidean distance.


title: Structure of the Loday-Ronco Hopf algebra of trees

abstract: Loday and Ronco defined an interesting Hopf algebra structure on the linear span of the set of planar binary trees. They showed that the inclusion of the Hopf algebra of non-commutative symmetric functions in the Malvenuto-Reutenauer Hopf algebra of permutations factors through their Hopf algebra of trees, and these maps correspond to natural maps from the weak order on the symmetric group to the Tamari order on planar binary trees to the boolean algebra. We further study the structure of this Hopf algebra of trees using a new basis for it. We describe the product, coproduct, and antipode in terms of this basis and use these results to elucidate its Hopf-algebraic structure. We also obtain a transparent proof of its isomorphism with the non-commutative Connes-Kreimer Hopf algebra of Foissy, and show that this algebra is related to non-commutative symmetric functions as the (commutative) Connes-Kreimer Hopf algebra is related to symmetric functions.


title: Approximations to -, di- and tri- logarithms

abstract: We propose hypergeometric constructions of simultaneous approximations to polylogarithms. These approximations suit for computing the values of polylogarithms and satisfy 4-term Apery-like (polynomial) recursions.


title: Generically multiple transitive algebraic group actions

abstract: With every nontrivial connected algebraic group $G$ we associate a positive integer ${\rm gtd}(G)$ called the generic transitivity degree of $G$ and equal to the maximal $n$ such that there is a nontrivial action of $G$ on an irreducible algebraic variety $X$ for which the diagonal action of $G$ on $X^n$ admits an open orbit. We show that ${\rm gtd}(G)\leqslant 2$ (respectively, ${\rm gtd}(G)=\nobreak 1$) for all solvable (respectively, nilpotent) $G$, and we calculate ${\rm gtd}(G)$ for all reductive $G$. We prove that if $G$ is nonabelian reductive, then the above maximal $n$ is attained for $X=G/P$ where $P$ is a proper maximal parabolic subgroup of $G$ (but not only for such homogeneous spaces of $G$). For every reductive $G$ and its proper maximal parabolic subgroup $P$, we find the maximal $r$ such that the diagonal action of $G$ (respectively, a Levi subgroup $L$ of ~$P$) on $(G/P)^r$ admits an open $G$-orbit (respectively, $L$-orbit). As an application, we obtain upper bounds for the multiplicities of trivial components in some tensor product decompositions. As another application, we classify all the pairs $(G, P)$ such that the action of $G$ on $(G/P)^3$ admits an open orbit, answering a question of {\sc M. Burger}.


title: Cumulants in Noncommutative Probability Theory IV. De Finetti's Theorem and $L^p$-Inequalities

abstract: In this paper we collect a few results about exchangeability systems in which crossing cumulants vanish, which we call noncrossing exchangeability systems. The main result is a free version of De Finetti's theorem, characterising amalgamated free products as noncrossing exchangeability systems which satisfy a so-called weak singleton condition. The main tool in the proof is an $L^p$-inequality with uniformly bounded constants for i.i.d. sequences in noncrossing exchangeability systems.


title: On numerical solutions to stochastic Volterra equations

abstract: The aim of the paper is to demonstrate the use of the Galerkin method for some kind of Volterra equations, determininistic and stochastic as well. The paper consists of two parts: the theoretical and numerical one. In the first part we recall some apparently well-known results concerning the Volterra equations under consideration. In the second one we describe a numerical algorithm used and next present some examples of numerical solutions in order to illustrate the pertinent features of the technique used in the paper.


title: On the fundamental groups of the complements of Hurwitz curves

abstract: It is proved that the commutator subgroup of the fundamental group of the complement of any plane affine irreducible Hurwitz curve (respectively, any plane affine irreducible pseudoholomorphic curve) is finitely presented. It is shown that there exists a pseudo-holomorphic curve (a Hurwitz curve) in $\mathbb C\mathbb P^2$ whose fundamental group of the complement is not Hopfian and, respectively, this group is not residually finite. In addition, it is proved that there exist an irreducible nonsingular algebraic curve $C\subset \mathbb C^2$ and a bi-disk $D\subset \mathbb C^2$ such that the fundamental group $\pi_1(D\setminus C)$ is not Hopfian.


title: A free subalgebra of the algebra of matroids

abstract: This paper is an initial inquiry into the structure of the Hopf algebra of matroids with restriction-contraction coproduct. Using a family of matroids introduced by Crapo in 1965, we show that the subalgebra generated by a single point and a single loop in the dual of this Hopf algebra is free.


title: ACM bundles on general hypersurfaces in ${\bf P}^5$ of low degree

abstract: In this paper we show that on a general hypersurface of degree $r=3,4,5,6$ in ${\bf P}^5$ a rank 2 vector bundle $E$ splits if and only if $h^1 E(n)=h^2 E(n)=0$ for all $n \in \bf Z$.


title: Equivalences of twisted K3 surfaces

abstract: We prove that two derived equivalent twisted K3 surfaces have isomorphic periods. The converse is shown for K3 surfaces with large Picard number. It is also shown that all possible twisted derived equivalences between arbitrary twisted K3 surfaces form a subgroup of the group of all orthogonal transformations of the cohomology of a K3 surface. The passage from twisted derived equivalences to an action on the cohomology is made possible by twisted Chern characters that will be introduced for arbitrary smooth projective varieties.


title: On a class of representations of the Yangian and moduli space of monopoles

abstract: A new class of infinite dimensional representations of the Yangians $Y(\frak{g})$ and $Y(\frak{b})$ corresponding to a complex semisimple algebra $\frak{g}$ and its Borel subalgebra $\frak{b}\subset\frak{g}$ is constructed. It is based on the generalization of the Drinfeld realization of $Y(\frak{g})$, $\frak{g}=\frak{gl}(N)$ in terms of quantum minors to the case of an arbitrary semisimple Lie algebra $\frak{g}$. The Poisson geometry associated with the constructed representations is described. In particular it is shown that the underlying symplectic leaves are isomorphic to the moduli spaces of $G$-monopoles defined as the components of the space of based maps of $\mathbb{P}^1$ into the generalized flag manifold $X=G/B$. Thus the constructed representations of the Yangian may be considered as a quantization of the moduli space of the monopoles.


title: Augmentations and Rulings of Legendrian Knots

abstract: A connection between holomorphic and generating family invariants of Legendrian knots is established; namely, that the existence of a ruling (or decomposition) of a Legendrian knot is equivalent to the existence of an augmentation of its contact homology. This result was obtained independently and using different methods by Fuchs and Ishkhanov. Close examination of the proof yields an algorithm for constructing a ruling given an augmentation. Finally, a condition for the existence of an augmentation in terms of the rotation number is obtained.


title: Automorphisms of the Hatcher-Thurston complex

abstract: Let S be a compact, connected, orientable surface of positive genus. Let HT(S) be the Hatcher-Thurston complex of S. We prove that Aut(HT(S)) is isomorphic to the extended mapping class group of S modulo its center.


title: A Calculus of Inconsistency I: Sentential Logic

abstract: We describe a graph-theoretic syntax for self-referential formulas as well as a four-valued logic to include contradictory and independent formulas. We then explore the degree to which generalized truth tables can be realized in our theory, and go on to describe a model theory for sentential calculus, wherein models are allowed to include contradictions (such as the ``Liar'') and formulas that result from them as an integral part of their structure. This sets the groundwork for a sequel in which we construct models of set theory that include contradictions.


title: Identities concerning Bernoulli and Euler polynomials

abstract: We establish two general identities for Bernoulli and Euler polynomials, which are of a new type and have many consequences. The most striking result in this paper is as follows: If $n$ is a positive integer, $r+s+t=n$ and $x+y+z=1$, then we have $$rF(s,t;x,y)+sF(t,r;y,z)+tF(r,s;z,x)=0$$ where $$F(s,t;x,y):=\sum_{k=0}^n(-1)^k\binom{s}{k}\binom{t}{n-k}B_{n-k}(x)B_k(y).$$ This symmetric relation implies the curious identities of Miki and Matiyasevich as well as some new identities for Bernoulli polynomials such as $$\sum_{k=0}^n\binom{n}{k}^2B_k(x)B_{n-k}(x)=2\sum^n\Sb k=0 k\not=n-1\endSb\binom{n}{k}\binom{n+k-1}{k}B_k(x)B_{n-k}.$$


title: Diagram models for the covers of the Salvetti complex

abstract: To every affine real arrangement of hyperplanes we associate a family of diagrams of spaces over the face poset of the arrangement. We show that any cover of the complement of the complexification of the arrangement is homotopy equivalent to the homotopy colimit of one of the diagrams. More precisely, we show that any cover of the Salvetti complex is isomorphic to the order complex of the poset limit of one of the diagrams. We thus obtain explicit simplicial models for covers of the Salvetti complex.


title: The Residual Intersection Formula of Type II Exceptional Curves

abstract: The paper is a part of our program to build up a theory of couting immersed nodal curve on algebraic surfaces, as an enumerative Riemann-Roch theory (outlined in math.AG/0405113). In this paper, we discuss the excess intersection theory of the so-called type two exceptional curves, which plays the analogous role as the "index of speciality" (h^2) in the classical surface Riemann-Roch formula. We show that the algebraic family Seiberg-Witten theory of type I exceptional curves can be generalized to the theory of type II exceptional curves when the family moduli spaces are not regular of the expected dimension.


title: Cosmic String, Harvey-Moore Conjecture and Family Seiberg-Witten Theory

abstract: In this paper, we study the enumeration of virtual numbers of immersed nodal curves along certain Calabi-Yau K3 fibrations. By using the concept of cosmic strings, we verify the modularity conjeture of the generating function of immersed nodal curves from String theory (Harvey-Moore). Based on the theory defining virtual numbers of nodal curves on algebraic surface (applying to a pencil of lattice polarized K3), a mathematical definition of virtual numbers of immersed rational curves (so-called Gopakumar-Vafa numbers) for Calabi-Yau K3 fibrations is given and it is shown to match up with string theory prediction.


title: Hochschild duality, localization and smash products

abstract: In this work we study the class of algebras satisfying a duality property with respect to Hochschild homology and cohomology, as in [VdB]. More precisely, we consider the class of algebras $A$ such that there exists an invertible bimodule $U$ and an integer number $d$ with the property $H^{\bullet}(A,M)\cong H_{d-\bullet}(A,U\ot_AM)$, for all $A$-bimodules $M$. We will show that this class is closed under localization and under smash products with respect to Hopf algebras satisfying also the duality property. We also illustrate the subtlety on dualities with smash products developing in detail the example $S(V)#G$, the crossed product of the symmetric algebra on a vector space and a finite group acting linearly on $V$.


title: A note on noncommutative holomorphic and harmonic functions on the unit disk

abstract: We study noncommutative versions of holomorphic and harmonic functions on the unit disk.


title: An extremal problem on potentially $K_{m}-C_{4}$-graphic sequences

abstract: A sequence $S$ is potentially $K_{m}-C_{4}$-graphical if it has a realization containing a $K_{m}-C_{4}$ as a subgraph. Let $\sigma(K_{m}-C_{4}, n)$ denote the smallest degree sum such that every $n$-term graphical sequence $S$ with $\sigma(S)\geq \sigma(K_{m}-C_{4}, n)$ is potentially $K_{m}-C_{4}$-graphical. In this paper, we prove that $\sigma (K_{m}-C_{4}, n)\geq (2m-6)n-(m-3)(m-2)+2,$ for $n \geq m \geq 4.$ We conjecture that equality holds for $n \geq m \geq 4.$ We prove that this conjecture is true for $m=5$.


title: Why There Are No Gaps In The Support Of Non-Negative Integer-Valued Infinitely Divisible Laws?

abstract: Remark.9 in Bose-Dasgupta-Rubin (2002) review states that when a non-negative integer-valued infinitely divisible law has an atom at unity then its support cannot have any gaps. Here one has two questions. (i) Why there are no gaps and (ii) Can there be gaps if the condition is not satisfied. Our investigation with these questions in mind centers on the implications of having and not having atoms at zero and unity. We give two examples/ constructions, which show that the remark needs modification and we modify it.


title: Contraction groups for tidy automorphisms of totally disconnected groups

abstract: We show that recent results of U. Baumgartner and G.A. Willis concerning contraction groups of automorphisms of metrizable, totally disconnected, locally compact groups remain valid also in the non-metrizable case, if one restricts attention to automorphisms for which small tidy subgroups exist.


title: Fusion of Positive Energy Representations of LSpin(2n)

abstract: Building upon the Jones-Wassermann program of studying Conformal Field Theory using operator algebraic tools, and the work of A. Wassermann on the loop group of LSU(n) (Invent. Math. 133 (1998), 467-538), we give a solution to the problem of fusion for the loop group of Spin(2n). Our approach relies on the use of A. Connes' tensor product of bimodules over a von Neumann algebra to define a multiplicative operation (Connes fusion) on the (integrable) positive energy representations of a given level. The notion of bimodules arises by restricting these representations to loops with support contained in an interval I of the circle or its complement. We study the corresponding Grothendieck ring and show that fusion with the vector representation is given by the Verlinde rules. The computation rests on 1) the solution of a 6-parameter family of Knizhnik-Zamolodchikhov equations and the determination of its monodromy, 2) the explicit construction of the primary fields of the theory, which allows to prove that they define operator-valued distributions and 3) the algebraic theory of superselection sectors developed by Doplicher-Haag-Roberts.


title: Mimicking counterfactual outcomes to estimate causal effects

abstract: In observational studies, treatment may be adapted to covariates at several times without a fixed protocol, in continuous time. Treatment influences covariates, which influence treatment, which influences covariates, and so on. Then even time-dependent Cox-models cannot be used to estimate the net treatment effect. Structural nested models have been applied in this setting. Structural nested models are based on counterfactuals: the outcome a person would have had had treatment been withheld after a certain time. Previous work on continuous-time structural nested models assumes that counterfactuals depend deterministically on observed data, while conjecturing that this assumption can be relaxed. This article proves that one can mimic counterfactuals by constructing random variables, solutions to a differential equation, that have the same distribution as the counterfactuals, even given past observed data. These "mimicking" variables can be used to estimate the parameters of structural nested models without assuming the treatment effect to be deterministic.


title: An Analysis of Ising Type Models On Cayley Tree by a Contour Argument

abstract: In the paper the Ising model with competing $J_1$ and $J_2$ interactions with spin values $\pm 1$, on a Cayley tree of order 2 (with 3 neighbors) is considered . We study the structure of the ground states and verify the Peierls condition for the model. Our second result gives description of Gibbs measures for ferromagnetic Ising model with $J_1<0$ and $J_2=0$, using a contour argument which we also develop in the paper. By the argument we also study Gibbs measures for a natural generalization of the Ising model. We discuss some open problems and state several conjectures.\


title: Gibbs Measures For SOS Models On a Cayley Tree

abstract: We consider a nearest-neighbor SOS model, spin values $0,1,..., m$, $m\geq 2$, on a Cayley tree of order $k$ . We mainly assume that $m=2$ and study translation-invariant (TI) and `splitting' (S) Gibbs measures (GMs). For $m=2$, in the anti-ferromagnetic (AFM) case, a symmetric TISGM is unique for all temperatures. In the ferromagnetic (FM) case, for $m=2$, the number of symmetric TISGMs varies with the temperature: here we identify a critical inverse temperature, $\beta^1_{\rm{cr}}$ ($=T_{\rm{cr}}^{\rm{STISG}}$) $\in (0,\infty)$ such that $\forall$ $0\leq \beta\leq\beta^1_{\rm{cr}}$, there exists a unique symmetric TISGM $\mu^*$ and $\forall$ $\beta >\beta^1_{\rm{cr}}$ there are exactly three symmetric TISGMs : $\mu^*_+$, $\mu^*_{\rm m}$ and $\mu^*_-$ For $\beta>\beta^1_{\rm{cr}}$ we also construct a continuum of distinct, symmertric SGMs which are non-TI. Our second result gives complete description of the set of periodic Gibbs measures for the SOS model on a Cayley tree. We show that (i) for an FM SOS model, for any normal subgroup of finite index, each periodic SGM is in fact TI. Further, (ii) for an AFM SOS model, for any normal subgroup of finite index, each periodic SGM is either TI or has period two (i.e., is a chess-board SGM).


title: On a special class of complex tori

abstract: We investigate which complex tori admits complex Lie subgroups whose closure is not complex.


title: Surface Foliations with Compact complex leaves are holomorphic

abstract: Let X be a compact complex surface with a real foliation. If all leaves are compact complex curves, the foliation must be holomorphic.


title: On generating series of complementary planar trees

abstract: We generalize and reprove an identity of Parker and Loday. It states that certain pairs of generating series associated to pairs of labelled rooted planar trees are mutually inverse under composition.