title: Unipotent variety in the group compactification

abstract: The unipotent variety of a reductive algebraic group $G$ plays an important role in the representation theory. In this paper, we will consider the closure $\bar{\Cal U}$ of the unipotent variety in the De Concini-Procesi compactification $\bar{G}$ of a connected simple algebraic group $G$. We will prove that $\bar{\Cal U}-\Cal U$ is a union of some $G$-stable pieces introduced by Lusztig in \cite{L4}. This was first conjectured by Lusztig. We will also give an explicit description of $\bar{\Cal U}$. It turns out that similar results hold for the closure of any Steinberg fiber in $\bar{G}$.


title: Weighted 2-Motzkin Paths

abstract: This paper is motivated by two problems recently proposed by Coker on combinatorial identities related to the Narayana polynomials and the Catalan numbers. We find that a bijection of Chen, Deutsch and Elizalde can be used to provide combinatorial interpretations of the identities of Coker when it is applied to weighted plane trees. For the sake of presentation of our combinatorial correspondences, we provide a description of the bijection of Chen, Deutsch and Elizalde in a slightly different manner in the form of a direct construction from plane trees to 2-Motzkin paths without the intermediate step involving the Dyck paths.


title: Moduli of Curves and Spin Structures via Algebraic Geometry

abstract: Here we investigate some birational properties of two collections of moduli spaces, namely moduli spaces of (pointed) stable curves and of (pointed) spin curves. In particular, we focus on vanishings of Hodge numbers of type (p,0) and on computations of the Kodaira dimension. Our methods are purely algebraic geometric and rely on an induction argument on the number of marked points and the genus of the curves (cf. mathAG/9803001).


title: Categorical non abelian cohomology, and the Schreier theory of groupoids

abstract: By regarding the classical non abelian cohomology of groups from a 2-dimensional categorical viewpoint, we are led to a non abelian cohomology of groupoids which continues to satisfy classification, interpretation and representation theorems generalizing the classical ones. This categorical approach is based on the fact that if groups are regarded as categories, then, on the one hand, crossed modules are 2-groupoids and, cocycles are lax 2-functors and the cocycle conditions are precisely the coherence axioms for lax 2-functors, and, on the other hand group extensions are fibrations of categories. Furthermore, $n$-simplices in the nerve of a 2-category are lax 2-functors.


title: Constructible motivic functions and motivic integration

abstract: We introduce a direct image formalism for constructible motivic functions. One deduces a very general version of motivic integration for which a change of variables theorem is proved. These constructions are generalized to the relative framework, in which we develop a relative version of motivic integration. These results have been announced in math.AG/0403349 and math.AG/0403350. Main results and statements unchanged. Many minor slips corrected and some details added.


title: A non-commutative geometry approach to the representation theory of reductive $p$-adic groups: Homology of Hecke algebras, a survey and some new results

abstract: We survey some of the known results on the relation between the homology of the {\em full} Hecke algebra of a reductive $p$-adic group $G$, and the representation theory of $G$. Let us denote by $\CIc(G)$ the full Hecke algebra of $G$ and by $\Hp_*(\CIc(G))$ its periodic cyclic homology groups. Let $\hat G$ denote the admissible dual of $G$. One of the main points of this paper is that the groups $\Hp_*(\CIc(G))$ are, on the one hand, directly related to the topology of $\hat G$ and, on the other hand, the groups $\Hp_*(\CIc(G))$ are explicitly computable in terms of $G$ (essentially, in terms of the conjugacy classes of $G$ and the cohomology of their stabilizers). The relation between $\Hp_*(\CIc(G))$ and the topology of $\hat G$ is established as part of a more general principle relating $\Hp_*(A)$ to the topology of $\Prim(A)$, the primitive ideal spectrum of $A$, for any finite typee algebra $A$. We provide several new examples illustrating in detail this principle. We also prove in this paper a few new results, mostly in order to better explain and tie together the results that are presented here. For example, we compute the Hochschild homology of $\maO(X) \rtimes \Gamma$, the crossed product of the ring of regular functions on a smooth, complex algebraic variety $X$ by a finite group $\Gamma$. We also outline a very tentative program to use these results to construct and classify the cuspidal representations of $G$. At the end of the paper, we also recall the definitions of Hochschild and cyclic homology.


title: Automorphisms and abstract commensurators of 2-dimensional Artin groups

abstract: In this paper we consider the class of 2-dimensional Artin groups with connected, large type, triangle-free defining graphs (type CLTTF). We classify these groups up to isomorphism, and describe a generating set for the automorphism group of each such Artin group. In the case where the defining graph has no separating edge or vertex we show that the Artin group is not abstractly commensurable to any other CLTTF Artin group. If, moreover, the defining graph satisfies a further `vertex rigidity' condition, then the abstract commensurator group of the Artin group is isomorphic to its automorphism group and generated by inner automorphisms, graph automorphisms (induced from automorphisms of the defining graph), and the involution which maps each standard generator to its inverse. We observe that the techniques used here to study automorphisms carry over easily to the Coxeter group situation. We thus obtain a classification of the CLTTF type Coxeter groups up to isomorphism and a description of their automorphism groups analogous to that given for the Artin groups.


title: Modified Bernstein Polynomials and Jacobi Polynomials in q-Calculus

abstract: We introduce here a generalization of the modified Bernstein polynomials for Jacobi weights using the $q$-Bernstein basis proposed by G.M. Phillips to generalize classical Bernstein Polynomials. The function is evaluated at points which are in geometric progression in $]0,1[$. Numerous properties of the modified Bernstein Polynomials are extended to their $q$-analogues: simultaneous approximation, pointwise convergence even for unbounded functions, shape-preserving property, Voronovskaya theorem, self-adjointness. Some properties of the eigenvectors, which are $q$-extensions of Jacobi polynomials, are given.


title: Regularity and well posedness for the Laplace operator on polyhedral domains

abstract: We announce a well-posedness result for the Laplace equation in weighted Sobolev spaces on polyhedral domains in $\RR^n$ with Dirichlet boundary conditions. The weight is the distance to the set of singular boundary points. We give a detailed sketch of the proof in three dimensions.


title: Contact homology of Brieskorn manifolds

abstract: We give an algorithm for computing the contact homology of some Brieskorn manifolds. As an application, we construct infinitely many contact structures on the class of simply connected contact manifolds that admit nice contact forms (i.e. no Reeb orbits of degree -1,0 or 1) and have index positivity with trivial first Chern class.


title: The relative Picard group of a comodule algebra and Harrison cohomology

abstract: Let $A$ be a commutative comodule algebra over a commutative bialgebra $H$. The group of invertible relative Hopf modules maps to the Picard group of $A$, and the kernel is described as a quotient group of the group of invertible grouplike elements of the coring $A\ot H$, or as a Harrison cohomology group. Our methods are based on elementary $K$-theory. The Hilbert 90 Theorem follows as a corollary. The part of the Picard group of the coinvariants that becomes trivial after base extension embeds in the Harrison cohomology group, and the image is contained in a well-defined subgroup $E$. It equals $E$ if $H$ is a cosemisimple Hopf algebra over a field.


title: Non-Autonomous Basins of Attraction With 4-Dimensional Boundaries

abstract: We study whether the basin of attraction of a sequence of automorphisms of $\mathbb{C}^k$ is biholomorphic to $\mathbb{C}^k$. In particular we show that given any sequence of automorphisms with the same attracting fixed point, the basin is biholomorphic to $\mathbb{C}^k$ if the maps are repeated often enough. We also construct Fatou-Bieberbach domains whose boundaries are 4-dimensional.


title: Martingales and Profile of Binary Search Trees

abstract: We are interested in the asymptotic analysis of the binary search tree (BST) under the random permutation model. Via an embedding in a continuous time model, we get new results, in particular the asymptotic behavior of the profile.


title: Fatou-Bieberbach Domains

abstract: We show that for any $m\in\NN\cup\{\infty\}$ there exist $m$ disjoint FB domains whose union is dense in $\CC^k$. In fact we show that any point not in the union is a boundary point for all the domains. We construct FB domains that contains arbitrary countable collections of subvarieties of $\CC^k$, and we construct FB domains that intersect elements of countable collections of affine subspaces of $\CC^k$ in connected proper subsets. Moreover, we show that any Runge FB domain is the attracting basin for a sequence of automorphisms of $\CC^k$, although not necessarily if you only allow iteration of one automorphism. We also show that an increasing sequence of Runge $\CC^k$'s is a $\CC^k$.


title: Irreducible Modules over Finite Simple Lie Pseudoalgebras I. Primitive Pseudoalgebras of Type W and S

abstract: One of the algebraic structures that has emerged recently in the study of the operator product expansions of chiral fields in conformal field theory is that of a Lie conformal algebra [K]. A Lie pseudoalgebra is a generalization of the notion of a Lie conformal algebra for which C[\partial] is replaced by the universal enveloping algebra H of a finite-dimensional Lie algebra [BDK]. The finite (i.e., finitely generated over H) simple Lie pseudoalgebras were classified in [BDK]. In a series of papers, starting with the present one, we classify all irreducible finite modules over finite simple Lie pseudoalgebras.


title: Aggregation for Regression Learning

abstract: This paper studies statistical aggregation procedures in regression setting. A motivating factor is the existence of many different methods of estimation, leading to possibly competing estimators. We consider here three different types of aggregation: model selection (MS) aggregation, convex (C) aggregation and linear (L) aggregation. The objective of (MS) is to select the optimal single estimator from the list; that of (C) is to select the optimal convex combination of the given estimators; and that of (L) is to select the optimal linear combination of the given estimators. We are interested in evaluating the rates of convergence of the excess risks of the estimators obtained by these procedures. Our approach is motivated by recent minimax results in Nemirovski (2000) and Tsybakov (2003). There exist competing aggregation procedures achieving optimal convergence separately for each one of (MS), (C) and (L) cases. Since the bounds in these results are not directly comparable with each other, we suggest an alternative solution. We prove that all the three optimal bounds can be nearly achieved via a single "universal" aggregation procedure. We propose such a procedure which consists in mixing of the initial estimators with the weights obtained by penalized least squares. Two different penalities are considered: one of them is related to hard thresholding techniques, the second one is a data dependent $L_1$-type penalty. Consequently, our method can be endorsed by both the proponents of model selection and the advocates of model averaging.


title: Entropies, volumes, and Einstein metrics

abstract: We survey the definitions and some important properties of several asymptotic invariants of smooth manifolds, and discuss some open questions related to them. We prove that the (non-)vanishing of the minimal volume is a differentiable property, which is not invariant under homeomorphisms. We also formulate an obstruction to the existence of Einstein metrics on four-manifolds involving the volume entropy. This generalizes both the Gromov--Hitchin--Thorpe inequality and Sambusetti's obstruction.


title: The smallest eigenvalue of K_p-free graphs

abstract: We give an upper bound on the smallest eigenvalue of the adjacency matrix of graphs with no p-cliques.


title: Joints in graphs

abstract: In 1969 Erdoes found a lower bound on the number of (r+1)-cliques sharing an edge in graphs with n vertices and t(r,n)+1 edges, where t(r,n) is the size of the Turan graph of order n and r color classes. We improve Erdoes's bound and prove a related stability result.


title: The sum of degrees in cliques

abstract: We investigate lower bounds on the average degree in r-cliques in graphs of order n and size greater than t(r,n), where t(r,n) is the size of the Turan graph on n vertices and r color classes. Continuing earlier research of Edwards and Faudree, we completely prove a conjecture of Bollobas and Erdoes from 1975.


title: Random Variables in Graph W*-Probability Spaces

abstract: In [16], we observed the graph W*-probability theory. In this paper, we will review [16] and introduce special amalgamated random variables in this amalgamated W*-probability space. In particular, we will observe the amalgamated semicircularity, amalgamated evenness and amalgamated R-diagonality. As an example, we will compute the trivial moments and trivial cumulants of the generating operator of the graph W*-algebra.


title: Generic and comprehensive standard bases

abstract: Parametric Gr\"obner bases have been studied for more than 15 years and are now a further developed subject. Here we propose a general study of parametric standard bases, that is with local orders. We mainly focus on the commutative case but we also treat the case of differential operators rings. We will be concerned by two aspects: a theoretical aspect with existence theorems and a practical aspect devoted to how we can explicitely compute such objects when the given data are algebraic. We believe that parametric standard bases are important for both aspects. From a theoretical point of view, they constitute a strong tool for proving constructive results. From a practical one, they provide a tool for studying explicitely local objects associated with parametric algebraic ideals.


title: Notes on abelian class field theory

abstract: We give a presentation of abelian class field theory.


title: Applicability of the $q$-Analogue of Zeilberger's Algorithm

abstract: The applicability or terminating condition for the ordinary case of Zeilberger's algorithm was recently obtained by Abramov. For the $q$-analogue, the question of whether a bivariate $q$-hypergeometric term has a $qZ$-pair remains open. Le has found a solution to this problem when the given bivariate $q$-hypergeometric term is a rational function in certain powers of $q$. We solve the problem for the general case by giving a characterization of bivariate $q$-hypergeometric terms for which the $q$-analogue of Zeilberger's algorithm terminates. Moreover, we give an algorithm to determine whether a bivariate $q$-hypergeometric term has a $qZ$-pair.


title: Ax-Kochen-Er{\v{s}}ov Theorems for $p$-adic integrals and motivic integration

abstract: This survey paper, to appear in he proceedings of the Miami Winter School ``Geometric Methods in Algebra and Number Theory'', is concerned with extending classical results \`a la Ax-Kochen-Er{\v{s}}ov to $p$-adic integrals in a motivic setting, using the framework of constructible motivic functions we introduced in math.AG/0410203. We conclude the paper by discussing briefly the relevance of our results to the study of orbital integrals and the Fundamental Lemma.


title: Formalized proof, computation, and the construction problem in algebraic geometry

abstract: An informal discussion of how the construction problem in algebraic geometry motivates the search for formal proof methods. Also includes a brief discussion of my own progress up to now, which concerns the formalization of category theory within a ZFC-like environment.


title: Integral Function Bases

abstract: Integral bases, a minimal set of solutions to $Ax\leq b, x\in\Z^n$ that generate any other solution to $Ax\leq b, x\in\Z^n$, as a nonnegative integer linear combination, are always finite and are at the core of the Integral Basis Method introduced by Haus, K{\"o}ppe and Weismantel. In this paper we present one generalization of the notion of integral bases to the nonlinear situation with the intention of creating an integral basis method also for nonlinear integer programming.


title: Branch Rings, Thinned Rings, Tree Enveloping Rings

abstract: We develop the theory of ``branch algebras'', which are infinite-dimensional associative algebras that are isomorphic, up to taking subrings of finite codimension, to a matrix ring over themselves. The main examples come from groups acting on trees. In particular, for every field k we construct a k-algebra K which (1) is finitely generated and infinite-dimensional, but has only finite-dimensional quotients; (2) has a subalgebra of finite codimension, isomorphic to $M_2(K)$; (3) is prime; (4) has quadratic growth, and therefore Gelfand-Kirillov dimension 2; (5) is recursively presented; (6) satisfies no identity; (7) contains a transcendental, invertible element; (8) is semiprimitive if k has characteristic $\neq2$; (9) is graded if k has characteristic 2; (10) is primitive if k is a non-algebraic extension of GF(2); (11) is graded nil and Jacobson radical if k is an algebraic extension of GF(2).


title: Timescales of population rarity and commonness in random environments

abstract: This paper investigates the influence of environmental noise on the characteristic timescale of the dynamics of density-dependent populations. General results are obtained on the statistics of time spent in rarity and time spent in commonness. The nonlinear stochastic models under consideration form a class of Markov chains on the state space $]0, \infty[$ which are transient if the intrinsic growth rate is negative and recurrent if it is positive or null. In the recurrent case, we obtain a necessary and sufficient condition for positive recurrence and precise estimates for the distribution of times of rarity and commonness. In the null recurrent, critical case that applies to ecologically neutral species, the distribution of rarity time is a universal power law with exponent -3/2. These non- trivial results should be of interest to biologists involved in the conservation of threatened populations, and to epidemiologists facing the need to better understanding the dynamics of pest or disease outbreaks.


title: Potpourri, 5

abstract: These notes deal with some topics related to limits of norms, functions on the unit circle, and so on.


title: Evolution dynamics of conformal maps with quasiconformal extensions

abstract: We study one-parameter curves on the universal Teichm\"uller space $T$ and on the homogeneous space $M=\Diff S^1/\Rot S^1$ embedded into $T$. As a result, we deduce evolution equations for conformal maps that admit quasiconformal extensions and, in particular, such that the associated quasidisks are bounded by smooth Jordan curves. Some applications to Hele-Shaw flows of viscous fluids are given.


title: Operads within monoidal pseudo algebras

abstract: A general notion of operad is given, which includes as instances, the operads originally conceived to study loop spaces, as well as the higher operads that arise in the globular approach to higher dimensional algebra. In the framework of this paper, one can also describe symmetric and braided analogues of higher operads, likely to be important to the study of weakly symmetric, higher dimensional monoidal structures.


title: The Lorenz attractor is mixing

abstract: We study a class of geometric Lorenz flows, introduced independently by Afraimovic, Bykov & Sil'nikov and by Guckenheimer & Williams, and give a verifiable condition for such flows to be mixing. As a consequence, we show that the classical Lorenz attractor is mixing.


title: Invariant pseudo Kaehler metrics in dimension four

abstract: Four dimensional simply connected Lie groups admitting a pseudo K\"ahler metric are determined. The corresponding Lie algebras are modelized and the compatible pairs $(J,\omega)$ are parametrized up to complex isomorphism (where $J$ is a complex structure and $\omega$ is a symplectic structure). Such structure gives rise to a pseudo Riemannian metric $g$ for which $J$ is parallel. It is proved that most of these complex homogeneous spaces admit a pseudo K\"ahler Einstein metric. Ricci flat and flat metrics are determined. In particular Ricci flat unimodular K\"ahler Lie algebras are flat in dimension four. Other algebraic and geometric features are treated. A general construction of Ricci flat pseudo K\"ahler structures in higher dimensions on some affine Lie algebras is given. Walker and hypersymplectic metrics on Lie algebras are compared.


title: Cusp shapes under cone deformation

abstract: A horospherical torus about a cusp of a hyperbolic manifold inherits a Euclidean similarity structure, called a cusp shape. We bound the change in cusp shape when the hyperbolic structure of the manifold is deformed via cone deformation preserving the cusp. The bounds are in terms of the change in structure in a neighborhood of the singular locus alone. We then apply this result to provide information on the cusp shape of many hyperbolic knots, given only a diagram of the knot. Specifically, we show there is a universal constant C such that if a knot admits a prime, twist reduced diagram with at least C crossings per twist region, then the length of the second shortest curve on the cusp torus is bounded. The bound is linear in the number of twist regions of the diagram.


title: On a necessary and sufficient cyclicity condition for a quadrilateral

abstract: A convex quadrilateral with sides a,b,c,d, and diagonals p,q is cyclic iff abp-bcq+cdp-daq=0. This condition, in spite of its simplicity, appears to be unnoted and unexpectedly proof-resilient. We employ advanced methods of computer algebra and nonlinear analysis.


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

abstract: We use Voiculescu's concept of free probability to construct a completely isomorphic embedding of the operator space OH in the predual of a von Neumann algebra. We analyze the properties of this embedding and determine the operator space projection constant of OH_n: It is of the order (n/1+ln n)^{1/2} The lower estimate is a recent result of Pisier and Shlyakhtenko that improves an estimate of order 1/(1+ln n) of the author. The additional factor 1/(1+ln n)^{1/2} indicates that the operator space OH_n behaves differently than its classical counterpart l_2^n. We give an application of this formula to positive sesquilinear forms on B(H). This leads to logarithmic characterization of C*-algebras with the weak expectation property introduced by Lance.


title: Capacities in Wiener Space, Quasi-Sure Lower Functions, and Kolmogorov's Epsilon-Entropy

abstract: We propose a set-indexed family of capacities $\{\cap_G \}_{G \subseteq \R_+}$ on the classical Wiener space $C(\R_+)$. This family interpolates between the Wiener measure ($\cap_{\{0\}}$) on $C(\R_+)$ and the standard capacity ($\cap_{\R_+}$) on Wiener space. We then apply our capacities to characterize all quasi-sure lower functions in $C(\R_+)$. In order to do this we derive the following capacity estimate which may be of independent interest: There exists a constant $a > 1$ such that for all $r > 0$, \[ \frac {1}{a} \K_G(r^6) e^{-\pi^2/(8r^2)} \le \cap_G \{f^* \le r\} \le a \K_G(r^6) e^{-\pi^2/(8r^2)}. \] Here, $\K_G$ denotes the Kolmogorov $\epsilon$-entropy of $G$, and $f^* := \sup_{[0,1]}|f|$.


title: Two-system of a Hamiltonian system

abstract: For a Hamiltonian system in R^{2n}, its two-system is defined in the phase space R^{2n} x sp(2n,R). In a sense, it is a combination of the original system and its system in variations with feedback. We study the Hamiltonian forms of the two-system and its analogs. In particular, we show a relation between the Poisson-Lie bracket on the (dual space to) Lie algebra sp(2n,R) and the canonical bracket.


title: A categorification of the skein module of tangles

abstract: We generalize our previous work on categorification of Kauffman bracket skein module of surfaces, by extending our homology to tangles in cylinders over surfaces, F x [0,1]. Our homology of 0-tangles and 1-tangles in D^3 coincides (up to normalization) with Khovanov link homology and the reduced Khovanov link homology. We prove the basic properties of our homology. In particular, the short exact sequence of homologies of skein related tangles and the Kunneth formula for the tensor product of tangles.


title: An energy-theoretic approach to the Hitchin-Kobayashi correspondence for manifolds, II

abstract: Recently, Donaldson proved asymptotic stability for a polarized algebraic manifold $M$ with polarization class admitting a K\"ahler metric of constant scalar curvature, essentially when the linear algebraic part $H$ of $Aut^0(M)$ is semisimple. The purpose of this paper is to give a generalization of Donaldson's result to the case where the polarization class admits an extremal K\"ahler metric, even when $H$ is not semisimple.


title: Lectures on the geometry of flag varieties

abstract: These notes are the written version of my lectures at the Banach Center mini-school "Schubert Varieties" in Warsaw, May 18-22, 2003. Their aim is to give a self-contained exposition of some geometric aspects of Schubert calculus.


title: A congruence with the Euler totient function

abstract: In this article we give a result obtained of an experimental way for the Euler totient function.


title: On compression of Bruhat-Tits buildings

abstract: We obtain an analog of the compression of angles theorem in symmetric spaces for Bruhat--Tits buildings of the type $A$. More precisely, consider a $p$-adic linear space $V$ and the set $Lat(V)$ of all lattices in $V$. The complex distance in $Lat(V)$ is a complete system of invariants of a pair of points of $Lat(V)$ under the action of the complete linear group. An element of a Nazarov semigroup is a lattice in the duplicated linear space $V\oplus V$. We investigate behavior of the complex distance under the action of the Nazarov semigroup on the set $Lat(V)$.


title: Free circle actions with contractible orbits on symplectic manifolds

abstract: We prove that closed symplectic four-manifolds do not admit any smooth free circle actions with contractible orbits, without assuming that the actions preserve the symplectic forms. In higher dimensions such actions by symplectomorphisms do exist, and we give explicit examples based on a construction of Fernandez, Gray and Morgan. We also prove that the only compact complex surfaces admitting free circle actions with contractible orbits are primary Hopf surfaces.


title: Generalization of the second trace form of central simple algebras in characteristic two

abstract: Let F be a field with characteristic two. We generalize the second trace form for central simple algebras with odd degree over F. We determine the second trace form and the Arf invariant and Clifford invariant for tensor products of central simple algebras.


title: Classes of forms Witt equivalent to a second trace form over fields of characteristic two

abstract: Let F be a field of characteristic two. We determine all non-hyperbolic quadratic forms over F that are Witt equivalent to a second trace form.


title: Divisibility of class numbers: enumerative approach

abstract: Murty proved that for all sufficiently large $X$ there exist at least ${c(\ell,\eps) X^{1/{4\ell}-\eps}}$ real quadratic fields with class number divisible by $\ell$ and discriminant not exceeding $X$ in absolute value. We extend this this to number fields of arbitrary degree.


title: $L_{\infty}$ algebra structures of Lie algebra deformations

abstract: In this paper,we will show how to kill the obstructions to Lie algebra deformations via a method which essentially embeds a Lie algebra into Strong homotopy Lie algebra or $L_{\infty}$ algebra. All such obstructions have been transfered to the revelvant $L_{\infty}$ algebras which contain only three terms


title: q-Analogues of Some Multivariable Biorthogonal Polynomials

abstract: A q-analogue a pair of multivariable biorthogonal polynomials found by M.V.Tratnik in 1989 is derived. The weight function is a product of a multivariable version of the integrand in the Askey-Roy integral and of the Askey-Wilson weight function in a single variable. In addition, a biorthogonality relation is derived for certain bivariate extensions of the $q$-Racah polynomials.


title: Some Systems of Multivariable Orthogonal Askey-Wilson Polynomials

abstract: In 1991 Tratnik derived two systems of multivariable orthogonal Wilson polynomials and considered their limit cases. q-Analogues of these systems are derived, yielding systems of multivariable orthogonal Askey-Wilson polynomials and their special and limit cases.


title: Some Systems of Multivariable Orthogonal q-Racah polynomials

abstract: In 1991 Tratnik derived two systems of multivariable orthogonal Racah polynomials and considered their limit cases. q-Extensions of these systems are derived, yielding systems of multivariable orthogonal q-Racah polynomials, from which systems of multivariable orthogonal q-Hahn, dual q-Hahn, q-Krawtchouk, q-Meixner, and q-Charlier polynomials follow as special or limit cases.


title: The nine Morse generic tetrahedra

abstract: From computational geometry comes the notion of a Gabriel graph of a point set in the plane. The Gabriel graph consists of those edges connecting two points of the point set such that the circle whose diameter is the edge does not contain any point of the point set in its interior. We define a generalization of the Gabriel graph to $n$ dimensions: the Morse poset. Using Morse theory we prove that for a generic set of 4 points in $\bR^3$ there are nine different Morse posets, up to combinatorial equivalence. At the end we mention some open questions and report on the results of computer experiments concerning these. We also compare our shape classification to another criterion widely used in computer science.


title: Factorial threefolds and Shokurov vanishing

abstract: We prove the factoriality of the following nodal threefolds: a complete intersection of hypersurfaces $F$ and $G\subset\mathbb{P}^{5}$ of degree $n$ and $k$ respectively, where $G$ is smooth, $|\mathrm{Sing}(F\cap G)|\leqslant(n+k-2)(n-1)/5$, $n\geqslant k$; a double cover of a smooth hypersurface $F\subset\mathbb{P}^{4}$ of degree $n$ branched over a surface that is cut out on $F$ by a hypersurface $G$ of degree $2r\geqslant n$, and $|\mathrm{Sing}(F\cap G)|\leqslant(2r+n-2)r/4$.


title: On the discrete counterparts of Cohen-Macaulay algebras with straightening laws

abstract: We study properties of a poset generating a Cohen-Macaulay algebra with straightening laws (ASL for short). We show that if a poset $P$ generates a Cohen-Macaulay ASL, then $P$ is pure and, if $P$ is moreover Buchsbaum, then $P$ is Cohen-Macaulay. Some results concerning a Rees algebra of an ASL defined by a straightening closed ideal are also established. And it is shown that if $P$ is a Cohen-Macaulay poset with unique minimal element and $Q$ is a poset ideal of $P$, then $P\uplus Q$ is also Cohen-Macaulay.


title: Three examples of noncommutative boundaries of Shimura varieties

abstract: We study the noncommutative modular curve (which was already studied by Connes, Manin and Marcolli), and the space of geodesics on the usual modular curve, from the viewpoint of algebraic groups, linear algebra and class field theory. This allows us, first, to understand differently some aspects of Manin's real multiplication program, and secondly, to study higher dimensional analogs of the noncommutative modular curve, called irrational or noncommutative boundaries of Shimura varieties. These are double cosets spaces $L\backslash G(\mathbb{R})/P(K)$ where $G$ is a connected reductive algebraic group over $\mathbb{Q}$, $L$ an arithmetic subgroup of $G(\mathbb{Q})$ and $P(K)$ a real parabolic subgroup in $G(\R)$. We study three examples of these general moduli spaces, and construct analogs of universal families for them. These moduli spaces describe degenerations of complex structures on tori in multifoliations, and contain important arithmetic information. Along the way, we use noncommutative geometry ``\`a la Connes'' for some moduli interpretations.


title: On the de Rham Cohomology of Differential and Algebraic Stacks

abstract: We introduce the notion of cofoliation on a stack. A cofoliation is a change of the differentiable structure which amounts to giving a full representable smooth epimorphism. Cofoliations are uniquely determined by their associated Lie algebroids. Cofoliations on stacks arise from flat connections on groupoids. Connections on groupoids generalize connections on gerbes and bundles in a natural way. A flat connection on a groupoid is an integrable distribution of the morphism space compatible with the groupoid structure and complementary to both source and target fibres. A cofoliation of a stack determines the flat groupoid up to etale equivalence. We show how a cofoliation on a stack gives rise to a refinement of the Hodge to De Rham spectral sequence, where the E1-term consists entirely of vector bundle valued cohomology groups. Our theory works for differentiable, holomorphic and algebraic stacks.


title: Extensions by spaces of continuous functions

abstract: We characterize the Banach spaces X such that Ext(X, C(K))=0 for every compact space.


title: Independence of the total reflexivity conditions for modules

abstract: We show that the conditions defining total reflexivity for modules are independent. In particular, we construct a commutative Noetherian local ring $R$ and a reflexive $R$-module $M$ such that $\Ext^i_R(M,R)=0$ for all $i>0$, but $\Ext^i_R(M^*,R)\ne 0$ for all $i>0$.


title: L\^e Modules and Traces

abstract: We show how some of our recent results clarify the relationship between the L\^e numbers and the cohomology of the Milnor fiber of a non-isolated hypersurface singularity. The L\^e numbers are actually the ranks of the free Abelian groups -- the L\^e modules -- appearing in a complex whose cohomology is that of the Milnor fiber. Moreover, the Milnor monodromy acts on the L\^e module complex, and we describe the traces of these monodromy actions in terms of the topology of the critical locus.


title: A rational map between two threefolds

abstract: A rational map between certain specific threefolds is given in an explicit manner.


title: Desingularizations of Calabi-Yau 3-folds with a conical singularity

abstract: We study Calabi-Yau 3-folds M_0 with a conical singularity x modelled on a Calabi-Yau cone V. We construct desingularizations of M_0, obtaining a 1-parameter family of compact, nonsingular Calabi-Yau 3-folds which has M_0 as the limit. The way we do is to choose an Asymptotically Conical Calabi-Yau 3-fold Y modelled on the same cone V, and then glue into M_0 at x after applying a homothety to Y. We then get a 1-parameter family of nearly Calabi-Yau 3-folds M_t depending on a small real variable t. For sufficiently small t, we show that the nearly Calabi-Yau structures on M_t can be deformed to genuine Calabi-Yau structures, and therefore obtaining the desingularizations of M_0. Our result can be applied to resolving orbifold singularities and hence provides a quantitative description of the Calabi-Yau metrics on the crepant resolutions.


title: The complex of words and Nakaoka stability

abstract: We give a new simple proof of the exactness of the complex of injective words and use it to prove Nakaoka's homology stability for symmetric groups. The methods are generalized to show acyclicity in low degrees for the complex of words in general position.


title: Periodic points on Veech surfaces and the Mordell-Weil group over a Teichmueller curve

abstract: Periodic points are points on Veech surfaces, whose orbit under the group of affine diffeomorphisms is finite. We characterise those points as being torsion points if the Veech surfaces is suitably mapped to its Jacobian or an appropriate factor thereof. For a primitive Veech surface in genus two we show that the only periodic points are the Weierstrass points and the singularities. Our main tool is the Hodge-theoretic characterisation of Teichmueller curves. We deduce from it a finiteness result for the Mordell-Weil group of the family of Jacobians over a Teichmueller curve.


title: Lazy cohomology: an analogue of the Schur multiplier for arbitrary Hopf algebras

abstract: We propose a detailed systematic study of a group H^2_L(A) associated, by elementary means of lazy 2-cocycles, to any Hopf algebra A. This group was introduced by Schauenburg (with a different name) in order to generalize G.I. Kac's exact sequence. We study the various interplays of lazy cohomology in Hopf algebra theory: Galois and biGalois objects, Brauer groups and projective representations. We obtain a Kac-Schauenburg-type sequence for double crossed products of possibly infinite-dimensional Hopf algebras. Finally the explicit computation of H^2_L(A) for monomial Hopf algebras and for a class of cotriangular Hopf algebras is performed.


title: Projections of cones and the arithmetical rank of toric varieties

abstract: Let $I_M$ and $I_N$ be defining ideals of toric varieties such that $I_M$ is a projection of $I_N$, i.e. $I_N \subseteq I_M$. We give necessary and sufficient conditions for the equality $I_M=rad(I_N+(f_1,...,f_s))$, where $f_1,...,f_s$ belong to $I_M$. Also a method for finding toric varieties which are set-theoretic complete intersection is given. Finally we apply our method in the computation of the arithmetical rank of certain toric varieties and provide the defining equations of the above toric varieties.


title: Complete Intersection Lattice Ideals

abstract: In this paper we completely characterize lattice ideals that are complete intersections or equivalently complete intersections finitely generated semigroups of $\bz^n\oplus T$ with no invertible elements, where $T$ is a finite abelian group. We also characterize the lattice ideals that are set-theoretic complete intersections on binomials.


title: Binary quadratic forms that represent almost the same primes

abstract: Jagy and Kaplansky exhibited a table of 68 pairs of positive definite binary quadratic forms that represent the same odd primes and conjectured that this list is complete outside of "trivial" pairs. In this article, we find all pairs of such forms that represent the same primes outside of a finite set.


title: Configurations in abelian categories. III. Stability conditions and identities

abstract: This is the third in a series math.AG/0312190, math.AG/0503029, math.AG/0410268 on configurations in an abelian category A. Given a finite partially ordered set (I,<), an (I,<)-configuration (\sigma,\iota,\pi) is a finite collection of objects \sigma(J) and morphisms \iota(J,K) or \pi(J,K) : \sigma(J) --> \sigma(K) in A satisfying some axioms, where J,K are subsets of I. Configurations describe how an object X in A decomposes into subobjects. The first paper math.AG/0312190 defined configurations and studied moduli spaces Obj_A, M(I,<)_A of objects and (I,<)-configurations in A, using the theory of Artin stacks. The second math.AG/0503029 considered algebras of constructible functions and "stack functions" on Obj_A, using the theories developed in math.AG/0403305, math.AG/0509722. This paper introduces (weak) stability conditions (t,T,<) on A. We show the moduli spaces Obj_{ss}^a(t),Obj_{st}^a(t) of t-(semi)stable objects in class a in K(A) are constructible sets in the stack Obj_A, and some configuration moduli spaces M_{ss},...,M_{st}^b(I,<,k,t)_A are constructible in M(I,<)_A. So their characteristic functions d_{ss}^a(t),... and d_{ss}(I,<,k,t),... are constructible functions on Obj_A and M(I,<)_A. We prove many identities relating pushforwards of these functions under 1-morphisms between moduli stacks. These encode facts about, for example, the Euler characteristic of the family of ways of decomposing a t-semistable object into t-stable factors, and constitute a kind of "universal algebra of t-(semi)stability". Using these we define interesting (Lie) algebras of constructible functions H^{pa}_t,H^{to}_t and L^{pa}_t,L^{to}_t on Obj_A. All this is generalized to "stack functions".


title: Configurations in abelian categories. IV. Invariants and changing stability conditions

abstract: This is the fourth in a series of papers math.AG/0312190, math.AG/0503029, math.AG/0410267 on configurations in an abelian category A. Given a finite partially ordered set (I,<), an (I,<)-configuration is a finite collection of objects and morphisms in A satisfying some axioms. Configurations describe how an object X in A decomposes into subobjects. The first paper math.AG/0312190 defined configurations and studied moduli spaces Obj_A, M(I,<)_A of objects and (I,<)-configurations in A, using the theory of Artin stacks. The second math.AG/0503029 considered algebras of constructible functions and "stack functions" on Obj_A, using the theories developed in math.AG/0403305, math.AG/0509722. The third math.AG/0410267 introduced stability conditions (t,T,<) on A, and showed the moduli space Obj_{ss}^a(t) of t-semistable objects in class a in A is a constructible set in Obj_A, so its characteristic function d_{ss}^a(t) is constructible. It proved many identities on constructible and stack functions such as d_{ss}^a(t). This paper first studies how Obj_{ss}^a(t) changes as we vary the stability condition (t,T,<) to (t',T',<), by writing d_{ss}^a(t') as a sum of products of d_{ss}^b(t). Then we discuss invariants I_{ss}^a(t) or I_{ss}(I,<,k,t) 'counting' t-semistable objects and configurations in A, satisfying identities and transformation laws from (t,T,<) to (t',T',<). We compute the invariants when A is a category mod-KQ of representations of a quiver Q or coh(P) of coherent sheaves on a smooth projective curve P. We find special properties of the invariants when A=coh(P) for P a surface with K_P^{-1} nef, or P a Calabi-Yau 3-fold.


title: Quelques bords irrationnels de varietes de Shimura

abstract: We are looking for a formulation of Manin's real multiplication question in higher rank. This question comports, in our point of view, at least two steps: 1. a formalisation of the linear algebra side of the story in terms of morphisms of algebraic groups analogous to Shimura and Deligne's point of view of the theory of complex multiplication. 2. a work of noncommutative algebraic geometry. We are interested only by the first step, and recall the known results in the litterature on the second one. Our point of view, perhaps too naive, is that before looking for a good notion of noncommutative abelian varieties, we have to know what are their periods and what we want to do with them.


title: Beurling Zeta Functions, Generalised Primes, and Fractal Membranes

abstract: We study generalised prime systems $\mathcal{P}$ $(1<p_1\leq p_2\leq...,$ with $p_j\in\R$ tending to infinity) and the associated Beurling zeta function $\zeta_{\mathcal{P}}(s) =\prod_{j=1}^{\infty} (1-p_j^{-s})^{-1}$. Under appropriate assumptions, we establish various analytic properties of $\zeta_{\mathcal{P}}(s)$, including its analytic continuation and we characterise the existence of a suitable generalised functional equation. In particular, we examine the relationship between a counterpart of the Prime Number Theorem (with error term) and the properties of the analytic continuation of $\zeta_{\mathcal{P}}(s)$. Further we study `well-behaved' g-prime systems, namely, systems for which both the prime and integer counting function are asymptotically well-behaved. Finally, we show that there exists a natural correspondence between generalised prime systems and suitable orders on $\N^2$. Some of the above results may be relevant to the second author's theory of `fractal membranes', whose spectral partition functions are precisely given by Beurling zeta functions.


title: Statistical modeling of causal effects in continuous time

abstract: This article studies the estimation of the causal effect of a time-varying treatment on time-to-an-event or on some other continuously distributed outcome. The paper applies to the situation where treatment is repeatedly adapted to time-dependent patient characteristics. The treatment effect cannot be estimated by simply conditioning on these time-dependent patient characteristics, as they may themselves be indications of the treatment effect. This time-dependent confounding is common in observational studies. Robins [(1992) Biometrika 79 321--334, (1998b) Encyclopedia of Biostatistics 6 4372--4389] has proposed the so-called structural nested models to estimate treatment effects in the presence of time-dependent confounding. In this article we provide a conceptual framework and formalization for structural nested models in continuous time. We show that the resulting estimators are consistent and asymptotically normal. Moreover, as conjectured in Robins [(1998b) Encyclopedia of Biostatistics 6 4372--4389], a test for whether treatment affects the outcome of interest can be performed without specifying a model for treatment effect. We illustrate the ideas in this article with an example.


title: Surgery on a single clasper and the 2-loop part of the Kontsevich integral

abstract: We study the 2-loop part of the rational Kontsevich integral of a knot in an integer homology sphere. We give a general formula which explains how the 2-loop part of the Kontsevich integral of a knot changes after surgery on a single clasper whose leaves are not linked to the knot. As an application, we relate this formula with a conjecture of L. Rozansky about integrality of the 2-loop polynomial of a knot.


title: Errata \`a ``Sur les repr\'esentations non ramifi\'ees des groupes r\'eductifs $p$-adiques; l'exemple de ${\rm GSp}(4)$''

abstract: We correct two errors in the paper "Sur les repr\'esentations non ramifi\'ees des groupes r\'eductifs p-adiques; l'exemple de GSp(4)": the first in the study of an involution on the irreducible unramified representations of a semi-simple group, the second in the description of representations of the group GSp(4).


title: Subanalytic sets and complex analytic geometry

abstract: We consider a subanalytic subset A of a complex analytic manifold M (when M is viewed as a real manifold) and formulate conditions under which A is a complex analytic subset of M.


title: Palindromes and orderings in Artin groups

abstract: The braid group $B_{n}$, endowed with Artin's presentation, admits two distinguished involutions. One is the anti-automorphism ${\rm{rev}}: B_{n} \to B_{n}$, $v \mapsto \bar{v}$, defined by reading braids in the reverse order (from right to left instead of left to right). Another one is the conjugation $\tau:x \mapsto \Delta^{-1}x \Delta$ by the generalized half-twist (Garside element). More generally, the involution ${\rm{rev}}$ is defined for all Artin groups (equipped with Artin's presentation) and the involution $\tau$ is defined for all Artin groups of finite type. A palindrome is an element invariant under rev. We classify palindromes and palindromes invariant under $\tau$ in Artin groups of finite type. The tools are elementary rewriting and the construction of explicit left-orderings compatible with rev. Finally, we discuss generalizations to Artin groups of infinite type and Garside groups.


title: Characterization of invariant measures at the leading edge for competing particle systems

abstract: We study systems of particles on a line which have a maximum, are locally finite and evolve with independent increments. ``Quasi-stationary states'' are defined as probability measures, on the \sigma-algebra generated by the gap variables, for which joint distribution of gaps between particles is invariant under the time evolution. Examples are provided by Poisson processes with densities of the form \rho(dx)=e^{-sx}s dx, with s>0, and linear superpositions of such measures. We show that, conversely, any quasi-stationary state for the independent dynamics, with an exponentially bounded integrated density of particles, corresponds to a superposition of Poisson processes with densities \rho (dx)=e^{-sx}s dx with s>0, restricted to the relevant \sigma-algebra. Among the systems for which this question is of some relevance are spin-glass models of statistical mechanics, where the point process represents the collection of the free energies of distinct ``pure states,'' the time evolution corresponds to the addition of a spin variable and the Poisson measures described above correspond to the so-called REM states.


title: Global Stabilization for Systems Evolving on Manifolds

abstract: We show that any globally asymptotically controllable system on any smooth manifold can be globally stabilized by a state feedback. Since we allow discontinuous feedbacks, we interpret the solutions of our systems in the ``sample and hold'' sense introduced by Clarke-Ledyaev-Sontag-Subbotin (CLSS). Our work generalizes the CLSS Theorem which is the special case of our result for systems on Euclidean space. We apply our result to the input-to-state stabilization of systems on manifolds relative to actuator errors, under small observation noise.


title: Proximity in the curve complex: boundary reduction and bicompressible surfaces

abstract: Suppose N is a compressible boundary component of a compact orientable irreducible 3-manifold M and Q is an orientable properly embedded essential surface in M in which each component is incident to N and no component is a disk. Let VN and QN denote respectively the sets of vertices in the curve complex for N represented by boundaries of compressing disks and by boundary components of Q. Theorem: Suppose Q is essential in M, then the distance d(VN, QN) \leq 1 - \chi(Q). Hartshorn showed that an incompressible surface in a closed 3-manifold puts a limit on the distance of any Heegaard splitting. The theorem above provides a version of Hartshorn's result for merely compact 3-manifolds. In a similar spirit, here is the main result: Theorem: Suppose Q is connected, separating and compresses on both its sides, but not by way of disjoint disks, then either d(VN, QN) \leq 1 - \chi(Q) or Q is obtained from two nested connected boundary-parallel surfaces by a vertical tubing. Forthcoming work with M. Tomova (math.GT/0501140) will show how an augmented version of this theorem leads to the same conclusion as in Hartshorn's theorem, not from an essential surface but from an alternate Heegaard surface. That is, if Q is a Heegaard splitting of a compact M then then no other irreducible Heegaard splitting of M has distance greater than twice the genus of Q.


title: On the Convection-Dispersion Equation for a Finite Domain: Third-Type Boundaries as a Necessary Condition of the Conservation Law

abstract: This paper resolves a longstanding discussion of a mathematical problem important in contaminant hydrogeology and chemical-reaction engineering, by discussing the foundations for a conceptual model of a dilute miscible solute undergoing longitudinal convection and dispersion with moderate rates of appearance and disappearance in a finite continuum. It is demonstrated that: (i) Hulburts conditions (a first-type entrance with a third-type exit) fail to satisfy overall mass conservation; (ii) the conditions of Wehner and Wilhelm which reduce to those of Danckwerts (a third-type entrance with a zero-gradient exit) satisfy overall mass conservation yet fail to satisfy internal consistency with the governing equation; (iii) only third-type boundaries simultaneously satisfy internal consistency and overall mass conservation which are, respectively, a necessary and sufficient condition for any solution to the governing equation. This result is extensible to quite general governing equations since the boundary conditions are shown to be independent of the fate mechanisms.


title: Improved Vapnik Cervonenkis bounds

abstract: We give a new proof of VC bounds where we avoid the use of symmetrization and use a shadow sample of arbitrary size. We also improve on the variance term. This results in better constants, as shown on numerical examples. Moreover our bounds still hold for non identically distributed independent random variables. Keywords: Statistical learning theory, PAC-Bayesian theorems, VC dimension.


title: On the McKay correspondences for the Hilbert scheme of points on the affine plane

abstract: The quotient of a finite-dimensional vector space by the action of a finite subgroup of automorphisms is usually a singular variety. Under appropriate assumptions, the McKay correspondence relates the geometry of nice resolutions of singularities and the representations of the group. For the Hilbert scheme of points on the affine plane, we study how different correspondences (McKay, dual McKay and multiplicative McKay) are related to each other.


title: Balanced Boolean functions that can be evaluated so that every input bit is unlikely to be read

abstract: A Boolean function of n bits is balanced if it takes the value 1 with probability 1/2. We exhibit a balanced Boolean function with a randomized evaluation procedure (with probability 0 of making a mistake) so that on uniformly random inputs, no input bit is read with probability more than Theta(n^{-1/2} sqrt{log n}). We give a balanced monotone Boolean function for which the corresponding probability is Theta(n^{-1/3} log n). We then show that for any randomized algorithm for evaluating a balanced Boolean function, when the input bits are uniformly random, there is some input bit that is read with probability at least Theta(n^{-1/2}). For balanced monotone Boolean functions, there is some input bit that is read with probability at least Theta(n^{-1/3}).


title: Holomorphic bundles on 2-dimensional noncommutative toric orbifolds

abstract: We define the notion of a holomorphic bundle on the noncommutative toric orbifold $T_{\theta}/G$ associated with an action of a finite cyclic group $G$ on an irrational rotation algebra. We prove that the category of such holomorphic bundles is abelian and its derived category is equivalent to the derived category of modules over a finite-dimensional algebras $\Lambda$. As an application we finish the computation of $K_0$-groups of the crossed product algebras describing the above orbifolds initiated by Kumjian, Walters and Buck. Also, we describe a torsion pair in the category of $\Lambda$-modules, such that the tilting with respect to this torsion pair gives the category of holomorphic bundles on $T_{\theta}/G$.


title: A bisection algorithm for the numerical Mountain Pass

abstract: We propose a constructive proof for the Ambrosetti-Rabinowitz Mountain Pass Theorem providing an algorithm, based on a bisection method, for its implementation. The efficiency of our algorithm, particularly suitable for problems in high dimensions, consists in the low number of flow lines to be computed for its convergence; for this reason it improves the one currently used and proposed by Y.S. Choi and P.J. McKenna.


title: On the smooth-fit property for one-dimensional optimal switching problem

abstract: This paper studies the problem of optimal switching for one-dimensional diffusion, which may be regarded as sequential optimal stopping problem with changes of regimes. The resulting dynamic programming principle leads to a system of variational inequa-lities, and the state space is divided into continuation regions and switching regions. By means of viscosity solutions approach, we prove the smoot-fit $C^1$ property of the value functions.


title: Three Dimensional Nonlinear Dynamics of Slender Structures: Cosserat Rod Element Approach

abstract: In this paper, the modelling strategy of a Cosserat rod element (CRE) is addressed systematically for 3-dimensional dynamical analysis of slender structures. We employ the exact nonlinear kinematic relationships in the sense of Cosserat theory, and adopt the Bernoulli hypothesis. For the sake of simplicity, the Kirchoff constitutive relations are adopted to provide an adequate description of elastic properties in terms of a few elastic moduli. A deformed configuration of the rod is described by the displacement vector of the deformed centroid curves and an orthonormal moving frame, rigidly attached to the cross-section of the rod. The position of the moving frame relative to the inertial frame is specified by the rotation matrix, parametrized by a rotational vector. The approximate solutions of the nonlinear partial differential equations of motion in quasi-static sense are chosen as the shape functions with up to third order nonlinear terms of generic nodal displacements. Based on the Lagrangian constructed by the Cosserat kinetic energy and strain energy expressions, the principle of virtual work is employed to derive the ordinary differential equations of motion with third order nonlinear generic nodal displacements. A simple example is presented to illustrate the use of the formulation developed here to obtain the lower order nonlinear ordinary differential equations of motion of a given structure. The corresponding nonlinear dynamical responses of the structures have been presented through numerical simulations by Matlab software.


title: Radial Symmetry and Monotonicity Results for an Integral Equation

abstract: In this paper, we consider radial symmetry property of positive solutions of an integral equation arising from some higher order semi-linear elliptic equations on the whole space $\mathbf{R}^n$. We do not use the usual way to get symmetric result by using moving plane method. The nice thing in our argument is that we only need a Hardy-Littlewood-Sobolev type inequality. Our main result is Theorem 1 below.


title: Palindromic Braids

abstract: The braid group $B_{n}$, endowed with Artin's presentation, admits an antiautomorphism $B_{n} \to B_{n}$, such that $v \mapsto \bar{v}$ is defined by reading braids in reverse order (from right to left instead of left to right). We prove that the map $B_{n} \to B_{n}$, $v \mapsto v \bar{v}$ is injective. We also give some consequences arising due to this injectivity.


title: Computation of Atomic Fibers of Z-Linear Maps

abstract: For given matrix $A\in\Z^{d\times n}$, the set $P^I_{A,b}=\{z:Az=b,z\in\Z^n_+\}$ describes the preimage or fiber of $b\in\Z^d$ under the $\Z$-linear map $f_A:\Z^n_+\to\Z^d$, $x\mapsto Ax$. The fiber $P^I_{A,b}$ is called atomic, if $P^I_{A,b}=P^I_{A,b_1}+P^I_{A,b_2}$ implies $b=b_1$ or $b=b_2$. In this paper we present a novel algorithm to compute such atomic fibers. An algorithmic solution to appearing subproblems, application to integer programming, and computational examples are included as well.


title: Explicit construction and uniqueness for universal operator algebras of directed graphs

abstract: Given a directed graph, there exists a universal operator algebra and universal C*-algebra associated to the directed graph. In this paper we give intrinsic constructions of these objects. We provide an explicit construction for the maximal C*-algebra of an operator algebra. We also discuss uniqueness of the universal algebras for finite graphs, showing that for finite graphs the graph is an isomorphism invariant for the universal operator algebra of a directed graph. We show that the underlying undirected graph is a Banach algebra isomorphism invariant for the universal C*-algebra of a directed graph.


title: Homotopy algebras inspired by classical open-closed string field theory

abstract: We define a homotopy algebra associated to classical open-closed strings. We call it an open-closed homotopy algebra (OCHA). It is inspired by Zwiebach's open-closed string field theory and also is related to the situation of Kontsevich's deformation quantization. We show that it is actually a homotopy invariant notion; for instance, the minimal model theorem holds. Also, we show that our open-closed homotopy algebra gives us a general scheme for deformation of open string structures (A(infinity)-algebras) by closed strings (L(infinity)-algebras).


title: Tame class field theory for arithmetic schemes

abstract: We extend the unramified class field theory for arithmetic schemes of K. Kato and S. Saito to the tame case. Let $X$ be a regular proper arithmetic scheme and let $D$ be a divisor on $X$ whose vertical irreducible components are normal schemes. Theorem: There exists a natural reciprocity isomorphism \[ \rec_{X,D}: \CH_0(X,D) \liso \tilde \pi_1^t(X,D)^\ab\. \] Both groups are finite. This paper corrects and generalizes my paper "Relative K-theory and class field theory for arithmetic surfaces" (math.NT/0204330)


title: Rational Cherednik algebras and Hilbert schemes II: representations and sheaves

abstract: Let H_c be the rational Cherednik algebra of type A_{n-1} with spherical subalgebra U_c=eH_ce. Then U_c is filtered by order of differential operators with associated graded ring gr U_c=C[h + h*]^W, where W is the n-th symmetric group. Using the Z-algebra construction from our earlier paper (math.RA/0407516) it is also possible to associate to a filtered H_c- or U_c-module M a coherent sheaf on the Hilbert scheme Hilb(n). Using this technique, we study the representation theory of U_c and H_c, and relate it to Hilb(n) and to the resolution of singularities from Hilb(n) to h+h*/W. For example, we prove: (1) If c=1/n, so that L_c(triv) is the unique one-dimensional simple H_c-module, then L_c(triv) corresponds to the structure sheaf of the punctual Hilbert scheme. (2) If c=1/n+k (for k some natural number) then, under a canonical filtration on the finite dimensional module L_c(triv), gr eL_{c}(triv) has a natural bigraded structure which coincides with that on the global sections of certain ample line bundles on the punctual Hilbert scheme; this confirms conjectures of Berest, Etingof and Ginzburg, and relates representations of H_c and U_c with Haiman's combinatorial work on the Hilbert scheme. (3) Under mild restrictions on c, the characteristic cycle of the standard H_c-modules are described in terms of certain irreducible subvarieties of the Hilbert scheme (appearing originally in work of Grojnowski) with multiplicities given by Kostka numbers.


title: Holomorphic factorization of determinants of laplacians on Riemann surfaces and a higher genus generalization of Kronecker's first limit formula

abstract: For a family of compact Riemann surfaces X_t of genus g>1 parametrized by the Schottky space S_g, we define a natural basis for the holomorphic n-differentials on X_t which varies holomorphically with t and generalizes the basis of normalized abelian differentials of the first kind for n=1. We introduce a holomorphic function F(n) on S_g which generalizes the classical product \prod(1-q^m)^2 appearing in the Dedekind eta function for n=1 and g=1. We prove a holomorphic factorization formula expressing the regularized determinant of the Laplacian as a product of |F(n)|^2, a holomorphic anomaly depending on the classical Liouville action (a Kahler potential of S_g), and the determinant of the Gram matrix of the natural basis. The factorization formula reduces to Kronecker's first limit formula when n=1 and g=1, and to Zograf's factorization formula for n=1 and g>1.


title: On bifurcation braid monodromy of elliptic fibrations

abstract: We define a monodromy homomorphism for irreducible families of regular elliptic fibrations which takes values in the mapping class group of a punctured sphere. We compute the monodromy for elliptic fibrations only which contain no singular fibres of types other than I_1 and I*_0. There are maximal groups, which can be the monodromy groups of algebraic, resp. differentiable families of elliptic surfaces, and we give an algebraic criterion for the equality of both groups which we can check to apply in case the number of I_1 fibres is at most 6.


title: Extremal function of intrinsic norms

abstract: Through the study of the degenerate complex Monge-Amp\`ere equation, we establish the optimal regularity of the extremal function associated to intrinsic norms of Chern-Levine-Nirenberg and Bedford-Taylor. We prove a conjecture of Chern-Levine-Nirenberg on the extended intrinsic norms on complex manifolds and verify Bedford-Taylor's representation formula for these norms in general.


title: A conjecture about numerators of Bernoulli numbers related to Integer Sequence A092291

abstract: In this paper we disprove a conjecture about numerators of divided Bernoulli numbers $B_n/n$ and $B_n/n(n-1)$ which was suggested by Roland Bacher. We give some counterexamples. Finally, we extend the results to the general case.


title: Continuous Time Markov Processes on Graphs

abstract: We study continuous time Markov processes on graphs. The notion of frequency is introduced, which serves well as a scaling factor between any Markov time of a continuous time Markov process and that of its jump chain. As an application, we study ``multi-person simple random walks'' on a graph G with n vertices. There are n persons distributed randomly at the vertices of G. In each step of this discrete time Markov process, we randomly pick up a person and move it to a random adjacent vertex. We give estimate on the expected number of steps for these $n$ persons to meet all together at a specific vertex, given that they are at different vertices at the begininng. For regular graphs, our estimate is exact.


title: A sufficient condition for pseudointegrable systems with weak mixing property

abstract: We present a sufficient condition that a pseudointegrable system has weak mixing property. The result is derived from Veech's weak mixing theorem for interval exhange [Veech, W.A. Amer.J.Math. {\bf 106}, 1331 (1984)]. We also present an example whose weak mixing property can be proved by the result.


title: Knot Floer homology and integer surgeries

abstract: Let $K$ be a null-homologous knot in a three-manifold $Y$. We give a description of the Heegaard Floer homology of integer surgeries on $Y$ along $K$ in terms of the filtered homotopy type of the knot invariant for $K$. As an illustration, we calculate the Heegaard Floer homology groups of non-trivial circle bundles over Riemann surfaces.


title: Cylindric skew Schur functions

abstract: Cylindric skew Schur functions, which are a generalisation of skew Schur functions, arise naturally in the study of P-partitions. Also, recent work of A. Postnikov shows they have a strong connection with a problem of considerable current interest: that of finding a combinatorial proof of the non-negativity of the 3-point Gromov-Witten invariants. After explaining these motivations, we study cylindric skew Schur functions from the point of view of Schur-positivity. Using a result of I. Gessel and C. Krattenthaler, we generalise a formula of A. Bertram, I. Ciocan-Fontanine and W. Fulton, thus giving an expansion of an arbitrary cylindric skew Schur function in terms of skew Schur functions. While we show that no non-trivial cylindric skew Schur functions are Schur-positive, we conjecture that this can be reconciled using the new concept of cylindric Schur-positivity.


title: Equivalence of domains arising from duality of orbits on flag manifolds III

abstract: In [GM1], we defined a G_R-K_C invariant subset C(S) of G_C for each K_C-orbit S on every flag manifold G_C/P and conjectured that the connected component C(S)_0 of the identity would be equal to the Akhiezer-Gindikin domain D if S is of nonholomorphic type. This conjecture was proved for closed S in [WZ2,WZ3,FH,M4] and for open S in [M4]. It was proved for the other orbits in [M5] when G_R is of non-Hermitian type. In this paper, we prove the conjecture for an arbitrary non-closed K_C-orbit when G_R is of Hermitian type. Thus the conjecture is completely solved affirmatively.


title: Derived Functors and Hilbert Polynomials

abstract: Let $R$ be a commutative Noetherian ring, $I$ an ideal, $M$ and $N$ finitely generated $R$-modules. Assume $V(I)\cap Supp(M)\cap Supp(N)$ consists of finitely many maximal ideals and let ${\l}(\e^i(N/I^nN,M))$ denote the length of $\e^i(N/I^nN,M)$. It is shown that ${\l}(\e^i(N/I^nN,M))$ agrees with a polynomial in $n$ for $n>>0$, and an upper bound for its degree is given. On the other hand, a simple example shows that some special assumption such as the support condition above is necessary in order to conclude that polynomial growth holds.


title: Bivariate Hilbert Functions for the Torsion Functor

abstract: Let $(R,P)$ be a commutative, local Noetherian ring, $I$, $J$ ideals, $M$ and $N$ finitely generated $R$-modules. Suppose $J + ann_R M + ann_R N$ is $P$-primary. The main result of this paper is Theorem 6, which gives necessary and sufficient conditions for the length of $\t_i(M/I^nM,N/J^mN)$, to agree with a polynomial, for $m$, $n \gg 0$. As a corollary, it is shown that the length of $\t_i(M/I^nM,N/I^nN))$ always agrees with a polynomial in $n$, for $n \gg 0$, provided $I + ann_R M + ann_R N$ is $P$-primary.


title: Phase transitions on Hecke C*-algebras and class-field theory over Q

abstract: We associate a canonical Hecke pair of semidirect product groups to the ring inclusion of the algebraic integers $\oo$ in a number field $\kk$, and we construct a C*-dynamical system on the corresponding Hecke C*-algebra, analogous to the one constructed by Bost and Connes for the inclusion of the integers in the rational numbers. We describe the structure of the resulting Hecke C*-algebra as a semigroup crossed product and then, in the case of class number one, analyze the equilibrium (KMS) states of the dynamical system. The extreme KMS$_\beta$ states at low-temperature exhibit a phase transition with symmetry breaking that strongly suggests a connection with class field theory. Indeed, for purely imaginary fields of class number one, the group of symmetries, which acts freely and transitively on the extreme KMS$_\infty$ states, is isomorphic to the Galois group of the maximal abelian extension over the field. However, the Galois action on the restrictions of extreme KMS$_\infty$ states to the (arithmetic) Hecke algebra over $\kk$, as given by class-field theory, corresponds to the action of the symmetry group if and only if the number field $\kk$ is $\Q$.


title: Rational convex cones and cyclotomic multiple zeta values

abstract: In this paper, we introduce zeta values of rational convex cones, which is a generalization of cyclotomic multiple zeta values. These zeta values have integral expressions. The main theorem asserts that zeta values of cones can be expressed as linear combinations of cyclotomic multiple zeta values over some cyclotomic field.


title: The characterization problem for one class high order ordinary differential operators with periodic coefficients

abstract: The main purpose of the present work is solving the characterization problem which consist of identification of necessary and sufficient conditions on the scattering data ensuring that the reconstructed potential belongs to a particular class


title: Longest Induced Cycles on Cayley Graphs

abstract: In this paper we study the length of the longest induced cycle in the unitary Cayley graph $X_n = Cay(\mathbb Z_n; U_n)$, where $U_n$ is the group of units in $\mathbb Z_n$. Using residues modulo the primes dividing $n$, we introduce a representation of the vertices that reduces the problem to a purely combinatorial question of comparing strings of symbols. This representation allows us to prove that the multiplicity of each prime dividing $n$, and even the value of each prime (if sufficiently large) has no effect on the length of the longest induced cycle in $X_n$. We also see that if $n$ has $r$ distinct prime divisors, $X_n$ always contains an induced cycle of length $2^r+2$, improving the $r \ln r$ bound of Berrezbeitia and Giudici. Moreover, we extend our results for $X_n$ to conjunctions of complete $k_i$-partite graphs, where $k_i$ need not be finite, and also to unitary Cayley graphs on any quotient of a Dedekind domain.


title: Noncomplete embeddings of rational surfaces

abstract: In this paper, we study the Castelnuovo-Mumford regularity of nonlinearly normal embedding of rational surfaces. Let $X$ be a rational surface and let $L \in {Pic}X$ be a very ample line bundle. For a very ample subsystem $V \subset H^0 (X,L)$ of codimension $t \geq 1$, if $X \hookrightarrow \P (V)$ satisfies Property $N^S_1$, then ${Reg} (X) \leq t+2$\cite{KP}. Thus we investigate Property $N^S_1$ of noncomplete linear systems on X. And our main result is about a condition of the position of $V$ in $H^0 (X,L)$ such that $X \hookrightarrow \P (V)$ satisfies Property $N^S_1$. Indeed it is related to the geometry of a smooth rational curve of $X$. Also we apply our result to $\P^2$ and Hirzebruch surfaces.


title: Higher order accuracy in the gap-tooth scheme for large-scale solutions using microscopic simulators

abstract: We are developing a framework for multiscale computation which enables models at a ``microscopic'' level of description, for example Lattice Boltzmann, Monte Carlo or Molecular Dynamics simulators, to perform modelling tasks at the ``macroscopic'' length scales of interest. The plan is to use the microscopic rules restricted to small patches of the domain, the ``teeth'', followed by interpolation to estimate macroscopic fields in the ``gaps''. The challenge addressed here is to find general boundary conditions for the patches of microscopic simulators that appropriately connect the widely separated ``teeth'' to achieve high order accuracy over the macroscale. Here we start exploring the issues in the simplest case when the microscopic simulator is the quintessential example of a partial differential equation. For this case analytic solutions provide comparisons. We argue that classic high-order interpolation provides patch boundary conditions which achieve arbitrarily high-order consistency in the gap-tooth scheme, and with care are numerically stable. The high-order consistency is demonstrated on a class of linear partial differential equations in two ways: firstly using the dynamical systems approach of holistic discretisation; and secondly through the eigenvalues of selected numerical problems. When applied to patches of microscopic simulations these patch boundary conditions should achieve efficient macroscale simulation.


title: Branching Processes, and Random-Cluster Measures on Trees

abstract: Random-cluster measures on infinite regular trees are studied in conjunction with a general type of `boundary condition', namely an equivalence relation on the set of infinite paths of the tree. The uniqueness and non-uniqueness of random-cluster measures are explored for certain classes of equivalence relations. In proving uniqueness, the following problem concerning branching processes is encountered and answered. Consider bond percolation on the family-tree $T$ of a branching process. What is the probability that every infinite path of $T$, beginning at its root, contains some vertex which is itself the root of an infinite open sub-tree?


title: Entropy of systolically extremal surfaces and asymptotic bounds

abstract: We find an upper bound for the entropy of a systolically extremal surface, in terms of its systole. We combine the upper bound with A. Katok's lower bound in terms of the volume, to obtain a simpler alternative proof of M. Gromov's asymptotic estimate for the optimal systolic ratio of surfaces of large genus. Furthermore, we improve the multiplicative constant in Gromov's theorem. We show that every surface of genus at least 20 is Loewner. Finally, we relate, in higher dimension, the isoembolic ratio to the minimal entropy.


title: Hurwitz action on tuples of Euclidean reflections

abstract: We show that if a tuple of Euclidean reflections has a finite orbit under the Hurwitz action of the Artin braid group, then the group generated by these reflections is finite. Humphries has published a similar statement but his proof is irremediably flawed. At the same time as correcting his proof, our proof is much simpler that Dubrovin and Mazocco's proof for triples of reflections.


title: Infinite Periodic Discrete Minimal Surfaces Without Self-Intersections

abstract: A triangulated piecewise-linear minimal surface in Euclidean 3-space defined using a variational characterization is critical for area amongst all continuous piecewise-linear variations with compact support that preserve the simplicial structure. We explicitly construct examples of such surfaces that are embedded and are periodic in three independent directions of Euclidean 3-space.


title: The equivariant index theorem in entire cyclic cohomology

abstract: Let G be a locally compact group acting smoothly and properly by isometries on a complete Riemannian manifold M, with compact quotient. There is an assembly map which associates to any G-equivariant K-homology class on M, an element of the topological K-theory of a suitable Banach completion B of the convolution algebra of continuous compactly supported functions on G. The aim of this paper is to calculate the composition of the assembly map with the Chern character in the entire cyclic homology of B. We prove an index theorem reducing this computation to a cup-product in bivariant entire cyclic cohomology. As a consequence we obtain an explicit localization formula which includes, as particular cases, the equivariant Atiyah-Segal-Singer index theorem when G is compact, and the Connes-Moscovici index theorem for G-coverings when G is discrete. The proof is based on the bivariant Chern character introduced in previous papers.


title: Erratum to "Generalizations of the Poincar\'e-Birkhoff Theorem"

abstract: This is an erratum to an earlier paper, "Generalizations of the Poincar\'e-Birkhoff theorem." An error in the statement of one of the theorems is corrected.


title: On doubly-cyclic convolutional codes

abstract: Cyclicity of a convolutional code (CC) is relying on a nontrivial automorphism of the algebra F[x]/(x^n-1), where F is a finite field. If this automorphism itself has certain specific cyclicity properties one is lead to the class of doubly-cyclic CC's. Within this large class Reed-Solomon and BCH convolutional codes can be defined. After constructing doubly-cyclic CC's, basic properties are derived on the basis of which distance properties of Reed-Solomon convolutional codes are investigated.This shows that some of them are optimal or near optimal with respect to distance and performance.


title: Connecting Yule Process, Bisection and Binary Search Tree via Martingales

abstract: We present new links between some remarkable martingales found in the study of the Binary Search Tree, or of the Bisection Problem, looking at them on the probability space of a continuous time binary branching process.


title: Die Anzahl der Faerbungen ebener Graphen

abstract: Let G be a finite planar connected graph without loops or multiple edges. All minimal circuits except atmost one - say C* - are triangles. Let k be the number of vertices of C*. There are at least 2**(k-3) colorings of the vertices of G with four colors, vertices connected by edges colored differently. These colorings are different on C*.


title: Riemann-Hilbert analysis for Jacobi polynomials orthogonal on a single contour

abstract: Classical Jacobi polynomials $P_{n}^{(\alpha,\beta)}$, with $\alpha, \beta>-1$, have a number of well-known properties, in particular the location of their zeros in the open interval $(-1,1)$. This property is no longer valid for other values of the parameters; in general, zeros are complex. In this paper we study the strong asymptotics of Jacobi polynomials where the real parameters $\alpha_n,\beta_n$ depend on $n$ in such a way that $$ \lim_{n\to\infty}\frac{\alpha_{n}}{n}=A, \quad \lim_{n\to\infty}\frac{\beta_{n}}{n}=B, $$ with $A,B \in \mathbb{R}$. We restrict our attention to the case where the limits $A,B$ are not both positive and take values outside of the triangle bounded by the straight lines A=0, B=0 and $A+B+2=0$. As a corollary, we show that in the limit the zeros distribute along certain curves that constitute trajectories of a quadratic differential. The non-hermitian orthogonality relations for Jacobi polynomials with varying parameters lie in the core of our approach; in the cases we consider, these relations hold on a single contour of the complex plane. The asymptotic analysis is performed using the Deift-Zhou steepest descent method based on the Riemann-Hilbert reformulation of Jacobi polynomials.


title: Fibred and Virtually Fibred hyperbolic 3-manifolds in the censuses

abstract: Following on from work of Dunfield, we determine the fibred status of all the unknown hyperbolic 3-manifolds in the cusped census. We then find all the fibred hyperbolic 3-manifolds in the closed census and use this to find over 100 examples each of closed and cusped virtually fibred non-fibred census 3-manifolds, including the Weeks manifold. We also show that the co-rank of the fundamental group of every 3-manifold in the cusped and in the closed census is 0 or 1.


title: New approach to Hermitian q-differential operators on R_q^N

abstract: We report on our recent breakthrough in the costructionfor q>0 of Hermitean and "tractable" differential operators out of the U_qso(N)-covariant differential calculus on the noncommutative manifolds R_q^N (the socalled "quantum Euclidean spaces").


title: Mochizuki's crys-stable bundles: a lexicon and applications

abstract: Mochizuki's work on torally crys-stable bundles has extensive implications for the theory of logarithmic connections on vector bundles of rank 2 on curves, once the language is translated appropriately. We describe how to carry out this translation, and give two classes of applications: first, one can conclude almost immediately certain results classifying Frobenius-unstable vector bundles on curves; and second, it follows from prior results of the author that one also obtains results on rational functions with prescribed ramification in positive characteristic.


title: The kissing problem in three dimensions

abstract: The kissing number k(3) is the maximal number of equal size nonoverlapping spheres in three dimensions that can touch another sphere of the same size. This number was the subject of a famous discussion between Isaac Newton and David Gregory in 1694. The first proof that k(3)=12 was given by Sch\"utte and van der Waerden only in 1953. In this paper we present a new solution of the Newton-Gregory problem that uses our extension of the Delsarte method. This proof relies on basic calculus and simple spherical geometry.


title: A normal form for admissible characters in the sense of Lynch

abstract: Parabolic subalgebras $\frak{p}$ of semisimple Lie algebras define a $\Bbb{Z}$-grading of the Lie algebra. If there exists a nilpotent element in the first graded part of $\frak{g}$ on which the adjoint group of $\frak{p}$ acts with a dense orbit, the parabolic subalgebra is said to be nice. The corresponding nilpotent element is also called admissible. Nice parabolic subalgebras of simple Lie algebras have been classified. In the case of Borel subalgebras a Richardson element of $\frak{g}_1$ is exactly one that involves all simple root spaces. It is however difficult to write down such nilpotent elements for general parabolic subalgebras. In this paper we give an explicit construction of admissible elements in $\frak{g}_1$ that uses as few root spaces as possible.


title: Minimal surfaces in germs of hyperbolic 3--manifolds

abstract: This article introduces a universal moduli space for the set whose archetypal element is a pair that consists of a metric and second fundamental form from a compact, oriented, positive genus minimal surface in some hyperbolic 3-manifold. This moduli space is a smooth, finite dimensional manifold with canonical maps to both the cotangent bundle of the Teichmueller space and the space of SO(3,C) representations for the given genus surface. These two maps embed the universal moduli space as a Lagrangian submanifold in the product of the latter two spaces.


title: Gromov-Witten invariants of Fano threefolds of genera 6 and 8

abstract: The aim of this paper is to prove Golyshev's conjecture in the cases of Fano threefolds $V_{10}$ and $V_{14}$. This conjecture states modularity of D3 equations for smooth Fano threefolds with Picard group Z. More precisely, we find counting matrices of prime two-pointed Gromov-Witten invariants for them. For this we use the method that lets us find Gromov-Witten invariants of complete intersections in varieties whose invariants are (partially) known.


title: Higher gauge theory I: 2-Bundles

abstract: I categorify the definition of fibre bundle, replacing smooth manifolds with differentiable categories, Lie groups with coherent Lie 2-groups, and bundles with a suitable notion of 2-bundle. To link this with previous work, I show that certain 2-categories of principal 2-bundles are equivalent to certain 2-categories of (nonabelian) gerbes. This relationship can be (and has been) extended to connections on 2-bundles and gerbes. The main theorem, from a perspective internal to this paper, is that the 2-category of 2-bundles over a given 2-space under a given 2-group is (up to equivalence) independent of the fibre and can be expressed in terms of cohomological data (called 2-transitions). From the perspective of linking to previous work on gerbes, the main theorem is that when the 2-space is the 2-space corresponding to a given space and the 2-group is the automorphism 2-group of a given group, then this 2-category is equivalent to the 2-category of gerbes over that space under that group (being described by the same cohomological data).


title: Knot Diagrammatics

abstract: This paper is a survey of knot theory and invariants of knots and links from the point of view of categories of diagrams. The topics range from foundations of knot theory to virtual knot theory and topological quantum field theory.


title: On the one-dimensional parabolic obstacle problem with variable coefficients

abstract: This note is devoted to continuity results of the time derivative of the solution to the one-dimensional parabolic obstacle problem with variable coefficients. It applies to the smooth fit principle in numerical analysis and in financial mathematics. It relies on various tools for the study of free boundary problems: blow-up method, monotonicity formulae, Liouville's results.


title: Markov chain comparison

abstract: This is an expository paper, focussing on the following scenario. We have two Markov chains, $\mathcal {M}$ and $\mathcal {M}'$. By some means, we have obtained a bound on the mixing time of $\mathcal {M}'$. We wish to compare $\mathcal {M}$ with $\mathcal {M}'$ in order to derive a corresponding bound on the mixing time of $\mathcal {M}$. We investigate the application of the comparison method of Diaconis and Saloff-Coste to this scenario, giving a number of theorems which characterize the applicability of the method. We focus particularly on the case in which the chains are not reversible. The purpose of the paper is to provide a catalogue of theorems which can be easily applied to bound mixing times.


title: Singular Lefschetz pencils

abstract: We consider structures analogous to symplectic Lefschetz pencils in the context of a closed 4-manifold equipped with a `near-symplectic' structure (ie, a closed 2-form which is symplectic outside a union of circles where it vanishes transversely). Our main result asserts that, up to blowups, every near-symplectic 4-manifold (X,omega) can be decomposed into (a) two symplectic Lefschetz fibrations over discs, and (b) a fibre bundle over S^1 which relates the boundaries of the Lefschetz fibrations to each other via a sequence of fibrewise handle additions taking place in a neighbourhood of the zero set of the 2-form. Conversely, from such a decomposition one can recover a near-symplectic structure.


title: Holomorphic Eisenstein series with Jacobian twists

abstract: For every point on the Jacobian of the modular curve $X_0(l)$ we define and study certain twisted holomorphic Eisenstein series. These are particular cases of a more general notion of twisted modular forms which correspond to sections on the modular curve $X_1(l)$ of the degree zero twists of line bundles of usual modular forms. We conjecture that a point on the Jacobian is rational if and only if the ratios of these twisted Eisenstein series of the same weights have rational coefficients.


title: Exploiting Symmetries in the Computation of Graver Bases

abstract: Many challenging Graver bases computations, like for multi-way tables in statistics, have a highly symmetric problem structure that is not exploited so far computationally. In this paper we present a Graver basis algorithm for sublattices of $\Z^n$ that exploits existing symmetry.


title: Higher connectivity of graph coloring complexes

abstract: The main result of this paper is a proof of the following conjecture of Babson & Kozlov: Theorem. Let G be a graph of maximal valency d, then the complex Hom(G,K_n) is at least (n-d-2)-connected. Here Hom(-,-) denotes the polyhedral complex introduced by Lov\'asz to study the topological lower bounds for chromatic numbers of graphs. We will also prove, as a corollary to the main theorem, that the complex Hom(C_{2r+1},K_n) is (n-4)-connected, for $n\geq 3$.


title: The critical probability for random Voronoi percolation in the plane is 1/2

abstract: We study percolation in the following random environment: let $Z$ be a Poisson process of constant intensity in the plane, and form the Voronoi tessellation of the plane with respect to $Z$. Colour each Voronoi cell black with probability $p$, independently of the other cells. We show that the critical probability is 1/2. More precisely, if $p>1/2$ then the union of the black cells contains an infinite component with probability 1, while if $p<1/2$ then the distribution of the size of the component of black cells containing a given point decays exponentially. These results are analogous to Kesten's results for bond percolation in the square lattice. The result corresponding to Harris' Theorem for bond percolation in the square lattice is known: Zvavitch noted that one of the many proofs of this result can easily be adapted to the random Voronoi setting. For Kesten's results, none of the existing proofs seems to adapt. The methods used here also give a new and very simple proof of Kesten's Theorem for the square lattice; we hope they will be applicable in other contexts as well.


title: Representation of contractively complemented Hilbertian operator spaces and the Fock space

abstract: The operator spaces $H_n^k$ $1\le k\le n$, generalizing the row and column Hilbert spaces, and arising in the authors' previous study of contractively complemented subspaces of $C^*$-algebras, are shown to be homogeneous and completely isometric to a space of creation operators on a subspace of the anti-symmetric Fock space. The completely bounded Banach-Mazur distance from $H_n^k$ to row or column space is explicitly calculated.


title: Quasi-states and symplectic intersections

abstract: We establish a link between symplectic topology and a recently emerged branch of functional analysis called the theory of quasi-states and quasi-measures. In the symplectic context quasi-states can be viewed as an algebraic way of packaging certain information contained in Floer theory, and in particular in spectral invariants of Hamiltonian diffeomorphisms introduced recently by Yong-Geun Oh. As a consequence we prove a number of new results on rigidity of intersections in symplectic manifolds. This work is a part of a joint project with Paul Biran.


title: On functors associated to a simple root

abstract: Associated to a simple root of a finite-dimensional complex semisimple Lie algebra, there are several endofunctors (defined by Arkhipov, Enright, Frenkel, Irving, Jantzen, Joseph, Mathieu, Vogan and Zuckerman) on the BGG category $\mathcal{O}_0$. We study their relations, compute cohomologies of their derived functors and describe the monoid generated by Arkhipov's and Joseph's functors and the monoid generated by Irving's functors. It turns out that the endomorphism rings of all elements in these monoids are isomorphic. We prove that the functors give rise to an action of the singular braid monoid on the bounded derived category of $\mathcal{O}_0$. We also use Arkhipov's, Joseph's and Irving's functors to produce new generalized tilting modules.


title: A formula for the core of an ideal

abstract: The core of an ideal is the intersection of all its reductions. For large classes of ideals I we explicitly describe the core as a colon ideal of a power of a single reduction and a power of I.


title: Coarse equidistribution of the argument of entire functions of finite order

abstract: We present several results that show somewhat surprising equidistribution patterns in the asymptotic behaviour of the argument of entire functions of finite order.


title: Goodwillie towers and chromatic homotopy: an overview

abstract: This paper is based on talks I gave in Nagoya and Kinosaki in August of 2003. I survey, from my own perspective, Goodwillie's work on towers associated to continuous functors between topological model categories, and then include a discussion of applications to periodic homotopy as in my work and the work of Arone-Mahowald.


title: Zeroes of Gaussian analytic functions

abstract: Geometrically, zeroes of a Gaussian analytic function are intersection points of an analytic curve in a Hilbert space with a randomly chosen hyperplane. Mathematical physics provides another interpretation as a gas of interacting particles. In the last decade, these interpretations influenced progress in understanding statistical patterns in the zeroes of Gaussian analytic functions, and led to the discovery of canonical models with invariant zero distribution. We shall discuss some of recent results in this area and mention several open questions.


title: On the uniqueness of the solution of the two-dimensional Navier-Stokes equation with a Dirac mass as initial vorticity

abstract: We propose two different proofs of the fact that Oseen's vortex is the unique solution of the two-dimensional Navier-Stokes equation with a Dirac mass as initial vorticity. The first argument, due to C.E. Wayne and the second author, is based on an entropy estimate for the vorticity equation in self-similar variables. The second proof is new and relies on symmetrization techniques for parabolic equations.


title: Complexes of graphs with bounded matching size

abstract: For positive integers k,n, we investigate the simplicial complex NM_k(n) of all graphs G on vertex set [n] such that every matching in G has size less than k. This complex (along with other associated cell complexes) is found to be homotopy equivalent to a wedge of spheres. The number and dimension of the spheres in the wedge are determined, and (partially conjectural) links to other combinatorially defined complexes are described. In addition we study for positive integers r,s and k the simplicial complex BNM_k(n) of all bipartite graphs G on bipartition [r] \cup [\bar{s}] such that there is no matching of size k in G, and obtain results similar to those obtained for NM_k(n).


title: Completeness and compactness for varieties over local fields

abstract: This paper shows that for K a local field, k a subfield of K and X a variety over k, X is complete if and only if for every finite field extension K' of K, X(K') is compact in its strong topology.


title: Completing a k-1 assignment

abstract: We consider the distribution of the value of the optimal k-assignment in an m x n-matrix, where the entries are independent exponential random variables with arbitrary rates. We give closed formulas for both the Laplace transform of this random variable and for its expected value under the condition that there is a zero-cost k-1-assignment.


title: Remarks on Naimark's duality

abstract: We present an extension of Naimark's duality principle which states that complete systems in a Hilbert space are projections of $\omega$-linearly independent systems of elements of an ambient Hilbert space. This result is presented in the context of other known extensions of Naimark's theorem.


title: On a relative Fourier-Mukai transform on genus one fibrations

abstract: We study relative Fourier-Mukai transforms on genus one fibrations with section, allowing explicitly the total space of the fibration to be singular and non-projective. Grothendieck duality is used to prove a skew-commutativity relation between this equivalence of categories and certain duality functors. We use our results to explicitly construct examples of semi-stable sheaves on degenerating families of elliptic curves.


title: Hermitian star products are completely positive deformations

abstract: Let M be a Poisson manifold equipped with a Hermitian star product. We show that any positive linear functional on C^\infty(M) can be deformed into a positive linear functional with respect to the star product.


title: Composition operators on the Wiener-Dirichlet algebra

abstract: In this paper, we study the composition operators on an algebra of Dirichlet series, the analogue of the Wiener algebra of absolutely convergent Taylor series, which we call the Wiener-Dirichlet algebra. We study the connection between the properties of the operator and of its symbol, with special emphasis on the compact, automorphic, or isometric character of this operator. We are led to the intermediate study of algebras of functions of several, or countably many, complex variables.


title: Embedded curves and Gromov-Witten invariants of three-folds

abstract: Associated with a prime homology class $\beta \in P_2(X,\Z)$ (i.e. $\beta=p\alpha$ and $\alpha \in H_2(X,\Z)$ imply $p=1$ or $p$ is an odd prime) on a symplectic three-manifold with vanishing first Chern class, we count the embedded perturbed pseudo-holomorphic curves in $X$ of a fixed genus $g$ to obtain certain integer valued invariants analogous to Gromov-Witten invariants of $X$.