title: Noncommutative integrability on noncompact invariant manifolds

abstract: The Mishchenko-Fomenko theorem on noncommutative integrability of Hamiltonian systems on a symplectic manifold is extended to the case of noncompact invariant submanifolds.


title: On an order based construction of a groupoid from an inverse semigroup

abstract: We present a construction, which assigns two groupoids, $\Gugamma$ and $\Gmgamma$, to an inverse semigroup $\Gamma$. By definition, $\Gmgamma$ is a subgroupoid (even a reduction) of $\Gugamma$. The construction unifies known constructions for groupoids. More precisely, the groupoid $\Gugamma$ is shown to be isomorphic to the universal groupoid of $\Gamma$ introduced by Paterson. For $\Gamma$ arising from graphs resp. tilings, the groupoid $\Gmgamma$ is the graph groupoid introduced by Kumjian et al. resp. the tiling groupoid introduced by Kellendonk. We obtain a characterisation of open invariant sets in $\Gmgamma^{(0)}$ in terms of certain order ideals of $\Gammanull$ for a large class of $\Gamma$ (including those arising from graphs and from tilings). If $\Gmgamma$ is essentially principal this gives a characterization of the ideal structure of $\Cred(\Gmgamma)$ by a theory of Renault. In particular, we then obtain necessary and sufficient conditions on $\Gamma$ for simplicity of $\Cred(\Gmgamma)$. Our approach relies on a detailed analysis of the order structure of $\Gamma$.


title: The coding of compact real trees by real valued functions

abstract: This paper is a detailled study of the coding of real trees by real valued functions that is motivated by probabilistic problems related to continuum random trees. Indeed it is known since the works of Aldous (1993) and Le Gall (1991) that a continuous non-negative function $h$ on $[0,1]$ such that $h(0)=0$ can be seen as the contour process of a compact real tree. This particular coding of a compact real tree provides additional structures, namely a root that is the vertex corresponding to $0\in [0,1]$, a linear order inherited from the usual order on $[0,1]$ and a measure induced by the Lebesgue measure on $[0,1]$; of course, the root, the linear order and the measure obtained by such a coding have to satisfy some compatibility conditions. In this paper, we prove that any compact real tree equipped with a root, a linear order and a measure that are compatible can be encoded by a non-negative function $h$ defined on a finite interval $[0, M]$, that is assumed to be left-continuous with right-limit, without positive jump and such that $h(0+)=h(0)=0$. Moreover, this function is unique if we assume that the exploration of the tree induced by such a coding backtracks as less as possible. We also prove that a measure-change on the tree corresponds to a re-parametrization of the coding function. In addition, we describe several path-properties of the coding function in terms of the metric properties of the real tree.


title: Heegner points and the rank of elliptic curves over large extensions of global fields

abstract: Let k be a global field, $\bar{k}$ a separable closure of k, and $G_k$ the absolute Galois group $\Gal(\bar{k}/k)$ of $\bar{k}$ over k. For every g in $G_k$, let $\bar{k}^g$ be the fixed subfield of $\bar{k}$ under g. Let E/k be an elliptic curve over k. We show that for each g in $G_k$, the Mordell-Weil group $E(\bar{k}^g)$ has infinite rank in the following two cases. Firstly when k is a global function field of odd characteristic and E is parametrized by a Drinfeld modular curve, and secondly when k is a totally real number field and E/k is parametrized by a Shimura curve. In both cases our approach uses the non-triviality of a sequence of Heegner points on E defined over ring class fields.


title: Seminormal forms and Gram determinants for cellular algebras

abstract: This paper develops an abstract framework for constructing ``seminormal forms'' for cellular algebras. That is, given a cellular R-algebra A which is equipped with a family of JM-elements we give a general technique for constructing orthogonal bases for A, and for all of its irreducible representations, when the JM-elements separate A. The seminormal forms for A are defined over the field of fractions of R. Significantly, we show that the Gram determinant of each irreducible A-module is equal to a product of certain structure constants coming from the seminormal basis of A. In the non-separated case we use our seminormal forms to give an explicit basis for a block decomposition of A. The appendix, by Marcos Soriano, gives a general construction of a complete set of orthogonal idempotents for an algera starting from a set of elements which act on the algebra in an upper triangular fashion. The appendix shows that constructions with "Jucys-Murphy elements"depend, ultimately, on the Cayley-Hamilton theorem.


title: Rotation numbers in Thompson-Stein groups and applications

abstract: We study the properties of rotation numbers for some groups of piecewise linear homeomorphisms of the circle. We use these properties to obtain results on PL rigidity, non isomorphicity, non exoticity of automorphisms, non smoothability for Thompson-Stein groups.


title: On the future infimum of positive self-similar Markov processes

abstract: We establish integral tests and laws of the iterated logarithm for the upper envelope of the future infimum of positive self-similar Markov processes and for increasing self-similar Markov processes at 0 and infinity. Our proofs are based on the Lamperti representation and time reversal arguments due to Chaumont and Pardo [9]. These results extend laws of the iterated logarithm for the future infimum of Bessel processes due to Khoshnevisan et al. [11].


title: On the parallelepipeds in algebra and topology

abstract: In this paper we classify the closed orientable manifolds of arbitrary dimension.


title: The d-bar-Cauchy problem and nonexistence of Lipschitz Levi-flat hypersurfaces in CP^n with n>= 3

abstract: A Lipschitz hypersurface is a hypersurface which locally is the graph of a Lipschitz function. A Lipschitz (or C^1) hypersurface is said to be Levi-flat if it is locally foliated by complex manifolds of complex dimension (n-1). We shall prove that there exist no Lipschitz Levi-flat hypersurfaces in CP^n with n >= 3. Our new estimates on the d-bar-Cauchy problems are different from the earlier Siu's integral kernal method.


title: 2nd-order symmetric Lorentzian manifolds I: characterization and general results

abstract: The n-dimensional Lorentzian manifolds with vanishing second covariant derivative of the Riemann tensor (2-symmetric spacetimes) are characterized and classified. The main result is that either they are locally symmetric or they have a covariantly constant null vector field, in this case defining a subfamily of Brinkmann's class in n dimensions. Related issues and applications are considered, and new open questions presented.


title: Noncommutative geometry on trees and buildings

abstract: We describe the construction of theta summable and finitely summable spectral triples associated to Mumford curves and some classes of higher dimensional buildings. The finitely summable case is constructed by considering the stabilization of the algebra of the dual graph of the special fiber of the Mumford curve and a variant of the Antonescu-Christensen spectral geometries for AF algebras. The information on the Schottky uniformization is encoded in the spectral geometry through the Patterson-Sullivan measure on the limit set. Some higher rank cases are obtained by adapting the construction for trees.


title: Stabilizing Heegaard splittings of toroidal 3-manifolds

abstract: Let $T$ be a separating incompressible torus in a 3-manifold $M$. Assuming that a genus $g$ Heegaard splitting $V \cup_S W$ can be positioned nicely with respect to $T$ (e.g. $V \cup_S W$ is strongly irreducible), we obtain an upper bound on the number of stabilizations required for $V \cup_S W$ to become isotopic to a Heegaard splitting which is an amalgamation along $T$. In particular, if $T$ is a canonical torus in the JSJ decomposition of $M$, then the number of necessary stabilizations is at most $4g-4$. As a corollary, this establishes an upper bound on the number of stabilizations required for $V \cup_S W$ and any Heegaard splitting obtained by a Dehn twist of $V \cup_S W$ along $T$ to become isotopic.


title: Stabilizations of Heegaard splittings of graph manifolds

abstract: We show that after one stabilization, a strongly irreducible Heegaard splitting of suitably large genus of a graph manifold is isotopic to an amalgamation along a modified version of the system of canonical tori in the JSJ decomposition. As a corollary, two strongly irreducible Heegaard splittings of a graph manifold of suitably large genus are isotopic after at most one stabilization of the higher genus splitting.


title: Explicit solutions for a nonlinear model of financial derivatives

abstract: Families of explicit solutions are found to a nonlinear Black-Scholes equation which incorporates the feedback-effect of a large trader in case of market illiquidity. The typical solution of these families will have a payoff which approximates a strangle. These solutions were used to test numerical schemes for solving a nonlinear Black-Scholes equation.


title: Holomorphic curves in complex spaces

abstract: We study the existence of topologically closed complex curves normalized by bordered Riemann surfaces in complex spaces. Our main result is that such curves abound in any noncompact complex space admitting an exhaustion function whose Levi form has at least two positive eigenvalues at every point outside a compact set, and this condition is essential. The proof involves a lifting method for the boundary of the curve and a newly developed technique of gluing holomorphic sprays over Cartan pairs in Stein manifolds whose value lie in a complex space, with control up to the boundary of the domains. (The latter technique is also exploited in the subsequent papers math.CV/0607185 and math.CV/0609706.) We also prove that any compact complex curve with C^2 boundary in a complex space admits a basis of open Stein neighborhoods. In particular, an embedded disc of class C^2 with holomorphic interior in a complex manifold admits a basis of open polydisc neighborhoods.


title: Sums of arithmetic functions over values of binary forms

abstract: Given a suitable arithmetic function h, we investigate the average order of h as it ranges over the values taken by an integral binary form F. A general upper bound is obtained for this quantity, in which the dependence upon the coefficients of F is made completely explicit.


title: A Schur-Horn type theorem for II$_1$ factors

abstract: Given a II$_1$ factor M and a masa A of M, we prove a version of the Schur-Horn Theorem, together with a contractive version. These results are inspired on a recent conjecture of Arveson and Kadison (math.OA/0508482).


title: The characteristic class and ramification of an l-adic etale sheaf

abstract: We introduce the characteristic class of an l-adic etale sheaf using a cohomological pairing due to Verdier (SGA5). As a consequence of the Lefschetz-Verdier trace formula, its trace computes the Euler-Poincare characteristic of the sheaf. We compare the characteristic class to two other invariants arising from ramification theory. One is the Swan class of Kato-Saito (math.AG/0402010) and the other is the 0-cycle class defined by Kato for rank 1 sheaves.


title: Boundary quotients and ideals of Toeplitz C*-algebras of Artin groups

abstract: We study the quotients of the Toeplitz C*-algebra of a quasi-lattice ordered group (G,P), which we view as crossed products by a partial actions of G on closed invariant subsets of a totally disconnected compact Hausdorff space, the Nica spectrum of (G,P). Our original motivation and our main examples are drawn from right-angled Artin groups, but many of our results are valid for more general quasi-lattice ordered groups. We show that the Nica spectrum has a unique minimal closed invariant subset, which we call the boundary spectrum, and we define the boundary quotient to be the crossed product of the corresponding restricted partial action. The main technical tools used are the results of Exel, Laca, and Quigg on simplicity and ideal structure of partial crossed products, which depend on amenability and topological freeness of the partial action and its restriction to closed invariant subsets. When there exists a generalised length function, or controlled map, defined on G and taking values in an amenable group, we prove that the partial action is amenable on arbitrary closed invariant subsets. Our main results are obtained for right-angled Artin groups with trivial centre, that is, those with no cyclic direct factor; they include a presentation of the boundary quotient in terms of generators and relations that generalises Cuntz's presentation of O_n, a proof that the boundary quotient is purely infinite and simple, and a parametrisation of the ideals of the Toeplitz C*-algebra in terms of subsets of the standard generators of the Artin group.


title: Embedding Dimensions of Finite von Neumann Algebras

abstract: We introduce "embedding dimensions" of a family of generators of a finite von Neumann algebra when the von Neumann algebra can be faithfully embedded into the ultrapower of the hyperfinite II$_1$ factor. These embedding dimensions are von Neumann algebra invariants, i.e., do not depend on the choices of the generators. We also find values of these invariants for some specific von Neumann algebras.


title: Parabolic equations with measurable coefficients

abstract: We investigate the unique solvability of second order parabolic equations in non-divergence form in $W_p^{1,2}((0,T) \times \bR^d)$, $p \ge 2$. The leading coefficients are only measurable in either one spatial variable or time and one spatial variable. In addition, they are VMO (vanishing mean oscillation) with respect to the remaining variables.


title: Maximum principle for SPDEs and its applications

abstract: The maximum principle for SPDEs is established in multidimensional $C^{1}$ domains. An application is given to proving the H\"older continuity up to the boundary of solutions of one-dimensional SPDEs.


title: Plethysm for wreath products and homology of sub-posets of Dowling lattices

abstract: We prove analogues for sub-posets of the Dowling lattices of the results of Calderbank, Hanlon, and Robinson on homology of sub-posets of the partition lattices. The technical tool used is the wreath product analogue of the tensor species of Joyal.


title: A Family of non-Gaussian Martingales with Gaussian Marginals

abstract: We construct a family of non-Gaussian martingales the marginals of which are all Gaussian. We give the predictable quadratic variation of these processes and show they do not have continuous paths. These processes are Markovian and inhomogeneous in time, and we give their infinitesimal generators. Within this family we find a class of piecewise deterministic pure jump processes and describe the laws of jumps and times between the jumps.


title: The Fredholm index of locally compact band-dominated operators on $L^p (R)$

abstract: We establish a necessary and sufficient criterion for the Fredholmness of a general locally compact band-dominated operator $A$ on $L^p(R)$ and solve the long-standing problem of computing its Fredholm index in terms of the limit operators of $A$. The results are applied to operators of convolution type with almost periodic symbol.


title: Elementary notions of lattice trigonometry

abstract: In this paper we study properties of lattice trigonometric functions of lattice angles in lattice geometry. We introduce the definition of sums of lattice angles and establish a necessary and sufficient condition for three angles to be the angles of some lattice triangle in terms of lattice tangents. This condition is a version of the Euclidean condition: three angles are the angles of some triangle iff their sum equals \pi. Further we find the necessary and sufficient condition for an ordered n-tuple of angles to be the angles of some convex lattice polygon. In conclusion we show applications to theory of complex projective toric varieties, and a list of unsolved problems and questions.


title: AV-differential geometry: Euler-Lagrange equations

abstract: A general, consistent and complete framework for geometrical formulation of mechanical systems is proposed, based on certain structures on affine bundles (affgebroids) that generalize Lie algebras and Lie algebroids. This scheme covers and unifies various geometrical approaches to mechanics in the Lagrangian and Hamiltonian pictures, including time-dependent lagrangians and hamiltonians. In our approach, lagrangians and hamiltonians are, in general, sections of certain $\R$-principal bundles, and the solutions of analogs of Euler-Lagrange equations are curves in certain affine bundles. The correct geometrical and frame-independent description of Newtonian Mechanics is of this type.


title: Nombres de Betti des surfaces elliptiques r\'{e}elles

abstract: We prove a new bound for the number of connected components of a real regular elliptic surface with a real section and we show the sharpness of this bound. Furthermore, all possible values for the Betti numbers of such a surface are realized.


title: Birkhoff Normal Form and Hamiltonian PDEs

abstract: These notes are based on lectures held at the Lanzhou university (China) during a CIMPA summer school in july 2004 but benefit from recent devellopements. Our aim is to explain some perturbations technics that allow to study the long time behaviour of the solutions of Hamiltonian perturbations of integrable systems. We are in particular interested with stability results. Our approach is centered on the Birkhoff normal form theorem that we first proved in finite dimension. Then, after giving some exemples of Hamiltonian PDEs, we present an abstract Birkhoff normal form theorem in infinite dimension and discuss the dynamical consequences for Hamiltonian PDEs.


title: The vanishing ideal of a finite set of closed points in affine space

abstract: Given a finite set of closed rational points of affine space over a field, we give a Gr\"obner basis for the lexicographic ordering of the ideal of polynomials which vanish at all given points. Our method is an alternative to the Buchberger--M\"oller algorithm, but in contrast to that, we determine the set of leading terms of the ideal without solving any linear equation but by induction over the dimension of affine space. The elements of the Gr\"obner basis are also computed by induction over the dimension, using one-dimensional interpolation of coefficients of certain polynomials.


title: Formal structure of direct image of holonomic D-modules of exponential type

abstract: We compute formal invariants associated with the cohomology sheaves of the direct image of holonomic D-modules of exponential type. We also prove that every formal C[[t]]<\partial_t>-modules is isomorphic, after a ramification, to a germ of formalized direct image of analytic D-module of exponential type.


title: Cohomology of line bundles on Schubert varieties in the Kac-Moody setting

abstract: In this paper we give top most and least indices of non vanishing cohomology modules of line bundles in the Kac Moody setting in terms of Weyl group combinatorics. We also prove a surjection Theorem.


title: Stochastic equations with time-dependent drift driven by Levy processes

abstract: Using the method of Krylov's estimates, we prove the existence of weak solutions of stochastic differential equations driven by purely discontinuous Levy processes satisfying an additional assumption. The diffusion coefficient is assumed to be one and the time-dependent drift is measurable and bounded.


title: Solutions to Bestvina & Feighn's Exercises on Limit Groups

abstract: This article gives solutions to the exercises in Bestvina and Feighn's paper on Sela's work on limit groups. We prove that all constructible limit groups are limit groups and give an account of the shortening argument of Rips and Sela.


title: An extension of the Eilenberg - Mac Lane concept of category in the case of nonrigid structures

abstract: Nonrigid mathematical structures may no longer form usual Eilenberg - Mac Lane categories, but more general ones, as illustrated by pseudo-topologies. A rather general concept of pseudo-topology was used in constructing differential algebras of generalized functions containing the Schwartz distributions, [4-6,8-11]. These algebras proved to be convenient in solving large classes of nonlinear partial differential equations, see [12,13] and the literature cited there, as well as section 46F30 in the Subject Classification 2000 of the American Mathematical Society, at www.ams.org/index/msc/46Fxx.html The totality of such pseudo-topologies no longer constitutes a usual Eilenberg - Mac Lane category, but an extended one which is presented here. Other nonrigid mathematical structures are mentioned and treated briefly. This is a revised and augmented version of the earlier published paper [7].


title: Integral representations of solutions of periodic elliptic equations

abstract: The paper discusses relations between the structure of the complex Fermi surface below the spectrum of a second order periodic elliptic equation and integral representations of certain classes of its solutions. These integral representations are analogs of those previously obtained by S. Agmon, S. Helgason, and other authors for solutions of the Helmholtz equation (i.e., for generalized eigenfunctions of Laplace operator). In a previous joint work with Y. Pinchover we described all solutions that can be represented as integrals of positive Bloch solutions over the imaginary Fermi surface, with a hyperfunction as a ``measure''. Here we characterize the class of solutions such that the corresponding hyperfunction is a distribution on the Fermi surface.


title: Increasing and Decreasing Sequences in Fillings of Moon Polyominoes

abstract: We present an adaptation of jeu de taquin and promotion for arbitrary fillings of moon polyominoes. Using this construction we show various symmetry properties of such fillings taking into account the lengths of longest increasing and decreasing chains. In particular, we prove a conjecture of Jakob Jonsson. We also relate our construction to the one recently employed by Christian Krattenthaler, thus generalising his results.


title: Conditioned Galton-Watson trees do not grow

abstract: An example is given which shows that, in general, conditioned Galton-Watson trees cannot be obtained by adding vertices one by one, as has been shown in a special case by Luczak and Winkler.


title: Equivalences of Smooth and Continuous Principal Bundles with Infinite-Dimensional Structure Group

abstract: Let K be a a Lie group, modeled on a locally convex space, and M a finite-dimensional paracompact manifold with corners. We show that each continuous principal K-bundle over M is continuously equivalent to a smooth one and that two smooth principal K-bundles over M which are continuously equivalent are also smoothly equivalent. In the concluding section, we relate our results to neighboring topics.


title: Riemannian Supergeometry

abstract: Motivated by a paper of Zirnbauer, we develop a theory of Riemannian supermanifolds up to a definition of Riemannian symmetric superspaces. Various fundamental concepts needed for the study of these spaces both from the Riemannian and the Lie theoretical viewpoint are introduced, e.g. geodesics, isometry groups and invariant metrics on Lie supergroups and homogeneous superspaces.


title: Some power of an element in a Garside group is conjugate to a periodically geodesic element

abstract: We show that for each element $g$ of a Garside group, there exists a positive integer $m$ such that $g^m$ is conjugate to a periodically geodesic element $h$, an element with $|h^n|_\D=|n|\cdot|h|_\D$ for all integers $n$, where $|g|_\D$ denotes the shortest word length of $g$ with respect to the set $\D$ of simple elements. We also show that there is a finite-time algorithm that computes, given an element of a Garside group, its stable super summit set.


title: A note on connections of the Standard Model in a gravitation field

abstract: The Standard Model of the theory of elementary particles is based on the $U(1)\times SU(2)\times SU(3)$ symmetry. In the presence of a gravitation field, i. e. in a non-flat space-time manifold, this symmetry is implemented through three special vector bundles. Connections associated with these vector bundles are studied in this paper. In the Standard Model they are interpreted as gauge fields.


title: Semi-Selfdecomposable Laws in the Minimum Scheme

abstract: We discuss semi-selfdecomposable laws in the minimum scheme and characterize them using an autoregressive model. Semi-Pareto and semi-Weibull laws of Pillai (1991) are shown to be semi-selfdecomposable in this scheme. Methods for deriving this class of laws are then attempted from the angle of randomization. Finally, discrete analogues of these results are also considered.


title: Quaternionic-contact hypersurfaces

abstract: We prove that every quaternionic-contact structure can be embedded in a quaternionic manifold and define a second fundamental form for a such embedding.


title: Group actions, $k$-derivations and finite morphisms

abstract: Let $G$ be an affine algebraic group over an algebraically closed field $k$ of characteristic zero. In this paper, we consider finite $G$-equivariant morphisms $F:X\to Y$ of irreducible affine $G$-varieties. First we determine under which conditions on $Y$ the induced map $F^G:X//G\to Y//G$ of quotient varieties is also finite. This result is reformulated in terms of kernels of derivations on $k$-algebras $A\subset B$ such that $B$ is integral over $A$. Second we construct explicitly two examples of finite $G$-equivariant maps $F$. In the first one, $F^G$ is quasifinite but not finite. In the second one, $F^G$ is not even quasifinite.


title: Parity of ranks for elliptic curves with a cyclic isogeny

abstract: Let E be an elliptic curve over a number field K which admits a cyclic p-isogeny with p odd and semistable at primes above p. We determine the root number and the parity of the p-Selmer rank for E/K, in particular confirming the parity conjecture for such curves. We prove the analogous results for p=2 under the additional assumption that E is not supersingular at primes above 2.


title: Derived and abelian equivalence of K3 surfaces

abstract: Tom Bridgeland constructed explicit stability conditions on K3 surfaces. This paper attempts to shed more light on these particular examples, especially on the hearts of the underlying t-structures. We prove that two K3 surfaces X and X' are derived equivalent if and only if there exist complexified polarizations B+iw and B'+iw' such that the associated abelian categories A(B+iw) and A(B'+iw') are equivalent. We study in detail the minimal objects of A(B+iw) and investigate stability under Fourier-Mukai transform.


title: Scales for co-compact embeddings of virtually free groups

abstract: Let $\Gamma$ be a group which is virtually free of rank at least 2 and let $\mathcal{F}_{td}(\Gamma)$ be the family of totally disconnected, locally compact groups containing $\Gamma$ as a co-compact lattice. We prove that the values of the scale function with respect to groups in $\mathcal{F}_{td}(\Gamma)$ evaluated on the subset $\Gamma$ have only finitely many prime divisors. This can be thought of as a uniform property of the family $\mathcal{F}_{td}(\Gamma)$.


title: Uniform formulae for coefficients of meromorphic functions in two variables. Part I

abstract: Uniform asymptotic formulae for arrays of complex numbers of the form $(f_{r,s})$, with $r$ and $s$ nonnegative integers, are provided as $r$ and $s$ converge to infinity at a comparable rate. Our analysis is restricted to the case in which the generating function $F(z,w):=\sum f_{r,s} z^r w^s$ is meromorphic in a neighborhood of the origin. We provide uniform asymptotic formulae for the coefficients $f_{r,s}$ along directions in the $(r,s)$-lattice determined by regular points of the singular variety of $F$. Our main result derives from the analysis of a one dimensional parameter-varying integral describing the asymptotic behavior of $f_{r,s}$. We specifically consider the case in which the phase term of this integral has a unique stationary point, however, allowing the possibility that one or more stationary points of the amplitude term coalesce with this. Our results find direct application in certain problems associated to the Lagrange inversion formula as well as bivariate generating functions of the form $v(z)/(1-w\cdot u(z))$.


title: (Co)homology of triassociative algebras

abstract: We study homology and cohomology of triassociative algebras with non-trivial coefficients.


title: The Positive Mass Theorem near null infinity

abstract: In this short paper, we review recent progress on the positive mass theorem for spacelike hypersurfaces which approach to null infinity in asymptotically flat spacetimes. We use it to prove, if the functions $c(u, \theta, \psi)$, $d(u, \theta, \psi)$ vanish at certain retarded time in vacuum Bondi's radiating spacetimes, then the Bondi mass is nonnegative up to that time.


title: Positivity of the Bondi mass in Bondi's radiating spacetimes

abstract: We find two conditions related to the {\it news functions} of the Bondi's radiating vacuum spacetimes. We provide a complete proof of the positivity of the Bondi mass by using Schoen-Yau's method under one condition and by using Witten's method under another condition.


title: Covering a bounded set of functions by an increasing chain of slaloms

abstract: A slalom is a sequence of finite sets of length omega. Slaloms are ordered by coordinatewise inclusion with finitely many exceptions. Improving earlier results of Mildenberger, Shelah and Tsaban, we prove consistency results concerning existence and non-existence of an increasing sequence of a certain type of slaloms which covers a bounded set of functions in the Baire space.


title: Deformation of Batalin-Vilkovisky Structures

abstract: A Batalin-Vilkovisky formalism is most general framework to construct consistent quantum field theories. Its mathematical structure is called {\it a Batalin-Vilkovisky structure}. First we explain rather mathematical setting of a Batalin-Vilkovisky formalism. Next, we consider deformation theory of a Batalin-Vilkovisky structure. Especially, we consider deformation of topological sigma models in any dimension, which is closely related to deformation theories in mathematics, including deformation from commutative geometry to noncommutative geometry. We obtain a series of new nontrivial topological sigma models and we find these models have the Batalin-Vilkovisky structures based on a series of new algebroids.


title: Paths and tableaux descriptions of Jacobi-Trudi determinant associated with quantum affine algebra of type C_n

abstract: We study the Jacobi-Trudi-type determinant which is conjectured to be the q-character of a certain, in many cases irreducible, finite-dimensional representation of the quantum affine algebra of type C_n. Like the D_n case studied by the authors recently, applying the Gessel-Viennot path method with an additional involution and a deformation of paths, we obtain a positive sum expression over a set of tuples of paths, which is naturally translated into the one over a set of tableaux on a skew diagram.


title: Occasionally attracting compact sets and compact-supercyclicity

abstract: Let $X$ be a real or complex Banach space and $T_t:X\to X$ is a power bounded operator (or a $C_0$-semigroup). If there exists a "occasionally" attracting compact subset K (for each x$ in unit ball $\liminf_n \rho(T^n x, K)=0$ then there exists attracting finite-dimensional subspace $L$ (for each x in X $\lim_n \rho(T^n x, L)=0$. Also we define the compact-supercyclicity. Each infinity-dimentional $X$ has no compact-supercyclic isometries. If $T$ is a supercyclic and power bounded that $T^nx$ vanishes for each $x$.


title: The ring structure for equivariant twisted K-theory

abstract: We prove, under some mild conditions, that the equivariant twisted K-theory group of a crossed module admits a ring structure if the twisting 2-cocycle is 2-multiplicative. We also give an explicit construction of the transgression map $T_1: H^*(\Gamma;A) \to H^{*-1}((N\rtimes \Gamma;A)$ for any crossed module $N\to \Gamma$ and prove that any element in the image is $\infty$-multiplicative. As a consequence, we prove that, under some mild conditions, for a crossed module $N \to \gm$ and any $e \in \check{Z}^3(\Gamma;S^1)$, that the equivariant twisted K-theory group $K^*_{e,\Gamma}(N)$ admits a ring structure. As an application, we prove that for a compact, connected and simply connected Lie group G, the equivariant twisted K-theory group $K_{[c], G}^* (G)$ is endowed with a canonical ring structure $K^{i+d}_{[c],G}(G)\otimes K^{j+d}_{[c],G}(G)\to K^{i+j+d}_{[c], G}(G)$, where $d=dim G$ and $[c]\in H^2(G\rtimes G;S^1)$.

categories: math.KT hep-th math-ph math.AT math.DG math.MP math.OA


title: On realizing diagrams of Pi-algebras

abstract: Given a diagram of Pi-algebras (graded groups equipped with an action of the primary homotopy operations), we ask whether it can be realized as the homotopy groups of a diagram of spaces. The answer given here is in the form of an obstruction theory, of somewhat wider application, formulated in terms of generalized Pi-algebras. This extends a program begun in [J. Pure Appl. Alg. 103 (1995) 167-188] and [Topology 43 (2004) 857-892] to study the realization of a single Pi-algebra. In particular, we explicitly analyze the simple case of a single map, and provide a detailed example, illustrating the connections to higher homotopy operations.


title: Quasi-periodic attractors, Borel summability and the Bryuno condition for strongly dissipative systems

abstract: We consider a class of ordinary differential equations describing one-dimensional analytic systems with a quasi-periodic forcing term and in the presence of damping. In the limit of large damping, under some generic non-degeneracy condition on the force, there are quasi-periodic solutions which have the same frequency vector as the forcing term. We prove that such solutions are Borel summable at the origin when the frequency vector is either any one-dimensional number or a two-dimensional vector such that the ratio of its components is an irrational number of constant type. In the first case the proof given simplifies that provided in a previous work of ours. We also show that in any dimension $d$, for the existence of a quasi-periodic solution with the same frequency vector as the forcing term, the standard Diophantine condition can be weakened into the Bryuno condition. In all cases, under a suitable positivity condition, the quasi-periodic solution is proved to describe a local attractor.


title: Two-dimensional lattices with few distances

abstract: We prove that of all two-dimensional lattices of covolume 1 the hexagonal lattice has asymptotically the fewest distances. An analogous result for dimensions 3 to 8 was proved in 1991 by Conway and Sloane. Moreover, we give a survey of some related literature, in particular progress on a conjecture from 1995 due to Schmutz Schaller.


title: Lines of Principal Curvature on Canal Surfaces in R^3

abstract: In this paper are determined the principal curvatures and principal curvature lines on canal surfaces which are the envelopes of families of spheres with variable radius and centers moving along a closed regular curve in R^3. By means of a connection of the differential equations for these curvature lines and real Riccati equations, it is established that canal surfaces have at most two isolated periodic principal lines. Examples of canal surfaces with two simple and one double periodic principal lines are given.


title: Symbolic Dynamics, Partial Dynamical Systems, Boolean Algebras and C*-algebras Generated by Partial Isometries

abstract: We associate to each discrete partial dynamical system a universal C*-algebra generated by partial isometries satisfying relations given by a Boolean algebra connected to the discrete partial dynamical system in question. We show that for symbolic dynamical systems like one-sided and two-sided shift spaces and topological Markov chains with an arbitrary state space the C*-algebras usually associated to them, can be obtained in this way. As a consequence of this, we will be able to show that for two-sided shift spaces having a certain property, the crossed product of the two-sided shift space is a quotient of the C*-algebra associated to the corresponding one-sided shift space.


title: Vanishing of the logarithmic trace of generalized Szeg\"o projectors

abstract: We show that the logarithmic trace of generalized Szeg\"o projectors on compact contact manifolds vanishes identically.


title: On motivic principal value integrals

abstract: Inspired by p-adic (and real) principal value integrals, we introduce motivic principal value integrals associated to multi-valued rational differential forms on smooth algebraic varieties. We investigate the natural question whether (for complete varieties) this notion is a birational invariant. The answer seems to be related to the dichotomy of the Minimal Model Program.


title: Derivation modules of orthogonal duals of hyperplane arrangements

abstract: Let A be an n by d matrix having full rank n. An orthogonal dual A^{\perp} of A is a (d-n) by d matrix of rank (d-n) such that every row of A^{\perp} is orthogonal (under the usual dot product) to every row of A. We define the orthogonal dual for arrangements by identifying an essential (central) arrangement of d hyperplanes in n-dimensional space with the n by d matrix of coefficients of the homogeneous linear forms for which the hyperplanes are kernels. If n is at least 5, we show that if the matroid (or the intersection lattice) of an n-dimensional essential arrangement A contains a modular copoint whose complement spans, then the derivation module of the orthogonally dual arrangement \A^{\perp} has projective dimension at least [n(n+2)/4] - 3,([ ] denotes ceiling).


title: Homogeneous Lagrangian submanifolds

abstract: We characterize isometric actions on compact Kaehler manifolds admitting a Lagrangian orbit, describing under which condition the Lagrangian orbit is unique. We furthermore give the complete classification of simple groups acting on the complex projective space with a Lagrangian orbit, and we give the explicit list of these orbits.


title: A mirror construction for the totally nonnegative part of the Peterson variety

abstract: We explain how A. Givental's mirror symmetric family to the type A flag variety and its proposed generalization to partial flag varieties by Batyrev, Ciocan-Fontanine, Kim and van Straten relate to the Peterson variety Y in SL_n/B. We then use this theory to describe the totally nonnegative part of Y.


title: A New Algorithm for Linear Programming

abstract: We propose a new polynomial-time algorithm for linear programming. We further extend the ideas used in this new linear programming algorithm for nonlinear programming problems. The new algorithm is based on the idea of treating the objective function as a parameter. We form a matrix of coefficients, made-up of the coefficients of the variables defined in the problem itself, and the coefficients of variables defined newly, for converting inequalities into equations, namely, slack variables if it is the maximization problem, or, surplus variables if it is the minimization problem. The system of equations we use consist of the objective equation and equations obtained from inequalities defining constraint imposed by the problem. We obtain reduced-row-echelon-form, R, for this matrix containing only one unknown, namely, the objective function itself as an unknown parameter, d, say. This matrix in the reduced-row-echelon-form contains columns (column vectors) corresponding to basic variables and non-basic variables. If all the entries in the columns corresponding to non-basic variables in R are already nonnegative then we will see that we have almost reached to the solution and nothing much is left to be done. If there are columns corresponding to non-basic variables which contain some negative entries then we will require to apply suitable row transformations, at most $m$ in number if there are m rows in R, as we will see below, to make all the entries in the columns corresponding to non-basic variables nonnegative. We then proceed to show that the method developed above for linear programming naturally extends to nonlinear programming problems. For nonlinear programming problems, we use the technique of Grobner bases, since Grobner basis is an equivalent of reduced row echelon form for a system of nonlinear equations.


title: Weighted Hypothesis Testing

abstract: The power of multiple testing procedures can be increased by using weighted p-values (Genovese, Roeder and Wasserman 2005). We derive the optimal weights and we show that the power is remarkably robust to misspecification of these weights. We consider two methods for choosing weights in practice. The first, external weighting, is based on prior information. The second, estimated weighting, uses the data to choose weights.


title: A cohomological description of connections and curvature over posets

abstract: What remains of a geometrical notion like that of a principal bundle when the base space is not a manifold but a coarse graining of it, like the poset formed by a base for the topology ordered under inclusion? Motivated by finding a geometrical framework for developing gauge theories in algebraic quantum field theory, we give, in the present paper, a first answer to this question. The notions of transition function, connection form and curvature form find a nice description in terms of cohomology, in general non-Abelian, of a poset with values in a group $G$. Interpreting a 1--cocycle as a principal bundle, a connection turns out to be a 1--cochain associated in a suitable way with this 1--cocycle; the curvature of a connection turns out to be its 2--coboundary. We show the existence of nonflat connections, and relate flat connections to homomorphisms of the fundamental group of the poset into $G$. We discuss holonomy and prove an analogue of the Ambrose-Singer theorem.


title: Non-Uniformly Hyperbolic Horseshoes Arising from Bifurcations of Poincar\'e Heteroclinic Cycles

abstract: The purpose of this paper is to advance the knowledge of the dynamics arising from the creation and subsequent bifurcation of Poincar\'e heteroclinic cycles. The problem is central to dynamics: it has to be addressed if, for instance, one aims at describing the typical orbit behaviour of a typical system, thus providing a global scenario for the ensemble of dynamical systems - see the Introduction and [P1, P2]. Here, we shall consider smooth, i.e. $C^\infty$, one-parameter families of dissipative, meaning non-conservative, surface diffeomorphisms. An hetereoclinic cycle may appear when the parameter evolves and an orbit of tangency, say quadratic, is created between stable and unstable manifolds (lines) of periodic orbits that belong to a basic hyperbolic set. The key novelty is to allow this basic set, a horseshoe, to have Hausdorff dimension bigger than one. In the present paper we do assume such a dimension to be beyond one, but in a limited way, as explicitly indicated in the Introduction. [A mild non-degeneracy condition on the family of maps is assumed: at the orbit of tangency the invariant lines, stable and unstable, cross each other with positive relative speed]. We then prove that most diffeomorphisms, corresponding to parameter values near the bifurcating one, are non-uniformly hyperbolic in a neighborhood of the horseshoe and the orbit of tangency; such diffeomorphisms display no attractors nor repellors in such a neighborhood. A first precise formulation of our main theorem is at the Introduction and a more encompassing version at the end of the paper. These results were announced in [PY3].


title: On computability of Julia sets: answers to questions of Milnor and Shub

abstract: In this note we give answers to questions posed to us by J.Milnor and M.Shub, which shed further light on the structure of non-computable Julia sets.


title: Noncommutative residue, conformal invariants and lower dimensional volumes in Riemannian geometry

abstract: The results of this paper are outdated. Finer versions of them will appear elsewhere.


title: Stability and Hopf Bifurcation in the Watt Governor System

abstract: In this paper we study the Lyapunov stability and Hopf bifurcation in a system coupling a Watt-centrifugal-governor with a steam-engine. Sufficient conditions for the stability of the equilibrium state in terms of the physical parameters and of the bifurcating periodic orbit at most critical parameters on the bifurcation surface are given.


title: Free resolutions of parameter ideals over some rings with finite local cohomology

abstract: Let $R$ be a noetherian local ring. We consider the following quastion: Does there exist an integer $n$ such that all idelas generated by a system of parameters contained in the $n$-th power of the maximal ideal have the same Betti numbers? We obtain a positive answer for some rings with finite local cohomology.


title: Number-Like Objects and the Extended Lie Correspondence

abstract: We classify finite dimensional division real associative $\mathcal{Z}_2$-algebras, introduce composition $\mathcal{Z}_2$-algebras, and extend the Campbell-Baker-Hausdorff series and Lie correspondence in the context of linear Hu-Liu Leibniz algebras.


title: Hopf monads

abstract: We introduce and study Hopf monads on autonomous categories (i.e., monoidal categories with duals). Hopf monads generalize Hopf algebras to a non-braided (and non-linear) setting. Indeed, any monoidal adjunction between autonomous categories gives rise to a Hopf monad. We extend many fundamental results of the theory of Hopf algebras (such as the decomposition of Hopf modules, the existence of integrals, Maschke's criterium of semisimplicity, etc...) to Hopf monads. We also introduce and study quasitriangular and ribbon Hopf monads (again defined in a non-braided setting).


title: A Milnor-Moore Type Theorem for Braided Bialgebras

abstract: The paper is devoted to prove a version of Milnor-Moore Theorem for connected braided bialgebras that are infinitesimally cocommutative. Namely in characteristic different from 2, we prove that, for a given connected braided bialgebra $A$ having a $\lambda $-cocommutative infinitesimal braiding for some regular element $\lambda \neq 0$ in the base field, then the infinitesimal braiding of $A$ is of Hecke-type of mark $\lambda$ and $A$ is isomorphic as a braided bialgebra to the symmetric algebra of the braided subspace of its primitive elements.


title: The effective bandwidth problem revisited

abstract: The paper studies a single-server queueing system with autonomous service and $\ell$ priority classes. Arrival and departure processes are governed by marked point processes. There are $\ell$ buffers corresponding to priority classes, and upon arrival a unit of the $k$th priority class occupies a place in the $k$th buffer. Let $N^{(k)}$, $k=1,2,...,\ell$ denote the quota for the total $k$th buffer content. The values $N^{(k)}$ are assumed to be large, and queueing systems both with finite and infinite buffers are studied. In the case of a system with finite buffers, the values $N^{(k)}$ characterize buffer capacities. The paper discusses a circle of problems related to optimization of performance measures associated with overflowing the quota of buffer contents in particular buffers models. Our approach to this problem is new, and the presentation of our results is simple and clear for real applications.


title: Some moduli stacks of symplectic bundles on a curve are rational

abstract: Let C be a smooth projective curve of genus at least 2 over a field k. Given a line bundle L on C, we consider the moduli stack of rank 2n vector bundles E on C endowed with a nowhere degenerate symplectic form $b: E \otimes E \to L$ up to scalars. We prove that this stack is birational to BG_m times an affine space A^s if n and the degree of L are both odd and C admits a k-rational point as well as a line bundle of degree 0 whose square is nontrivial. It follows that the corresponding coarse moduli scheme is rational in this case.


title: Sur la compactification de Thurston de l'espace de Teichm\"{u}ller

abstract: The aim of these lecture notes is, after having quickly described various compactifications of the Teichm\"{u}ller space of a compact connected oriented surface minus finitely many points, to give a construction, by the equivariant Gromov topology introduced by the author, of Thurston's compactification of this Teichm\"{u}ller space.


title: Global well-posedness for the critical 2D dissipative quasi-geostrophic equation

abstract: We give an elementary proof of the global well-posedness for the critical 2D dissipative quasi-geostrophic equation. The argument is based on a non-local maximum principle involving appropriate moduli of continuity.


title: O-minimal spectra, infinitesimal subgroups and cohomology

abstract: By recent work on some conjectures of Pillay, each definably compact group $G$ in a saturated o-minimal expansion of an ordered field has a normal ``infinitesimal subgroup'' $G^{00}$ such that the quotient $G/G^{00}$, equipped with the ``logic topology'', is a compact (real) Lie group. Our first result is that the functor $G\mapsto G/G^{00}$ sends exact sequences of definably compact groups into exacts sequences of Lie groups. We then study the connections between the Lie group $G/G^{00}$ and the o-minimal spectrum $\widetilde G$ of $G$. We prove that $G/G^{00}$ is a topological quotient of $\widetilde G$. We thus obtain a natural homomorphism $\Psi^*$ from the cohomology of $G/G^{00}$ to the (\v{C}ech-)cohomology of $\widetilde G$. We show that if $G^{00}$ satisfies a suitable contractibility conjecture then $\widetilde {G^{00}}$ is acyclic in \v{C}ech cohomology and $\Psi^*$ is an isomorphism. Finally we prove the conjecture in some special cases.


title: The Krein-Mil'man Theorem for Metric Spaces with a Convex Bicombing

abstract: We use bicombings on arcwise connected metric spaces to give definitions of convex sets and extremal points. These notions coincide with the customary ones in the classes of normed vector spaces and geodesic metric spaces which are convex in the usual sense. A rather straightforward modification of the standard proof of the Krein-Mil'man Theorem yields the result that in a large class of metric spaces every compact convex set is the closed convex hull of its extremal points. The result appears to be new even for CAT(0)-spaces.


title: Limiting behavior of the distance of a random walk

abstract: This investigation is motivated by a result we proved recently for the random transposition random walk: the distance from the starting point of the walk has a phase transition from a linear regime to a sublinear regime at time $n/2$. Here, we study three new examples. It is trivial that the distance for random walk on the hypercube is smooth and is given by one simple formula. In the case of random adjacent transpositions, we find that there is no phase transition even though the distance has different scalings in three different regimes. In the case of a random 3-regular graph, there is a phase transition from linear growth to a constant equal to the diameter of the graph, at time $3\log_2 n$.


title: Heavy tails in last-passage percolation

abstract: We consider last-passage percolation models in two dimensions, in which the underlying weight distribution has a heavy tail of index alpha<2. We prove scaling laws and asymptotic distributions, both for the passage times and for the shape of optimal paths; these are expressed in terms of a family (indexed by alpha) of "continuous last-passage percolation" models in the unit square. In the extreme case alpha=0 (corresponding to a distribution with slowly varying tail) the asymptotic distribution of the optimal path can be represented by a random self-similar measure on [0,1], whose multifractal spectrum we compute. By extending the continuous last-passage percolation model to R^2 we obtain a heavy-tailed analogue of the Airy process, representing the limit of appropriately scaled vectors of passage times to different points in the plane. We give corresponding results for a directed percolation problem based on alpha-stable Levy processes, and indicate extensions of the results to higher dimensions.


title: The Nonlinear Maslov index and the Calabi homomorphism

abstract: In this paper we find that the asymptotic nonlinear Maslov index defined on the universal cover of the group of all contact Hamiltonian diffeomorphisms of the standard 2n-1 dimensional contact sphere is a quasimorphism. Then we show our main result: Let M be standard n-1 complex projective space. We prove that the value of the pull back of the asymptotic nonlinear Maslov index to the universal cover of the group of Hamiltonian diffeomorphisms of M, restricted to elements supported in sufficiently small open subsets of M, equals the Calabi invariant of these elements up to a multiplication by a constant.


title: A connection between decomposability of ultrafilters and possible cofinalities

abstract: We introduce the decomposability spectrum $K_D=\{\lambda \geq \omega| D \text{is} \lambda\text{-decomposable}\}$ of an ultrafilter $D$, and show that Shelah's $\pcf$ theory influences the possible values $K_D$ can take. For example, we show that if $\aaa$ is a set of regular cardinals, $\mu \in \pcfa$, the ultrafilter $D$ is $|\aaa |^+$-complete and $K_D \subseteq \aaa$, then $\mu \in K_D$. As a consequence, we show that if $ \lambda $ is singular and for some $ \lambda' < \lambda $ $K_D$ contains all regular cardinals in $ [\lambda', \lambda)$ then: (a) if $\cf \lambda = \omega $ then either $ \lambda \in K_D$, or $ \lambda ^+ \in K_D$; and (b) if $D$ is $(\cf \lambda)^+$-complete then $ \lambda ^+ \in K_D$, and $\pp (\lambda)= \lambda ^+$.


title: Persistence Properties and Unique Continuation of solutions of the Camassa-Holm equation

abstract: It is shown that a strong solution of the Camassa-Holm equation, initially decaying exponentially together with its spacial derivative, must be identically equal to zero if it also decays exponentially at a later time. In particular, a strong solution of the Cauchy problem with compact initial profile can not be compactly supported at any later time unless it is the zero solution.


title: Universal torsors over Del Pezzo surfaces and rational points

abstract: We discuss Manin's conjecture concerning the distribution of rational points of bounded height on Del Pezzo surfaces, and its refinement by Peyre, and explain applications of universal torsors to counting problems. To illustrate the method, we provide a proof of Manin's conjecture for the unique split singular quartic Del Pezzo surface with a singularity of type D4. (Lectures at the summer school "Equidistribution in number theory", Montreal, August 2005)


title: Singular del Pezzo surfaces whose universal torsors are hypersurfaces

abstract: We classify all generalized del Pezzo surfaces (i.e., minimal desingularizations of singular del Pezzo surfaces containing only rational double points) whose universal torsors are open subsets of hypersurfaces in affine space. Equivalently, their Cox rings are polynomial rings with exactly one relation. For all 30 types with this property, we describe the Cox rings in detail. These explicit descriptions can be applied to study Manin's conjecture on the asymptotic behavior of the number of rational points of bounded height for singular del Pezzo surfaces, using the universal torsor method.


title: Universal torsors of Del Pezzo surfaces and homogeneous spaces

abstract: Let Cox(S) be the homogeneous coordinate ring of the blow-up S of P^2 in r general points, i.e., a smooth Del Pezzo surface of degree 9-r. We prove that for r=6 and 7, Proj(Cox(S)) can be embedded into G/P, where G is an algebraic group with root system given by the primitive Picard lattice of S and P is a certain maximal parabolic subgroup in G.


title: Chern invariants of some flat bundles in the arithmetic Deligne cohomology

abstract: In this note, we investigate the Chern classes of flat bundles in the arithmetic Deligne Cohomology, introduced by Green-Griffiths, Asakura-Saito. We show nontriviality of the Chern classes in some cases and the proof also indicates that generic flat bundles (in its moduli space) can be expected to have nontrivial classes, which is in contrast with some Gauss-Manin systems.


title: Two non-regular extensions of large deviation bound

abstract: We formulate two types of extensions of the large deviation theory initiated by Bahadur in a non-regular setting. One can be regarded as a bound of the point estimation, the other can be regarded as the limit of a bound of the interval estimation. Both coincide in the regular case, but do not necessarily coincide in a non-regular case. Using the limits of relative R\'{e}nyi entropies, we derive their upper bounds and give a necessary and sufficient condition for the coincidence of the two upper bounds. We also discuss the attainability of these two bounds in several non-regular location shift families.


title: Set theory and C*-algebras

abstract: We survey the use of extra-set-theoretic hypotheses, mainly the continuum hypothesis, in the C*-algebra literature. The Calkin algebra emerges as a basic object of interest.


title: The characteristic function of a complex symmetric contraction

abstract: It is shown that a contraction on a Hilbert space is complex symmetric if and only if the values of its characteristic function are all symmetric with respect to a fixed conjugation. Applications are given to the description of complex symmetric contractions with defect indices equal to 2.


title: Attracting edge and strongly edge reinforced walks

abstract: The goal is to show that an edge-reinforced random walk on a graph of bounded degree, with reinforcement weight function $W$ taken from a general class of reciprocally summable reinforcement weight functions, traverses a random attracting edge at all large times. The statement of the main theorem is very close to settling a conjecture of Sellke [Technical Report 94-26 (1994) Purdue Univ.]. An important corollary of this main result says that if $W$ is reciprocally summable and nondecreasing, the attracting edge exists on any graph of bounded degree, with probability 1. Another corollary is the main theorem of Limic [Ann. Probab. 31 (2003) 1615--1654], where the class of weights was restricted to reciprocally summable powers. The proof uses martingale and other techniques developed by the authors in separate studies of edge- and vertex-reinforced walks [Ann. Probab. 31 (2003) 1615--1654, Ann. Probab. 32 (2004) 2650--2701] and of nonconvergence properties of stochastic algorithms toward unstable equilibrium points of the associated deterministic dynamics [C. R. Acad. Sci. S\'{e}r. I Math. 330 (2000) 125--130].


title: Convexity or concavity inequalities for Hermitian operators

abstract: Matrix versions of some basic convexity inequalities are given. Further results on the same topic are proved in the recent papers on arxiv: 1. Hermitian operators and convex functions, 2. A concavity inequality for symmetric norms, 3. Eigenvalue inequalities for convex and log-convex functions (with Jaspal Singh AUJLA).


title: An axiomatic characterization of the Gabriel-Roiter measure

abstract: Given an abelian length category A, the Gabriel-Roiter measure with respect to a length function l is characterized as a universal morphism ind(A)-->P of partially ordered sets. The map is defined on the isomorphism classes of indecomposable objects of A and is a suitable refinement of the length function l.


title: Partitions and their lattices

abstract: Ferrers graphs and tables of partitions are treated as vectors. Matrix operations are used for simple proofs of identities concerning partitions. Interpreting partitions as vectors gives a possibility to generalize partitions on negative numbers. Partitions are then tabulated into lattices and some properties of these lattices are studied. There appears a new identity counting Ferrers graphs packed consecutively into isoscele form. The lattices form the base for tabulating combinatorial identities.


title: Heuristics for The Whitehead Minimization Problem

abstract: In this paper we discuss several heuristic strategies which allow one to solve the Whitehead's minimization problem much faster (on most inputs) than the classical Whitehead algorithm. The mere fact that these strategies work in practice leads to several interesting mathematical conjectures. In particular, we conjecture that the length of most non-minimal elements in a free group can be reduced by a Nielsen automorphism which can be identified by inspecting the structure of the corresponding Whitehead Graph.


title: Pattern Recognition Approaches to Solving Combinatorial Problems in Free Groups

abstract: We review some basic methodologies from pattern recognition that can be applied to helping solve combinatorial problems in free group theory. We illustrate how this works with recognizing Whitehead minimal words in free groups of rank 2. The methodologies reviewed include how to form feature vectors, principal components, distance classifers, linear classifiers, regression classifiers, Fisher linear discriminant, support vector machines, quantizing, classification trees, and clustering techniques.


title: A Hybrid Search Algorithm for the Whitehead Minimization Problem

abstract: The Whitehead Minimization problem is a problem of finding elements of the minimal length in the automorphic orbit of a given element of a free group. The classical algorithm of Whitehead that solves the problem depends exponentially on the group rank. Moreover, it can be easily shown that exponential blowout occurs when a word of minimal length has been reached and, therefore, is inevitable except for some trivial cases. In this paper we introduce a deterministic Hybrid search algorithm and its stochastic variation for solving the Whitehead minimization problem. Both algorithms use search heuristics that allow one to find a length-reducing automorphism in polynomial time on most inputs and significantly improve the reduction procedure. The stochastic version of the algorithm employs a probabilistic system that decides in polynomial time whether or not a word is minimal. The stochastic algorithm is very robust. It has never happened that a non-minimal element has been claimed to be minimal.


title: Symmetry reductions of a nonlinear option pricing model

abstract: The studied model was suggested to design a perfect hedging strategy for a large trader. In this case the implementation of a hedging strategy affects the price of the underlying security. The feedback-effect leads to a nonlinear version of the Black-Scholes partial differential equation. Using the Lie group theory we reduce the partial differential equation in special cases to ordinary differential equations. The found Lie group of the model equation gives rise to invariant solutions. Families of exact invariant solutions for special values of parameters are described.


title: The Tropical Rank of a Tropical Matrix

abstract: In this paper we further develop the theory of matrices over the extended tropical semiring. Introducing a notion of tropical linear dependence allows for a natural definition of matrix rank in a sense that coincides with the notions of tropical regularity and invertibility.


title: Tennenbaum at Penn and Rochester

abstract: This is the text of a lecture at the Logic Conference in Memory of Stanley Tennenbaum at the CUNY Graduate Center on April 7, 2006.


title: Gammes Bien Reparties et Transformee de Fourier discrete

abstract: This paper, in french, gives a new approach to the concept of Maximally Even Sets based on discrete Fourier transform, with several elementary but interesting and previously unpublished results. Maximally Even Sets have been invented by musicologists but have been found to bear deep relationships to other areas of science, such as the Ising model in Physics. They describe economically and characterise many famous 'scales' or subsets of the cyclic group as modelised here.


title: The moment problem on the Wiener space

abstract: Consider an $L^1$-continuous functional $\ell$ on the vector space of polynomials of Brownian motion at given times, suppose $\ell $ commutes with the quadratic variation in a natural sense, and consider a finite set of polynomials of Brownian motion at rational times, $f_1(\vec b),...,f_m(\vec b)$, mapping the Wiener space to $\mathbb{R}$. In the spirit of Schm\"udgen's solution to the finite-dimensional moment problem, we give sufficient conditions under which $\ell$ can be written in the form $\int \cdot d\mu$ for some finite measure $\mu$ on the Wiener space such that $\mu$-almost surely, all the random variables $f_1(\vec b),...,f_m(\vec b)$ are nonnegative.


title: Basis discrepancies for extensions of valued fields

abstract: Let F be a field complete for a real valuation. It is a standard result in valuation theory that a finite extension of F admits a valuation basis if and only if it is without defect. We show that even otherwise, one can construct bases in which the discrepancy between measuring valuation of an element versus on the components in its basis decomposition can be made arbitrarily small. The key step is to verify this for extensions of degree equal to the characteristic by a direct calculation.


title: Birationally rigid hypersurfaces

abstract: We prove that for N greater than or equal to 4, all smooth hypersurfaces of degree N in P^N are birationally superrigid. First discovered in the case N = 4 by Iskovskikh and Manin in a work that started this whole direction of research, this property was later conjectured to hold in general by Pukhlikov. The proof relies on the method of maximal singularities in combination with a delicate formula on restrictions of multiplier ideals.


title: Exponential inequalities and functional estimations for weak dependent datas ; applications to dynamical systems

abstract: We estimate density and regression functions for weak dependant datas. Using an exponential inequality obtained by Dedecker and Prieur and in a previous article of the author, we control the deviation between the estimator and the function itself. These results are applied to a large class of dynamical systems and lead to estimations of invariant densities and on the mapping itself.


title: Processor Sharing Queues with Impatience

abstract: We investigate a processor sharing queue with renewal arrivals and generally distributed service times. Impatient jobs may abandon the queue, or renege, before completing service. The corresponding stochastic processes are represented by measure valued Markov processes on R^2\_+. A scaling procedure that gives rise to a fluid model with a nontrivial, yet tractable steady state behavior, is presented. This fluid model model captures many essential features of the underlying stochastic model, and it is used to analyze the impact of impatience in processor sharing queues.


title: Some $q$-analogues of the Certer-Payne theorem

abstract: We prove a $q$-analogue of the Carter-Payne theorem for the two special cases corresponding to moving an arbitrary number of nodes between adjacent rows, or moving one node between an arbitrary number of rows. As a consequence, we show that these homomorphism spaces are one dimensional when $q \neq -1$. We apply these results to complete the classification of the reducible Specht modules for the Hecke algebras of the symmetric groups when $q \neq-1$. Our methods can also be used to determine certain other pairs of Specht modules between which there is a homomorphism. In particular, we describe the homomorphism space from the trivial module to an arbitrary Specht module.


title: Subsolutions of time-periodic Hamilton-Jacobi equations

abstract: We prove the existence of $C^{1}$ critical subsolutions of the Hamilton-Jacobi equation for a time-periodic Hamiltonian system. We draw a consequence for the Minimal Action functional of the system.


title: The $S_4$-action on the Tetrahedron algebra

abstract: The action of the symmetric group of degree 4 on the Tetrahedron algebra, introduced by Hartwig and Terwilliger, is studied. This action gives a grading of the algebra which is related to its decomposition into a direct sum of three subalgebras isomorphic to the Onsager algebra. The ideals of both the Tetrahedron algebra and the Onsager algebra are determined.


title: Latent Quaternionic Geometry

abstract: In this article we discuss the interaction between the geometry of a quaternion-Kahler manifold M and that of the Grassmannian G(3,g) of oriented 3-dimensional subspaces of a compact Lie algebra g. This interplay is described mainly through the moment mapping induced by the action of a group G of quaternionic isometries on M. We give an alternative expression for the endomorphisms I_{1},I_{2},I_{3}, both in terms of the holonomy representation of M and the structure of the Grassmannian's tangent space. A correspondence between the solutions of respective twistor-type equations on M and G(3,g) is provided.


title: Combined Reduced-Rank Transform

abstract: We propose and justify a new approach to constructing optimal nonlinear transforms of random vectors. We show that the proposed transform improves such characteristics of rank-reduced transforms as compression ratio, accuracy of decompression and reduces required computational work. The proposed transform ${\mathcal T}_p$ is presented in the form of a sum with $p$ terms where each term is interpreted as a particular rank-reduced transform. Moreover, terms in ${\mathcal T}_p$ are represented as a combination of three operations ${\mathcal F}_k$, ${\mathcal Q}_k$ and ${\boldsymbol{\phi}}_k$ with $k=1,...,p$. The prime idea is to determine ${\mathcal F}_k$ separately, for each $k=1,...,p$, from an associated rank-constrained minimization problem similar to that used in the Karhunen--Lo\`{e}ve transform. The operations ${\mathcal Q}_k$ and ${\boldsymbol{\phi}}_k$ are auxiliary for finding ${\mathcal F}_k$. The contribution of each term in ${\mathcal T}_p$ improves the entire transform performance. A corresponding unconstrained nonlinear optimal transform is also considered. Such a transform is important in its own right because it is treated as an optimal filter without signal compression. A rigorous analysis of errors associated with the proposed transforms is given.


title: Vanishing of principal value integrals on surfaces

abstract: Principal value integrals are associated to multi-valued rational differential forms with normal crossings support on a non-singular algebraic variety. We prove their vanishing on rational surfaces in the context of a conjecture of Denef-Jacobs. As an application we obtain a strong vanishing result for candidate poles of p-adic and motivic Igusa zeta functions.


title: Potential density of rational points for K3 surfaces over function fields

abstract: We give examples of non-isotrivial K3 surfaces over complex function fields with Zariski-dense rational points and N'eron-Severi rank one.


title: The heritage of S.Lie and F.Klein: Geometry via transformation groups

abstract: We outline a framework which generalizes Felix Klein's Erlanger Programm which he announced in 1872 after exchanging ideas with Sophus Lie.


title: On the character ring of a finite group

abstract: Let $G$ be a finite group and let $k$ be a sufficiently large finite field. Let $R(G)$ denote the character ring of $G$ (i.e. the Grothendieck ring of the category of ${\mathbb{C}}G$-modules). We study the structure and the representations of the commutative algebra $k \otimes\_{\mathbb{\ZM}} R(G)$


title: Incidence-based Estimates of Healthy Life Expectancy for the United Kingdom: Coherence between Transition Probabilities and Aggregate Life Tables

abstract: Will the United Kingdom's ageing population be fit and independent, or suffer from greater chronic ill health? Healthy life expectancy is commonly used to assess this: it is an estimate of how many years are lived in good health over the lifespan. This paper examines a means of generating estimates of healthy and unhealthy life expectancy consistent with exogenous population mortality data. The method takes population transition matrices and adjusts these in a statistically coherent way so as to render them consistent with aggregate life tables. It is applied to estimates of healthy life expectancy for the United Kingdom.


title: A Dynamic View of Circular Colorings

abstract: The main contributions of this paper are three-fold. First, we use a dynamic approach based on Reiter's pioneering work on Karp-Miller computation graphs to give a new and short proof of Mohar's Minty-type Theorem. Second, we bridge circular colorings and discrete event dynamic systems to show that the Barbosa and Gafni's results on circular chromatic number can be generalized to edge-weighted symmetric directed graphs. Third, we use the above-mentioned dynamic view of circular colorings to construct new improved lower bounds on the circular chromatic number of a graph. We show as an example that the circular chromatic number of the line graph of the Petersen graph can be determined very easily by using these bounds.


title: A note on the alternating sums of powers of consecutive q-integers

abstract: In this paper we construct a new q-Euler numbers and polynomials. By using these numbers and polynomials, we give the interesting formulae related to alternating sums of powers of consecutive q-integers following an idea due to Euler.


title: p-adic framed braids

abstract: In this paper we define the $p$-adic framed braid group ${\mathcal F}_{\infty,n}$, arising as the inverse limit of the modular framed braids and we give topological generators for ${\mathcal F}_{\infty, n}$. We also give geometric interpretations for the $p$-adic framed braids. We then construct a $p$-adic Yokonuma-Hecke algebra ${\rm Y}_{\infty,n}(u)$ as the inverse limit of a family of classical Yokonuma-Hecke algebras. These are quotients of the modular framed braid groups over a quadratic relation. We also give topological generators for ${\rm Y}_{\infty,n}(u)$. Finally, we construct on this new algebra a linear trace that supports the Markov property.


title: On Pseudospectra of Matrix Polynomials and their Boundaries

abstract: In the first part of this paper, the main concern is with smoothness properties of the boundary of the pseudospectrum of a matrix polynomial. In the second part, results are obtained concerning the number of connected components of pseudospectra, as well as results concerning matrix polynomials with multiple eigenvalues, or the proximity to such polynomials.


title: On the Head and the Tail of the Colored Jones Polynomial

abstract: The colored Jones polynomial is a series of one variable Laurent polynomials J(K,n) associated with a knot K in 3-space. We will show that for an alternating knot K the absolute values of the first and the last three leading coefficients of J(K,n) are independent of n when n is sufficiently large. Computation of sample knots indicates that this should be true for any fixed leading coefficient of the colored Jones polynomial for alternating knots. As a corollary we get a Volume-ish Theorem for the colored Jones Polynomial.


title: Convex projective structures on Gromov--Thurston manifolds

abstract: We consider Gromov-Thurston examples of negatively curved n-manifolds which do not admit metrics of constant sectional curvature. We show that for each n some of the Gromov-Thurston manifolds admit strictly convex real-projective structures.


title: Local-global principles for representations of quadratic forms

abstract: We prove the local-global principle holds for the problem of representations of quadratic forms by quadratic forms, in codimension $\geq 7$. The proof uses the ergodic theory of $p$-adic groups, together with a fairly general observation on the structure of orbits of an arithmetic group acting on integral points of a variety.


title: Generalization error bounds in semi-supervised classification under the cluster assumption

abstract: We consider semi-supervised classification when part of the available data is unlabeled. These unlabeled data can be useful for the classification problem when we make an assumption relating the behavior of the regression function to that of the marginal distribution. Seeger (2000) proposed the well-known "cluster assumption" as a reasonable one. We propose a mathematical formulation of this assumption and a method based on density level sets estimation that takes advantage of it to achieve fast rates of convergence both in the number of unlabeled examples and the number of labeled examples.


title: Nonexistence of asymptotically self-similar singularities in the Euler and the Navier-Stokes equations

abstract: In this paper we rule out the possibility of asymptotically self-similar singularities for both of the 3D Euler and the 3D Navier-Stokes equations. The notion means that the local in time classical solutions of the equations develop self-similar profiles as $t$ goes to the possible time of singularity $T$. For the Euler equations we consider the case where the vorticity converges to the corresponding self-similar voriticity profile in the sense of the critical Besov space norm, $\dot{B}^0_{1, \infty}(\Bbb R^3)$. For the Navier-Stokes equations the convergence of the velocity to the self-similar singularity is in $L^q(B(z,r))$ for some $q\in [2, \infty)$, where the ball of radius $r$ is shrinking toward a possible singularity point $z$ at the order of $\sqrt{T-t}$ as $t$ approaches to $T$. In the $L^q (\Bbb R^3)$ convergence case with $q\in [3, \infty)$ we present a simple alternative proof of the similar result in \cite{hou}.


title: Uniform annihilators of local cohomology

abstract: In this paper, we study the properties of noetherian rings with uniform annihilators. It turns out that all these rings should be universally catenary and locally equidimensional. We will give a necessary and sufficient condition for these rings, which enable us to prove that if a ring R is the image of a Cohen-Macaulay ring of finite dimension, then R has a uniform annihilator of local cohomology. Moreover, we will give a positive answer to the conjecture [Hu, Conjecture 2.13] about the excellent rings with dimension no more than 5.


title: Lower bounds on the number of closed trajectories of generalized billiards

abstract: Given a domain or, more generally, a Riemannian manifold with boundary, a billiard is the motion of a particle when the field of force is absent. Trajectories of such a motion are geodesics inside the domain; and the particle reflects from the boundary making the angle of incidence equal the angle of reflection. The billiard motion can happen to be a closed (or periodic) one when the billiard ball rebounds k times and then gets to the initial position with the same speed vector as in the beginning. The study of closed billiard trajectories is due to George Birkhoff who in 1927 proved a lower estimate for the number of closed billiard trajectories of a certain period k. We consider the most general case when the billiard ball reflects from an arbitrary submanifold of a Euclidean space. We prove Morse inequalities in this situation and apply them to find a lower estimate for the number of closed billiard trajectories of any prime period in terms of Betti numbers of the given manifold.


title: Hypersurfaces and Codazzi tensors

abstract: In this paper we deal with the following problem: Find all Riemannian metrics on a manifold that can be realized isometrically as immersed hypersurfaces in the Euclidean space. We study this problem for a wide class of metrics on hypersurfaces arising from Codazzi tensors.


title: Baire-one mappings contained in a usco map

abstract: We investigate Baire-one functions whose graph is contained in a graph of usco mapping. We prove in particular that such a function defined on a metric space with values in $\mathbb{R}^d$ is the pointwise limit of a sequence of continuous functions with graphs contained in the graph of a common usco map.


title: SL(n,Z) cannot act on small spheres

abstract: The group SL(n,Z) admits a smooth faithful action on the (n-1)-sphere S^(n-1), induced from its linear action on euclidean space R^n. We show that, if m < n-1 and n > 2, any smooth action of SL(n,Z) on a mod 2 homology m-sphere, and in particular on the m-sphere S^m, is trivial.


title: Tensor subalgebras and First Fundamental Theorems in invariant theory

abstract: Let $V=\oC^n$ and let $T:=T(V)\otimes T(V^*)$ be the mixed tensor algebra over $V$. We characterize those subsets $A$ of $T$ for which there is a subgroup $G$ of the unitary group $\UU(n)$ such that $A=T^G$. They are precisely the nondegenerate contraction-closed graded $*$-subalgebras of $T$. While the proof makes use of the First Fundamental Theorem for $\GL(n,\oC)$ (in the sense of Weyl), the characterization has as direct consequences First Fundamental Theorems for several subgroups of $\GL(n,\oC)$. Moreover, a Galois connection between linear algebraic $*$-subgroups of $\GL(n,\oC)$ and nondegenerate contraction-closed $*$-subalgebras of $T$ is derived.


title: Infinitesimal lifting and Jacobi criterion for smoothness on formal schemes

abstract: This a first step to develop a theory of smooth, etale and unramified morphisms between noetherian formal schemes. Our main tool is the complete module of differentials, that is a coherent sheaf whenever the map of formal schemes is of pseudo finite type. Among our results we show that these infinitesimal properties of a map of usual schemes carry over into the completion with respect to suitable closed subsets. We characterize unramifiedness by the vanishing of the module of differentials. Also we see that a smooth morphism of noetherian formal schemes is flat and its module of differentials is locally free. The paper closes with a version of Zariski's Jacobian criterion.


title: A generalized blow-up formula for Seiberg--Witten invariants

abstract: We prove a gluing formula for Seiberg--Witten invariants which describes in particular the behaviour of the invariant under blow-up and rational blow-down.


title: On some cases of integrability of a general Riccati equation

abstract: A general Riccati equation is integrated in quadratures in case one of its coefficients is an arbitrary function and two others are expressed through it.


title: On meromorphic functions without Julia directions

abstract: It is proved that for any positive number $\lambda$, $1<\lambda<2$; there exists a meromorphic function $f$ with logarithmic order $\lambda$= $\displaystyle\limsup_{r\to+\infty}\frac{\log T(r,f)}{\log\log r}$ such that $f$ has no Julia directions, where $T(r,f)$ is the Nevanlinna characteristic function of $f$. (Note that A. Ostrowski has proved a {\it similar} result for $\lambda=2$ in 1926.)


title: $k$-symmetric AKS systems and flat immersions in spheres

abstract: We define a large class of integrable nonlinear PDE's, \emph{$k$-symmetric AKS systems}, whose solutions evolve on finite dimensional subalgebras of loop algebras, and linearize on an associated algebraic curve. We prove that periodicity of the associated algebraic data implies a type of quasiperiodicity for the solution, and show that the problem of isometrically immersing $n$-dimensional Euclidean space into a sphere of dimension $2n-1$ can be addressed via this scheme, producing infinitely many real analytic solutions.


title: Normalized information-based divergences

abstract: This paper is devoted to the mathematical study of some divergences based on the mutual information well-suited to categorical random vectors. These divergences are generalizations of the "entropy distance" and "information distance". Their main characteristic is that they combine a complexity term and the mutual information. We then introduce the notion of (normalized) information-based divergence, propose several examples and discuss their mathematical properties in particular in some prediction framework.


title: Generalized DPW method and an application to isometric immersions of space forms

abstract: Let $G$ be a complex Lie group and $\Lambda G$ denote the group of maps from the unit circle ${\mathbb S}^1$ into $G$, of a suitable class. A differentiable map $F$ from a manifold $M$ into $\Lambda G$, is said to be of \emph{connection order $(_a^b)$} if the Fourier expansion in the loop parameter $\lambda$ of the ${\mathbb S}^1$-family of Maurer-Cartan forms for $F$, namely $F_\lambda^{-1} \dd F_\lambda$, is of the form $\sum_{i=a}^b \alpha_i \lambda^i$. Most integrable systems in geometry are associated to such a map. Roughly speaking, the DPW method used a Birkhoff type splitting to reduce a harmonic map into a symmetric space, which can be represented by a certain order $(_{-1}^1)$ map, into a pair of simpler maps of order $(_{-1}^{-1})$ and $(_1^1)$ respectively. Conversely, one could construct such a harmonic map from any pair of $(_{-1}^{-1})$ and $(_1^1)$ maps. This allowed a Weierstrass type description of harmonic maps into symmetric spaces. We extend this method to show that, for a large class of loop groups, a connection order $(_a^b)$ map, for $a<0<b$, splits uniquely into a pair of $(_a^{-1})$ and $(_1^b)$ maps. As an application, we show that constant non-zero curvature submanifolds with flat normal bundle of a sphere or hyperbolic space split into pairs of flat submanifolds, reducing the problem (at least locally) to the flat case. To extend the DPW method sufficiently to handle this problem requires a more general Iwasawa type splitting of the loop group, which we prove always holds at least locally.


title: On hyperbolic Coxeter polytopes with mutually intersecting facets

abstract: We prove that, apart from some well-known low-dimensional examples, any compact hyperbolic Coxeter polytope has a pair of disjoint facets. This is one of very few known general results concerning combinatorics of compact hyperbolic Coxeter polytopes. We also obtain a similar result for simple non-compact polytopes.


title: Control theorems for elliptic curves over function fields

abstract: Let $F$ be a global function field of characteristic $p>0$, $\mathcal F/F$ a Galois extension with $Gal(\tilde F/F)\simeq \mathbb{Z}_p^{\mathbb N}$ and $E/F$ a non-isotrivial elliptic curve. We study the behaviour of Selmer groups $Sel_E(L)_l$ ($l$ any prime) as $L$ varies through the subextensions of $\mathcal F$ via appropriate versions of Mazur's Control Theorem. In the case $l=p$ we let $\mathcal F=\bigcup \mathcal F_d$ where $\mathcal F_d/F$ is a $\mathbb{Z}_p^d$-extension. With a mild hypothesis on $Sel_E(F)_p$ (essentially a consequence of the Birch and Swinnerton-Dyer conjecture) we prove that $Sel_E(\mathcal F_d)_p$ is a cofinitely generated (in some cases cotorsion) $\mathbb{Z}_p[[Gal(\mathcal F_d/F)]]$-module and we associate to its Pontrjagin dual a Fitting ideal. This allows to define an algebraic $L$-function associated to $E$ in $\mathbb{Z}_p[[Gal(\mathcal F/F)]]$, providing an ingredient for a function field analogue of Iwasawa's Main Conjecture for elliptic curves.


title: On the algebraic structure of the unitary group

abstract: We consider the unitary group $\U$ of complex, separable, infinite-dimensional Hilbert space as a discrete group. It is proved that, whenever $\U$ acts by isometries on a metric space, every orbit is bounded. Equivalently, $\U$ is not the union of a countable chain of proper subgroups, and whenever $\E\subseteq \U$ generates $\U$, it does so by words of a fixed finite length.


title: Cofrobenius Coalgebra

abstract: We investigate left and right co-Frobenius coalgebras and give equivalent characterizations which prove statements dual to the characterizations of Frobenius algebras. We prove that a coalgebra is left and right co-Frobenius if and only if C is isomorphic to Rat(C*) as right C*-modules and also that this is eqhivalent to the fact that the functors Hom_K(-,K) and Hom_{C*}(-,C*) from the category of right C-comodules to the category of all left C*-modules are isomorphic. This allows a definition of a left-right symmetric concept of co-Frobenius coalgebras that is perfectly dual to the one of Frobenius algebras and coincides to the existing notion left and right co-Frobenius coalgebra.


title: Application de Hodge-Tate duale d'un groupe de Lubin-Tate, immeuble de Bruhat-Tits du groupe lineaire et filtrations de ramification

abstract: One of the goals of this article is to describe the isomorphism between Lubin-Tate and Drinfeld towers at the level of their skeletons after taking quotient by $\GL_n (\O_F)\times \O_D^\times$ or $I\times\O_D^\times$ where $\O_D$ is the maximal order in the division algebra with invariant $\frac{1}{n}$ over $F$ and $I$ a Iwahori subgroup of $\GL_n$. We give applications to the theory of canonical subgroups on Lubin-Tate spaces, the description of spherical Hecke orbits in those spaces, fundamental domains for Hecke correspondences and the Gross-Hopkins period mapping. We also study in details the ramification filtrations (upper and lower) and the Hodge-Tate map of a one dimensional formal $p$-divisible group.


title: Unitary representability of free abelian topological groups

abstract: For every Tikhonov space $X$ the free abelian topological group $A(X)$ and the free locally convex vector space $L(X)$ admit a topologically faithful unitary representation. For compact spaces $X$ this is due to Jorge Galindo.


title: Chow-Kunneth decomposition for varieties with low cohomological level

abstract: We show that a smooth projective variety admits a Chow-Kunneth decomposition if the cohomology has level at most one except for the middle degree. This can be extended to the relative case in a weak sense if the morphism has only isolated singularities, the base space is 1-dimensional, and the generic fiber satisfies the above condition.


title: On Schr\"odinger Maps

abstract: We study the local well-posedness theory for the Schr\"odinger Maps equation. We work in $n+1$ dimensions, for $n \geq 2$, and prove a local well-posedness for small initial data in $H^{\frac{n}{2}+\e}$.


title: Knots and k-width

abstract: We investigate several integer invariants of curves in 3-space. We demonstrate relationships of these invariants to crossing number and to total curvature.


title: Automatic continuity in homeomorphism groups of compact 2-manifolds

abstract: We show that any homomorphism from the homeomorphism group of a compact 2-manifold, with the compact-open topology, or equivalently, with the topology of uniform convergence, into a separable topological group is automatically continuous.


title: Estimates and Existence Results for a Fully Nonlinear Yamabe Problem on Manifolds with Boundary

abstract: This paper concerns a fully nonlinear version of the Yamabe problem on manifolds with boundary. We establish some existence results and estimates of solutions.


title: Topological equivalences for differential graded algebras

abstract: We investigate the relationship between differential graded algebras (dgas) and topological ring spectra. Every dga C gives rise to an Eilenberg-Mac Lane ring spectrum denoted HC. If HC and HD are weakly equivalent, then we say C and D are topologically equivalent. Quasi-isomorphic dgas are topologically equivalent, but we produce explicit counter-examples of the converse. We also develop an associated notion of topological Morita equivalence using a homotopical version of tilting.


title: Postnikov extensions of ring spectra

abstract: We give a functorial construction of k-invariants for ring spectra and use these to classify extensions in the Postnikov tower of a ring spectrum.


title: On the connectivity of the Poisson process on fractals

abstract: For a measure mu supported on a compact connected subset of a Euclidean space which satisfies a uniform d-dimensional decay of the volume of balls we show that the maximal edge in the minimum spanning tree of n indepndent samples from mu is, with high probability (log n/n)^(1/d).


title: The LIL for canonical $U$-statistics

abstract: We give necessary and sufficient conditions for the (bounded) law of the iterated logarithm for canonical $U$-statistics of arbitrary order $d$, extending the previously known results for $d=2$. The nasc's are expressed as growth conditions on a parameterized family of norms associated with the $U$-statistics kernel.


title: Abelian points on algebraic curves

abstract: We study the question of whether algebraic curves of a given genus g defined over a field K must have points rational over the maximal abelian extension K^{ab} of K. We give: (i) an explicit family of diagonal plane cubic curves with Q^{ab}-points, (ii) for every number field K, a genus one curve C_{/Q} with no K^{ab}-points, and (iii) for every g \geq 4 an algebraic curve C_{/Q} of genus g with no Q^{ab}-points. In an appendix, we discuss varieties over Q((t)), obtaining in particular a curve of genus 3 without (Q((t)))^{ab}-points.


title: Being serious about non-commitment: subgame perfect equilibrium in continuous time

abstract: This paper characterizes differentiable subgame perfect equilibria in a continuous time intertemporal decision optimization problem with non-constant discounting. The equilibrium equation takes two different forms, one of which is reminescent of the classical Hamilton-Jacobi-Bellman equation of optimal control, but with a non-local term. We give a local existence result, and several examples in the consumption saving problem. The analysis is then applied to suggest that non constant discount rates generate an indeterminacy of the steady state in the Ramsey growth model. Despite its indeterminacy, the steady state level is robust to small deviations from constant discount rates.


title: An Invitation to Lorentzian Geometry

abstract: The intention of this article is to give a flavour of some global problems in General Relativity. We cover a variety of topics, some of them related to the fundamental concept of 'Cauchy hypersurfaces': (1) structure of globally hyperbolic spacetimes, (2) the relativistic initial value problem, (3) constant mean curvature surfaces, (4) singularity theorems, (5) cosmic censorship and Penrose inequality, (6) spinors and holonomy.


title: Spatial Neutral to the Right Species Sampling Mixture Models

abstract: This paper describes briefly how one may utilize a class of species sampling mixture models derived from Doksum's (1974) neutral to the right processes. For practical implementation we describe an ordered/ranked variant of the generalized weighted Chinese restaurant process.


title: Differential Structure of Abelian Functions

abstract: The space of abelian functions of a principally polarized abelian variety J is studied as a module over the ring D of global holomorphic differential operators on J. We construct a D-free resolution in case the theta divisor is non-singular. As an application, in the case of dimension 2 and 3, we construct a new linear basis of the space of abelian functions in terms of logarithmic derivatives of the higher dimensional sigma function.


title: Contact Ozsvath-Szabo Invariants and Giroux Torsion

abstract: In this paper we prove a vanishing theorem for the contact Ozsvath--Szabo invariants of certain contact 3--manifolds having positive Giroux torsion. We use this result to establish similar vanishing results for contact structures with underlying 3--manifolds admitting either a torus fibration over the circle or a Seifert fibration over an orientable base. We also show -- using standard techniques from contact topology -- that if a contact 3--manifold (Y,\xi) has positive Giroux torsion then there exists a Stein cobordism from (Y,\xi) to a contact 3--manifold (Y,\xi') such that (Y,\xi) is obtained from (Y,\xi') by a Lutz modification.


title: Rational surgery formula for Habiro-Le invariants of rational homology 3-spheres

abstract: The results become part of an upcoming paper.


title: BRST Extension of Geometric Quantization

abstract: Consider a physical system for which a mathematically rigorous geometric quantization procedure exists. Now subject the system to a finite set of irreducible first class (bosonic) constraints. It is shown that there is a mathematically rigorous BRST quantization of the constrained system whose cohomology at ghost number zero recovers the constrained quantum states. Moreover this space of constrained states has a well-defined Hilbert space structure inherited from that of the original system. Treatments of these ideas in the Physics literature are more general but suffer from having states with infinite or zero "norms" and thus are not admissible as states. Also the BRST operator for many systems require regularization to be well-defined. In our more restricted context we show that our treatment does not suffer from any of these difficulties. This work was submitted for publication March 21,2006.


title: Fundamental groups of moduli stacks of stable curves of compact type

abstract: Let $\widetilde{\cal M}_{g,n}$, for $2g-2+n>0$, be the moduli stack of $n$-pointed, genus $g$, stable complex curves of compact type. Various characterizations and properties are obtained of both the algebraic and topological fundamental groups of the stack $\widetilde{\cal M}_{g,n}$. Let $\Gamma_{g,n}$, for $2g-2+n>0$, be the Teichm\"uller group associated with a compact Riemann surface of genus $g$ with $n$ points removed $S_{g,n}$, i.e. the group of homotopy classes of diffeomorphisms of $S_{g,n}$ which preserve the orientation of $S_{g,n}$ and a given order of its punctures. Let $K_{g,n}$ be the normal subgroup of $\Gamma_{g,n}$ generated by Dehn twists along separating circles on $S_{g,n}$. As a first application of the above theory, a characterization of $K_{g,n}$ is given for all $n\geq 0$ (for $n=0,1$, this was done by Johnson). Let then ${\cal T}_{g,n}$ be the Torelli group, i.e. the kernel of the natural representation $\Gamma_{g,n}\ra Sp_{2g}(Z)$. The abelianization of ${\cal T}_{g,n}$ is determined for all $g\geq 1$ and $n\geq 1$, thus completing classical results by Johnson and Mess.