title: Lengths are coordinates for convex structures

abstract: Suppose that N is a geometrically finite orientable hyperbolic 3-manifold. Let P(N,C) be the space of all geometrically finite hyperbolic structures on N whose convex core is bent along a set C of simple closed curves. We prove that the map which associates to each structure in P(N,C) the lengths of the curves in the bending locus C is one-to-one. If C is maximal, the traces of the curves in C are local parameters for the representation space R(N).


title: The logarithmic fibbinomial formula

abstract: Roman logarithmic binomial formula analogue has been found . It is presented here also for the case of fibonomial coefficients which recently have been given a combinatorial interpretation by the present author.


title: Infinite determinacy on a closed set for smooth germs with non-isolated singularities

abstract: We give necessary and sufficient conditions of infinite determinacy for smooth function germs whose critical locus contains a given set. This set is assumed to be the zero variety X of some analytic map germ having maximal rank on a dense subset of X. We obtain a result in terms of Lojasiewicz estimates which extends, in particular, previous works by Sun & Wilson on line singularities, and by Grandjean on singularities of codimension 1 or 2.


title: Existence of Bernstein-Sato polynomials by using the analytic Grobner fan

abstract: In 1987, C. Sabbah proved the existence of Bernstein-Sato polynomials associated with several analytic functions. The purpose of this article is to give a more elementary and constructive proof of the result of C. Sabbah based on the notion of the analytic Gr\"obner fan of a D-module.


title: Analytic representation of functions and a new quasi-analyticity threshold

abstract: We characterize precisely the possible rate of decay of the anti-analytic half of a trigonometric series converging to zero almost everywhere.


title: Some results about the projective normality of abelian varieties

abstract: We reduce the problem of the projective normality of polarized abelian varieties to check the rank of very explicit matrices. This allow us to prove some results on normal generation of primitive line bundles on abelian threefolds and fourfolds. We also give two situations where the projective normality always fails. Finally we make some conjecture.


title: Application of the Wavelet Transform with a Piecewise Linear Basis to the Evaluation of the Hankel Transform

abstract: A method for computing the Hankel transform is proposed whereby the letter is reduced to a sum by representing the integrand as a smooth function times a Bessel function. The smooth function is replaced by its wavelet decomposition with a basis such that its scalar product with the Bessel function is calculated analytically. The result is represented as a series, with the coefficients strongly depending on the local behavior of the function being transformed. The application of the method is demonstrated by an example illustrated with plots.


title: Equilateral sets in finite-dimensional normed spaces

abstract: This is an expository paper on the largest size of equilateral sets in finite-dimensional normed spaces.


title: Local cohomology multiplicities in in terms of \'etale cohomolgy

abstract: We give a description of certain local cohomology invariants (introduced by Lyubeznik) for a class of mildly singular varieties in positive characteristic. The novelty of our approuch lies in using the new Riemann-Hilbert type correspondenc of Emerton and Kisin to express these invariants in terms of 'etale cohomology with ZZ/pZZ coefficients. Thus we are able to obtain results in positive characteristic whereas earlier approaches were restricted (due to the use of de Rham theory) to the analytic case.


title: Intermittency in a catalytic random medium

abstract: In this paper, we study intermittency for the parabolic Anderson equation $\partial u/\partial t=\kappa\Delta u+\xi u$, where $u:\mathbb{Z}^d\times [0,\infty)\to\mathbb{R}$, $\kappa$ is the diffusion constant, $\Delta$ is the discrete Laplacian and $\xi:\mathbb{Z}^d\times[0,\infty)\to\mathbb {R}$ is a space-time random medium. We focus on the case where $\xi$ is $\gamma$ times the random medium that is obtained by running independent simple random walks with diffusion constant $\rho$ starting from a Poisson random field with intensity $\nu$. Throughout the paper, we assume that $\kappa,\gamma,\rho,\nu\in (0,\infty)$. The solution of the equation describes the evolution of a ``reactant'' $u$ under the influence of a ``catalyst'' $\xi$. We consider the annealed Lyapunov exponents, that is, the exponential growth rates of the successive moments of $u$, and show that they display an interesting dependence on the dimension $d$ and on the parameters $\kappa,\gamma,\rho,\nu$, with qualitatively different intermittency behavior in $d=1,2$, in $d=3$ and in $d\geq4$. Special attention is given to the asymptotics of these Lyapunov exponents for $\kappa\downarrow0$ and $\kappa \to\infty$.


title: Duality and triple structures

abstract: We first recall the basic theory of double vector bundles and the canonical pairing of their duals introduced by the author and by Konieczna and Urbanski. We then show that the relationship between a double vector bundle and its two duals can be understood simply in terms of an associated cotangent triple vector bundle. In particular we show that the dihedral group of the triangle acts on this triple via forms of the isomorphisms R introduced by the author and Ping Xu. We then consider the three duals of a general triple vector bundle and show that the corresponding group is neither the dihedral group of the square nor the symmetry group on four symbols.


title: The Residue Determinant

abstract: The purpose of this paper is to present the construction of a canonical determinant functional on elliptic pseudodifferential operators associated to the Guillemin-Wodzicki residue trace. The resulting functional is multiplicative, a local invariant, and not defined by a regularization procedure. The residue determinant is consequently a quite different object to the zeta function (quasi-) determinant, which is non-local and non-multiplicative.


title: A Lagrangian representation of tangles

abstract: We construct a functor from the category of oriented tangles in R^3 to the category of Hermitian modules and Lagrangian relations over Z[t,t^{-1}]. This functor extends the Burau representations of the braid groups and its generalization to string links due to Le Dimet.


title: The Biderivative and A_\infty-bialgebras

abstract: An A_\infty-bialgebra is a DGM H equipped with structurally compatible operations {\omega^{j,i} : H^{\otimes i} --> H^{\otimes j}} such that (H,\omega^{1,i}) is an A_\infty-algebra and (H,\omega^{j,1}) is an A_\infty-coalgebra. Structural compatibility is controlled by the biderivative operator Bd, defined in terms of two kinds of cup products on certain cochain algebras of pemutahedra over the universal PROP U = End(TH).


title: Normal surfaces in topologically finite 3-manifolds

abstract: The concept of a normal surface in a triangulated, compact 3-manifold was generalised by Thurston to a spun-normal surface in a non-compact 3-manifold with ideal triangulation. This paper defines a boundary curve map which takes a spun-normal surface to an element of the direct sum of the first homology groups of the vertex linking surfaces. The boundary curve map is used to study the topology of a spun-normal surface as well as to determine the dimension of the projective solution space of the algebraic equations arising from the quadrilateral coordinates of spun-normal surfaces.


title: About some faces of the generalized Littlewood-Richardson cone

abstract: Let G be a connected reductive algebraic group and H be a reductive closed and connected subgroup of G both defined on an algebraically closed field of characteristic zero. We consider the set C of the couple (x,y) of the dominant weights such that the irreducible H-module of highest weight x is a submodule of the G-module corresponding to y. This set identifies canonically with a semi-group finitely generated in a rational vector space. We consider the generalized Littlewood-Richardson cone C' generated by C. This cone is polyhedral. For any (x',y') in C', x' is dominant, and so, satisfies a finite number (rank of H) of linear inequalities. We ask if these inequalities induce faces of codimension one of C'. By Geometric Invariant Theory methods, we give geometric criteria that imply an affirmative answer. We also apply our results to several classical example in representation theory.


title: Homomorphisms of abelian varieties

abstract: We discuss Galois properties of points of prime order on an abelian variety that imply the simplicity of its endomorphism algebra. Applications to hyperelliptic jacobians are given. In particular, we improve some of our earlier results.


title: Poisson-Lie dynamical r-matrices from Dirac reduction

abstract: The Dirac reduction technique used previously to obtain solutions of the classical dynamical Yang-Baxter equation on the dual of a Lie algebra is extended to the Poisson-Lie case and is shown to yield naturally certain dynamical r-matrices on the duals of Poisson-Lie groups found by Etingof, Enriquez and Marshall in math.QA/0403283.


title: Semiclassical analysis for the Kramers-Fokker-Planck equation

abstract: We study some accurate semiclassical resolvent estimates for operators that are neither selfadjoint nor elliptic, and applications to the Cauchy problem. In particular we get a precise description of the spectrum near the imaginary axis and precise resolvent estimates inside the pseudo-spectrum. We apply our results to the Kramers-Fokker-Planck operator.


title: The Gauss linking integral on the 3-sphere and in hyperbolic 3-space

abstract: We introduce here explicit integral formulas for linking, twisting, writhing and helicity on the 3-sphere and in hyperbolic 3-space. These formulas, like their prototypes in Euclidean 3-space, are geometric rather than just topological, in the sense that their integrands are invariant under orientation-preserving isometries of the ambient space. They are obtained by developing and then applying a steady-state version of classical electrodynamics in these two spaces, including an explicit Biot-Savart formula for the magnetic field and a corresponding Ampere's law contained in Maxwell's equations. The Biot-Savart formula leads, in turn, to upper bounds for the helicity of vector fields and lower bounds for the first eigenvalue of the curl operator on subdomains of the 3-sphere and hyperbolic 3-space. We give only a hint of the proofs.


title: Stabilization for the automorphisms of free groups with boundaries

abstract: The homology groups of the automorphism group of a free group are known to stabilize as the number of generators of the free group goes to infinity, and this paper relativizes this result to a family of groups that can be defined in terms of homotopy equivalences of a graph fixing a subgraph. This is needed for the second author's recent work on the relationship between the infinite loop structures on the classifying spaces of mapping class groups of surfaces and automorphism groups of free groups, after stabilization and plus-construction. We show more generally that the homology groups of mapping class groups of most compact orientable 3-manifolds, modulo twists along 2-spheres, stabilize under iterated connected sum with the product of a circle and a 2-sphere, and the stable groups are invariant under connected sum with a solid torus or a ball. These results are proved using complexes of disks and spheres in reducible 3-manifolds.


title: From mapping class groups to automorphism groups of free groups

abstract: We show that the natural map from the mapping class groups of surfaces to the automorphism groups of free groups, induces an infinite loop map on the classifying spaces of the stable groups after plus construction. The proof uses automorphisms of free groups with boundaries which play the role of mapping class groups of surfaces with several boundary components.


title: Combinatorial construction of toric residues

abstract: The toric residue is a map depending on n+1 semi-ample divisors on a complete toric variety of dimension n. It appears in a variety of contexts such as sparse polynomial systems, mirror symmetry, and GKZ hypergeometric functions. In this paper we investigate the problem of finding an explicit element whose toric residue is equal to one. Such an element is shown to exist if and only if the associated polytopes are essential. We reduce the problem to finding a collection of partitions of the lattice points in the polytopes satisfying a certain combinatorial property. We use this description to solve the problem when n=2 and for any n when the polytopes of the divisors share a complete flag of faces. The latter generalizes earlier results when the divisors were all ample.


title: Limit theorems for sequences of random trees

abstract: We consider a random tree and introduce a metric in the space of trees to define the ``mean tree'' as the tree minimizing the average distance to the random tree. When the resulting metric space is compact we have laws of large numbers and central limit theorems for sequence of independent identically distributed random trees. As application we propose tests to check if two samples of random trees have the same law.


title: The fifty-two icosahedral solutions to Painleve VI

abstract: The solutions of the (nonlinear) Painleve VI differential equation having icosahedral linear monodromy group will be classified up to equivalence under Okamoto's affine F4 Weyl group action and many properties of the solutions will be given. There are 52 classes, the first ten of which correspond directly to the ten icosahedral entries on Schwarz's list of algebraic solutions of the hypergeometric equation. The next nine solutions are simple deformations of known PVI solutions (and have less than five branches) and five of the larger solutions are already known, due to work of Dubrovin and Mazzocco and Kitaev. Of the remaining 28 solutions we will find 20 explicitly using (the author's correction of) Jimbo's asymptotic formula. Amongst those constructed there is one solution that is 'generic' in that its parameters lie on none of the affine F4 hyperplanes, one that is equivalent to the Dubrovin--Mazzocco elliptic solution and three elliptic solutions that are related to the Valentiner three-dimensional complex reflection group, the largest having 24 branches.


title: Algebraic groups over a 2-dimensional local field: some further constructions

abstract: In math.RT/0302174 we developed a framework to study representations of groups of the form $G((t))$, where $G$ is an algebraic group over a local field $K$. The main feature of this theory is that natural representations of groups of this kind are not on vector spaces, but rather on pro-vector spaces. In this paper we present some further constructions related to this theory. The main results include: 1) General theorems insuring representability of covariant functors, 2) Study of the functor of semi-invariants, which is an analog of the functor of semi-infinite cohomology for infinite-dimensional Lie algebras, 3) Construction of representations from the moduli space of $G$-bundles on algebraic curve over $K$.


title: A synthetic characterization of the hemisphere

abstract: We show that round hemispheres are the only compact 2 dimensional Riemannian manifolds (with or without boundary) such that almost every pair of complete geodesics intersect once and only once. We prove this by establishing a sharp isoperimetric inequality for surfaces with boundary such that every pair of geodesics have at most one interior intersection point.


title: Barvinok's Rational Functions: Algorithms and Applications to Optimization, Statistics, and Algebra

abstract: The main theme of this dissertation is the study of the lattice points in a rational convex polyhedron and their encoding in terms of Barvinok's short rational functions. The first part of this thesis looks into theoretical applications of these rational functions to Optimization, Statistics, and Computational Algebra. The main theorem on Chapter 2 concerns the computation of the \emph{toric ideal} $I_A$ of an integral $n \times d$ matrix $A$. We encode the binomials belonging to the toric ideal $I_A$ associated with $A$ using Barvinok's rational functions. If we fix $d$ and $n$, this representation allows us to compute a universal Gr\"obner basis and the reduced Gr\"obner basis of the ideal $I_A$, with respect to any term order, in polynomial time. We derive a polynomial time algorithm for normal form computations which replaces in this new encoding the usual reductions of the division algorithm. Chapter 3 presents three ways to use Barvinok's rational functions to solve Integer Programs. The second part of the thesis is experimental and consists mainly of the software package {\tt LattE}, the first implementation of Barvinok's algorithm. We report on experiments with families of well-known rational polytopes: multiway contingency tables, knapsack type problems, and rational polygons. We also developed a new algorithm, {\em the homogenized Barvinok's algorithm} to compute the generating function for a rational polytope. We showed that it runs in polynomial time in fixed dimension. With the homogenized Barvinok's algorithm, we obtained new combinatorial formulas: the generating function for the number of $5\times 5$ magic squares and the generating function for the number of $3\times 3 \times 3 \times 3$ magic cubes as rational functions.


title: New hysteresis operators with applications to counterterrorism

abstract: We define two models of hysteresis that generalize the Preisach model. The first model is deterministic, the second model is stochastic and it utilizes disconinuous transition probabilities that satisfy impulsive differential equations. For the first model we prove, among other things, a local version of the "wiping out" property; for the stochastic model, we give methods for the construction of solutions of impulsive differential equations that determine the discontinuous transition probabilities. We also present a game-theoretic problem utilizing a generalized hysteresis operator. These hysteresis operators are motivated by questions of modelling the dynamics of decision making processes of networks of loosely knit terrorist groups.


title: A pure subalgebra of a finitely generated algebra is finitely generated

abstract: We prove the following. Let $R$ be a Noetherian ring, $B$ a finitely generated $R$-algebra, and $A$ a pure $R$-subalgebra of $B$. Then $A$ is finitely generated over $R$.


title: Logarithmic Surfaces and Hyperbolicity

abstract: In 1981 J.Noguchi proved that in a logarithmic algebraic manifold, having logarithmic irregularity strictly bigger than its dimension, any entire curve is algebraically degenerate. In the present paper we are interested in the case of manifolds having logarithmic irregularity equal to its dimension. We restrict our attention to Brody curves, for which we resolve the problem completely in dimension 2: Theorem: In a logarithmic surface with logarithmic irregularity 2 and logarithmic Kodaira dimension 2, any Brody curve is algebraically degenerate. We also deal with the case of arbitrary logarithmic Kodaira dimension. As a corollary, we get hyperbolicity for such logarithmic surfaces not containing non-hyperbolic algebraic curves and having hyperbolically stratified boundary divisors. In particular we get the "best possible" result on algebraic degeneracy of Brody curves in the complex plane minus a curve consisting of three components, thus improving results of Dethloff-Schumacher-Wong from 1995.


title: Singularities of linear systems and the Waring Problem

abstract: Waring problem for homogeneus forms asks for additive decomposition of a form $f$ into powers of linear forms. A classical problem is to determine when such a decomposition is unique. In this paper I answer this question when the degree of $f$ is greater than the number of variables. To do this I translate the algebraic statement into a geometric one concerning the singularities of linear systems of $P^n$ with assigned singularities.


title: Zeta integrals and integral geometry in the space of rectangular matrices

abstract: The paper is devoted to interrelation between the zeta distribution and the Radon transform on the space of $n \times m$ real matrices. We present a self-contained proof of the Fourier transform formula for this distribution. Our method differs from that of J. Faraut and A. Koranyi in the part related to justification of the corresponding Bernstein identity. We suggest a new proof of this identity based on explicit representation of the radial part of the Cayley-Laplace operator. We also study convolutions with normalized zeta distributions, and the corresponding Riesz potentials. The results are applied to investigation of Radon transforms on the space of rectangular matrices.


title: Nested sets and Jeffrey Kirwan cycles

abstract: For the complement of a hyperplane arrangement we construct a dual homology basis to the no broken circuit basis of cohomology. This is based on the theory of wonderful embeddings and nested sets.


title: Vertex operator algebras and the Verlinde conjecture

abstract: We prove the Verlinde conjecture in the following general form: Let V be a simple vertex operator algebra satisfying the following conditions: (i) The homogeneous subspaces of V of weights less than 0 are 0, the homogeneous subspace of V of weight 0 is spanned by the vacuum and V' is isomorphic to V as a V-module. (ii) Every weak V-module gradable by nonnegative integers is completely reducible. (iii) V is C_2-cofinite. (In the presence of Condition (i), Conditions (ii) and (iii) are equivalent to a single condition, namely, that every weak V-module is completely reducible.) Then the matrices formed by the fusion rules among the irreducible V-modules are diagonalized by the matrix given by the action of the modular transformation \tau\mapsto -1/\tau on the space of characters of irreducible V-modules. Using this result, we obtain the Verlinde formula for the fusion rules. We also prove that the matrix associated to the modular transformation \tau\mapsto -1/\tau is symmetric.


title: Nonlocal Hamiltonian operators of hydrodynamic type with flat metrics, integrable hierarchies and the equations of associativity

abstract: We solve the problem of describing all nonlocal Hamiltonian operators of hydrodynamic type with flat metrics. This problem is also equivalent to the description of all flat submanifolds with flat normal bundle in a pseudo-Euclidean space. It is proved that every such Hamiltonian operator (or the submanifold corresponding to the operator) gives a pencil of compatible Poisson brackets, generates bi-Hamiltonian integrable hierarchies of hydrodynamic type, and also defines a family of integrals in involution. We prove that a natural special class of such Hamiltonian operators (submanifolds) is described exactly by the equations of associativity of two-dimensional topological quantum field theory (the Witten--Dijkgraaf--Verlinde--Verlinde and Dubrovin equations). It is shown that locally any N-dimensional Frobenius manifold can be presented by a certain special flat N-dimensional submanifold with flat normal bundle in a 2N-dimensional pseudo-Euclidean space. This submanifold is defined uniquely up to motions.

categories: math.DG hep-th math-ph math.MP math.SG nlin.SI


title: Complex codimension one singular foliations and Godbillon-Vey sequences

abstract: Let F be a codimension one singular holomorphic foliation on a compact complex manifold M. Assume that there exists a meromorphic vector field X on M generically transversal to F. Then, we prove that F is the meromorphic pull-back of an algebraic foliation on an algebraic manifold N, or F is transversely projective outside a compact hypersurface, improving our previous work (see version 1). Such a vector field insures the existence of a global meromorphic Godbillon-Vey sequence for the foliation F. We derive sufficient conditions on this sequence insuring such alternative. For instance, if there exists a finite Godbillon-Vey sequence or if the Godbillon-Vey invariant is zero, then either F is the pull-back of a foliation on a surface, or F is transversely projective. We illustrate these results with many examples.


title: Zeta Forms and the Local Family Index Theorem

abstract: For a smooth family F of admissible elliptic pseudodifferential operators with differential form coefficients associated to a geometric fibration of manifolds M--> B we show that there is a natural zeta-form z(F,s) and zeta-determinant- form det(F) in the de-Rham algebra of smooth differential forms, generalizing the classical single operator spectral zeta function and determinant. In the case where F is the curvature of a superconnection the zeta form is exact, extending to families the Atiyah-Bott-Seeley zeta function formula for the pointwise index, and equivalent to the transgression formula for the graded Chern character. The zeta-determinant form leads to the definition of the graded zeta-Chern class form. For a family of compatible Dirac operators D with index bundle Ind(D) we prove a transgression formula leading to a local density representing the Chern class c(Ind(D))in terms of the A-hat genus and twisted Chern character. Globally the meromorphically continued zeta form and zeta determinant form exist only at the level of K-theory as characteristic class maps K(B)->H*(B).


title: Integral Domains whose Simple Overrings are Intersections of Localizations

abstract: Call a domain $R$ an sQQR-domain if each simple overring of $R$, i.e., each ring of the form $R[u]$ with $u$ in the quotient field of $R$, is an intersection of localizations of $R$. We characterize Pr\"ufer domains as integrally closed sQQR-domains. In the presence of certain finiteness conditions, we show that the sQQR-property is very strong; for instance, a Mori sQQR-domain must be a Dedekind domain. We also show how to construct sQQR-domains which have (non-simple) overrings which are not intersections of localizations.


title: Lower Bounds of the First Closed and Neumann Eigenvalues of Compact Manifolds with Positive Ricci Curvature

abstract: We give new estimates on the lower bounds for the first closed or Neumann eigenvalue for a compact manifold with positive Ricci curvature in terms of the diameter and the lower bound of Ricci curvature. The results improve the previous estimates.


title: Uniqueness for the two-dimensional Navier-Stokes equation with a measure as initial vorticity

abstract: We show that any solution of the two-dimensional Navier-Stokes equation whose vorticity distribution is uniformly bounded in $L^1(R^2)$ for positive times is entirely determined by the trace of the vorticity at $t = 0$, which is a finite measure. When combined with previous existence results by Cottet, by Giga, Miyakawa, and Osada, and by Kato, this uniqueness property implies that the Cauchy problem for the vorticity equation in $R^2$ is globally well-posed in the space of finite measures. In particular, this provides an example of a situation where the Navier-Stokes equation is well-posed for arbitrary data in a function space that is large enough to contain the initial data of some self-similar solutions.


title: About Twistor Spinors with Zero in Lorentzian Geometry

abstract: We describe the local conformal geometry of a Lorentzian spin manifold $(M,g)$ admitting a twistor spinor $\phi$ with zero. Moreover, we describe the shape of the zero set of $\phi$. If $\phi$ has isolated zeros then the metric $g$ is locally conformally equivalent to a static monopole. In the other case the zero set consists of null geodesic(s) and $g$ is locally conformally equivalent to a Brinkmann metric. Our arguments utilise tractor calculus in an essential way. The Dirac current of $\phi$, which is a conformal Killing vector field, plays an important role for our discussion as well.


title: Conformal holonomy of bi-invariant metrics

abstract: We discuss in this paper the conformal geometry of bi-invariant metrics on compact semisimple Lie groups. For this purpose we develop a conformal Cartan calculus adapted to this problem. In particular, we derive an explicit formula for the holonomy algebra of the normal conformal Cartan connection of a bi-invariant metric. As an example, we apply this calculus to the group $\SO(4)$. Its conformal holonomy group is calculated to be $\SO(7)$.


title: Irrationality Measures, Irrationality Bases, and a Theorem of Jarnik

abstract: In math.NT/0307308 we defined the irrationality base of an irrational number and, assuming a stronger hypothesis than the irrationality of Euler's constant, gave a conditional upper bound on its irrationality base. Here we develop the general theory of the irrationality exponent and base, giving formulas and bounds for them using continued fractions and the Fibonacci sequence. A theorem of Jarnik on Diophantine approximation yields numbers with prescribed irrationality measure. By another method we explicitly construct series with prescribed irrationality base. Many examples are given.


title: Lambda-determinants and domino-tilings

abstract: Consider the $2n$-by-$2n$ matrix $M=(m_{i,j})_{i,j=1}^{2n}$ with $m_{i,j} = 1$ for $i,j$ satisfying $|2i-2n-1|+|2j-2n-1| \leq 2n$ and $m_{i,j} = 0$ for all other $i,j$, consisting of a central diamond of 1's surrounded by 0's. When $n \geq 4$, the $\lambda$-determinant of the matrix $M$ (as introduced by Robbins and Rumsey) is not well-defined. However, if we replace the 0's by $t$'s, we get a matrix whose $\lambda$-determinant is well-defined and is a polynomial in $\lambda$ and $t$. The limit of this polynomial as $t \to 0$ is a polynomial in $\lambda$ whose value at $\lambda=1$ is the number of domino tilings of a $2n$-by-$2n$ square.


title: Characterization of matrix types of ultramatricial algebras

abstract: A dimension group is a partially ordered countable group such that (1) every finite subset is contained in an ordered subgroup which is a finite direct power of Z and (2) the group has an order unit i.e. a positive element u such that every group element is smaller than a multiple of u. For every subgroup H of the multiplicatice groups of the positive rational numbers a dimension group is constructed whose order-preserving automorphism group is H and H acts on an order unit by multiplication as rational numbers. This implies that for every equivalence relation on the positive integers for which n and m are equivalent if and only if nk and mk are equivalent, there is a ring over which the ring of n times n matrices and the ring of m times m matrices are equivalent if and only if n and m are equivalent.


title: Fusion algebras, symmetric polynomials, orbits of N-groups, and rank-level duality

abstract: A method of computing fusion coefficients for Lie algebras of type $A_{n-1}$ on level $k$ was recently developed by A. Feingold and M. Weiner \cite{FW} using orbits of $\mathbb{Z}_n^k$ under the permutation action of $S_k$ on $k$-tuples. They got the fusion coefficients only for n = 2 and 3. We will extend this method to all $n \geq 2$ and all $k \geq 1$. First we show a connection between Young diagrams and $S_k$-orbits of $\mathbb{Z}_n ^k$, and using Pieri rules we prove that this method works for certain specific weights that generate the fusion algebra. Then we show that the orbit method does not work in general, but with the help of the Jacobi-Trudi determinant, we give an iterative method to reproduce all type A fusion products.


title: Analysis of Social Aspects of Migrant Labourers Living With HIV/AIDS Using Fuzzy Theory and Neutrosophic Cognitive Maps: With Special Reference to Rural Tamil Nadu in India

abstract: This book has seven chapters. The first chapter is introductory in nature and it speaks about the migrant labourers. In chapter two we use Fuzzy Cognitive Maps to analyze the socio-economic problems of HIV/AIDS infected migrant labourers in rural areas of Tamil Nadu. In chapter three we analyze the role played by the government helping these migrant labourers with HIV/AIDS and factors of migration and their vulnerability in catching HIV/AIDS. For the first time Neutrosophic Cognitive Maps are used in the study of migrant labourers who have become HIV/AIDS victims. This study is done in Chapter IV. In chapter V we use Neutrosophic Relational Maps and we define some new neutrosophic tools like Combined Disjoint Block FRM, Combined Overlap NRM and linked NRM. We adopt these new techniques in the study and analysis of this problem. Chapter VI gives a very brief sketch of the life history of these 60 HIV/AIDS infected migrant labourers so that people from different social and cultural backgrounds follow our analysis. The last chapter gives suggestions and conclusions based on our study.


title: Polygons in buildings and their refined side lengths

abstract: As in a symmetric space of noncompact type, one can associate to an oriented geodesic segment in a Euclidean building a vector valued length in the Euclidean Weyl chamber; in addition to the metric length it contains information on the direction of the segment. We study in this paper restrictions on the vector valued side lengths of polygons in (thick) Euclidean buildings. The main result is that the set of possible side lengths of n-gons depends only on the associated spherical Coxeter complex. We show moreover that it coincides with the space of vector valued weights of semistable weighted configurations on the Tits boundary. The side lengths of polygons in symmetric spaces of noncompact type are studied in the related paper [KLM1]. Applications of the geometric results in both papers to algebraic group theory are given in [KLM3].


abstract: The article is devoted to Beta and Gamma functions of Cayley-Dickson numbers. It is shown that there are specific features in comparison with the complex case. These functions serve as examples of meromorphic functions of Cayley-Dickson variables and illustrate applications of line integrals. Useful identities for Beta and Gamma functions are proved.


title: Algebraic properties of a family of Generalized Laguerre Polynomials

abstract: We study the algebraic properties of Generalized Laguerre Polynomials for negative integral values of the parameter. For integers $r,n\geq 0$, we conjecture that $L_n^{(-1-n-r)}(x) = \sum_{j=0}^n \binom{n-j+r}{n-j}x^j/j!$ is a $\Q$-irreducible polynomial whose Galois group contains the alternating group on $n$ letters. That this is so for $r=n$ was conjectured in the 50's by Grosswald and proven recently by Filaseta and Trifonov. It follows from recent work of Hajir and Wong that the conjecture is true when $r$ is large with respect to $n\geq 5$. Here we verify it in three situations: i) when $n$ is large with respect to $r$, ii) when $r \leq 8$, and iii) when $n\leq 4$. The main tool is the theory of $p$-adic Newton Polygons.


title: On the Galois group of Generalized Laguerre Polynomials

abstract: Using the theory of Newton Polygons, we formulate a simple criterion for the Galois group of a polynomial to be ``large.'' For a fixed $\alpha \in \Q - \Z_{<0}$, Filaseta and Lam have shown that the $n$th degree Generalized Laguerre Polynomial $L_n^{(\alpha)}(x) = \sum_{j=0}^n \binom{n+\alpha}{n-j}(-x)^j/j!$ is irreducible for all large enough $n$. We use our criterion to show that, under these conditions, the Galois group of $\La$ is either the alternating or symmetric group on $n$ letters, generalizing results of Schur for $\alpha=0,1$.


title: Correction to a theorem of Schoenberg

abstract: A well-known theorem of Schoenberg states that if f(z) generates a PF_r sequence then 1/f(-z) generates a PF_r sequence. We give two counterexamples which show that this is not true, and give a correct version of the theorem. In the infinite limit the result is sound: if f(z) generates a PF sequence then 1/f(-z) generates a PF sequence.


title: Distributive laws for actions of monoidal categories

abstract: Given a monoidal category C, an ordinary category M, and a monad T in M, the lifts in a strict sense of a fixed action of C on M to an action of C on the Eilenberg-Moore category of T-modules in M are in a bijective correspondence with certain families of natural transformations, indexed by the objects in the monoidal category C. These families are analogues of distributive laws between monads.


title: Module structure of an injective resolution

abstract: Let A be the ring obtained by localizing the polynomial ring k[X,Y,Z,W] over a field k at the maximal ideal (X,Y,Z,W) and modulo the ideal (XW-YZ). Let p be the ideal of A generated by X and Y. We study the module structure of a minimal injective resolution of A/p in details using local cohomology. Applications include the description of Ext^i(M,A/p), where M is a module constructed by Dutta, Hochster and McLaughlin, and the Yoneda product of Ext^*(A/p,A/p).


title: An Explicit Formula Relating Stieltjes Constants and Li's Numbers

abstract: In this paper we present a new formula relating Stieltjes numbers $\gamma _{n}$ and Laurent coefficinets $\eta_{n}$ of logarithmic derivative of the Riemann's zeta function. Using it we derive an explicit formula for the oscillating part of Li's numbers $\overset{\sim}{\lambda}_{n}$ which are connected with the Riemann hypothesis.


title: On the Thurston-Bennequin invariant of graph divide links

abstract: In the present paper we determine the Thurston-Bennequin invariant of graph divide links, which include all closed positive braids, all divide links and certain negative twist knots. As a corollary of this and a result of P. Lisca and A.I. Stipsicz, we prove that the 3-manifold obtained from the 3-sphere by Dehn surgery along a non-trivial graph divide knot K with coefficient r carries positive, tight contact structures for every r except the Thurston-Bennequin invariant of K.


title: Realizability of algebraic Galois extensions by strictly commutative ring spectra

abstract: We discuss some of the basic ideas of Galois theory for commutative S-algebras originally formulated by John Rognes. We restrict attention to the case of finite Galois groups and to global Galois extensions. We describe parts of the general framework developed by Rognes. Central roles are played by the notion of strong duality and a trace mapping constructed by Greenlees and May in the context of generalized Tate cohomology. We give some examples where algebraic data on coefficient rings ensures strong topological consequences. We consider the issue of passage from algebraic Galois extensions to topological ones applying obstruction theories of Robinson and Goerss-Hopkins to produce topological models for algebraic Galois extensions and the necessary morphisms of commutative S-algebras. Examples such as the complex K-theory spectrum as a KO-algebra indicate that more exotic phenomena occur in the topological setting. We show how in certain cases topological abelian Galois extensions are classified by the same Harrison groups as algebraic ones and this leads to computable Harrison groups for such spectra. We end by proving an analogue of Hilbert's theorem 90 for the units associated with a Galois extension.


title: Zeta Determinants on Manifolds with Boundary

abstract: We study the zeta determinant of global boundary problems of APS-type through a general theory for relative spectral invariants. In particular, we compute the zeta determinant for Dirac-Laplacian boundary problems in terms of a scattering Fredholm determinant over the boundary.


title: Normal Conformal Killing Forms

abstract: We introduce in this paper normal twistor equations for differential forms and study their solutions, the so-called normal conformal Killing forms. The twistor equations arise naturally from the canonical normal Cartan connection of conformal geometry. Reductions of its holonomy are related to solutions of the normal twistor equations. The case of decomposable normal conformal holonomy representations is discussed. A typical example with an irreducible holonomy representation are the so-called Fefferman spaces. We also apply our results to describe the geometry of solutions with conformal Killing spinors on Lorentzian spin manifolds.


title: Irreducibility of Perfect Representations of Double Affine Hecke Algebras

abstract: We prove that the quotient of the polynomial representation of the double affine Hecke algebra (DAHA) by the radical of the duality pairing is always irreducible assuming that it is finite dimensional (apart from the roots of unity). We also find necessary and sufficient conditions for the radical to be zero, which is a q-generalization of Opdam's formula for the singular k-parameters with the multiple zero-eigenvalues of the corresponding Dunkl operators.


title: On a Lemma of Bompiani

abstract: We reprove in modern terms and extend to arbitrary dimension a classical result of Enrico Bompiani on algebraic surfaces $X \subset \PP^r$ having very degenerate osculating spaces.


title: On the osculatory behaviour of higher dimensional projective varieties

abstract: Here we explore the geometry of the osculating spaces to projective varieties of arbitrary dimension. In particular, we classify varieties having very degenerate higher order osculating spaces and we determine mild conditions for the existence of inflectionary points.


title: Birational geometry of defective varieties

abstract: Here we investigate the birational geometry of projective varieties of arbitrary dimension having defective higher secant varieties. We apply the classical tool of tangential projections and we determine natural conditions for uniruledness, rational connectivity, and rationality.


title: A Terracini Lemma for osculating spaces with applications to Veronese surfaces

abstract: Here we present a partial generalization to higher order osculating spaces of the classical Lemma of Terracini on ordinary tangent spaces. As an application, we investigate the secant varieties to the osculating varieties to the Veronese embeddings of the projective plane.


title: Osculating spaces to secant varieties

abstract: We generalize the classical Terracini's Lemma to higher order osculating spaces to secant varieties. As an application, we address with the so-called Horace method the case of the $d$-Veronese embedding of the projective 3-space.


title: Some formulae for bivariate Fibonacci and Lucas polynomials

abstract: We derive a collection of identities for bivariate Fibonacci and Lucas polynomials using essentially a matrix approach as well as properties of such polynomials when the variables $x$ and $y$ are replaced by polynomials. A wealth of combinatorial identities can be obtained for selected values of the variables.


title: Nonstandard Transfinite Graphs and Networks of Higher Ranks

abstract: In Chapter 8 of the Book, ``Graphs and Networks: Transfinite and Nonstandard'' (published by Birkhauser-Boston in 2004), nonstandard versions of transfinite graphs and of electrical networks having such graphs were defined and examined but only for the first two ranks, 0 and 1, of transfiniteness. In the present work, these results are extended to higher ranks of transfinteness. Such is done in detail for the natural-number ranks and also for the first transfinite ordinal rank. Results for still higher ranks of transfiniteness can be established in much the same way. Once the transfinite graphs of higher ranks are established, theorems concerning the existence of hyperreal operating points and the satisfaction of Kirchhoff's laws in nonstandard networks of higher ranks can be proven just as they are for nonstandard networks of the first rank.


title: Left-symmetric Algebras From Linear Functions

abstract: In this paper, some left-symmetric algebras are constructed from linear functions. They include a kind of simple left-symmetric algebras and some examples appearing in mathematical physics. Their complete classification is also given, which shows that they can be regarded as generalization of certain 2-dimensional left-symmetric algebras.


title: Weak mixing for interval exchange transformations and translation flows

abstract: We show that a typical interval exchange transformation is either weakly mixing or it is an irrational rotation. We also conclude that a typical translation flow on a surface of genus $g \geq 2$ (with prescribed singularity types) is weakly mixing.


title: Spectral Methods for Partial Differential Equations in Irregular Domains: The Spectral Smoothed Boundary Method

abstract: In this paper, we propose a numerical method to approximate the solution of partial differential equations in irregular domains with no-flux boundary conditions by means of spectral methods. The main features of this method are its capability to deal with domains of arbitrary shape and its easy implementation via Fast Fourier Transform routines. We discuss several examples of practical interest and test the results against exact solutions and standard numerical methods.


title: On some $q$-identities related to divisor functions

abstract: We give generalizations and simple proofs of some $q$-identities of Dilcher, Fu and Lascoux related to divisor functions.


title: Toric degenerations of weight varieties and applications

abstract: We show that a weight variety, which is a quotient of a flag variety by the maximal torus, admits a flat degeneration to a toric variety. In particular, we show that the moduli spaces of spatial polygons degenerate to polarized toric varieties with the moment polytopes defined by the lengths of their diagonals. We extend these results to more general Flaschka-Millson hamiltonians on the quotients of products of projective spaces. We also study boundary toric divisors and certain real loci.


title: Low-lying zeros of families of elliptic curves

abstract: We study the low-lying zeros of various interesting families of elliptic curve L-functions. One application is an upper bound on the average analytic rank of the family of all elliptic curves. The upper bound obtained is less than two, which implies that a positive proportion of elliptic curves over the rationals have algebraic rank equal to analytic rank and finite Tate-Shafarevich group. These results are conditional on the Generalized Riemann Hypothesis.


title: Intersections of finite families of finite index subfactors

abstract: We prove that finiteness of the index of the intersection of a finite set of finite index subalgebras in a von Neumann algebra (with small centre) is equivalent to the finite dimensionality of the algebra generated by the conditional expectations onto the subalgebras.


title: On the Geometry of Static Spacetimes

abstract: We review geometrical properties of a static spacetime $(M,g)$, including geodesic completeness, causality, standard splittings, compact $M$, closed geodesics and geodesic connectedness. We pay special attention to the critical quadratic behavior at infinity of the coefficients $\beta$, $\beta^{-1}$ ($\beta = -g(K,K)$, being $K$ a timelike irrotational Killing vector field), which essentially control completeness, causality and geodesic connectedness. Recent references are specially discussed.


title: Competition interfaces and second class particles

abstract: The one-dimensional nearest-neighbor totally asymmetric simple exclusion process can be constructed in the same space as a last-passage percolation model in Z^2. We show that the trajectory of a second class particle in the exclusion process can be linearly mapped into the competition interface between two growing clusters in the last-passage percolation model. Using technology built up for geodesics in percolation, we show that the competition interface converges almost surely to an asymptotic random direction. As a consequence we get a new proof for the strong law of large numbers for the second class particle in the rarefaction fan and describe the distribution of the asymptotic angle of the competition interface.


title: Volume minimization and estimates for certain isotropic submanifolds in complex projective spaces

abstract: In this note we show the following result using the integral-geometric formula of R. Howard: Consider the totally geodesic $\mathbb{R}P^{2m}$ in $\mathbb{C}P^n$. Then it minimizes volume among the isotropic submanifolds in the same $\mathbb{Z}/2$ homology class in $\mathbb{C}P^n$ (but not among all submanifolds in this $\mathbb{Z}/2$ homology class). Also the totally geodesic $\mathbb{R}P^{2m-1}$ minimizes volume in its Hamiltonian deformation class in $\mathbb{C}P^n$. As a corollary we'll give estimates for volumes of Lagrangian submanifolds in complete intersections in $\mathbb{C}P^n$.


title: The iterated Carmichael \lambda-function and the number of cycles of the power generator

abstract: Iteration of the modular l-th power function f(x) = x^l (mod n) provides a common pseudorandom number generator (known as the Blum-Blum-Shub generator when l=2). The period of this pseudorandom number generator is closely related to \lambda(\lambda(n)), where \lambda(n) denotes Carmichael's function, namely the maximal multiplicative order of any integer modulo n. In this paper, we show that for almost all n, the size of \lambda(\lambda(n)) is n/exp((1+o(1))(log log n)^2 log log log n). We conjecture an analogous formula for the k-th iterate of \lambda. We deduce that for almost all n, the psuedorandom number generator described above has at least exp((1+o(1))(log log n)^2 log log log n) disjoint cycles. In addition, we show that this expression is accurate for almost all n under the assumption of the Generalized Riemann Hypothesis for Kummerian fields. We also consider the number of iterations of \lambda it takes to reduce an integer n to 1, proving that this number is less than (1+o(1))(log log n)/log 2 infinitely often and speculating that log log n is the true order of magnitude almost always.


title: Balls-in-boxes duality for coalescing random walks and coalescing Brownian motions

abstract: We present a duality relation between two systems of coalescing random walks and an analogous duality relation between two systems of coalescing Brownian motions. Our results extends previous work in the literature and we apply it to the study of a system of coalescing Brownian motions with Poisson immigration.


title: A Series Expansion for Integral Powers of Arctangent

abstract: A new series expansion for the function (arctan(x)/x)^n is developed and some properties of the expansion coefficients are obtained.


title: On Some Sums of Digamma and Polygamma functions - Version (2017) and Review

abstract: This paper is an enhanced version of a more than decade-older paper with a similar title. Many formulae involving both finite and infinite sums of digamma and polygamma functions up to quadratic order, few of which appear in standard reference works or the literature, but which periodically arise in applications, are collected, reviewed, listed and developed to the point that a knowledgeable reader could devise a formal proof. Several errors in the literature are corrected


title: Remarks on one combinatorial application of the Aleksandrov-Fenchel inequalities

abstract: In 1981, Stanley applied the Aleksandrov-Fenchel inequalities to prove a logarithmic concavity theorem for regular matroids. Using ideas from electrical network theory we prove a generalization of this for the wider class of matroids with the ``half-plane property''. Then we explore a nest of inequalities for weighted basis-generating polynomials that are related to these ideas. As a first result from this investigation we find that every matroid of rank three or corank three satisfies a condition only slightly weaker than the conclusion of Stanley's theorem.


title: Paperfolding and Catalan numbers

abstract: We reprove a few results concerning paperfolding sequences using properties of Catalan numbers modulo 2.


title: On length and product of harmonic forms in Kaehler geometry

abstract: Motivated by understanding the limiting case of a certain systolic inequality we study compact Riemannian manifolds having all harmonic 1-forms of constant length. We give complete characterizations as far as K\"ahler and hyperbolic geometries are concerned. In the second part of the paper, we give algebraic and topological obstructions to the existence of a geometrically 2-formal K\"ahler metric, at the level of the second cohomology group. A strong interaction with almost K\"ahler geometry is to be noted. In complex dimension 3, we list all the possible values of the second Betti number of a geometrically 2-formal K\"ahler metric.


title: On the dimension theory of skew power series rings

abstract: The first purpose of this paper is to set up a general notion of skew power series rings S over a coefficient ring R, which are then studied by filtered ring techniques. The second subject consists of investigating the class of S-modules which are finitely generated as R-module. In the case that S and R are Auslander regular we show in particular that the codimension of M as S-module is one higher than the codimension of M as R-module. Furthermore its class in the Grothendieck group of S-modules of codimension at most one less vanishes, which is in the spirit of the Gersten conjecture for commutative regular local rings. Finally we apply these results to Iwasawa algebras of p-adic Lie groups.


title: Degenerate principal series of quantum Harish-Chandra modules

abstract: In this paper we study a quantum analogue of a degenerate principal series of $U_q \mathfrak{su}_{n,n}$-modules ($0<q<1$) related to the Shilov boundary of the quantum $n \times n$-matrix unit ball. We give necessary and sufficient conditions for the modules to be simple and unitarizable and investigate their equivalence. These results are q-analogues of known classical results on reducibility and unitarizability of SU(n,n)-modules obtained by Johnson, Sahi, Zhang, Howe and Tan.


title: Mean value surfaces with prescribed curvature form

abstract: The Gaussian curvature of a two-dimensional Riemannian manifold is uniquely determined by the choice of the metric. The formulas for computing the curvature in terms of components of the metric, in isothermal coordinates, involve the Laplacian operator and therefore, the problem of finding a Riemannian metric for a given curvature form may be viewed as a potential theory problem. This problem has, generally speaking, a multitude of solutions. To specify the solution uniquely, we ask that the metric have the mean value property for harmonic functions with respect to some given point. This means that we assume that the surface is simply connected and that it has a smooth boundary. In terms of the so-called metric potential, we are looking for a unique smooth solution to a nonlinear fourth order elliptic partial differential equation with second order Cauchy data given on the boundary. We find a simple condition on the curvature form which ensures that there exists a smooth mean value surface solution. It reads: the curvature form plus half the curvature form for the hyperbolic plane (with the same coordinates) should be $\le0$. The same analysis leads to results on the question of whether the canonical divisors in weighted Bergman spaces over the unit disk have extraneous zeros. Numerical work suggests that the above condition on the curvature form is essentially sharp. Our problem is in spirit analogous to the classical Minkowski problem, where the sphere supplies the chart coordinates via the Gauss map.


title: Weighted Bergman spaces and the integral means spectrum of conformal mappings

abstract: We study the so-called integral means spectrum for univalent functions on the unit disk. Using an inequality of Prawitz (generalizing the classical area theorem of Gronwall), we find -- by applying a Moebius mapping to lift the result to the bidisk -- that it is possible to obtain rather strong estimates from above on the integral means spectrum.


title: Feuilletages totalement geodesiques, flots riemanniens et varietes de Seifert

abstract: We study totally geodesic codimension 1 smooth foliations on Lorentzian manifold. We are in particular interested by the relations between riemannian flows and geodesic foliations. We prove that, up to a 2-cover, any Seifert bundle admit such a foliation.


title: Branch point area methods in conformal mapping

abstract: The classical estimate of Bieberbach -- that $|a_2|\le2$ for a given univalent function $\phi(z)=z+a_2z^2+...$ in the class $S$ -- leads to best possible pointwise estimates of the ratio $\phi''(z)/\phi'(z)$ for $\phi\in S$, first obtained by K\oe{}be and Bieberbach. For the corresponding class $\Sigma$ of univalent functions in the exterior disk, Goluzin found in 1943 -- by extremality methods -- the corresponding best possible pointwise estimates of $\psi''(z)/\psi'(z)$ for $\psi\in\Sigma$. It was perhaps surprising that this time, the expressions involve elliptic integrals. Here, we obtain the area-type theorem which has Goluzin's pointwise estimate as a corollary. This shows that the K\oe{}be-Bieberbach estimate as well as that of Goluzin are both firmly rooted in the area-based methods. The appearance of elliptic integrals finds a natural explanation: they arise because a certain associated covering surface of the Riemann sphere is a torus.


title: The Chu construction for complete atomistic coatomistic lattices

abstract: The Chu construction is used to define a *-autonomous structure on a category of complete atomistic coatomistic lattices. This construction leads to a new tensor product that is compared with a certain number of other existing tensor products.


title: Euclidean quotients of finite metric spaces

abstract: This paper is devoted to the study of quotients of finite metric spaces. The basic type of question we ask is: Given a finite metric space M, what is the largest quotient of (a subset of) M which well embeds into Hilbert space. We obtain asymptotically tight bounds for these questions, and prove that they exhibit phase transitions. We also study the analogous problem for embedings into l_p, and the particular case of the hypercube.


title: Equivariant cohomology and the Maurer-Cartan equation

abstract: Let G be a compact, connected Lie group, acting smoothly on a manifold M. Goresky-Kottwitz-MacPherson described a small Cartan model for the equivariant cohomology of M, quasi-isomorphic to the standard Cartan complex of equivariant differential forms. In this paper, we construct an explicit cochain map from the small Cartan model into the standard Cartan model, inducing an isomorphism in cohomology. The construction involves the solution of a remarkable inhomogeneous Maurer-Cartan equation. This solution has further applications to the theory of transgression in the Weil algebra, and to the Chevalley-Koszul theory of the cohomology of principal bundles.


title: On two theorems for flat, affine group schemes over a discrete valuation ring

abstract: We include short and elementary proofs of two theorems characterizing reductive group schemes over a discrete valuation ring, in a slightly more general context.


title: Arens-Michael enveloping algebras and analytic smash products

abstract: Let g be a finite-dimensional complex Lie algebra, and let U(g) be its universal enveloping algebra. We prove that if \hat{U}(g), the Arens-Michael envelope of U(g), is stably flat over U(g) (i.e., if the canonical homomorphism U(g)-->\hat{U}(g) is a localization in the sense of Taylor), then g is solvable. To this end, given a cocommutative Hopf algebra H and an H-module algebra A, we explicitly describe the Arens-Michael envelope of the smash product A#H as an ``analytic smash product'' of their completions w.r.t. certain families of seminorms.


title: On metric Ramsey-type phenomena

abstract: The main question studied in this article may be viewed as a nonlinear analogue of Dvoretzky's theorem in Banach space theory or as part of Ramsey theory in combinatorics. Given a finite metric space on n points, we seek its subspace of largest cardinality which can be embedded with a given distortion in Hilbert space. We provide nearly tight upper and lower bounds on the cardinality of this subspace in terms of n and the desired distortion. Our main theorem states that for any epsilon>0, every n point metric space contains a subset of size at least n^{1-\epsilon} which is embeddable in Hilbert space with O(\frac{\log(1/\epsilon)}{\epsilon}) distortion. The bound on the distortion is tight up to the log(1/\epsilon) factor. We further include a comprehensive study of various other aspects of this problem.


title: p-torsion elements in local cohomology modules

abstract: We construct an example where a local cohomology module of a hypersurface has p-torsion elements for every prime integer p, and consequently has infinitely many associated prime ideals. We also answer a related question of Hochster.


title: p-torsion elements in local cohomology modules. II

abstract: Lyubeznik conjectured that local cohomology modules of regular rings have finitely many associated primes. We examine this conjecture for polynomial rings over the integers, and record some equational identities that arise from studying special cases.


title: Associated primes of local cohomology modules

abstract: This is an expanded version of a lecture on finiteness properties of local cohomology modules given at the 48th Algebra Symposium held at Nagoya University in August 2003.


title: Associated primes of local cohomology modules and of Frobenius powers

abstract: We construct normal hypersurfaces whose local cohomology modules have infinitely many associated primes. These include unique factorization domains of characteristic zero with rational singularities, as well as F-regular unique factorization domains of positive characteristic. As a consequence, we answer a question on the associated primes of Frobenius powers of ideals, which arose from the localization problem in tight closure theory.


title: On some low distortion metric Ramsey problems

abstract: In this note, we consider the metric Ramsey problem for the normed spaces l_p. Namely, given some 1<=p<=infinity and alpha>=1, and an integer n, we ask for the largest m such that every n-point metric space contains an m-point subspace which embeds into l_p with distortion at most alpha. In [arXiv:math.MG/0406353] it is shown that in the case of l_2, the dependence of $m$ on alpha undergoes a phase transition at alpha=2. Here we consider this problem for other l_p, and specifically the occurrence of a phase transition for p other than 2. It is shown that a phase transition does occur at alpha=2 for every p in the interval [1,2]. For p>2 we are unable to determine the answer, but estimates are provided for the possible location of such a phase transition. We also study the analogous problem for isometric embedding and show that for every 1<p<infinity there are arbitrarily large metric spaces, no four points of which embed isometrically in l_p.


title: The Cayley-Menger determinant is irreducible for $n\geq 3$

abstract: We prove that the Cayley-Menger determinant of an $n$-dimensional simplex is an absolutely irreducible polynomial for $n\geq3.$ We also study the irreducibility of polynomials associated to related geometric constructions.


title: Convergence of multiple ergodic averages for some commuting transformations

abstract: We prove the $L^{2}$ convergence for the linear multiple ergodic averages of commuting transformations $T_{1}, ..., T_{l}$, assuming that each map $T_i$ and each pair $T_iT_j^{-1}$ is ergodic for $i\neq j$. The limiting behavior of such averages is controlled by a particular factor, which is an inverse limit of nilsystems. As a corollary we show that the limiting behavior of linear multiple ergodic averages is the same for commuting transformations.


title: Collision Free Motion Planning on Graphs

abstract: A topological theory initiated recently by the author uses methods of algebraic topology to estimate numerically the character of instabilities arising in motion planning algorithms. The present paper studies random motion planning algorithms and reveals how the topology of the robot's configuration space influences their structure. We prove that the topological complexity of motion planning TC(X) coincides with the minimal n such that there exists an n-valued random motion planning algorithm for the system; here $X$ denotes the configuration space. We study in detail the problem of collision free motion of several objects on a graph G. We describe an explicit motion planning algorithm for this problem. We prove that if G is a tree and if the number of objects is large enough, then the topological complexity of this motion planning problem equals 2m(G)+1 where m(G) is the number of the essential vertices of G. It turns out (in contrast with the results on the collision free control of many objects in space obtained earlier jointly with S. Yuzvinsky) that the topological complexity is independent of the number of particles.


title: Large deviations and support results for nonlinear Schrodinger equations with additive noise and applications

abstract: Sample path large deviations for the laws of the solutions of stochastic nonlinear Schrodinger equations when the noise converges to zero are presented. The noise is a complex additive gaussian noise. It is white in time and colored space wise. The solutions may be global or blow-up in finite time, the two cases are distinguished. The results are stated in trajectory spaces endowed with projective limit topologies. In this setting, the support of the law of the solution is also characterized. As a consequence, results on the law of the blow-up time and asymptotics when the noise converges to zero are obtained. An application to the transmission of solitary waves in fiber optics is also given.


title: Infinite sums of Adams operations and cobordism

abstract: In recent work by Clarke, Crossley and the second author, various algebras of stable degree zero operations in p-local K-theory were described explicitly. The elements are certain infinite sums of Adams operations. Here we show how to make sense of the same expressions for p-local cobordism and for BP, thus identifying the "Adams subalgebra" of the algebras of operations. We prove that the Adams subalgebra is the centre of the ring of degree zero operations.


title: A Thinning Analogue of de Finetti's Theorem

abstract: We consider a notion of uniform thinning for a finite sequence of random variables $(X_1,...,X_n)$ obtained by removing one random variable, uniformly at random. If a triangular array of random variables $(X_{n,k} : n \in \mathbb{N}_+, 1 \le k \le n)$ satisfies that the law of $(X_{n,1},...,X_{n,n})$ is obtained by uniformly thinning $(X_{n+1,1},...,X_{n+1,n+1})$, then we call the array thinning-invariant. We give a representation for the Choquet simplex of all thinning-invariant triangular arrays of random variables, when all random variables take values in a compact metric space (with Borel measurable distributions). We give two applications: to long-ranged, asymmetric classical spin chains, and long-ranged, asymmetric simple exclusion processes.


title: A computer-based approach to the classification of nilpotent Lie algebras

abstract: We adopt the $p$-group generation algorithm to classify small-dimensional nilpotent Lie algebras over small fields. Using an implementation of this algorithm, we list the nilpotent Lie algebras of dimension at most~9 over $\F_2$ and those of dimension at most~7 over $\F_3$ and $\F_5$.


title: On the failure of pseudo-nullity of Iwasawa modules

abstract: We consider the family of CM-fields which are pro-p p-adic Lie extensions of number fields of dimension at least two, which contain the cyclotomic Z_p-extension, and which are ramified at only finitely many primes. We show that the Galois groups of the maximal unramified abelian pro-p extensions of these fields are not always pseudo-null as Iwasawa modules for the Iwasawa algebras of the given p-adic Lie groups. The proof uses Kida's formula for the growth of lambda-invariants in cyclotomic Z_p-extensions of CM-fields. In fact, we give a new proof of Kida's formula which includes a slight weakening of the usual assumption that mu is trivial. This proof uses certain exact sequences involving Iwasawa modules in procyclic extensions. These sequences are derived in an appendix by the second author.


title: Dynamics of regular birational maps in P^k

abstract: We develop the study of some spaces of currents of bidegree (p,p). As an application we construct the equilibrium measure for a large class of birational maps of P^k as intersection of Green currents. We show that these currents are extremal and that the corresponding measure is mixing.


title: Hele-Shaw flow on weakly hyperbolic surfaces

abstract: We consider the Hele-Shaw flow that arises from injection of two-dimensional fluid into a point of a curved surface. The resulting fluid domains have and are more or less determined implicitly by a mean value property for harmonic functions. We improve on the results of Hedenmalm and Shimorin \cite{HS} and obtain essentially the same conclusions while imposing a weaker curvature condition on the surface. Incidentally, the curvature condition is the same as the one that appears in a recent paper of Hedenmalm and Perdomo, where the problem of finding smooth area minimizing surfaces for a given curvature form under a natural normalizing condition was considered. Probably there are deep reasons behind this coincidence.


title: Curious properties of canonical divisors in weighted Bergman spaces

abstract: We study properties of the weighted Bergman hernel on the unit disk. As we restrict to the subspace of all functions that vanish at a given point, we obtain the reproducing kernel for the subspace from the above weighted Bergman kernel via a simple formula. Division properties of this new kernel are studied.


title: Lusin's Theorem and Bochner Integration

abstract: It is shown that the approximating functions used to define the Bochner integral can be formed using geometrically nice sets, such as balls, from a differentiation basis. Moreover, every appropriate sum of this form will be within a preassigned $\epsilon$ of the integral, with the sum for the local errors also less than $\epsilon$. All of this follows from the ubiquity of Lebesgue points, which is a consequence of Lusin's theorem, for which a simple proof is included in the discussion.


title: Estimates of Henstock--Kurzweil Poisson integrals

abstract: If $f$ is a real-valued function on $[-\pi,\pi]$ that is Henstock--Kurzweil integrable, let $u_r(\theta)$ be its Poisson integral. It is shown that $\|u_r\|_p=o(1/(1-r))$ as $r\to 1$ and this estimate is sharp for $1\leq p\leq\infty$. If $\mu$ is a finite Borel measure and $u_r(\theta)$ is its Poisson integral then for each $1\leq p\leq \infty$ the estimate $\|u_r\|_p=O((1-r)^{1/p-1})$ as $r\to 1$ is sharp. The Alexiewicz norm estimates $\|u_r\|\leq\|f\|$ ($0\leq r<1$) and $\|u_r-f\|\to 0$ ($r\to 1$) hold. These estimates lead to two uniqueness theorems for the Dirichlet problem in the unit disc with Henstock--Kurzweil integrable boundary data. There are similar growth estimates when $u$ is in the harmonic Hardy space associated with the Alexiewicz norm and when $f$ is of bounded variation.


title: Estimates of the remainder in Taylor's theorem using the Henstock--Kurzweil integral

abstract: When a real-valued function of one variable is approximated by its $n^{th}$ degree Taylor polynomial, the remainder is estimated using the Alexiewicz and Lebesgue $p$-norms in cases where $f^{(n)}$ or $f^{(n+1)}$ are Henstock--Kurzweil integrable. When the only assumption is that $f^{(n)}$ is Henstock--Kurzweil integrable then a modified form of the $n^{th}$ degree Taylor polynomial is used. When the only assumption is that $f^{(n)}\in C^0$ then the remainder is estimated by applying the Alexiewicz norm to Schwartz distributions of order 1.


title: Hyperplane arrangements and K-theory

abstract: We study the Z/2-equivariant K-theory of the complement of the complexification of a real hyperplane arrangement. We compute the rational K and KO rings, and give two different combinatorial descriptions of the subring of the integral KO ring generated by line bundles.


title: On Metric Ramsey-type Dichotomies

abstract: The classical Ramsey theorem, states that every graph contains either a large clique or a large independent set. Here we investigate similar dichotomic phenomena in the context of finite metric spaces. Namely, we prove statements of the form "Every finite metric space contains a large subspace that is nearly quilateral or far from being equilateral". We consider two distinct interpretations for being "far from equilateral". Proximity among metric spaces is quantified through the metric distortion D. We provide tight asymptotic answers for these problems. In particular, we show that a phase transition occurs at D=2.


title: The sharp Hausdorff measure condition for length of projections

abstract: In a recent paper, Pertti Mattila asked which gauge functions $\phi$ have the property that for any planar Borel set $A$ with positive Hausdorff measure in gauge $\phi$, the projection of $A$ to almost every line has positive length. We show that integrability near zero of $\phi(r)/(r^2)$, which is known to be sufficient for this property, is also necessary if $\phi$ is regularly varying. Our proof is based on a random construction adapted to the gauge function.


title: The zeros of random polynomials cluster uniformly near the unit circle

abstract: In this paper we deduce a universal result about the asymptotic distribution of roots of random polynomials, which can be seen as a complement to an old and famous result of Erdos and Turan. More precisely, given a sequence of random polynomials, we show that, under some very general conditions, the roots tend to cluster near the unit circle, and their angles are uniformly distributed. The method we use is deterministic: in particular, we do not assume independence or equidistribution of the coefficients of the polynomial.


title: Homology stability for outer automorphism groups of free groups

abstract: We prove that the quotient map from Aut(F_n) to Out(F_n) induces an isomorphism on homology in dimension i for n at least 2i+4. This corrects an earlier proof by the first author and significantly improves the stability range. In the course of the proof, we also prove homology stability for a sequence of groups which are natural analogs of mapping class groups of surfaces with punctures. In particular, this leads to a slight improvement on the known stability range for Aut(F_n), showing that its i-th homology is independent of n for n at least 2i+2.


title: Combinatorial proofs of inverse relations and log-concavity for Bessel numbers

abstract: Let the Bessel number of the second kind B(n,k) be the number of set partitions of [n] into k blocks of size one or two, and let the Bessel number of the first kind b(n,k) be a certain coefficient in n-th Bessel polynomial. In this paper, we show that Bessel numbers satisfy two properties of Stirling numbers: The two kinds of Bessel numbers are related by inverse formulas, and both Bessel numbers of the first kind and the second kind form log-concave sequences. By constructing sign-reversing involutions, we prove the inverse formulas. We review Krattenthaler's injection for the log-concavity of Bessel numbers of the second kind, and give a new explicit injection for the log-concavity of signless Bessel numbers of the first kind.


title: Graph diameter in long-range percolation

abstract: We study the asymptotic growth of the diameter of a graph obtained by adding sparse "long" edges to a square box in $\Z^d$. We focus on the cases when an edge between $x$ and $y$ is added with probability decaying with the Euclidean distance as $|x-y|^{-s+o(1)}$ when $|x-y|\to\infty$. For $s\in(d,2d)$ we show that the graph diameter for the graph reduced to a box of side $L$ scales like $(\log L)^{\Delta+o(1)}$ where $\Delta^{-1}:=\log_2(2d/s)$. In particular, the diameter grows about as fast as the typical graph distance between two vertices at distance $L$. We also show that a ball of radius $r$ in the intrinsic metric on the (infinite) graph will roughly coincide with a ball of radius $\exp\{r^{1/\Delta+o(1)}\}$ in the Euclidean metric.


title: Mirror symmetry and Langlands duality in the non-Abelian Hodge theory of a curve

abstract: This is a survey of results and conjectures on mirror symmetry phenomena in the non-Abelian Hodge theory of a curve. We start with the conjecture of Hausel-Thaddeus which claims that certain Hodge numbers of moduli spaces of flat SL(n,C) and PGL(n,C)-connections on a smooth projective algebraic curve agree. We then change our point of view in the non-Abelian Hodge theory of the curve, and concentrate on the SL(n,C) and PGL(n,C) character varieties of the curve. Here we discuss a recent conjecture of Hausel-Rodriguez-Villegas which claims, analogously to the above conjecture, that certain Hodge numbers of these character varieties also agree. We explain that for Hodge numbers of character varieties one can use arithmetic methods, and thus we end up explicitly calculating, in terms of Verlinde-type formulas, the number of representations of the fundamental group into the finite groups SL(n,F_q) and PGL(n,F_q), by using the character tables of these finite groups of Lie type. Finally we explain a conjecture which enhances the previous result, and gives a simple formula for the mixed Hodge polynomials, and in particular for the Poincare polynomials of these character varieties, and detail the relationship to results of Hitchin, Gothen, Garsia-Haiman and Earl-Kirwan. One consequence of this conjecture is a curious Poincare duality type of symmetry, which leads to a conjecture, similar to Faber's conjecture on the moduli space of curves, about a strong Hard Lefschetz theorem for the character variety, which can be considered as a generalization of both the Alvis-Curtis duality in the representation theory of finite groups of Lie type and a recent result of the author on the quaternionic geometry of matroids.


title: Two Bijections for Dyck Path Parameters

abstract: Here we give two bijections, one to show that the number of UUU-free Dyck n-paths is the Motzkin number M_n, the other to obtain the (known) distributions of the parameters "number of UDUs" and "number of DDUs" on Dyck n-paths. The first bijection is straightforward, the second not quite so obvious.


title: How to generalize known results on equations over groups

abstract: The known facts about solvability of equations over groups are considered from a more general point of view. A generalized version of the theorem about solvability of unimodular equations over torsion-free groups is proved. In a special case, this generalized version become a multivariable variant of this theorem. For unimodular equations over torsion free groups, we prove an analogue of Magnus's Freiheitssatz, which asserts that there exists a solution with good behavior with respect to free factors of the initial group.


title: Homological Methods for Hypergeometric Families

abstract: We analyze the behavior of the holonomic rank in families of holonomic systems over complex algebraic varieties by providing homological criteria for rank-jumps in this general setting. Then we investigate rank-jump behavior for hypergeometric systems H_A(\beta) arising from a d x n integer matrix A and a parameter \beta \in \CC^d. To do so we introduce an Euler-Koszul functor for hypergeometric families over \CC^d, whose homology generalizes the notion of a hypergeometric system, and we prove a homology isomorphism with our general homological construction above. We show that a parameter \beta is rank-jumping for H_A(\beta) if and only if \beta lies in the Zariski closure of the set of \ZZ^d-graded degrees \alpha where the local cohomology \bigoplus_{i<d}H^i_\frakm(\CC[\NN A])_\alpha of the semigroup ring \CC[\NN A] supported at its maximal graded ideal \frakm is nonzero. Consequently, H_A(\beta) has no rank-jumps over \CC^d if and only if \CC[\NN A] is Cohen-Macaulay of dimension d.


title: The affine stratification number and the moduli space of curves

abstract: We define the affine stratification number asn X of a scheme X. For X equidimensional, it is the minimal number k such that there is a stratification of X by locally closed affine subschemes of codimension at most k. We show that the affine stratification number is well-behaved, and bounds many aspects of the topological complexity of the scheme, such as vanishing of cohomology groups of quasicoherent, constructible, and l-adic sheaves. We explain how to bound asn X in practice. We give a series of conjectures (the first by E. Looijenga) bounding the affine stratification number of various moduli spaces of pointed curves. For example, the philosophy of [GV, Theorem *] yields: the moduli space of genus g, n-pointed complex curves of compact type (resp. with "rational tails") should have the homotopy type of a finite complex of dimension at most 5g-6+2n (resp. 4g-5+2n). This investigation is based on work and questions of Looijenga. One relevant example turns out to be a proper integral variety with no embeddings in a smooth algebraic space. This one-paragraph construction appears to be simpler and more elementary than the earlier examples, due to Horrocks and Nori.


title: Regular local algebras over a Pruefer domain: weak dimension and regular sequences

abstract: A not necessarily noetherian local ring O is called regular if every finitely generated ideal I of O possesses finite projective dimension. In the article localizations O of a finitely presented, flat algebra A over a Pruefer domain R at a prime q are investigated with respect to regularity: this property of O is shown to be equivalent to the finiteness of the weak homological dimension wdim(O). A formula to compute wdim(O) is provided. Furthermore regular sequences within the maximal ideal M of O are studied: it is shown that regularity of O implies the existence of a maximal regular sequence of length wdim(O). If height(p) is finite, where p is the intersection of q with R, then this sequence can be choosen such that the radical of the ideal generated by the members of the sequence equals M. As a consequence it is proved that if O is regular, then the (noetherian) factor ring O/pO is Cohen-Macaulay. If pR_p is not finitely generated, then O/pO itself is regular.


title: Atiyah-Sutcliffe Conjectures for Almost Collinear Configurations and Some New Conjectures for Symmetric Functions

abstract: In 2001 Sir M. F. Atiyah formulated a conjecture (C1) and later with P. Sutcliffe two stronger conjectures (C2) and (C3). These conjectures, inspired by physics (spin-statistics theorem of quantum mechanics), are geometrically defined for any configuration of points in the Euclidean three space. The conjecture (C1) is proved for n=3,4 and for general n only for some special configurations (M. F. Atiyah, M. Eastwood and P. Norbury, D. Djokovic). In this paper we shall explain some new conjectures for symmetric functions which imply (C2) and (C3) for almost collinear configurations. Computations up to n=6 are performed with a help of Maple and J. Stembridge's package SF for symmetric functions. For n=4 the conjectures (C2) and (C3) we have also verified for some infinite families of tetrahedra. This is a joint work with I. Urbiha. Finally we mention that by minimizing a geometrically defined energy, figuring in these conjectures, one gets a connection to some complicated physical theories, such as Skyrmions and Fullerenes.


title: On surfaces of class VII_0^+ with numerically anticanonical divisor

abstract: We consider minimal compact complex surfaces S with Betti numbers b_1=1 and n=b_2>0. A theorem of Donaldson gives n exceptional line bundles. We prove that if in a deformation, these line bundles have sections, S is a degeneration of blown-up Hopf surfaces. Besides, if there exists an integer m>0 and a flat line bundle F such that -mK\otimes F has nontrivial sections, then S contains a Global Spherical Shell. We apply this last result to complete classification of bihermitian surfaces.


title: Power series expansions of modular forms and their interpolation properties

abstract: Let x be a CM point on a modular or Shimura curve and p a prime of good reduction, split in the CM field K. We define an expansion of an holomorphic modular form f in the p-adic neighborhood of x and show that the expansion coefficients give information on the p-adic ring of definition of f. Also, we show that letting x vary in its Galois orbit, the expansions coefficients allow to construct a p-adic measure whose moments squared are essentially the values at the centre of symmetry of L-functions of the automorphic representation attached to f based-changed to K and twisted by a suitable family of Grossencharakters for K.


title: Morita classes in the homology of automorphism groups of free groups

abstract: Using Kontsevich's identification of the homology of the Lie algebra l_infty with the cohomology of Out(F_r), Morita defined a sequence of 4k-dimensional classes mu_k in the unstable rational homology of Out(F_{2k+2}). He showed by a computer calculation that the first of these is non-trivial, so coincides with the unique non-trivial rational homology class for Out(F_4). Using the "forested graph complex" introduced in [Algebr. Geom. Topol. 3 (2003) 1167--1224], we reinterpret and generalize Morita's cycles, obtaining an unstable cycle for every connected odd-valent graph. (Morita has independently found similar generalizations of these cycles.) The description of Morita's original cycles becomes quite simple in this interpretation, and we are able to show that the second Morita cycle also gives a nontrivial homology class. Finally, we view things from the point of view of a different chain complex, one which is associated to Bestvina and Feighn's bordification of outer space. We construct cycles which appear to be the same as the Morita cycles constructed in the first part of the paper. In this setting, a further generalization becomes apparent, giving cycles for objects more general than odd-valent graphs. Some of these cycles lie in the stable range. We also observe that these cycles lift to cycles for Aut(F_r).


title: Hypercomplex structures on Kaehler manifolds

abstract: Let (M,I) be a compact Kaehler manifold admitting a hypercomplex structure. We show that (M, I) admits a natural HKT-metric. This is used to construct a holomorphic symplectic form on (M,I).


title: Fourier tranform in exponential rearrangement invariant spaces

abstract: In this article we investigate the Fourier series and transforms for the functions defined on the $ [0, 2 \pi]^ d $ or $ R^d $ and belonging to the exponential Orlicz and some other rearrangement invariant (r.i.) spaces.


title: Level Crossing Probabilities I: One-dimensional Random Walks and Symmetrization

abstract: We prove for an arbitrary one-dimensional random walk with independent increments that the probability of crossing a level at a given time n has the order of square root of n. Moment or symmetry assumptions are not necessary. In removing symmetry the (sharp) inequality P(|X+Y| <= 1) < 2 P(|X-Y| <= 1) for independent identically distributed X,Y is used. In part II we shall discuss the connection of this result to 'polygonal recurrence' of higher-dimensional walks and some conjectures on directionally random walks in the sense of Mauldin, Monticino and v.Weizsaecker [5].


title: Nonlinear Connections and Exact Solutions in Einstein and Extra Dimension Gravity

abstract: We outline a new geometric method of constructing exact solutions of gravitational field equations parametrized by generic off-diagonal metrics, anholonomic frames and possessing, in general, nontrivial torsion and nonmetricity. The formalism of nonlinear connections is elaborated for (pseudo) Riemannian and Einstein-Cartan-Weyl spaces.


title: Repeated Patterns of Dense Packings of Equal Disks in a Square

abstract: We examine sequences of dense packings of n congruent non-overlapping disks inside a square which follow specific patterns as n increases along certain values, n = n(1), n(2),... n(k),.... Extending and improving previous work of Nurmela and Ostergard where previous patterns for n = n(k) of the form k*k, k*k-1, k*k-3, k(k+1), and 4k*k+k were observed, we identify new patterns for n = k*k-2 and n = k*k+[k/2]. We also find denser packings than those in [Nurmela, Ostergard] for n =21, 28, 34, 40, 43, 44, 45, and 47. In addition, we produce what we conjecture to be optimal packings for n =51, 52, 54, 55, 56, 60, and 61. Finally, for each identified sequence n(1), n(2),... n(k),... which corresponds to some specific repeated pattern, we identify a threshold index k_0, for which the packing appears to be optimal for k =< k_0, but for which the packing is not optimal (or does not exist) for k > k_0.


title: On location of discrete spectrum for complex Jacobi matrices

abstract: We study spectrum inclusion regions for complex Jacobi matrices which are compact perturbations of the discrete laplacian. The condition sufficient for the lack of discrete spectrum for such matrices is given.


title: Variation on Artin's vanishing theorem

abstract: We give a proof of Artin's vanishing theorem in characteristic zero, based on Deligne's Riemann-Hilbert correspondence. Just as a curiosity.


title: Note on the holonomy groups of pseudo-Riemannian manifolds

abstract: For an arbitrary subalgebra $\mathfrak{h}\subset\mathfrak{so}(r,s)$, a polynomial pseudo-Riemannian metric of signature $(r+2,s+2)$ is constructed, the holonomy algebra of this metric contains $\mathfrak{h}$ as a subalgebra. This result shows the essential distinction of the holonomy algebras of pseudo-Riemannian manifolds of index bigger or equal to 2 from the holonomy algebras of Riemannian and Lorentzian manifolds.


title: Diffusion local time storage

abstract: In this paper we study a storage process or a liquid queue in which the input process is the local time of a positively recurrent stationary diffusion in stationary state and the potential output takes place with a constant deterministic rate. For this storage process we find its stationary distribution and compute the joint distribution of the starting and ending times of the busy and idle periods. This work completes and extends to a more general setting the results in Mannersalo, Norros, and Salminen (2003).


title: The Casimir Effect Between Non-Parallel Plates by Geometric Optics

abstract: Recent work by Jaffe and Scardicchio has expressed the optical approximation to the Casimir effect as a sum over geometric quantities. The first two authors have developed a technique which uses the complex geometry of the space of oriented affine lines in ${\Bbb{R}}^3$ to describe reflection of rays off a surface. This allows the quantities in the optical approximation to the Casimir effect to be calculated. To illustrate this we determine explicitly and in closed form the geometric optics approximation of the Casimir force between two non-parallel plates. By making one of the plates finite we regularise the divergence that is caused by the intersection of the planes. In the parallel plate limit we prove that our expression reduces to Casimir's original result.


title: Differential equations and conformal structures

abstract: We provide five examples of conformal geometries which are naturally associated with ordinary differential equations (ODEs). The first example describes a one-to-one correspondence between the Wuenschmann class of 3rd order ODEs considered modulo contact transformations of variables and (local) 3-dimensional conformal Lorentzian geometries. The second example shows that every point equivalent class of 3rd order ODEs satisfying the Wuenschmann and the Cartan conditions define a 3-dimensional Lorentzian Einstein-Weyl geometry. The third example associates to each point equivalence class of 3rd order ODEs a 6-dimensional conformal geometry of neutral signature. The fourth example exhibits the one-to-one correspondence between point equivalent classes of 2nd order ODEs and 4-dimensional conformal Fefferman-like metrics of neutral signature. The fifth example shows the correspondence between undetermined ODEs of the Monge type and conformal geometries of signature $(3,2)$. The Cartan normal conformal connection for these geometries is reducible to the Cartan connection with values in the Lie algebra of the noncompact form of the exceptional group $G_2$. All the examples are deeply rooted in Elie Cartan's works on exterior differential systems.


title: Integrals of polylogarithmic functions, recurrence relations, and associated Euler sums

abstract: We show that integrals of the form \[ \dint_{0}^{1} x^{m}{\rm Li}_{p}(x){\rm Li}_{q}(x)dx, (m\geq -2, p,q\geq 1) \] and \[ \dint_{0}^{1} \frac{\ds \log^{r}(x){\rm Li}_{p}(x){\rm Li}_{q}(x)}{\ds x}dx, (p,q,r\geq 1) \] satisfy certain recurrence relations which allow us to write them in terms of Euler sums. From this we prove that, in the first case for all $m,p,q$, and in the second when $p+q+r$ is even, these integrals are reducible to zeta values. In the case of odd $p+q+r$, we combine the known results for Euler sums with the information obtained from the problem in this form, to give an estimate on the number of {\it new} constants which are needed to express the above integrals for a given weight $p+q+r$. The proofs are constructive, giving a method for the evaluation of these and other similar integrals, and we present a selection of explicit evaluations in the last section.


title: On knot Floer homology and cabling

abstract: This paper is devoted to the study of the knot Floer homology groups HFK(S^3,K_{2,n}), where K_{2,n} denotes the (2,n) cable of an arbitrary knot, K. It is shown that for sufficiently large |n|, the Floer homology of the cabled knot depends only on the filtered chain homotopy type of CFK(K). A precise formula for this relationship is presented. In fact, the homology groups in the top 2 filtration dimensions for the cabled knot are isomorphic to the original knot's Floer homology group in the top filtration dimension. The results are extended to (p,pn+-1) cables. As an example we compute HFK((T_{2,2m+1})_{2,2n+1}) for all sufficiently large |n|, where T_{2,2m+1} denotes the (2,2m+1)-torus knot.


title: Corrections to the KdV approximation for water waves

abstract: In order to investigate corrections to the common KdV approximation for surface water waves in a canal, we derive modulation equations for the evolution of long wavelength initial data. We work in Lagrangian coordinates. The equations which govern corrections to the KdV approximation consist of linearized and inhomogeneous KdV equations plus an inhomogeneous wave equation. These equations are explicitly solvable and we prove estimates showing that they do indeed give a significantly better approximation than the KdV equation alone.


title: Limitations to Frechet's Metric Embedding Method

abstract: Frechet's classical isometric embedding argument has evolved to become a major tool in the study of metric spaces. An important example of a Frechet embedding is Bourgain's embedding. The authors have recently shown that for every e>0 any n-point metric space contains a subset of size at least n^(1-e) which embeds into l_2 with distortion O(\log(2/e) /e). The embedding we used is non-Frechet, and the purpose of this note is to show that this is not coincidental. Specifically, for every e>0, we construct arbitrarily large n-point metric spaces, such that the distortion of any Frechet embedding into l_p on subsets of size at least n^{1/2 + e} is \Omega((\log n)^{1/p}).


title: Separated Lie models and the homotopy Lie algebra

abstract: A simply connected topological space X has homotopy Lie algebra $\pi_*(\Omega X) \tensor \Q$. Following Quillen, there is a connected differential graded free Lie algebra (dgL) called a Lie model, which determines the rational homotopy type of X, and whose homology is isomorphic to the homotopy Lie algebra. We show that such a Lie model can be replaced with one that has a special property we call separated. The homology of a separated dgL has a particular form which lends itself to calculations.


title: The Busemann-Petty problem for arbitrary measures

abstract: The aim of this paper is to study properties of sections of convex bodies with respect to different types of measures. We present a formula connecting the Minkowski functional of a convex symmetric body K with the measure of its sections. We apply this formula to study properties of general measures most of which were known before only in the case of the standard Lebesgue measure. We solve an analog of the Busemann-Petty problem for the case of general measures. In addition, we show that there are measures, for which the answer to the generalized Busemann-Petty problem is affirmative in all dimensions. Finally, we apply the latter fact to prove a number of different inequalities concerning the volume of sections of convex symmetric bodies in $\R^n$ and solve a version of generalized Busemann-Petty problem for sections by k-dimensional subspaces.


title: Transcendental ending laminations

abstract: Yair Minsky showed that punctured torus groups are classified by a pair of ending laminations (\nu_-,\nu_+). In this note, we show that there are ending laminations \nu_+ such that for any choice of \nu_-, the punctured torus group is transcendental as a subgroup of PSL_2 C.