title: A refinement of Stein factorization and deformations of surjective morphisms

abstract: This paper is concerned with a refinement of the Stein factorization, and with applications to the study of deformations of surjective morphisms. We show that every surjective morphism f:X->Y between normal projective varieties factors canonically via a finite cover of Y that is etale in codimension one. This "maximally etale factorization" is characterized in terms of positivity of the push-forward of the structure sheaf and satisfies a functorial property. It turns out that the maximally etale factorization is stable under deformations, and naturally decomposes an etale cover of the Hom-scheme into a torus and into deformations that are relative with respect to the rationally connected quotient of the target Y. In particular, we show that all deformations of f respect the rationally connected quotient of Y.


title: Exact local Whittle estimation of fractional integration

abstract: An exact form of the local Whittle likelihood is studied with the intent of developing a general-purpose estimation procedure for the memory parameter (d) that does not rely on tapering or differencing prefilters. The resulting exact local Whittle estimator is shown to be consistent and to have the same N(0,{1/4}) limit distribution for all values of d if the optimization covers an interval of width less than {9/2} and the initial value of the process is known.


title: Homogeneous Buchberger algorithms and Sullivant's computational commutative algebra challenge

abstract: We give a variant of the homogeneous Buchberger algorithm for positively graded lattice ideals. Using this algorithm we solve the Sullivant computational commutative algebra challenge.


title: Holomorphic Motions and Normal Forms in Complex Analysis

abstract: We give a brief review of holomorphic motions and its relation with quasiconformal mapping theory. Furthermore, we apply the holomorphic motions to give new proofs of famous Konig's Theorem and Bottcher's Theorem in classical complex analysis.


title: Baxterization of solutions to reflection equation with Hecke R-matrix

abstract: Let $R$ be a Hecke solution to the Yang-Baxter equation and $K$ be a reflection equation matrix with coefficients in an associative algebra $\A$. Let $R(x)$ be the baxterization of $R$ and suppose that $K$ satisfies a polynomial equation with coefficients in the center of $\A$. We construct solutions to the reflection equation with spectral parameter relative to $R(x)$, in the form of polynomials in $K$.


title: Conformal Anomalies via Canonical Traces

abstract: Using Laurent expansions of the Kontsevich-Vishik canonical trace of holomorphic families of classical pseudodifferential operators, we define functionals on the space of Riemannian metrics and investigate their conformal properties, thereby giving a unified description of several conformal invariants and anomalies.


title: Stein's Method and Random Character Ratios

abstract: Stein's method is used to prove limit theorems for random character ratios. Tools are developed for four types of structures: finite groups, Gelfand pairs, twisted Gelfand pairs, and association schemes. As one example an error term is obtained for a central limit theorem of Kerov on the spectrum of the Cayley graph of the symmetric group generated by i-cycles, or equivalently for the character ratio of a Plancherel distributed representation on an i-cycle. Other main examples include an error term for a central limit theorem of Ivanov on character ratios of random projective representations of the symmetric group, and a new central limit theorem for the spectrum of certain graphs whose vertices are the set of perfect matchings on 2n symbols. The error terms in the resulting limit theorems are typically O(n^{-1/4}) or better. The results are obtained with remarkably little information: a character formula for a single representation close to the trivial representation and estimates on two step transition probabilities of a random walk. Although the limit theorems stated in this paper are all for the case of normal approximation, many of the tools developed are quite general. Indeed, both the construction of an exchangeable pair used for Stein's method and lemmas computing certain moments are useful for arbitrary distributional approximation.


title: Cohen-Macaulay and Gorenstein complexes from a topological point of view

abstract: The main invariant to study the combinatorics of a simplicial complex $K$ is the associated face ring or Stanley-Reisner algebra. Reisner respectively Stanley explained in which sense Cohen-Macaulay and Gorenstein properties of the face ring are reflected by geometric and/or combinatoric properties of the simplicial complex. We give a new proof for these result by homotopy theoretic methods and constructions. Our approach is based on ideas used very successfully in the analysis of the homotopy theory of classifying spaces.


title: Polygonal knot space near ropelength-minimized knots

abstract: For a polygonal knot K, it is shown that a tube of radius R(K), the polygonal thickness radius, is an embedded torus. Given a thick configuration K, perturbations of size r<R(K) define satellite structures, or local knotting. We explore knotting within these tubes both theoretically and numerically. We provide bounds on perturbation radii for which we can see small trefoil and figure-eight summands and use Monte Carlo simulations to approximate the relative probabilities of these structures as a function of the number of edges.


title: The Growth Rate of the First Betti Number in Abelian Covers of 3-Manifolds

abstract: We give examples of closed hyperbolic 3-manifolds with first Betti number 2 and 3 for which no sequence of finite abelian covering spaces increases the first Betti number. For 3-manifolds $M$ with first Betti number 2 we give a characterization in terms of some generalized self-linking numbers of $M$, for there to exist a family of $\mathbb{Z}_n$ covering spaces, $M_n$, in which $\beta_1(M_n)$ increases linearly with $n$. The latter generalizes work of M. Katz and C. Lescop [KL], by showing that the non-vanishing of any one of these invariants of $M$ is sufficient to guarantee certain optimal systolic inequalities for $M$ (by work of Ivanov and Katz [IK]).


title: Degenerations of ideal hyperbolic triangulations

abstract: Let M be a cusped 3-manifold, and let T be an ideal triangulation of M. The deformation variety D(T), a subset of which parameterises (incomplete) hyperbolic structures obtained on M using T, is defined and compactified by adding certain projective classes of transversely measured singular codimension-one foliations of M. This leads to a combinatorial and geometric variant of well-known constructions by Culler, Morgan and Shalen concerning the character variety of a 3-manifold.


title: Continuity of the Mixing Operator

abstract: Mixed distributions are considered as a results of application of a linear operator, which maps mixing measures to mixed measures. The main result is a proof of continuity of this mixing operator. Corollaries for parametric families of distributions (usually considered in literature) are also discussed.


title: Convergence of Estimators in LLS Analysis

abstract: We establish necessary and sufficient conditions for consistency of estimators of mixing distribution in linear latent structure analysis.


title: The defocusing energy-critical nonlinear Schr\"odinger equation in higher dimensions

abstract: We obtain global well-posedness, scattering, and global $L^{\frac{2(n+2)}{n-2}}_{t,x}$ spacetime bounds for energy-space solutions to the energy-critical nonlinear Schr\"odinger equation in $\R_t\times \R^n_x$, $n\geq 5$.


title: Linear Latent Structure Analysis: from Foundations to Algorithms and Applications

abstract: A new statistical technique for constructing linear latent structure (LLS) models from available data, supported by well established theoretical results and an efficient algorithm, is presented. The method reduces the problem of estimating LLS model parameters to a sequence of linear algebra problems. This assures a low computational complexity and an ability to handle large scale data that involve thousands of variables. An overall computational scheme and all its components are discussed in detail. Simulation experiments demonstrate the excellent performance of the algorithm in reconstructing model parameters. Step-by-step analysis of a demographic survey is presented as an example. The technique is useful for the analysis of high-dimensional categorical data (e.g., demographic surveys, gene expression data) where the detection, evaluation, and interpretation of a underlying latent structure are required.


title: Rotation sets of billiards with one obstacle

abstract: We investigate the rotation sets of billiards on the $m$-dimensional torus with one small convex obstacle and in the square with one small convex obstacle. In the first case the displacement function, whose averages we consider, measures the change of the position of a point in the universal covering of the torus (that is, in the Euclidean space), in the second case it measures the rotation around the obstacle. A substantial part of the rotation set has usual strong properties of rotation sets.


title: Harmonic operators: the dual perspective

abstract: The study of harmonic functions on a locally compact group $G$ has recently been transferred to a ``non-commutative'' setting in two different directions: C.-H. Chu and A. T.-M. Lau replaced the algebra $L^\infty(G)$ by the group von Neumann algebra $VN(G)$ and the convolution action of a probability measure $\mu$ on $L^\infty(G)$ by the canonical action of a positive definite function $\sigma$ on $\VN(G)$; on the other hand, W. Jaworski and the first-named author replaced $L^\infty(G)$ by $B(L^2(G))$ to which the convolution action by $\mu$ can be extended in a natural way. We establish a link between both approaches. The action of $\sigma$ on $VN(G)$ can be extended to $B (L^2(G))$. We study the corresponding space $\tilde{H}_\sigma$ of ``$\sigma$-harmonic operators'', i.e., fixed points in $B(L^2(G))$ under the action of $\sigma$. We show, under mild conditions on either $\sigma$ or $G$, that $\tilde{H}_\sigma$ is in fact a von Neumann subalgebra of $B (L^2(G))$. Our investigation of $\tilde{H}_\sigma$ relies, in particular, on a notion of support for an arbitrary operator in $B(L^2(G))$ that extends Eymard's definition for elements of $VN(G)$. Finally, we present an approach to $\tilde{H}_\sigma$ via ideals in $T (L^2(G))$ - where $T(L^2(G))$ denotes the trace class operators on $L^2(G)$, but equipped with a product different from composition -, as it was pioneered for harmonic functions by G. A. Willis.


title: Computable conditions for the occurrence of non-uniform hyperbolicity in families of one-dimensional maps

abstract: We formulate and prove a Jakobson-Benedicks-Carleson type theorem on the occurence of nonuniform hyperbolicity (stochastic dynamics) in families of one-dimensional maps, based on "computable starting conditions" and providing "explicit, computable," lower bounds for the measure of the set of selected parameters. As a first application of our results we show that the set of parameters corresponding to maps in the quadratic family f_{a}(x) = x^{2}-a which have an absolutely continuous invariant probability measure is at least 10^-5000 !


title: On a class of Koszul algebras associated to directed graphs

abstract: In math.QA/0506507 I. Gelfand and the authors introduced and studied a new class of algebras associated to directed graphs. In this paper we show that these algebras are Koszul for a large class of layered (i.e. ranked) graphs.


title: On the equations defining curves in a polynomial algebra

abstract: Let $A$ be a commutative Noetherian ring of dimension $n$ ($n \ge 3$). Let $I$ be a local complete intersection ideal in $A[T]$ of height $n$. Suppose $I/{I^2}$ is free ${A[T]}/I$-module of rank $n$ and $({A[T]}/I)$ is torsion in $K_0(A[T])$. It is proved in this paper that $I$ is a set theoretic complete intersection ideal in $A[T]$ if one of the following conditions holds: (1) $n$ $\ge 5$, odd; (2) $n$ is even, and $A$ contains the field of rational numbers; (3) $n = 3$, and $A$ contains the field of rational numbers.


title: Maximal Injective Subalgebras of Tensor Products of Free Groups Factors

abstract: In this article, we proved the following results. Let $L(F(n_i))$ be the free group factor on $n_i$ generators and $\lambda (g_{i})$ be one of standard generators of $L(F(n_i))$ for $1\le i\le N$. Let $\A_i$ be the abelian von Neumann subalgebra of $L(F(n_i))$ generated by $\lambda(g_{i})$. Then the abelian von Neumann subalgebra $\otimes_{i=1}^N\A_i$ is a maximal injective von Neumann subalgebra of $\otimes_{i=1}^N L(F(n_i))$. When $N$ is equal to infinity, we obtained McDuff factors that contain maximal injective abelian von Neumann subalgebras.


title: On Voiculescu's Semicircular Matrices

abstract: Assume $\N$ is a von Neumann algebra of type II$_1$ with a tracial state $\tau_{\N}$, and $\M$ is the von Neumann algebra of the $n\times n$ matrices over $\N$ with the canonical tracial state $\tau_{\M}$. Let $\mathcal D_n$ be the subalgebra of $\M$ consisting of scalar diagonal matrices in $\M$. In this article, we study the properties of semicircular elements in $\M$ that are free from $\mathcal D_n$ with respect to $\tau_{\M}$. Then we define a new concept "matricial distance" of two elements in $\M$ and compute the matricial distance between two free semicircular elements in $\M$.


title: On the intersection of the curves through a set of points in P^2

abstract: Given a set of points in P^2, we consider the common zeros of the set of curves of a given degree passing through those points. For general sets of points, these zero sets have the expected dimension and are smooth. In fact, given graded Betti numbers, for any arrangement of points whose ideal has those graded Betti numbers, general among such arrangements, the zero sets have the expected dimension and are smooth.


title: Multiplier ideals of general line arrangements in C^3

abstract: We consider the multiplier ideals of the ideal of a reduced union of lines through the origin in C^3. For general arrangements of lines, we calculate the multiplier ideals.


title: On the topological cyclic homology of the algebraic closure of a local field

abstract: The cyclotomic trace provides a comparison of the algebraic K-theory spectrum and a pro-spectrum TR that is built from the cyclic fixed points of topological Hochschild homology. In a previous paper with Ib Madsen, we used this comparison and an approximate evaluation of the structure of the pro-spectrum TR to evaluate the p-adic K-groups of a local field K of mixed characteristic (0,p) with perfect residue field. In this paper we completly determine the structure of the pro-spectrum TR for an algebrac closure of the local field K. This leads us to formulate a conjecture for the structure of the pro-spectrum TR for the field K. We also determine the structure of the absolute de Rham-Witt complex of the valuation ring R in the algebraic closure of K. The group in degree one is a p-divisible group whose Tate module is free module of rank one over the ring of Witt vectors in R. We give an explicit generator of this Tate module.


title: Some BMO estimates for vector-valued multilinear singular integral operators

abstract: In this paper, we prove some BMO end-point estimates for some vector-valued multilinear operators related to certain singular integral operators.


title: A note on convex renorming and fragmentability

abstract: Using the game approach to fragmentability, we give new and simpler proofs of the following known results: (a) If the Banach space admits an equivalent Kadec norm, then its weak topology is fragmented by a metric which is stronger than the norm topology. (b) If the Banach space admits an equivalent rotund norm, then its weak topology is fragmented by a metric. (c) If the Banach space is weakly locally uniformly rotund, then its weak topology is fragmented by a metric which is stronger than the norm topology.


title: Some necessary and sufficient conditions for Hypercyclicity Criterion

abstract: We give necessary and sufficient conditions for an operator on a separable Hilbert space to satisfy the hypercyclicity criterion.


title: On the Bahadur representation of sample quantiles for dependent sequences

abstract: We establish the Bahadur representation of sample quantiles for linear and some widely used nonlinear processes. Local fluctuations of empirical processes are discussed. Applications to the trimmed and Winsorized means are given. Our results extend previous ones by establishing sharper bounds under milder conditions and thus provide new insight into the theory of empirical processes for dependent random variables.


title: Ignorability for categorical data

abstract: We study the problem of ignorability in likelihood-based inference from incomplete categorical data. Two versions of the coarsened at random assumption (car) are distinguished, their compatibility with the parameter distinctness assumption is investigated and several conditions for ignorability that do not require an extra parameter distinctness assumption are established. It is shown that car assumptions have quite different implications depending on whether the underlying complete-data model is saturated or parametric. In the latter case, car assumptions can become inconsistent with observed data.


title: The Zeta Function of the Laplacian on Certain Fractals

abstract: We prove that the zeta-function $\zeta_\Delta$ of the Laplacian $\Delta$ on a self-similar fractals with spectral decimation admits a meromorphic continuation to the whole complex plane. We characterise the poles, compute their residues, and give expressions for some special values of the zeta-function. Furthermore, we discuss the presence of oscillations in the eigenvalue counting function.


title: Rigidity properties of Anosov optical hypersurfaces

abstract: We consider an optical hypersurface $\Sigma$ in the cotangent bundle $\tau:T^*M\to M$ of a closed manifold $M$ endowed with a twisted symplectic structure. We show that if the characteristic foliation of $\Sigma$ is Anosov, then a smooth 1-form $\theta$ on $M$ is exact if and only $\tau^*\theta$ has zero integral over every closed characteristic of $\Sigma$. This result is derived from a related theorem about magnetic flows which generalizes our work in \cite{DP}. Other rigidity issues are also discussed.


title: Semiparametric estimation for stationary processes whose spectra have an unknown pole

abstract: We consider the estimation of the location of the pole and memory parameter, \lambda ^0 and \alpha, respectively, of covariance stationary linear processes whose spectral density function f(\lambda) satisfies f(\lambda)\sim C| \lambda -\lambda ^0| ^{-\alpha} in a neighborhood of \lambda ^0. We define a consistent estimator of \lambda ^0 and derive its limit distribution Z_{\lambda ^0}. As in related optimization problems, when the true parameter value can lie on the boundary of the parameter space, we show that Z_{\lambda ^0} is distributed as a normal random variable when \lambda ^0\in (0,\pi), whereas for \lambda ^0=0 or \pi, Z_{\lambda ^0} is a mixture of discrete and continuous random variables with weights equal to 1/2. More specifically, when \lambda ^0=0, Z_{\lambda ^0} is distributed as a normal random variable truncated at zero. Moreover, we describe and examine a two-step estimator of the memory parameter \alpha, showing that neither its limit distribution nor its rate of convergence is affected by the estimation of \lambda ^0. Thus, we reinforce and extend previous results with respect to the estimation of \alpha when \lambda ^0 is assumed to be known a priori. A small Monte Carlo study is included to illustrate the finite sample performance of our estimators.


title: Some remarks on papers: math.DG/0211091, math.DG/0306187, math.CA/0312090

abstract: This is no longer available.


title: Combinations and Mixtures of Optimal Policies in Unichain Markov Decision Processes are Optimal

abstract: We show that combinations of optimal (stationary) policies in unichain Markov decision processes are optimal. That is, let M be a unichain Markov decision process with state space S, action space A and policies \pi_j^*: S -> A (1\leq j\leq n) with optimal average infinite horizon reward. Then any combination \pi of these policies, where for each state i in S there is a j such that \pi(i)=\pi_j^*(i), is optimal as well. Furthermore, we prove that any mixture of optimal policies, where at each visit in a state i an arbitrary action \pi_j^*(i) of an optimal policy is chosen, yields optimal average reward, too.


title: Embeddability of Arrangements of Pseudocircles into the Sphere

abstract: An arrangement of pseudocircles is a finite set of oriented closed Jordan curves each two of which cross each other in exactly two points. To describe the combinatorial structure of arrangements on closed orientable surfaces, in (Linhart, Ortner 2004) so-called *intersection schemes* were introduced. Building up on results about the latter, we first clarify the notion of embedding of an arrangement. Once this is done it is shown how the embeddability of an arrangement depends on the embeddability of its subarrangements. The main result presented is that an arrangement of pseudocircles can be embedded into the sphere if and only if all of its subarrangements of four pseudocircles are embeddable into the sphere as well.


title: Uniformly exponential growth and mapping class groups of surfaces

abstract: We show that the mapping class group of an orientable finite type surface has uniformly exponential growth, as well as various closely related groups. This provides further evidence that mapping class groups may be linear.


title: Prym varieties associated to graphs

abstract: We present a Prym construction which associates abelian varieties to vertex-transitive strongly regular graphs. As an application we construct Prym-Tyurin varieties of arbitrary exponent $\geq 3$, generalizing a result by Lange, Recillas and Rochas.


title: Grad and classes with bounded expansion I. decompositions

abstract: We introduce classes of graphs with bounded expansion as a generalization of both proper minor closed classes and degree bounded classes. Such classes are based on a new invariant, the greatest reduced average density (grad) of G with rank r, grad r(G). For these classes we prove the existence of several partition results such as the existence of low tree-width and low tree-depth colorings. This generalizes and simplifies several earlier results (obtained for minor closed classes).


title: Grad and Classes with Bounded Expansion II. Algorithmic Aspects

abstract: Classes of graphs with bounded expansion are a generalization of both proper minor closed classes and degree bounded classes. Such classes are based on a new invariant, the greatest reduced average density (grad) of G with rank r, ∇r(G). These classes are also characterized by the existence of several partition results such as the existence of low tree-width and low tree-depth colorings. These results lead to several new linear time algorithms, such as an algorithm for counting all the isomorphs of a fixed graph in an input graph or an algorithm for checking whether there exists a subset of vertices of a priori bounded size such that the subgraph induced by this subset satisfies some arbirtrary but fixed first order sentence. We also show that for fixed p, computing the distances between two vertices up to distance p may be performed in constant time per query after a linear time preprocessing. We also show, extending several earlier results, that a class of graphs has sublinear separators if it has sub-exponential expansion. This result result is best possible in general.


title: Grad and classes with bounded expansion III. restricted dualities

abstract: We study restricted homomorphism dualities in the context of classes with bounded expansion. This presents a generalization of restricted dualities obtained earlier for bounded degree graphs and also for proper minor closed classes. This is related to distance coloring of graphs and to the ''approximative version'' of Hadwiger conjecture.


title: On the density of rational and integral points on algebraic varieties

abstract: We prove a conjecture of Heath-Brown on the number of rational points of bounded height for a large class of projective varieties.


title: Permutation representations of the braid group commutator subgroup

abstract: We study the representations of the commutator subgroup of the braid group with n strands in the symmetric group of degree r. Motivated by some experimental results, we conjecture that for n>r, every such representation is trivial.


title: On the Classification of Vector Bundles with Periodic Maps

abstract: We give an explicit decription for univeral principal U(r)-bundles with periodic map by means of equivariant Stiefel manifolds. We then show that the associated equivariant vector bundle is equivalent to the canonical one given by G. Segal. Finally, we investigate some ideals involved in the equivariant K-theory of this classifying space.


title: On restriction properties of equivariant K-theory rings

abstract: An important ingredient in the completion theorem of equivariant K-theory given by S. Jackowski is that the representation ring R(Gamma) of a compact Lie group satisfies two restriction properties called (N) and (R\_{F}). We give in this note sufficient conditions on a (compact) -space Z such that these properties hold with K\_{Gamma}^{*}(Z) instead of R(Gamma). As an example, we consider the space Z(Gamma;G) of the so called "elementary cocycles with coefficients in G" invented by H. Ibisch in his construction of a universal (Gamma;G)-bundle.


title: Discrete Routh Reduction

abstract: This paper develops the theory of abelian Routh reduction for discrete mechanical systems and applies it to the variational integration of mechanical systems with abelian symmetry. The reduction of variational Runge-Kutta discretizations is considered, as well as the extent to which symmetry reduction and discretization commute. These reduced methods allow the direct simulation of dynamical features such as relative equilibria and relative periodic orbits that can be obscured or difficult to identify in the unreduced dynamics. The methods are demonstrated for the dynamics of an Earth orbiting satellite with a non-spherical $J_2$ correction, as well as the double spherical pendulum. The $J_2$ problem is interesting because in the unreduced picture, geometric phases inherent in the model and those due to numerical discretization can be hard to distinguish, but this issue does not appear in the reduced algorithm, where one can directly observe interesting dynamical structures in the reduced phase space (the cotangent bundle of shape space), in which the geometric phases have been removed. The main feature of the double spherical pendulum example is that it has a nontrivial magnetic term in its reduced symplectic form. Our method is still efficient as it can directly handle the essential non-canonical nature of the symplectic structure. In contrast, a traditional symplectic method for canonical systems could require repeated coordinate changes if one is evoking Darboux' theorem to transform the symplectic structure into canonical form, thereby incurring additional computational cost. Our method allows one to design reduced symplectic integrators in a natural way, despite the noncanonical nature of the symplectic structure.


title: Toral Algebraic Sets and Function Theory on Polydisks

abstract: A toral algebraic set $A$ is an algebraic set in $\C^n$ whose intersection with $\T^n$ is sufficiently large to determine the holomorphic functions on $A$. We develop the theory of these sets, and give a number of applications to function theory in several variables and operator theoretic model theory. In particular, we show that the uniqueness set for an extremal Pick problem on the bidisk is a toral algebraic set, that rational inner functions have zero sets whose irreducible components are not toral, and that the model theory for a commuting pair of contractions with finite defect lives naturally on a toral algebraic set.


title: Resolution of Singularities -- Seattle Lecture

abstract: These are the notes for my lecture ``Resolution of Sigularities in Charcteristic 0" given at the AMS Summer Institute at Seattle. It gives a self contained proof of the strong Hironaka resolution theorem.


title: Constant mean curvature surfaces in sub-Riemannian geometry

abstract: We investigate the minimal and isoperimetric surface problems in a large class of sub-Riemannian manifolds, the so-called Vertically Rigid spaces. We construct an adapted connection for such spaces and, using the variational tools of Bryant, Griffiths and Grossman, derive succinct forms of the Euler-Lagrange equations for critical points for the associated variational problems. Using the Euler-Lagrange equations, we show that minimal and isoperimetric surfaces satisfy a constant horizontal mean curvature conditions away from characteristic points. Moreover, we use the formalism to construct a horizontal second fundamental form, $II_0$, for vertically rigid spaces and, as a first application, use $II_0$ to show that minimal surfaces cannot have points of horizontal positive curvature and, that minimal surfaces in Carnot groups cannot be locally horizontally geometrically convex. We note that the convexity condition is distinct from others currently in the literature.


title: The residuals of lex plus powers ideals and the Eisenbud-Green-Harris conjecture

abstract: The $n$-type vectors introduced by Geramita, Harima and Shin are in 1-1 correspondence with the Hilbert functions Artinian of lex ideals. Letting $\mathbb{A} =\{a_1,..., a_n\}$ define the degrees of a regular sequence, we construct ${\rm lpp}_{\le\mathbb{A}}$-vectors which are in 1-1 correspondence with the Hilbert functions of certain lex plus powers ideals (depending on $\mathbb{A}$). This construction enables us to show that the residual of a lex plus powers ideal in an appropriate regular sequence is again a lex plus powers ideal. We then use this result to show that the Eisenbud-Green-Harris conjecture is equivalent to showing that lex plus powers ideals have the largest last graded Betti numbers (it is well-known that the Eisenbud-Green-Harris conjecture is equivalent to showing that lex plus powers ideals have the largest first graded Betti numbers).


title: Local Spectral Density and Vacuum Energy near a Quantum Graph Vertex

abstract: The delta interaction at a vertex generalizes the Robin (generalized Neumann) boundary condition on an interval. Study of a single vertex with N infinite leads suffices to determine the localized effects of such a vertex on densities of states, etc. For all the standard initial-value problems, such as that for the wave equation, the pertinent integral kernel (Green function) on the graph can be easily constructed from the corresponding elementary Green function on the real line. From the results one obtains the spectral-projection kernel, local spectral density, and local energy density. The energy density, which refers to an interpretation of the graph as the domain of a quantized scalar field, is a coefficient in the asymptotic expansion of the Green function for an elliptic problem involving the graph Hamiltonian; that expansion contains spectral/geometrical information beyond that in the much-studied heat-kernel expansion.


title: Minimizing Constant Mean Curvature Hypersurfaces in Hyperbolic Space

abstract: We study the constant mean curvature (CMC) hypersurfaces in hyperbolic space whose asymptotic boundaries are closed codimension-1 submanifolds in sphere at infinity. We consider CMC hypersurfaces as generalizations of minimal hypersurfaces. We naturally generalize some notions of minimal hypersurfaces like being area minimizing, convex hull property, exchange roundoff trick to the CMC hypersurface context. We also give a generic uniqueness result for CMC hypersurfaces in hyperbolic space.


title: Fa\`a di Bruno Hopf algebras

abstract: This is a short review on the Fa\`a di Bruno formulas, and some Hopf algebras associated to them. These allow, among several other things, a short proof of the Lie-Scheffers theorem, and relating the Lagrange inversion formulas with antipodes. The link of Fa\`a di Bruno formulas with the theory of set partitions is developed in some detail.


title: A Discrete Theory of Connections on Principal Bundles

abstract: Connections on principal bundles play a fundamental role in expressing the equations of motion for mechanical systems with symmetry in an intrinsic fashion. A discrete theory of connections on principal bundles is constructed by introducing the discrete analogue of the Atiyah sequence, with a connection corresponding to the choice of a splitting of the short exact sequence. Equivalent representations of a discrete connection are considered, and an extension of the pair groupoid composition, that takes into account the principal bundle structure, is introduced. Computational issues, such as the order of approximation, are also addressed. Discrete connections provide an intrinsic method for introducing coordinates on the reduced space for discrete mechanics, and provide the necessary discrete geometry to introduce more general discrete symmetry reduction. In addition, discrete analogues of the Levi-Civita connection, and its curvature, are introduced by using the machinery of discrete exterior calculus, and discrete connections.


title: A lattice scheme for stochastic partial differential equations of elliptic type in dimension $d\ge 4$

abstract: We study a stochastic boundary value problem on $(0,1)^d$ of elliptic type in dimension $d\ge 4$, driven by a coloured noise. An approximation scheme based on a suitable discretization of the Laplacian on a lattice of $(0,1)^d$ is presented; we also give the rate of convergence to the original SPDE in $L^p(\Omega;L^{2}(D))$--norm, for some values of $p$.


title: Numerical trivial foliations, Iitaka Fibrations and the numerical dimension

abstract: Modifying the notion of numerically trivial foliation of a pseudo-effective line bundle L introduced by the author in math.AG/0304312 it can be shown that the leaves of this foliation have codimension bigger or equal to the numerical dimension of L as defined by Boucksom, Demailly, Paun and Peternell, math.AG/0405285. Furthermore, if the Kodaira dimension of L equals its numerical dimension the Kodaira-Iitaka fibration is its numerically trivial foliation. Both statements together yield a sufficient criterion for L not being abundant.


title: Discrete Exterior Calculus

abstract: We present a theory and applications of discrete exterior calculus on simplicial complexes of arbitrary finite dimension. This can be thought of as calculus on a discrete space. Our theory includes not only discrete differential forms but also discrete vector fields and the operators acting on these objects. This allows us to address the various interactions between forms and vector fields (such as Lie derivatives) which are important in applications. Previous attempts at discrete exterior calculus have addressed only differential forms. We also introduce the notion of a circumcentric dual of a simplicial complex. The importance of dual complexes in this field has been well understood, but previous researchers have used barycentric subdivision or barycentric duals. We show that the use of circumcentric duals is crucial in arriving at a theory of discrete exterior calculus that admits both vector fields and forms.


title: Strength of convergence in the orbit space of a transformation group

abstract: Let (G, X) be a second-countable transformation group with G acting freely on X. It is shown that measure-theoretic accumulation of the action and topological strength of convergence in the orbit space X/G provide equivalent ways of quantifying the extent of non-properness of the action. These notions are linked via the representation theory of the transformation-group C*-algebra.


title: Contact Path Geometries

abstract: Contact path geometries are curved geometric structures on a contact manifold comprising smooth families of paths modeled on the family of all isotropic lines in the projectivization of a symplectic vector space. Locally such a structure is equivalent to the graphs in the space of independent and depedent variables of the family of solutions of a system of an odd number of second order ODE's subject to a single maximally non-integrable constraint. A subclass of contact path geometries is distinguished by the vanishing of an invariant contact torsion. For this subclass the equivalence problem is solved by constructing a normalized Cartan connection using the methods of Tanaka-Morimoto-\v{C}ap-Schichl. The geometric meaning of the contact torsion is described. If a secondary contact torsion vanishes then the locally defined space of contact paths admits a split quaternionic contact structure (analogous to the quaternionic contact structures studied by O. Biquard).


title: The scaling limit of loop-erased random walk in three dimensions

abstract: We show that the scaling limit exists and is invariant to dilations and rotations. We give some tools that might be useful to show universality.


title: Cluster Homology

abstract: We assign, to a Langrangian submanifold $L$, a new homology which manages the bubbling of disks by means of auxiliary Morse data. This invariant of the Hamiltonian isotopy class of $L$ has many applications and naturally leads to a universal Floer theory for Lagrangian intersections.


title: Asymptotic geometry and growth of conjugacy classes of nonpositively curved manifolds

abstract: Let X be a Hadamard manifold and $\Gamma$ a discrete group of isometries of X which contains an axial isometry without invariant flat half plane. We study the behavior of conformal densities on the geometric limit set of $\Gamma$ in order to derive a new asymptotic estimate for the growth rate of closed geodesics in not necessarily compact or finite volume manifolds.


title: On the Structure of the Square of a C_0(1) Operator

abstract: WE use the structure theory for C_0 operators to determine when the square of a C_0(1) operator is irreducible and when its lattices of invariant and hyperinvariant subspaces coincide.


title: Elliptic Equations with Critical Growth and a Large Set of Boundary Singularities

abstract: We solve variationally certain equations of stellar dynamics of the form $-\sum_i\partial_{ii} u(x) =\frac{|u|^{p-2}u(x)}{{\rm dist} (x,{\mathcal A} )^s}$ in a domain $\Omega$ of $\rn$, where ${\mathcal A} $ is a proper linear subspace of $\rn$. Existence problems are related to the question of attainability of the best constant in the following recent inequality of Badiale-Tarantello [1]: $$0<\mu_{s,\P}(\Omega)=\inf{\int_{\Omega}|\nabla u|^2 dx; u\in \huno \hbox{and}\int_{\Omega}\frac{|u(x)|^{\crit(s)}}{|\pi(x)|^s} dx=1}$$ where $0<s<2$, $\crit(s)=\frac{2(n-s)}{n-2}$ and where $\pi$ is the orthogonal projection on a linear space $\P$, where $\hbox{dim}_{\rr}\P \geq 2$. We investigate this question and how it depends on the relative position of the subspace $\Porth$, the orthogonal of $\P$, with respect to the domain $\Omega$ as well as on the curvature of the boundary $\partial\Omega$ at its points of intersection with $\Porth $.


title: Frobenius algebras and planar open string topological field theories

abstract: Motivated by the Moore-Segal axioms for an open-closed topological field theory, we consider planar open string topological field theories. We rigorously define a category 2Thick whose objects and morphisms can be thought of as open strings and diffeomorphism classes of planar open string worldsheets. Just as the category of 2-dimensional cobordisms can be described as the free symmetric monoidal category on a commutative Frobenius algebra, 2Thick is shown to be the free monoidal category on a noncommutative Frobenius algebra, hence justifying this choice of data in the Moore-Segal axioms. Our formalism is inherently categorical allowing us to generalize this result. As a stepping stone towards topological membrane theory we define a 2-category of open strings, planar open string worldsheets, and isotopy classes of 3-dimensional membranes defined by diffeomorphisms of the open string worldsheets. This 2-category is shown to be the free (weak monoidal) 2-category on a `categorified Frobenius algebra', meaning that categorified Frobenius algebras determine invariants of these 3-dimensional membranes.


title: Toward accurate polynomial evaluation in rounded arithmetic

abstract: Given a multivariate real (or complex) polynomial $p$ and a domain $\cal D$, we would like to decide whether an algorithm exists to evaluate $p(x)$ accurately for all $x \in {\cal D}$ using rounded real (or complex) arithmetic. Here ``accurately'' means with relative error less than 1, i.e., with some correct leading digits. The answer depends on the model of rounded arithmetic: We assume that for any arithmetic operator $op(a,b)$, for example $a+b$ or $a \cdot b$, its computed value is $op(a,b) \cdot (1 + \delta)$, where $| \delta |$ is bounded by some constant $\epsilon$ where $0 < \epsilon \ll 1$, but $\delta$ is otherwise arbitrary. This model is the traditional one used to analyze the accuracy of floating point algorithms.Our ultimate goal is to establish a decision procedure that, for any $p$ and $\cal D$, either exhibits an accurate algorithm or proves that none exists. In contrast to the case where numbers are stored and manipulated as finite bit strings (e.g., as floating point numbers or rational numbers) we show that some polynomials $p$ are impossible to evaluate accurately. The existence of an accurate algorithm will depend not just on $p$ and $\cal D$, but on which arithmetic operators and which constants are are available and whether branching is permitted. Toward this goal, we present necessary conditions on $p$ for it to be accurately evaluable on open real or complex domains ${\cal D}$. We also give sufficient conditions, and describe progress toward a complete decision procedure. We do present a complete decision procedure for homogeneous polynomials $p$ with integer coefficients, ${\cal D} = \C^n$, and using only the arithmetic operations $+$, $-$ and $\cdot$.


title: Symbolic computation with finite quandles

abstract: Algorithms are described and Maple implementations are provided for finding all quandles of order $n$, as well as computing all homomorphisms between two finite quandles or from a finitely presented quandle (e.g., a knot quandle) to a finite quandle, computing the automorphism group of a finite quandle, etc. Several of these programs work for arbitrary binary operation tables and hence algebraic structures other than quandles. We also include a stand-alone C program which finds quandles of order $n$ and provide URLs for files containing the results for $n=6,$ 7 and 8.


title: Stabilization of Tsirelson-type norms on $\ell_p$ spaces

abstract: We consider classical Tsirelson-type norms of $T[A_r,\theta]$ and their modified versions on $\ell_p$ spaces. We show that for any $1<p<\infty$ there is a constant $\lambda_p$ such that considered Tsirelson-type norms do not $\lambda_p$-distort any of subspaces of $\ell_p$.


title: Growth of groups and diffeomorphisms of the interval

abstract: We prove that the so called Grigorchuk-Maki group of intermadiate growth can be seen as a group of $C^1$ diffeomorphisms of the interval. On the other hand, we prove that every group of $C^{1+\alpha}$ diffeomorphisms of the interval having subexponential growth is almost nilpotent.


title: A convergence result of the Lagrangian mean curvature flow

abstract: We prove the mean curvature flow of the graph of a symplectomorphism between Riemann surfaces converges smoothly as time approaches infinity.


title: Connecting geodesics and security of configurations in compact locally symmetric spaces

abstract: A pair of points in a riemannian manifold makes a secure configuration if the totality of geodesics connecting them can be blocked by a finite set. The manifold is secure if every configuration is secure. We investigate the security of compact, locally symmetric spaces.


title: On the existence of Hamiltonian paths connecting Lagrangian submanifolds

abstract: We use a new variational method --based on the theory of anti-selfdual Lagrangians developed in [2] and [3]-- to establish the existence of solutions of convex Hamiltonian systems that connect two given Lagrangian submanifolds in $\R^{2N}$. We also consider the case where the Hamiltonian is only semi-convex. A variational principle is also used to establish existence for the corresponding Cauchy problem. The case of periodic solutions will be considered in a forthcoming paper [5].


title: Tight Closure of Finite Length Modules in Graded Rings

abstract: We look at how the equivalence of tight closure and plus closure (or Frobenius closure) in the homogeneous m-coprimary case implies the same closure equivalence in the non-homogeneous m-coprimary case in standard graded rings. Although our result does not depend upon dimension, the primary application is based on results known in dimension 2 due to the recent results of H. Brenner. We also show that unlike the Noetherian case, the injective hull of the residue field over $R^+$ or $R^\infty$ contains elements that are not killed by any power of the maximal ideal of R.


title: Big Cohen-Macaulay Algebras and Seeds

abstract: We delve into the properties possessed by algebras, which we have termed seeds, that map to big Cohen-Macaulay algebras. We will show that over a complete local domain of positive characteristic any two big Cohen-Macaulay algebras map to a common big Cohen-Macaulay algebra. We will also strengthen Hochster and Huneke's "weakly functorial" existence result for big Cohen-Macaulay algebras by showing that the seed property is stable under base change between complete local domains of positive characteristic. We also show that every seed over a positive characteristic local ring (R,m) maps to a big Cohen-Macaulay R-algebra that is an absolutely integrally closed, m-adically separated, quasilocal domain.


title: Computing generating sets of lattice ideals

abstract: In this article, we present a new algorithm for computing a generating set of a lattice ideal. This algorithm is based on a project-and-lift approach and is implemented in 4ti2. We also include a computational comparison of several existing implementations to compute such generating sets.


title: Generalized Galerkin Variational Integrators

abstract: We introduce generalized Galerkin variational integrators, which are a natural generalization of discrete variational mechanics, whereby the discrete action, as opposed to the discrete Lagrangian, is the fundamental object. This is achieved by approximating the action integral with appropriate choices of a finite-dimensional function space that approximate sections of the configuration bundle and numerical quadrature to approximate the integral. We discuss how this general framework allows us to recover higher-order Galerkin variational integrators, asynchronous variational integrators, and symplectic-energy-momentum integrators. In addition, we will consider function spaces that are not parameterized by field values evaluated at nodal points, which allows the construction of Lie group, multiscale, and pseudospectral variational integrators. The construction of pseudospectral variational integrators is illustrated by applying it to the (linear) Schrodinger equation. G-invariant discrete Lagrangians are constructed in the context of Lie group methods through the use of natural charts and interpolation at the level of the Lie algebra. The reduction of these G-invariant Lagrangians yield a higher-order analogue of discrete Euler-Poincare reduction. By considering nonlinear approximation spaces, spatio-temporally adaptive variational integrators can be introduced as well.


title: Negative values of truncations to $L(1,\chi)$

abstract: For a given $x$ we consider the minimum of $\sum_{n\le x} \chi(n)/n$ as $\chi$ ranges over all quadratic Dirichlet characters. For all large $x$, this minimum is negative and we give upper and lower bounds for it.


title: Equi-distribution over Descent Classes of the Hyperoctahedral Group

abstract: A classical result of MacMahon shows that the length function and the major index are equi-distributed over the symmetric group. Foata and Sch\"utzenberger gave a remarkable refinement and proved that these parameters are equi-distributed over inverse descent classes, implying bivariate equi-distribution identities. Type $B$ analogues of these results, refinements and consequences are given in this paper.


title: Remarks on non-compact complete Ricci expanding solitons

abstract: In this paper, we study gradient Ricci expanding solitons $(X,g)$ satisfying $$ Rc=cg+D^2f, $$ where $Rc$ is the Ricci curvature, $c<0$ is a constant, and $D^2f$ is the Hessian of the potential function $f$ on $X$. We show that for a gradient expanding soliton $(X,g)$ with non-negative Ricci curvature, the scalar curvature $R$ has at least one maximum point on $X$, which is the only minimum point of the potential function $f$. Furthermore, $R>0$ on $X$ unless $(X,g)$ is Ricci flat. We also show that there is exponentially decay for scalar curvature for $\epsilon$-pinched complete non-compact expanding solitons.


title: Generalized Number Derivatives

abstract: We generalize the concept of a number derivative, and examine one particular instance of a deformed number derivative for finite field elements. We find that the derivative is linear when the deformation is a Frobenius map and go on to examine some of its basic properties.


title: Lie Group Variational Integrators for the Full Body Problem

abstract: We develop the equations of motion for full body models that describe the dynamics of rigid bodies, acting under their mutual gravity. The equations are derived using a variational approach where variations are defined on the Lie group of rigid body configurations. Both continuous equations of motion and variational integrators are developed in Lagrangian and Hamiltonian forms, and the reduction from the inertial frame to a relative coordinate system is also carried out. The Lie group variational integrators are shown to be symplectic, to preserve conserved quantities, and to guarantee exact evolution on the configuration space. One of these variational integrators is used to simulate the dynamics of two rigid dumbbell bodies.


title: The addition law attached to a stratification of a hyperelliptic Jacobian variety

abstract: This article shows explicit relation between fractional expressions of Schottky-Klein type for hyperelliptic $\sigma$-functions and a product of differences of the algebraic coordinates on each stratum of natural stratification in a hyperelliptic Jacobian.


title: Asymptotics of a thermal flow with highly conductive and radiant suspensions

abstract: Radiant spherical suspensions have an $\veps$-periodic distribution in a tridimensional incompressible viscous fluid governed by the Stokes-Boussinesq system. We perform the homogenization procedure when the radius of the solid spheres is of order $\veps^3$ (the critical size of perforations for the Navier-Stokes system) and when the ratio of the fluid/solid conductivities is of order $\veps^6$, the order of the total volume of suspensions. Adapting the methods used in the study of small inclusions, we prove that the macroscopic behavior is described by a Brinkman-Boussinesq type law and two coupled heat equations, where certain capacities of the suspensions and of the radiant sources appear.


title: Hydrodynamic limit fluctuations of super-Brownian motion with a stable catalyst

abstract: We consider the behaviour of a continuous super-Brownian motion catalysed by a random medium with infinite overall density under the hydrodynamic scaling of mass, time, and space. We show that, in supercritical dimensions, the scaled process converges to a macroscopic heat flow, and the appropriately rescaled random fluctuations around this macroscopic flow are asymptotically bounded, in the sense of log-Laplace transforms, by generalised stable Ornstein-Uhlenbeck processes. The most interesting new effect we observe is the occurrence of an index-jump from a 'Gaussian' situation to stable fluctuations of index 1+gamma, where gamma is an index associated to the medium.


title: Random orderings of the integers and card shuffling

abstract: In this paper we study random orderings of the integers with a certain invariance property. We describe all such orders in a simple way. We define and represent random shuffles of a countable set of labels and then give an interpretation of these orders in terms of a class of generalized riffle shuffles.


title: L^2-Betti numbers of one-relator groups

abstract: We determine the L^2-Betti numbers of all one-relator groups and all surface-plus-one-relation groups (surface-plus-one-relation groups were introduced by Hempel who called them one-relator surface groups). In particular we show that for all such groups G, the L^2-Betti numbers b_n^{(2)}(G) are 0 for all n>1. We also obtain some information about the L^2-cohomology of left-orderable groups, and deduce the non-L^2 result that, in any left-orderable group of homological dimension one, all two-generator subgroups are free.


title: Almost Sure Convergence of Solutions to Non-Homogeneous Stochastic Difference Equation

abstract: We consider a non-homogeneous nonlinear stochastic difference equation X_{n+1} = X_n (1 + f(X_n)\xi_{n+1}) + S_n, and its important special case X_{n+1} = X_n (1 + \xi_{n+1}) + S_n, both with initial value X_0, non-random decaying free coefficient S_n and independent random variables \xi_n. We establish results on \as convergence of solutions X_n to zero. The necessary conditions we find tie together certain moments of the noise \xi_n and the rate of decay of S_n. To ascertain sharpness of our conditions we discuss some situations when X_n diverges. We also establish a result concerning the rate of decay of X_n to zero.


title: Cohomology of Harmonic Forms on Riemannian Manifolds With Boundary

abstract: Theorem. Let M be a compact, connected, oriented smooth Riemannian n-manifold with non-empty boundary. Then the cohomology of the complex (Harm*(M),d) of harmonic forms on M is given by the direct sum H^p(Harm*(M),d) = H^p(M;R) + H^(p-1)(M;R) for p=0,1,...,n. When M is a closed manifold, a form is harmonic if and only if it is both closed and co-closed. In this case, all the maps in the complex (Harm*(M),d) are zero, and so H^p(Harm*(M),d) = Harm^p(M) = H^p(M;R) according to the classical theorem of Hodge. By contrast, when M is connected and has non-empty boundary, it is possible for a p-form to be harmonic without being both closed and co-closed. Some of these, which are exact, although not exterior derivatives of harmonic p-1-forms, represent the "echo" of the ordinary p-1-dimensional cohomology within the p-dimensional harmonic cohomology that appears in the above theorem.


title: The Recognition Theorem for Graded Lie Algebras of Prime Characteristic

abstract: The Recognition Theorem for graded Lie algebras is an essential ingredient in the classification of finite-dimensional simple Lie algebras over an algebraically closed field of characteristic p > 3. The main goal of this monograph is to present the first complete proof of this fundamental result.


title: On the global wellposedness of the 3-D Navier-Stokes equations with large initial data

abstract: We give a condition for the periodic, three dimensional, incompressible Navier-Stokes equations to be globally wellposed. This condition is not a smallness condition on the initial data, as the data is allowed to be arbitrarily large in the scale invariant space $ B^{-1}\_{\infty,\infty}$, which contains all the known spaces in which there is a global solution for small data. The smallness condition is rather a nonlinear type condition on the initial data; an explicit example of such initial data is constructed, which is arbitrarily large and yet gives rise to a global, smooth solution.


title: Generalized Killing spinors in dimension 5

abstract: We study the intrinsic geometry of hypersurfaces in Calabi-Yau manifolds of real dimension 6 and, more generally, SU(2)-structures on 5-manifolds defined by a generalized Killing spinor. We prove that in the real analytic case, such a 5-manifold can be isometrically embedded as a hypersurface in a Calabi-Yau manifold in a natural way. We classify nilmanifolds carrying invariant structures of this type, and present examples of the associated metrics with holonomy SU(3).


title: Uniform stability estimates for constant-coefficient symmetric hyperbolic boundary value problems

abstract: Answering a question left open in \cite{MZ2}, we show for general symmetric hyperbolic boundary problems with constant coefficients, including in particular systems with characteristics of variable multiplicity, that the uniform Lopatinski condition implies strong $L^2$ well-posedness, with no further structural assumptions. The result applies, more generally, to any system that is strongly $L^2$ well-posed for at least one boundary condition. The proof is completely elementary, avoiding reference to Kreiss symmetrizers or other specific techniques. On the other hand, it is specific to the constant-coefficient case; at least, it does not translate in an obvious way to the variable-coefficient case. The result in the hyperbolic case is derived from a more general principle that can be applied, for example, to parabolic or partially parabolic problems like the Navier-Stokes or viscous MHD equations linearized about a constant state or even a viscous shock.


title: On series solutions of Volterra equations

abstract: We derive formulae for the calculation of Taylor coefficients of solutions to systems of Volterra integral equations, both linear and nonlinear, either without singularities or with singularities of Abel type and logarithmic type. We also obtain solutions to certain systems of Volterra equations of the first kind. In all cases except the case of logarithmic singularities, we obtain recursive formulae for the calculation of the Taylor coefficients. In certain cases, we give proofs of convergence and rigorous estimates of the radius of convergence.


title: Moments of the derivative of the Riemann zeta-function and of characteristic polynomials

abstract: We investigate the moments of the derivative, on the unit circle, of characteristic polynomials of random unitary matrices and use this to formulate a conjecture for the moments of the derivative of the Riemann zeta-function on the critical line. We do the same for the analogue of Hardy's Z-function, the characteristic polynomial multiplied by a suitable factor to make it real on the unit circle. Our formulae are expressed in terms of a determinant of a matrix whose entries involve the I-Bessel function and, alternately, by a combinatorial sum.


title: Support varieties - an ideal approach

abstract: We define support varieties in an axiomatic setting using the prime spectrum of a lattice of ideals. A key observation is the functoriality of the spectrum and that this functor admits an adjoint. We assign to each ideal its support and can classify ideals in terms of their support. Applications arise from studying abelian or triangulated tensor categories. Specific examples from algebraic geometry and modular representation theory are discussed, illustrating the power of this approach which is inspired by recent work of Balmer.


title: Braid Groups of the Sun Graph

abstract: In this article we calculate the n-string braid groups of certain non-contractible graphs. We use techniques from the work of A. Abrams, F. Connolly and M. Doig combined with Van Kampen's Theorem to prove these results.


title: New Conjectural Lower Bounds on the Optimal Density of Sphere Packings

abstract: Sphere packings in high dimensions interest mathematicians and physicists and have direct applications in communications theory. Remarkably, no one has been able to provide exponential improvement on a 100-year-old lower bound on the maximal packing density due to Minkowski in $d$-dimensional Euclidean space $\Re^d$. The asymptotic behavior of this bound is controlled by $2^{-d}$ in high dimensions. Using an optimization procedure that we introduced earlier \cite{To02c} and a conjecture concerning the existence of disordered sphere packings in $\Re^d$, we obtain a provisional lower bound on the density whose asymptotic behavior is controlled by $2^{-0.7786... d}$, thus providing the putative exponential improvement of Minkowski's bound. The conjecture states that a hard-core nonnegative tempered distribution is a pair correlation function of a translationally invariant disordered sphere packing in $\Re^d$ for asymptotically large d if and only if the Fourier transform of the autocovariance function is nonnegative. The conjecture is supported by two explicit analytically characterized disordered packings, numerical simulations in low dimensions, known necessary conditions that only have relevance in very low dimensions, and the fact that we can recover the forms of known rigorous lower bounds. A byproduct of our approach is an asymptotic lower bound on the average kissing number whose behavior is controlled by $2^{0.2213... d}$, which is to be compared to the best known asymptotic lower bound on the individual kissing number of $2^{0.2075... d}$. Interestingly, our optimization procedure is precisely the dual of a primal linear program devised by Cohn and Elkies \cite{Co03} to obtain upper bounds on the density, and hence has implications for linear programming bounds.


title: Local geometric Langlands correspondence and affine Kac-Moody algebras

abstract: By a local geometric Langlands correspondence for a complex reductive group G we understand a construction which assigns to a local system on the punctured disc for the Langlands dual group of G, a category equipped with an action of the formal loop group G((t)). We propose a conjectural description of these categories as categories of representations of the corresponding affine Kac-Moody algebra of critical level, and, in some cases, as categories of D-modules on the ind-schemes G((t))/K. We describe in detail these categories and interrelations between them and provide supporting evidence for our conjectures. In particular, we prove that a certain quotient category of representations of critical level is equivalent to the category of quasicoherent sheaves on a thickening of the scheme of nilpotent opers associated to the Langlands dual group.


title: Classical bi-Poisson process: an invertible quadratic harness

abstract: We give an elementary construction of a time-invertible Markov process which is discrete except at one instance. The process is one of the quadratic harnesses studied in our previous papers and can be regarded as a random joint of two independent Poisson processes.


title: A simple proof of Witten conjecture through localization

abstract: We obtain a system of relations between linear Hodge integrals. As an application, we show that its first non-trivial relation implies the Witten's Conjecture/Kontsevich Theorem.


title: Lattices acting on right-angled buildings

abstract: Let X be a right-angled building. We show that the lattices in Aut(X) share many properties with tree lattices. For example, we characterise the set of covolumes of uniform and of nonuniform lattices in Aut(X), and show that the group Aut(X) admits an infinite ascending tower of uniform and of nonuniform lattices. These results are proved by constructing a functor from graphs of groups to complexes of groups.


title: Transformation Semigroups with the Deformed Multiplication

abstract: Pairwise non-isomorphic semigroups obtained from the finite inverse symmetric semigroup $\mathcal{IS}_n ,$ finite symmetric semigroup $\mathcal{T}_n$ and bicyclic semigroup by the deformed multiplication proposed by Ljapin are classified.


title: Isolated and nilpotent subsemigroups in the variants of $\IS$

abstract: All isolated, completely isolated, and nilpotent subsemigroups in the semigroup $\IS$ of all injective partial transformations of an $n$-element set, considered as a semigroup with a sandwich multiplication are described.


title: The Higher Connectivity of Intersections of Real Quadrics

abstract: A linear system of real quadratic forms defines a real projective variety. The real non-singular locus of this variety (more precisely of the underlying scheme) has a highly connected double cover as long as each non-zero form in the system has sufficiently high Witt index.


title: Compactness for conformal metrics with Constant $Q$ curvature on locally conformally flat manifolds

abstract: In this note we study the conformal metrics of constant $Q$ curvature on closed locally conformally flat manifolds. We prove that for a closed locally conformally flat manifold of dimension $n\geq 5$ and with Poincar\"{e} exponent less than $\frac {n-4}2$, the set of conformal metrics of positive constant $Q$ and positive scalar curvature is compact in the $C^\infty$ topology.


title: An application of the second Riemann continuation theorem to cohomology of the Lie algebra of vector fields on the complex line

abstract: We study cohomology groups of the Lie algebra of vector fields on the complex line, $W_1$, with values in the tensor fields in several variables. From a generalization by Scheja of the second Riemann (Hartogs) continuation theorem, we deduce a cohomology exact sequence of the subalgebra of $W_1$ consisting of vectors having a zero at the origin. As applications, we compute the cohomology algebra of $W_1$ with values in the functions on $\Bbb C^n$ explicitly, and establish a certain vanishing theorem for the cohomology of $W_1$ with values in the quadratic differentials in several variables, which is closely related to the moduli space of Riemann surfaces.


title: String rewriting for Double Coset Systems

abstract: In this paper we show how string rewriting methods can be applied to give a new method of computing double cosets. Previous methods for double cosets were enumerative and thus restricted to finite examples. Our rewriting methods do not suffer this restriction and we present some examples of infinite double coset systems which can now easily be solved using our approach. Even when both enumerative and rewriting techniques are present, our rewriting methods will be competitive because they i) do not require the preliminary calculation of cosets; and ii) as with single coset problems, there are many examples for which rewriting is more effective than enumeration. Automata provide the means for identifying expressions for normal forms in infinite situations and we show how they may be constructed in this setting. Further, related results on logged string rewriting for monoid presentations are exploited to show how witnesses for the computations can be provided and how information about the subgroups and the relations between them can be extracted. Finally, we discuss how the double coset problem is a special case of the problem of computing induced actions of categories which demonstrates that our rewriting methods are applicable to a much wider class of problems than just the double coset problem.


title: h-vectors of Gorenstein polytopes

abstract: We show that the Ehrhart h-vector of an integer Gorenstein polytope with a regular unimodular triangulation satisfies McMullen's g-theorem; in particular, it is unimodal. This result generalizes a recent theorem of Athanasiadis (conjectured by Stanley) for compressed polytopes. It is derived from a more general theorem on Gorenstein affine normal monoids M: one can factor K[M] (K a field) by a "long" regular sequence in such a way that the quotient is still a normal affine monoid algebra. This technique reduces all questions about the Ehrhart h-vector of P to the Ehrhart h-vector of a Gorenstein polytope Q with exactly one interior lattice point, provided each lattice point in a multiple cP, c in N, can be written as the sum of n lattice points in P. (Up to a translation, the polytope Q belongs to the class of reflexive polytopes considered in connection with mirror symmetry.) If P has a regular unimodular triangulation, then it follows readily that the Ehrhart h-vector of P coincides with the combinatorial h-vector of the boundary complex of a simplicial polytope, and the g-theorem applies.


title: Green's relations on the deformed transformation semigroups

abstract: Green's relations on the deformed finite inverse symmetric semigroup $\mathcal{IS}_n$ and the deformed finite symmetric semigroup $\mathcal{T}_n$ are described.


title: Obstructions to Positive Curvature on Homogeneous Bundles

abstract: Examples of almost-positively and quasi-positively curved spaces of the form M=H((G,h)xF) were discovered recently. Here, h is a left-invariant metric on a compact Lie group G, F is a compact Riemannian manifold on which the subgroup H of G acts isometrically on the left, and M is the orbit space of the diagonal left action of H on (G,h)xF with the induced Riemannian submersion metric. We prove that no new examples of strictly positive sectional curvature exist in this class of metrics. This result generalizes the case F={point} proven by Geroch.


title: Feynman-Jackson integrals

abstract: We introduce perturbative Feynman integrals in the context of q-calculus generalizing the Gaussian q-integrals introduced by Diaz and Teruel. We provide analytic as well as combinatorial interpretations for the Feynman-Jackson integrals.


title: Group actions in number theory

abstract: Students having had a semester course in abstract algebra are exposed to the elegant way in which finite group theory leads to proofs of familiar facts in elementary number theory. In this note we offer two examples of such group theoretical proofs using the action of a group on a set. The first is Fermat's little theorem and the second concerns a well known identity involving the famous Euler phi function. The tools that we use to establish both results are sometimes seen in a second semester algebra course in which group actions are studied. Specifically, we will use the class equation of a group action and Burnside's theorem.


title: Binomial posets with non-isomorphic intervals

abstract: The confluent binomial posets with the atomic function A(n) = max (1,2^(n-2)) are classified. In particular, it is shown that in general there are non-isomorphic intervals of the same length.


title: Two non-nilpotent linear transformations that satisfy the cubic $q$-Serre relations

abstract: Let $K$ denote an algebraically closed field with characteristic 0, and let $q$ denote a nonzero scalar in $K$ that is not a root of unity. Let $A_q$ denote the unital associative $K$-algebra defined by generators $x,y$ and relations x^3y-[3]_q x^2yx +[3]_q xyx^2 -yx^3=0, y^3x-[3]_q y^2xy +[3]_q yxy^2 -xy^3=0, where $[3]_q = (q^3-q^{-3})/(q-q^{-1})$. We classify up to isomorphism the finite-dimensional irreducible $A_q$-modules on which neither of $x,y$ is nilpotent. We discuss how these modules are related to tridiagonal pairs.


title: Taut distance-regular graphs and the subconstituent algebra

abstract: We consider a bipartite distance-regular graph $G$ with diameter $D$ at least 4 and valency $k$ at least 3. We obtain upper and lower bounds for the local eigenvalues of $G$ in terms of the intersection numbers of $G$ and the eigenvalues of $G$. Fix a vertex of $G$ and let $T$ denote the corresponding subconstituent algebra. We give a detailed description of those thin irreducible $T$-modules that have endpoint 2 and dimension $D-3$. In an earlier paper the first author defined what it means for $G$ to be taut. We obtain three characterizations of the taut condition, each of which involves the local eigenvalues or the thin irreducible $T$-modules mentioned above.


title: Complete intersections in toric ideals

abstract: We present examples which show that in dimension higher than one or codimension higher than two, there exist toric ideals I_A such that no binomial ideal contained in I_A and of the same dimension is a complete intersection. This result has important implications in sparse elimination theory and in the study of the Horn system of partial differential equations.


title: The Terwilliger algebra of an almost-bipartite P- and Q-polynomial association scheme

abstract: Let $Y$ denote a $D$-class symmetric association scheme with $D \geq 3$, and suppose $Y$ is almost-bipartite P- and Q-polynomial. Let $x$ denote a vertex of $Y$ and let $T=T(x)$ denote the corresponding Terwilliger algebra. We prove that any irreducible $T$-module $W$ is both thin and dual thin in the sense of Terwilliger. We produce two bases for $W$ and describe the action of $T$ on these bases. We prove that the isomorphism class of $W$ as a $T$-module is determined by two parameters, the dual endpoint and diameter of $W$. We find a recurrence which gives the multiplicities with which the irreducible $T$-modules occur in the standard module. We compute this multiplicity for those irreducible $T$-modules which have diameter at least $D-3$.


title: A combinatorial formula for homogeneous moments

abstract: We establish a combinatorial formula for homogeneous moments and give some examples where it can be put to use. An application to the statistical mechanics of interacting gauged vortices is discussed.


title: Ramdom walks on hypergroup of circles in finite fields

abstract: In this paper we study random walks on the hypergroup of circles in a finite field of prime order p = 4l + 3. We investigating the behavior of random walks on this hypergroup, the equilibrium distribution and the mixing times. We use two different approaches - comparision of Dirichlet forms (geometric bound of eigenvalues), and coupling methods, to show that the mixing time of random walks on hypergroup of circles is only linear.


title: Good l-filtrations for q-GL_3(k)

abstract: Let $k$ be an algebraically closed field of characteristic $p$, possibly zero, and $G=q$-$\GL_3(k)$, the quantum group of three by three matrices as defined by Dipper and Donkin. We may also take $G$ to be $\GL_3(k)$. We first determine the extensions between simple $G$-modules for both $G$ and $G_1$, the first Frobneius kernel of $G$. We then determine the submodule structure of certain induced modules, $\hat{Z}(\lambda)$, for the infinitesimal group $G_1B$. We induce this structure to $G$ to obtain a good $l$-filtration of certain induced modules, $\nabla(\lambda)$, for $G$. We also determine the homomorphisms between induced modules for $G$.


title: Blanchfield and Seifert algebra in high-dimensional boundary link theory I: Algebraic K-theory

abstract: The classification of high-dimensional mu-component boundary links motivates decomposition theorems for the algebraic K-groups of the group ring A[F_mu] and the noncommutative Cohn localization Sigma^{-1}A[F_mu], for any mu>0 and an arbitrary ring A, with F_mu the free group on mu generators and Sigma the set of matrices over A[F_mu] which become invertible over A under the augmentation A[F_mu] to A. Blanchfield A[F_mu]-modules and Seifert A-modules are abstract algebraic analogues of the exteriors and Seifert surfaces of boundary links. Algebraic transversality for A[F_mu]-module chain complexes is used to establish a long exact sequence relating the algebraic K-groups of the Blanchfield and Seifert modules, and to obtain the decompositions of K_*(A[F_mu]) and K_*(Sigma^{-1}A[F_mu]) subject to a stable flatness condition on Sigma^{-1}A[F_mu] for the higher K-groups.


title: Total Cofibres of Diagrams of Spectra

abstract: If Y is a diagram of spectra indexed by an arbitrary poset C together with a specified sub-poset D, we define the total cofibre \Gamma (Y) of Y as the strict cofibre of the map from hocolim_D (Y) to hocolim_C (Y). We construct a comparison map from the homotopy limit of Y to a looping of a fibrant replacement of Gamma (Y), and characterise those poset pairs (C,D) for which this comparison map is a stable equivalence. The characterisation is given in terms of stable cohomotopy of spaces related to C and D. For example, if C is a finite polytopal complex with underlying space an m-ball with boundary sphere D, then holim_C (Y) and \Gamma(Y) agree up to m-fold looping and up to stable equivalence. As an application of the general result we give a spectral sequence for the homotopy groups of \Gamma(Y) with E_2-term involving higher derived inverse limits of \pi_* (Y), generalising earlier constructions for space-valued diagrams indexed by the face lattice of a polytope.


title: Some trace formulae involving the split sequences of a Leonard pair

abstract: Let $K$ denote a field, and let $V$ denote a vector space over $K$ with finite positive dimension. We consider a pair of linear transformations $A:V \to V$ and $A^*:V \to V$ that satisfy (i), (ii) below: (i) There exists a basis for $V$ with respect to which the matrix representing $A$ is irreducible tridiagonal and the matrix representing $A^*$ is diagonal. (ii) There exists a basis for $V$ with respect to which the matrix representing $A^*$ is irreducible tridiagonal and the matrix representing $A$ is diagonal. We call such a pair a {\em Leonard pair} on $V$. In the literature on Leonard pairs there exist two parameter sequences called the first split sequence and the second split sequence. We display some attractive formulae for the first and second split sequence that involve the trace function.


title: Cluster X-varieties, amalgamation and Poisson-Lie groups

abstract: Starting from a split semisimple real Lie group G with trivial center, we define a family of varieties with additional structures. We describe them as the cluster X-varieties, as defined in math.AG/0311245. In particular they are Poisson varieties. We define Poisson maps of them to the group G with the standard Poisson-Lie structure. We introduce an operation of amalgamation of cluster varieties. Our varieties are amalgamations of elementary ones, assigned to positive simple roots of the root system of G. Some of them are very closely related to the double Bruhat cells. This paper is a building block in a description of the cluster structure of the moduli spaces of local systems on surfaces studied in math.AG/0311149.


title: A congruence involving products of $q$-binomial coefficients

abstract: In this paper we establish a $q$-analogue of a congruence of Sun concerning the products of binomial coefficients modulo the square of a prime.


title: Routing in Poisson small-world networks

abstract: In recent work, Jon Kleinberg considered a small-world network model consisting of a d-dimensional lattice augmented with shortcuts. The probability of a shortcut being present between two points decays as a power of the distance between them. Kleinberg studied the efficiency of greedy routing depending on the value of the power. The results were extended to a continuum model by Franceschetti and Meester. In our work, we extend the result to more realistic models constructed from a Poisson point process, wherein each point is connected to all its neighbours within some fixed radius, as well as possessing random shortcuts to more distant nodes as described above.


title: Pseudo-Galois Extensions and Hopf Algebroids

abstract: A pseudo-Galois extension is shown to be a depth two extension. Studying its left bialgebroid, we construct an enveloping Hopf algebroid for the semi-direct product of groups, or more generally involutive Hopf algebras, and their module algebras. It is a type of cofibered sum of two inclusions of the Hopf algebra into the semi-direct product and its derived right crossed product. Van Oystaeyen and Panaite observe that this Hopf algebroid is non-trivially isomorphic to a Connes-Moscovici Hopf algebroid, which raises interesting comparative questions.


title: Completions of mu-algebras

abstract: A $\mu$-algebra is a model of a first order theory that is an extension of the theory of bounded lattices, that comes with pairs of terms $(f,\mu_{x}.f)$ where $\mu_{x}.f$ is axiomatized as the least prefixed point of $f$, whose axioms are equations or equational implications. Standard $\mu$-algebras are complete meaning that their lattice reduct is a complete lattice. We prove that any non trivial quasivariety of $\mu$-algebras contains a $\mu$-algebra that has no embedding into a complete $\mu$-algebra. We focus then on modal $\mu$-algebras, i.e. algebraic models of the propositional modal $\mu$-calculus. We prove that free modal $\mu$-algebras satisfy a condition -- reminiscent of Whitman's condition for free lattices -- which allows us to prove that (i) modal operators are adjoints on free modal $\mu$-algebras, (ii) least prefixed points of $\Sigma_{1}$-operations satisfy the constructive relation $\mu_{x}.f = \bigvee_{n \geq 0} f^{n}(\bot)$. These properties imply the following statement: {\em the MacNeille-Dedekind completion of a free modal $\mu$-algebra is a complete modal $\mu$-algebra and moreover the canonical embedding preserves all the operations in the class $Comp(\Sigma_{1},\Pi_{1})$ of the fixed point alternation hierarchy.}


title: A tropical Nullstellensatz

abstract: We suggest a version of Nullstellensatz over the tropical semiring, the real numbers equipped with operations of maximum and addition.


title: Brownian local minima and other random dense countable sets

abstract: We compare two examples of random dense countable sets, `Brownian local minima' and `unordered uniform infinite sample'. They appear to be identically distributed. A framework for such notions is proposed. In addition, random elements of other singular spaces (especially, reals modulo rationals) are considered.


title: Three Mutually Adjacent Leonard Pairs

abstract: Let (A,B) and (C,D) denote Leonard pairs on V. We say these pairs are adjacent whenever each basis for V which is standard for (A,B) (resp. (C,D)) is split for (C,D) (resp. (A,B)). Our main results are as follows: Theorem 1. There exists at most 3 mutually adjacent Leonard pairs on V provided the dimension of V is at least 2. Theorem 2. Let (A,B), (C,D), and (E,F) denote three mutually adjacent Leonard pairs on V. There for each of these pairs, the eigenvalue sequence and dual eigenvalue sequence are in arithmetic progression. Theorem 3. Let (A,B) denote a Leonard pair on V whose eigenvalue sequence and dual eigenvalue sequence are in arithmetic progression. Then there exist Leonard pairs (C,D) and (E,F) on V such that (A,B), (C,D), and (E,F) are mutually adjacent.


title: Simplicial monoids and Segal categories

abstract: Much research has been done on structures equivalent to topological or simplicial groups. In this paper, we consider instead simplicial monoids. In particular, we show that the usual model category structure on the category of simplicial monoids is Quillen equivalent to an appropriate model category structure on the category of simplicial spaces with a single point in degree zero. In this second model structure, the fibrant objects are reduced Segal categories. We then generalize the proof to relate simplicial categories with a fixed object set to Segal categories with the same fixed set in degree zero.


title: The large sieve with sparse sets of moduli

abstract: Extending a method of D. Wolke, we establish a general result on the large sieve with sparse sets S of moduli which are in a sense well-distributed in arithmetic progressions. We then apply our result to the case when S consists of sqares. In this case we obtain an estimate which improves a recent result by L. Zhao.


title: On the large sieve with square moduli

abstract: We prove an estimate for the large sieve with square moduli which improves a recent result of L. Zhao. Our method uses an idea of D. Wolke and some results from Fourier analysis.


title: Malliavin calculus for Lie group-valued Wiener functions

abstract: Let G be a Lie group equipped with a set of left invariant vector fields. These vector fields generate a function \xi on Wiener space into G via the stochastic version of Cartan's rolling map. It is shown here that, for any smooth function f with compact support, f(\xi) is Malliavin differentiable to all orders and these derivatives belong to L^p(\mu) for all p>1, where \mu is Wiener measure.


title: Hypoelliptic heat kernel inequalities on Lie groups

abstract: This paper discusses the existence of gradient estimates for second order hypoelliptic heat kernels on manifolds. It is now standard that such inequalities, in the elliptic case, are equivalent to a lower bound on the Ricci tensor of the Riemannian metric. For hypoelliptic operators, the associated "Ricci curvature" takes on the value -\infty at points of degeneracy of the semi-Riemannian metric associated to the operator. For this reason, the standard proofs for the elliptic theory fail in the hypoelliptic setting. This paper presents recent results for hypoelliptic operators. Malliavin calculus methods transfer the problem to one of determining certain infinite dimensional estimates. Here, the underlying manifold is a Lie group, and the hypoelliptic operators are invariant under left translation. In particular, "L^p-type" gradient estimates hold for p\in(1,\infty), and the p=2 gradient estimate implies a Poincar\'e estimate in this context.


title: A Computational Solution to a Question by Beauville on the Invariants of the Binary Quintic

abstract: We obtain an alternate proof of an injectivity result by Beauville for a map from the moduli space of quartic del Pezzo surfaces to the set of conjugacy classes of certain subgroups of the Cremona group. This amounts to showing that a projective configuration of five distinct unordered points on the line can be reconstructed from its five projective four-point subconfigurations. This is done by reduction to a question in the classical invariant theory of the binary quintic, which is solved by computer-assisted methods. More precisely, we show that six specific invariants of degree 24, the construction of which was explained to us by Beauville, generate all invariants the degrees of which are divisible by 48.


title: Strict dead end elements in free soluble groups

abstract: Let $G$ be a group generated by a finite set $A$. An element $g\in G$ is a strict dead end of depth $k$ (with respect to $A$) if $|g|>|ga_1|>|ga_1a_2|>...>|ga_1a_2... a_k|$ for any $a_1,a_2, ..., a_k\in A^{\pm1}$ such that the word $a_1a_2... a_k$ is freely irreducible. (Here $|g|$ is the distance from $g$ to the identity in the Cayley graph of $G$.) We show that in finitely generated free soluble groups of degree $d\ge2$ there exist strict dead elements of depth $k=k(d)$, which grows exponentially with respect to $d$.


title: Uniqueness of the modified Schroedinger map in H^{3/4+e}(R^2)

abstract: We establish local well-posedness of the modified Schroedinger map in H^s, s>3/4.


title: Extremal discs and analytic continuation of product CR maps

abstract: Let M be a real analytic strictly pseudoconvex manifold of higher codimension in complex space, and let M' be the cartesian product of two or more compact real analytic strictly convex hypersurfaces. We prove that a germ of a biholomorphic map taking an open set in M to M' extends as a biholomorphic map along any path in M.


title: On a Watson-like Uniqueness Theorem and Gevrey Expansions

abstract: We present a maximal class of analytic functions, elements of which are in one-to-one correspondence with their asymptotic expansions. In recent decades it has been realized (B. Malgrange, J. Ecalle, J.-P. Ramis, Y. Sibuya et al.), that the formal power series solutions of a wide range of systems of ordinary (even non-linear) analytic differential equations are in fact the Gevrey expansions for the regular solutions. Watson's uniqueness theorem belongs to the foundations of this new theory. This paper contains a discussion of an extension of Watson's uniqueness theorem for classes of functions which admit a Gevrey expansion in angular regions of the complex plane with opening less than or equal to (\frac \pi k,) where (k) is the order of the Gevrey expansion. We present conditions which ensure uniqueness and which suggest an extension of Watson's representation theorem. These results may be applied for solutions of certain classes of differential equations to obtain the best accuracy estimate for the deviation of a solution from a finite sum of the corresponding Gevrey expansion.


title: A hybrid Volterra-type equation with two types of impulses

abstract: We formulate and analyze a hybrid system model that involves Volterra integral operators with multiple integrals and two types of impulsive terms. We give a constructive proof, via an iteration method, of existence and uniqueness of solutions.


title: On the Chung-Diaconis-Graham random process

abstract: Chung, Diaconis, and Graham considered random processes of the form X_{n+1}=2X_n+b_n (mod p) where X_0=0, p is odd, and b_n for n=0,1,2,... are i.i.d. random variables on {-1,0,1}. If Pr(b_n=-1)= Pr(b_n=1)=\beta and Pr(b_n=0)=1-2\beta, they asked which value of \beta makes X_n get close to uniformly distributed on the integers mod p the slowest. In this paper, we extend the results of Chung, Diaconis, and Graham in the case p=2^t-1 to show that for 0<\beta<=1/2, there is no such value of \beta.


title: Remarks on the geometry of almost complex 6-manifolds

abstract: This article is mostly a writeup of two talks, the first given in the Besse Seminar at the Ecole Polytechnique in 1998 and the second given at the 2000 International Congress on Differential Geometry in memory of Alfred Gray in Bilbao, Spain. It begins with a discussion of basic geometry of almost complex 6-manifolds. In particular, I define a 2-parameter family of intrinsic first-order functionals on almost complex structures on 6-manifolds and compute their Euler-Lagrange equations. It also includes a discussion of a natural generalization of holomorphic bundles over complex manifolds to the almost complex case. The general almost complex manifold will not admit any nontrivial bundles of this type, but there is a large class of nonintegrable almost complex manifolds for which there are such nontrivial bundles. For example, the standard almost complex structure on the 6-sphere admits such nontrivial bundles. This class of almost complex manifolds in dimension 6 will be referred to as quasi-integrable. Some of the properties of quasi-integrable structures (both almost complex and unitary) are developed and some examples are given. However, it turns out that quasi-integrability is not an involutive condition, so the full generality of these structures in Cartan's sense is not well-understood.


title: The set of toric minimal log discrepancies

abstract: We describe the set of minimal log discrepancies of toric log varities, and study its accumulation points.


title: Spread-out percolation in R^d

abstract: Let $X$ be either $Z^d$ or the points of a Poisson process in $R^d$ of intensity 1. Given parameters $r$ and $p$, join each pair of points of $X$ within distance $r$ independently with probability $p$. This is the simplest case of a `spread-out' percolation model studied by Penrose, who showed that, as $r\to\infty$, the average degree of the corresponding random graph at the percolation threshold tends to 1, i.e., the percolation threshold and the threshold for criticality of the naturally associated branching process approach one another. Here we show that this result follows immediately from of a general result of the authors on inhomogeneous random graphs.


title: K-Theory of non-linear projective toric varieties

abstract: By analogy with algebraic geometry, we define a category of non-linear sheaves (quasi-coherent homotopy-sheaves of topological spaces) on projective toric varieties and prove a splitting result for its algebraic K-theory, generalising earlier results for projective spaces. The splitting is expressed in terms of the number of interior lattice points of dilations of a polytope associated to the variety. The proof uses combinatorial and geometrical results on polytopal complexes. The same methods also give an elementary explicit calculation of the cohomology groups of a projective toric variety over any commutative ring.


title: The Harmonic Volumes of Hyperelliptic Curves

abstract: We determine the harmonic volumes for all the hyperelliptic curves. This gives a geometric interpretation of a theorem established by A. Tanaka.


title: A nontrivial algebraic cycle in the Jacobian variety of the Klein quartic

abstract: We prove some value of the harmonic volume for the Klein quartic $C$ is nonzero modulo ${1/2}\{mathbb Z}$, using special values of the generalized hypergeometric function ${}_3F_2$. This result tells us the algebraic cycle $C-C^-$ is not algebraically equivalent to zero in the Jacobian variety $J(C)$.


title: On the existence of branched coverings between surfaces with prescribed branch data, I

abstract: For the existence of a branched covering Sigma~ --> Sigma between closed surfaces there are easy necessary conditions in terms of chi(Sigma~), chi(Sigma), orientability, the total degree, and the local degrees at the branching points. A classical problem dating back to Hurwitz asks whether these conditions are also sufficient. Thanks to the work of many authors, the problem remains open only when Sigma is the sphere, in which case exceptions to existence are known to occur. In this paper we describe new infinite series of exceptions, in particular previously unknown exceptions with Sigma~ not the sphere and with more than three branching points. All our series come with systematic explanations, based on several different techniques (including dessins d'enfants and decomposability) that we exploit to attack the problem, besides Hurwitz's classical technique based on permutations. Using decomposability we also establish an easy existence result.


title: Almost-bipartite distance-regular graphs with the $Q$-polynomial property

abstract: Let $G$ denote a $Q$-polynomial distance-regular graph with diameter $D$ at least 4. Assume that the intersection numbers of $G$ satisfy $a_i=0$ for $0 \leq i \leq D-1$ and $a_D\neq 0$. We show that $G$ is a polygon, a folded cube, or an Odd graph.


title: Generalized Cayley's $\Omega$-processes

abstract: In this paper we generalize some constructions and results due to Cayley and Hilbert. We define the concept of $\Omega$--process for an arbitrary algebraic monoid with zero and unit group $G$. Then we show how to produce from the process and for a linear rational representation of $G$, a number of elements of the ring of $G$-invariants, that is large enough as to guarantee its finite generation. Moreover, we give an explicit construction of all $\Omega$-processes for general reductive monoids and, in the case of the monoid of all the $n^2$ matrices, compare our construction with Cayley's definition.


title: Computing all roots of the likelihood equations of seemingly unrelated regressions

abstract: Seemingly unrelated regressions are statistical regression models based on the Gaussian distribution. They are popular in econometrics but also arise in graphical modeling of multivariate dependencies. In maximum likelihood estimation, the parameters of the model are estimated by maximizing the likelihood function, which maps the parameters to the likelihood of observing the given data. By transforming this optimization problem into a polynomial optimization problem, it was recently shown that the likelihood function of a simple bivariate seemingly unrelated regressions model may have several stationary points. Thus local maxima may complicate maximum likelihood estimation. In this paper, we study several more complicated seemingly unrelated regression models, and show how all stationary points of the likelihood function can be computed using algebraic geometry.


title: A geometric boson-fermion correspondence

abstract: The fixed points of a natural torus action on the Hilbert schemes of points in C^2 are quiver varieties of infinite type A. The equivariant cohomology of the Hilbert schemes and quiver varieties can be given the structure of bosonic and fermionic Fock spaces respectively. Then the localization theorem, which relates the equivariant cohomology of a space with that of its fixed point set, yields a geometric realization of the important boson-fermion correspondence.


title: On the minimal free resolution of the universal ring for resolutions of length two

abstract: Hochster established the existence of a commutative noetherian ring $\tilde C$ and a universal resolution $U$ of the form $0\to \tilde C^{e}\to \tilde C^{f}\to \tilde C^{g}\to 0$ such that for any commutative noetherian ring $S$ and any resolution $V$ equal to $0\to S^{e}\to S^{f}\to S^{g}\to 0$, there exists a unique ring homomorphism $\tilde C\to S$ with $V=U\otimes_{\tilde C} S$. In the present paper we assume that $f=e+g$ and we find the minimal resolution of ${\bf K}\otimes \tilde C$ by free $B$-modules, where $\bf K$ is a field of characteristic zero and $B$ is a polynomial ring over $\bf K$. Our techniques are geometric. We use the Bott algorithm and the Representation Theory of the General Linear Group. As a by-product of our work, we resolve a family of maximal Cohen-Macaulay modules defined over a determinantal ring.


title: Some remarks on quantized Lie superalgebras of classical type

abstract: In this paper we use the Etingof-Kazhdan quantization of Lie bi-superalgebras to investigate some interesting questions related to Drinfeld-Jimbo type superalgebra associated to a Lie superalgebra of classical type. It has been shown that the D-J type superalgebra associated to a Lie superalgebra of type A-G, with the distinguished Cartan matrix, is isomorphic to the E-K quantization of the Lie superalgebra. The first main result in the present paper is to extend this to arbitrary Cartan matrices. This paper also contains two other main results: 1) a theorem stating that all highest weight modules of a Lie superalgebra of type A-G can be deformed to modules over the corresponding D-J type superalgebra and 2) a super version of the Drinfeld-Kohno Theorem.


title: The structure of CR manifolds

abstract: In this paper we study the topology of pseudo convex CR manifolds whose Reeb flow preserves the Levi metric.