title: Functions on the zeroes of dx

abstract: In the model of synthetic differential geometry consisting of sheaves (with respect to open covers) over the opposite category of the category of closed finitely generated C-infinity rings, any morphism from S, the zeroes of the "amazing right adjoint" of dx, to the real line R extends to a morphism from R to R. This shows that the De Rham cohomology of the space S is the same as the characteristic cohomology of the ideal generated by dx.


title: A beginner's guide to analysis on metric spaces

abstract: These informal notes briefly discuss some basic topics involving Lipschitz functions, connectedness, and Hausdorff content in particular.


title: Beauville surfaces without real structures, I

abstract: Inspired by a construction by Arnaud Beauville of a surface of general type with $K^2 = 8, p_g =0$, the second author defined the Beauville surfaces as the surfaces which are rigid, i.e., they have no nontrivial deformation, and admit un unramified covering which is isomorphic to a product of curves of genus at least 2. In this case the moduli space of surfaces homeomorphic to the given surface consists either of a unique real point, or of a pair of complex conjugate points corresponding to complex conjugate surfaces. It may also happen that a Beauville surface is biholomorphic to its complex conjugate surface, neverless it fails to admit a real structure. First aim of this note is to provide series of concrete examples of the second situation, respectively of the third. Second aim is to introduce a wider audience, especially group theorists, to the problem of classification of such surfaces, especially with regard to the problem of existence of real structures on them.


title: Quadrisecants give new lower bounds for the ropelength of a knot

abstract: Using the existence of a special quadrisecant line, we show the ropelength of any nontrivial knot is at least 15.66. This improves the previously known lower bound of 12. Numerical experiments have found a trefoil with ropelength less than 16.372, so our new bounds are quite sharp.


title: Complex ADHM equations, sheaves on P^3 and quantum instantons

abstract: We use a complex version of the celebrated Atiyah-Hitchin-Drinfeld-Manin matrix equations to construct admissible torsion-free sheaves on $\p^3$ and complex quantum instantons over our quantum Minkowski space-time. We identify the moduli spaces of various subclasses of sheaves on $\p^3$, and prove their smoothness. We also define the Laplace equation in the quantum Minkowski space-time, study its solutions and relate them to the admissibility condition for sheaves on $\p^3$.


title: Smooth convex Bodies with proportional projection functions

abstract: For a convex body $K\subset\R^n$ and $i\in\{1,...,n-1\}$, the function assigning to any $i$-dimensional subspace $L$ of $\R^n$, the $i$-dimensional volume of the orthogonal projection of $K$ to $L$, is called the $i$-th projection function of $K$. Let $K, K_0\subset \R^n$ be smooth convex bodies of class $C^2_+$, and let $K_0$ be centrally symmetric. Excluding two exceptional cases, that of $(i,j)=(1,n-1)$ and $(i,j)=(n-2,n-1)$, we prove that $K$ and $K_0$ are homothetic if they have two proportional projection functions. The special case when $K_0$ is a Euclidean ball provides an extension of Nakajima's classical three-dimensional characterization of spheres to higher dimensions.


title: D4 Modular Forms

abstract: In this paper, we study modular forms on two simply connected groups of type $D_4$ over ${\mathbb Q}$. One group, $G_s$ is a globally split group of type $D_4$, viewed as the group of isotopies of the split rational octonions. The other, $G_c$, is the isotopy group of the rational (non-split) octonions. We study automorphic forms on $G_s$, in analogy to the work of Gross, Gan, and Savin on $G_2$; namely we study automorphic forms whose component at infinity corresponds to a quaternionic discrete series representation. We study automorphic forms on $G_c$ using Gross's formalism of ``algebraic modular forms''. Finally, we follow work of Gan, Savin, Gross, Rallis, and others, to study an exceptional theta correspondence connecting modular forms on $G_c$ and $G_s$. This can be thought of as an octonionic generalization of the Jacquet-Langlands correspondence.


title: A Sharp analog of Young's Inequality on $S^N$ and Related Entropy Inequalities

abstract: We prove a sharp analog of Young's inequality on $S^N$, and deduce from it certain sharp entropy inequalities. The proof turns on constructing a nonlinear heat flow that drives trial functions to optimizers in a monotonic manner. This strategy also works for the generalization of Young's inequality on $R^N$ to more than three functions, and leads to significant new information about the optimizers and the constants.


title: Random cyclations

abstract: Consider n unit intervals, say [1,2], [3,4], ..., [2n-1,2n]. Identify their endpoints in pairs at random, with all (2n-1)!! = (2n-1) (2n-3) ... 3 1 pairings being equally likely. The result is a collection of cycles of various lengths, and we investigate the distribution of these lengths. The distribution is similar to that of the distribution of the lengths of cycles in a random permutation, but it also exhibits some striking differences.


title: On the existence and uniqueness of weak solutions for a vorticity seeding model

abstract: In this paper we study the Navier-Stokes equations with a Navier-type boundary condition that has been proposed as an alternative to common near wall models. The boundary condition we study, involving a linear relation between the tangential part of the velocity and the tangential part of the Cauchy stress-vector, is related to the vorticity seeding model introduced in the computational approach to turbulent flows. The presence of a point-wise non vanishing normal flux may be considered as a tool to avoid the use of phenomenological near wall models, in the boundary layer region. Furthermore, the analysis of the problem is suggested by recent advances in the study of Large Eddy Simulation. In the two dimensional case we prove existence and uniqueness of weak solutions, by using rather elementary tools, hopefully understandable also by applied people working on turbulent flows. The asymptotic behaviour of the solution, with respect to the averaging radius $\delta,$ is also studied. In particular, we prove convergence of the solutions toward the corresponding solutions of the Navier-Stokes equations with the usual no-slip boundary conditions, as the small parameter $\delta$ goes to zero.


title: Biharmonic properties and conformal changes

abstract: We construct a new class of biharmonic maps, which are the critical points for the bienergy functional, by deforming conformally the codomain metric of harmonic Riemannian submersions such that they become nonharmonic but biharmonic.


title: The Spectral Geometry of the Equatorial Podles Sphere

abstract: We propose a slight modification of the properties of a spectral geometry a la Connes, which allows for some of the algebraic relations to be satisfied only modulo compact operators. On the equatorial Podles sphere we construct suq2-equivariant Dirac operator and real structure which satisfy these modified properties.


title: Quasi-reflection algebras and cyclotomic associators

abstract: We develop a cyclotomic analogue of the theory of associators. Using a trigonometric version of the universal KZ equations, we prove the formality of a morphism B_n^1 -> (ZZ/N ZZ)^n rtimes S_n, where B_n^1 is a braid group of type B. The formality isomorphism depends algebraically on a series Psi_KZ, the ``KZ pseudotwist''. We study the scheme of pseudotwists and show that it is a torsor under a group GTM(N,k), mapping to Drinfeld's group GT(k), and whose Lie algebra is isomorphic to its associated graded grtm(N,k). We prove that Ihara's subgroup GTK of the Grothendieck-Teichm\"uller group, defined using distribution relations, in fact coincides with it. We show that the subscheme of pseudotwists satisfying distribution relations is a subtorsor. We study the corresponding analogue grtmd(N,k) of grtm(N,k); it is a graded Lie algebra with an action of (ZZ/N ZZ)^*, and we give a lower bound for the character of its space of generators.


title: Spacelike CMC 1 surfaces with elliptic ends in de Sitter 3-Space

abstract: We show that an Osserman-type inequality holds for spacelike surfaces of constant mean curvature (CMC) 1 with singularities and with elliptic ends in de Sitter 3-space. An immersed end of a CMC 1 surface is an ``elliptic end'' if the monodromy representation at the end is diagonalizable with eigenvalues in the unit circle. We also give a necessary and sufficient condition for equality in the inequality to hold, and in the process of doing this we derive a condition for determining when elliptic ends are embedded.


title: An Index Interpretation For the Number Of Limit Cycles Of A Vector Field

abstract: We show that the number of limit cycles of Lienard vector field L is equal to the index of first order linear PDE defined by L.


title: The Hilbert series of algebras of Veronese type

abstract: This paper gives a fairly explicit formula for the Hilbert series of algebras of Veronese type.


title: Compact Scattered Spaces in Forcing Extensions

abstract: We consider the cardinal sequences of compact scattered spaces in models where CH is false. We describe a number of models where the continuum is aleph_2 in which no such space can have aleph_2 countable levels.


title: Extensions of racks and quandles

abstract: New definitions of rack and quandle modules are introduced, and shown to generalise the definitions previously studied by Andruskiewitsch, Etingof and Grana. This new construct is shown to coincide with Beck's general definition of a module in an arbitrary category. A theory of Abelian extensions of racks and quandles is then developed, which is shown to generalise the theories developed by Carter, Elhamdadi, Kamada and Saito.


title: Siegel Disks and Periodic Rays of Entire Functions

abstract: Let f be an entire function whose set of singular values is bounded and suppose that f has a Siegel disk such that f restricts to a homeomorphism of the boundary. We show that the Siegel disk is bounded. Using a result of Herman, we deduce that if additionally the rotation number of the Siegel disk is Diophantine, then its boundary contains a critical point of f. Suppose furthermore that all singular values of f lie in the Julia set. We prove that, if f has a Siegel disk $U$ whose boundary contains no singular values, then the condition that f is a homeomorphism of the boundary of U is automatically satisfied. We also investigate landing properties of periodic dynamic rays by similar methods.


title: The bicategories of corings

abstract: To a B-coring and a (B,A)-bimodule that is finitely generated and projective as a right A-module an A-coring is associated. This new coring is termed a base ring extension of a coring by a module. We study how the properties of a bimodule such as separability and the Frobenius properties are reflected in the induced base ring extension coring. Any bimodule that is finitely generated and projective on one side, together with a map of corings over the same base ring, lead to the notion of a module-morphism, which extends the notion of a morphism of corings (over different base rings). A module-morphism of corings induces functors between the categories of comodules. These functors are termed pull-back and push-out functors respectively and thus relate categories of comodules of different corings. We study when the pull-back functor is fully faithful and when it is an equivalence. A generalised descent associated to a morphism of corings is introduced. We define a category of module-morphisms, and show that push-out functors are naturally isomorphic to each other if and only if the corresponding module-morphisms are mutually isomorphic. All these topics are studied within a unifying language of bicategories and the extensive use is made of interpretation of corings as comonads in the bicategory Bim of bimodules and module-morphisms as 1-cells in the associated bicategories of comonads in Bim.


title: The average amount of information lost in multiplication

abstract: We show that if X and Y are integers independently and uniformly distributed in the set {1, ..., N}, then the information lost in forming their product (which is given by the equivocation H(X,Y | XY)), is of order log log N. We also prove two extremal results regarding cases in which X and Y are not necessarily independently or uniformly distributed. First, we note that the information lost in multiplication can of course be 0. We show that the condition H(X,Y | XY) = 0 implies that 2log_2 N - H(X, Y) is of order at least log log N. Furthermore, if X and Y are independent and uniformly distributed on disjoint sets of primes, it is possible to have H(X,Y | XY) = 0 with log_2 N - H(X) and log_2 N - H(Y) each of order at most log log N. Second, we show that however X and Y are distributed, H(X,Y | XY) is of order at most log N/log log N. Furthermore, there are distributions (in which X and Y are independent and uniformly distributed over sets of numbers having only small and distinct prime factors) for which H(X,Y | XY) is of order log log N.


title: Nielsen coincidence theory in arbitrary codimensions

abstract: Given two maps f_1, f_2 : M^m \longrightarrow N^n between manifolds of the indicated arbitrary dimensions, when can they be deformed away from one another? More generally: what is the minimum number MCC (f_1, f_2) of pathcomponents of the coincidence space of maps f'_1, f'_2 where f'_i is homotopic to f_i, i = 1, 2? Approaching this question via normal bordism theory we define a lower bound N (f_1, f_2) which generalizes the Nielsen number studied in classical fixed point and coincidence theory (where m = n). In at least three settings N (f_1, f_2) turns out to coincide with MCC (f_1, f_2): (i) when m < 2n - 2; (ii) when N is the unit circle; and (iii) when M and N are spheres and a certain injectivity condition involving James-Hopf invariants is satisfied. We also exhibit situations where N (f_1, f_2) vanishes, but MCC (f_1, f_2) is strictly positive.


title: Tensor categories attached to double groupoids

abstract: The construction of a quantum groupoid out of a double groupoid satisfying a filling condition and a perturbation datum is given. This extends previous work that appeared in math.QA/0308228. Several important classes of examples of tensor categories are shown to fit into this construction. Certain invariants such as a pivotal group-like element and quantum and Frobenius-Perron dimensions of simple objects are computed.


title: Linking and coincidence invariants

abstract: Given a link map f into a manifold of the form Q = N \times \Bbb R, when can it be deformed to an unlinked position (in some sense, e.g. where its components map to disjoint \Bbb R-levels) ? Using the language of normal bordism theory as well as the path space approach of Hatcher and Quinn we define obstructions \widetilde\omega_\epsilon (f), \epsilon = + or \epsilon = -, which often answer this question completely and which, in addition, turn out to distinguish a great number of different link homotopy classes. In certain cases they even allow a complete link homotopy classification. Our development parallels recent advances in Nielsen coincidence theory and leads also to the notion of Nielsen numbers of link maps. In the special case when N is a product of spheres sample calculations are carried out. They involve the homotopy theory of spheres and, in particular, James--Hopf--invariants.


title: A Modified Multifractal Formalism for a Class of Self-Similar Measures

abstract: The multifractal spectrum of a Borel measure $\mu$ in $\mathbb{R}^n$ is defined as \[ f_\mu(\alpha) = \dim_H {x:\lim_{r\to 0} \frac{\log \mu(B(x,r))}{\log r}=\alpha}. \] For self-similar measures under the open set condition the behavior of this and related functions is well-understood; the situation turns out to be very regular and is governed by the so-called ''multifractal formalism''. Recently there has been a lot of interest in understanding how much of the theory carries over to the overlapping case; however, much less is known in this case and what is known makes it clear that more complicated phenomena are possible. Here we carry out a complete study of the multifractal structure for a class of self-similar measures with overlap which includes the 3-fold convolution of the Cantor measure. Among other things, we prove that the multifractal formalism fails for many of these measures, but it holds when taking a suitable restriction.


title: Two remarks on non-zero constant Jacobian polynomial map of $C^2$

abstract: We present some estimations on geometry of the exceptional value sets of non-zero constant Jacobian polynomial maps of $\C^2$ and it's components.


title: Contact structures on open 3-manifolds

abstract: In this paper, we study contact structures on any open 3-manifold V which is the interior of a compact 3-manifold. To do this, we introduce proper contact isotopy invariants called the slope at infinity and the division number at infinity. We first prove several classification theorems for T^2 x [0, \infty), T^2 x R, and S^1 x R^2 using these concepts. This investigation yields infinitely many tight contact structures on T^2 x [0,\infty), T^2 x R, and S^1 x R^2 which admit no precompact embedding into another tight contact structure on the same space. Finally, we show that if V is irreducible and has an end of nonzero genus, then there are uncountably many tight contact structures on V that are not contactomorphic, yet are isotopic. Similarly, there are uncountably many overtwisted contact structures on V that are not contactomorphic, yet are isotopic.


title: Cycles with local coefficients for orthogonal groups and vector-valued Siegel modular forms

abstract: The theta correspondence has been an important tool in studying cycles in locally symmetric spaces of orthogonal type. We generalize the Kudla-Millson relation between intersection numbers of cycles and Fourier coefficients of Siegel modular forms to the case where the cycles have local coefficients. Now the generating series of the cycles give rise to vector-valued Siegel modular forms. The underlying correspondence between the highest weights of the orthogonal and the symplectic group coincides with the one obtained by Adams for which we provide a geometric interpretation.


title: Computing Modular Polynomials

abstract: We present a new probabilistic algorithm to compute modular polynomials modulo a prime. Modular polynomials parameterize pairs of isogenous elliptic curves and are useful in many aspects of computational number theory and cryptography. Our algorithm has the distinguishing feature that it does not involve the computation of Fourier coefficients of modular forms. We avoid computing the exponentially large integral coefficients by working directly modulo a prime and computing isogenies between elliptic curves via Velu's formulas.


title: New components of the Moduli space of minimal surfaces in 4-dimensional flat tori

abstract: In this paper, we consider new components of the key space of the Moduli space of minimal surfaces in flat 4-tori and calculate their dimensions. Moreover, we construct an example of minimal surfaces in 4-tori and obtain an element of the Moduli. In the process of the construction, we give an example of minimal surfaces with good property in a 3-torus distinct from classical examples.


title: Canonical characters on quasi-symmetric functions and bivariate Catalan numbers

abstract: Every character on a graded connected Hopf algebra decomposes uniquely as a product of an even character and an odd character (Aguiar, Bergeron, and Sottile, math.CO/0310016). We obtain explicit formulas for the even and odd parts of the universal character on the Hopf algebra of quasi-symmetric functions. They can be described in terms of Legendre's beta function evaluated at half-integers, or in terms of bivariate Catalan numbers: $$ C(m,n)=\frac{(2m)!(2n)!}{m!(m+n)!n!}. $$ Properties of characters and of quasi-symmetric functions are then used to derive several interesting identities among bivariate Catalan numbers and in particular among Catalan numbers and central binomial coefficients.


title: Haruspicy 3: The directed bond-animal generating function is not D-finite

abstract: While directed site-animals have been solved on several lattices, directed bond-animals remain unsolved on any non-trivial lattice. In this paper we demonstrate that the anisotropic generating function of directed bond-animals on the square lattice is fundamentally different from that of directed site-animals in that it is not differentiably finite. We also extend this result to directed bond-animals on hypercubic lattices. This indicates that directed bond-animals are unlikely to be solved by similar methods to those used in the solution of directed site-animals. It also implies that a solution cannot by conjectured using computer packages such as GFUN or differential approximants.

categories: math.CO cond-mat.stat-mech math-ph math.MP


title: A Class of Kaehler Einstein Structures on the Nonzero Cotangent Bundle of a Space Form

abstract: We obtain a class of Kaehler Einstein structures on the nonzero cotangent bundle of a Riemannian manifold of positive constant sectional curvature. The obtained class of Kaehler Einstein structure depends on one essential parameter, cannot have constant holomorphic sectional curvature and is not locally symmetric.


title: A log-scale limit theorem for one-dimensional random walks in random environments

abstract: We consider a random walk X_n in non-i.i.d. environment and show that the ratio of log X_n to log n converges in probability to a positive constant.


title: Discussion on Benford's Law and its Application

abstract: The probability that a number in many naturally occurring tables of numerical data has first significant digit $d$ is predicted by Benford's Law ${\rm Prob} (d) = \log_{10} (1 + {\displaystyle{1\over d}}), d = 1, 2 >..., 9$. Illustrations of Benford's Law from both theoretical and real-life sources on both science and social science areas are shown in detail with some novel ideas and generalizations developed solely by the authors of this paper. Three tests, Chi-Square test, total variation distance, and maximum deviations are adopted to examine the fitness of the datasets to Benford's distribution. Finally, applications of Benford's Law are summarized and explored to reveal the power of this mathematical principle.


title: Adelic Lefschetz formula for the action of a one-dimensional torus

abstract: There exists a well-known Lefschetz formula for the number of fixed points in algebraic topology. In algebraic geometry, there exist cohomologies of coherent sheaves. It is natural to consider the same alternated sum of traces as in Lefschetz formula for cohomologies of sheaves. In the present paper, we consider the case of the action of a one-dimensional torus on a smooth projectve variety. Using theory of adelic complexes it becomes possible to rewrite coherent Lefschetz formula in a new compact form and then to prove it.


title: Comments on a Theorem by Ancona

abstract: A C.R. note by Alano Ancona from 1980 is reexamined. Within his line of ideas in the proof two new theorems are constructed. No claim of originality. These are put into the context of later research. One far reaching conjecture is given. The note by Ancona was written to fill the need of Brezis and Browder who were writing a paper on higher order operators.


title: Infinite volume limit of the Abelian sandpile model in dimensions d >= 3

abstract: We study the Abelian sandpile model on Z^d. In dimensions at least 3 we prove existence of the infinite volume addition operator, almost surely with respect to the infinite volume limit mu of the uniform measures on recurrent configurations. We prove the existence of a Markov process with stationary measure mu, and study ergodic properties of this process. The main techniques we use are a connection between the statistics of waves and uniform two-component spanning trees and results on the uniform spanning tree measure on Z^d.


title: Quasi-hom-Lie Algebras, Central Extensions and 2-cocycle-like Identities

abstract: This paper begins by introducing the concept of a quasi-hom-Lie algebra which is a natural generalization of hom-Lie algebras introduced in a previous paper by the authors. Quasi-hom-Lie algebras include also as special cases (color) Lie algebras and superalgebras, and can be seen as deformations of these by homomorphisms, twisting the Jacobi identity and skew-symmetry. The natural realm for these quasi-hom-Lie algebras is as a generalization-deformation of the Witt algebra $\Witt$ of derivations on the Laurent polynomials $\C[t,t^{-1}]$. We also develop a theory of central extensions for qhl-algebras which can be used to deform and generalize the Virasoro algebra by centrally extending the deformed Witt type algebras constructed here. In addition, we give a number of other interesting examples of quasi-hom-Lie algebras, among them a deformation of the loop algebra.


title: The moduli space of surfaces with $K^2=6, p_g=4$

abstract: In this paper we answer a question posed by Horikawa in 1978, who showed that the above moduli space is composed of 11 locally closed strata building up 4 irreducible components and having at most 3 connected components. We prove that the number of connected components is at most two and pose the question whether this number is exactly two. The main new idea is to analyse the strata in the moduli space where the canonical divisor is 2-divisible on the canonical model (as a Weil divisor). In this way we obtain a semicanonical ring $\B$ which is a Gorenstein ring of codimension 4 for type $III_b$ and of codimension 1 for type II. We use one of the formats introduced by Dicks and Reid for Gorenstein rings of codimension 4, the one of 4x4 Pfaffians of antisymmetric extrasymmetric 6x6 matrices.


title: A priori estimates for the Yamabe problem in the non-locally conformally flat case

abstract: Given a compact Riemannian manifold, with positive Yamabe quotient, not conformally diffeomorphic to the standard sphere, we prove a priori estimates for solutions to the Yamabe problem. We restrict ourselves to the dimensions less than or equal to 7, where the Positive Mass Theorem is known to be true. We also show that, when the dimension is greater than or equal to 6, the Weyl tensor has to vanish at a point where solutions to the Yamabe equation blow up.


title: Deformations of Lie Algebras using $\sigma$-derivations

abstract: In this article we develop an approach to deformations of the Witt and Virasoro algebras based on $\sigma$-derivations. We show that $\sigma$-twisted Jacobi type identity holds for generators of such deformations. For the $\sigma$-twisted generalization of Lie algebras modeled by this construction, we develop a theory of central extensions. We show that our approach can be used to construct new deformations of Lie algebras and their central extensions, which in particular include naturally the $q$-deformations of the Witt and Virasoro algebras associated to $q$-difference operators, providing also corresponding q-deformed Jacobi identities.


title: Supersingular primes for points on $X_0(p)/w_p$

abstract: For small odd primes $p$, we prove that most of the rational points on the modular curve $X_0(p)/w_p$ parametrize pairs of elliptic curves having infinitely many supersingular primes. This result extends the class of elliptic curves for which the infinitude of supersingular primes is known. We give concrete examples illustrating how these techniques can be explicitly used to construct supersingular primes for such elliptic curves. Finally, we discuss generalizations to points defined over larger number fields and indicate the types of obstructions that arise for higher level modular curves.


title: Generic uniqueness of least area planes in hyperbolic space

abstract: We study the number of solutions of the asymptotic Plateau problem in H^3. By using the analytical results in our previous paper, and some topological arguments, we show that there exists an open dense subset of C^3 Jordan curves in S^2_{infty}(H^3) such that any curve in this set bounds a unique least area plane in H^3.


title: Some notes on harmonic and holomorphic functions

abstract: These notes are concerned with harmonic and holomorphic functions on Euclidean spaces, using quaternions and Clifford algebras in higher dimensions. The main themes are weak solutions, the mean-value property, and subharmonicity.


title: On the shape of the ground state eigenvalue density of a random Hill's equation

abstract: Consider the Hill's operator $Q = - d^2/dx^2 + q(x)$ in which $q(x)$, $0 \le x \le 1$, is a White Noise. Denote by $f(\mu)$ the probability density function of $-\lambda_0(q)$, the negative of the ground state eigenvalue, at $\mu$. We describe the detailed asymptotics of this density as $\mu \to +\infty$. This result is based on a precise Laplace analysis of a functional integral representation for $f(\mu)$ established by S. Cambronero and H.P. McKean.


title: The arithmetic of Prym varieties in genus 3

abstract: Given a curve of genus 3 with an unramified double cover, we give an explicit description of the associated Prym-variety. We also describe how an unramified double cover of a non-hyperelliptic genus 3 curve can be mapped into the Jacobian of a curve of genus 2 over its field of definition and how this can be used to do Chabauty- and Brauer-Manin type calculations for curves of genus 5 with an unramified involution. As an application, we determine the rational points on a smooth plane quartic with no particular geometric properties and give examples of curves of genus 3 and 5 violating the Hasse-principle. We also show how these constructions can be used to design smooth plane quartics with specific arithmetic properties. As an example, we give a smooth plane quartic with all 28 bitangents defined over Q(t).


title: Picard groups of topologically stable Poisson structures

abstract: We compute the group of Morita self-equivalences (the Picard group) of a Poisson structure on an orientable surface, under the assumption that the degeneracies of the Poisson tensor are linear. The answer involves mapping class groups of surfaces, i.e., groups of isotopy classes of diffeomorphisms. We also show that the Picard group of these structures coincides with the group of outer Poisson automorphisms.


title: Regenerative partition structures

abstract: We consider Kingman's partition structures which are regenerative with respect to a general operation of random deletion of some part. Prototypes of this class are the Ewens partition structures which Kingman characterised by regeneration after deletion of a part chosen by size-biased sampling. We associate each regenerative partition structure with a corresponding regenerative composition structure, which (as we showed in a previous paper) can be associated in turn with a regenerative random subset of the positive halfline, that is the closed range of a subordinator. A general regenerative partition structure is thus represented in terms of the Laplace exponent of an associated subordinator. We also analyse deletion properties characteristic of the two-parameter family of partition structures.


title: Semilattices of groups and inductive limits of Cuntz algebras

abstract: We characterize, in terms of elementary properties, the abelian monoids which are direct limits of finite direct sums of monoids of the form $(Z/nZ)\sqcup\{0\}$ (where 0 is a new zero element), for positive integers $n$. The key properties are the Riesz refinement property and the requirement that each element $x$ has finite order, that is, $(n+1)x=x$ for some positive integer $n$. Such monoids are necessarily semilattices of abelian groups, and part of our approach yields a characterization of the Riesz refinement property among semilattices of abelian groups. Further, we describe the monoids in question as certain submonoids of direct products $\Lambda\times G$ for semilattices $\Lambda$ and torsion abelian groups $G$. When applied to the monoids $V(A)$ appearing in the non-stable K-theory of C*-algebras, our results yield characterizations of the monoids $V(A)$ for C* inductive limits $A$ of sequences of finite direct products of matrix algebras over Cuntz algebras $O_n$. In particular, this completely solves the problem of determining the range of the invariant in the unital case of R{\o}rdam's classification of inductive limits of the above type.


title: Algebro-Geometric Solutions of a Discrete System Related to the Trigonometric Moment Problem

abstract: We derive theta function representations of algebro-geometric solutions of a discrete system governed by a transfer matrix associated with (an extension of) the trigonometric moment problem studied by Szego and Baxter. We also derive a new hierarchy of coupled nonlinear difference equations satisfied by these algebro-geometric solutions.


title: Trace Formulas and Borg-Type Theorems for Matrix-Valued Jacobi and Dirac Finite Difference Operators

abstract: Borg-type uniqueness theorems for matrix-valued Jacobi operators H and supersymmetric Dirac difference operators D are proved. More precisely, assuming reflectionless matrix coefficients A, B in the self-adjoint Jacobi operator H=AS^+ + A^-S^- + B (with S^\pm the right/left shift operators on the lattice Z) and the spectrum of H to be a compact interval [E_-,E_+], E_- < E_+, we prove that A and B are certain multiples of the identity matrix. An analogous result which, however, displays a certain novel nonuniqueness feature, is proved for supersymmetric self-adjoint Dirac difference operators D with spectrum given by [-E_+^{1/2},-E_-^{1/2}] \cup [E_-^{1/2},E_+^{1/2}], 0 \leq E_- < E_+.


title: Boundary rigidity and stability for generic simple metrics

abstract: We study the boundary rigidity problem for compact Riemannian manifolds with boundary $(M,g)$: is the Riemannian metric $g$ uniquely determined, up to an action of diffeomorphism fixing the boundary, by the distance function $\rho_g(x,y)$ known for all boundary points $x$ and $y$? We prove in this paper global uniqueness and stability for the boundary rigidity problem for generic simple metrics. More specifically, we show that there exists a generic set $\mathcal{G}$ of simple Riemannian metrics and an open dense set $\mathcal{U}\subset \mathcal{G}\times\mathcal{G}$, such that any two Riemannian metrics in $\mathcal{U}$ having the same distance function, must be isometric. We also prove H\"older type stability estimates for this problem for metrics which are close to a given one in $\mathcal{G}$.


title: Commuting Extensions and Cubature Formulae

abstract: Based on a novel point of view on 1-dimensional Gaussian quadrature, we present a new approach to the computation of d-dimensional cubature formulae. It is well known that the nodes of 1-dimensional Gaussian quadrature can be computed as eigenvalues of the so-called Jacobi matrix. The d-dimensional analog is that cubature nodes can be obtained from the eigenvalues of certain mutually commuting matrices. These are obtained by extending (adding rows and columns to) certain noncommuting matrices A_1,...,A_d, related to the coordinate operators x_1,...,x_d, in R^d. We prove a correspondence between cubature formulae and "commuting extensions" of A_1,...,A_d, satisfying a compatibility condition which, in appropriate coordinates, constrains certain blocks in the extended matrices to be zero. Thus the problem of finding cubature formulae can be transformed to the problem of computing (and then simultaneously diagonalizing) commuting extensions. We give a general discussion of existence and of the expected size of commuting extensions and describe our attempts at computing them, as well as examples of cubature formulae obtained using the new approach.


title: A Simple Proof of Jung's Theorem on Polynomial Automorphisms of $\C^2$

abstract: The Automorphism Theorem, discovered first by Jung in 1942, asserts that if $k$ is a field, then every polynomial automorphism of $k^2$ is a finite product of linear automorphisms and automorphisms of the form $(x,y)\mapsto(x+p(y), y) $ for $p\in k[y]$. We present here a simple proof for the case $k=\C$ by using Newton-Puiseux expansions.


title: A basis for the full Homfly skein of the annulus

abstract: The meridian maps of the full Homfly skein of the annulus are linear endomorphisms induced by the insertion of a meridian loop, with either orientation, around a diagram in the annulus. The eigenvalues of the meridian maps are known to be distinct, and are indexed by pairs of partitions of integers p and n into k and k* parts respectively. We give here an explicit formula for a corresponding eigenvector as the determinant of a (k*+k)x(k*+k) matrix whose entries are skein elements corresponding to partitions with a single part. This extends the results of Kawagoe and Lukac, for the case p=0, giving a basis for the subspace of the skein spanned by closed braids all oriented in the same direction. Their formula uses the Jacobi-Trudy determinants for Schur functions in terms of complete symmetric functions. Our matrices have a similar pattern of entries in k rows, and a modified pattern in k* rows, resulting in a combination of closed braids with up to n strings oriented in one direction and p in the reverse direction. We discuss the 2-variable knot invariants resulting from decoration of a knot by these skein elements, and their relation to unitary quantum invariants.


title: Embedded minimal disks with prescribed curvature blowup

abstract: We construct a sequence of compact embedded minimal disks in a ball in Euclidean 3-space, whose boundaries lie in the boundary of the ball, such that the curvature blows up only at a prescribed discrete (and hence, finite) set of points on the x_3-axis. This extends a result of Colding and Minicozzi, who constructed a sequence for which the curvature blows up only at the center of the ball, and is a partial affirmative answer to the larger question of the existence of a sequence for which the curvature blows up precisely on a prescribed closed set on the x_3-axis.


title: Limits of (certain) CAT(0) groups, II: The Hopf property and the shortening argument

abstract: This is the second in a series of papers about torsion-free groups which act properly and cocompactly on a CAT(0) metric space with isolated flats and relatively thin triangles. Our approach is to adapt the methods of Sela and others for word-hyperbolic groups to this context of non-positive curvature. The main result in this paper is that (under certain technical hypotheses) such a group as above is Hopfian. This (mostly) answers a question of Sela.


title: Constructions of Generalized Sidon Sets

abstract: We give explicit constructions of sets S with the property that for each integer k, there are at most g solutions to k=s_1+s_2, s_i\in S; such sets are called Sidon sets if g=2 and generalized Sidon sets if g\ge 3. We extend to generalized Sidon sets the Sidon-set constructions of Singer, Bose, and Ruzsa. We also further optimize Koulantzakis' idea of interleaving several copies of a Sidon set, extending the improvements of Cilleruelo & Ruzsa & Trujillo, Jia, and Habsieger & Plagne. The resulting constructions yield the largest known generalized Sidon sets in virtually all cases.


title: On Bernoulli Numbers and Its Properties

abstract: In this survey paper, I first review the history of Bernoulli numbers, then examine the modern definition of Bernoulli numbers and the appearance of Bernoulli numbers in expansion of functions. I revisit some properties of Bernoulli numbers and the history of the computation of big Bernoulli numbers.


title: Sur les points fixes et les cycles r\'epulsifs au voisinage d'une singularit\'e essentielle isol\'ee \`a l'instar de la m\'ethode de Zalcman

abstract: Let $g$ be a holomorphic function in the neighbourhoods of an isolated essential singularity $v$: if $g$ omits a complex value there, then $v$ may be approached by a sequence of repelling fixed points for $g$, whose multipliers diverge to $\infty$. This implies that an entire function omitting a value or a non-M\"obius self-map of the punctured plane admit infinite repelling fixed points, whose multipliers diverge to $\infty$. By another point of view, we show that, if $v$ is not Picard-exceptional for $g$, then $v$ can be approached by a sequence of 2-cycles of $g$: these cycles are repelling if $v$ is not a completely branched value.


title: Sur une question de Bergweiler

abstract: Nous montrons la densite des cycles repulsifs dans l'ensemble de Julia des fonctions meromorphes transcendentes a une variable complexe, sans utiliser le theoreme des cinq iles d'Ahlfors ni la theorie de Nevanlinna. ----- We prove that repelling cycles are dense in the Julia set of one-variable transcendental meromorphic functions, making use nor of Ahlfors' five-island theorem, nor of Nevanlinna's theory


title: Sur la perfection de l'ensemble de Julia des fonctions enti\`eres transcendantes

abstract: We show, in an elementary way, that the Julia set of one-complex-variable entire functions is nonempty and perfect.


title: An example of a covering surface with 'movable' natural boundaries

abstract: We exhibit an example of covering surface of C*, arising from analytical continuation of a holomorphic germ and failing to be a topological covering, due to singular points and regular ones being projected over the same slits in C*.


title: Alguns fenomens de continuaci\'o analit\'ica en una variable complexa

abstract: In this paper we examinate some phenomena arising when a holomorphic germ is analytically continued.


title: Branching Rules for Specht Modules

abstract: Let n be a positive integer and let Sigma_n be the symmetric group of degree n. Let S^lambda be the Specht module for Sigma_n corresponding to a partition lambda of n, defined over a field F of odd characteristic. We find the indecomposable components of the restriction of S^lambda to Sigma_{n-1}, and of the induction of S^lambda to Sigma_{n+1}. Namely, if b and B are block idempotents of FSigma_{n-1} and FSigma_{n+1} respectively, then the modules S^lambda b and S^lambda B are 0 or indecomposable. We give examples to show that the assumption that F has odd characteristic cannot be dropped.


title: A severe inconsistency of transfinite set theory

abstract: Transfinite set theory including the axiom of choice supplies the following basic theorems: (1) Mappings between infinite sets can always be completed, such that at least one of the sets is exhausted. (2) The real numbers can be well ordered. (3) In a finite set of real numbers the maximum below a given limit can always be determined. (4) Any two different real numbers are separated by at least one rational number. These theorems are applied to map the irrational numbers into the rational numbers, showing that the set of all irrational numbers is countable.


title: Unipotent flows on the space of branched covers of Veech surfaces

abstract: There is a natural action of SL(2,R) on the moduli space of translation surfaces, and this yields an action of the unipotent subgroup $U = {\begin{pmatrix} 1 & * 0 & 1 \end{pmatrix}}$. We classify the U-invariant ergodic measures on certain special submanifolds of the moduli space. (Each submanifold is the SL(2,R)-orbit of the set of branched covers of a fixed Veech surface.) For the U-action on these submanifolds, this is an analogue of Ratner's Theorem on unipotent flows. The result yields an asymptotic estimate of the number of periodic trajectories for billiards in a certain family of non-Veech rational triangles, namely, the isosceles triangles in which exactly one angle is $2 \pi/n$, with $n \ge 5$ and $n$ odd.


title: Enstrophy and Ergodicity of Gravity Currents

abstract: We study a coupled deterministic system of vorticity evolution and salinity transport equations, with spatially correlated white noise on the boundary. This system may be considered as a model for gravity currents in oceanic fluids. The noise is due to uncertainty in salinity flux on fluid boundary. After transforming this system into a random dynamical system, we first obtain an asymptotic estimate of enstrophy evolution, and then show that the system is ergodic under suitable conditions on mean salinity input flux on the boundary, Prandtl number and covariance of the noise.


title: Scalar curvature rigidity of almost Hermitian manifolds which are asymptotic to $\mathbb{C}H^{2n}$

abstract: We show that an almost Hermitian manifold $(M,g)$ of real dimension $4n$ which is strongly asymptotic to $\mathbb{C}H^{2n}$ and satisfies a certain scalar curvature bound must be isometric to the complex hyperbolic space. Assuming K\"ahler instead of almost Hermitian this gives the already known rigidity result by H. Boualem and M. Herlich proved in \emph{Ann. Scuola Norm. Sup Pisa (Ser. V)}, vol. 1(2).


title: A Sequence of Beurling Functions Related to the Natural Approximation B_{n} Defined by an Iterative Construction Generating Square-Free Numbers k and the Value of the Mobius Function at k

abstract: We construct iteratively a sequence of numbers k_{n} and Beurling functions A_{n} converging pointwise to -1 in [0,1]. We prove results which seems to suggest that each A_{n} is equal to a well known approximating sequence of functions denoted in literature by B_{n}; see ref. [2]. We conjecture that a sufficient condition for this equality is that the set of the k_{n}'s be equal to the set of square-free numbers. Numerical evidence seems to support both conjectures. Anyway, we think that these sequences are interesting by itself because our construction not only generates square-free (hence prime) numbers k, but also the value of the Mobius function at k. Our definition is independent of the square-free numbers and the Mobius function, with the k_{i}'s arising as discontinuity points of the A_{i}'s. As for the case of B_{n}, we prove that sequence A_{n} is not convergent to -1 in L^{2}([0,1],dx). Consequently, we focus our analysis not on L^{2} norm analysis but other integral properties. This procedure seems to be useful to elucidate the lack of L^{2} convergence for step Beurling functions.


title: Bialgebra Cyclic Homology with Coefficients, Part I

abstract: The cyclic (co)homology of Hopf algebras is defined by Connes and Moscovici [math.DG/9806109] and later extended by Khalkhali et.al [math.KT/0306288] to admit stable anti-Yetter-Drinfeld coefficient module/comodules. In this paper we will show that one can further extend the cyclic homology of Hopf algebras with coefficients non-trivially. The new homology, called the bialgebra cyclic homology, admits stable coefficient module/comodules, dropping the anti-Yetter-Drinfeld condition. This fact allows the new homology to use bialgebras, not just Hopf algebras. We will also give computations for bialgebra cyclic homology of the Hopf algebra of foliations of codimension $n$ and the quantum deformation of an arbitrary semi-simple Lie algebra with several stable but non-anti-Yetter-Drinfeld coefficients.


title: Addendum to "Termination of 4-fold canonical flips"

abstract: The definition of the weighted version of difficulty in "Termination of 4-fold canonical flips" contains some errors. In this paper, we describe these errors and how to correct them. Anyway, any sequence of 4-fold canonical flips terminates.


title: Differentiating the absolutely continuous invariant measure of an interval map f with respect to f

abstract: Let the map $f:[-1,1]\to[-1,1]$ have a.c.i.m. $\rho$ (absolutely continuous $f$-invariant measure with respect to Lebesgue). Let $\delta\rho$ be the change of $\rho$ corresponding to a perturbation $X=\delta f\circ f^{-1}$ of $f$. Formally we have, for differentiable $A$, $$ \delta\rho(A)=\sum_{n=0}^\infty\int\rho(dx) X(x){d\over dx}A(f^nx) $$ but this expression does not converge in general. For $f$ real-analytic and Markovian in the sense of covering $(-1,1)$ $m$ times, and assuming an {\it analytic expanding} condition, we show that $$\lambda\mapsto\Psi(\lambda)=\sum_{n=0}^\infty\lambda^n \int\rho(dx) X(x){d\over dx}A(f^nx) $$ is meromorphic in ${\bf C}$, and has no pole at $\lambda=1$. We can thus formally write $\delta\rho(A)=\Psi(1)$.


title: Differentiation of SRB states for hyperbolic flows

abstract: Let the ${\cal C}^3$ vector field ${\cal X}+aX$ on $M$ define a flow $(f^t_a)$ with an Axiom A attractor $\Lambda_a$ depending continuously on $a\in(-\epsilon,\epsilon)$. Let $\rho_a$ be the SRB measure on $\Lambda_a$ for $(f^t_a)$. If $A\in{\cal C}^2(M)$, then $a\mapsto\rho_a(A)$ is ${\cal C}^1$ on $(-\epsilon,\epsilon)$ and $d\rho_a(A)/da$ is the limit when $\omega\to0$ with ${\rm Im}\omega>0$ of $$ \int_0^\infty e^{i\omega t}dt \int\rho_a(dx) X(x)\cdot\nabla_x(A\circ f_a^t) $$


title: Vertex Partitions of Chordal Graphs

abstract: A \emph{$k$-tree} is a chordal graph with no $(k+2)$-clique. An \emph{$\ell$-tree-partition} of a graph $G$ is a vertex partition of $G$ into `bags', such that contracting each bag to a single vertex gives an $\ell$-tree (after deleting loops and replacing parallel edges by a single edge). We prove that for all $k\geq\ell\geq0$, every $k$-tree has an $\ell$-tree-partition in which every bag induces a connected $\floor{k/(\ell+1)}$-tree. An analogous result is proved for oriented $k$-trees.


title: Tropical Mathematics

abstract: These are the notes for the Clay Mathematics Institute Senior Scholar Lecture which was delivered by Bernd Sturmfels in Park City, Utah, on July 22, 2004. The topic of this lecture is the ``tropical approach'' in mathematics, which has gotten a lot of attention recently in combinatorics, algebraic geometry and related fields. It offers an an elementary introduction to this subject, touching upon Arithmetic, Polynomials, Curves, Phylogenetics and Linear Spaces. Each section ends with a suggestion for further research. The bibliography contains numerousreferences for further reading in this field.


title: Automorphic Distributions, L-functions, and Voronoi Summation for GL(3)

abstract: This paper is third in a series of three, following "Summation Formulas, from Poisson and Voronoi to the Present" (math.NT/0304187) and "Distributions and Analytic Continuation of Dirichlet Series" (math.FA/0403030). The first is primarily an expository paper explaining the present one, whereas the second contains some distributional machinery used here as well. These papers concern the boundary distributions of automorphic forms, and how they can be applied to study questions about cusp forms on semisimple Lie groups. The main result of this paper is a Voronoi-style summation formula for the Fourier coefficients of a cusp form on GL(3,Z)\GL(3,R). We also give a treatment of the standard L-function on GL(3), focusing on the archimedean analysis as performed using distributions. Finally a new proof is given of the GL(3)xGL(1) converse theorem of Jacquet, Piatetski-Shapiro, and Shalika. This paper is also related to the later papers math.NT/0402382 and math.NT/0404521.


title: Classification of affine homogeneous spaces of complexity one

abstract: The complexity of an action of a reductive algebraic group G on an algebraic variety X is the codimension of a generic B-orbit in X, where B is a Borel subgroup of G. We classify affine homogeneous spaces G/H of complexity one. These results are the natural continuation of the classification of spherical affine homogeneous spaces, i.e., spaces of complexity zero.


title: Finite dimensional approximations for the symplectic vortex equations

abstract: We study Furuta's finite dimensional approximations for the flow lines of the Moment action functional for toric symplectic orbifolds and show their relation to Givental's toric map space.


title: The spectrum of a random geometric graph is concentrated

abstract: Consider $n$ points distributed uniformly in $[0,1]^d$. Form a graph by connecting two points if their mutual distance is no greater than $r(n)$. This gives a random geometric graph, $\gnrn$, which is connected for appropriate $r(n)$. We show that the spectral measure of the transition matrix of the simple random walk (\abbr{srw}) on $\gnrn$ is concentrated, and in fact converges to that of the graph on the deterministic grid.


title: The area of cyclic polygons: Recent progress on Robbins' Conjectures

abstract: In his works [R1,R2] David Robbins proposed several interrelated conjectures on the area of the polygons inscribed in a circle as an algebraic function of its sides. Most recently, these conjectures have been established in the course of several independent investigations. In this note we give an informal outline of these developments.


title: Extensions of the alternating group of degree 6 in the geometry of K3 surfaces

abstract: We shall determine the uniquely existing extension of the alternating group of degree 6 (being normal in the group) by a cyclic group of order 4, which can act on a complex K3 surface.


title: Niemeier Lattices and K3 Groups

abstract: In this note, we consider K3 surfaces X with an action by the alternating group A_5. We show that if a cyclic extension A_5 . C_n acts on X then n = 1, 2, or 4. We also determine the A_5-invariant sublattice of the K3 lattice and its discriminant form.


title: Elementary results on the binary quadratic form a^2+ab+b^2

abstract: This paper examines with elementary proofs some interesting properties of numbers in the binary quadratic form $a^2+ab+b^2$, where $a$ and $b$ are non-negative integers. Key findings of this paper are (i) a prime number $p$ can be represented as $a^2+ab+b^2$ if and only if $p$ is of the form $6k+1$, with the only exception of 3, (ii) any positive integer can be represented as $a^2+ab+b^2$ if and only if its all prime factors that are not in the same form have even exponents in the standard factorization, and (iii) all the factors of an integer in the form $a^2+ab+b^2$, where $a$ and $b$ are positive and relatively prime to each other, are also of the same form. A general formula for the number of distinct representations of any positive integer in this form is conjectured. A comparison of the results with the properties of some other binary quadratic forms is given.


title: Mean Ramsey-Tur\'an numbers

abstract: A $\rho$-mean coloring of a graph is a coloring of the edges such that the average number of colors incident with each vertex is at most $\rho$. For a graph $H$ and for $\rho \geq 1$, the {\em mean Ramsey-Tur\'an number} $RT(n,H,\rho-mean)$ is the maximum number of edges a $\rho$-mean colored graph with $n$ vertices can have under the condition it does not have a monochromatic copy of $H$. It is conjectured that $RT(n,K_m,2-mean)=RT(n,K_m,2)$ where $RT(n,H,k)$ is the maximum number of edges a $k$ edge-colored graph with $n$ vertices can have under the condition it does not have a monochromatic copy of $H$. We prove the conjecture holds for $K_3$. We also prove that $RT(n,H,\rho-mean) \leq RT(n,K_{\chi(H)},\rho-mean)+o(n^2)$. This result is tight for graphs $H$ whose clique number equals their chromatic number. In particular we get that if $H$ is a 3-chromatic graph having a triangle then $RT(n,H,2-mean) = RT(n,K_3,2-mean)+o(n^2)=RT(n,K_3,2)+o(n^2)=0.4n^2(1+o(1))$.


title: A Geometric Approach to Complete Reducibility

abstract: Let G be a connected reductive linear algebraic group. We use geometric methods to investigate G-completely reducible subgroups of G, giving new criteria for G-complete reducibility. We show that a subgroup of G is G-completely reducible if and only if it is strongly reductive in G; this allows us to use ideas of R.W. Richardson and Hilbert--Mumford--Kempf from geometric invariant theory. We deduce that a normal subgroup of a G-completely reducible subgroup of G is again G-completely reducible, thereby providing an affirmative answer to a question posed by J.-P. Serre, and conversely we prove that the normalizer of a G-completely reducible subgroup of G is again G-completely reducible. Some rationality questions and applications to the spherical building of G are considered. Many of our results extend to the case of non-connected G.


title: Conic divisor classes over a normal monoid algebra

abstract: Let R=K[M] be a normal affine monoid algbera over a field K.Up to isomorphism the conic ideals are exactly the direct summands ofthe extension R^{1/n} of R. We show that the classes of the conic divisorial ideals can be identified with the full-dimensional open cells in a decomposition of a torus naturally associated with M. Furthermore, they can be characterized by the relative compactness of a certain group associated with them. Baetica has given examples of Cohen-Macaulay divisorial ideals that are not conic. Wereview his construction and streamline the arguments somewhat. In the last part of the paper we investigate the multiplicities ofthe conic classes in the decomposition of R^{1/n} as a function of n.This multiplicity turns out to be a quasi-polynomial for all n >= 1 counting the lattice points in the union of the interiors of certain cells of the complex mentioned above. This argument can be used for the computation of the Hilbert-Kunz multiplicity of R in characteristic p > 0. In addition it yields some assertions about the Hilbert-Kunz function of R.


title: Semisymmetric cubic graphs of twice odd order

abstract: The groups which can act semisymmetrically on a cubic graph of twice odd order are determined modulo a normal subgroup which acts semiregularly on the vertices of the graph.


abstract: A spherical polyhedron surface is a triangulated surface obtained by isometric gluing of spherical triangles. For instance, the boundary of a generic convex polytope in the 3-sphere is a spherical polyhedron surface. This paper investigates these surfaces from the point of view of inner angles. A rigidity result is obtained. A characterization of spherical polyhedron surfaces in terms of the triangulation and the angle assignment is established.


title: Finite-Dimensional Crystals B^{2,s} for Quantum Affine Algebras of type D_{n}^{(1)}

abstract: The Kirillov--Reshetikhin modules W^{r,s} are finite-dimensional representations of quantum affine algebras U'_q(g), labeled by a Dynkin node r of the affine Kac--Moody algebra g and a positive integer s. In this paper we study the combinatorial structure of the crystal basis B^{2,s} corresponding to W^{2,s} for the algebra of type D_n^{(1)}.


title: The octahedron recurrence and gl(n) crystals

abstract: We study the hive model of gl(n) tensor products, following Knutson, Tao, and Woodward. We define a coboundary category where the tensor product is given by hives and where the associator and commutor are defined using a modified octahedron recurrence. We then prove that this category is equivalent to the category of crystals for the Lie algebra gl(n). The proof of this equivalence uses a new connection between the octahedron recurrence and the Jeu de Taquin and Schutzenberger involution procedures on Young tableaux.


title: Limits in compact abelian groups

abstract: Let X be compact abelian group and G its dual (a discrete group). If B is an infinite subset of G, let C_B be the set of all x in X such that <phi(x) : phi \in B> converges to 1. If F is a free filter on G, let D_F be the union of all the C_B for B in F. The sets C_B and D_F are subgroups of X. C_B always has Haar measure 0, while the measure of D_F depends on F. We show that there is a filter F such that D_F has measure 0 but is not contained in any C_B. This generalizes previous results for the special case where X is the circle group.


title: Time-Dependent Solutions of a Discrete Schrodinger's Equation

abstract: By substituting the diagonal and the other two adjacent diagonals terms with two different functions depending on two parameters of the discrete Laplacian operator, the nature of its spectrum changes from being purely continuous to partially continuous. We present the existence of three isolated eigenvalues by altering those two parameters.


title: A combinatorial interpretation for a super-Catalan recurrence

abstract: Nicholas Pippenger and Kristin Schleich have recently given a combinatorial interpretation for the second-order super-Catalan numbers (u_{n})_{n>=0}=(3,2,3,6,14,36,...): they count "aligned cubic trees" on n internal vertices. Here we give a combinatorial interpretation of the recurrence u_{n} = Sum_{k=0}^{n/2-1} ({n-2}choose{2k} 2^{n-2-2k} u_{k}): it counts these trees by number of deep interior vertices where deep interior means "neither a leaf nor adjacent to a leaf".


title: Hermitian-holomorphic Deligne cohomology, Deligne pairing for singular metrics, and hyperbolic metrics

abstract: We introduce a model for Hermitian holormorphic Deligne cohomology on a projective algebraic manifold which allows to incorporate singular hermitian structures along a normal crossing divisor. In the case of a projective curve, the cup-product in cohomology is shown to correspond to a generalization of the Deligne pairing to line bundles with "good" hermitian metrics in the sense of Mumford and others. A particular case is that of the tangent bundle of the curve twisted by the negative of the singularity divisor of a hyperbolic metric: its cup square (corrected by the total area) is shown to be a functional whose extrema are the metrics of constant negative curvature.


title: Binary market models with memory

abstract: We construct a binary market model with memory that approximates a continuous-time market model driven by a Gaussian process equivalent to Brownian motion. We give a sufficient conditions for the binary market to be arbitrage-free. In a case when arbitrage opportunities exist, we present the rate at which the arbitrage probability tends to zero as the number of periods goes to infinity.


title: Representation theory of 2-groups on finite dimensional 2-vector spaces

abstract: In this paper, the 2-category $\mathfrak{Rep}_{{\bf 2Mat}_{\mathbb{C}}}(\mathbb{G})$ of (weak) representations of an arbitrary (weak) 2-group $\mathbb{G}$ on (some version of) Kapranov and Voevodsky's 2-category of (complex) 2-vector spaces is studied. In particular, the set of equivalence classes of representations is computed in terms of the invariants $\pi_0(\mathbb{G})$, $\pi_1(\mathbb{G})$ and $[\alpha]\in H^3(\pi_0(\mathbb{G}),\pi_1(\mathbb{G}))$ classifying $\mathbb{G}$. Also the categories of morphisms (up to equivalence) and the composition functors are determined explicitly. As a consequence, we obtain the the {\it monoidal} category of linear representations (more generally, the category of $[z]$-projective representations, for any given cohomology class $[z]\in H^2(\pi_0(\mathbb{G}),\mathbb{C}^*)) of the first homotopy group $\pi_0(\mathbb{G})$ as well as its category of representations on finite sets both live in $\mathfrak{Rep}_{{\bf 2Mat}_{\mathbb{C}}}(\mathbb{G})$, the first as the monoidal category of endomorphisms of the trivial representation (more generally, as the category of morphisms between suitable 1-dimensional representations) and the second as a subcategory of the homotopy category of $\mathfrak{Rep}_{{\bf 2Mat}_{\mathbb{C}}}(\mathbb{G})$.


title: Nonholonomic Clifford Structures and Noncommutative Riemann--Finsler Geometry

abstract: We survey the geometry of Lagrange and Finsler spaces and discuss the issues related to the definition of curvature of nonholonomic manifolds enabled with nonlinear connection structure. It is proved that any commutative Riemannian geometry (in general, any Riemann--Cartan space) defined by a generic off--diagonal metric structure (with an additional affine connection possessing nontrivial torsion) is equivalent to a generalized Lagrange, or Finsler, geometry modeled on nonholonomic manifolds. This results in the problem of constructing noncommutative geometries with local anisotropy, in particular, related to geometrization of classical and quantum mechanical and field theories, even if we restrict our considerations only to commutative and noncommutative Riemannian spaces. We elaborate a geometric approach to the Clifford modules adapted to nonlinear connections, to the theory of spinors and the Dirac operators on nonholonomic spaces and consider possible generalizations to noncommutative geometry. We argue that any commutative Riemann--Finsler geometry and generalizations my be derived from noncommutative geometry by applying certain methods elaborated for Riemannian spaces but extended to nonholonomic frame transforms and manifolds provided with nonlinear connection structure.


title: Perfect Delaunay Polytopes and Perfect Inhomogeneous Forms

abstract: A lattice Delaunay polytope D is called perfect if it has the property that there is a unique circumscribing ellipsoid with interior free of lattice points, and with the surface containing only those lattice points that are the vertices of D. An inhomogeneous quadratic form is called perfect if it is determined by such a circumscribing ''empty ellipsoid'' uniquely up to a scale factor. Perfect inhomogeneous forms are associated with perfect Delaunay polytopes in much the way that perfect homogeneous forms are associated with perfect point lattices. We have been able to construct some infinite sequences of perfect Delaunay polytopes, one perfect polytope in each successive dimension starting at some initial dimension; we have been able to construct an infinite number of such infinite sequences. Perfect Delaunay polytopes are intimately related to the theory of Delaunay polytopes, and to Voronoi's theory of lattice types.


title: Orbifold conformal blocks and the stack of pointed G-covers

abstract: Starting with a vertex algebra $V$, a finite group $G$ of automorphisms of $V$, and a suitable collection of twisted $V$--modules, we construct (twisted) $D$--modules on the stack of pointed $G$--covers, introduced by Jarvis, Kaufmann, and Kimura. The fibers of these sheaves are spaces of orbifold conformal blocks defined in joint work with Edward Frenkel. The key ingredient is a $G$--equivariant version of the Virasoro uniformization theorem.


title: D-module generation in positive characteristic via Frobenius descent

abstract: In this short note I give an alternative proof of a generalization of the result in math.AC/0407464. Namely I show that for most regular rings R, the localization R[1/f] at an element f of R is generated as a module over the ring of differential operators of R by 1/f itself. Due to the greater generality this answers some questions raised in math.AC/0407464. Some further generalizations and a brief discussion of the main technique (Frobenius descent) are also included.


title: Towards a Classification of Homogeneous Tube Domains in C^4

abstract: We classify the tube domains in C^4 with affinely homogeneous base whose boundary contains a non-degenerate affinely homogeneous hypersurface. It follows that these domains are holomorphically homogeneous and amongst them there are four new examples of unbounded homogeneous domains (that do not have bounded realisations). These domains lie to either side of a pair of Levi-indefinite hypersurface. Using the geometry of these two hypersurfaces, we find the automorphism groups of the domains.


title: Explicit lower bounds on the modular degree of an elliptic curve

abstract: We derive an explicit zero-free region for symmetric square L-functions of elliptic curves, and use this to derive an explicit lower bound for the modular degree of rational elliptic curves. The techniques are similar to those used in the classical derivation of zero-free regions for Dirichlet L-functions, but here, due to the work of Goldfield-Hoffstein-Lieman, we know that there are no Siegel zeros, which leads to a strengthened result.


title: Symmetry theorems for Ext vanishing

abstract: It was proved by Avramov and Buchweitz that if A is a commutative local complete intersection ring with finitely generated modules M and N, then the Ext groups between M and N vanish from some step if and only if the Ext groups between N and M vanish from some step. This paper shows that the same is true under the weaker conditions that A is Gorenstein and that M and N have finite complete intersection dimension. The result is also proved if A is Gorenstein and has finite Cohen-Macaulay type. Similar results are given for two types of non-commutative rings: Frobenius algebras and complete semi-local algebras.


title: Dual random fragmentation and coagulation and an application to the genealogy of Yule processes

abstract: The purpose of this work is to describe a duality between a fragmentation associated to certain Dirichlet distributions and a natural random coagulation. The dual fragmentation and coalescent chains arising in this setting appear in the description of the genealogy of Yule processes.


title: Discrete logarithms in free groups

abstract: For the free group on n generators we prove that the discrete logarithm is distributed according to the standard Gaussian when the logarithm is renormalized appropriately.


title: Relations for virtual fundamental classes of Hilbert schemes of curves on surfaces

abstract: In [DKO] we constructed virtual fundamental classes $[[ Hilb^m_V ]]$ for Hilbert schemes of divisors of topological type m on a surface V, and used these classes to define the Poincare invariant of V: (P^+_V,P^-_V): H^2(V,Z) --> \Lambda^* H^1(V,Z) x \Lambda^* H^1(V,Z) We conjecture that this invariant coincides with the full Seiberg-Witten invariant computed with respect to the canonical orientation data. In this note we prove that the existence of an integral curve $C \subset V$ induces relations between some of these virtual fundamental classes $[[Hilb^m_V ]]$. The corresponding relations for the Poincare invariant can be considered as algebraic analoga of the fundamental relations obtained in [OS].


title: Poincare invariants

abstract: We construct an obstruction theory for relative Hilbert schemes in the sense of Behrend-Fantechi and compute it explicitly for relative Hilbert schemes of divisors on smooth projective varieties. In the special case of curves on a surface V, our obstruction theory determines a virtual fundamental class $[[ \Hilb^m_V ]]$, which we use to define Poincare invariants (P^+_V,P^-_V): H^2(V,Z) --> \Lambda^* H^1(V,Z) x \Lambda^* H^1(V,Z). These maps are invariant under deformations, satisfy a blow-up formula, and a wall crossing formula for surfaces with $p_g(V)=0$. We determine the invariants completely for ruled surfaces, and rederive from this classical results of Nagata and Lange. The invariant $(P^+_V,P^-_V)$ of an elliptic fibration is computed in terms of its multiple fibers. We conjecture that our Poincare invariants coincide with the full Seiberg-Witten invariants of Okonek-Teleman computed with respect to the canonical orientation data. The main evidence for this conjecture is based on the existence of an Kobayashi-Hitchin isomorphism which identifies the moduli spaces of monopoles with the corresponding Hilbert schemes. We expect that this isomorphism identifies also the corresponding virtual fundamental classes. This more conceptual conjecture is true in the smooth case.


title: The Geometry of an Equifacetal Simplex

abstract: Equifacetal simplices, all of whose codimension one faces are congruent to one another, are studied. It is shown that the isometry group of such a simplex acts transitively on its set of vertices, and, as an application, equifacetal simplices are shown to have unique centers. It is conjectured that a simplex with a unique center must be equifacetal. The notion of the combinatorial type of an equifacetal simplex is introduced and analyzed, and all possible combinatorial types of equifacetal simplices are constructed in even dimensions.


title: Embedded Surfaces in the 3-Torus

abstract: Those maps of a closed surface to the three-dimensional torus that are homotopic to embeddings are characterized. Particular attention is paid to the somewhat intricate case when the surface is nonorientable.


title: A note on an example by van Mill

abstract: Improving on an earlier example by J. van Mill, we prove that there exists a zero-dimensional compact space of countable pi-weight and uncountable character which is homogeneous under MA+notCH, but not under CH.


title: Ergodic Dynamics of the Coupled Quasigeostrophic Flow-Energy Balance System

abstract: The authors consider a mathematical model for the coupled atmosphere-ocean system, namely, the coupled quasigeostrophic flow-energy balance model. This model consists of the large scale quasigeostrophic oceanic flow model and the transport equation for oceanic temperature, coupled with an atmospheric energy balance model. After reformulating this coupled model as a random dynamical system (cocycle property), it is shown that the coupled quasigeostrophic-energy balance fluid system has a random attractor, and under further conditions on the physical data and the covariance of the noise, the system is ergodic, namely, for any observable of the coupled atmosphere-ocean flows, its time average approximates the statistical ensemble average, as long as the time interval is sufficiently long.


title: Oriented straight lines and twistor correspondence

abstract: The tangent bundle to the $n$--dimensional sphere is the space of oriented lines in $\R^{n+1}$. We characterise the smooth sections of $TS^n\to S^n$ which correspond to points in $\R^{n+1}$ as gradients of eigenfunctions of the Laplacian on $S^n$ with eigenvalue $n$. The special case of $n=6$ and its connection with almost complex geometry is discussed.


title: Deformations of asymptotically cylindrical coassociative submanifolds with fixed boundary

abstract: McLean proved that the moduli space of coassociative deformations of a compact coassociative 4-submanifold C in a G_2-manifold (M,phi,g) is a smooth manifold of dimension equal to b^2_+(C). In this paper, we show that the moduli space of coassociative deformations of a noncompact, asymptotically cylindrical coassociative 4-fold C in an asymptotically cylindrical G_2-manifold (M,phi,g) is also a smooth manifold. Its dimension is the dimension of the positive subspace of the image of H^2_cs(C,R) in H^2(C,R).


title: Notes on functions on the unit disk

abstract: In these notes we consider power series representations of functions on the unit disk in the complex plane which define harmonic and holomorphic functions and related matters concerning boundary values, Poisson kernels, and so on.


title: The Fundamental Theorem of prehomogeneous vector spaces modulo $p^m$. With an appendix "L-functions of prehomogeneous vector spaces" by Fumihiro Sato

abstract: For a number field $K$ with ring of integers ${\mathcal O}_K$, we prove an analogue over finite rings of the form ${\mathcal O}_K/{\mathcal P}^m$ of the Fundamental Theorem on the Fourier transform of a relative invariant of prehomogeneous vector spaces, where ${\mathcal P}$ is a big enough prime ideal of ${\mathcal O}_K$ and $m>1$. In the appendix, F. Sato gives an application of the Theorems A, B and the Theorems A, B, C in J. Denef and A. Gyoja [\emph{Character sums associated to prehomogeneous vector spaces}, Compos. Math., \textbf{113} (1998) 237--346] to the functional equation of $L$-functions of Dirichlet type associated with prehomogeneous vector spaces.


title: SPDEs with coloured noise: Analytic and stochastic approaches

abstract: We study strictly parabolic stochastic partial differential equations on $\R^d$, $d\ge 1$, driven by a Gaussian noise white in time and coloured in space. Assuming that the coefficients of the differential operator are random, we give sufficient conditions on the correlation of the noise ensuring H\"older continuity for the trajectories of the solution of the equation. For self-adjoint operators with deterministic coefficients, the mild and weak formulation of the equation are related, deriving path properties of the solution to a parabolic Cauchy problem in evolution form.


title: On the behaviour of root numbers in families of elliptic curves

abstract: Let E be a one-parameter family of elliptic curves over Q. We prove that the average root number is zero for a large class of families of elliptic curves of fairly general type. Furthermore, we show that any family E with at least one point of multiplicative reduction over Q(t) has average root number 0, provided that two classical arithmetical conjectures hold for two polynomials constructed explicitly in terms of E. The behaviour of the root number in any family E without multiplicative reduction over Q(t) is shown to be rather regular and non-random; we give expressions for the average root number in this case.


title: The parity problem for reducible cubic forms

abstract: Let f in Z[x,y] be a reducible homoegeneous polynomial of degree 3. We show that f(x,y) has an even number of prime factors as often as an odd number of prime factors.


title: The index of reducibility of parameter ideals in low dimension

abstract: Results are presented concerning the following question: If M is a finitely-generated module with finite local cohomologies over a Noetherian local ring (A, m), does there exist an integer n such that every parameter ideal for M contained in m^n has the same index of reducibility? We show that the answer is yes if M has dimension 1 or if M has dimension 2 and positive depth. This research is closely related to work of Goto-Suzuki and Goto-Sakurai; Goto-Sakurai have supplied an answer of yes in case M is Buchsbaum.


title: Is Complexity a Source of Incompleteness?

abstract: In this paper we prove Chaitin's ``heuristic principle'', {\it the theorems of a finitely-specified theory cannot be significantly more complex than the theory itself}, for an appropriate measure of complexity. We show that the measure is invariant under the change of the G\"odel numbering. For this measure, the theorems of a finitely-specified, sound, consistent theory strong enough to formalize arithmetic which is arithmetically sound (like Zermelo-Fraenkel set theory with choice or Peano Arithmetic) have bounded complexity, hence every sentence of the theory which is significantly more complex than the theory is unprovable. Previous results showing that incompleteness is not accidental, but ubiquitous are here reinforced in probabilistic terms: the probability that a true sentence of length $n$ is provable in the theory tends to zero when $n$ tends to infinity, while the probability that a sentence of length $n$ is true is strictly positive.


title: Stability of Lewis and Vogel's result

abstract: Lewis and Vogel proved that a bounded domain whose Poisson kernel is constant and whose surface measure to the boundary has at most Euclidean growth is a ball. In this paper we show that this result is stable under small perturbations. In particular a bounded domain whose Poisson kernel is smooth and close to a constant, and whose surface measure to the boundary has at most Euclidean growth is a smooth deformation of a ball.


title: Learning a Machine for the Decision in a Partially Observable Markov Universe

abstract: In this paper, we are interested in optimal decisions in a partially observable Markov universe. Our viewpoint departs from the dynamic programming viewpoint: we are directly approximating an optimal strategic tree depending on the observation. This approximation is made by means of a parameterized probabilistic law. In this paper, a particular family of hidden Markov models, with input and output, is considered as a learning framework. A method for optimizing the parameters of these HMMs is proposed and applied. This optimization method is based on the cross-entropic principle.


title: A degeneration formula of Gromov-Witten invariants with respect to a curve class for degenerations from blow-ups

abstract: In two very detailed, technical, and fundamental works, Jun Li constructed a theory of Gromov-Witten invariants for a singular scheme of the gluing form $Y_1\cup_D Y_2$ that arises from a degeneration $W/{\Bbb A}^1$ and a theory of relative Gromov-Witten invariants for a codimension-1 relative pair $(Y,D)$. As a summit, he derived a degeneration formula that relates a finite summation of the usual Gromov-Witten invariants of a general smooth fiber $W_t$ of $W/{\Bbb A}^1$ to the Gromov-Witten invariants of the singular fiber $W_0=Y_1\cup_D Y_2$ via gluing the relative pairs $(Y_1,D)$ and $(Y_2,D)$. The finite sum mentioned above depends on a relative ample line bundle $H$ on $W/{\Bbb A}^1$. His theory has already applications to string theory and mathematics alike. For other new applications of Jun Li's theory, one needs a refined degeneration formula that depends on a curve class $\beta$ in $A_{\ast}(W_t)$ or $H_2(W_t;{\Bbb Z})$, rather than on the line bundle $H$. Some monodromy effect has to be taken care of to deal with this. For the simple but useful case of a degeneration $W/{\Bbb A}^1$ that arises from blowing up a trivial family $X\times{\Bbb A}^1$, we explain how the details of Jun Li's work can be employed to reach such a desired degeneration formula. The related set $\Omega_{(g,k;\beta)}$ of admissible triples adapted to $(g,k;\beta)$ that appears in the formula can be obtained via an analysis on the intersection numbers of relevant cycles and a study of Mori cones that appear in the problem. This set is intrinsically determined by $(g,k;\beta)$ and the normal bundle ${\cal N}_{Z/X}$ of the smooth subscheme $Z$ in $X$ to be blown up.


title: Un Critere D'Isotrivialite Pour Les Familles De Varietes Hyperk\"{a}hleriennes Sans Facteur Algebrique

abstract: We show the isotriviality of families of simply-connected hyperk\" ahler manifolds without algebraic factor, and general tori,provided the total space of the family is compact K\" ahler.


title: Weighted L^2-cohomology of Coxeter groups based on barycentric subdivisons

abstract: Associated to any finite flag complex L there is a right-angled Coxeter group W_L and a contractible cubical complex Sigma_L (the Davis complex) on which W_L acts properly and cocompactly, and such that the link of each vertex is L. It follows that if L is a generalized homology sphere, then Sigma_L is a contractible homology manifold. We prove a generalized version of the Singer Conjecture (on the vanishing of the reduced weighted L^2_q-cohomology above the middle dimension) for the right-angled Coxeter groups based on barycentric subdivisions in even dimensions. We also prove this conjecture for the groups based on the barycentric subdivision of the boundary complex of a simplex.


title: Stability of undercompressive shock profiles

abstract: Using a simplified pointwise iteration scheme, we establish nonlinear phase-asymptotic orbital stability of large-amplitude Lax, undercompressive, overcompressive, and mixed under--overcompressive type shock profiles of strictly parabolic systems of conservation laws with respect to initial perturbations $|u_0(x)|\le E_0 (1+|x|)^{-3/2}$ in $C^{0+\alpha}$, $E_0$ sufficiently small, under the necessary conditions of spectral and hyperbolic stability together with transversality of the connecting profile. This completes the program initiated by Zumbrun and Howard in \cite{ZH}, extending to the general undercompressive case results obtained for Lax and overcompressive shock profiles in \cite{SzX}, \cite{L}, \cite{ZH}, \cite{Z.2}, \cite{Ra}, \cite{MZ.1}--\cite{MZ.5}, and for special undercompressive profiles in \cite{LZ.1}--\cite{LZ.2}, \cite{HZ}. In particular, together with spectral results of \cite{Z.6}, our results yield nonlinear stability of large-amplitude undercompressive phase-transitional profiles near equilibrium of Slemrod's model \cite{Sl.5} for van der Waal gas dynamics or elasticity with viscosity--capillarity.


title: Disintegration of projective measures

abstract: In this paper, we study a class of quasi-invariant measures on paths generated by discrete dynamical systems. Our main result characterizes the subfamily of these measures which admit a certain desintegration. This is a desintegration with respect to a random walk Markov process which is indexed by the starting point of the paths. Our applications include wavelet constructions on Julia sets of rational maps on the Riemann sphere.


title: Isospectral metrics and potentials on classical compact simple Lie groups

abstract: We prove the existence of multiparameter isospectral deformations of metrics on SO(n) $(n = 9$ and $n\geq 11)$, SU(n) $(n\geq 8)$, and $Sp(n)$ $(n\geq 4)$. For these examples, we follow a metric construction developed by Schueth who had given one-parameter families of isospectral metrics on orthogonal and unitary groups. Our multiparameter families are obtained by a new proof of nontriviality establishing a generic condition for nonisometry of metrics arising from the construction. We also show the existence of non-congruent pairs of isospectral potentials and nonisometric pairs of isospectral conformally equivalent metrics on $Sp(n)$ for $n\geq 6$.


title: Root numbers and ranks in positive characteristic

abstract: For a global field K and an elliptic curve E_eta over K(T), Silverman's specialization theorem implies that rank(E_eta(K(T))) <= rank(E_t(K)) for all but finitely many t in P^1(K). If this inequality is strict for all but finitely many t, the elliptic curve E_eta is said to have elevated rank. All known examples of elevated rank for K=Q rest on the parity conjecture for elliptic curves over Q, and the examples are all isotrivial. Some additional standard conjectures over Q imply that there does not exist a non-isotrivial elliptic curve over Q(T) with elevated rank. In positive characteristic, an analogue of one of these additional conjectures is false. Inspired by this, for the rational function field K = kappa(u) over any finite field kappa with odd characteristic, we construct an explicit 2-parameter family E_{c,d} of non-isotrivial elliptic curves over K(T) (depending on arbitrary c, d in kappa^*) such that, under the parity conjecture, each E_{c,d} has elevated rank.


title: Basic analytic number theory

abstract: We give an informal introduction to the most basic techniques used to evaluate moments on the critical line of the Riemann zeta-function and to find asymptotics for sums of arithmetic functions.


title: Depth Two and the Galois Coring

abstract: We study the cyclic module ${}_SR$ for a ring extension $A \| B$ with centralizer $R$ and bimodule endomorphism ring $S = End {}_BA_B$. We show that if $A \| B$ is an H-separable Hopf subalgebra, then $B$ is a normal Hopf subalgebra of $A$. We observe from math.RA/0107064 and math.RA/0108067 depth two in the role of noncommutative normality (as in field theory) in a depth two separable Frobenius characterization of irreducible semisimple-Hopf-Galois extensions. We prove that a depth two extension has a Galois $A$-coring structure on $A \o_R T$ where $T$ is the right $R$-bialgebroid dual to $S$.


title: Triangulations of 3-dimensional pseudomanifolds with an application to state-sum invariants

abstract: We demonstrate the triangulability of compact 3-dimensional topological pseudomanifolds and study the properties of such triangulations, including the Hauptvermutung and relations by Alexander star moves and Pachner bistellar moves. We also provide an application to state-sum invariants of 3-dimensional topological pseudomanifolds


title: Stochastic Loewner evolution in multiply connected domains

abstract: We construct radial stochastic Loewner evolution in multiply connected domains, choosing the unit disk with concentric circular slits as a family of standard domains. The natural driving function or input is a diffusion on the associated Teichm\"uller space. The diffusion stops when it reaches the boundary of the Teichm\"uller space. We show that for this driving function the family of random growing compacts has a phase transition for $\kappa=4$ and $\kappa=8$, and that it satisfies locality for $\kappa=6$.


title: Semiconjugacy of Quasiperiodic Flows and Finite Index Subgroups of Multiplier Groups

abstract: It will be shown that if $\phi$ is a quasiperiodic flow on the $n$-torus that is algebraic, if $\psi$ is a flow on the $n$-torus that is smoothly conjugate to a flow generated by a constant vector field, and if $\phi$ is smoothly semiconjugate to $\psi$, then $\psi$ is a quasiperiodic flow that is algebraic, and the multiplier group of $\psi$ is a finite index subgroup of the multiplier group of $\phi$. This will partially establish a conjecture that asserts that a quasiperiodic flow on the $n$-torus is algebraic if and only if its multiplier group is a finite index subgroup of the group of units of the ring of integers in a real algebraic number field of degree $n$.


title: Trisections and Totally Real Origami

abstract: We introduce a trisection axiom for mathematical origami and descibe the totally real origami numbers. We also discuss the solution of Alhazen's problem and its relation to trisections.


title: Nonvanishing of algebraic entropy for geometrically finite groups of isometries of Hadamard manifolds

abstract: We prove that any geometrically finite (nonelementary) group of isometries of a pinched Hadamard manifold has uniform exponential growth.


title: Density of the SO(3) TQFT representation of mapping class groups

abstract: We show that for an odd prime r > 3 and an integer g > 1, in the projective representation given by the SO(3) Witten-Chern-Simons theory at an rth root of unity, the image of the mapping class group of a surface of genus g is dense.


title: A functorial approach to modules of G-dimension zero

abstract: Let $R$ be a commutative Noetherian ring and let $\G$ be the category of modules of G-dimension zero over $R$. We denote the associated stable category by $\pG$. We show that the functor category $\modpG$ is a Frobenius category and we argue how this property could characterize $\G$ as a subcategory of $\modR$.


title: Cofiniteness of generalized local cohomology modules

abstract: Let $\fa$ denote an ideal of a commutative Noetherian ring $R$ and $M$ and $N$ two finitely generated $R$-modules with $\pd M< \infty$. It is shown that if $\fa$ is principal or $R$ is complete local and $\fa$ a prime ideal with $\dim R/\fa=1$, then the generalized local cohomology module $H^i_{\fa}(M,N)$ is $\fa$-cofinite for all $i \geq 0$. This provides an affirmative answer for the above ideal $\fa$ to a question proposed in [{\bf 13}].


title: On extensions and branching rules for modules close to completely splittable

abstract: New exact modular branching rules are obtained for modules over the symmetric groups that are close to completely splittable modules. These results are based on some upper bounds for the Ext^1-spaces between simple modules.


title: Eigenvalues of Large Sample Covariance Matrices of Spiked Population Models

abstract: We consider a spiked population model, proposed by Johnstone, whose population eigenvalues are all unit except for a few fixed eigenvalues. The question is to determine how the sample eigenvalues depend on the non-unit population ones when both sample size and population size become large. This paper completely determines the almost sure limits for a general class of samples.


title: A salad of cocycles

abstract: We study the centraliser of locally compact group extensions of ergodic probability preserving transformations. New methods establishing ergodicity of group extensions are introduced, and new examples of squashable and non-coalescent group extensions are constructed. Smooth versions of some of the constructions are also given.


title: Companion forms over totally real fields

abstract: We show that if F is a totally real field in which p splits completely and f is a mod p Hilbert modular form with parallel weight 2<k<p, which is totally ordinary at p and has tamely ramified Galois representation at all primes dividing p, then there is a "companion form" of parallel weight k':=p+1-k. This work generalises results of Gross and Coleman-Voloch for modular forms over Q.


title: Siegel's theorem and the abc conjecture

abstract: Following N. Elkies ("ABC implies Mordell") we show that the abc conjecture of Masser-Oesterle implies an effective version of Siegel's theorem about integral points on algebraic curves, i.e. an upper bound for the S-integral points where the dependence on S is explicit. The converse statement is also announced in this note. For both results, the main geometric tool is a theorem of G.V. Belyi.


title: Reciprocal domains and Cohen-Macaulay $d$-complexes in $R^d$

abstract: We extend a reciprocity theorem of Stanley about enumeration of integer points in polyhedral cones when one exchanges strict and weak inequalities. The proof highlights the roles played by Cohen-Macaulayness and canonical modules. The extension raises the issue of whether a Cohen-Macaulay complex of dimension d embedded piecewise-linearly in d-space is necessarily a d-ball. This is observed to be true for d at most 3, but false for d=4.


title: Finitely ramified iterated extensions

abstract: Let K be a number field, t a parameter, F=K(t) and f in K[x] a polynomial of degree d. The polynomial P_n(x,t)= f^n(x) - t in F[x] where f^n is the n-fold iterate of f, is absolutely irreducible over F; we compute a recursion for its discriminant. Let L=L(f) be the field obtained by adjoining to F all roots, in a fixed algebraic closure, of P_n for all n; its Galois group Gal(L/F) is the iterated monodromy group of f. The iterated extension L/F is finitely ramified if and only if f is post-critically finite (pcf). We show that, moreover, for pcf polynomials f, every specialization of L/F at t=t_0 in K is finitely ramified over K, pointing to the possibility of studying Galois groups with restricted ramification via tree representations associated to iterated monodromy groups of pcf polynomials. We discuss the wildness of ramification in some of these representations, describe prime decomposition in terms of certain finite graphs, and also give some examples of monogene number fields.


title: Reductions of Young tableau bijections

abstract: We introduce notions of linear reduction and linear equivalence of bijections for the purposes of study bijections between Young tableaux. Originating in Theoretical Computer Science, these notions allow us to give a unified view of a number of classical bijections, and establish formal connections between them.


title: On the reduction of the multidimensional Schroedinger equation to a first order equation and its relation to the pseudoanalytic function theory

abstract: Given a particular solution of a one-dimensional stationary Schroedinger equation (SE) this equation of second order can be reduced to a first order linear differential equation. This is done with the aid of an auxiliary Riccati equation. We show that a similar fact is true in a multidimensional situation also. We consider the case of two or three independent variables. One particular solution of (SE) allows us to reduce this second order equation to a linear first order quaternionic differential equation. As in one-dimensional case this is done with the aid of an auxiliary Riccati equation. The resulting first order quaternionic equation is equivalent to the static Maxwell system. In the case of two independent variables it is the Vekua equation from theory of generalized analytic functions. We show that even in this case it is necessary to consider not complex valued functions only, solutions of the Vekua equation but complete quaternionic functions. Then the first order quaternionic equation represents two separate Vekua equations, one of which gives us solutions of (SE) and the other can be considered as an auxiliary equation of a simpler structure. For the auxiliary equation we always have the corresponding Bers generating pair, the base of the Bers theory of pseudoanalytic functions, and what is very important, the Bers derivatives of solutions of the auxiliary equation give us solutions of the main Vekua equation and as a consequence of (SE). We obtain an analogue of the Cauchy integral theorem for solutions of (SE). For an ample class of potentials (which includes for instance all radial potentials), this new approach gives us a simple procedure allowing to obtain an infinite sequence of solutions of (SE) from one known particular solution.


title: Limits of dense graph sequences

abstract: We show that if a sequence of dense graphs has the property that for every fixed graph F, the density of copies of F in these graphs tends to a limit, then there is a natural ``limit object'', namely a symmetric measurable 2-variable function on [0,1]. This limit object determines all the limits of subgraph densities. We also show that the graph parameters obtained as limits of subgraph densities can be characterized by ``reflection positivity'', semidefiniteness of an associated matrix. Conversely, every such function arises as a limit object. Along the lines we introduce a rather general model of random graphs, which seems to be interesting on its own right.


title: The densest lattice in twenty-four dimensions

abstract: In this research announcement we outline the methods used in our recent proof that the Leech lattice is the unique densest lattice in R^24. Complete details will appear elsewhere, but here we illustrate our techniques by applying them to the case of lattice packings in R^2, and we discuss the obstacles that arise in higher dimensions.


title: The ratio of two zeta-determinants of Dirac Laplacians associated with unitary involutions on a compact manifold with cylindrical end

abstract: Given two unitary involutions $\sigma_{1}$ and $\sigma_{2}$ satisfying $G \sigma_{i} = - \sigma_{i} G$ on $ker B$ on a compact manifold with cylindrical end, M. Lesch, K. Wojciechowski ([LW]) and W. M\"uller ([M]) established the formula describing the difference of two eta-invariants with the APS boundary conditions associated with $\sigma_{1}$ and $\sigma_{2}$. In this paper we establish the analogous formula for the zeta-determinants of Dirac Laplacians. For the proof of the result we use the Burghelea-Friedlander-Kappeler's gluing formula for zeta-determinants and the scattering theory developed by W. M\"uller in [M]. This result was also obtained independently by J. Park and K. Wojciechowski ([PW2]).