title: Riemann surfaces with a large abelian group of automorphisms

abstract: In this paper we classify all Riemann surfaces having a large abelian group of automorphisms, that is having an abelian group of automorphism of order strictly bigger then $4(g-1)$, where $g$ denotes as usual the genus of the Riemann surface.


title: The Large Scale Geometry of Nilpotent-by-Cyclic Groups

abstract: A nonpolycyclic nilpotent-by-cyclic group Gamma can be expressed as the HNN extension of a finitely-generated nilpotent group N. The first main result is that quasi-isometric nilpotent-by-cyclic groups are HNN extensions of quasi-isometric nilpotent groups. The nonsurjective injection defining such an extension induces an injective endomorphism phi of the Lie algebra g associated to the Lie group in which N is a lattice. A normal form for automorphisms of nilpotent Lie algebras--permuted absolute Jordan form-- is defined and conjectured to be a quasi-isometry invariant. We show that if phi, theta are endomorphisms of lattices in a fixed Carnot group G, and if the induced automorphisms of g have the same permuted absolute Jordan form, then Gamma_phi and Gamma_theta are quasi-isometric. Two quasi-isometry invariants are also found: the set of ``divergence rates'' of vertical flow lines: D_phi the ``growth spaces'': g_n subset g These do not establish that permuted absolute Jordan form is a quasi-isometry invariant, although they are major steps toward that conjecture. Furthermore, the quasi-isometric rigidity of finitely-presented nilpotent-by-cyclic groups is proven: any finitely-presented group quasi-isometric to a nonpolycyclic nilpotent-by-cyclic group is (virtually-nilpotent)-by-cyclic.


title: The monic integer transfinite diameter

abstract: We study the problem of finding nonconstant monic integer polynomials, normalized by their degree, with small supremum on an interval I. The monic integer transfinite diameter t_M(I) is defined as the infimum of all such supremums. We show that if I has length 1 then t_M(I) = 1/2. We make three general conjectures relating to the value of t_M(I) for intervals I of length less that 4. We also conjecture a value for t_M([0, b]) where 0 < b < 1. We give some partial results, as well as computational evidence, to support these conjectures. We define two functions that measure properties of the lengths of intervals I with t_M(I) on either side of t. Upper and lower bounds are given for these functions. We also consider the problem of determining t_M(I) when I is a Farey interval. We prove that a conjecture of Borwein, Pinner and Pritsker concerning this value is true for an infinite family of Farey intervals.


title: $q-$Wiener ($\alpha,q)-$ Ornstein-Uhlenbeck processes. A generalization of known processes

abstract: We collect, scattered through literature, as well as we prove some new properties of two Markov processes that in many ways resemble Wiener and Ornstein--Uhlenbeck processes. Although processes considered in this paper were defined either in non-commutative probability context or through quadratic harnesses we define them once more as so to say 'continuous time ' generalization of a simple, symmetric, discrete time process satisfying simple conditions imposed on the form of its first two conditional moments. The finite dimensional distributions of the first one (say X=(X_{t})_{t\geq0} called q-Wiener) depends on one parameter q\in(-1,1] and of the second one (say Y=(Y_{t})_{t\inR} called ({\alpha},q)- Ornstein--Uhlenbeck) on two parameters ({\alpha},q)\in(0,\infty)\times(-1,1]. The first one resembles Wiener process in the sense that for q=1 it is Wiener process but also that for |q|<1 and \foralln\geq1: t^{n/2}H_{n}(X_{t}/\surdt|q), where (H_{n})_{n\geq0} are the so called q-Hermite polynomials, are martingales. It does not have however neither independent increments not allows continuous sample path modification. The second one resembles Ornstein--Uhlenbeck process. For q=1 it is a classical OU process. For |q|<1 it is also stationary with correlation function equal to exp(-{\alpha}|t-s|) and has many properties resembling those of its classical version. We think that these process are fascinating objects to study posing many interesting, open questions.


title: Pure subrings of regular rings are pseudo-rational

abstract: We prove a generalization of the Hochster-Roberts-Boutot-Kawamata Theorem conjectured by Aschenbrenner and the author: let $R\to S$ be a pure homomorphism of equicharacteristic zero Noetherian local rings. If $S$ is regular, then $R$ is pseudo-rational, and if $R$ is moreover $\mathbb Q$-Gorenstein, then it pseudo-log-terminal.


title: A remark on separate holomorphy

abstract: Let $X$ be a Riemann domain over $\mathbb C^k\times\mathbb C^\ell$. If $X$ is domain of holomorphy with respect to a family $\mathcal F\subset\mathcal O(X)$, then there exists a pluripolar set $P\subset\mathcal C^k$ such that every slice $X_a$ of $X$ with $a\notin P$ is a domain of holomorphy with respect to the family $\{f|_{X_a}: f\in\mathcal F\}$.


title: Solvability of Symmetric Word Equations in Positive Definite Letters

abstract: Let $S(X,B)$ be a symmetric (``palindromic'') word in two letters $X$ and $B$. A theorem due to Hillar and Johnson states that for each pair of positive definite matrices $B$ and $P$, there is a positive definite solution $X$ to the word equation $S(X,B)=P$. They also conjectured that these solutions are finite and unique. In this paper, we resolve a modified version of this conjecture by showing that the Brouwer degree of such an equation is equal to 1 (in the case of real matrices). It follows that, generically, the number of solutions is odd (and thus finite) in the real case. Our approach allows us to address the more subtle question of uniqueness by exhibiting equations with multiple real solutions, as well as providing a second proof of the result of Hillar and Johnson in the real case.


title: The mixing time of the Thorp shuffle

abstract: The Thorp shuffle is defined as follows. Cut the deck into two equal piles. Drop the first card from the left pile or the right pile according to the outcome of a fair coin flip; then drop from the other pile. Continue this way until both piles are empty. We show that the mixing time for the Thorp shuffle with $2^d$ cards is polynomial in $d$.


title: Cohomological structure of the mapping class group and beyond

abstract: In this paper, we briefly review some of the known results concerning the cohomological structures of the mapping class group of surfaces, the outer automorphism group of free groups, the diffeomorphism group of surfaces as well as various subgroups of them such as the Torelli group, the IA outer automorphism group of free groups, the symplectomorphism group of surfaces. Based on these, we present several conjectures and problems concerning the cohomology of these groups. We are particularly interested in the possible interplays between these cohomology groups rather than merely the structures of individual groups. It turns out that, we have to include, in our considerations, two other groups which contain the mapping class group as their core subgroups and whose structures seem to be deeply related to that of the mapping class group. They are the arithmetic mapping class group and the group of homology cobordism classes of homology cylinders.


title: Fokker-Planck Dynamics and Entropies for the Normalized Ricci Flow

abstract: We consider some elementary aspects of the geometry of the space of probability measures endowed with Wasserstein distance. In such a setting, we discuss the various terms entering Perelman's shrinker entropy, and characterize two new monotonic functionals for the volume-normalized Ricci flow. One is obtained by a rescaling of the curvature term in the shrinker entropy. The second is associated with a gradient flow obtained by adding a curvature-drift to Perelman's backward heat equation. We show that the resulting Fokker-Planck PDE is the natural diffusion flow for probability measures absolutely continuous with respect to the Ricci-evolved Riemannian measure, we discuss its exponential trend to equilibrium, and its relation with the viscous Hamilton-Jacobi equation.


title: The nonlinear membrane energy: variational derivation under the constraint "det\nabla u>0"

abstract: In [4] we gave a variational definition of the nonlinear membrane energy under the constraint "det\nabla u\not=0". In this paper we obtain the nonlinear membrane energy under the more realistic constraint "det\nabla u>0".


title: Hyperplane arrangements and Lefschetz's hyperplane section theorem

abstract: The Lefschetz hyperplane section theorem asserts that an affine variety is homotopy equivalent to a space obtained from its generic hyperplane section by attaching some cells. The purpose of this paper is to describe attaching maps of these cells for the complement of a complex hyperplane arrangement defined over real numbers. The cells and attaching maps are described in combinatorial terms of chambers. We also discuss the cellular chain complex with coefficients in a local system and a presentation for the fundamental group associated to the minimal CW-decomposition for the complement.


title: Algebras of singular integral operators on Nakano spaces with Khvedelidze weights over Carleson curves with logarithmic whirl points

abstract: We establish a Fredholm criterion for an arbitrary operator in the Banach algebra of singular integral operators with piecewise continuous coefficients on Nakano spaces (generalized Lebesgue spaces with variable exponent) with Khvedelidze weights over Carleson curves with logarithmic whirl points.


title: Meromorphic functions, bifurcation sets and fibred links

abstract: We give a necessary condition for a meromorphic function in several variables to give rise to a Milnor fibration of the local link (respectively of the link at infinity). In the case of two variables we give some necessary and sufficient conditions for the local link (respectively the link at infinity) to be fibred.


title: Link complexes of subspace arrangements

abstract: Given a simplicial hyperplane arrangement H and a subspace arrangement A embedded in H, we define a simplicial complex Delta_{A,H} as the subdivision of the link of A induced by H. In particular, this generalizes Steingrimsson's coloring complex of a graph. We do the following: (1) When A is a hyperplane arrangement, Delta_{A,H} is shown to be shellable. As a special case, we answer affirmatively a question of Steingrimsson on coloring complexes. (2) For H being a Coxeter arrangement of type A or B we obtain a close connection between the Hilbert series of the Stanley-Reisner ring of Delta_{A,H} and the characteristic polynomial of A. This extends results of Steingrimsson and provides an interpretation of chromatic polynomials of hypergraphs and signed graphs in terms of Hilbert polynomials.


title: An Unstable Elliptic Free Boundary Problem arising in Solid Combustion

abstract: We prove a regularity result for the unstable elliptic free boundary problem $\Delta u = -\chi_{\{u>0\}}$ related to traveling waves in a problem arising in solid combustion. The maximal solution and every local minimizer of the energy are regular, that is, $\{u=0\}$ is locally an analytic surface and $u|_{\bar{\{u>0\}}}, u|_{\bar{\{u<0\}}}$ are locally analytic functions. Moreover we prove a partial regularity result for solutions that are non-degenerate of second order: here $\{u=0\}$ is analytic up to a closed set of Hausdorff dimension $n-2$. We discuss possible singularities.


title: Finite representations of a quiver arising from string theory

abstract: Inspired by Cachazo, Katz and Vafa (``Geometric transitions and $\mathcal {N}=1$ quiver theories'' (hep-th/0108120)), we examine representations of ``${N}=1$ quivers'' arising from string theory. We derive some mathematical consequences of the physics, and show that these results are a natural extension of Gabriel's ADE theorem. Extending the usual ADE case that relates quiver representations to curves on surfaces, we relate these new quiver representations to curves on threefolds.


title: A Continuous Field of C*-algebras and the Tangent Groupoid for Manifolds with Boundary

abstract: For a smooth manifold with boundary we construct a semigroupoid and a continuous field of C*-algebras which extend Connes' construction of the tangent groupoid. We show the asymptotic multiplicativity of \hbar-scaled truncated pseudodifferential operators with smoothing symbols and compute the K-theory of the associated symbol algebra.


title: On Cheng's Eigenvalue Comparison Theorems

abstract: We prove Cheng's eigenvalue comparison theorems for geodesic balls within the cut locus under weaker geometric hypothesis, and we also show that there are certain geometric rigidity in case of equality of the eigenvalues. This rigidity becomes isometric rigidity under upper sectional curvature bounds or lower Ricci curvature bounds. We construct examples of smooth metrics showing that our results are true extensions of Cheng's theorem. We also construct a family of complete smooth metrics on the Euclidean space non-isometric to the constant sectional curvature k metrics of the simply connected space forms of constant sectional curvature k such that the geodesic balls of radius r have the same first eigenvalue and the geodesic spheres have the same mean curvatures. In the end we construct examples of Riemannian manifolds M with arbitrary topology with positive fundamental tone positive that generalize Veeravalli's examples.


title: Colouring Lines in Projective Space

abstract: Let $V$ be a vector space of dimension $v$ over a field of order $q$. The $q$-Kneser graph has the $k$-dimensional subspaces of $V$ as its vertices, where two subspaces $\alpha$ and $\beta$ are adjacent if and only if $\alpha\cap\beta$ is the zero subspace. This paper is motivated by the problem of determining the chromatic numbers of these graphs. This problem is trivial when $k=1$ (and the graphs are complete) or when $v<2k$ (and the graphs are empty). We establish some basic theory in the general case. Then specializing to the case $k=2$, we show that the chromatic number is $q^2+q$ when $v=4$ and $(q^{v-1}-1)/(q-1)$ when $v > 4$. In both cases we characterise the minimal colourings.


title: Abelian subcategories closed under extensions: K-theory and decompositions

abstract: A full subcategory of modules over a commutative ring $R$ is wide if it is abelian and closed under extensions. Hovey \cite{wide} gave a classification of wide subcategories of finitely presented modules over regular coherent rings in terms of certain specialisation closed subsets of $\Spec(R)$. We use this classification theorem to study K-theory and Krull-Schmidt type decompositions for wide subcategories. It is shown that the K-group, in the sense of Grothendieck, of a wide subcategory $\W$ of finitely presented modules over a regular coherent ring is isomorphic to that of the thick subcategory of perfect complexes whose homology groups belong to $\W$. We also show that the wide subcategories of finitely generated modules over a noetherian regular ring can be decomposed uniquely into indecomposable ones. This result is then applied to obtain a decomposition for the K-groups of wide subcategories.


title: Formalism for Relative Gromov-Witten Invariants

abstract: We develop a formalism for relative Gromov-Witten invariants of Li that is analogous to the Symplectic Field Theory of Eliashberg, Givental, and Hofer. This formalism allows us to express natural degeneration formulae in terms of generating functions and re-derive the formulae of Caporaso-Harris, Ran, and Vakil. In addition, our framework gives a homology theory analogous to SFT Homology.


title: Line-Bundles on Stacks of Relative Maps

abstract: This paper provides some technical results needed in "Formalism for Relative Gromov-Witten Invariants." We study line-bundles on the moduli stacks of relative stable and rubber maps that are used to define relative Gromov-Witten invariants in the sense of J. Li. Relations between these line-bundles yield degeneration formulae. In addition we prove a technical result called the Trivial Cylinders Theorem.


title: Derivations of an effective divisor on the complex projective line

abstract: In this paper we consider an effective divisor on the complex projective line and associate with it the module D consisting of all the derivations $\theta$ such that $\theta(I_i)\subset I_i^{m_i}$ for every $i$, where $I_i$ is the ideal of $p_i$. The module D is graded and free of rank 2; the degrees of its homogeneous basis, called the exponents, form an important invariant of the divisor. We prove that under certain conditions on $(m_i)$ the exponents do not depend on $\{p_i\}$. Our main result asserts that if these conditions do not hold for $(m_i)$ then there exists a general position of $n$ points for which the exponents do not change. We give an explicit formula for them. We also exhibit some examples of degeneration of the exponents, in particular those where the degeneration is defined by vanishing of certain Shur functions. As application and motivation, we show that our results imply Terao's conjecture (about the combinatorial nature of the freeness of hyperplane arrangements) for certain new classes of arrangements of lines in the complex projective plane.


title: Tail Bounds for the Stable Marriage of Poisson and Lebesgue

abstract: Let \Xi be a discrete set in R^d. Call the elements of \Xi centers. The well-known Voronoi tessellation partitions R^d into polyhedral regions (of varying volumes) by allocating each site of R^d to the closest center. Here we study allocations of R^d to \Xi in which each center attempts to claim a region of equal volume \alpha. We focus on the case where \Xi arises from a Poisson process of unit intensity. It was proved in math.PR/0505668 that there is a unique allocation which is stable in the sense of the Gale-Shapley marriage problem. We study the distance X from a typical site to its allocated center in the stable allocation. The model exhibits a phase transition in the appetite \alpha. In the critical case \alpha=1 we prove a power law upper bound on X in dimension d=1. It is an open problem to prove any upper bound in d\geq 2. (Power law lower bounds were proved in math.PR/0505668 for all d). In the non-critical cases \alpha<1 and \alpha>1 we prove exponential upper bounds on X.


title: Self-shrinkers of the mean curvature flow in arbitrary codimension

abstract: For hypersurfaces of dimension greater than one, Huisken showed that compact self-shrinkers of the mean curvature flow with positive scalar mean curvature are spheres. We will prove the following extension: A compact self-similar solution in arbitrary codimension and of dimension greater than one is spherical, i.e. contained in a sphere, if and only if the mean curvature vector \be H\ee is non-vanishing and the principal normal \be\nu\ee is parallel in the normal bundle. We also give a classification of complete noncompact self-shrinkers of that type.


title: Generic fiber rings of mixed power series/polynomial rings

abstract: Let K be a field, m and n positive integers, and X = {x_1,...,x_n}, and Y = {y_1,..., y_m} sets of independent variables over K. Let A be the polynomial ring K[X] localized at (X). We prove that every prime ideal P in A^ = K[[X]] that is maximal with respect to P\cap A = (0) has height n-1. We consider the mixed power series/polynomial rings B := K[[X]][Y]_{(X,Y)} and C := K[Y]_{(Y)}[[X]]. For each prime ideal P of B^ = C that is maximal with respect to either P \cap B = (0) or P \cap C = (0), we prove that P has height n+m-2. We also prove that each prime ideal P of K[[X, Y]] that is maximal with respect to P \cap K[[X]] = (0) is of height either m or n+m-2.


title: Sharp estimates for the number of degrees of freedom for the damped-driven 2D Navier--Stokes equations

abstract: We derive upper bounds for the number of asymptotic degrees (determining modes and nodes) of freedom for the two-dimensional Navier--Stokes system and Navier-Stokes system with damping. In the first case we obtain the previously known estimates in an explicit form, which are larger than the fractal dimension of the global attractor. However, for the Navier--Stokes system with damping our estimates for the number of the determining modes and nodes are comparable to the sharp estimates for the fractal dimension of the global attractor. Our investigation of the damped-driven 2D Navier--Stokes system is inspired by the Stommel--Charney barotropic model of ocean circulation where the damping represents the Rayleigh friction. We remark that our results equally apply to the Stommel--Charney model.


title: Groups of measure-preserving homeomorphisms of noncompact 2-manifolds

abstract: Suppose M is a noncompact connected 2-manifold and m is a good Radon measure of M with m(partial M) = 0. Let H(M)_0 denote the identity component of the group of homeomorphisms of M equipped with the compact-open topology and let H(M; m)_0 denote the identity component of the subgroup consisting of m-preserving homeomorphisms of M. We use results of A.Fathi and R.Berlanga to show that H(M; m)_0 is a strong deformation retract of H(M)_0 and classify the topological type of H(M; m)_0.


title: Heuristics for the Brauer-Manin obstruction for curves

abstract: We conjecture that if C is a curve of genus >1 over a number field k such that C(k) is empty, then a method of Scharaschkin (equivalent to the Brauer-Manin obstruction in the context of curves) supplies a proof that C(k) is empty. As evidence, we prove a corresponding statement in which C(F_v) is replaced by a random subset of the same size in J(F_v) for each residue field F_v at a place v of good reduction for C, and the orders of Jacobians over finite fields are assumed to be smooth (in the sense of having only small prime divisors) as often as random integers of the same size. If our conjecture holds, and if Shafarevich-Tate groups are finite, then there exists an algorithm to decide whether a curve over k has a k-point, and the Brauer-Manin obstruction to the Hasse principle for curves over the number fields is the only one.


title: Solutions to Monge-Kantorovich equations as stationary points of a dynamical system

abstract: Solutions to Monge-Kantorovich equations, expressing optimality condition in mass transportation problem with cost equal to distance, are stationary points of a critical-slope model for sand surface evolution. Using a dual variational formulation of sand model, we compute both the optimal transport density and Kantorovich potential as a stationary limit of evolving sand flux and sand surface, respectively.


title: A remark on higher congruences for the number of rational points of varieties defined over a finite field

abstract: We show that there is no simple congruence formula for the number of points of the mod p reduction of a regular model of a smooth proper variety defined over a local field with $\ell$-adic cohomology supported in codimension $\ge \kappa$.


title: Generalized stationary random fields with linear regressions - an operator approach

abstract: Existence, $L^2$-stationarity and linearity of conditional expectations $\wwo{X_k}{...,X_{k-2},X_{k-1}}$ of square integrable random sequences $\mathbf{X}=(X_{k})_{k\in\mathbb{Z}}$ satisfying \[ \wwo{X_k}{...,X_{k-2},X_{k-1},X_{k+1},X_{k+2},...}=\sum_{j=1}^\infty b_j(X_{k-j}+X_{k+j}) \] for a real sequence $(b_n)_{n\in\nat}$, is examined. The analysis is reliant upon the use of Laurent and Toeplitz operator techniques.


title: Recurrence Divisibility Tests

abstract: In this note, we are going to introduce some recurrence divisibility tests for all primes except than 2 and 5.


title: Cotensor Coalgebras in Monoidal Categories

abstract: We introduce the concept of cotensor coalgebra for a given bicomodule over a coalgebra in an abelian monoidal category. Under some further conditions we show that such a cotensor coalgebra exists and satisfies a meaningful universal property. We prove that this coalgebra is formally smooth whenever the comodule is relative injective and the coalgebra itself is formally smooth.


title: Induction of Characters and Finite $p$-Groups

abstract: Let $G$ be a finite $p$-group, where $p$ is an odd prime number, $H$ be a subgroup of $G$ and $\theta\in \Irr(H)$ be an irreducible character of $H$. Assume also that $|G:H|=p^2$. Then the character $\theta^G$ of $ G$ induced by $\theta$ is either a multiple of an irreducible character of $G$, or has at least $\frac{p+1}{2}$ distinct irreducible constituents.


title: Rectangular random matrices. Related convolution

abstract: We characterize asymptotic collective behaviour of rectangular random matrices, the sizes of which tend to infinity at different rates: when embedded in a space of larger square matrices, independent rectangular random matrices are asymtotically free with amalgamation over a subalgebra. Therefore we can define a "rectangular free convolution", linearized by cumulants and by an analytic integral transform, called the "rectangular R-transform".


title: Local Index Formula on the Equatorial Podles Sphere

abstract: We discuss spectral properties of the equatorial Podles sphere. As a preparation we also study the `degenerate' (i.e. $q=0$) case (related to the quantum disk). We consider two different spectral triples: one related to the Fock representation of the Toeplitz algebra and the isopectral one. After the identification of the smooth pre-$C^*$-algebra we compute the dimension spectrum and residues. We check the nontriviality of the (noncommutative) Chern character of the associated Fredholm modules by computing the pairing with the fundamental projector of the $C^*$-algebra (the nontrivial generator of the $K_0$-group) as well as the pairing with the $q$-analogue of the Bott projector. Finally, we show that the local index formula is trivially satisfied.


title: On the sign-imbalance of skew partition shapes

abstract: Let the sign of a skew standard Young tableau be the sign of the permutation you get by reading it row by row from left to right, like a book. We examine how the sign property is transferred by the skew Robinson-Schensted correspondence invented by Sagan and Stanley. The result is a remarkably simple generalization of the ordinary non-skew formula. The sum of the signs of all standard tableaux on a given skew shape is the sign-imbalance of that shape. We generalize previous results on the sign-imbalance of ordinary partition shapes to skew ones.


title: Composition operators on generalized Bloch spaces of the polydisk

abstract: Let p,q>0. We extend to the n-polydisk previous one-variable characterization results of K. Madigan on the $p$-Lipschitz space and K. Madigan/A. Matheson on the Bloch space by obtaining function-theoretic conditions on a holomorphic self-map of the polydisk such that the induced composition operator is bounded or compact between p- and q-Bloch spaces of the polydisk. These conditions turn out to be different in the cases when p is in (0,1) and when p is at least 1. We also obtain corresponding characterization results for composition operators between generalized little p- and q-Bloch spaces of the polydisk.


title: $Pin^c$ and Lipschitz structures on products of manifolds

abstract: The topological condition for the existence of a $pin^c$ structure on the product of two Riemannian manifolds is derived and applied to construct examples of manifolds having the weaker Lipschitz structure, but no $pin^c$ structure. An example of a five-dimensional manifold with this property is given; it is pointed out that there are no manifolds of lower dimension with this property.


title: A combinatorial generalization of the Boson-Fermion correspondence

abstract: We attempt to explain the ubiquity of tableaux and of Pieri and Cauchy formulae for combinatorially defined families of symmetric functions. We show that such formulae are to be expected from symmetric functions arising from representations of Heisenberg algebras. The resulting framework that we describe is a generalization of the classical Boson-Fermion correspondence, from which Schur functions arise. Our work can be used to understand Hall-Littlewood polynomials, Macdonald polynomials and Lascoux, Leclerc and Thibon's ribbon functions, together with other new families of symmetric functions.


title: Queueing systems with many servers: Null controllability in heavy traffic

abstract: A queueing model has $J\ge2$ heterogeneous service stations, each consisting of many independent servers with identical capabilities. Customers of $I\ge2$ classes can be served at these stations at different rates, that depend on both the class and the station. A system administrator dynamically controls scheduling and routing. We study this model in the central limit theorem (or heavy traffic) regime proposed by Halfin and Whitt. We derive a diffusion model on $\mathbb {R}^I$ with a singular control term that describes the scaling limit of the queueing model. The singular term may be used to constrain the diffusion to lie in certain subsets of $\mathbb {R}^I$ at all times $t>0$. We say that the diffusion is null-controllable if it can be constrained to $\mathbb {X}_-$, the minimal closed subset of $\mathbb {R}^I$ containing all states of the prelimit queueing model for which all queues are empty. We give sufficient conditions for null controllability of the diffusion. Under these conditions we also show that an analogous, asymptotic result holds for the queueing model, by constructing control policies under which, for any given $0<\epsilon <T<\infty$, all queues in the system are kept empty on the time interval $[\epsilon, T]$, with probability approaching one. This introduces a new, unusual heavy traffic ``behavior'': On one hand, the system is critically loaded, in the sense that an increase in any of the external arrival rates at the ``fluid level'' results with an overloaded system. On the other hand, as far as queue lengths are concerned, the system behaves as if it is underloaded.


title: Limit shapes of multiplicative measures associated with coagulation-fragmentation processes and random combinatorial structures

abstract: We find limit shapes for a family of multiplicative measures on the set of partitions, induced by exponential generating functions with expansive parameters, $a_k\sim Ck^{p-1}, k\to\infty, p>0$,where $C$ is a positive constant. The measures considered are associated with reversible coagulation-fragmentation processes and certain combinatorial structures, known as assemblies. We prove the functional central limit theorem for the fluctuations of a scaled random partition from its limit shape. We demonstrate that when the component size passes beyond the threshold value, the independence of numbers of components transforms into their conditional independence. Among other things, the paper also discusses, in a general setting, the interplay between limit shapes, threshold and gelation.


title: Logged Rewriting for Monoids

abstract: A rewriting system is a set of equations over a given set of terms called rules that characterize a system of computation and is a powerful general method for providing decision procedures of equational theories, based upon the principle of replacing subterms of an expression with other terms. In particular, a string rewriting system is usually associated with a monoid presentation. At the first level the problem is to decide which combinations of the generators are equivalent under the given rules; Knuth-Bendix completion of the string rewriting system is one of the most successful mechanisms for solving this problem. At the second level, the problem involves determining which combinations of rules are equivalent. Logged rewriting is a technique which not only transforms strings but records the transformation in terms of the original system of rules. The relations between combinatorial, homotopical and homological finiteness conditions for monoids prompt us to consider using computer-friendly rewriting systems to calculate homotopical and homological structure from monoid presentations.


title: On Dynamical Systems With Slow Recurrence Time

abstract: Using a result of Behrend concerning sets without arithmetic progressions, we construct some examples of dynamical systems with slow time of multiple recurrence. Our theorem is a quatitative analog of Furstenberg's Correspondence Principle.


title: A short proof of w_1^n(Hom(C_{2r+1}, K_{n+2}))=0 for all n and a graph colouring theorem by Babson and Kozlov

abstract: We show that the n-th power of the first Stiefel-Whitney class of the Z_2-operation on the graph complex Hom(C_{2r+1},K_{n+2})$ is zero, confirming a conjecture by Babson and Kozlov. This proves the strong form of their graph colouring theorem, which they had only proven for odd n. Our proof is also considerably simpler than their proof of the weak form of the theorem, which is also known as the Lov\'asz conjecture.


title: Hyperbolic classification of natural numbers and Goldbach Conjecture

abstract: By means of a dynamical process we provide a characterization of the Goldbach Conjecture in an infinite set of even numbers that depends on time.


title: Irreducible highest-weight modules and equivariant quantization

abstract: We generalize the results of [KMST] concerning equivariant quantization by means of Verma modules $M(\lambda)$ for generic weight $\lambda$ to the case of general $\lambda$. We consider the relationship between the Shapovalov form on an irreducible highest weight module of a semisimple complex Lie algebra, fusion elements, and equivariant quantization. We also discuss some limiting properties of fusion elements. [KMST] E. Karolinsky and A. Stolin, Dynamical Yang-Baxter equations, quasi-Poisson homogeneous spaces, and quantization, Lett. Math. Phys., 71 (2005), p.179-197; e-print math.QA/0309203.


title: Elementary remarks on units in monoidal categories

abstract: We explore an alternative definition of unit in a monoidal category originally due to Saavedra: a Saavedra unit is a cancellative idempotent (in a 1-categorical sense). This notion is more economical than the usual notion in terms of left-right constraints, and is motivated by higher category theory. To start, we describe the semi-monoidal category of all possible unit structures on a given semi-monoidal category and observe that it is contractible (if nonempty). Then we prove that the two notions of units are equivalent in a strong functorial sense. Next, it is shown that the unit compatibility condition for a (strong) monoidal functor is precisely the condition for the functor to lift to the categories of units, and it is explained how the notion of Saavedra unit naturally leads to the equivalent non-algebraic notion of fair monoidal category, where the contractible multitude of units is considered as a whole instead of choosing one unit. To finish, the lax version of the unit comparison is considered. The paper is self-contained. All arguments are elementary, some of them of a certain beauty.


title: Asymptotically saturated toric algebras

abstract: We show the finite generation of certain invariant graded algebras defined on toric weak log Fano fibrations. These are the toric version of FGA algebras, recently introduced by Shokurov in connections to the existence of flips.


title: Acyclic Jacobi Diagrams

abstract: We propose a simple new combinatorial model to study spaces of acyclic Jacobi diagrams, in which they are identified with algebras of words modulo operations. This provides a starting point for a word-problem type combinatorial investigation of such spaces, and provides fresh insights on known results.


title: An illustration of a paradox about the idoneal, or suitable, numbers

abstract: In this paper Euler shows that there are no additional square idoneal numbers aside from 1, 4, 9, 16, and 25.


title: On Characteristic Classes Of Determinantal Cremona Transformations

abstract: We compute the multidegrees and the Segre numbers of general determinantal Cremona transformations, with generically reduced base scheme, by specializing to the standard Cremona transformation and computing its Segre class via mixed volumes of rational polytopes.


title: A separable L-embedded Banach space has property (X) and is therefore the unique predual of its dual

abstract: In this note the following is proved. Separable L-embedded spaces - that is separable Banach spaces which are complemented in their biduals such that the norm between the two complementary subspaces is additive - have property (X) which, by a result of Godefroy and Talagrand, entails uniqueness of the space as a predual.


title: Problems on Bieberbach groups and flat manifolds

abstract: We present about twenty conjectures, problems and questions about flat manifolds. Many of them build the bridges between the flat world and representation theory of the finite groups, hyperbolic geometry and dynamical systems.


title: Cohomological dimension with respect to nonabelian groups

abstract: Cencelj and Dranishnikov showed that for certain nilpotent groups $G$, $K(G_{ab},1) \in \text{AE}(X)$ is equivalent to $K(G,1) \in \text{AE}(X)$ for any compacta $X$ (here $G_{ab}$ is the abelianization of $G$). We examine the same problem for solvable groups. We also give an elementary proof of this fact for any nilpotent group and any 2-dimensional metric space.


title: Group algebras with unit group of class $p$

abstract: Let V(F_pG) be the group of normalized units of the group algebra F_pG of a finite nonabelian p-group G over the field F_p of p elements. Our goal is to investigate the power structure of V(F_pG), when it has nilpotency class p. As a consequence, we have proved that if G and H are p-groups with cyclic Frattini subgroups and p>2, then V(F_pG) is isomorphic to V(F_pH) if and only if G and H are isomorphic.


title: Critical Elliptic Systems in Potential Form

abstract: We discuss critical elliptic systems in potential form. We prove existence, multiplicity, and compactness of solutions.


title: Sharp Sobolev Inequalities for Vector Valued Maps

abstract: We discuss sharp Sobolev inequalities for vector valued maps.


title: Stability and Perturbations of the Domain for the First Eigenvalue of the 1-Laplacian

abstract: We discuss stability of the first eigenvalue of the 1-Laplacian under perturbations of the domain.


title: Real hypersurfaces with constant principal curvatures in complex hyperbolic spaces

abstract: We classify all real hypersurfaces with three distinct constant principal curvatures in complex hyperbolic spaces of dimension greater than two.


title: Explicit Noether-Lefschetz for arbitrary threefolds

abstract: We study the Noether-Lefschetz locus of a very ample line bundle L on an arbitrary smooth threefold Y. Building on results of Green, Voisin and Otwinowska, we give explicit bounds, depending only on the Castelnuovo-Mumford regularity properties of L, on the codimension of the components of the Noether-Lefschetz locus of |L|.


title: An incoherent simple group

abstract: We give an example of a finitely presented simple group containing a finitely generated subgroup which is not finitely presented.


title: Incompressible representations of the Birman-Wenzl-Murakami algebra

abstract: We construct a representation of the Birman-Wenzl-Murakami algebra acting on a space of polynomials in n variables vanishing when three points coincide. These polynomials are closely related to the Pfaffian state of the Quantum Hall Effect and to the components the transfer matrix eigenvector of a O(n) crossing loop model.

categories: math.QA cond-mat.mes-hall math-ph math.MP


title: Controllability of 2D Euler and Navier-Stokes Equations by Forcing 4 Modes

abstract: We study controllability issues for the 2D Euler and Navier-Stokes (NS) systems under periodic boundary conditions. These systems describe motion of homogeneous ideal or viscous incompressible fluid on a two-dimensional torus $\mathbb{T}^2$. We assume the system to be controlled by a degenerate forcing applied to fixed number of modes. In our previous work \cite{ASpb,AS43,ASDAN} we studied global controllability by means of degenerate forcing for Navier-Stokes (NS) systems with nonvanishing viscosity ($\nu >0$). Methods of differential geometric/Lie algebraic control theory have been used for that study. In the present contribution we improve and extend the controllability results in several aspects: 1) we obtain a stronger sufficient condition for controllability of 2D NS system in an observed component and for $L_2$-approximate controllability; 2) we prove that these criteria are valid for the case of ideal incompressible fluid ($\nu=0)$; 3) we study solid controllability in projection on any finite-dimensional subspace and establish a sufficient criterion for such controllability.


title: Decompositions de groupes par produit direct et groupes de Coxeter

abstract: We provide examples of groups which are indecomposable by direct product, and more generally which are uniquely decomposable in direct products of indecomposable groups. Examples include Coxeter groups, for which we give an alternative approach to recent results of L. Paris. For a finitely generated linear group Gamma, we establish an upper bound on the number of factors of which Gamma can be the direct product. If Gamma is moreover torsion-free, it follows that Gamma is uniquely decomposable in direct product of indecomposable groups.


title: Le Cam spacings theorem in dimension two

abstract: The definition of spacings associated to a sequence of random variables is extended to the case of random vectors in [0,1]^2. Beirlant & al. (1991) give an alternative proof of the Le Cam (1958) theorem concerning asymptotic normality of additive functions of uniform spacings in [0,1]. I adapt their technique to the two-dimensional case, leading the way to new directions in the domain of Complete Spatial Randomness (CSR) testing.


title: A Li-type criterion for zero-free half-planes of Riemann's zeta function

abstract: We define a sequence of real functions which coincide with Li's coefficients at one and which allow us to extend Li's criterion for the Riemann Hypothesis to yield a necessary and sufficient condition for the existence of zero-free strips inside the critical strip $0<\Re(z)<1$. We study some of the properties of these functions, including their oscillatory behaviour.


title: Schmidt's theorem, Hausdorff measures and Slicing

abstract: A Hausdorff measure version of W.M. Schmidt's inhomogeneous, linear forms theorem in metric number theory is established. The key ingredient is a `slicing' technique motivated by a standard result in geometric measure theory. In short, `slicing' together with the Mass Transference Principle [3] allows us to transfer Lebesgue measure theoretic statements for limsup sets associated with linear forms to Hausdorff measure theoretic statements. This extends the approach developed in [3] for simultaneous approximation. Furthermore, we establish a new Mass Transference Principle which incorporates both forms of approximation. As an application we obtain a complete metric theory for a `fully' non-linear Diophantine problem within the linear forms setup. [3] V. Beresnevich and S. Velani : A Mass Transference Principle and the Duffin--Schaeffer conjecture for Hausdorff measures, Pre-print (22pp): arkiv:math.NT/0401118. To appear: Annals of Math.


title: Analytic Representations in the 3-dim Frobenius Problem

abstract: We consider the Diophantine problem of Frobenius for semigroup ${\sf S}({\bf d}^3)$ where ${\bf d}^3$ denotes the tuple $(d_1,d_2,d_3)$, $\gcd(d_1,d_2,d_3)=1$. Based on the Hadamard product of analytic functions we have found the analytic representation for the diagonal elements $a_{kk}({\bf d}^3)$ of the Johnson's matrix of minimal relations in terms of $d_1,d_2,d_3$. Bearing in mind the results of the recent paper this gives the analytic representation for the Frobenius number $F({\bf d}^3)$, genus $G({\bf d}^3)$ and the Hilbert series $H({\bf d}^3;z)$ for the semigroups ${\sf S}({\bf d}^3)$. This representation does complement the Curtis' theorem on the non-algebraic representation of the Frobenius number $F({\bf d}^3)$. We also give a procedure to calculate the diagonal and off-diagonal elements of the Johnson's matrix.


title: Ising vectors and automorphism groups of commutant subalgebras related to root systems

abstract: In this article we study and obtain a classification of Ising vectors in vertex operator algebras associated to binary codes and $\sqrt{2}$ times root lattices, where an Ising vector is a conformal vector with central charge 1/2 generating a simple Virasoro sub VOA. Then we apply our results to study certain commutant subalgebras related to root systems. We completely classify all Ising vectors in such commutant subalgebras and determine their full automorphism groups.


title: On algebras associated to partially ordered sets

abstract: We continue the study on sheaves of rings on finite posets. We present examples where the ring of global sections coincide with toric faces rings, quotients of a polynomial ring by a monomial ideal and algebras with straightening laws. We prove a rank-selection theorem which generalizes the well-known rank-selection theorem of Stanley-Reisner rings. Finally, we determine an explicit presentation of certain global rings of sections.


title: Operator amenability of Fourier-Stieltjes algebras, II

abstract: We give an example of a non-compact, locally compact group $G$ such that its Fourier-Stieltjes algebra $B(G)$ is operator amenable. Furthermore, we characterize those $G$ for which $A^*(G)$ - the spine of $B(G)$ as introduced by M. Ilie and the second named author - is operator amenable and show that $A^*(G)$ is operator weakly amenable for each $G$.


title: Sieving by large integers and covering systems of congruences

abstract: An old question of Erdos asks if there exists, for each number N, a finite set S of integers greater than N and residue classes r(n) mod n for n in S whose union is all the integers. We prove that if $\sum_{n\in S} 1/n$ is bounded for such a covering of the integers, then the least member of S is also bounded, thus confirming a conjecture of Erdos and Selfridge. We also prove a conjecture of Erdos and Graham, that, for each fixed number K>1, the complement in the integers of any union of residue classes r(n) mod n, for distinct n in (N,KN], has density at least d_K for N sufficiently large. Here d_K is a positive number depending only on K. Either of these new results implies another conjecture of Erdos and Graham, that if S is a finite set of moduli greater than N, with a choice for residue classes r(n) mod n for n in S which covers the integers, then the largest member of S cannot be O(N). We further obtain stronger forms of these results and establish other information, including an improvement of a related theorem of Haight.


title: Kocay's lemma, Whitney's theorem, and some polynomial invariant reconstruction problems

abstract: Given a graph G, an incidence matrix N(G) is defined for the set of distinct isomorphism types of induced subgraphs of G. If Ulam's conjecture is true, then every graph invariant must be reconstructible from this matrix, even when the graphs indexing the rows and the columns of N(G) are unspecified. It is proved that the characteristic polynomial, the rank polynomial, and the number of spanning trees of a graph are reconstructible from its N-matrix. These results are stronger than the original results of Tutte in the sense that actual subgraphs are not used. It is also proved that the characteristic polynomial of a graph with minimum degree 1 can be computed from the characteristic polynomials of all its induced proper subgraphs. The ideas in Kocay's lemma play a crucial role in most proofs. Here Kocay's lemma is used to prove Whitney's subgraph expansion theorem in a simple manner. The reconstructibility of the characteristic polynomial is then demonstrated as a direct consequence of Whitney's theorem as formulated here.


title: Classification of sectors of the Cuntz algebras by graph invariants

abstract: A unitary equivalence class of endomorphisms of a unital C$^{*}$-algebra ${\cal A}$ is called a {\it sector} of ${\cal A}$. We introduced permutative endomorphisms of the Cuntz algebra ${\cal O}_N$ in the previous work. Branching laws of permutative representations of ${\cal O}_N$ by them are computed by directed regular graphs. In this article, we classify sectors associated with permutative endomorphisms of ${\cal O}_N$ by their graph invariants concretely.


title: Experimentation and conjectures in the real Schubert calculus for flag manifolds

abstract: The Shapiro conjecture in the real Schubert calculus, while likely true for Grassmannians, fails to hold for flag manifolds, but in a very interesting way. We give a refinement of the Shapiro conjecture for the flag manifold and present massive (15.76 gigahertz-years) computational experimentation in support of this refined conjecture. We also prove the conjecture in some special cases using discriminants and establish relationships between different cases of the conjecture.


title: A nonhausdorff model for the complement of a complexified arrangement

abstract: Given a hyperplane arrangement A in a real vector space, we introduce a real algebraic prevariety Z(A), and exhibit the complement of the complexification of A as the total space of an affine bundle with fibers modeled on the dual of the ambient vector space.


title: On S.L. Tabachnikov's conjecture

abstract: S. L. Tabachnikov's conjecture is proved: for any closed curve $\Gamma$ lying inside convex closed curve $\Gamma_1$ the mean absolute curvature $T(\Gamma)$ exceeds $T(\Gamma_1)$ if $\Gamma\ne k\Gamma_1$. An inequality $T(\Gamma)\ge T(\Gamma_1)$ is proved for curves in a hemisphere.


title: The structure of HCMU metric in a K-Surface

abstract: We study the basic structure of a HCMU metric in a K-Surface with prescribed singularities. When the underlying smooth surface is $S^2$, we prove the necessary condition given in [1] for the existence of HCMU metric is also sufficient.


title: On the embedding problem for $2^+S_4$ representations

abstract: Let $2^+S_4$ denote the double cover of $S_4$ corresponding to the element in $H^2(S_4,\Z/2\Z)$ where transpositions lift to elements of order 2 and the product of two disjoint transpositions to elements of order 4 (denoted $\tilde S_4$ in \cite{Serre}). Given an elliptic curve $E$, let $E[2]$ denote its 2-torsion points. Under some conditions on $E$ (as in \cite{Bayer}) elements in $H^1(\Gal_\Q,E[2])\backslash \{0 \}$ correspond to Galois extensions $N$ of $\Q$ with Galois group (isomorphic to) $S_4$. On this work we give an interpretation of the addition law on such fields, and prove that the obstruction for $N$ having a Galois extension $\tilde N$ with $\Gal(\tilde N/ \Q) \simeq 2^+S_4$ gives an homomorphism $s_4^+:H^1(\Gal_\Q,E[2]) \to H^2(\Gal_\Q,\Z/2\Z)$. As a Corollary we can prove (if $E$ has conductor divisible by few primes and high rank) the existence of 1$-dimensional representations attached to $E$ and use them in some examples to construct 3/2 modular forms mapping via the Shimura map to (the modular form attached to) $E$.


title: Moment maps, symplectomorphism groups and compatible complex structures

abstract: In this paper we apply Donaldson's general moment map framework for the action of a symplectomorphism group on the corresponding space of compatible (almost) complex structures to the case of rational ruled surfaces. This gives a new approach to understanding the topology of their symplectomorphism groups, based on a result of independent interest: the space of compatible integrable complex structures on any symplectic rational ruled surface is (weakly) contractible. We also explain how in general, under this condition, there is a direct relationship between the topology of a symplectomorphism group, the deformation theory of compatible complex structures and the groups of complex automorphisms of these complex structures.


title: Classification of cubics up to affine transformations

abstract: Classification of cubics (that is, third order planar curves in the $R^2$ up to certain transformations is interested since Newton, and treated by several authors. We classify cubics up to affine transformations, in seven class, and give a complete set of representatives of the these classes. This result is complete and briefer than the similar results.


title: Strict polynomial functors and coherent functors

abstract: We build an explicit link between coherent functors in the sense of Auslander and strict polynomial functors in the sense of Friedlander and Suslin. Applications to functor cohomology are discussed.


title: Results dealing with the behavior of the integrated density of states of random divergence operators

abstract: In this paper we generalize and improve results proven for acoustic operators in \cite{jmp,long}. It deals with the behavior of the integrated density of states of random divergence operators of the form $H\_\omega=\sum\_{i,j=1}^d\partial\_{x\_{i}}a\_{i,j}(\omega,x)\partial\_{x\_j}$ ; on the internal band edges of the spectrum. We propose an application of such a result to get localization.


title: Harmonic maps and constant mean curvature surfaces in $\H^2 \times \R$

abstract: We introduce a hyperbolic Gauss map into the Poincare disk for any surface in H^2xR with regular vertical projection, and prove that if the surface has constant mean curvature H=1/2, this hyperbolic Gauss map is harmonic. Conversely, we show that every nowhere holomorphic harmonic map from an open simply connected Riemann surface into the Poincare disk is the hyperbolic Gauss map of a two-parameter family of such surfaces. As an application we obtain that any holomorphic quadratic differential on the surface can be realized as the Abresch-Rosenberg holomorphic differential of some, and generically infinitely many, complete surfaces with H=1/2 in H^2xR. A similar result applies to minimal surfaces in the Heisenberg group Nil_3. Finally, we classify all complete minimal vertical graphs in H^2xR.


title: New applications of graded Lie algebras to Lie algebras, generalized Lie algebras and cohomology

abstract: We give new applications of graded Lie algebras to: identities of standard polynomials, deformation theory of quadratic Lie algebras, cyclic cohomology of quadratic Lie algebras, $2k$-Lie algebras, generalized Poisson brackets and so on.


title: Representations of field automorphism groups

abstract: This is a common introduction to math.RT/0101170, math.RT/0306333, math.RT/0506043, math.RT/0601028. Compared to these references there are new results including (i) a description of a separable closure of an extension of transcendence degree one of an algebraically closed field of positive characteristic; (ii) a "K\"unneth formula" for the products with curves; (iii) the semi-simplicity of the module of regular forms of top degree $\Omega^n_{F/k}$.


title: A series of word-hyperbolic Coxeter groups

abstract: For each positive integer $k$ we present an example of Coxeter system $(G_k,S_k)$ such that $G_k$ is a word-hyperbolic Coxeter group, for any two generating reflections $s,t\in S_k$ the product $st$ has finite order, and the Coxeter graph of $S_k$ has negative inertia index equal to $k$. In particular, $G_k$ cannot be embedded into pseudo-orthogonal group $O(n,k-1)$ for any $n$ as a reflection group with generating set being reflections w.r.t. $(G_k,S_k)$


title: Trends in Topological Combinatorics

abstract: This thesis opens with an introductory discussion, where the reader is gently led to the world of topological combinatorics, and, where the results of this Habilitationsschrift are portrayed against the backdrop of the broader philosophy of the subject. That introduction is followed by 5 chapters, where the main body of research is presented, and 4 appendices, where various standard tools and notations, which we use throughout the text, are collected.


title: The Structure of $G/\Phi(G)$ in Terms of $\sigma(G)$

abstract: Let $G$ be a finite group. We let $\f{m}(G)$ and $\sig(G)$ denote the number of maximal subgroups of $G$ and the least positive integer $n$ such that $G$ is written as the union of $n$ proper subgroups, respectively. In this paper we determine the structure of $G/\Phi(G)$ when $G$ is a finite soluble group with $\f{m}(G)\leq 2\sig(G)$.


title: Conditional Association and Spin Systems

abstract: A 1977 theorem of T. Harris states that an attractive spin system preserves the class of associated probability measures. We study analogues of this result for measures that satisfy various conditional positive correlations properties. In particular, we show that a spin system preserves measures satisfying the FKG lattice condition (essentially) if and only if distinct spins flip independently. The downward FKG property, which has been useful recently in the study of the contact process, lies between the properties of lattice FKG and association. We prove that this property is preserved by a spin system if the death rates are constant and the birth rates are additive (e.g., the contact process), and prove a partial converse to this statement. Finally, we introduce a new property, which we call downward conditional association, which lies between the FKG lattice condition and downward FKG, and find essentially necessary and sufficient conditions for this property to be preserved by a spin system. This suggests that the latter property may be more natural than the downward FKG property.


title: On the number of subrepresentations of a general quiver representation

abstract: It is well-known that the intersection multiplicities of Schubert classes in the Grassmanian are Littlewood-Richardson coefficients. We generalize this statement in the context of quiver representations. Here the intersection multiplicity of Schubert classes is replaced by the number of subrepresentations of a general quiver reprsentation, and the Littlewood-Richardson coefficients are replaced by the the dimension of a certain space of semiinvariants.


title: Matched pairs approach to set-theoretic solutions of the Yang-Baxter equation

abstract: We study set-theoretic solutions $(X,r)$ of the Yang-Baxter equations on a set $X$ in terms of the induced left and right actions of $X$ on itself. We give a characterization of involutive square-free solutions in terms of cyclicity conditions. We characterise general solutions in terms of abstract matched pair properties of the associated monoid $S(X,r)$ and we show that $r$ extends as a solution $(S(X,r),r_S)$. Finally, we study extensions of solutions both directly and in terms of matched pairs of their associated monoids. We also prove several general results about matched pairs of monoids $S$ of the required type, including iterated products $S\bowtie S\bowtie S$ equivalent to $r_S$ a solution, and extensions $(S\bowtie T,r_{S\bowtie T})$. Examples include a general `double' construction $(S\bowtie S,r_{S\bowtie S})$ and some concrete extensions, their actions and graphs based on small sets.


title: A solution to de Groot's absolute cone conjecture

abstract: A compactum X is an `absolute cone' if, for each of its points x, the space X is homeomorphic to a cone with x corresponding to the cone point. In 1971, J. de Groot conjectured that each n-dimensional absolute cone is an n-cell. In this paper, we give a complete solution to that conjecture. In particular, we show that the conjecture is true for n<4 and false for n>4. For n=4, the absolute cone conjecture is true if and only if the 3-dimensional Poincare Conjecture is true.


title: Universal lifting theorem and quasi-Poisson groupoids

abstract: We prove the universal lifting theorem: for an $\alpha$-simply connected and $\alpha$-connected Lie groupoid $\gm$ with Lie algebroid $A$, the graded Lie algebra of multi-differentials on $A$ is isomorphic to that of multiplicative multi-vector fields on $\gm$. As a consequence, we obtain the integration theorem for a quasi-Lie bialgebroid, which generalizes various integration theorems in the literature in special cases. The second goal of the paper is the study of basic properties of quasi-Poisson groupoids. In particular, we prove that a group pair $(D, G)$ associated to a Manin quasi-triple $(\mathfrak d, \mathfrak g, \mathfrak h)$ induces a quasi-Poisson groupoid on the transformation groupoid $G\times D/G\toto D/G$. Its momentum map corresponds exactly with the $D/G$-momentum map of Alekseev and Kosmann-Schwarzbach.


title: A bijection between certain non-crossing partitions and sequences

abstract: We present a bijection between non-crossing partitions of the set $[2n+1]$ into $n+1$ blocks such that no block contains two consecutive integers, and the set of sequences $\{s_{i}\}_{1}^{n}$ such that $1 \leq s_{i} \leq i$, and if $s_{i}=j$, then $s_{i-r} \leq j-r$ for $1 \leq r \leq j-1$.


title: Irreducible symplectic 4-folds and Eisenbud-Popescu-Walter sextics

abstract: Eisenbud Popescu and Walter have constructed certain special 4-dimensional sextic hypersurfaces as Lagrangian degeneracy loci. We prove that the natural double cover of a generic EPW-sextic is a deformation of the Hilbert square of a K3-surface and that the family of such varieties is locally complete for deformations that keep the hyperplane class of type (1,1) - thus we get an example similar to that (discovered by Beauville and Donagi) of the Fano variety of lines on a cubic 4-fold. Conversely suppose that X is an irreducible symplectic 4-fold numerically equivalent to the Hilbert square of a K3-surface, that H is an ample divisor on X of square 2 for Beauville's quadratic form and that the map associated to |H| is the composition of the quotient map $X\to Y$ for an anti-symplectic involution on X followed by an immersion of Y; then Y is an EPW-sextic and $X\to Y$ is the natural double cover.


title: On the Finite-Dimensional Irreducible Representations of PSL2(Z)

abstract: We classify up to equivalence all finite-dimensional irreducible representations of PSL2(Z) whose restriction to the commutator subgroup is diagonalizable.


title: Some results concerning maximum Renyi entropy distributions

abstract: We consider the Student-t and Student-r distributions, which maximise Renyi entropy under a covariance condition. We show that they have information-theoretic properties which mirror those of the Gaussian distributions, which maximise Shannon entropy under the same condition. We introduce a convolution which preserves the Renyi maximising family, and show that the Renyi maximisers are the case of equality in a version of the Entropy Power Inequality. Further, we show that the Renyi maximisers satisfy a version of the heat equation, motivating the definition of a generalized Fisher information.


title: An easy method for finding many very large prime numbers

abstract: Translated from the Latin original "Facillima methodus plurimos numeros primos praemagnos inveniendi" (1778). E718 in the Enestrom index. If m is a number of the form 4k+1 and is a sum of two relatively prime squares, then it is prime if and only if it is not the sum of two other squares. In this paper Euler wants to generalize this criterion. He looks at when 232aa+1 represents a prime number. He uses his "numeri idonei" (suitable numbers, convenient numbers, idoneal numbers).


title: Geophysical-astrophysical spectral-element adaptive refinement (GASpAR): Object-oriented h-adaptive code for geophysical fluid dynamics simulation

abstract: We present an object-oriented geophysical and astrophysical spectral-element adaptive refinement (GASpAR) code for application to turbulent flows. Like most spectral-element codes, GASpAR combines finite-element efficiency with spectral-method accuracy. It is also designed to be flexible enough for a range of geophysics and astrophysics applications where turbulence or other complex multiscale problems arise. For extensibility and flexibilty the code is designed in an object-oriented manner. The computational core is based on spectral-element operators, which are represented as objects. The formalism accommodates both conforming and nonconforming elements and their associated data structures for handling interelement communications in a parallel environment. Many aspects of this code are a synthesis of existing methods; however, we focus on a new formulation of dynamic adaptive refinement (DARe) of nonconforming h-type. This paper presents the code and its algorithms; we do not consider parallel efficiency metrics or performance. As a demonstration of the code we offer several two-dimensional test cases that we propose as standard test problems for comparable DARe codes. The suitability of these test problems for turbulent flow simulation is considered.


title: Exact calculation of Fourier series in nonconforming spectral-element methods

abstract: In this note is presented a method, given nodal values on multidimensional nonconforming spectral elements, for calculating global Fourier-series coefficients. This method is ``exact'' in that given the approximation inherent in the spectral-element method (SEM), no further approximation is introduced that exceeds computer round-off error. The method is very useful when the SEM has yielded an adaptive-mesh representation of a spatial function whose global Fourier spectrum must be examined, e.g., in dynamically adaptive fluid-dynamics simulations.


title: A short course on geometric motivic integration

abstract: These notes grew out of several introductory talks I gave during the years 2003--2005 on motivic integration. They give a short but thorough introduction to the flavor of motivic integration which nowadays goes by the name of geometric motivic integration. As an illustration of the theory some applications to birational geometry are also included.


title: Integer points on a curve and the plane Jacobian problem

abstract: A polynomial map $F=(P,Q)\in \Z [x,y]^2$ with Jacobian $JF:=P_xQ_y-P_yQ_x\equiv 1$ has a polynomial inverse of integer coefficients if the complex plane curve P=0 has infinitely many integer points.


title: Singularites des courants d'Ahlfors

abstract: We prove that an algebraic curve charged by a current coming from an entire curve is rational or elliptic. This answers a question by M. Paun.


title: On representations attached to semistable vector bundles on Mumford curves

abstract: We compare two constructions that associate to a semistable vector bundle on a Mumford curve a representation of the Schottky group and the algebraic fundamental group respectively.


title: Extending Fine sequences: a link with forbidden patterns

abstract: We propose a natural, bivariate, generalization of the nonsingular similarity relations considered by T. Fine. We also provide an enumeration formulae and a generating tree for those relations. The latter allow us to give a new bijection between 321-avoiding derangements and Fine sequences. Moreover, we establish that two special cases are in a one-to-one correspondence with subsets of permutations characterized by forbidden subsequences on the symmetrical group. All our results are established using the technique of generating tree, thus giving entirely bijective proofs.


title: Smooth Divisors of Projective Hypersurfaces

abstract: We work over an algebraically closed field of arbitrary characteristic. Ellingsrud-Peskine proved that smooth surfaces in P^4 are subject to strong limitations. Their whole argument is derived from the fact that the sectional genus of surfaces of degree d lying on a hypersurface of degree s varies in an interval of length \frac{d(s-1)^2}{2s}. The aim of the present paper is to show that for smooth codimension two subvarieties of P^n, n\geq 5, one can get a similar result with an interval whose length depends only on s. The main point is Lemma 1.1 whose proof is a direct application of the positivity of N_X(-1) (where N_X is the normal bundle of X in P^n). We get a series of (n-3) inequalities; the first one of which being in the paper of Ellingsrud-Peskine, the second was obtained in a preliminary version (arXiv:math.AG/0406497) by an essentially equivalent but more geometric argument. Then we first derive two consequences: 1) roughly speaking, (Thm. 2.1, Remark 2.2) the family of "biliaison classes" of smooth subvarieties of P^5 lying on a hypersurface of degree s is limited; 2) the family of smooth codimension two subvarieties of P^6 lying on a hypersurface of degree s is limited (Thm. 1.4). The result quoted in 1) is not effective, but 2) is. In the last section we try to obtain precise inequalities connecting the usual numerical invariants of a smooth subcanonical subvariety X of P^n, n\geq 5 (the degree d, the speciality index e, the least degree, s, of an hypersurface containing X). In particular we prove (Thm. 3.12): s\geq n+1.


title: Methods for the construction of generators of algebraic curvature tensors

abstract: We demonstrate the use of several tools from Algebraic Combinatorics such as Young tableaux, symmetry operators, the Littlewood-Richardson rule and discrete Fourier transforms of symmetric groups in investigations of algebraic curvature tensors.


title: Recurrence for persistent random walks in two dimensions

abstract: We discuss the question of recurrence for persistent, or Newtonian, random walks in Z^2, i.e., random walks whose transition probabilities depend both on the walker's position and incoming direction. We use results by Toth and Schmidt-Conze to prove recurrence for a large class of such processes, including all "invertible" walks in elliptic random environments. Furthermore, rewriting our Newtonian walks as ordinary random walks in a suitable graph, we gain a better idea of the geometric features of the problem, and obtain further examples of recurrence.


title: Donsker theorems for diffusions: Necessary and sufficient conditions

abstract: We consider the empirical process G_t of a one-dimensional diffusion with finite speed measure, indexed by a collection of functions F. By the central limit theorem for diffusions, the finite-dimensional distributions of G_t converge weakly to those of a zero-mean Gaussian random process G. We prove that the weak convergence G_t\Rightarrow G takes place in \ell^{\infty}(F) if and only if the limit G exists as a tight, Borel measurable map. The proof relies on majorizing measure techniques for continuous martingales. Applications include the weak convergence of the local time density estimator and the empirical distribution function on the full state space.


title: A remark on rational Cherednik algebras and differential operators on the cyclic quiver

abstract: We show that the spherical subalgebra of the rational Cherednik algebra associated to the wreath product of a symmetric group and a cyclic group is isomorphic to a quotient of the ring of invariant differential operators on a space of representations of the cyclic quiver. This confirms a version of a conjecture of Etingof and Ginzburg in the case of cyclic groups. The proof is a straightforward application of work of Oblomkov on the deformed Harish-Chandra homomorphism, and of Crawley-Boevey and of Gan and Ginzburg on preprojective algebras.


title: Thom isomorphism and Push-forward map in twisted K-theory

abstract: We establish the Thom isomorphism in twisted K-theory for any real vector bundle and develop the push-forward map in twisted K-theory for any differentiable proper map $f: X\to Y$ (not necessarily K-oriented). The push-forward map generalizes the push-forward map in ordinary K-theory for any $K$-oriented differentiable proper map and the Atiyah-Singer index theorem of Dirac operators on Clifford modules. For $D$-branes satisfying Freed-Witten's anomaly cancellation condition in a manifold with a non-trivial $B$-field, we associate a canonical element in the twisted K-group to get the so-called D-brane charges.


title: Optimal testing of equivalence hypotheses

abstract: In this paper we consider the construction of optimal tests of equivalence hypotheses. Specifically, assume X_1,..., X_n are i.i.d. with distribution P_{\theta}, with \theta \in R^k. Let g(\theta) be some real-valued parameter of interest. The null hypothesis asserts g(\theta)\notin (a,b) versus the alternative g(\theta)\in (a,b). For example, such hypotheses occur in bioequivalence studies where one may wish to show two drugs, a brand name and a proposed generic version, have the same therapeutic effect. Little optimal theory is available for such testing problems, and it is the purpose of this paper to provide an asymptotic optimality theory. Thus, we provide asymptotic upper bounds for what is achievable, as well as asymptotically uniformly most powerful test constructions that attain the bounds. The asymptotic theory is based on Le Cam's notion of asymptotically normal experiments. In order to approximate a general problem by a limiting normal problem, a UMP equivalence test is obtained for testing the mean of a multivariate normal mean.


title: Nonparametric checks for single-index models

abstract: In this paper we study goodness-of-fit testing of single-index models. The large sample behavior of certain score-type test statistics is investigated. As a by-product, we obtain asymptotically distribution-free maximin tests for a large class of local alternatives. Furthermore, characteristic function based goodness-of-fit tests are proposed which are omnibus and able to detect peak alternatives. Simulation results indicate that the approximation through the limit distribution is acceptable already for moderate sample sizes. Applications to two real data sets are illustrated.


title: On Optimality of Stepdown and Stepup Multiple Test Procedures

abstract: Consider the multiple testing problem of testing k null hypotheses, where the unknown family of distributions is assumed to satisfy a certain monotonicity assumption. Attention is restricted to procedures that control the familywise error rate in the strong sense and which satisfy a monotonicity condition. Under these assumptions, we prove certain maximin optimality results for some well-known stepdown and stepup procedures.


title: Commuting Hamiltonians and multi-time Hamilton-Jacobi equations

abstract: We prove that if a sequence of pairs of smooth commuting Hamiltonians converge in the $C^0$ topology to a pair of smooth Hamiltonians, these commute. This allows us define the notion of commuting continuous Hamiltonians. As an application we extend some results of Barles and Tourin on multi-time Hamilton-Jacobi equations to a more general setting.


title: Testing for monotone increasing hazard rate

abstract: A test of the null hypothesis that a hazard rate is monotone nondecreasing, versus the alternative that it is not, is proposed. Both the test statistic and the means of calibrating it are new. Unlike previous approaches, neither is based on the assumption that the null distribution is exponential. Instead, empirical information is used to effectively identify and eliminate from further consideration parts of the line where the hazard rate is clearly increasing; and to confine subsequent attention only to those parts that remain. This produces a test with greater apparent power, without the excessive conservatism of exponential-based tests. Our approach to calibration borrows from ideas used in certain tests for unimodality of a density, in that a bandwidth is increased until a distribution with the desired properties is obtained. However, the test statistic does not involve any smoothing, and is, in fact, based directly on an assessment of convexity of the distribution function, using the conventional empirical distribution. The test is shown to have optimal power properties in difficult cases, where it is called upon to detect a small departure, in the form of a bump, from monotonicity. More general theoretical properties of the test and its numerical performance are explored.


title: Generalizations of the Familywise Error Rate

abstract: Consider the problem of simultaneously testing null hypotheses H_1,...,H_s. The usual approach to dealing with the multiplicity problem is to restrict attention to procedures that control the familywise error rate (FWER), the probability of even one false rejection. In many applications, particularly if s is large, one might be willing to tolerate more than one false rejection provided the number of such cases is controlled, thereby increasing the ability of the procedure to detect false null hypotheses. This suggests replacing control of the FWER by controlling the probability of k or more false rejections, which we call the k-FWER. We derive both single-step and stepdown procedures that control the k-FWER, without making any assumptions concerning the dependence structure of the p-values of the individual tests. In particular, we derive a stepdown procedure that is quite simple to apply, and prove that it cannot be improved without violation of control of the k-FWER. We also consider the false discovery proportion (FDP) defined by the number of false rejections divided by the total number of rejections (defined to be 0 if there are no rejections). The false discovery rate proposed by Benjamini and Hochberg [J. Roy. Statist. Soc. Ser. B 57 (1995) 289-300] controls E(FDP). Here, we construct methods such that, for any \gamma and \alpha, P{FDP>\gamma}\le\alpha. Two stepdown methods are proposed. The first holds under mild conditions on the dependence structure of p-values, while the second is more conservative but holds without any dependence assumptions.


title: Hierarchical testing designs for pattern recognition

abstract: We explore the theoretical foundations of a ``twenty questions'' approach to pattern recognition. The object of the analysis is the computational process itself rather than probability distributions (Bayesian inference) or decision boundaries (statistical learning). Our formulation is motivated by applications to scene interpretation in which there are a great many possible explanations for the data, one (``background'') is statistically dominant, and it is imperative to restrict intensive computation to genuinely ambiguous regions. The focus here is then on pattern filtering: Given a large set Y of possible patterns or explanations, narrow down the true one Y to a small (random) subset \hat Y\subsetY of ``detected'' patterns to be subjected to further, more intense, processing. To this end, we consider a family of hypothesis tests for Y\in A versus the nonspecific alternatives Y\in A^c. Each test has null type I error and the candidate sets A\subsetY are arranged in a hierarchy of nested partitions. These tests are then characterized by scope (|A|), power (or type II error) and algorithmic cost. We consider sequential testing strategies in which decisions are made iteratively, based on past outcomes, about which test to perform next and when to stop testing. The set \hat Y is then taken to be the set of patterns that have not been ruled out by the tests performed. The total cost of a strategy is the sum of the ``testing cost'' and the ``postprocessing cost'' (proportional to |\hat Y|) and the corresponding optimization problem is analyzed.


title: Square Root Penalty: Adaptation to the Margin in Classification and in Edge Estimation

abstract: We consider the problem of adaptation to the margin in binary classification. We suggest a penalized empirical risk minimization classifier that adaptively attains, up to a logarithmic factor, fast optimal rates of convergence for the excess risk, that is, rates that can be faster than n^{-1/2}, where n is the sample size. We show that our method also gives adaptive estimators for the problem of edge estimation.


title: Large sample theory of intrinsic and extrinsic sample means on manifolds--II

abstract: This article develops nonparametric inference procedures for estimation and testing problems for means on manifolds. A central limit theorem for Frechet sample means is derived leading to an asymptotic distribution theory of intrinsic sample means on Riemannian manifolds. Central limit theorems are also obtained for extrinsic sample means w.r.t. an arbitrary embedding of a differentiable manifold in a Euclidean space. Bootstrap methods particularly suitable for these problems are presented. Applications are given to distributions on the sphere S^d (directional spaces), real projective space RP^{N-1} (axial spaces), complex projective space CP^{k-2} (planar shape spaces) w.r.t. Veronese-Whitney embeddings and a three-dimensional shape space \Sigma_3^4.


title: JSJ-decompositions of finitely presented groups and complexes of groups

abstract: A JSJ-splitting of a group $G$ over a certain class of subgroups is a graph of groups decomposition of $G$ which describes all possible decompositions of $G$ as an amalgamated product or an HNN extension over subgroups lying in the given class. Such decompositions originated in 3-manifold topology. In this paper we generalize the JSJ-splitting constructions of Sela, Rips-Sela and Dunwoody-Sageev and we construct a JSJ-splitting for any finitely presented group with respect to the class of all slender subgroups along which the group splits. Our approach relies on Haefliger's theory of group actions on CAT$(0)$ spaces.


title: Bandwidth selection for smooth backfitting in additive models

abstract: The smooth backfitting introduced by Mammen, Linton and Nielsen [Ann. Statist. 27 (1999) 1443-1490] is a promising technique to fit additive regression models and is known to achieve the oracle efficiency bound. In this paper, we propose and discuss three fully automated bandwidth selection methods for smooth backfitting in additive models. The first one is a penalized least squares approach which is based on higher-order stochastic expansions for the residual sums of squares of the smooth backfitting estimates. The other two are plug-in bandwidth selectors which rely on approximations of the average squared errors and whose utility is restricted to local linear fitting. The large sample properties of these bandwidth selection methods are given. Their finite sample properties are also compared through simulation experiments.


title: Nonparametric regression penalizing deviations from additivity

abstract: Due to the curse of dimensionality, estimation in a multidimensional nonparametric regression model is in general not feasible. Hence, additional restrictions are introduced, and the additive model takes a prominent place. The restrictions imposed can lead to serious bias. Here, a new estimator is proposed which allows penalizing the nonadditive part of a regression function. This offers a smooth choice between the full and the additive model. As a byproduct, this penalty leads to a regularization in sparse regions. If the additive model does not hold, a small penalty introduces an additional bias compared to the full model which is compensated by the reduced bias due to using smaller bandwidths. For increasing penalties, this estimator converges to the additive smooth backfitting estimator of Mammen, Linton and Nielsen [Ann. Statist. 27 (1999) 1443-1490]. The structure of the estimator is investigated and two algorithms are provided. A proposal for selection of tuning parameters is made and the respective properties are studied. Finally, a finite sample evaluation is performed for simulated and ozone data.


title: Estimation of a function under shape restrictions. Applications to reliability

abstract: This paper deals with a nonparametric shape respecting estimation method for U-shaped or unimodal functions. A general upper bound for the nonasymptotic L_1-risk of the estimator is given. The method is applied to the shape respecting estimation of several classical functions, among them typical intensity functions encountered in the reliability field. In each case, we derive from our upper bound the spatially adaptive property of our estimator with respect to the L_1-metric: it approximately behaves as the best variable binwidth histogram of the function under estimation.


title: Optimal smoothing in nonparametric mixed-effect models

abstract: Mixed-effect models are widely used for the analysis of correlated data such as longitudinal data and repeated measures. In this article, we study an approach to the nonparametric estimation of mixed-effect models. We consider models with parametric random effects and flexible fixed effects, and employ the penalized least squares method to estimate the models. The issue to be addressed is the selection of smoothing parameters through the generalized cross-validation method, which is shown to yield optimal smoothing for both real and latent random effects. Simulation studies are conducted to investigate the empirical performance of generalized cross-validation in the context. Real-data examples are presented to demonstrate the applications of the methodology.


title: An introduction to joinings in ergodic theory

abstract: Since their introduction by Furstenberg in 1967, joinings have proved a very powerful tool in ergodic theory. We present here some aspects of the use of joinings in the study of measurable dynamical systems, emphasizing on - the links between the existence of a non trivial common factor and the existence of a joining which is not the product measure, - how joinings can be employed to provide elegant proofs of classical results, - how joinings are involved in important questions of ergodic theory, such as pointwise convergence or Rohlin's multiple mixing problem.


title: Tables of Calabi--Yau equations

abstract: The main part of this paper is a big table containing what we believe to be a complete list of all fourth order equations of Calabi--Yau type known so far. In the text preceding the tables we explain what a differential equation of Calabi--Yau type is and we briefly discuss how we found these equations. We also describe an electronic version of this list.


title: Uniform in bandwidth consistency of kernel-type function estimators

abstract: We introduce a general method to prove uniform in bandwidth consistency of kernel-type function estimators. Examples include the kernel density estimator, the Nadaraya-Watson regression estimator and the conditional empirical process. Our results may be useful to establish uniform consistency of data-driven bandwidth kernel-type function estimators.


title: Approximating conditional distribution functions using dimension reduction

abstract: Motivated by applications to prediction and forecasting, we suggest methods for approximating the conditional distribution function of a random variable Y given a dependent random d-vector X. The idea is to estimate not the distribution of Y|X, but that of Y|\theta^TX, where the unit vector \theta is selected so that the approximation is optimal under a least-squares criterion. We show that \theta may be estimated root-n consistently. Furthermore, estimation of the conditional distribution function of Y, given \theta^TX, has the same first-order asymptotic properties that it would enjoy if \theta were known. The proposed method is illustrated using both simulated and real-data examples, showing its effectiveness for both independent datasets and data from time series. Numerical work corroborates the theoretical result that \theta can be estimated particularly accurately.


title: Derived equivalence classification of nonstandard selfinjective algebras of domestic type

abstract: We give a complete derived equivalence classification of all nonstandard representation-infinite domestic selfinjective algebras over an algebraically closed field. As a consequence, also a complete stable equivalence classification of these algebras is obtained.


title: Nonanticipating estimation applied to sequential analysis and changepoint detection

abstract: Suppose a process yields independent observations whose distributions belong to a family parameterized by \theta\in\Theta. When the process is in control, the observations are i.i.d. with a known parameter value \theta_0. When the process is out of control, the parameter changes. We apply an idea of Robbins and Siegmund [Proc. Sixth Berkeley Symp. Math. Statist. Probab. 4 (1972) 37-41] to construct a class of sequential tests and detection schemes whereby the unknown post-change parameters are estimated. This approach is especially useful in situations where the parametric space is intricate and mixture-type rules are operationally or conceptually difficult to formulate. We exemplify our approach by applying it to the problem of detecting a change in the shape parameter of a Gamma distribution, in both a univariate and a multivariate setting.


title: Diamond representations of $\mathfrak{sl}(n)$

abstract: In \cite{W}, there is a graphic description of any irreducible, finite dimensional $\mathfrak{sl}(3)$ module. This construction, called diamond representation is very simple and can be easily extended to the space of irreducible finite dimensional ${\mathcal U}\_q(\mathfrak{sl}(3))$-modules. In the present work, we generalize this construction to $\mathfrak{sl}(n)$. We show this is in fact a description of the reduced shape algebra, a quotient of the shape algebra of $\mathfrak{sl}(n)$. The basis used in \cite{W} is thus naturally parametrized with the so called quasi standard Young tableaux. To compute the matrix coefficients of the representation in this basis, it is possible to use Groebner basis for the ideal of reduced Pl\"{u}cker relations defining the reduced shape algebra.


title: Hypergeometric series and Hodge cycles of four dimensional cubic hypersurfaces

abstract: In this article we find connections between the values of Gauss hypergeometric functions and the dimension of the vector space of Hodge cycles of four dimensional cubic hypersurfaces. Since the Hodge conjecture is well-known for those varieties we calculate values of Hypergeometric series on certain $CM$ points. Our methods is based on the calculation of the Picard-Fuchs equations in higher dimensions, reducing them to the Gauss equation and then applying the Abelian Subvariety Theorem to the corresponding hypergeometric abelian varieties.


title: The multifractal spectrum of Brownian intersection local times

abstract: Let \ell be the projected intersection local time of two independent Brownian paths in R^d for d=2,3. We determine the lower tail of the random variable \ell(U), where U is the unit ball. The answer is given in terms of intersection exponents, which are explicitly known in the case of planar Brownian motion. We use this result to obtain the multifractal spectrum, or spectrum of thin points, for the intersection local times.


title: Iterated Shimura integrals

abstract: In this paper I continue the study of iterated integrals of modular forms and noncommutative modular symbols for $\Gamma \subset SL(2,\bold{Z})$ started in [Ma3]. Main new results involve a description of the iterated Shimura cohomology and the image of the iterated Shimura cocycle class inside it. The concluding section of the paper contains a concise review of the classical modular symbols for SL(2) and a discussion of open problems.


title: A closed formula for the derivatives of $\ds e^{f(x)}$

abstract: We give a closed formula for the derivative of arbitrary order of the function $\ds g(x)=\exp(f(x))$.


title: Sutured Heegaard diagrams for knots

abstract: We define sutured Heegaard diagrams for null-homologous knots in 3-manifolds. These diagrams are useful for computing the knot Floer homology at the top filtration level. As an application, we give a formula for the knot Floer homology of a Murasugi sum. Our result echoes Gabai's earlier works. We also show that for so-called 'semifibred' satellite knots, the top filtration term of the knot Floer homology is isomorphic to the counterpart of the companion.


title: Cheeger constant and algebraic entropy of linear groups

abstract: We prove a uniform version of the Tits alternative. As a consequence, we obtain uniform lower bounds for the Cheeger constant of Cayley grahs of finitely generated non virtually solvable linear groups in arbitrary characteristic. Also we show that the algebraic entropy of discrete subgroups of a given Lie group is uniformly bounded away from zero.


title: Validity of the expected Euler characteristic heuristic

abstract: We study the accuracy of the expected Euler characteristic approximation to the distribution of the maximum of a smooth, centered, unit variance Gaussian process f. Using a point process representation of the error, valid for arbitrary smooth processes, we show that the error is in general exponentially smaller than any of the terms in the approximation. We also give a lower bound on this exponential rate of decay in terms of the maximal variance of a family of Gaussian processes f^x, derived from the original process f.


title: The spectrum of magnetic Schr\"odinger operators and $k$-form Laplacians on conformally cusp manifolds

abstract: We consider open manifolds which are interiors of a compact manifold with boundary, and Riemannian metrics asymptotic to a conformally cylindrical metric near the boundary. We show that the essential spectrum of the Laplace operator on functions vanishes under the presence of a magnetic field which does not define an integral relative cohomology class. It follows that the essential spectrum is not stable by perturbation even by a compactly supported magnetic field. We also treat magnetic operators perturbed with electric fields. In the same context we describe the essential spectrum of the $k$-form Laplacian. This is shown to vanish precisely when the $k$ and $k-1$ de Rham cohomology groups of the boundary vanish. In all the cases when we have pure-point spectrum we give Weyl-type asymptotics for the eigenvalue-counting function. In the other cases we describe the essential spectrum.


title: The Group of Contactomorphisms of the Sphere Fixing an Overtwisted Disk

abstract: We calculate the weak homotopy type of the group of contactomorphisms of the three-sphere which coincide with the identity on (a neighborhood of) an overtwisted disk.


title: Local bases for refinable spaces

abstract: We provide a new representation of a refinable shift invariant space with a compactly supported generator, in terms of functions with a special property of homogeneity. In particular these functions include all the homogeneous polynomials that are reproducible by the generator, what links this representation to the accuracy of the space. We completely characterize the class of homogeneous functions in the space and show that they can reproduce the generator. As a result we conclude that the homogeneous functions can be constructed from the vectors associated to the spectrum of the scale matrix (a finite square matrix with entries from the mask of the generator). Furthermore, we prove that the kernel of the transition operator has the same dimension than the kernel of this finite matrix. This relation provides an easy test for the linear independence of the integer translates of the generator. This could be potentially useful in applications to approximation theory, wavelet theory and sampling.


title: On Commuting Exponentials in Low Dimensions

abstract: We introduce and study the following relation between 2 linear functions f,g on a vector space of dimension d<=3: exp(tf+g)=exp(tf)exp(g) for every t an integer. If d=2 then f,g are simultaneously trigonalizable. If d=3 the same relation holds given a supplementary condition. In this manner we can avoid the postulate 2i(Pi) congruence free which has been used by researchers since 1954.


title: A sketchy note on enriched homotopical topologies and enriched homotopical stacks

abstract: This rough note describes some attempts to define a notion of enriched topology (and the associated theory of enriched stacks) on a category enriched over a symmetric monoidal model category, and poses some related questions.


title: Young tableaux and crystal $B(\infty)$ for finite simple Lie algebras

abstract: We study the crystal base of the negative part of a quantum group. An explicit realization of the crystal is given in terms of Young tableaux for types $A_n$, $B_n$, $C_n$, $D_n$, and $G_2$. Connection between our realization and a previous realization of Cliff is also given.


title: Rationally Connected Varieties and Loop Spaces

abstract: We consider rationally connected complex projective manifolds M and show that their loop spaces--infinite dimensional complex manifolds--have properties similar to those of M. Furthermore, we give a finite dimensional application concerning holomorphic vector bundles over rationally connected complex projective manifolds.


title: Low lying zeros of L-functions with orthogonal symmetry

abstract: We investigate the moments of a smooth counting function of the zeros near the central point of L-functions of weight k cuspidal newforms of prime level N. We split by the sign of the functional equations and show that for test functions whose Fourier transform is supported in (-1/n, 1/n), as N --> oo the first n centered moments are Gaussian. By extending the support to (-1/n-1, 1/n-1), we see non-Gaussian behavior; in particular the odd centered moments are non-zero for such test functions. If we do not split by sign, we obtain Gaussian behavior for support in (-2/n, 2/n) if 2k >= n. The nth centered moments agree with Random Matrix Theory in this extended range, providing additional support for the Katz-Sarnak conjectures. The proof requires calculating multidimensional integrals of the non-diagonal terms in the Bessel-Kloosterman expansion of the Petersson formula. We convert these multidimensional integrals to one-dimensional integrals already considered in the work of Iwaniec-Luo-Sarnak, and derive a new and more tractable expression for the nth centered moments for such test functions. This new formula facilitates comparisons between number theory and random matrix theory for test functions supported in (-1/n-1, 1/n-1) by simplifying the combinatorial arguments. As an application we obtain bounds for the percentage of such cusp forms with a given order of vanishing at the central point.