title: Invariant Star Products of Wick Type: Classification and Quantum Momentum Mappings

abstract: We extend our investigations on $\mathfrak g$-invariant Fedosov star products and quantum momentum mappings \cite{MN03a} to star products of Wick type on pseudo-K\"ahler manifolds. Star products of Wick type can be completely characterized by a local description as given by Karabegov in \cite{Kar96} for star products with separation of variables. We separately treat the action of a Lie group $G$ on $\Cinf{M}[[\nu]]$ by (pull-backs with) diffeomorphisms and the action of a Lie algebra $\mathfrak g$ on $\Cinf{M}[[\nu]]$ by (Lie derivatives with respect to) vector fields. Within Karabegov's framework we prove necessary and sufficient conditions for a given star product of Wick type to be invariant in the respective sense. Moreover, our results yield a complete classification of invariant star products of Wick type. We also prove a necessary and sufficient condition for (the Lie derivative with respect to) a vector field to be even a quasi-inner derivation of a given star product of Wick type. We then transfer our former results about quantum momentum mappings for $\mathfrak g$-invariant Fedosov star products to the case of invariant star products of Wick type.


title: On the Hilbert-Blumenthal moduli problem

abstract: In this article we compare different conditions on abelian schemes with real multiplication which occur in the integral models of the Hilbert-Blumenthal Shimura variety considered by Rapoport, Deligne, Pappas and Kottwitz. We show that the models studied by Deligne/Pappas and Kottwitz are isomorphic over Spec Z_(p). We also examine the associated local models and prove that they are equal.


title: Intersections in genus 3 and the Boussinesq hierarchy

abstract: In this note we prove that the enlarged Witten's conjecture is true in the case of the Boussinesq hierarchy for correlators in genus 3 with descendants only at one point.


title: The homotopy branching space of a flow

abstract: In this talk, I will explain the importance of the homotopy branching space functor (and of the homotopy merging space functor) in dihomotopy theory. The paper is a detailed abstract of math.AT/0304112 and math.AT/0305169.


title: Alexander polynomials of non-locally-flat knots

abstract: We generalize the classical study of Alexander polynomials of smooth or PL locally-flat knots to PL knots that are not necessarily locally-flat. We introduce three families of generalized Alexander polynomials and study their properties. For knots with point singularities, we obtain a classification of these polynomials that is complete except for one special low-dimensional case. This classification extends existing classifications for PL locally-flat knots. For knots with higher-dimensional singularities, we further extend the necessary conditions on the invariants. We also construct several varieties of singular knots to demonstrate realizability of certain families of polynomials as generalized Alexander polynomials. These constructions, of independent interest, generalize known knot constructions such as frame spinning and twist spinning.


title: On the fixed homogeneous circle problem

abstract: We give some results about the dynamics of a particle moving in Euclidean three-space under the influence of the gravitational force induced by a fixed homogeneous circle. Our main results concern (1) singularities and (2) the dynamics in the plane that contains the circle. The study presented here is purely analytic.


title: Spectral measure of large random Hankel, Markov and Toeplitz matrices

abstract: We study the limiting spectral measure of large symmetric random matrices of linear algebraic structure. For Hankel and Toeplitz matrices generated by i.i.d. random variables $\{X_k\}$ of unit variance, and for symmetric Markov matrices generated by i.i.d. random variables $\{X_{ij}\}_{j>i}$ of zero mean and unit variance, scaling the eigenvalues by $\sqrt{n}$ we prove the almost sure, weak convergence of the spectral measures to universal, nonrandom, symmetric distributions $\gamma_H$, $\gamma_M$ and $\gamma_T$ of unbounded support. The moments of $\gamma_H$ and $\gamma_T$ are the sum of volumes of solids related to Eulerian numbers, whereas $\gamma_M$ has a bounded smooth density given by the free convolution of the semicircle and normal densities. For symmetric Markov matrices generated by i.i.d. random variables $\{X_{ij}\}_{j>i}$ of mean $m$ and finite variance, scaling the eigenvalues by ${n}$ we prove the almost sure, weak convergence of the spectral measures to the atomic measure at $-m$. If $m=0$, and the fourth moment is finite, we prove that the spectral norm of $\mathbf {M}_n$ scaled by $\sqrt{2n\log n}$ converges almost surely to 1.


title: A new conical internal evolutive LP algorithm

abstract: In a previous paper, published in 1992, a primal conical LP algorithm with exact finite coonvergence was presented. The underlying optimality condition requires tangency of two sets (an affine space and a cone). In the algorithm the two sets remain disjoint until the last step. This left open the possibility of developing an internal algorithm in which, by the contrary, the two sets keep intersecting each other. Such an algorithm along with a new optimality condition is presented here. It is stressed that the results given here complete the picture of the conical approach to LP in many other important respect, as illustrated in detail in the introduction.


title: Riemann maps in almost complex manifolds

abstract: We prove the existence of stationary discs in the ball for small almost complex deformations of the standard structure. We define a local analogue of the Riemann map and establish its main properties. These constructions are applied to study the local geometry of almost complex manifolds and their morphisms.


title: A duality theory for some non-convex functions of matrices

abstract: We study a special class of non-convex functions which appear in nonlinear elasticity; and we prove that they have well-defined Legandre transforms. Several examples are given, and an application to a nonlinear eigenvalue problem


title: Estimates of the Kobayashi metric on almost complex manifolds

abstract: We establish a lower estimate for the Kobayashi-Royden infinitesimal pseudometric on an almost complex manifold $(M,J)$ admitting a bounded strictly plurisubharmonic function. We apply this result to study the boundary behaviour of the metric on a strictly pseudoconvex domain in $M$ and to give a sufficient condition for the complete hyperbolicity of a domain in $(M,J)$. Finally we obtain the regularity up to the bounday of $J$-holomorphic discs attached to a totally real submanifold in $M$.


title: Wong-Rosay Theorem in almost complex manifolds

abstract: We study the compactness of sequences of diffeomorphisms in almost complex manifolds in terms of the direct images of the standard integrable structure.


title: Glauber dynamics on trees:Boundary conditions and mixing time

abstract: We give the first comprehensive analysis of the effect of boundary conditions on the mixing time of the Glauber dynamics in the so-called Bethe approximation. Specifically, we show that spectral gap and the log-Sobolev constant of the Glauber dynamics for the Ising model on an n-vertex regular tree with plus-boundary are bounded below by a constant independent of n at all temperatures and all external fields. This implies that the mixing time is O(log n) (in contrast to the free boundary case, where it is not bounded by any fixed polynomial at low temperatures). In addition, our methods yield simpler proofs and stronger results for the spectral gap and log-Sobolev constant in the regime where there are multiple phases but the mixing time is insensitive to the boundary condition. Our techniques also apply to a much wider class of models, including those with hard-core constraints like the antiferromagnetic Potts model at zero temperature (proper colorings) and the hard--core lattice gas (independent sets).


title: A remark on absolutely summing multilinear mappings

abstract: In this note we obtain new coincidence theorems for absolutely summing multilinear mappings between Banach spaces. We also prove that our results, in general, can not be improved.


title: Constant mean curvature foliations of simplicial flat spacetimes

abstract: Benedetti and Guadagnini have conjectured that the marked lenght spectrum of the constant mean curvature foliation $M_\tau$ in a 2+1 dimensional flat spacetime $V$ with compact hyperbolic Cauchy surfaces converges, in the direction of the singularity, to that of the marked measure spectrum of the R-tree dual to the measured foliation corresponding to the translational part of the holonomy of $V$. We prove that this is the case for $n+1$ dimensional, $n \geq 2$, {\em simplicial} flat spacetimes with compact hyperbolic Cauchy surface. A simplicial spacetime is obtained from the Lorentz cone over a hyperbolic manifold by deformations corresponding to a simple measured foliation.


title: Homology fibrations and "group-completion" revisited

abstract: We give a proof of the Jardine-Tillmann generalized group completion theorem. It is much in the spirit of the original homology fibration approach by McDuff and Segal, but follows a modern treatment of homotopy colimits, using as little simplicial technology as possible. We compare simplicial and topological definitions of homology fibrations.


title: Tight contact structures on Seifert manifolds over T^2 with one singular fibre

abstract: In this article we classify up to isotopy tight contact structures on Seifert manifolds over the torus with one singular fibre.


title: Seifert fibered contact three-manifolds via surgery

abstract: Using contact surgery we define families of contact structures on certain Seifert fibered three-manifolds. We prove that all these contact structures are tight using contact Ozsath-Szabo invariants. We use these examples to show that, given a natural number n, there exists a Seifert fibered three-manifold carrying at least n pairwise non-isomorphic tight, not fillable contact structures.


title: Tangent bundles to sub-Riemannian groups

abstract: This paper is about non-Euclidean analysis on Lie groups endowed with left invariant distributions, seen as sub-Riemannian manifolds. This is a an updated version, which will be modified according to the contributions of the other participants to the Borel Seminar. The current version can be downloaded at http://irmi.epfl.ch/cag/buliga_sr.html . All comments are welcomed.


title: The Generalized Segal-Bargmann transform and Special Functions

abstract: Analysis of function spaces and special functions are closely related to the representation theory of Lie groups. We explain here the connection between the Laguerre functions, the Laguerre polynomials, and the Meixner-Pollacyck polynomials on the one side, and highest weight representations of Hermitian Lie groups on the other side. The representation theory is used to derive differential equations and recursion relations satisfied by those special functions.


title: A ``horizontal" hyper--diffusion $3-D$ thermocline planetary geostrophic model: well-posedness and long time behavior

abstract: In this paper we study a three dimensional thermocline planetary geostrophic ``horizontal" hyper--diffusion model of the gyre-scale midlatitude ocean. We show the global existence and uniqueness of the weak and strong solutions to this model. Moreover, we establish the existence of a finite dimensional global attractor to this dissipative evolution system. Preliminary computational tests indicate that our hyper--diffusion model does not exhibit any of the nonphysical instabilities near the literal boundary which are observed numerically in other models.


title: Capability of certain nilpotent products of cyclic groups

abstract: A group is called capable if it is a central factor group. We consider the capability of certain nilpotent products of cyclic groups, and obtain a generalisation of a theorem of Baer for the small class case. The approach may also be used to obtain some recent results on the capability of certain nilpotent groups of class 2. We also obtain a necessary condition for the capability of an arbitrary $p$-group of class $k$, and some further results.


title: On Dynamical Gaussian Random Walks

abstract: Motivated by the recent work of Benjamini, Haggstrom, Peres, and Steif (2003) on dynamical random walks, we: Prove that, after a suitable normalization, the dynamical Gaussian walk converges weakly to the Ornstein-Uhlenbeck process in classical Wiener space; derive sharp tail-asymptotics for the probabilities of large deviations of the said dynamical walk; and characterize (by way of an integral test) the minimal envelop(es) for the growth-rate of the dynamical Gaussian walk. This development also implies the tail capacity-estimates of Mountford (1992) for large deviations in classical Wiener space. The results of this paper give a partial affirmative answer to the problem, raised in Benjamini et al (2003, Question 4), of whether there are precise connections between the OU process in classical Wiener space and dynamical random walks.


title: Planar Minimally Rigid Graphs and Pseudo-Triangulations

abstract: Pointed pseudo-triangulations are planar minimally rigid graphs embedded in the plane with pointed vertices (adjacent to an angle larger than 180 degrees. In this paper we prove that the opposite statement is also true, namely that planar minimally rigid graphs always admit pointed embeddings, even under certain natural topological and combinatorial constraints. We provide two proofs, which both yield efficient embedding algorithms. One based on Henneberg inductive constructions from combinatorial rigidity theory, the other on a generalization of Tutte's barycentric embeddings to directed graphs.


title: Inverting the spherical Radon transform for physically meaningful functions

abstract: In this paper we refer to the reconstruction formulas given in L.-E. Andersson's On the determination of a function from spherical averages, which are often used in applications such as SAR and SONAR. We demonstrate that the first one of these formulas does not converge given physically reasonable assumptions. An alternative is proposed and it is shown that the second reconstruction formula is well-defined but might be difficult to compute numerically.


title: An introduction to perverse sheaves

abstract: These notes aim to give a first introduction to intersection cohomology and perverse sheaves with applications to representation theory or quantum groups in mind.


title: Short Rational Functions for Toric Algebra and Applications

abstract: We encode the binomials belonging to the toric ideal $I_A$ associated with an integral $d \times n$ matrix $A$ using a short sum of rational functions as introduced by Barvinok \cite{bar,newbar}. Under the assumption that $d,n$ are fixed, this representation allows us to compute the Graver basis and the reduced Gr\"obner basis of the ideal $I_A$, with respect to any term order, in time polynomial in the size of the input. We also derive a polynomial time algorithm for normal form computation which replaces in this new encoding the usual reductions typical of the division algorithm. We describe other applications, such as the computation of Hilbert series of normal semigroup rings, and we indicate further connections to integer programming and statistics.


title: Noncommutative Riemannian and Spin Geometry of the Standard q-Sphere

abstract: We study the quantum sphere $C_q[S^2]$ as a quantum Riemannian manifold in the quantum frame bundle approach. We exhibit its 2-dimensional cotangent bundle as a direct sum $\Omega^{0,1}\oplus\Omega^{1,0}$ in a double complex. We find the natural metric, volume form, Hodge * operator, Laplace and Maxwell operators. We show that the q-monopole as spin connection induces a natural Levi-Civita type connection and find its Ricci curvature and q-Dirac operator $D$. We find the possibility of an antisymmetric volume form quantum correction to the Ricci curvature and Lichnerowicz-type formulae for $D^2$. We also remark on the geometric q-Borel-Weil-Bott construction.


title: Value distribution of Ramanujan sums and of cyclotomic polynomial coefficients

abstract: The Ramanujan sum c_n(k) and a_n(k), the kth coefficient of the nth cyclotomic polynomial, are completely symmetric expressions in terms of primitive nth roots of unity. For fixed k we study the value distribution of c_n(k) (following A. Wintner) and a_n(k) (partly following H. Moller). In particular we disprove a 1970 conjecture of H. Moller on the average (over n) of a_n(k). We show that certain symmetric functions in primitive roots considered by the Dence brothers are related to the behaviour of c_{p-1}(k) and a_{p-1}(k) as p ranges over the primes and study their value distribution as well. This paper is an outgrowth of the M.Sc. thesis project of the second author, carried out under the supervision of the first author at the Korteweg-de Vries Institute (University of Amsterdam) and is written in M.Sc. thesis style. We gratefully acknowledge numerical assistance by Yves Gallot.


title: Conformal restriction and related questions

abstract: This paper is based on mini-courses given in July 2003. Its goal is to give a self-contained sketchy and heuristic survey of the recent results concerning conformal restriction, that were initiated in our joint work with Greg Lawler and Oded Schramm, and further investigated in the last year in joint work with Roland Friedrich, Greg Lawler, and by Julien Dubedat. These notes can be viewed as complementary to my Saint-Flour notes.


title: Triple Cohomology of Lie-Rinehart Algebras and the Canonical Class of Associative Algebras

abstract: We introduce a bicomplex which computes the triple cohomology of Lie--Rinehart algebras. We prove that the triple cohomology is isomorphic to the Rinehart cohomology \cite{Ri} provided the Lie--Rinehart algebra is projective over the corresponding commutative algebra. As an application we construct a canonical class in the third dimensional cohomology corresponding to an associative algebra.


title: On Correspondences of a K3 Surface with itself I

abstract: Let X be a K3 surface with a polarization H with H^2=2rs. Assume that H.N(X)=Z for the Picard lattice N(X). The moduli space Y of sheaves over X with the Mukai vector (r,H,s) is again a K3 surface. We prove that Y\cong X, if there exists h_1\in N(X) with (h_1)^2=f(r,s), H.h_1\equiv 0\mod g(r,s), and h_1 satisfies some condition of primitivity. Existence of such type a criterion is surprising, and also gives some geometric interpretation of elements in N(X) with negative square. We describe all 18-dimensional irreducible components of moduli of the (X,H) with Y\cong X and prove that their number is infinite. These generalizes results of math.AG/0206158, math.AG/0304415 for r=s.


title: Generalized coherent states for q-oscillator connected with q-Hermite polynomials

abstract: For the oscillator-like systems, connected with q-Hermite polynomials, coherent states of Barut-Girardello type are defined. The well-known Arik-Coon oscillator naturally arose in the framework of suggested approach as oscillator, connected with the Rogers q-Hermite polynomials, in the same way as usual oscillator with standard Hermite polynomials. The results about the coherent states for discrete q-Hermite polynomials of II type are quite new.


title: A proof of a conjecture of Buck, Chan and Robbins on the random assignment problem

abstract: We prove the main conjecture of the paper ``On the expected value of the minimum assignment'' by Marshall W. Buck, Clara S. Chan, and David P. Robbins (Random Structures & Algorithms 21 (2002), no. 1, 33--58). This is a vast generalization of a formula conjectured by Giorgio Parisi for the $n$ by $n$ random assignment problem. We combine the urn model from the article by Buck, Chan and Robbins, with our proof of Parisi's conjecture in our article posted on the Arxiv in March this year. Our new theorem generalize simultaneously our main theorem from that article and the conjecture by Buck, Chan and Robbins. Using the urn model we avoid several technical difficulties from our previous proof of Parisi's conjecture and get a shorter proof in a conceptually more appealling setting.


title: Counting Curves in Elliptic Surfaces by Symplectic Methods

abstract: We explicitly compute family GW invariants of elliptic surfaces for primitive classes. That involves establishing a TRR formula and a symplectic sum formula for elliptic surfaces and then determining the GW invariants using an argument from \cite{ip3}. In particular, as in \cite{bl1}, these calculations also confirm the well-known Yau-Zaslow Conjecture \cite{yz} for primitive classes in $K3$ surfaces.


title: Graph powers and k-ordered Hamiltonicity

abstract: It is known that if G is a connected simple graph, then G^3 is Hamiltonian (in fact, Hamilton-connected). A simple graph is k-ordered Hamiltonian if for any sequence v_1, v_2, ..., v_k of k vertices there is a Hamiltonian cycle containing these vertices in the given order. In this paper, we prove that G^(3k/2 + 1) is k-ordered Hamiltonian for a connected graph G on at least k vertices. We further show that if G is connected, then G^4 is 4-ordered Hamiltonian and that if G is Hamiltonian, then G^3 is 5-ordered Hamiltonian. We also give bounds on the smallest power p_k such that G^p_k is k-ordered Hamiltonian for G=P_n and G=C_n.


title: Killing spinors in supergravity with 4-fluxes

abstract: We study the spinorial Killing equation of supergravity involving a torsion 3-form $\T$ as well as a flux 4-form $\F$. In dimension seven, we construct explicit families of compact solutions out of 3-Sasakian geometries, nearly parallel $\G_2$-geometries and on the homogeneous Aloff-Wallach space. The constraint $\F \cdot \Psi = 0$ defines a non empty subfamily of solutions. We investigate the constraint $\T \cdot \Psi = 0$, too, and show that it singles out a very special choice of numerical parameters in the Killing equation, which can also be justified geometrically.


title: Last syzygies of 1-generic spaces

abstract: Consider a determinantal variety X of expected codimension definend by the maximal minors of a matrix M of linear forms. Eisenbud and Popescu have conjectured that 1-generic matrices M are characterised by the property that the syzygy ideals I(s) of all last syzygies s of X coincide with I_X. In this note we prove a geometric version of this characterization, i.e. that M is 1-generic if and only if the syzygy varieties Syz(s)=V(I(s)) of all last syzyzgies have the same support as X.


title: Quasi-homomorphisms and stable lengths in mapping class groups

abstract: We give elementary applications of quasi-homomorphisms to growth problems in groups. A particular case concerns the number of torsion elements required to factorise a given element in the mapping class group of a surface.


title: A note on avoidable words in squarefree ternary words

abstract: We completely characterize the words that can be avoided in infinite squarefree ternary words.


title: Cut vertices in commutative graphs

abstract: The homology of Kontsevich's commutative graph complex parameterizes finite type invariants of odd dimensional manifolds. This {\it graph homology} is also the twisted homology of Outer Space modulo its boundary, so gives a nice point of contact between geometric group theory and quantum topology. In this paper we give two different proofs (one algebraic, one geometric) that the commutative graph complex is quasi-isomorphic to the quotient complex obtained by modding out by graphs with cut vertices. This quotient complex has the advantage of being smaller and hence more practical for computations. In addition, it supports a Lie bialgebra structure coming from a bracket and cobracket we defined in a previous paper. As an application, we compute the rational homology groups of the commutative graph complex up to rank 7.


title: A note on non-repetitive colourings of planar graphs

abstract: Alon et al. introduced the concept of non-repetitive colourings of graphs. Here we address some questions regarding non-repetitive colourings of planar graphs. Specifically, we show that the faces of any outerplanar map can be non-repetitively coloured using at most five colours. We also give some lower bounds for the number of colours required to non-repetitively colour the vertices of both outerplanar and planar graphs.


title: Microlocalization and stationary phase

abstract: Let M be a holonomic module over the Weyl algebra K[t]<\partial_t>, K a field of characteristic zero. We prove a stationary phase formula which expresses the formalization of the germ at infinity of the Fourier transform of M in terms of a sum of local contributions depending on the germs defined by M at its singular points and at infinity. For this purpose, we consider formal analogues of the local Fourier transforms defined by G. Laumon in the l-adic setting (for instance, the transformation labelled (0,\infty) by Laumon corresponds in our context to formal microlocalization). When K is the field of complex numbers we can describe in a similar way the 1-Gevrey germ at infinity defined by M. When K is a p-adic field, we make a modest attempt to reproduce a small part of these constructions in the p-adic setting. We define a ring of p-adic microdifferential operators (of finite order) and we prove a p-adic stationary phase formula in some special cases.


title: Manifold structure of spaces of spherical tight frames

abstract: We consider the space F^E_{k,n} of all spherical tight frames of k vectors in real or complex n--dimensional Hilbert space E^n, i.e. E=R or E=C, and its orbit space G^E_{k,n}=F^E_{k,n}/O^E_n under the obvious action of the group O^E_n of structure preserving transformations of E^n. We show that the quotient map F^E_{k,n} -> G^E_{k,n} is a locally trivial fiber bundle (also in the more general case of ellipsoidal tight frames) and that there is a homeomorphism G^E_{k,n} -> G^E_{k,k-n}. We show that G^E_{k,n} and F^E_{k,n} are real manifolds whenever k and n are relatively prime, and we describe them as disjoint unions of finitely many manifolds (of various dimensions) when when k and n have a common divisor. We also prove that F^R_{k,2} is connected (k >= 4) and F^R_{n+2,n} is connected, (n >= 2). The spaces G^R_{4,2} and G^R_{5,2} are investigated in detail. The former is found to be a graph and the latter is the orientable surface of genus 25.


title: PseudoH-type 2-step nilpotent Lie groups

abstract: PseudoH-type is a natural generalization of H-type to geometries with indefinite metric tensors. We give a complete determination of the conjugate locus including multiplicities. We also obtain a partial characterization in terms of the abundance of totally geodesic, 3-dimensional submanifolds.


title: Topology of definable Hausdorff limits

abstract: Let $A\sub \R^{n+r}$ be a set definable in an o-minimal expansion $\S$ of the real field, $A' \sub \R^r$ be its projection, and assume that the non-empty fibers $A_a \sub \R^n$ are compact for all $a \in A'$ and uniformly bounded, {\em i.e.} all fibers are contained in a ball of fixed radius $B(0,R).$ If $L$ is the Hausdorff limit of a sequence of fibers $A_{a_i},$ we give an upper-bound for the Betti numbers $b_k(L)$ in terms of definable sets explicitly constructed from a fiber $A_a.$ In particular, this allows to establish effective complexity bounds in the semialgebraic case and in the Pfaffian case. In the Pfaffian setting, Gabrielov introduced the {\em relative closure} to construct the o-minimal structure $\S_\pfaff$ generated by Pfaffian functions in a way that is adapted to complexity problems. Our results can be used to estimate the Betti numbers of a relative closure $(X,Y)_0$ in the special case where $Y$ is empty.


title: Combinatorial pseudo-Triangulations

abstract: We prove that a planar graph is generically rigid in the plane if and only if it can be embedded as a pseudo-triangulation. This generalizes the main result of math.CO/0307347 which treats the minimally generically rigid case. The proof uses the concept of combinatorial pseudo-triangulation, CPT, in the plane and has two main steps: showing that a certain ``generalized Laman property'' is a necessary and sufficient condition for a CPT to be ``stretchable'', and showing that all generically rigid plane graphs admit a CPT assignment with that property. Additionally, we propose the study of combinatorial pseudo-triangulations on closed surfaces.


title: A Landing Theorem for Periodic Rays of Exponential Maps

abstract: We answer a question of Schleicher by showing that, for an exponential map with nonescaping singular value, every periodic ray lands. This is an analog of a theorem of Douady and Hubbard concerning polynomials. We also prove a partial converse: there are periodic external rays landing at all periodic points, with the exception of at most one periodic orbit.


title: A note on existence and uniqueness of limit cycles for Li\'enard systems

abstract: We consider the Li\'enard equation and we give a sufficient condition to ensure existence and uniqueness of limit cycles. We compare our result with some other existing ones and we give some applications.


title: Equivariant smooth Deligne cohomology

abstract: On the basis of Brylinski's work, we introduce a notion of equivariant smooth Deligne cohomology group, which is a generalization of both the ordinary smooth Deligne cohomology and the ordinary equivariant cohomology. Using the cohomology group, we classify equivariant circle bundles with connection, and equivariant gerbes with connection.


title: On almost duality for Frobenius manifolds

abstract: We present a universal construction of almost duality for Frobenius manifolds. The analytic setup of this construction is described in details for the case of semisimple Frobenius manifolds. We illustrate the general considerations by examples from the singularity theory, mirror symmetry, the theory of Coxeter groups and Shephard groups, from the Seiberg - Witten duality.


title: Complex structures on affine motion groups

abstract: We study existence of complex structures on semidirect products $\g \oplus_{\rho} \v$ where $\g$ is a real Lie algebra and $\rho$ is a representation of $\g$ on $\v$. Our first examples, the Euclidean algebra $\e(3)$ and the Poincar\'e algebra $ \e(2,1)$, carry complex structures obtained by deformation of a regular complex structure on $\sl (2, \c)$. We also exhibit a complex structure on the Galilean algebra $\G(3,1)$. We construct next a complex structure on $\g \oplus_{\rho} \v$ starting with one on $\g$ under certain compatibility assumptions on $\rho$. As an application of our results we obtain that there exists $k\in \{0,1\}$ such that $(S^1)^k \times E(n)$ admits a left invariant complex structure, where $S^1$ is the circle and E(n) denotes the Euclidean group. We also prove that the Poincar\'e group $P^{4k+3}$ has a natural left invariant complex structure. In case $\dim \g= \dim \v$, then there is an adapted complex structure on $\g\oplus_{\rho} \v$ precisely when $\rho$ determines a flat, torsion-free connection on $\g$. If $\rho$ is self-dual, $\g \oplus_{\rho}\v$ carries a natural symplectic structure as well. If, moreover, $\rho$ comes from a metric connection then $\g\oplus_{\rho} \v$ possesses a pseudo-K\"ahler structure. We prove that the tangent bundle $TG$ of a Lie group $G$ carrying a flat torsion free connection $\nabla$ and a parallel complex structure possesses a hypercomplex structure. More generally, by an iterative procedure, we can obtain Lie groups carrying a family of left invariant complex structures which generate any prescribed real Clifford algebra.


title: Applications of non-Archimedean integration to the $L$-series of $\tau$-sheaves

abstract: Let $\underline{\mathcal F}$ be a $\tau$-sheaf. Building on previous work of Drinfeld, Anderson, Taguchi, and Wan, B\"ockle and Pink \cite{bp1} develop a cohomology theory for $\underline{\mathcal F}$. In \cite{boc1} B\"ockle uses this theory to establish the analytic continuation of the $L$-series associated to $\underline{\mathcal F}$ (which is a characteristic $p$ valued ``Dirichlet series'') {\em and} the logarithmic growth of the degrees of its special polynomials. In this paper we shall show that this logarithmic growth is all that is needed to analytically continue the original $L$-series as well as {\em all} associated partial $L$-series. Moreover, we show that the degrees of the special polynomials attached to the partial $L$-series also grow logarithmically. Our tools are B\"ockle's original results, non-Archimedean integration, and the very strong estimates of Y. Amice \cite{am1}. Along the way, we define certain natural modules associated with non-Archimedean measures (in the characteristic 0 case as well as in characteristic $p$).


title: W^{2,1}_p Solvability for Parabolic Poincare Problem

abstract: We study Poincar\'e problem for a linear uniformly parabolic operator $\P$ in a cylinder $Q=\Omega\times (0,T).$ The boundary operator $\B$ is defined by an oblique derivative with respect to a tangential vector field $\l$ defined on the lateral boundary $S.$ The coefficients of $\P$ are supposed to be $VMO$ away from the set of tangency $E$ and to possess higher regularity in $x$ near to $E.$ A unique strong solvability result is obtained in $W^{2,1}_p(Q)$ for all $p\in (1,\infty).$


title: Gorenstein Liaison and ACM Sheaves

abstract: We study Gorenstein liaison of codimension two subschemes of an arithmetically Gorenstein scheme X. Our main result is a criterion for two such subschemes to be in the same Gorenstein liaison class, in terms of the category of ACM sheaves on X. As a consequence we obtain a criterion for X to have the property that every codimension 2 arithmetically Cohen-Macaulay subscheme is in the Gorenstein liaison class of a complete intersection. Using these tools we prove that every arithmetically Gorenstein subscheme of $\mathbb{P}^n$ is in the Gorenstein liaison class of a complete intesection and we are able to characterize the Gorenstein liaison classes of curves on a nonsingular quadric threefold in $\mathbb{P}^4$.


title: Existence of divergent Birkhoff normal forms of Hamiltonian functions

abstract: We show that for $n \geq 2$ there exist real analytic Hamiltonian systems on $\mathbf{R}^{2n}$ with non-resonant eigenvalues at a singular point, of which the Birkhoff normal form itself is divergent. The proof of the result is achieved by analyzing how the small-divisors enter the normal form.


title: Groups, periodic planes and hyperbolic buildings

abstract: We give an elementary construction of polyhedra whose links are connected bipartite graphs, which are not necessarily isomorphic pairwise. We show, that the fundamental groups of some of our polyhedra contain surface groups. In particular, we construct polyhedra whose links are generalized $m$-gons. The polyhedra of this type are interesting because of their universal coverings, which are two-dimensional hyperbolic buildings with different links. The presentation of the results is done in the language of combinatorial group theory.


title: On Dequantization of Fedosov's Deformation Quantization

abstract: To each natural deformation quantization on a Poisson manifold M we associate a Poisson morphism from the formal neighborhood of the zero section of the cotangent bundle to M to the formal neighborhood of the diagonal of the product M x M~, where M~ is a copy of M with the opposite Poisson structure. We call it dequantization of the natural deformation quantization. Then we "dequantize" Fedosov's quantization.


title: Face pairing graphs and 3-manifold enumeration

abstract: The face pairing graph of a 3-manifold triangulation is a 4-valent graph denoting which tetrahedron faces are identified with which others. We present a series of properties that must be satisfied by the face pairing graph of a closed minimal P^2-irreducible triangulation. In addition we present constraints upon the combinatorial structure of such a triangulation that can be deduced from its face pairing graph. These results are then applied to the enumeration of closed minimal P^2-irreducible 3-manifold triangulations, leading to a significant improvement in the performance of the enumeration algorithm. Results are offered for both orientable and non-orientable triangulations.


title: Representations of wreath products on cohomology of De Concini-Procesi compactifications

abstract: The wreath product W(r,n) of the cyclic group of order r and the symmetric group S_n acts on the corresponding projective hyperplane complement, and on its wonderful compactification as defined by De Concini and Procesi. We give a formula for the characters of the representations of W(r,n) on the cohomology groups of this compactification, extending the result of Ginzburg and Kapranov in the r=1 case. As a corollary, we get a formula for the Betti numbers which generalizes the result of Yuzvinsky in the r=2 case. Our method involves applying to the nested-set stratification a generalization of Joyal's theory of tensor species, which includes a link between polynomial functors and plethysm for general r. We also give a new proof of Lehrer's formula for the representations of W(r,n) on the cohomology groups of the hyperplane complement.


title: An $L^1$ counting problem in ergodic theory

abstract: We solve the following counting problem for measure preserving transformations. For $f\in L_+^1(\mu)$, is it true that $\ds \sup_n\frac{\bN_n(f)(x)}{n} <\infty,$ where $$\ds\bN_n(f)(x)= # {k: \frac{f(T^k x)}{k}>\frac 1 n}?$$ One of the consequences is the nonvalidity of J. Bourgain's Return Time Theorem for pairs of $(L^1, L^1)$ functions.


title: Inverse limits of rings and Multiplier rings

abstract: It is proved that the exchange property, the Bass stable rank and the quasi-Bass property are all preserved under surjective inverse limits. This is then applied to multiplier rings by showing that in many cases can be obtained as inverse limits.


title: Virtual Class of Zero Loci and Mirror Theorems

abstract: Let $Y$ be the zero loci of a regular section of a convex vector bundle $E$ over $X$. We provide a new proof of a conjecture of Cox, Katz and Lee for the virtual class of the genus zero moduli of stable maps to $Y$. This in turn yields the expected relationship between Gromov-Witten theories of $Y$ and $X$ which together with Mirror Theorems allows for the calculation of enumerative invariants of $Y$ inside of $X$.


title: Stacks of twisted modules and integral transforms

abstract: Stacks were introduced by Grothendieck and Giraud and are, roughly speaking, sheaves of categories. Kashiwara developed the theory of twisted modules, which are objects of stacks locally equivalent to stacks of modules over sheaves of rings. In this paper we recall these notions, and we develop the formalism of operations for stacks of twisted modules. As an application, we state a twisted version of an adjunction formula which is of use in the theory of integral transforms for sheaves and D-modules.


title: P is not equal to NP intersect coNP for Infinite Time Turing Machines

abstract: Extending results of Schindler [math.LO/0106087] and Hamkins and Welch [math.LO/0212046], we establish in the context of infinite time Turing machines that P is properly contained in NP intersect coNP. Furthermore, NP intersect coNP is exactly the class of hyperarithmetic sets. For the more general classes, we establish that P+ = (NP+ intersect coNP+) = (NP intersect coNP), though P++ is properly contained in NP++ intersect coNP++. Within any contiguous block of infinite clockable ordinals, we show that P_alpha is not equal to NP_alpha intersect coNP_alpha, but if beta begins a gap in the clockable ordinals, then P_beta = NP_beta intersect coNP_beta. Finally, we establish that P^f is not equal to NP^f intersect coNP^f for most functions f from the reals to the ordinals, although we provide examples where P^f = NP^f intersect coNP^f and P^f is not equal to NP^f.


title: Quasiperiodic Flows and Algebraic Number Fields

abstract: We classify a quasiperiodic flow as either algebraic or transcendental. For an algebraic quasiperiodic flow on the n-torus, we prove that an absolute invariant of the smooth conjugacy class of this flow, known as the multiplier group, is a subgroup of the group of units of the ring of integers in a real algebraic number field of degree n over Q. We also prove that for any real algebraic number field F of degree n over Q, there exists an algebraic quasiperiodic flow on the n-torus whose multiplier group is exactly the group of units of the ring of integers in F. We support and formulate the conjecture that the multiplier group distinguishes the algebraic quasiperiodic flows from the transcendental ones.


title: Representations of rational Cherednik algebras of rank 1 in positive characteristic

abstract: In this paper, we classify the irreducible representations of the rational Cherednik algebras of rank 1 in characteristic p > 0. There are two cases. One is the "quantum" case, where "Planck's constant" is nonzero and generic irreducible representations have dimension pr, where r is the order of the cyclic group contained in the algebra. The other is the "classical" case, where "Planck's constant" is zero and generic irreducible representations have dimension r.


title: Weak Hopf algebras corresponding to $U_q[sl_n]$

abstract: We investigate the weak Hopf algebras of Li based on $U_q[sl_n]$ and Sweedler's finite dimensional example. We give weak Hopf algebra isomorphisms between the weak generalisations of $U_q[sl_n]$ which are ``upgraded'' automorphisms of $U_q[sl_n]$ and hence give a classification of these structures as weak Hopf algebras. We also show how to decompose these examples into a direct sum which leads to unexpected isomorphisms between their algebraic structure.


title: The relationship between homological properties and representation theoretic realization of artin algebras

abstract: We will study the relationship of quite different object in the theory of artin algebras, namely Auslander-regular rings of global dimension two, torsion theories, $\tau$-categories and almost abelian categories. We will apply our results to characterization problems of Auslander-Reiten quivers.


title: Functional equations for quantum theta functions

abstract: Quantum theta functions were introduced by the author in [Ma1]. They are certain elements in the function rings of quantum tori. By definition, they satisfy a version of the classical functional equations involving shifts by the multiplicative periods. This paper shows that for a certain subclass of period lattices (compatible with the quantization form), quantum thetas satisfy an analog of another classical functional equation related to an action of the metaplectic group upon the (half of) the period matrix. In the quantum case, this is replaced by the action of the special orthogonal group on the quantization form, which provides Morita equivalent tori. The argument uses Rieffel's approach to the construction of (strong) Morita equivalence bimodules and the associativity of Rieffel's scalar products.


title: Classification of Steadily Rotating Spiral Waves for the Kinematic Model

abstract: Spiral waves arise in many biological, chemical, and physiological systems. The kinematical model can be used to describe the motion of the spiral arms approximated as curves in the plane. For this model, there appeared some results in the literature. However, these results all are based upon some simplification on the model or prior phenomenological assumptions on the solutions. In this paper, we use really full kinematic model to classify a generic kind of steadily rotating spiral waves, i.e., with positive (or negative) curvature. In fact, using our results (Theorem 8), we can answer the following questions: Is there any steadily rotating spiral wave for a given weakly excitable medium? If yes, what kind of information we can know about these spiral waves? e.g., the tip's curvature, the tip's tangential velocity, and the rotating frequency. Comparing our results with previous ones in the literature, there are some differences between them. There are only solutions with monotonous curvatures via simplified model but full model admits solutions with any given oscillating number of the curvatures.


title: Functional Equation of the Rate of Inflation

abstract: This short note aims to introduce a rule which admits to compute %any time rate of interest in any time per any time, rate of inflation per any time in any moment, if the rate of interest or the rate of inflation by unity of time is an arbitrary integrable function. The main result is the generalization of the well known rule, which holds for the piecewise constant approximation of the rate of inflation to rule which should be used for arbitrary integrable function. The usage of the rule is demonstrated on the examples based on real data of index of prices of non regulated prices in Czech republic.


title: Cohomology rings, Rochlin function, linking pairing and the Goussarov--Habiro theory of three--manifolds

abstract: We prove that two closed oriented 3-manifolds have isomorphic quintuplets (homology, space of spin structures, linking pairing, cohomology rings, Rochlin function) if, and only if, they belong to the same class of a certain surgery equivalence relation introduced by Goussarov and Habiro.


title: A Blowup Problem of Reaction Diffusion Equation Related to the Diffusion Induced Blowup Phenomenon

abstract: This work studies nonnegative solutions for the Cauchy, Neumann, and Dirichlet problems of a logistic type reaction-diffusion equation. The finite time blowup results for nonnegative solutions under various restrictions on the coefficients of this equation are presented. Applying the results allows one to construct some reaction diffusion systems with the so-called diffusion-induced blowup phenomenon, particularly in the case of equal diffusion rates.


title: Complex multiplication, Griffiths-Yukawa couplings, and rigidity for families of hypersurfaces

abstract: Let M(d,n) be the moduli stack of hypersurfaces of degree d > n in the complex projective n-space, and let M(d,n;1) be the sub-stack, parameterizing hypersurfaces obtained as a d fold cyclic covering of the projective n-1 space, ramified over a hypersurface of degree d. Iterating this construction, one obtains M(d,n;r). We show that M(d,n;1) is rigid in M(d,n), although the Griffiths-Yukawa coupling degenerates for d<2n. On the other hand, for all d>n the sub-stack M(d,n;2) deforms. We calculate the exact length of the Griffiths-Yukawa coupling over M(d,n;r), and we construct a 4-dimensional family of quintic hypersurfaces, and a dense set of points in the base, where the fibres have complex multiplication.


title: On the least exponential growth admitting uncountably many closed permutation classes

abstract: We show that the least exponential growth of counting functions which admits uncountably many closed permutation classes lies between 2^n and (2.33529...)^n.


title: Well-posedness for a higher order nonlinear Schrodinger equation in Sobolev spaces of negative indices

abstract: We prove that, the initial value problem associated to u_{t} + i\alphau_{xx} + \beta u_{xxx} + i\gamma |u|^{2}u = 0, x,t \in R, is locally well-posed in Sobolev spaces H^{s} for s>-1/4.


title: Words avoiding 7/3-powers and the Thue-Morse morphism

abstract: In 1982, Seebold showed that the only overlap-free binary words that are the fixed points of non-identity morphisms are the Thue-Morse word and its complement. We strengthen Seebold's result by showing that the same result holds if the term 'overlap-free' is replaced with '7/3-power-free'. Furthermore, the number 7/3 is best possible.


title: De Rham Complex for Quantized Irreducible Flag Manifolds

abstract: It is shown that quantized irreducible flag manifolds possess a canonical $q$-analogue of the de Rham complex. Generalizing the well known situation for the standard Podle\'s' quantum sphere this analogue is obtained as the universal differential calculus of a distinguished first order differential calculus. The corresponding differential $\dif$ can be written as a sum of differentials $\del$ and $\delbar$. The universal differential calculus corresponding to the first order differential calculi $\dif$, $\del$, and $\delbar$ are given in terms of generators and relations. Relations to well known quantized exterior algebras are established. The dimensions of the homogeneous components are shown to be the same as in the classical case. The existence of a volume form is proven.


title: Cohen-Macaulay Properties of Square-Free Monomial Ideals

abstract: In this paper we study simplicial complexes as higher dimensional graphs in order to produce algebraic statements about their facet ideals. We introduce a large class of square-free monomial ideals with Cohen-Macaulay quotients, and a criterion for the Cohen-Macaulayness of facet ideals of simplicial trees. Along the way, we generalize several concepts from graph theory to simplicial complexes.


title: The volume of the moduli space of flat connections on a nonorientable 2-manifold

abstract: We compute the Riemannian volume on the moduli space of flat connections on a nonorientable 2-manifold, for a natural class of metrics. We also show that Witten's volume formula for these moduli spaces may be derived using Haar measure, and we give a new proof of Witten's volume formula for the moduli space of flat connections on an orientable surface using Haar measure.


title: On the topology of graph picture spaces

abstract: We study the space ${\mathcal X}^{d}(G)$ of pictures of a graph $G$ in complex projective $d$-space. The main result is that the homology groups (with integer coefficients) of ${\mathcal X}^{d}(G)$ are completely determined by the Tutte polynomial of $G$. One application is a criterion in terms of the Tutte polynomial for independence in the {\it $d$-parallel matroids} studied in combinatorial rigidity theory. For certain special graphs called \defterm{orchards}, the picture space is smooth and has the structure of an iterated projective bundle. We give a Borel presentation of the cohomology ring of the picture space of an orchard, and use this presentation to develop an analogue of the classical Schubert calculus.


title: First-order hyperbolic pseudodifferential equations with generalized symbols

abstract: We consider the Cauchy problem for a hyperbolic pseudodifferential operator whose symbol is generalized, resembling a representative of a Colombeau generalized function. Such equations arise, for example, after a reduction-decoupling of second-order model systems of differential equations in seismology. We prove existence of a unique generalized solution under log-type growth conditions on the symbol, thereby extending known results for the case of differential operators with generalized functions as coefficients.


title: A Geometric Proof of Generalized Riemann Hypothesis

abstract: Beginning from the resolution of Dirichlet L function, using the inner product formula of infinite-dimensional vectors in the complex space, the author proved the world's baffling problem--Generalized Riemann hypothesis.


title: Some limits of the colored Jones polynomials of the figure-eight knot

abstract: We will study the asymptotic behaviors of the colored Jones polynomials of the figure-eight knot. In particular we will show that for certain limits we obtain the volumes of the cone manifolds with singularities along the knot.


title: Embodied Mathematics and the Origins of Geometry

abstract: In this paper, we propose that 'embodied mathematics' should be studied not only by reduction to the present individual bodily experience but in an historical context as well, as far as the origins of mathematics are concerned. Some early mathematical results are the Theorems of Geometry and arose as attempts to objectively render the main perceptual categories such as verticality, horizontality, similarity (or its varieties). Inasmuch as these are of a qualitative nature, it was required that they be expressed in a quantitative way in order to be objectified. The first form of this objectification occurred in the case of 'archetypal results', namely the Pythagorean triads and the internal ratio of the legs in the right triangles. In the next stage, a 'scientific' treatment would come from a shift of objectification and descriptions inside an abstract theory, which would constitute the first logicomathematical knowledge. In this theory, the 'archetypal results' were incorporated, generalized and acquired their unquestionable, supertemporal validity. The study presents a particular epistemological analysis of some of the main terms used in the beginnings of Geometrical Thought and Euclid's Elements, utilizing the theoretical apparatus of the theory of 'embodied mathematics'. It also traces models of objectification for the 'archetypal results' and indicates their diffusion in later mathematical developments.


title: Generic initial ideals and distractions

abstract: The generic initial ideals of a given ideal are rather recent invariants. Not much is known about these objects, and it turns out to be very difficult to compute them. The main purpose of this paper is to study the behaviour of generic initial ideals with respect to the operation of taking distractions. Our main result states that the revlex generic initial ideal of the distraction of a strongly stable ideal is the ideal itself. In proving this fact we develop some new results related to distractions, stable and strongly stable ideals. We show, for example, that the gin of a "principal" stable ideal does not depend on the term order and onthe characteristic of the base field. We draw some geometric conclusions for ideals of points.


title: On Spineless Cacti, Deligne's Conjecture and Connes--Kreimer's Hopf Algebra

abstract: Using a cell model for the little discs operad in terms of spineless cacti we give a minimal common topological operadic formalism for three a priori disparate algebraic structures: (1) a solution to Deligne's conjecture on the Hochschild complex, (2) the Hopf algebra of Connes and Kreimer, and (3) the string topology of Chas and Sullivan.


title: Hurwitz spaces of quadruple coverings of elliptic curves and the moduli space of abelian threefolds A_3(1,1,4)

abstract: We prove that the moduli space A_3(1,1,4) of polarized abelian threefolds with polarization of type (1,1,4) is unirational. By a result of Birkenhake and Lange this implies the unirationality of the isomorphic moduli space A_3(1,4,4). The result is based on the study the Hurwitz space H_{4,n}(Y) of quadruple coverings of an elliptic curve Y simply branched in n points. We prove the unirationality of its codimension one subvariety H^{0}_{4,A}(Y) which parametrizes quadruple coverings \pi:X --> Y with Tschirnhausen modules isomorphic to A^{-1}, where A\in Pic^{n/2}Y, and for which \pi^*:J(Y)--> J(X) is injective. This is an analog of the result of Arbarello and Cornalba that the Hurwitz space H_{4,n}(P^1) is unirational.


title: $\widetilde{Q}$-representation of real numbers and fractal probability distributions

abstract: A $\widetilde{Q}-$representation of real numbers is introduced as a generalization of the $p-$adic and $Q-$representations. It is shown that the $\widetilde{Q}-$representation may be used as a convenient tool for the construction and study of fractals and sets with complicated local structure. Distributions of random variables $\xi$ with independent $\widetilde{Q}-$symbols are studied in details. Necessary and sufficient conditions for the probability measures $\mu_\xi $ associated with $\xi$ to be either absolutely continuous or singular (resp. pure continuous, or pure point) are found in terms of the $\widetilde{Q}-$representation. In addition the metric-topological properties for the distribution of $\xi $ are investigated. A number of examples are presented.


title: GKM theory for torus actions with non-isolated fixed points

abstract: Let $M^{2d}$ be a compact symplectic manifold and $T$ a compact $n$-dimensional torus. A Hamiltonian action, $\tau$, of $T$ on $M$ is a GKM action if, for every $p \in M^T$, the isotropy representation of $T$ on $T_pM$ has pair-wise linearly independent weights. For such an action the projection of the set of zero and one-dimensional orbits onto $M/T$ is a regular $d$-valent graph; and Goresky, Kottwitz and MacPherson have proved that the equivariant cohomology of $M$ can be computed from the combinatorics of this graph. (See \cite{GKM:eqcohom}.) In this paper we define a ``GKM action with non-isolated fixed points'' to be an action, $\tau$, of $T$ on $M$ with the property that for every connected component, $F$ of $M^T$ and $ p \in F$ the isotropy representation of $T$ on the normal space to $F$ at $p$ has pair-wise linearly independent weights. For such an action, we show that all components of $M^T$ are diffeomorphic and prove an analogue of the theorem above.


title: The number of unsieved integers up to x

abstract: Typically, one expects that there are around x\prod_{p\not\in P, p <= x} (1-1/p) integers up to x, all of whose prime factors come from the set P. Of course for some choices of P one may get rather more integers, and for some choices of P one may get rather less. Hall [4] showed that one never gets more than e^\gamma+o(1) times the expected amount (where \gamma is the Euler-Mascheroni constant), which was improved slightly by Hildebrand [5]. Hildebrand [6] also showed that for a given value of \prod_{p\not\in P, p <= x} (1-1/p), the smallest count that you get (asymptotically) is when P consists of all the primes up to a given point. In this paper we shall improve Hildebrand's upper bound, obtaining a result close to optimal, and also give a substantially shorter proof of Hildebrand's lower bound. As part of the proof we give an improved Lipschitz-type bound for such counts.


title: Representation Dimension and Solomon Zeta Function

abstract: We will show that there exists a close relationship between quasi-hereditary algebras of Cline-Parshall-Scott and the rejection theory from the viewpoint of the approximation theory of Auslander-Smalo. As an application, we will solve two open problems. One concerns the representation dimension of artin algebras introduced by M. Auslander about 30 years ago, and another concerns the Solomon zeta functions of orders introduced by L. Solomon about 25 years ago. It will turn out that the rejection theory relates these two quite different problems with each other closely.


title: Surfaces, submanifolds, and aligned Fox reimbedding in non-Haken 3-manifolds

abstract: Understanding non-Haken 3-manifolds is central to many current endeavors in 3-manifold topology. We describe some results for closed orientable surfaces in non-Haken manifolds, and extend Fox's theorem for submanifolds of the 3-sphere to submanifolds of general non-Haken manifolds. In the case where the submanifold has connected boundary, we show also that the boundary-connected sum decomposition of the submanifold can be aligned with such a structure on the submanifold's complement.


title: A Four-parameter Partition Identity

abstract: We present a new partition identity and give a combinatorial proof of our result. This generalizes a result of Andrew's in which he considers the generation function for partitions with respect to size, number of odd parts, and number of odd parts of the conjugate.


title: Geometric Characterization of Property R

abstract: Consider pairs of the form (G, N), with G a group and N \normal G, as objects of a category \PG. A morphism (G_1, N_1) \To (G_2, N_2) will be a group homomorphism f : G_1 \To G_2 such that f(N_1) \subset N_2. We introduce a functor Q : \PG \To \Groups, which provides a geometric definition of Property R, since it is most naturally visualized by means of a directed graph. We compute these graphs for a number of finite groups of small order, and prove a general characterization of the graphs which occur in this way.


title: Almost K\"ahler 4-dimensional Lie groups with $J$-invariant Ricci tensor

abstract: The aim of this paper is to determine left-invariant strictly almost K\"ahler structures on 4-dimensional Lie groups $(g, J, \Omega)$ such that the Ricci tensor is $J$-invariant.


title: Mari\~no-Vafa Formula and Hodge Integral Identities

abstract: In this note we derive some consequences from the Mari\~no-Vafa formula and the cut-and-join equation, these include unified simple proofs of the $\lambda_g$ conjecture and some other Hodge integral identities. We also describe a proof of the ELSV formula relating Hurwitz numbers and Hodge integrals by using the cut-and-join equation, following our proof of the Mari\~no-Vafa formula.


title: Strongly Homotopy Lie Algebras of One Even and Two Odd Dimensions

abstract: We classify strongly homotopy Lie algebras - also called L-infinity algebras - of one even and two odd dimensions, which are related to $2|1$-dimensional $Z_2$-graded Lie algebras. What makes this case interesting is that there are many nonequivalent L-infinity examples, in addition to the $Z_2$-graded Lie algebra (or superalgebra) structures, yet the moduli space is simple enough that we can give a complete classification up to equivalence.


title: On the spectrum of Farey and Gauss maps

abstract: In this paper we introduce Hilbert spaces of holomorphic functions given by generalized Borel and Laplace transforms which are left invariant by the transfer operators of the Farey map and its induced version, the Gauss map, respectively. By means of a suitable operator-valued power series we are able to study simultaneously the spectrum of both these operators along with the analytic properties of the associated dynamical zeta functions.


title: On the rate of convergence to equilibrium for countable ergodic Markov chains

abstract: Using elementary methods, we prove that for a countable Markov chain $P$ of ergodic degree $d > 0$ the rate of convergence towards the stationary distribution is subgeometric of order $n^{-d}$, provided the initial distribution satisfies certain conditions of asymptotic decay. An example, modelling a renewal process and providing a markovian approximation scheme in dynamical system theory, is worked out in detail, illustrating the relationships between convergence behaviour, analytic properties of the generating functions associated to transition probabilities and spectral properties of the Markov operator $P$ on the Banach space $\ell_1$. Explicit conditions allowing to obtain the actual asymptotics for the rate of convergence are also discussed.


title: On systems with finite ergodic degree

abstract: In this paper we study the ergodic theory of a class of symbolic dynamical systems $(\O, T, \mu)$ where $T:{\O}\to \O$ the left shift transformation on $\O=\prod_0^\infty\{0,1\}$ and $\mu$ is a $\s$-finite $T$-invariant measure having the property that one can find a real number $d$ so that $\mu(\tau^d)=\infty$ but $\mu(\tau^{d-\epsilon})<\infty$ for all $\epsilon >0$, where $\tau$ is the first passage time function in the reference state 1. In particular we shall consider invariant measures $\mu$ arising from a potential $V$ which is uniformly continuous but not of summable variation. If $d>0$ then $\mu$ can be normalized to give the unique non-atomic equilibrium probability measure of $V$ for which we compute the (asymptotically) exact mixing rate, of order $n^{-d}$. We also establish the weak-Bernoulli property and a polynomial cluster property (decay of correlations) for observables of polynomial variation. If instead $d\leq 0$ then $\mu$ is an infinite measure with scaling rate of order $n^d$. Moreover, the analytic properties of the weighted dynamical zeta function and those of the Fourier transform of correlation functions are shown to be related to one another via the spectral properties of an operator-valued power series which naturally arises from a standard inducing procedure. A detailed control of the singular behaviour of these functions in the vicinity of their non-polar singularity at $z=1$ is achieved through an approximation scheme which uses generating functions of a suitable renewal process. In the perspective of differentiable dynamics, these are statements about the unique absolutely continuous invariant measure of a class of piecewise smooth interval maps with an indifferent fixed point.


title: A one-parameter family of analytic Markov maps with an intermittency transition

abstract: In this paper we introduce and study a one-parameter family of piecewise analytic interval maps having the tent map and the Farey map as extrema. Among other things, we construct a Hilbert space of analytic functions left invariant by the Perron-Frobenius operator of all these maps and study the transition between discrete and continuous spectrum when approaching the intermittent situation.


title: On a set of numbers arising in the dynamics of unimodal maps

abstract: In this paper we initiate the study of the arithmetical properties of a set numbers which encode the dynamics of unimodal maps in a universal way along with that of the corresponding topological zeta function. Here we are concerned in particular with the Feigenbaum bifurcation.


title: On rings with small Hilbert-Kunz multiplicity

abstract: A result of Watanabe and Yoshida says that an unmixed local ring of positive characteristic is regular if and only if its Hilbert-Kunz multiplicity is one. We show that, for fixed $p$ (characteristic) and $d$ (dimension), there exist a number $\epsilon(d,p) > 0$ such that any nonregular unmixed ring $R$ has Hilbert-Kunz multiplicity at least $1+\epsilon(d,p)$. We also show that local rings with sufficiently small Hilbert-Kunz multiplicity are Cohen-Macaulay and $F$-rational.


title: Monomial Hopf Algebras

abstract: Let $K$ be a field of characteristic 0 containing all roots of unity. We classify all the Hopf structures on monomial $K$-coalgebras, or, in dual version, on monomial $K$-algebras.


title: Hodge integrals, Hurwitz numbers, and Symmetric Groups

abstract: We prove some combinatorial results related to a formula on Hodge integrals conjectured by Mari\~no and Vafa. These results play important roles in the proof and applications of this formula by the author jointly with Chiu-Chu Melissa Liu and Kefeng Liu. We also compare with some related results on Hurwitz numbers and obtain some closed expressions for the generating series of Hurwitz numbers and the related Hodge integrals.


title: Image measures of infinite product measures and generalized Bernoulli convolutions

abstract: We examine measure preserving mappings $f$ acting from a probability space $(\Omega, F,\mu) $ into a probability space $% (\Omega ^{*},F^{*},\mu ^{*}) ,$ where $\mu ^{*}=\mu (f^{-1})$. Conditions on $f$, under which $f$ preserves the relations ''to be singular'' and ''to be absolutely continuous'' between measures defined on $(\Omega, F) $ and corresponding image measures, are investigated. We apply the results to investigate the distribution of the random variable $% \xi =\sum\limits^{\infty}_{k=1} \xi_k\lambda ^k,$ where $% \lambda \in (0;1),$ and $\xi_k$ are independent not necessarily identically distributed random variables taking the values $i$ with probabilities $% p_{ik}$ ,$i=0,1.$ We also studied in details the metric-topological and fractal properties of the distribution of a random variable $\psi = \sum\limits^{\infty}_{k=1} \xi _ka_k,$ where $a_k>0$ are terms of the convergent series.


title: Irredundance in Eigenvalue Problems

abstract: We show the irredundancy, necessity and sufficiency of inequalities corresponding to intersections whose ``Witten Bundle'' is polyrigid for the product of unitary matrices problem.


title: Topological Aspects of Chow Quotients

abstract: This paper studies the canonical Chow quotient of a smooth projective variety by a reductive algebraic group. The main purpose is to give some topological interpretations and characterization of Chow quotient which have the advantage to be more intuitive and geometric. This is to be done over the field of complex numbers and in the languages that are familiar to topologists and differential geometers. More precisely, the main observation of this paper is that, over the field of complex numbers, the Chow quotient admits symplectic and other topological interpretations, namely, symplectically, the moduli spaces of stable orbits with prescribed momentum charges; and topologically, the moduli space of stable action-manifolds. In addition, we give a computable characterization of the Chow cycles of the Chow quotient, using the so-called perturbing-translating-specializing relation.


title: Ramanujan's Most Singular Modulus

abstract: We present an elementary self-contained detailed computation of Ramanujan's most famous singular modulus, k210, based on the Kronecker Limit Formula.


title: Symplectic leaves and symplectic ideals

abstract: This paper has been withdrawn by the author due a crucial error.


title: On the Farrell-Jones Conjecture for higher algebraic K-theory

abstract: We prove the Farrell-Jones Isomorphism Conjecture about the algebraic K-theory of a group ring RG in the case where the group G is the fundamental group of a closed Riemannian manifold with strictly negative sectional curvature. The coefficient ring R is an arbitrary associative ring with unit and the result applies to all dimensions.


title: Minimal Lagrangian 2-tori in CP^2 come in real families of every dimension

abstract: We show that for every non-negative integer n there is a real n-dimensional family of minimal Lagrangian tori in CP^2, and hence of special Lagrangian cones in C^3 whose link is a torus. The proof utilises the fact that such tori arise from integrable systems, and can be described using algebro-geometric (spectral curve) data.


title: Relationship between equivariant gerbes and gerbes over the quotient space

abstract: By means of cohomology groups, we study relationships between equivariant gerbes with connection over a manifold with a Lie group action and gerbes with connection over the quotient space.


title: Determining a semisimple group from its representation degrees

abstract: The Lie algbera of a compact semisimple Lie group G is determined by the degrees of the irreducible representations of G. However, two different groups can have the same representation degrees.


title: Rigidity for Families of Polarized Calabi-Yau Varieties

abstract: In this paper, we study the analogue of the Shafarevich conjecture for polarized Calabi-Yau varieties. We use variations of Hodge structures and Higgs bundles to establish a criterion for the {\it rigidity} of families. We then apply the criterion to obtain that some important and typical families of Calabi-Yau varieties are rigid, for examples., Lefschetz pencils of Calabi-Yau varieties, {\it strongly degenerated} families (not only for families of Calabi-Yau varieties), families of Calabi-Yau varieties admitting a degeneration with {\it maximal unipotent monodromy}.


title: The maximum queue length for heavy tailed service times

abstract: In this paper we study the maximum queue length $M$ (in terms of the number of customers present) in a busy cycle in the M/G/1 queue. Assume that the service times have a logconvex density. For such (heavy-tailed) service-time distributions the Foreground Background service discipline is optimal. This discipline gives service to the customer(s) that have received the least amount of service so far. It is shown that under this discipline $M$ has an exponentially decreasing tail. From the behaviour of $M$ we obtain asymptotics of the maximum queue length $M(t)$ over the interval $(0,t)$ for $t\to\infty$. These are applied to calculate the time to overflow of a buffer, both in stable and unstable queues.


title: Representability of Hom implies flatness

abstract: Let $X$ be a projective scheme over a noetherian base scheme $S$, and let $F$ be a coherent sheaf on $X$. For any coherent sheaf $E$ on $X$, consider the set-valued contravariant functor $Hom_{E,F}$ on $S$-schemes, defined by $Hom_{E,F}(T) = Hom(E_T,F_T)$ where $E_T$ and $F_T$ are the pull-backs of $E$ and $F$ to $X_T = X\times_S T$. A basic result of Grothendieck ([EGA] III 7.7.8, 7.7.9) says that if $F$ is flat over $S$ then $Hom_{E,F}$ is representable for all $E$. We prove the converse of the above, in fact, we show that if $L$ is a relatively ample line bundle on $X$ over $S$ such that the functor $Hom_{L^{-n},F}$ is representable for infinitely many positive integers $n$, then $F$ is flat over $S$. As a corollary, taking $X=S$, it follows that if $F$ is a coherent sheaf on $S$ then the functor $T\mapsto H^0(T, F_T)$ on the category of $S$-schemes is representable if and only if $F$ is locally free on $S$. This answers a question posed by Angelo Vistoli. The techniques we use involve the proof of flattening stratification, together with the methods used in proving the author's earlier result (see arXiv.org/abs/math.AG/0204047) that the automorphism group functor of a coherent sheaf on $S$ is representable if and only if the sheaf is locally free.


title: Auslander-Reiten sequences on schemes

abstract: Let X be a smooth projective scheme of dimension d >= 1 over the field k, and let C be an indecomposable coherent sheaf on X. Then there is an Auslander-Reiten sequence in the category of quasi-coherent sheaves on X, with C as right hand end term. The left hand end term of the sequence can be computed. It is the (d-1)'st syzygy in a minimal injective resolution of C, tensor the dualizing sheaf of X.


title: Bialgebraic Structures and Smarandache Bialgebraic Structures

abstract: Generally the study of algebraic deals with the concepts like groups, semigroups, groupoids, loops, rings, near-rings, semirings and vector spaces. The study of bialgebraic structures deals with the study of bistructures like bigroups, biloops, bigroupoids, bisemigroups, birings, binear-rings, bisemirings and bivector spaces. A complete study of these bialgebraic structures and their Smarandache analogues is carried out in this book.


title: A map on the space of rational functions

abstract: We describe dynamical properties of a map $\mathfrak{F}$ defined on the space of rational functions. The fixed points of $\mathfrak{F}$ are classified and the long time behavior of a subclass is described in terms of Eulerian polynomials.


title: Hilbert modular forms: mod $p$ and $p$-adic aspects

abstract: We study Hilbert modular forms in characteristic $p$ and over $p$-adic rings. In the characteristic $p$-theory we describe the kernel and image of the $q$-expansion map and prove the existence of filtration for Hilbert modular forms; we define operators $U$, $V$ and $\Theta_\chi$ and study the variation of the filtration under these operators. In particular, we prove that every ordinary eigenform has filtration in a prescribed box of weights. Our methods are geometric -- comparing holomorphic Hilbert modular forms with rational functions on a moduli scheme with level-$p$ structure, whose poles are supported on the non-ordinary locus. In the $p$-adic theory we study congruences between Hilbert modular forms. This applies to the study of congruences between special values of zeta functions of totally real fields. It also allows us to define $p$-adic Hilbert modular forms "\`a la Serre" as $p$-adic uniform limit of classical modular forms, and compare them with the $p$-adic modular forms "\`a la Katz" that are regular functions on a certain formal moduli scheme. We show that the two notions agree for cusp forms and for a suitable class of weights containing all the classical ones. We extend the operators $V$ and $\Theta_\chi$ to the $p$-adic setting.


title: Mahler's Measure and the Dilogarithm (II)

abstract: We continue to investigate the relation between the Mahler measure of certain two variable polynomials, the values of the Bloch--Wigner dilogarithm $D(z)$ and the values $\zeta_F(2)$ of zeta functions of number fields. Specifically, we define a class $\A$ of polynomials $A$ with the property that $\pi m(A)$ is a linear combination of values $D$ at algebraic arguments. For many polynomials in this class the corresponding argument of $D$ is in the Bloch group, which leads to formulas expressing $\pi m(A)$ as a linear combination with unspecified rational coefficients of $V_F$ for certain number fields $F$ ($V_F := c_F\zeta_F(2)$ with $c_F>0$ an explicit simple constant). The class $\A$ contains the $A$-polynomials of cusped hyperbolic manifolds. The connection with hyperbolic geometry often provides means to prove identities of the form $\pi m(A)= r V_F$ with an explicit value of $r\in \Q^*$. We give one such example in detail in the body of the paper and in the appendix.


title: Insertion and Elimination Lie Algebra: the Ladder case

abstract: We prove that insertion-elimination Lie algebra of Feynman graphs, in the ladder case, has a natural interpretation in terms of a certain algebra of infinite dimensional matrices. We study some aspects of its representation theory and we discuss some relations with the representation of the Heisenberg algebra


title: Analytic continuation of the resolvent of the Laplacian on symmetric spaces of noncompact type

abstract: Let $(M,g)$ be a globally symmetric space of noncompact type, of arbitrary rank, and $\Delta$ its Laplacian. We prove the existence of a meromorphic continuation of the resolvent $(\Delta-\ev)^{-1}$ across the continuous spectrum to a Riemann surface multiply covering the plane. The methods are purely analytic and are adapted from quantum $N$-body scattering.


title: Foliations by constant mean curvature tubes

abstract: Let $\Gamma$ be a nondegenerate geodesic in a compact Riemannian manifold $M$. We prove the existence of a partial foliation of a neighbourhood of $\Gamma$ by CMC surfaces which are small perturbations of the geodesic tubes about $\Gamma$. There are gaps in this foliation, which correspond to a bifurcation phenomenon. Conversely, we also prove, under certain restrictions, that the existence of a partial CMC foliation of this type about a submanifold $\Gamma$ of any dimension implies that $\Gamma$ is minimal.


title: Factorisations and characterisations of induced-hereditary and compositive properties

abstract: A graph property (i.e., a set of graphs) is induced-hereditary or additive if it is closed under taking induced-subgraphs or disjoint unions. If $\cP$ and $\cQ$ are properties, the product $\cP \circ \cQ$ consists of all graphs $G$ for which there is a partition of the vertex set of $G$ into (possibly empty) subsets $A$ and $B$ with $G[A] \in \cP$ and $G[B] \in \cQ$. A property is reducible if it is the product of two other properties, and irreducible otherwise. We completely describe the few reducible induced-hereditary properties that have a unique factorisation into irreducibles. Analogs of compositive and additive induced-hereditary properties are introduced and characterised in the style of Scheinerman [{\em Discrete Math}. {\bf 55} (1985) 185--193]. One of these provides an alternative proof that an additive hereditary property factors into irreducible additive hereditary properties.


title: Still better nonlinear codes from modular curves

abstract: We give a new construction of nonlinear error-correcting codes over suitable finite fields k from the geometry of modular curves with many rational points over k, combining two recent improvements on Goppa's construction. The resulting codes are asymptotically the best currently known.


title: Poisson structures of multi-parameter symplectic and Euclidean spaces

abstract: A class of Poisson algebras considered as a Poisson version of the multiparameter quantized coordinate rings of symplectic and Euclidean $2n$-spaces is constructed and the prime Poisson ideals and the symplectic ideals of these Poisson algebras are described. As a result, it is shown that the multiparameter quantized symplectic and Euclidean $2n$-spaces are topological quotients of their classical spaces.


title: Great circle links in the three-sphere

abstract: We investigate great circle links in the three-sphere, the class of links where each component is a great circle. Using the geometry of their complements, we classify such links up to five components. For any two-bridge knot complement, there is a finite cover that is the complement of a link of great circles in $S^3$. We show that for many two-bridge knots, this cover contains a closed incompressible surface. Infinitely many fillings of the two-bridge knot lift to fillings of great circle link where the incompressibility of this surface is preserved. Using this, we show that infinitely many fillings of an infinite class of two-bridge knot complements are virtually Haken.


title: A signalizer functor theorem for groups of finite Morley rank

abstract: There is a longstanding conjecture, due to Gregory Cherlin and Boris Zilber, that all simple groups of finite Morley rank are simple algebraic groups. One of the major theorems in the area is Borovik's trichotomy theorem. The "trichotomy" here is a case division of the minimal counterexamples within odd type, i.e. groups with a divisibble connected component of the Sylow 2-subgroup. We introduce a charateristic zero notion of unipotence which can be used to obtain a connected nilpotent signalizer functor from any sufficiently non-trivial solvable signalizer functor. This result plugs seamlessly into Borovik's work to eliminate the assumption of tameness from his trichotomy theorem for odd type groups. This work also provides us with a form of Borovik's theorem for degenerate type groups.


title: Singular 0/1-matrices, and the hyperplanes spanned by random 0/1-vectors

abstract: Let $P(d)$ be the probability that a random 0/1-matrix of size $d \times d$ is singular, and let $E(d)$ be the expected number of 0/1-vectors in the linear subspace spanned by d-1 random independent 0/1-vectors. (So $E(d)$ is the expected number of cube vertices on a random affine hyperplane spanned by vertices of the cube.) We prove that bounds on $P(d)$ are equivalent to bounds on $E(d)$: \[ P(d) = (2^{-d} E(d) + \frac{d^2}{2^{d+1}}) (1 + o(1)). \] We also report about computational experiments pertaining to these numbers.


title: On Distinguished Curves in Parabolic Geometries

abstract: All parabolic geometries, i.e. Cartan geometries with homogeneous model a real generalized flag manifold, admit highly interesting classes of distinguished curves. The geodesics of a projective class of connections on a manifold, conformal circles on conformal Riemannian manifolds, and Chern--Moser chains on CR--manifolds of hypersurface type are typical examples. We show that such distinguished curves are always determined by a finite jet in one point, and study the properties of such jets. We also discuss the question when distinguished curves agree up to reparametrization and discuss the distinguished parametrizations in this case. We give a complete description of all distinguished curves for some examples of parabolic geometries.


title: Distribution of modular symbols for compact surfaces

abstract: We prove that the modular symbols appropriately normalized and ordered have an asymptotical normal distribution for all cocompact subgroups of SL_2(R). We introduce hyperbolic Eisenstein series in order to calculate the moments of the modular symbols.


title: A note on fixed points of completely positive maps

abstract: It is shown that a fixed point of a completely positive map on a semi-finite von Neumann algebra must commute with the operators determining the map (the Lueders phenomenon) if the element is finite or has finite square.


title: A model category for the homotopy theory of concurrency

abstract: We construct a cofibrantly generated model structure on the category of flows such that any flow is fibrant and such that two cofibrant flows are homotopy equivalent for this model structure if and only if they are S-homotopy equivalent. This result provides an interpretation of the notion of S-homotopy equivalence in the framework of model categories.


title: Gauss diagrams of 3-manifolds

abstract: We present a simple combinatorial method to encode 3-dimensional manifolds, based on their Heegaard diagrams. The notion of a Gauss diagram of a 3-manifold is introduced. We check the conditions for a Gauss diagram to represent a closed manifold and a manifold with boundary.


title: Codescent theory II: Cofibrant approximations

abstract: We establish a general method to produce cofibrant approximations in the model category $U_S(C,D)$ of $S$-valued $C$-indexed diagrams with $D$-weak equivalences and $D$-fibrations. We also present explicit examples of such approximations. Here, $S$ is an arbitrary cofibrantly generated simplicial model category and $D\subset C$ are small categories. An application to the notion of homotopy colimit is presented.


title: Model theoretic reformulation of the Baum-Connes and Farrell-Jones conjectures

abstract: The Isomorphism Conjectures are translated into the language of homotopical algebra, where they resemble Thomason's descent theorems.


title: Jordan blocks of Richardson classes in the classical groups and the Bala--Carter Theorem

abstract: This paper provides new, relatively simple proofs of some important results about unipotent classes in simple linear algebraic groups. We derive the formula for the Jordan blocks of the Richardson class of a parabolic subgroup of a classical group. This result was originally due to Spaltenstein. Secondly, we derive, for good characteristic, the description of the natural partial order of unipotent classes of a classical group in terms of their Jordan blocks. This result was originally due to Gerstenhaber and Hesselink. As a consequence we obtain a proof of the Bala--Carter Theorem which holds even in certain bad characteristics (this proof requires the prior classification of unipotent classes, unlike the original proofs due to Bala, Carter and Pommerening).


title: On the growth rate of contractible closed geodesics on reducible manifolds

abstract: We prove exponential growth rate of contractible closed geodesics for an arbitrary bumpy metric on manifolds of the form X#Y, where the fundamental group of X has a subgroup of finite index at least 3 and Y is simply connected and not a homotopy sphere.


title: Backward-iteration sequences with bounded hyperbolic steps for analytic self-maps of the disk

abstract: A lot is known about the forward iterates of an analytic function which is bounded by 1 in modulus on the unit disk. The Denjoy-Wolff Theorem describes their convergence properties and several authors, from the 1880's to the 1980's, have provided conjugations which yield very precise descriptions of the dynamics. Backward-iteration sequences are of a different nature because a point could have infinitely many preimages as well as none. However, if we insist in choosing preimages that are at a finite hyperbolic distance each time, we obtain sequences which have many similarities with the forward-iteration sequences, and which also reveal more information about the map itself. In this note we try to present a complete study of backward-iteration sequences with bounded hyperbolic steps for analytic self-maps of the disk.


title: Regularly spaced subsums of integer partitions

abstract: For integer partitions $\lambda :n=a_1+...+a_k$, where $a_1\ge a_2\ge >...\ge a_k\ge 1$, we study the sum $a_1+a_3+...$ of the parts of odd index. We show that the average of this sum, over all partitions $\lambda$ of $n$, is of the form $n/2+(\sqrt{6}/(8\pi))\sqrt{n}\log{n}+c_{2,1}\sqrt{n}+O(\log{n}).$ More generally, we study the sum $a_i+a_{m+i}+a_{2m+i}+...$ of the parts whose indices lie in a given arithmetic progression and we show that the average of this sum, over all partitions of $n$, is of the form $n/m+b_{m,i}\sqrt{n}\log{n}+c_{m,i}\sqrt{n}+O(\log{n})$, with explicitly given constants $b_{m,i},c_{m,i}$. Interestingly, for $m$ odd and $i=(m+1)/2$ we have $b_{m,i}=0$, so in this case the error term is of lower order. The methods used involve asymptotic formulas for the behavior of Lambert series and the Zeta function of Hurwitz. We also show that if $f(n,j)$ is the number of partitions of $n$ the sum of whose parts of even index is $j$, then for every $n$, $f(n,j)$ agrees with a certain universal sequence, Sloane's sequence \texttt{#A000712}, for $j\le n/3$ but not for any larger $j$.


title: A characterization of the Fermat quartic K3 surface by means of finite symmetries

abstract: We shall characterize the Fermat K3 surface, among all complex K3 surfaces, by means of its finite group symmetries.


title: Comparing globular complex and flow

abstract: A functor is constructed from the category of globular CW-complexes to that of flows. It allows the comparison of the S-homotopy equivalences (resp. the T-homotopy equivalences) of globular complexes with the S-homotopy equivalences (resp. the T-homotopy equivalences) of flows. Moreover, it is proved that this functor induces an equivalence of categories from the localization of the category of globular CW-complexes with respect to S-homotopy equivalences to the localization of the category of flows with respect to weak S-homotopy equivalences. As an application, we construct the underlying homotopy type of a flow.


title: Closed symmetric monoidal structure and flow

abstract: The category of flows is not cartesian closed. We construct a closed symmetric monoidal structure which has moreover a satisfactory behavior from the computer scientific viewpoint.


title: Homology and dynamics in quasi-isometric rigidity of once-punctured mapping class groups

abstract: In these lecture notes, we combine recent homological methods of Kevin Whyte with older dynamical methods developed by Benson Farb and myself, to obtain a new quasi-isometric rigidity theorem for the mapping class group MCG(S) of a once punctured surface S of genus at least 2: if K is a finitely generated group quasi-isometric to MCG(S) then there is a homomorphism K -> MCG(S) with finite kernel and finite index image. This theorem is joint with Kevin Whyte.


title: Initial algebras of determinantal rings, Cohen-Macaulay and Ulrich ideals

abstract: We study initial algebras of determinantal rings, defined by minors of generic matrices, with respect to their classical generic point. This approach leads to very short proofs for the structural properties of determinantal rings. Moreover, it allows us to classify their Cohen-Macaulay and Ulrich ideals.


title: Fiber respecting quasi-isometries of surface group extensions

abstract: Let S be a closed, oriented surface of genus at least 2, and consider the extension 1 -> pi_1 S -> MCG(S,p) -> MCG(S) -> 1, where MCG(S) is the mapping class group of S, and MCG(S,p) is the mapping class group of S punctured at p. We prove that any quasi-isometry of MCG(S,p) which coarsely respects the cosets of the normal subgroup pi_1 S is a bounded distance from the left action of some element of MCG(S,p). Combined with recent work of Kevin Whyte this implies that if K is a finitely generated group quasi-isometric to MCG(S,p) then there is a homomorphism K -> MCG(S,p) with finite kernel and finite index image. Our work applies as well to extensions of the form 1 -> pi_1 S -> Gamma_H -> H -> 1, where H is an irreducible subgroup of MCG(S)--we give an algebraic characterization of quasi-isometries of Gamma_H that coarsely respect cosets of pi_1 S.


title: Discrete torsion for the supersingular orbifold sigma genus

abstract: The first purpose of this paper is to examine the relationship between equivariant elliptic genera and orbifold elliptic genera. We apply the character theory of Hopkins et. al. to the Borel-equivariant genus associated to the sigma orientation of Ando-Hopkins-Strickland to define an orbifold genus for certain total quotient orbifolds and supersingular elliptic curves. We show that our orbifold genus is given by the same sort of formula as the orbifold ``two-variable'' genus of Dijkgraaf et al. In the case of a finite cyclic orbifold group, we use the characteristic series for the two-variable genus to define an analytic equivariant genus in Grojnowski's equivariant elliptic cohomology, and we show that this gives precisely the orbifold two-variable genus. The second purpose of this paper is to study the effect of varying the BU<6>-structure in the Borel-equivariant sigma orientation. We show that varying the BU<6>-structure by a class in the third cohomology of the orbifold group produces discrete torsion in the sense of Vafa. This result was first obtained by Sharpe, for a different orbifold genus and using different methods.


title: The conjugate dimension of algebraic numbers

abstract: We find sharp upper and lower bounds for the degree of an algebraic number in terms of the $Q$-dimension of the space spanned by its conjugates. For all but seven nonnegative integers $n$ the largest degree of an algebraic number whose conjugates span a vector space of dimension $n$ is equal to $2^n n!$. The proof, which covers also the seven exceptional cases, uses a result of Feit on the maximal order of finite subgroups of $GL_n(Q)$; this result depends on the classification of finite simple groups. In particular, we construct an algebraic number of degree 1152 whose conjugates span a vector space of dimension only 4. We extend our results in two directions. We consider the problem when $Q$ is replaced by an arbitrary field, and prove some general results. In particular, we again obtain sharp bounds when the ground field is a finite field, or a cyclotomic extension of $Q$. Also, we look at a multiplicative version of the problem by considering the analogous rank problem for the multiplicative group generated by the conjugates of an algebraic number.


title: Norms and CB norms of Jordan elementary operators

abstract: We establish lower bounds for norms and CB-norms of elementary operators on B(H). Our main result concerns the operator Tx = axb + bxa and we show its norm is at least the product of the norms of a and b, proving a conjecture of M. Mathieu. We also establish some other results and formulae for the CB norm and norm of such T for special cases.


title: Semigroups of I-type

abstract: Assume that $S$ is a semigroup generated by $\{x_1,...,x_n\}$, and let $\Uscr$ be the multiplicative free commutative semigroup generated by $\{u_1,...,u_n\}$. We say that $S$ is of \emph{$I$-typ}e if there is a bijection $v:\Uscr\r S$ such that for all $a\in\Uscr$, $\{v(u_1a),... v(u_na)\}=\{x_1v(a),...,x_nv(a)\}$. This condition appeared naturally in the work on Sklyanin algebras by John Tate and the second author. In this paper we show that the condition for a semigroup to be of $I$-type is related to various other mathematical notions found in the literature. In particular we show that semigroups of $I$-type appear in the study of the settheoretic solutions of the Yang-Baxter equation, in the theory of Bieberbach groups and in the study of certain skew binomial polynomial rings which were introduced by the first author.


title: The 2-adic valuation of the coefficients of a polynomial

abstract: In this paper we compute the 2-adic valuations of some polynomials associated with the definite integral $\int_{0}^{\infty} \frac{dx}{(x^4+2*a*x^2+1)^(m+1)}$


title: Rational homology spheres and four-ball genus

abstract: Using the Heegaard Floer homology of Ozsvath and Szabo we investigate obstructions to definite intersection pairings bounded by rational homology spheres. As an application we obtain new lower bounds for the four-ball genus of Montesinos links.


title: Multiple Gamma Function and Its Application to Computation of Series

abstract: The multiple gamma function $\Gamma_n$, defined by a recurrence-functional equation as a generalization of the Euler gamma function, was originally introduced by Kinkelin, Glaisher, and Barnes around 1900. Today, due to the pioneer work of Conrey, Katz and Sarnak, interest in the multiple gamma function has been revived. This paper discusses some theoretical aspects of the $\Gamma_n$ function and their applications to summation of series and infinite products.


title: Some examples of Mahler measures as multiple polylogarithms

abstract: The Mahler measures of certain polynomials of up to five variables are given in terms of multiple polylogarithms. Each formula is homogeneous and its weight coincides with the number of variables of the corresponding polynomial.


title: Gerbes, simplicial forms and invariants for families of foliated bundles

abstract: The notion of a gerbe with connection is conveniently reformulated in terms of the simplicial deRham complex. In particular the usual Chern-Weil and Chern-Simons theory is well adapted to this framework and rather easily gives rise to `characteristic gerbes' associated to families of bundles and connections. In turn this gives invariants for families of foliated bundles. A special case is the Quillen line bundle associated to families of flat SU(2)-bundles


title: On the Chernoff bound for efficiency of quantum hypothesis testing

abstract: The paper estimates the Chernoff rate for the efficiency of quantum hypothesis testing. For both joint and separable measurements, approximate bounds for the rate are given if both states are mixed and exact expressions are derived if at least one of the states is pure. The efficiency of tests with separable measurements is found to be close to the efficiency of tests with joint measurements. The results are illustrated by a test of quantum entanglement.

categories: math.ST math-ph math.MP quant-ph stat.TH


title: Some consequences of perversity of vanishing cycles

abstract: For a holomorphic function on a complex manifold, we show that the vanishing cohomology of lower degree at a point is determined by that for the points near it, using the perversity of the vanishing cycle complex. We calculate it explicitly in the case the hypersurface has simple normal crossings outside the point. We also give some applications to the monodromy.