title: Abelian surfaces of GL2-type as Jacobians of curves

abstract: We study the set of isomorphism classes of principal polarizations on abelian varieties of GL2-type. As applications of our results, we construct examples of curves C, C'/\Q of genus two which are nonisomorphic over \bar \Q and share isomorphic unpolarized modular Jacobian varieties over \Q ; we also show a method to obtain genus two curves over \Q whose Jacobian varieties are isomorphic to Weil's restriction of quadratic \Q-curves, and present examples.


title: On rational approximation of algebraic functions

abstract: We construct a new scheme of approximation of any multivalued algebraic function $f(z)$ by a sequence $\{r_{n}(z)\}_{n\in \mathbb{N}}$ of rational functions. The latter sequence is generated by a recurrence relation which is completely determined by the algebraic equation satisfied by $f(z)$. Compared to the usual Pad\'e approximation our scheme has a number of advantages, such as simple computational procedures that allow us to prove natural analogs of the Pad\'e Conjecture and Nuttall's Conjecture for the sequence $\{r_{n}(z)\}_{n\in \mathbb{N}}$ in the complement $\mathbb{CP}^1\setminus \D_{f}$, where $\D_{f}$ is the union of a finite number of segments of real algebraic curves and finitely many isolated points. In particular, our construction makes it possible to control the behavior of spurious poles and to describe the asymptotic ratio distribution of the family $\{r_{n}(z)\}_{n\in \mathbb{N}}$. As an application we settle the so-called 3-conjecture of Egecioglu {\em et al} dealing with a 4-term recursion related to a polynomial Riemann Hypothesis.


title: The field of moduli of quaternionic multiplication on abelian varieties

abstract: We consider principally polarized abelian varieties with quaternionic multiplication over number fields and we study the field of moduli of their endomorphisms in relation to the set of rational points on suitable Shimura varieties.


title: The Weinstein Conjecture for Planar Contact Structures in Dimension Three

abstract: In this paper we describe a general strategy for approaching the Weinstein conjecture in dimension three. We apply this approach to prove the Weinstein conjecture for a new class of contact manifolds (planar contact manifolds). We also discuss how the present approach reduces the general Weinstein conjecture in dimension three to a compactness problem for the solution set of a first order elliptic PDE.


title: Decay of correlations for Henon maps

abstract: We show, for a class of automorphisms of C^k, that their equilibrium measures are exponentially mixing. In particular, this holds for (generalized) Henon maps.


title: On abelian surfaces with potential quaternionic multiplication

abstract: An abelian surface A over a field K has potential quaternionic multiplication if the ring End_\bar K (A) of geometric endomorphisms of A is an order in an indefinite rational division quaternion algebra. In this brief note, we study the possible structures of the ring of endomorphisms of these surfaces and we provide explicit examples of Jacobians of curves of genus two which show that our result is sharp.


title: The multipole Lempert function is monotone under inclusion of pole sets

abstract: We prove the the multipole Lempert function is monotone under inclusion of pole sets.


title: On Lie induction and the exceptional series

abstract: Lie bialgebras occur as the principal objects in the infinitesimalisation of the theory of quantum groups - the semi-classical theory. Their relationship with the quantum theory has made available some new tools that we can apply to classical questions. In this paper, we study the simple complex Lie algebras using the double-bosonisation construction of Majid. This construction expresses algebraically the induction process given by adding and removing nodes in Dynkin diagrams, which we call Lie induction. We first analyse the deletion of nodes, corresponding to the restriction of adjoint representations to subalgebras. This uses a natural grading associated to each node. We give explicit calculations of the module and algebra structures in the case of the deletion of a single node from the Dynkin diagram for a simple Lie (bi-)algebra. We next consider the inverse process, namely that of adding nodes, and give some necessary conditions for the simplicity of the induced algebra. Finally, we apply these to the exceptional series of simple Lie algebras, in the context of finding obstructions to the existence of finite-dimensional simple complex algebras of types E9, F5 and G3. In particular, our methods give a new point of view on why there cannot exist such an algebra of type E9.


title: The spectrum of prime ideals in tensor triangulated categories

abstract: We define the spectrum of a tensor triangulated category $K$ as the set of so-called prime ideals, endowed with a suitable topology. In this very generality, the spectrum is the universal space in which one can define supports for objects of $K$. This construction is functorial with respect to all tensor triangulated functors. Several elementary properties of schemes hold for such spaces, e.g. the existence of generic points and some quasi-compactness. Locally trivial morphisms are proved to be nilpotent. We establish in complete generality a classification of thick tensor-ideal subcategories in terms of arbitrary unions of closed subsets with quasi-compact complements (Thomason's theorem for schemes, mutatis mutandis). We also equip this spectrum with a sheaf of rings, turning it into a locally ringed space. We compute examples and show that our spectrum unifies the schemes of algebraic geometry and the support varieties of modular representation theory.


title: Periods, Lefschetz numbers and entropy for a class of maps on a bouquet of circles

abstract: We consider some smooth maps on a bouquet of circles. For these maps we can compute the number of fixed points, the existence of periodic points and an exact formula for topological entropy. We use Lefschetz fixed point theory and actions of our maps on both the fundamental group and the first homology group.


title: Global existence of solutions to multiple speed systems of quasilinear wave equations in exterior domains

abstract: In this paper we prove global existence for certain multispeed Dirichlet-wave equations with quadratic nonlinearities outside of obstacles. We assume the natural null condition for systems of quasilinear wave equations with multiple speeds. The null condition only puts restrictions on the self-interactions of each wave family. We use the method of commuting vector fields and weighted space-time $L^2$ estimates.


title: Global existence of quasilinear, nonrelativistic wave equations satisfying the null condition

abstract: We prove global existence of solutions to multiple speed, Dirichlet-wave equations with quadratic nonlinearities satisfying the null condition in the exterior of compact obstacles. This extends the result of our previous paper by allowing general higher order terms. In the currect setting, these terms are much more difficult to handle than for the free wave equation, and we do so using an analog of a pointwise estimate due to Kubota and Yokoyama.


title: On the concepts of intertwining operator and tensor product module in vertex operator algebra theory

abstract: We produce counterexamples to show that in the definition of the notion of intertwining operator for modules for a vertex operator algebra, the commutator formula cannot in general be used as a replacement axiom for the Jacobi identity. We further give a sufficient condition for the commutator formula to imply the Jacobi identity in this definition. Using these results we illuminate the crucial role of the condition called the ``compatibility condition'' in the construction of the tensor product module in vertex operator algebra theory, as carried out in work of Huang and Lepowsky. In particular, we prove by means of suitable counterexamples that the compatibility condition was indeed needed in this theory.


title: Discrete analogues in harmonic analysis: Spherical averages

abstract: In this paper we prove an analogue in the discrete setting of \Bbb Z^d, of the spherical maximal theorem for \Bbb R^d. The methods used are two-fold: the application of certain "sampling" techniques, and ideas arising in the study of the number of representations of an integer as a sum of d squares in particular, the "circle method". The results we obtained are by necessity limited to d \ge 5, and moreover the range of p for the L^p estimates differs from its analogue in \Bbb R^d.


title: Shadows and convexity of surfaces

abstract: We study the geometry and topology of immersed surfaces in Euclidean 3-space whose Gauss map satisfies a certain two-piece-property, and solve the ``shadow problem" formulated by H. Wente.


title: Generalized Dedekind sums

abstract: Classical Dedekind sums are connected to the modular group through the construction of a (Dedekind) symbol on the cusp set of the modular group. In this paper we study generalizations of Dedekind symbols and sums that can be associated to certain Fuchsian groups uniformizing 1-punctured tori.


title: Cover Pebbling Hypercubes

abstract: Given a graph G and a configuration C of pebbles on the vertices of G, a pebbling step removes two pebbles from one vertex and places one pebble on an adjacent vertex. The cover pebbling number g=g(G) is the minimum number so that every configuration of g pebbles has the property that, after some sequence of pebbling steps, every vertex has a pebble on it. We prove that the cover pebbling number of the d-dimensional hypercube Q^d equals 3^d.


title: Some Ropelength-Critical Clasps

abstract: We describe several configurations of clasped ropes which are balanced and thus critical for the Gehring ropelength problem of arXiv:math.DG/0402212.


title: Symplectic structures from Lefschetz pencils in high dimensions

abstract: A symplectic structure is canonically constructed on any manifold endowed with a topological linear k-system whose fibers carry suitable symplectic data. As a consequence, the classification theory for Lefschetz pencils in the context of symplectic topology is analogous to the corresponding theory arising in differential topology.


title: On the structure and characters of weight modules

abstract: Let $\mathfrak g$ be a classical Lie superalgebra of type I or a Cartan-type Lie superalgebra {\bf W}$(n)$. We study weight $\mathfrak g$-modules using a method inspired by Mathieu's classification of the simple weight modules with finite weight multiplicities over reductive Lie algebras, \cite{M}. Our approach is based on the fact that every simple weight $\mathfrak g$-module with finite weight multiplicities is obtained via a composition of a twist and localization from a highest weight module. This allows us to transfer many results for category ${\cal O}$ modules to the category of weight modules with finite weight multiplicities. As a main application of the method we reduce the problems of finding a ${\mathfrak g}_0$-composition series and a character formula for all simple weight modules to the same problems for simple highest weight modules. In this way, using results of Serganova we obtain a character formula for all simple weight {\bf W}$(n)$-modules and all simple atypical nonsingular ${\mathfrak s}{\mathfrak l} (m|1)$-modules. Some of our results are new already in the case of a classical reductive Lie algebra $\mathfrak g$.


title: L-Functions for Symmetric Products of Kloosterman Sums

abstract: The classical Kloosterman sums give rise to a Galois representation of the function field unramfied outside 0 and $\infty$. We study the local monodromy of this representation at $\infty$ using $l$-adic method based on the work of Deligne and Katz. As an application, we determine the degrees and the bad factors of the $L$-functions of the symmetric products of the above representation. Our results generalize some results of Robba obtained through $p$-adic method.


title: Moduli of connections with a small parameter on a curve

abstract: We study GL(2)-bundles with connections with a small parameter on a smooth projective curve. We describe an open subset in the moduli space of such bundles. The description degenerates into the Hitchin fibration as the parameter tends to zero.


title: Integral points of small height outside of a hypersurface

abstract: Let $F$ be a non-zero polynomial with integer coefficients in $N$ variables of degree $M$. We prove the existence of an integral point of small height at which $F$ does not vanish. Our basic bound depends on $N$ and $M$ only. We separately investigate the case when $F$ is decomposable into a product of linear forms, and provide a more sophisticated bound. We also relate this problem to a certain extension of Siegel's Lemma as well as to Faltings' version of it. Finally we exhibit an application of our results to a discrete version of the Tarski plank problem.


title: Siegel's lemma with additional conditions

abstract: Let $K$ be a number field, and let $W$ be a subspace of $K^N$, $N \geq 1$. Let $V_1,...,V_M$ be subspaces of $K^N$ of dimension less than dimension of $W$. We prove the existence of a point of small height in $W \setminus \bigcup_{i=1}^M V_i$, providing an explicit upper bound on the height of such a point in terms of heights of $W$ and $V_1,...,V_M$. Our main tool is a counting estimate we prove for the number of points of a subspace of $K^N$ inside of an adelic cube. As corollaries to our main result we derive an explicit bound on the height of a non-vanishing point for a decomposable form and an effective subspace extension lemma.


title: Construction of Some Generalised Modular Symbols

abstract: We give a criterion for the non-vanishing of some generalised modular symbols. The criterion is in terms of the non-vanishing of some classes on the compact dual of the locally symmetric manifold. As an application, we construct non-zero modular symbols on SL(2n) over an imaginary quadratic extension of $\Q$, which turn out to be ghost classes.


title: On the g.c.d. of an infinite number of integers

abstract: We prove that the gcd of certain infinite number of integers associated to generalised arithmetic progressions remains bounded independent of the progression. Using this we also get bounds on the indices of certain congruence subgroups of arithmetic groups.


title: Simple associative conformal algebras of linear growth

abstract: We describe simple finitely generated associative conformal algebras of Gel'fand--Kirillov dimension one.


title: Smoothing And Dispersive Estimates For 1d Schr\"odinger Equations With BV Coefficients And Applications

abstract: We prove smoothing estimates for Schr\"odinger equations $i\partial_t \phi+\partial_x (a(x) \partial_x \phi) =0$ with $a(x)\in \mathrm{BV}$, the space of functions with bounded total variation, real, positive and bounded from below. We then bootstrap these estimates to obtain optimal Strichartz and maximal function estimates, all of which turn out to be identical to the constant coefficient case. We also provide counterexamples showing $a\in \mathrm{BV}$ to be a minimal requirement. Finally, we provide an application to sharp wellposedness for a generalized Benjamin-Ono equation.


title: Measured quantum groupoids

abstract: In this article, part of the author's thesis, we propose a definition for measured quantum groupoid. The aim is the construction of objects with duality including both quantum groups and groupoids. We base ourselves on J. Kustermans and S. Vaes' works about locally compact quantum groups that we generalize thanks to formalism introduced by M. Enock and J.M. Vallin in the case of inclusion of von Neumann algebras. From a structure of Hopf-bimodule with left and right invariant operator-valued weights, we define a fundamental pseudo-multiplicative unitary. We introduce the notion of quasi-invariant weight on the basis and, then, we construct an antipode with polar decomposition, a coinvolution, a scaling group, a modulus and a scaling operator. This theory is illustrated with different examples. Duality of measured quantum groupoids will be discussed in a forthcoming article.


title: Filling a box with translates of two bricks

abstract: We give a new proof of the following interesting fact recently proved by Bower and Michael: if a d-dimensional rectangular box can be tiled using translates of two types of rectangular bricks, then it can also be tiled in the following way. We can cut the box across one of its sides into two boxes, one of which can be tiled with the first brick only and the other one with the second brick. Our proof relies on the Fourier Transform. We also show that no such result is true for three, or more, types of bricks.


title: Counting subgroups in a family of nilpotent semi-direct products

abstract: In this paper we compute the subgroup zeta functions of nilpotent semi-direct products of groups of the form $$G_n=<x_1,...,x_n,y_1,...,y_{n-1}|[x_i,x_n]=y_i, 1\leq i\leq n-1, \text{all other $[,]$ trivial}>$$ and deduce local functional equations.


title: Normal subgroup growth in free class-2-nilpotent groups

abstract: Let $F_{2,d}$ denote the free class-2-nilpotent group on $d$ generators. We compute the normal zeta functions $\zeta^\triangleleft_{F_{2,d}}(s)$, prove that they satisfy local functional equations and determine their abscissae of convergence and pole orders.


title: The measure of quadratic Julia-Lavaurs sets with a bounded type virtual Siegel disk is zero

abstract: We prove here one of the claims of the author's thesis.


title: Homomorphisms of complexes via homologies

abstract: By Rickard's work, two rings are derived equivalent if there is a tilting complex, constructed from projective modules over the first ring such that the second ring is the endomorphism ring of this tilting complex. In this work I describe, under some conditions, the homomorphism space in the derived category between two complexes as iterated pull-back of homomorphism spaces between the homologies of the complexes.


title: On isospectral arithmetical spaces

abstract: We study the relationship between the arithmetic and the spectrum of the Laplacian for manifolds arising from congruent arithmetic subgroups of SL(1,D), where D is an indefinite quaternion division algebra defined over a number field F. We give new examples of isospectral but non-isometric compact, arithmetically defined varieties, generalizing the class of examples constructed by Vigneras. These examples are based on an interplay between the simply connected and adjoint group and depend explicitly on the failure of strong approximation for the adjoint group. The examples can be considered as a geometric analogue and also as an application of the concept and results on L-indistinguishability for SL(1,D) due to Labesse and Langlands. We verify that the Hasse-Weil zeta functions are equal for the examples of isospectral pair of Shimura varieties we construct giving further evidence for an archimedean analogue of Tate's conjecture, which expects that the spectrum of the Laplacian determines the arithmetic of such spaces.


title: Uniqueness of limit cycles for a class of planar vector fields

abstract: In this paper we give sufficient conditions to ensure uniqueness of limit cycles for a class of planar vector fields. We also exhibit a class of examples with exactly one limit cycle.


title: Surfaces contracting with speed |A|^2

abstract: We show that strictly convex surfaces contracting with normal velocity equal to |A|^2 shrink to a point in finite time. After appropriate rescaling, they converge to spheres. We indicate how we used a computer to find the main test function.


title: On error bounds for monotone approximation schemes for multi-dimensional Isaacs equations

abstract: Recently, Krylov, Barles, and Jakobsen developed the theory for estimating errors of monotone approximation schemes for the Bellman equation (a convex Isaacs equation). In this paper we consider an extension of this theory to a class of non-convex multidimensional Isaacs equations. This is the first result of this kind for non-convex multidimensional fully non-linear problems. To get the error bound, a key intermediate step is to introduce a penalization approximation. We conclude by (i) providing new error bounds for penalization approximations extending earlier results by e.g. Benssousan and Lions, and (ii) obtaining error bounds for approximation schemes for the penalization equation using very precise a priori bounds and a slight generalization of the recent theory of Krylov, Barles, and Jakobsen.


title: Methods for determination and approximation of the domain of attraction

abstract: In this paper, an $\mathbb{R}$-analytical function and the sequence of its Taylor polynomials (which are Lyapunov functions different from those of Vanelli & Vidyasagar (1985, Automatica, 21(1):6 9--80)) is presented, in order to determine and approximate the domain of attraction of the exponentially asymptotically stable zero steady state of an autonomous, $\mathbb{R}$-analytical system of differential equations. The analytical function and the sequence of its Taylor polynomials are constructed by recurrence formulae using the coefficients of the power series expansion of $f$ at 0.


title: Physical measures at the boundary of hyperbolic maps

abstract: We consider diffeomorphisms of a compact manifold with a dominated splitting which is hyperbolic except for a "small" subset of points (Hausdorff dimension smaller than one, e.g. a denumerable subset) and prove the existence of physical measures and their stochastical stability. The physical measures are obtained as zero-noise limits which are shown to satisfy the Entropy Formula.


title: Large deviations for processes with discontinuous statistics

abstract: This paper is devoted to the problem of sample path large deviations for the Markov processes on R_+^N having a constant but different transition mechanism on each boundary set {x:x_i=0 for i\notin\Lambda, x_i>0 for i\in\Lambda}. The global sample path large deviation principle and an integral representation of the rate function are derived from local large deviation estimates. Our results complete the proof of Dupuis and Ellis of the sample path large deviation principle for Markov processes describing a general class of queueing networks.


title: Algebraic construction of the Stokes sheaf for irregular linear q-difference equations

abstract: The local analytic classification of irregular linear q-difference equations has recently been obtained by J.-P. Ramis, J. Sauloy and C. Zhang. Their description involves a q-analog of the Stokes sheaf and theorems of Malgrange-Sibuya type and is based on a discrete summation process due to C. Zhang. We show here another road to some of these results by algebraic means and we describe the q-Gevrey devissage of the q-Stokes sheaf by holomorphic vector bundles over an elliptic curve.


title: Schubert Varieties, Linear Codes and Enumerative Combinatorics

abstract: We consider linear error correcting codes associated to higher dimensional projective varieties defined over a finite field. The problem of determining the basic parameters of such codes often leads to some interesting and difficult questions in combinatorics and algebraic geometry. This is illustrated by codes associated to Schubert varieties in Grassmannians, called Schubert codes, which have recently been studied. The basic parameters such as the length, dimension and minimum distance of these codes are known only in special cases. An upper bound for the minimum distance is known and it is conjectured that this bound is achieved. We give explicit formulae for the length and dimension of arbitrary Schubert codes and prove the minimum distance conjecture in the affirmative for codes associated to Schubert divisors.


title: The local lifting problem for dihedral groups

abstract: Let $G=D_p$ be the dihedral group of order $2p$, where $p$ is an odd prime. Let $k$ an algebraically closed field of characteristic $p$. We show that any action of $G$ on the ring $k[[y]]$ can be lifted to an action on $R[[y]]$, where $R$ is some complete discrete valuation ring with residue field $k$ and fraction field of characteristic 0.


title: Conformally invariant energies of knots

abstract: Conformally invariant functionals on the space of knots are introduced via extrinsic conformal geometry of the knot and integral geometry on the space of spheres. Our functionals are expressed in terms of a complex-valued 2-form which can be considered as the cross-ratio of a pair of infinitesimal segments of the knot. We show that our functionals detect the unknot as the total curvature does, and that their values explode if a knot degenerates to a singular knot with double points.


title: Puiseux series polynomial dynamics and iteration of complex cubic polynomials

abstract: We study polynomials with coefficients in a field L as dynamical systems where L is any algebraically closed and complete ultrametric field with dense valuation group and characteristic zero residual field. We give a complete description of the dynamical and parameter space of cubic polynomials. In particular we characterize cubic polynomials with compact Julia sets. Also, we prove that any infraconnected connected component of a filled Julia set (of a cubic polynomial) is either a point or eventually periodic. A smallest field S with the above properties is, up to isomorphism, the completion of the field of formal Puiseux series with coefficients in an algebraic closure of Q. We show that some elements of S naturally correspond to the Fourier series of analytic almost periodic functions (in the sense of Bohr) which parametrize (near infinity) the quasiconformal classes of non-renormalizable complex cubic polynomials. Our techniques are based on the ideas introduced by Branner and Hubbard to study complex cubic polynomials.


title: Orthogonal latin rectangles

abstract: We use a greedy probabilistic method to prove that for every $\epsilon > 0$, every $m\times n$ Latin rectangle on $n$ symbols has an orthogonal mate, where $m=(1-\epsilon)n$. That is, we show the existence of a second Latin rectangle such that no pair of the $mn$ cells receives the same pair of symbols in the two rectangles.


title: Postnikov pieces and BZ/p-homotopy theory

abstract: We present a constructive method to compute the cellularization with respect to K(Z/p, m) for any integer m > 0 of a large class of H-spaces, namely all those which have a finite number of non-trivial K(Z/p, m)-homotopy groups (the pointed mapping space map(K(Z/p, m), X) is a Postnikov piece). We prove in particular that the K(Z/p, m)-cellularization of an H-space having a finite number of K(Z/p, m)-homotopy groups is a p-torsion Postnikov piece. Along the way we characterize the BZ/p^r-cellular classifying spaces of nilpotent groups.


title: On the boundary motive of a Shimura variety

abstract: Applying the main results of math.AG/0408295, we identify the motives occurring as cones in the co-localization and localization filtrations of the boundary motive of a Shimura variety.


title: Amorphic association schemes with negative Latin square type graphs

abstract: Applying results from partial difference sets, quadratic forms, and recent results of Brouwer and Van Dam, we construct the first known amorphic association scheme with negative Latin square type graphs and whose underlying set is a non-elementary abelian 2-group. We give a simple proof of a result of Hamilton that generalizes Brouwer's result. We use multiple distinct quadratic forms to construct amorphic association schemes with a large number of classes.


title: Lectures on open book decompositions and contact structures

abstract: These are lecture notes from the Clay Mathematics Institute summer school ``Floer Homology, Gauge Theory, and Low Dimensional Topology'' Alfred Renyi Institute; www.claymath.org/programs/summer_school/2004/. The main goal of these notes is to sketch a proof of Giroux correspondence between open book decompositions of three manifolds and contact structures, and then discuss various applications of this correspondence.


title: Conformally invariant energies of knots II

abstract: This paper has been withdrawn by the authors, as it was combined with "Conformally invariant energies of knots I" (math/0409396) to be "Conformally invariant energies of knots" which has replaced the former.


title: A new Invariant for Plane Curve Singularities

abstract: Greuel, Lossen and Shustin gave a general sufficient numerical condition for the T-smoothness (smoothness and expected dimension) of equisingular families of plane curves. This condition involves a new invariant \gamma for plane curve singularities, and it is conjectured to be asymptotically proper. In math.AG/0308247, similar sufficient numerical conditions are obtained for the T-smoothness of equisingular families on various classes surfaces. These conditions involve a series of invariants \gamma_a, 0 <= a <= 1, with \gamma_1=\gamma. In the present paper we compute (respectively give bounds for) these invariants for semiquasihomogeneous singularities.


title: Canonical Maps to Twisted Rings

abstract: If A is a strongly noetherian graded algebra generated in degree one, then there is a canonically constructed graded ring homomorphism from A to a twisted homogeneous coordinate ring B(X, L, sigma), which is surjective in large degree. This result is a key step in the study of projectively simple rings. The proof relies on some results concerning the growth of graded rings which are of independent interest.


title: The Bi-Carleson operator

abstract: We prove $L^p$ estimates for the Bi-Carleson operator, which is a natural hybrid of the Carleson maximal operator and the bilinear Hilbert transform. The methods used are essentially based on the treatment of the Walsh analogue of the operator in the prequel of this paper, but with additional technicalities due to the fact that in the Fourier model one cannot obtain perfect localization in both space and frequency.


title: The Rotor-Router Model

abstract: Building on earlier work of Diaconis and Fulton (1991) and Lawler, Bramson, and Griffeath (1992), Propp in 2001 defined a deterministic analogue of internal diffusion-limited aggregation. This growth model is a "convergent game" of the sort studied by Eriksson (1996). In one dimension, we show that the model is equivalent to a simple dynamical system with three integer-valued parameters; an invariant of this dynamical system yields links between the behavior of the system and diophantine approximation of quadratic irrationals. In two dimensions, we give constraints on the shape of the occupied region, as well as evidence for the proposition that the asymptotic shape of the boundary, suitably rescaled as time goes to infinity, is a circle. While the rotor-router model displays many of the same intriguing features as the Bak-Tang-Weisenfeld abelian sandpile model, we suggest that the new model is likely to be easier to analyze rigorously.


title: Fractal Sequences and Restricted Nim

abstract: The Grundy number of an impartial game G is the size of the unique Nim heap equal to G. We introduce a new variant of Nim, Restricted Nim, which restricts the number of stones a player may remove from a heap in terms of the size of the heap. Certain classes of Restricted Nim are found to produce sequences of Grundy numbers with a self-similar fractal structure. Extending work of C. Kimberling, we obtain new characterizations of these "fractal sequences" and give a bijection between these sequences and certain upper-triangular arrays. As a special case we obtain the game of Serial Nim, in which the Nim heaps are ordered from left to right, and players can move only in the leftmost nonempty heap.


title: The rank two lattice type vertex operator algebras V_L^+ and their automorphism groups

abstract: Let L be a positive definite even lattice and V_L^+ be the fixed points of the lattice VOA V_L associated to L under an automorphism of V_L lifting the -1 isometry of L. For any positive rank, the full automotphism group of V_L^+ is determined if L does not have vectors of norm 2 or 4. For any L of rank 2, a set of generators and the full automorphism group of V_L^+ are determined.


title: Local and Semilocal Vertex Operator Algebras

abstract: We investigate a general structure theory for a vertex operator algebra. We discuss the center and blocks, the Jacobson radical and solvable radical and local vertex operator algebras. The main consequence of our structure theory is that if the vertex operator algebra satisfies some mild conditions then it is necessarily semilocal, i.e. a direct sum of local vertex operator algebras.


title: Quiver varieties and Demazure modules

abstract: Using subvarieties, which we call Demazure quiver varieties, of the quiver varieties of Nakajima, we give a geometric realization of Demazure modules of Kac-Moody algebras with symmetric Cartan data. We give a natural geometric characterization of the extremal weights of a representation and show that Lusztig's semicanonical basis is compatible with the filtration of a representation by Demazure modules. For the case of affine sl_2, we give a characterization of the Demazure quiver variety in terms of a nilpotency condition on quiver representations and an explicit combinatorial description of the Demazure crystal in terms of Young pyramids.


title: Intersection Homology and Alexander Modules of Hypersurface Complements

abstract: Let $V$ be a degree $d$, reduced hypersurface in $\mathbb{CP}^{n+1}$, $n \geq 1$, and fix a generic hyperplane, $H$. Denote by $\mathcal{U}$ the (affine) hypersurface complement, $\mathbb{CP}^{n+1}- V \cup H$, and let $\mathcal{U}^c$ be the infinite cyclic covering of $\mathcal{U}$ corresponding to the kernel of the linking number homomorphism. Using intersection homology theory, we give a new construction of the Alexander modules $H_i(\mathcal{U}^c;\mathbb{Q})$ of the hypersurface complement and show that, if $i \leq n$, these are torsion over the ring of rational Laurent polynomials. We also obtain obstructions on the associated global polynomials. Their zeros are roots of unity of order $d$ and are entirely determined by the local topological information encoded by the link pairs of singular strata of a stratification of the pair $(\mathbb{CP}^{n+1},V)$. As an application, we give obstructions on the eigenvalues of monodromy operators associated to the Milnor fibre of a projective hypersurface arrangement.


title: Connected Lie groups and property RD

abstract: For a locally compact group, property RD gives a control on the convolution norm of any compactly supported measure in terms of the $L^2$-norm of its density and the diameter of its support. We give a complete classification of those Lie groups with property RD.


title: Categorification of the Kauffman bracket skein module of I-bundles over surfaces

abstract: Khovanov defined graded homology groups for links L in R^3 and showed that their polynomial Euler characteristic is the Jones polynomial of L. Khovanov's construction does not extend in a straightforward way to links in I-bundles M over surfaces F not D^2 (except for the homology with Z/2 coefficients only). Hence, the goal of this paper is to provide a nontrivial generalization of his method leading to homology invariants of links in M with arbitrary rings of coefficients. After proving the invariance of our homology groups under Reidemeister moves, we show that the polynomial Euler characteristics of our homology groups of L determine the coefficients of L in the standard basis of the skein module of M. Therefore, our homology groups provide a `categorification' of the Kauffman bracket skein module of M. Additionally, we prove a generalization of Viro's exact sequence for our homology groups. Finally, we show a duality theorem relating cohomology groups of any link L to the homology groups of the mirror image of L.


title: Discrete Nonholonomic LL Systems on Lie Groups

abstract: This paper applies the recently developed theory of discrete nonholonomic mechanics to the study of discrete nonholonomic left-invariant dynamics on Lie groups. The theory is illustrated with the discrete versions of two classical nonholonomic systems, the Suslov top and the Chaplygin sleigh. The preservation of the reduced energy by the discrete flow is observed and the discrete momentum conservation is discussed.


title: A Fast Octree-Based Algorithm for Computing Ropelength

abstract: The ropelength of a space curve is usually defined as the quotient of its length by its thickness: the radius of the largest embedded tube around the knot. This idea was extended to space polygons by Eric Rawdon, who gave a definition of ropelength in terms of doubly-critical self-distances (local minima of the distance function on pairs of points on the polygon) and a function of the exterior angles of the polygon. A naive algorithm for finding the doubly-critical self-distances of an n-edge polygon involves comparing each pair of edges, and so takes O(n^2) time. In this paper, we describe an improved algorithm, based on the notion of octrees, which runs in O(n log n) time. The speed of the ropelength computation controls the performance of ropelength-minimizing programs such as Rawdon and Piatek's TOROS. An implementation of our algorithm is freely available under the GNU Public License.


title: Submodule Categories of Wild Representation Type

abstract: Let $\Lambda$ be a commutative local uniserial ring of length at least seven with radical factor ring $k$. We consider the category $S(\Lambda)$ of all possible embeddings of submodules of finitely generated $\Lambda$-modules and show that $S(\Lambda)$ is controlled $k$-wild with a single control object $I\in S(\Lambda)$. In particular, it follows that each finite dimensional $k$-algebra can be realized as a quotient $\End(X)/\End(X)_I$ of the endomorphism ring of some object $X\in S(\Lambda)$ modulo the ideal $\End(X)_I$ of all maps which factor through a finite direct sum of copies of $I$.


title: The coefficients of a Fibonacci power series

abstract: We give a short proof of the result that all the coefficients of the series (1-x)(1-x^2)(1-x^3)(1-x^5)(1-x^8)(1-x^13)(1-x^21)... are equal to -1, 0, or 1, and most of them are equal to 0.


title: Group Actions, Cyclic Coverings and Families of K3-Surfaces

abstract: In this paper we describe six pencils of K3-surfaces which have large Picard-Number and contain precisely five singular fibers: four have A-D-E singularities and one is non-reduced. In particular we describe these surfaces as cyclic coverings of the K3-surfaces which Barth and the author described in a previous manuscript (Asian. J. of Math. Vol. 7, No. 4, 519-538, Dec. 2003). In many cases using this description and lattice-Theory we are able to compute the exact Picard-number and to describe explicitly the Picard-lattices.


title: Finite field models in additive combinatorics

abstract: The study of many problems in additive combinatorics, such as Szemer\'edi's theorem on arithmetic progressions, is made easier by first studying models for the problem in F_p^n for some fixed small prime p. We give a number of examples of finite field models of this type, which allows us to introduce some of the central ideas in additive combinatorics relatively cleanly. We also give an indication of how the intuition gained from the study of finite field models can be helpful for addressing the original questions.


title: Statistics on Wreath Products

abstract: We present methods of calculating statistics generating functions over the colored permutation groups, and generalizing known theorems from the symmetric groups to general colored permutations groups.


title: A Note On Application Of Singular Rescaling

abstract: Using Singular Rescaling We Prove Some Bifurcation Results. This note Presents short proofs for some Bifurcation results which had been appeared with other authors.


title: On the configuration of limit cycles in planar vector fields

abstract: We prove that coexistence of two limit cycles with disjoint interior can not occur in certain quadratic systems


title: Completion problems and scattering problems for Dirac type differential equations with singularities

abstract: A completion problem to recover a rational matrix function which is j-unitary on the line is treated. A Dirac type system with singularities on the semiaxis is recovered explicitly by its left reflection coefficient. The close connection between these two problems is discussed.


title: A note one Sobolev type inequalities with p<1 and modified norm

abstract: A note that points out the possibility to have p<1 in Sobolev type of inequalities by a use of the momomial structure of polynomials or power series. The proof is simple: Triangle angle inequality p*>1, monomial estimate from p* to exponent p<1, then the inverse triangle inequality.


title: Injective Analytic Maps - A Counterexample to the Proof

abstract: In Duke Math. J. 69, No.2, 335-347 (1993) the author translates a conjecture of Le Dung Trang on the non-existence of injective analytic maps f:(C^n,0)->(C^{n+1},0) with df(0)=0 into the non-existence of a hypersurface germ in (C^{n+1},0) with rather unexpected properties. However, the proof given there contains an apparently fatal error, as we demonstrate with an example.


title: Eta-Einstein condition on twistor spaces of odd-dimensional Riemannian manifolds

abstract: In this note, we find the conditions on an odd-dimensional Riemannian manifolds under which its twistor space is eta-Einstein.


title: Del Pezzo surfaces of degree 6

abstract: We give a correspondence which associates, to any Del Pezzo surface X of degree 6 over a field k of characteristic 0, a collection of data consisting of a Severi-Brauer variety/k and a set of points defined over some extension of k.


title: Bounding Fastest Mixing

abstract: In a series of recent works, Boyd, Diaconis, and their co-authors have introduced a semidefinite programming approach for computing the fastest mixing Markov chain on a graph of allowed transitions, given a target stationary distribution. In this paper, we show that standard mixing-time analysis techniques--variational characterizations, conductance, canonical paths--can be used to give simple, nontrivial lower and upper bounds on the fastest mixing time. To test the applicability of this idea, we consider several detailed examples including the Glauber dynamics of the Ising model--and get sharp bounds.


title: Regularity of the sample paths of a class of second order spde's

abstract: We study the sample path regularity of the solutions of a class of spde's which are second order in time and that includes the stochastic wave equation. Non-integer powers of the spatial Laplacian are allowed. The driving noise is white in time and spatially homogeneous. Continuing with the work initiated in Dalang and Mueller (2003), we prove that the solutions belong to a fractional $L^2$-Sobolev space. We also prove H\"older continuity in time and therefore, we obtain joint H\"older continuity in the time and space variables. Our conclusions rely on a precise analysis of the properties of the stochastic integral used in the rigourous formulation of the spde, as introduced by Dalang and Mueller. For spatial covariances given by Riesz kernels, we show that our results are optimal.


title: On the product property for the Lempert function

abstract: We study the problem of the product property for the Lempert function with many poles and consider some properties of this function mostly for plane domains.


title: The $H^\infty$ algebras of higher rank graphs

abstract: We begin the study of a new class of operator algebras that arise from higher rank graphs. Every higher rank graph generates a Fock space Hilbert space and creation operators which are partial isometries acting on the space. We call the weak operator topology closed algebra generated by these operators a 'higher rank semigroupoid algebra'. A number of examples are discussed in detail, including the single vertex case and higher rank cycle graphs. In particular the cycle graph algebras are identified as matricial multivariable function algebras. We obtain reflexivity for a wide class of graphs and characterize semisimplicity in terms of the underlying graph.


title: Geometry of Kaehler metrics and holomorphic foliation by discs

abstract: The purpose of this paper is to establish a partial regularity theory on certain homogeneous complex Monge-Ampere equations. As consequences of this new theory, we prove the uniqueness of extremal Kaehler metrics and give an necessary condition for existence of extremal Kaehler metrics.


title: Geometry and analysis of spin equations

abstract: We introduce W-spin structures on a Riemann surface and give a precise definition to the corresponding W-spin equations for any quasi-homogeneous polynomial W. Then, we construct examples of nonzero solutions of spin equations in the presence of Ramond marked points. The main result of the paper is a compactness theorem for the moduli space of the solutions of W-spin equations when W is a non-degenerate, quasi-homogeneous polynomial whose variables all have weight (or fractional degree) wt(x_i) < 1/2. In particular, the compactness theorem holds for the A,D, and E superpotentials.


title: Pseudo-Riemannian metrics with prescribed scalar curvature

abstract: We consider the following generalisation of a well-known problem in Riemannian geometry: When is a smooth real-valued function s on a given compact n-dimensional manifold M (with or without boundary) the scalar curvature of some smooth pseudo-Riemannian metric of index q on M? We prove that this is the case for every s if 2<q<n-2, provided M admits a metric of index q at all. In fact, if 2<q<n-2, then each connected component of the space of pseudo-Riemannian metrics of index q on M contains a metric with scalar curvature s. We prove several theorems for pseudo-Riemannian metrics of index 1 or 2 as well.


title: Causal Inference for Complex Longitudinal Data: The Continuous Time g-Computation Formula

abstract: We extend Robins' theory of causal inference for complex longitudinal data to the case of continuously varying as opposed to discrete covariates and treatments. In particular we establish versions of the key results of the discrete theory: the g-computation formula and a collection of powerful characterizations of the g-null hypothesis of no treatment effect. This is accomplished under natural continuity hypotheses concerning the conditional distributions of the outcome variable and of the covariates given the past. We also show that our assumptions concerning counterfactual variables place no restriction on the joint distribution of the observed variables: thus in a precise sense, these assumptions are "for free," or if you prefer, harmless.


title: A difference-integral representation of Koornwinder polynomials

abstract: We construct new families of (q-) difference and (contour) integral operators having nice actions on Koornwinder's multivariate orthogonal polynomials. We further show that the Koornwinder polynomials can be constructed by suitable sequences of these operators applied to the constant polynomial 1, giving the difference-integral representation of the title. Macdonald's conjectures (as proved by van Diejen and Sahi) for the principal specialization and norm follow immediately, as does a Cauchy-type identity of Mimachi.


title: The Distortion of a Knotted Curve

abstract: The distortion of a curve measures the maximum arc/chord length ratio. Gromov showed any closed curve has distortion at least pi/2 and asked about the distortion of knots. Here, we prove that any nontrivial tame knot has distortion at least 5pi/3; examples show that distortion under 7.16 suffices to build a trefoil knot. Our argument uses the existence of a shortest essential secant and a characterization of borderline-essential arcs.


title: Projective Duality and Principal Nilpotent Elements of Symmetric Pairs

abstract: It is shown that projectivized irreducible components of nilpotent cones of complex symmetric spaces are projective self-dual algebraic varieties. Other properties equivalent to their projective self-duality are found.


title: Strong S-equivalence of ordered links

abstract: Recently Swatee Naik and Theodore Stanford proved that two S-equivalent knots are related by a finite sequence of doubled-delta moves on their knot diagrams. We show that classical S-equivalence is not sufficient to extend their result to ordered links. We define a new algebraic relation on Seifert matrices, called Strong S-equivalence, and prove that two oriented, ordered links L and L' are related by a sequence of doubled-delta moves if and only if they are Strongly S-equivalent. We also show that this is equivalent to the fact that L' can be obtained from L through a sequence of Y-clasper surgeries, where each clasper leaf has total linking number zero with L.


title: Instanton counting via affine Lie algebras II: from Whittaker vectors to the Seiberg-Witten prepotential

abstract: We introduce the notion of the (instanton part of the) Seiberg-Witten prepotential for general Schrodinger operators with periodic potential. In the case when the operator in question is integrable we show how to compute the prepotential in terms of period integrals; this implies that in the integrable case our definition of the prepotential coincides with the one that has been extensively studied in both mathematical and physical literature. As an application we give a proof of Nekrasov's conjecture connecting certain "instanton counting" partition function for an arbitrary simple group G with the prepotential of the Toda integrable system associated with the affine Lie algebra whose affine Dynkin diagram is dual to that of the affinization of the Lie algebra of G (for G=SL(n) this conjecture was proved earlier in the works of Nekrasov-Okounkov and Nakajima-Yoshioka). Our proof is totally different and it is based on the results of the paper math.AG/0401409 by the first author.


title: The hybrid spectral problem and Robin boundary conditions

abstract: The hybrid spectral problem where the field satisfies Dirichlet conditions (D) on part of the boundary of the relevant domain and Neumann (N) on the remainder is discussed in simple terms. A conjecture for the C_1 coefficient is presented and the conformal determinant on a 2-disc, where the D and N regions are semi-circles, is derived. Comments on higher coefficients are made. A hemisphere hybrid problem is introduced that involves Robin boundary conditions and leads to logarithmic terms in the heat--kernel expansion which are evaluated explicitly.

categories: math.SP hep-th math-ph math.AP math.FA math.MP


title: A criterion for membership in archimedean semirings

abstract: We prove an extension of the classical Real Representation Theorem (going back to Krivine, Stone, Kadison, Dubois and Becker and often called Kadison-Dubois Theorem). It is a criterion for membership in subsemirings (sometimes called preprimes) of a commutative ring. Whereas the classical criterion is only applicable for functions which are positive on the representation space, the new criterion can under certain arithmetic conditions be applied also to functions which are only nonnegative. Only in the case of preorders (i.e., semirings containing all squares), our result follows easily from recent work of Scheiderer, Kuhlmann, Marshall and Schwartz. Our proof does not use (and therefore shows) the classical criterion. We illustrate the usefulness of the new criterion by deriving a theorem of Handelman from it saying inter alia the following: If an odd power of a real polynomial in several variables has only nonnegative coefficients, then so do all sufficiently high powers.


title: Self-dual projective algebraic varieties associated with symmetric spaces

abstract: We discover a class of projective self-dual algebraic varieties. Namely, we consider actions of isotropy groups of complex symmetric spaces on the projectivized nilpotent varieties of isotropy modules. For them, we classify all orbit closures $X$ such that $X=\check X$ where $\check X$ is the projective dual of $X$. We give algebraic criteria of projective self-duality for the considered orbit closures.


title: On varieties in an orbital variety closure in semisimple Lie algebra

abstract: Let g be a semisimple complex Lie algebra. Let O be a nilpotent orbit in g. Fix a triangular decomposition g=n+h+n^-. An irreducible component of the intersection of O and n is called an orbital variety associated to O. It is a Lagrangian subvariety of O. In this note we discuss the closure of an orbital variety as a union of varieties. We show that if g contains factors not of type A_n then there are orbital varieties whose closure contains components which are not Lagrangian. We show that the argument does not work if all the factors are of type A_n and provide the facts supporting the conjecture claiming that if all the factors of g are of type A_n then the closure of an orbital variety is a union of orbital varieties.


title: Pyramids and monomial blowing-ups

abstract: We show that a convex pyramid in R^n with apex at 0 can be brought to the first quadrant by a finite sequence of monomial blowing-ups if and only if its intersection with the opposite of the first quadrant is 0. The proof is non-trivially derived from the theorem of Farkas-Minkowski. Then, we apply this theorem to show how the Newton diagrams of the roots of any Weierstrass polynomial are contained in a pyramid of this type. Finally, if n = 2, this fact is equivalent to the Jung-Abhyankar theorem.


title: A simple proof of associativity and commutativity of LR-coefficients (or the hive ring)

abstract: We give a simple bijective proof of associativity and commutativity of the Littlewood-Richardson coefficients or the hive ring. Specifically, we establish existence a polarized polymatroidal discretely concave functions on the tetrahedron with given boundary values at two adjoint faces.


title: Remarks on Nitsche's functional: The rotationally symmetric case

abstract: We investigate existence and stability of rotationally symmetric critical immersions of variational problems of higher order which were considered by Nitsche.


title: Quasiprimitive groups and blow-up decompositions

abstract: The blow-up construction by L. G. Kov\'acs has been a very useful tool to study embeddings of finite primitive permutation groups into wreath products in product action. In the present paper we extend the concept of a blow-up to finite quasiprimitive permutation groups, and use it to study embeddings of finite quasiprimitive groups into wreath products.


title: Maximal tori determining the algebraic group

abstract: Let k be a finite field, a global field or a local non-archimedean field. Let H_1 and H_2 be two split, connected, semisimple algebraic groups defined over k. We prove that if H_1 and H_2 share the same set of maximal k-tori up to k-isomorphism, then the Weyl groups W(H_1) and W(H_2) are isomorphic, and hence the algebraic groups modulo their centers are isomorphic except for a switch of a certain number of factors of type B_n and C_n. We remark that due to a recent result of Philippe Gille, above result holds for fields which admit arbitrary cyclic extensions.


title: The Clark-Ocone formula for vector valued random variables in abstract Wiener space

abstract: The classical representation of random variables as the Ito integral of nonanticipative integrands is extended to include Banach space valued random variables on an abstract Wiener space equipped with a filtration induced by a resolution of the identity on the Cameron-Martin space. The Ito integral is replaced in this case by an extension of the divergence to random operators, and the operators involved in the representation are adapted with respect to this filtration in a suitably defined sense. However, the published paper contains a mistake which restricts the validity of the main result, as described in the added Erratum.


title: On the order of finite semisimple groups

abstract: It is a theorem of Artin, Tits et al. that a finite simple group is determined by its order, with the exception of the groups (A_3(2), A_2(4)) and (B_n(q), C_n(q)) for n > 2, q odd. We investigate the situation for finite semisimple groups of Lie type. It turns out that the order of the finite group H(F_q) for a split semisimple algebraic group H defined over F_q, does not determine the group H upto isomorphism, but it determines the field F_q under some mild conditions. We then put a group structure on the pairs (H_1, H_2) of split semisimple groups defined over a fixed field F_q such that the orders of the finite groups H_1(F_q) and H_2(F_q) are the same and the groups H_i have no common simple direct factors. We obtain an explicit set of generators for this abelian, torsion-free group. We finally give a geometric reasoning for these order coincidences.


title: Arithmetic of algebraic groups

abstract: This thesis studies arithmetic of linear algebraic groups. It involves studying the properties of linear algebraic groups defined over global fields, local fields and finite fields, or more generally the study of the linear algebraic groups defined over the fields which admit arbitrary cyclic extensions.


title: The amenability constant of the Fourier algebra

abstract: For a locally compact group $G$, let $A(G)$ denote its Fourier algebra and $\hat{G}$ its dual object, i.e. the collection of equivalence classes of unitary represenations of $G$. We show that the amenability constant of $A(G)$ is less than or equal to $\sup \{\deg(\pi) : \pi \in \hat{G} \}$ and that it is equal to one if and only if $G$ is abelian.


title: Small curvature surfaces in hyperbolic 3-manifolds

abstract: In a paper of Menasco and Reid, it is conjectured that there exist no hyperbolic knots in S^3 for which the complement contains a closed embedded totally geodesic surface. In this note, we show that one can get "as close as possible" to a counter-example. Specifically, we construct a sequence of hyperbolic knots {K_n} with complements containing closed embedded essential surfaces having principal curvatures converging to zero as n tends to infinity. We also construct a family of two-component links for which the complements contain closed embedded totally geodesic surfaces of arbitrarily large genera. In addition, we prove that a closed embedded surface with sufficiently small principal curvatures is not only quasi-Fuchsian (a result of W. Thurston's), but it is also either acylindrical or else the boundary of a twisted I-bundle.


title: The motivic fundamental group of the projective line minus three points and the theorem of Siegel

abstract: In this paper, we establish a link between the structure theory of the pro-unipotent motivic fundamental group of the projective line minus three points and Diophantine geometry. In particular, we give a p-adic proof of Siegel's theorem.


title: Hypersurfaces of prescribed curvature in Lorentzian manifolds

abstract: The existence of closed hypersurfaces of prescribed curvature in globally hyperbolic Lorentzian manifolds is proved provided there are barriers.


title: A geometric Jacquet-Langlands correspondence for U(2) Shimura varieties

abstract: Let G be a unitary group over the rationals, associated to a CM-field F with totally real part F^+, with signature (1,1) at all the archimedean places of F^+. Under certain hypotheses on F^+, we show that Jacquet-Langlands correspondences between certain automorphic representations of G and representations of a group G' isomorphic to G except at infinity can be realized in the cohomology of Shimura varieties attached to G and G'. We obtain these Jacquet-Langlands correspondences by studying the bad reduction of a Shimura variety X attached to G at a prime p for which X has maximal parabolic level structure. We construct a "Deligne-Rapoport" model for X and show that the irreducible components of its special fiber have a global structure that can be explicitly described in terms of Shimura varieties X' for unitary groups G' isomorphic to G except at infinity. The weight spectral sequence of Rapoport-Zink then yields an expression for certain pieces of the weight filtration on the etale cohomology of X in terms of the cohomology of a suitable X'. This identifies a piece of this weight filtration with a space of algebraic modular forms for G'. A consequence is certain cases of the Jacquet-Langlands correspondence between G and G' in terms of a canonical isomorphism between spaces of arithmetic interest, rather than simply as an abstract bijection between isomorphism classes of representations.


title: Seifert Klein bottles for knots with common boundary slopes

abstract: We consider the question of how many essential Seifert Klein bottles with common boundary slope a knot in S^3 can bound, up to ambient isotopy. We prove that any hyperbolic knot in S^3 bounds at most six Seifert Klein bottles with a given boundary slope. The Seifert Klein bottles in a minimal projection of hyperbolic pretzel knots of length 3 are shown to be unique and pi_1-injective, with surgery along their boundary slope producing irreducible toroidal manifolds. The cable knots which bound essential Seifert Klein bottles are classified; their Seifert Klein bottles are shown to be non-pi_1-injective, and unique in the case of torus knots. For satellite knots we show that, in general, there is no upper bound for the number of distinct Seifert Klein bottles a knot can bound.


title: Alexander quandles of order 16

abstract: Isomorphism classes of Alexander quandles of order 16 are determined, and classes of connected quandles are identified. This paper extends the list of known distinct connected finite Alexander quandles.


title: A Special Subgroup of the Surface Braid Group

abstract: Herein we prove that if $M$ is a compact oriented Riemann surface of genus $g$, and $M^{[n]}$ is the classifying space of $n$ distinct, unordered points on $M$, then the kernel of the map $\pi_1(M^{[n]})\to H_1(M)$ is generated by transpositions for sufficiently large $n$. Specifically, we treat $M$ as a polyhedron, and the edge set of $M$ generates this group.


title: A case study in bigraded commutative algebra

abstract: We study the commutative algebra of three bihomogeneous polynomials p_0,p_1,p_2 of degree (2,1) in variables x,y;z,w, assuming that they never vanish simultaneously on P^1 x P^1. Unlike the situation for P^2, the Koszul complex of the p_i is never exact. The purpose of this article is to illustrate how bigraded commutative algebra differs from the classical graded case and to indicate some of the theoretical tools needed to understand the free resolution of the ideal generated by p_0,p_1,p_2.


title: Ribbon Schur Operators

abstract: A new combinatorial approach to the ribbon tableaux generating functions and q-Littlewood Richardson coefficients of Lascoux, Leclerc and Thibon is suggested. We define operators which add ribbons to partitions and following Fomin and Greene study non-commutative symmetric functions in these operators. This allows us to give combinatorial interpretations for some (skew) q-Littlewood Richardson coefficients whose non-negativity appears not to be known. Our set up also leads to a new proof of the action of the Heisenberg algebra on the Fock space of U_q(sl^_n) due to Kashiwara, Miwa and Stern.


title: Chebyshev collocation for linear, periodic ordinary and delay differential equations: a posteriori estimates

abstract: We present a Chebyshev collocation method for linear ODE and DDE problems. We first give a posteriori estimates for the accuracy of the approximate solution of a scalar ODE initial value problem. Examples of the success of the estimate are given. For linear, periodic DDEs with integer delays we define and discuss the monodromy operator U as our main goal is reliable estimation of the stability of such DDEs. We prove a theorem which gives a posteriori estimates for eigenvalues of U, our main result. This result is based on a generalization to operators on Hilbert spaces of the Bauer-Fike theorem for (matrix) eigenvalue perturbation problems. We generalize these results to systems of DDEs. A delayed, damped Mathieu equation example is given. The computation of good bounds on ODE fundamental solutions is an important technical issue; an a posteriori method for such bounds is given. Certain technical issues are also addressed, namely the evaluation of polynomials and the estimation of L^\infty norms of analytic functions. Generalization to the non-integer delays case is also considered.


title: Hypersurfaces of prescribed mean curvature in Lorentzian manifolds

abstract: We give a new existence proof for closed hypersurfaces of prescribed mean curvature in Lorentzian manifolds.


title: An extremal problem on potentially $K_{m}-P_{k}$-graphic sequences

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


title: Closed hypersurfaces of prescribed mean curvature in locally conformally flat Riemannian manifolds

abstract: We prove the existence of smooth closed hypersurfaces of prescribed mean curvature homeomorphic to $S^n$ for small $n, n\le6$, provided there are barriers.


title: Constructing All Magic Squares of Order Three

abstract: We find by applying MacMahon's partition analysis that all magic squares of order three, up to rotations and reflections, are of two types, each generated by three basis elements. A combinatorial proof of this fact is given.


title: Forms of Affine Space

abstract: Let $k$ be any field and $k^s$ its separable closure. Let $X$ be an affine variety over $k$ which is isomorphic to affine $n$-space over the field extension $k^s$. Then $X$ is isomorphic to affine $n$ space over $k$.


title: Produit de Moyal stochastique sur l'espace de Wiener

abstract: We propose a stochastic extension of deformation quantization on a Hilbert space. The Moyal product is defined in this context on the space of functionals belonging to all of the Sobolev spaces of the Malliavin calculus.


title: Sharp optimality for density deconvolution with dominating bias

abstract: We consider estimation of the common probability density $f$ of i.i.d. random variables $X_i$ that are observed with an additive i.i.d. noise. We assume that the unknown density $f$ belongs to a class $\mathcal{A}$ of densities whose characteristic function is described by the exponent $\exp(-\alpha |u|^r)$ as $|u|\to \infty$, where $\alpha >0$, $r>0$. The noise density is supposed to be known and such that its characteristic function decays as $\exp(-\beta |u|^s)$, as $|u| \to \infty$, where $\beta >0$, $s>0$. Assuming that $r<s$, we suggest a kernel type estimator that is optimal in sharp asymptotical minimax sense on $\mathcal{A}$ simultaneously under the pointwise and the $\mathbb{L}_2$-risks. The variance of the estimators turns out to be asymptotically negligible w.r.t. its squared bias. For $r<s/2$ we construct a sharp adaptive estimator of $f$. We discuss some effects of dominating bias, such as superefficiency of minimax estimators.


title: Parabolic subgroups of Coxeter groups acting by reflections on CAT(0) spaces

abstract: We consider a cocompact discrete reflection group $W$ of a CAT(0) space $X$. Then $W$ becomes a Coxeter group. In this paper, we study an analogy between the Davis-Moussong complex $\Sigma(W,S)$ and the CAT(0) space $X$, and show several analogous results about the limit set of a parabolic subgroup of the Coxeter group $W$.


title: Categorical structures enriched in a quantaloid: categories, distributors and functors

abstract: We thoroughly treat several familiar and less familiar definitions and results concerning categories, functors and distributors enriched in a base quantaloid Q. In analogy with V-category theory we discuss such things as adjoint functors, (pointwise) left Kan extensions, weighted (co)limits, presheaves and free (co)completion, Cauchy completion and Morita equivalence. With an appendix on the universality of the quantaloid Dist(Q) of Q-enriched categories and distributors.


title: Quadrangularity and Strong Quadrangularity in Tournaments

abstract: The pattern of a matrix M is a (0,1)-matrix which replaces all non-zero entries of M with a 1. A directed graph is said to support M if its adjacency matrix is the pattern of M. If M is an orthogonal matrix, then a digraph which supports M must satisfy a condition known as quadrangularity. We look at quadrangularity in tournaments and determine for which orders quadrangular tournaments exist. We also look at a more restrictive necessary condition for a digraph to support an orthogonal matrix, and give a construction for tournaments which meet this condition.


title: Categorical structures enriched in a quantaloid: regular presheaves, regular semicategories

abstract: We study presheaves on semicategories enriched in a quantaloid: this gives rise to the notion of regular presheaf. A semicategory is regular when its representable presheaves are regular, and its regular presheaves then constitute an essential (co)localization of the category of all of its presheaves. The notion of regular semidistributor allows to establish the Morita equivalence of regular semicategories. Continuous orders and Omega-sets provide examples.


title: The Auslander conjecture for NIL-affine crystallographic groups

abstract: Let N be a simply connected, connected real nilpotent Lie group of finite dimension n. We study subgroups $\Gamma$ in $\Aff (N)=N\rtimes \Aut (N)$ acting properly discontinuously and cocompactly on N. This situation is a natural generalization of the so-called affine crystallographic groups. We prove that for all dimensions $1\le n\le 5$ the generalized Auslander conjecture holds, i.e., that such subgroups are virtually polycyclic.


title: Categorical structures enriched in a quantaloid: orders and ideals over a base quantaloid

abstract: Applying (enriched) categorical structures we define the notion of ordered sheaf on a quantaloid Q, which we call `Q-order'. This requires a theory of semicategories enriched in the quantaloid Q, that admit a suitable Cauchy completion. There is a quantaloid Idl(Q) of Q-orders and ideal relations, and a locally ordered category Ord(Q) of Q-orders and monotone maps; actually, Ord(Q)=Map(Idl(Q)). In particular is Ord(Omega), with Omega a locale, the category of ordered objects in the topos of sheaves on Omega. In general Q-orders can equivalently be described as Cauchy complete categories enriched in the split-idempotent completion of Q. Applied to a locale Omega this generalizes and unifies previous treatments of (ordered) sheaves on Omega in terms of Omega-enriched structures.


title: The Galaxies of Nonstandard Enlargements of Infinite and Transfinite Graphs

abstract: The galaxies of nonstandard enlargements of conventionally infinite as well as of transfinite graphs are defined, analyzed, and illustrated by some examples. It is then shown that any such enlargement either has exactly one galaxy, its principal one, or it has infinitely many galaxies. In the latter case, the galaxies are partially ordered by their "closeness" to the principal galaxy. If an enlargement has a galaxy different from its principal galaxy, then it has a two-way infinite sequence of galaxies that are totally ordered according to that "closeness" property. There may be many such totally ordered sequences.


title: Exceptional Times and Invariance for Dynamical Random Walks

abstract: Consider a sequence {X(i,0) : i = 1, ..., n} of i.i.d. random variables. Associate to each X(i,0) an independent mean-one Poisson clock. Every time a clock rings replace that X-variable by an independent copy. In this way, we obtain i.i.d. stationary processes {X(i,t) : t >= 0} (i=1,2, ...) whose invariant distribution is the law of X(1,0). Benjamini, Haggstrom, Peres, and Steif (2003) introduced the dynamical walk S(n,t) = X(1,t) + ... + X(n,t), and proved among other things that the LIL holds for {S(n,t) : n =1,2, ...} simultaneously for all t. In other words, the LIL is dynamically stable. Subsequently, we showed that in the case that the X(i,0)'s are standard normal, the classical integral test is not dynamically stable. Presently, we study the set of times t when {S(n,t) : n=1,2, ...} exceeds a given envelope infinitely often. Our analysis is made possible thanks to a connection to the Kolmogorov epsilon-entropy. When used in conjunction with the invariance principle of this paper, this connection has other interesting by-products some of which we relate. We prove also that viewed as an infinite-dimensional process, the rescaled dynamical random walk converges weakly in D(D([0,1])) to the Ornstein-Uhlenbeck process in C([0,1]). For this we assume only that the increments have mean zero and variance one. In addition, we extend a result of Benjamini, Haggstrom, Peres and Steif (2003) by proving that if the X(i,0)'s are lattice, mean-zero variance-one, and possess 2 + epsilon finite absolute moments for some positive epsilon, then the recurrence of the origin is dynamically stable. To prove this we derive a gambler's ruin estimate that is valid for all lattice random walks that have mean zero and finite variance. We believe the latter may be of independent interest.


title: Dissecting the Stanley Partition Function

abstract: Let p(n) denote the number of unrestricted partitions of n. For i=0, 2, let p[i](n) denote the number of partitions pi of n such that O(pi) - O(pi') = i mod 4. Here O(pi) denotes the number of odd parts of the partition pi and pi' is the conjugate of pi. R. Stanley [13], [14] derived an infinite product representation for the generating function of p[0](n)-p[2](n). Recently, Holly Swisher[15] employed the circle method to show that limit[n->oo] p[0](n)/p(n) = 1/2 (i) and that for sufficiently large n 2 p[0](n) > p(n), if n=0,1 mod 4, 2 p[0](n) < p(n), otherwise. (ii) In this paper we study even/odd dissection of the Stanley product, and show how to use it to prove (i) and (ii) with no restriction on n. Moreover, we establish the following new result |p[0](2n) - p[2](2n)| > |p[0](2n+1) - p[2](2n+1)|, n>0. Two proofs of this surprising inequality are given. The first one uses the Gollnitz-Gordon partition theorem. The second one is an immediate corollary of a new partition inequality, which we prove in a combinatorial manner. Our methods are elementary. We use only Jacobi's triple product identity and some naive upper bound estimates.


title: Determining functionals for random partial differential equations

abstract: Determining functionals are tools to describe the finite dimensional long-term dynamics of infinite dimensional dynamical systems. There also exist several applications to infinite dimensional {\em random} dynamical systems. In these applications the convergence condition of the trajectories of an infinite dimensional random dynamical system with respect to a finite set of linear functionals is assumed to be either in mean or {\em exponential} with respect to the convergence almost surely. In contrast to these ideas we introduce a convergence concept which is based on the convergence in probability. By this ansatz we get rid of the assumption of exponential convergence. In addition, setting the random terms to zero we obtain usual deterministic results.\\ We apply our results to the 2D Navier - Stokes equations forced by a white noise.


title: Introduction to Shimura varieties with bad reduction of parahoric type

abstract: This survey article explains the construction of Rapoport-Zink local models and their use in understanding various questions relating to the singularities in the reduction modulo p of certain Shimura varieties with parahoric level structure at p.


title: Smooth stable and unstable manifolds for stochastic partial differential equations

abstract: Invariant manifolds are fundamental tools for describing and understanding nonlinear dynamics. In this paper, we present a theory of stable and unstable manifolds for infinite dimensional random dynamical systems generated by a class of stochastic partial differential equations. We first show the existence of Lipschitz continuous stable and unstable manifolds by the Lyapunov-Perron's method. Then, we prove the smoothness of these invariant manifolds.


title: Galois module structure of Galois cohomology and partial Euler-Poincare characteristics

abstract: Let F be a field containing a primitive pth root of unity, and let U be an open normal subgroup of index p of the absolute Galois group G_F of F. Using the Bloch-Kato Conjecture we determine the structure of the cohomology group H^n(U,Fp) as an Fp[G_F/U]-module for all n in N. Previously this structure was known only for n=1, and until recently the structure even of H^1(U,Fp) was determined only for F a local field, a case settled by Borevic and Faddeev in the 1960s. We apply these results to study partial Euler-Poincare characteristics of open subgroups N of the maximal pro-p quotient T of G_F. We extend the notion of a partial Euler-Poincare characteristic to this case and we show that the nth partial Euler-Poincare characteristic Theta_n(N) is determined only by Theta_n(T) and the conorm in H^n(T,Fp).


title: Invariant manifolds for stochastic partial differential equations

abstract: Invariant manifolds provide the geometric structures for describing and understanding dynamics of nonlinear systems. The theory of invariant manifolds for both finite and infinite dimensional autonomous deterministic systems, and for stochastic ordinary differential equations is relatively mature. In this paper, we present a unified theory of invariant manifolds for infinite dimensional {\em random} dynamical systems generated by {\em stochastic} partial differential equations. We first introduce a random graph transform and a fixed point theorem for non-autonomous systems. Then we show the existence of generalized fixed points which give the desired invariant manifolds.


title: Fractional Fokker--Planck Equation for Nonlinear Stochastic Differential Equations Driven by Non-Gaussian Levy Stable Noises

abstract: The Fokker-Planck equation has been very useful for studying dynamic behavior of stochastic differential equations driven by Gaussian noises. In this paper, we derive a Fractional Fokker--Planck equation for the probability distribution of particles whose motion is governed by a {\em nonlinear} Langevin-type equation, which is driven by a non-Gaussian Levy-stable noise. We obtain in fact a more general result for Markovian processes generated by stochastic differential equations.}


title: On some representations of nilpotent Lie algebras and superalgebras

abstract: Let $G$ be a simply connected, nilpotent Lie group with Lie algebra $\gee$. The group $G$ acts on the dual space $\gee^*$ by the coadjoint action. %% which partitions $\gee^*$ into coadjoint orbits. By the orbit method of Kirillov, the simple unitary representations of $G$ are in bijective correspondence with the coadjoint orbits in $\gee^*$, which in turn are in bijective correspondence with the primitive ideals of the universal enveloping algebra of $\gee$. The number of simple $\gee$-modules which have a common eigenvector for a particular subalgebra of $\gee$ and are annihilated by a particular primitive ideal $I$ is shown by Benoist to depend on geometric properties of a certain subvariety of the coadjoint orbit corresponding to $I$. We determine the exact number of such modules when the coadjoint orbit is two-dimensional. Bell and Musson showed that the algebras obtained by factoring the universal enveloping superalgebra of a Lie superalgebra by graded-primitive ideals are isomorphic to tensor products of Weyl algebras and Clifford algebras. We describe certain cases where the factors are purely Weyl algebras and determine how the sizes of these Weyl algebras depend on the graded-primitive ideals.


title: A new proof of the noncommutative Banach-Stone theorem

abstract: Surjective isometries between unital C*-algebras were classified in 1951 by Kadison. In 1972 Paterson and Sinclair handled the nonunital case by assuming Kadison's theorem and supplying some supplementary lemmas. Here we combine an observation of Paterson and Sinclair with variations on the methods of Yeadon and the author, producing a fundamentally new proof of the structure of surjective isometries between (nonunital) C*-algebras. In the final section we indicate how our techniques may be applied to classify surjective isometries of noncommutative Lp spaces, extending some recent results of the author to 0 < p leq 1.


title: Non-Negative Integer Linear Congruences

abstract: We consider the problem of describing all non-negative integer solutions to a linear congruence in many variables. This question may be reduced to solving the congruence $x_1 + 2x_2 + 3x_3 + ... + (n-1)x_{n-1} \equiv 0 \pmod n$ where values of the unknowns, $x_i$, are sought among the non-negative integers. We consider the monoid of solutions of this equation and prove a conjecture of Elashvili concerning the structure of these solutions. This yields a simple algorithm for generating most (conjecturally all) of the high degree indecomposable solutions of the equation.


title: When is a Schubert variety Gorenstein?

abstract: A (normal) variety is Gorenstein if it is Cohen-Macualay and its canonical sheaf is a line bundle. This property, which measures the ``pathology'' of the singularities of a variety, is thus stronger than Cohen-Macualayness, but is also weaker than smoothness. We determine which Schubert varieties are Gorenstein in terms of a combinatorial characterization using generalized pattern avoidance conditions. We also give an explicit description as a line bundle of the canonical sheaf of a Gorenstein Schubert variety.


title: Images of the Brownian Sheet

abstract: An N-parameter Brownian sheet in R^d maps a non-random compact set F in R^N_+ to the random compact set B(F) in \R^d. We prove two results on the image-set B(F): (1) It has positive d-dimensional Lebesgue measure if and only if F has positive (d/2)-dimensional capacity. This generalizes greatly the earlier works of J. Hawkes (1977), J.-P. Kahane (1985a; 1985b), and one of the present authors (1999). (2) If the Hausdorff dimension of F is strictly greater than (d/2), then with probability one, we can find a finite number of points \zeta_1,...,\zeta_m such that for any rotation matrix \theta that leaves F in B(\theta F), one of the \zeta_i's is interior to B(\theta F). In particular, B(F) has interior-points a.s. This verifies a conjecture of T. S. Mountford (1989). This paper contains two novel ideas: To prove (1), we introduce and analyze a family of bridged sheets. Item (2) is proved by developing a notion of ``sectorial local-non-determinism (LND).'' Both ideas may be of independent interest. We showcase sectorial LND further by exhibiting some arithmetic properties of standard Brownian motion; this completes the work initiated by Mountford (1988).


title: Polymorphisms, Markov processes, random perturbations of K-automorphisms

abstract: In this paper we develop the theory of {\it polymorphisms} of measure spaces, which is a generalization of the theory of measure-preserving transformations; we describe the main notions and discuss relations to the theory of Markov processes, operator theory, ergodic theory, etc. Using these tools, we solve the problem, which appeared in dynamics in the 70s: what kind of equivalence can exist between deterministic and random dynamical systems; our refining of this question is as follows: is it possible to have the quasi-similarity of a measure-preserving automorphism and a polymorphism. We prove that it is possible and the automorphism must be a $K$-automorphism and the polymorphism must be a special random perturbation of the automorphism; more exactly, the polymorphism is a random walk over stable leaves of the $K$-automorphism. The main part of our analysis concerns quasi-deterministic Markov processes and their tail (residual) $\sigma$-fields; such processes correspond to the most interesting class of polymorphisms: prime nonmixing polymorphisms.


title: An analog to Deuring's criterion for good reduction of elliptic curves

abstract: In this paper we study the reduction of $p$-cyclic covers of the $p$-adic line ramified at exactly four points. For $p=2$ these covers are elliptic curves and Deuring has given a criterion for when such a curve has good reduction. Here we consider the case of $p>2$ and completely determine the stable model of the cover. In particular we obtain a finite extension $R'$ of $R$ necessary for the stable reduction to be defined. No additional conditions are imposed on the geometry of the branch locus and thus this work can be viewed as a first step towards understanding the situation where branch points coalesce.


title: The Matrix-Valued $H^{p}$ Corona Problem in the Disk and Polydisk

abstract: In this paper we consider the matrix-valued $H^{p}$ corona problem in the disk and polydisk. The result for the disk is rather well known, and is usually obtained from the classical Carleson Corona Theorem by linear algebra. Our proof provides a streamlined way of obtaining this result and allows one to get a better estimate on the norm of the solution. In particular, we were able to improve the estimate found in the recent work of T. Trent. Note that, the solution of the $H^{\infty}$ matrix corona problem in the disk can be easily obtained from the $H^{2}$ corona problem either by factorization, or by the Commutant Lifting Theorem. The $H^{p}$ corona problem in the polydisk was originally solved by K.C. Lin. The solution used Koszul complexes and was rather complicated because one had to consider higher order $\bar{\partial}$-equations. Our proof is more transparent and it improves upon Lin's result in several ways. First, we were able to show that the norm of the solution is independent of the number of generators. Additionally, we illustrate that the norm of the solution grows at most proportionally to the dimension of the polydisk. Our approach is based on one that was originated by M. Andersson. In the disk it essentially depends on Green's Theorem and duality to obtain the estimate. In the polydisk we use Riesz projections to reduce the problem to the disk case.


title: Equivariant-constructible Koszul duality for dual toric varieties

abstract: For a pair of affine toric varieties X and Y defined by dual cones, we define an equivalence between two triangulated categories. The first is a mixed version of the equivariant derived category of X and the second is a mixed version of the derived category of sheaves on Y which are locally constant with unipotent monodromy on each orbit. This equivalence satisfies the Koszul duality formalism of Beilinson, Ginzburg, and Soergel. A similar duality was constructed in math.AG/0308216; this new approach is more canonical.


title: Liaison classes of modules

abstract: We propose a concept of module liaison that extends Gorenstein liaison of ideals and provides an equivalence relation among unmixed modules over a commutative Gorenstein ring. Analyzing the resulting equivalence classes we show that several results known for Gorenstein liaison are still true in the more general case of module liaison. In particular, we construct two maps from the set of even liaison classes of modules of fixed codimension into stable equivalence classes of certain reflexive modules. As a consequence, we show that the intermediate cohomology modules and properties like being perfect, Cohen-Macaulay, Buchsbaum, or surjective-Buchsbaum are preserved in even module liaison classes. Furthermore, we prove that the module liaison class of a complete intersection of codimension one consists of precisely all perfect modules of codimension one.


title: Stabilizations of Reducible Heegaard Splittings

abstract: C. Gordon conjectured that a connected sum of two Heegaard splittings is stabilized if and only if one of the two factors is stabilized (Problem 3.91 in Kirby's problem list). In this paper, we shall prove this conjecture.


title: Heegaard Splittings of Boundary Reducible 3-Manifolds

abstract: In this paper, we shall prove that any Heegaard splitting of a $\partial$-reducible 3-manifold $M$, say $M=W\cup V$, can be obtained by doing connected sums, boundary connected sums and self-boundary connected sums from Heegaard splittings of $n$ manifolds $M_{1},..., M_{n}$ where $M_{i}$ is either a solid torus or a $\partial$-irreducible manifold. Furthermore, $W\cup V$ is stabilized if and only if one of the factors is stabilized.


title: Bad loci of free linear systems

abstract: The bad locus of a base-point free linear system L on a normal complex projective variety X is defined as the subset B(L) of X of points that are not contained in any irreducible and reduced member of L. In this paper we provide a geometric description of such locus in terms of the morphism defined by L. In particular, assume that the dimension of X is at least 2, and that L is the complete linear system associated to an ample and spanned line bundle. It is known that in this case B(L) is empty unless X is a surface. Then we prove that, when the latter occurs, B(L) is not empty if and only if L defines a morphism onto a two dimensional cone, in which case B(L) is the inverse image of the vertex of the cone.


title: Length, multiplicity, and multiplier ideals

abstract: Let (R,m) be an n-dimensional regular local ring, essentially of finite type over a field of characteristic zero. In this paper we study the relationship between the singularities of the scheme defined by an m-primary ideal I of R and the multiplier ideals J(I^c), with c varying among the positive rational numbers. In particular, we prove that, for every nonnegative integer k, the Samuel multiplicity of I is greater or equal to (n+k)^n/c^n whenever J(I^c) is contained in the (k+1)-th power of the maximal ideal m. This formula generalizes an inequality on log canonical thresholds previously obtained by Ein, Musta\c{t}\v{a} and the author of this paper (arXiv:math.AG/0205171). A refined inequality is also shown to hold for small dimensions, and similar results valid for a generalization of test ideals in positive characteristics are presented.


title: Complex Multiplication Tests for Elliptic Curves

abstract: We consider the problem of checking whether an elliptic curve defined over a given number field has complex multiplication. We study two polynomial time algorithms for this problem, one randomized and the other deterministic. The randomized algorithm can be adapted to yield the discriminant of the endomorphism ring of the curve.


title: Large time asymptotics for the density of a branching Wiener process

abstract: Given an R^d-valued supercritical branching Wiener process, let D(A,T) be the number of particles in a subset A of R^d at time T, (T=0,1,2,...). We provide a complete asymptotic expansion of D(A,T) as T goes to infinity, generalizing the work of X.Chen.


title: On the asymptotics of quantum SU(2) representations of mapping class groups

abstract: We investigate the rigidity and asymptotic properties of quantum SU(2) representations of mapping class groups. In the spherical braid group case the trivial representation is not isolated in the family of quantum SU(2) representations. In particular, they may be used to give an explicit check that spherical braid groups and hyperelliptic mapping class groups do not have Kazhdan's property (T). On the other hand, the representations of the mapping class group of the torus do not have almost invariant vectors, in fact they converge to the metaplectic representation of SL(2,Z) on L^2(R). As a consequence we obtain a curious analytic fact about the Fourier transform on the real line which may not have been previously observed.


title: Lower Bounds for Real Solutions to Sparse Polynomial Systems

abstract: We show how to construct sparse polynomial systems that have non-trivial lower bounds on their numbers of real solutions. These are unmixed systems associated to certain polytopes. For the order polytope of a poset P this lower bound is the sign-imbalance of P and it holds if all maximal chains of P have length of the same parity. This theory also gives lower bounds in the real Schubert calculus through sagbi degeneration of the Grassmannian to a toric variety, and thus recovers a result of Eremenko and Gabrielov.


title: Higher-rank graph C*-algebras: an inverse semigroup and groupoid approach

abstract: We provide inverse semigroup and groupoid models for the Toeplitz and Cuntz-Krieger algebras of finitely aligned higher-rank graphs. Using these models, we prove a uniqueness theorem for the Cuntz-Krieger algebra.


title: Representations of integers by an invariant polynomial and unipotent flows

abstract: We study a refined version of the Linnik problem on the asymptotic behavior of the number of representations of integer $m$ by an integral polynomial as $m$ tends to infinity. We assume that the polynomial arises from invariant theory, and use methods from the theory of unipotent flows.


title: Ergodic theoretic proof of equidistribution of Hecke points

abstract: We use the theory of unipotent flows to prove, in a general setting, the equidistribution of Hecke points. We follow the approach of Burger-Sarnak, and use a theorem of Mozes-Shah.


title: Apparent Singularities of Linear Difference Equations with Polynomial Coefficients

abstract: Let L be a linear difference operator with polynomial coefficients. We consider singularities of L that correspond to roots of the trailing (resp. leading) coefficient of L. We prove that one can effectively construct a left multiple with polynomial coefficients L' of L such that every singularity of L' is a singularity of L that is not apparent. As a consequence, if all singularities of L are apparent, then L has a left multiple whose trailing and leading coefficients equal 1.


title: Prove or Disprove. 100 Conjectures from the OEIS

abstract: Presented here are over one hundred conjectures ranging from easy to difficult, from many mathematical fields. I also summarize briefly methods and tools that have led to this collection.


title: Factoring polynomials over global fields

abstract: Let K be a global field and f in K[X] be a polynomial. We present an efficient algorithm which factors f in polynomial time.


title: Cuntz-Pimsner Algebras, Completely Positive Maps and Morita Equivalence

abstract: Let $P$ be a completely positive map on $M_n(\mathbb{C})$ and let $E_P$ be the associated \emph{GNS}-$C^*$-correspondence. We prove a result that implies, in particular, that the Cuntz-Pimsner algebra of $E_P$, $\mathcal{O}(E_P)$, is strongly Morita equivalent to the Cuntz algebra $\mathcal{O}_{d(P)}$, where $d(P)$ is the index of $P$.


title: On the matrix equation XA-AX=X^p

abstract: We study the matrix equation $XA-AX=X^p$ in $M_n(K)$ for $1< p <n$. It is shown that every matrix solution $X$ is nilpotent and that the generalized eigenspaces of $A$ are $X$-invariant. For $A$ being a full Jordan block we describe how to compute all matrix solutions. Combinatorial formulas for $A^mX^{\ell},X^{\ell}A^m$ and $(AX)^{\ell}$ are given. The case $p=2$ is a special case of the algebraic Riccati equation.


title: Galois theory for Hopf algebroids

abstract: An extension B\subset A of algebras over a commutative ring k is an H-extension for an L-bialgebroid H if A is an H-comodule algebra and B is the subalgebra of its coinvariants. It is H-Galois if the canonical map A\otimes_B A\to A\otimes_L H is an isomorphism or, equivalently, if the canonical coring (A\otimes_L H:A) is a Galois coring. In the case of a Hopf algebroid H=(H_L,H_R,S) any H_R-extension is shown to be also an H_L-extension. If the antipode is bijective then also the notions of H_R-Galois extensions and of H_L-Galois extensions are proven to coincide. Results about bijective entwining structures are extended to entwining structures over non-commutative algebras in order to prove a Kreimer-Takeuchi type theorem for a finitely generated projective Hopf algebroid H with bijective antipode. It states that any H-Galois extension B\subset A is projective, and if A is k-flat then already the surjectivity of the canonical map implies the Galois property. The Morita theory, developed for corings by Caenepeel, Vercruysse and Wang, is applied to obtain equivalent criteria for the Galois property of Hopf algebroid extensions. This leads to Hopf algebroid analogues of results for Hopf algebra extensions by Doi and, in the case of Frobenius Hopf algebroids, by Cohen, Fishman and Montgomery.


title: Semistar invertibility on integral domains

abstract: After the introduction in 1994, by Okabe and Matsuda, of the notion of semistar operation, many authors have investigated different aspects of this general and powerful concept. A natural development of the recent work in this area leads to investigate the concept of invertibility in the semistar setting. In this paper, we will show the existence of a ``theoretical obstruction'' for extending many results, proved for star-invertibility, to the semistar case. For this reason, we will introduce two distinct notions of invertibility in the semistar setting (called $\star$--invertibility and quasi--$\star$--invertibility), we will discuss the motivations of these ``two levels'' of invertibility and we will extend, accordingly, many classical results proved for the $d$--, $v$--, $t$-- and $w$-- invertibility.


title: The Galaxies of Nonstandard Enlargements of Transfinite Graphs of Higher Rsnks

abstract: In a prior work, the galaxies of the nonstandard enlargements of conventionally infinite graphs and also of transfinite graphs of the first rank of transfiniteness were defined, examined, and illustrated by some examples. In this work it is shown how the results of the prior work extend to graphs of higher ranks.