title: Orbites unipotentes et poles d'ordre maximal de la fonction $\mu $ de Harish-Chandra

abstract: In a previous work, we have shown that a representation of a $p$-adic group obtained by (normalized) parabolic induction from an irreducible supercuspidal representation $\sigma $ of a Levi subgroup $M$ contains a subquotient which is square integrable, if and only if Harish-Chandra's $\mu $-function has a pole in $\sigma $ of order equal to the parabolic rank of $M$. The aim of the present article is to interpret this result in terms of Langlands' functoriality principle.


title: More on SOP_1 and SOP_2

abstract: This paper continues math.LO/0009087. We present a rank function for NSOP_1 theories and give an example of a theory which is NSOP_1 but not simple. We also investigate the connection between maximality in the ordering <^* among complete first order theories and the (N)SOP_2 property. We complete the proof started in math.LO/0009087 of the fact that <^*-maximality implies SOP_2 and get weaker results in the other direction. The paper provides a step toward the classification of unstable theories without the strict order property.


title: The f-Factor Problem for Graphs and the Hereditary Property

abstract: If P is a hereditary property then we show that, for the existence of a perfect f-factor, P is a sufficient condition for countable graphs and yields a sufficient condition for graphs of size aleph_1. Further we give two examples of a hereditary property which is even necessary for the existence of a perfect f-factor. We also discuss the aleph_2-case.


title: On model completion of T_{aut}

abstract: We characterize stable T for which the model completion of T_{aut} is stable (i.e., every completion is). Then we prove that ``some completion is stable'' is different and we characterize it. Finally we show that if T is stable, T_{aut} has a model completion, T_* is an unstable complete of T^{mc}_{aut}, then T_* satisfies NSOP_3. Moreover, simplicity is preserved.


title: An (almost) optimal answer to a question by Wilf

abstract: We present a class of permutations for which the number of distinctly ordered subsequences of each permutation approaches an almost optimal value as the length of the permutation grows to infinity.


title: Special homological dimensions and Intersection Theorem

abstract: Let $(R,\fm)$ be commutative Noetherian local ring. It is shown that $R$ is Cohen--Macaulay ring if there exists a Cohen--Macaulay finite (i.e. finitely generated) $R$--module with finite upper Gorenstein dimension. In addition, we show that, in the Intersection Theorem, projective dimension can be replaced by quasi--projective dimension.


title: Arbitrary rank jumps for $A$-hypergeometric systems through Laurent polynomials

abstract: We investigate the solution space of hypergeometric systems of differential equations in the sense of Gelfand, Graev, Kapranov and Zelevinsky. For any integer $d \geq 2$ we construct a matrix $A_d \in \N^{d \times 2d}$ and a parameter vector $\beta_d$ such that the holonomic rank of the $A$-hypergeometric system $H_{A_d}(\beta_d)$ exceeds the simplicial volume $\vol(A_d)$ by at least $d-1$. The largest previously known gap between rank and volume was two. Our argument is elementary in that it uses only linear algebra, and our construction gives evidence to the general observation that rank-jumps seem to go hand in hand with the existence of multiple Laurent (or Puiseux) polynomial solutions.


title: A max-plus finite element method for solving finite horizon deterministic optimal control problems

abstract: We introduce a max-plus analogue of the Petrov-Galerkin finite element method, to solve finite horizon deterministic optimal control problems. The method relies on a max-plus variational formulation, and exploits the properties of projectors on max-plus semimodules. We obtain a nonlinear discretized semigroup, corresponding to a zero-sum two players game. We give an error estimate of order $(\Delta t)^{1/2}+\Delta x(\Delta t)^{-1}$, for a subclass of problems in dimension 1. We compare our method with a max-plus based discretization method previously introduced by Fleming and McEneaney.


title: Schemes over $F_1$

abstract: Using the approach of Kurokawa, Ochiai, and Wakayama to 'absolute mathematics' we define a corresponding notion of schemes.


title: Multiplicative preprojective algebras, middle convolution and the Deligne-Simpson problem

abstract: We introduce a family of algebras which are multiplicative analogues of preprojective algebras, and their deformations, as introduced by M. P. Holland and the first author. We show that these algebras provide a natural setting for the 'middle convolution' operation introduced by N. M. Katz in his book 'Rigid local systems', and put in an algebraic setting by M. Dettweiler and S. Reiter, and by H. Volklein. We prove a homological formula relating the dimensions of Hom and Ext spaces, study varieties of representations of multiplicative preprojective algebras, and use these results to study simple representations. We apply this work to the Deligne-Simpson problem, obtaining a sufficient (and conjecturally necessary) condition for the existence of an irreducible solution to the equation $A_1 A_2 ... A_k = 1$ with the $A_i$ in prescribed conjugacy classes in $GL_n(C)$.


title: Monomials of q and q,t-characters for non simply-laced quantum affinizations

abstract: Nakajima introduced the morphism of q,t-characters for finite dimensional representation of simply-laced quantum affine algebras : it is a t-deformation of the Frenkel-Reshetikhin's morphism of q-characters (sum of monomials in infinite variables). In math.QA/0212257 we generalized the construction of q,t-characters for non simply-laced quantum affine algebras. First in this paper we prove a conjecture of math.QA/0212257 : the monomials of q and q,t-characters of standard representations are the same in non simply-laced cases (the simply-laced cases were treated by Nakajima) and the coefficients are non negative. In particular these q,t-characters can be considered as t-deformations of q-characters. In the proof we show that for quantum affine algebras of type A, B, C and quantum toroidal algebras of type A^{(1)} the l-weight spaces of fundamental representations are of dimension 1. Eventually we show and use a generalization of results of Frenkel-Reshetikhin, -Mukhin and Nakajima : for general quantum affinizations we prove that the l-weights of a l-highest weight simple module are lower than the highest l-weight in the sense of monomials.


title: The primes contain arbitrarily long arithmetic progressions

abstract: We prove that there are arbitrarily long arithmetic progressions of primes. There are three major ingredients. The first is Szemeredi's theorem, which asserts that any subset of the integers of positive density contains progressions of arbitrary length. The second, which is the main new ingredient of this paper, is a certain transference principle. This allows us to deduce from Szemeredi's theorem that any subset of a sufficiently pseudorandom set of positive relative density contains progressions of arbitrary length. The third ingredient is a recent result of Goldston and Yildirim. Using this, one may place the primes inside a pseudorandom set of ``almost primes'' with positive relative density.


title: Finite and countable infinite products of Probabilistic Normed Spaces

abstract: In this work we first give for PN spaces results parallel to those obtained by Egbert for the product of PM spaces, and generalize results by Alsina and Schweizer in order to study non-trivial products and the product of $m$-- transforms of several PN spaces. In addition we present a detailed study of $\alpha$--simple product PN spaces and, finally, the product topologies in PN spaces which are products of countable families of PN spaces.


title: Mixing times for random walks on finite lamplighter groups

abstract: Given a finite graph G, a vertex of the lamplighter graph consists of a zero-one labeling of the vertices of G, and a marked vertex of G. For transitive graphs G, we show that, up to constants, the relaxation time for simple random walk in corresponding lamplighter graph is the maximal hitting time for simple random walk in G, while the mixing time in total variation on the lamplighter graph is the expected cover time on G. The mixing time in the uniform metric on the lamplighter graph admits a sharp threshold, and equals |G| multiplied by the relaxation time on G, up to a factor of log |G|. For the lamplighter group over the discrete two dimensional torus of sidelength n, the relaxation time is of order n^2 log n, the total variation mixing time is of order n^2 log^2 n, and the uniform mixing time is of order n^4. In dimension d>2, the relaxation time is of order n^d, the total variation mixing time is of order n^d log n, and the uniform mixing time is of order n^{d+2}. These are the first examples we know of of finite transitive graphs with uniformly bounded degrees where these three mixing time parameters are of different orders of magnitude.


title: Hilbert-Kunz Functions for Normal Rings

abstract: Let (R,m,k) be an excellent, local, normal ring of characteristic p with a perfect residue field and dim R=d. Let M be a finitely generated R-module. We show that there exists a real number beta(M) such that lambda(M/I^[q]M) = e_{HK}(M) q^d + beta(M) q^{d-1} + O(q^{d-2}).


title: Combinatorics of random processes and sections of convex bodies

abstract: We find a sharp combinatorial bound for the metric entropy of sets in R^n and general classes of functions. This solves two basic combinatorial conjectures on the empirical processes. 1. A class of functions satisfies the uniform Central Limit Theorem if the square root of its combinatorial dimension is integrable. 2. The uniform entropy is equivalent to the combinatorial dimension under minimal regularity. Our method also constructs a nicely bounded coordinate section of a symmetric convex body in R^n. In the operator theory, this essentially proves for all normed spaces the restricted invertibility principle of Bourgain and Tzafriri.


title: Random processes via the combinatorial dimension: introductory notes

abstract: This is an informal discussion on one of the basic problems in the theory of empirical processes, addressed in our preprint "Combinatorics of random processes and sections of convex bodies", which is available at ArXiV and from our web pages.


title: Two-Dimensional Problems of Minimal Resistance in a Medium of Positive Temperature

abstract: We study the Newton-like problem of minimal resistance for a two-dimensional body moving with constant velocity in a homogeneous rarefied medium of moving particles. The distribution of the particles over velocities is centrally symmetric. The problem is solved analytically; the minimizers are shown to be of four different types. Numerical results are obtained for the physically significant case of gaussian circular distribution of velocities, which corresponds to a homogeneous ideal gas of positive temperature.


title: Knots with only two strict essential surfaces

abstract: We consider irreducible 3-manifolds M that arise as knot complements in closed 3-manifolds and that contain at most two connected strict essential surfaces. The results in the paper relate the boundary slopes of the two surfaces to their genera and numbers of boundary components. Explicit quantitative relationships, with interesting asymptotic properties, are obtained in the case that M is a knot complement in a closed manifold with cyclic fundamental group.


title: Nontrivial classes in $H^*(Imb(S^1,\R^n))$ from nontrivalent graph cocycles

abstract: We construct nontrivial cohomology classes of the space $Imb(S^1,\R^n)$ of imbeddings of the circle into $\R^n$, by means of Feynman diagrams. More precisely, starting from a suitable linear combination of nontrivalent diagrams, we construct, for every even number $n\geq 4$, a de Rham cohomology class on $Imb(S^1,\R^n)$. We prove nontriviality of these classes by evaluation on the dual cycles.


title: The Calabi-Yau conjectures for embedded surfaces

abstract: In this paper we will prove the Calabi-Yau conjectures for embedded surfaces. In fact, we will prove considerably more. The Calabi-Yau conjectures about surfaces date back to the 1960s. Much work has been done on them over the past four decades. In particular, examples of Jorge-Xavier from 1980 and Nadirashvili from 1996 showed that the immersed versions were false; we will show here that for embedded surfaces, i.e., injective immersions, they are in fact true.


title: The block structure spaces of real projective spaces and orthogonal calculus of functors

abstract: Given a compact manifold X, the set of simple manifold structures on X x \Delta^k relative to the boundary can be viewed as the k-th homotopy group of a space \S^s (X). This space is called the block structure space of X. We study the block structure spaces of real projective spaces. Generalizing Wall's join construction we show that there is a functor from the category of finite dimensional real vector spaces with inner product to the category of pointed spaces which sends the vector space V to the block structure space of the projective space of V. We study this functor from the point of view of orthogonal calculus of functors; we show that it is polynomial of degree <= 1 in the sense of orthogonal calculus. This result suggests an attractive description of the block structure space of the infinite dimensional real projective space via the Taylor tower of orthogonal calculus. This space is defined as a colimit of block structure spaces of projective spaces of finite-dimensional real vector spaces and is closely related to some automorphisms spaces of real projective spaces.


title: Growth of the Brownian forest

abstract: Trees in Brownian excursions have been studied since the late 1980s. Forests in excursions of Brownian motion above its past minimum are a natural extension of this notion. In this paper we study a forest-valued Markov process which describes the growth of the Brownian forest. The key result is a composition rule for binary Galton--Watson forests with i.i.d. exponential branch lengths. We give elementary proofs of this composition rule and explain how it is intimately linked with Williams' decomposition for Brownian motion with drift.


title: Two remarks concerning balanced matroids

abstract: The property of balance (in the sense of Feder and Mihail) is investigated in the context of paving matroids. The following examples are exhibited: (a) a class of ``sparse'' paving matroids that are balanced, but at the same time rich enough combinatorially to permit the encoding of hard counting problems; and (b) a paving matroid that is not balanced. The computational significance of (a) is the following. As a consequence of balance, there is an efficient algorithm for approximating the number of bases of a sparse paving matroid within specified relative error. On the other hand, determining the number of bases exactly is likely to be computationally intractable.


title: On the role of quadratic oscillations in nonlinear Schroedinger equations II. The $L^2$-critical case

abstract: We consider a nonlinear semi-classical Schroedinger equation for which quadratic oscillations lead to focusing at one point, described by a nonlinear scattering operator. The relevance of the nonlinearity was discussed by R. Carles, C. Fermanian-Kammerer and I. Gallagher for $L^2$-supercritical power-like nonlinearities and more general initial data. The present results concern the $L^2$-critical case, in space dimensions 1 and 2; we describe the set of non-linearizable data, which is larger, due to the scaling. As an application, we precise a result by F. Merle and L. Vega concerning finite time blow up for the critical Schroedinger equation. The proof relies on linear and nonlinear profile decompositions.


title: Generalized Green functions and graded Hecke algebras

abstract: We state a conjecture which gives a combinatorial parametrization of the irreducible tempered representations with real central character of a graded Hecke algebra with unequal labels, associated to a root sytem of type B or C. This conjecture is based on a combinatorial generalization of the Springer correspondence in the classical (equal label) case. In particular, the described modules turn out to have a natural grading for the action of W_0, and are completely determined by their central character together with the W_0-representation in the top degree. This latter is an irreducible W_0-character which we call Springer correspondent.


title: Selmer Groups over p-adic Lie Extensions I

abstract: Let $E$ be an elliptic curve defined over a number field $F$. In this paper, we study the structure of the $p^\infty$-Selmer group of $E$ over $p$-adic Lie extensions $F_\infty$ of $F$ which are obtained by adjoining to $F$ the $p$-division points of an abelian variety $A$ defined over $F$. The main focus of the paper is the calculation of the $\Gal(F_\infty/F)$-Euler characteristic of the $p^\infty$-Selmer group of $E$. The final section illustrates the main theory with the example of an elliptic curve of conductor 294.


title: Two theorems about maximal Cohen--Macaulay modules

abstract: This paper contains two theorems concerning the theory of maximal Cohen--Macaulay modules. The first theorem proves that certain Ext groups between maximal Cohen--Macaulay modules $M$ and $N$ must have finite length, provided only finitely many isomorphism classes of maximal Cohen--Macaulay modules exist having ranks up to the sum of the ranks of $M$ and $N$. This has several corollaries. In particular it proves that a Cohen--Macaulay local ring of finite Cohen--Macaulay type has an isolated singularity. A well-known theorem of Auslander gives the same conclusion but requires that the ring be Henselian. Other corollaries of our result include statements concerning when a ring is Gorenstein or a complete intersection on the punctured spectrum, and the recent theorem of Leuschke and Wiegand that the completion of an excellent Cohen--Macaulay local ring of finite Cohen--Macaulay type is again of finite Cohen--Macaulay type. The second theorem proves that a complete local Gorenstein domain of positive characteristic $p$ and dimension $d$ is $F$-rational if and only if the number of copies of $R$ splitting out of $R^{1/p^e}$ divided by $p^{de}$ has a positive limit. This result generalizes work of Smith and Van den Bergh. We call this limit the $F$-signature of the ring and give some of its properties.


title: FPL may be equivalent to FO but not equivalent to PFP

abstract: Given a class of finite models we would like to expand each model (allowing new elements but the old universe is a separate sort), making the expressive power of LFP (least fix point logic) and PFP (inductive logic) similar while not changing the expressive power of FO (first order logic). This continues in math.LO/9411235.


title: Real Valued Dimension For Morse-Sard Theorem

abstract: A dimension allowing in particular to state necessary and sufficient conditions of the Morse-Sard Theorem for real valued functions is introduced.


title: A note on kappa-freeness

abstract: In this short note we show that if lambda>aleph_1 is regular and lambda is not the successor of a singular cardinal of cofinality aleph_0, and G is a lambda-free abelian group of size lambda, then there is a free group G' subseteq G of size lambda.


title: Geometric invariants of spaces with isolated flats

abstract: We study those groups that act properly discontinuously, cocompactly, and isometrically on CAT(0) spaces with isolated flats and the Relative Fellow Traveller Property. The groups in question include word hyperbolic CAT(0) groups as well as geometrically finite Kleinian groups and numerous 2-dimensional CAT(0) groups. For such a group we show that there is an intrinsic notion of a quasiconvex subgroup which is equivalent to the inclusion being a quasi-isometric embedding. We also show that the visual boundary of the CAT(0) space is actually an invariant of the group. More generally we show that each quasiconvex subgroup of such a group has a canonical limit set which is independent of the choice of overgroup. The main results in this article were established by Gromov and Short in the word hyperbolic setting and do not extend to arbitrary CAT(0) groups.


title: q-identities of Fu and Lascoux proved by the q-Rice formula

abstract: Two recent $q$--identities of Fu and Lascoux are proved by the $q$--Rice formula.


title: An obstruction to asymptotic semistability and approximate critical metrics

abstract: In this paper, we consider an obstruction to asymptotic Chow-semistability of a polarized Kaehler algebraic manifold. Even when a linear algebraic group of positive dimension acts nontrivially and holomorphically on a polarized Kaehler algebraic manifold with constant scalar curvature, the vanishing of the obstruction allows us to generalize Donaldson's construction of approximate solutions for equations of balanced metrics.


title: Stability of extremal K\"ahler manifolds

abstract: In this paper, by generalizing the concept of balanced metrics, we shall show that Donaldson's asymptotic approximation of balanced metrics for constant scalar curvature cases can be generalized to extremal Kaehler cases.


title: Zeta functions and Alexander modules

abstract: We introduce the etale framework to study Igusa zeta functions in several variables, generalizing the machinery of vanishing cycles in the univariate case. We define the etale Alexander modules, associated to a morphism of varieties F from X to affine r-space, a geometric point of X, and an object in the derived category of constructible l-adic sheaves on the inverse image of the r-torus under F. The Alexander modules are sheaves of modules on the scheme of continuous characters of the tame fundamental group of the r-torus. We formulate Loeser's Monodromy and Holomorphy Conjectures for multivariate p-adic zeta functions, and prove them in the case where dim(X)=2, generalizing results from the univariate case. Furthermore, we prove a comparison theorem with the transcendent case, we study a formula of Denef's for the zeta function in terms of a simultaneous embedded resolution, and we generalize a result concerning the degree of the zeta function to our setting.


title: A sharpening of Li's criterion for the Riemann Hypothesis

abstract: Exact and asymptotic formulae are displayed for the coefficients $\lambda_n$ used in Li's criterion for the Riemann Hypothesis. In particular, we argue that if (and only if) the Hypothesis is true, $\lambda_n \sim n(A \log n +B)$ for $n \to \infty$ (with explicit $A>0$ and $B$). The approach also holds for more general zeta or $L$-functions.


title: Analytic clones

abstract: We use a method from descriptive set theory to investigate the two precomplete clones above the unary clone on a countable set.


title: Classifying real polynomial pencils

abstract: Let $\bP^n$ be the space of all homogeneous polynomials of degree $n$ in two variables with real coefficients. The standard discriminant $\D_{n+1}\subset \bP^n$ is Whitney stratified according to the number and the multiplicities of multiple real zeros. A real polynomial pencil, that is, a line $L\subset \bP^n$ is called generic if it intersects $\D_{n+1}$ transversally. Nongeneric pencils form the Grassmann discriminant $\D_{2,n+1}\subset \gtn$, where $\gtn$ is the Grassmannian of lines in $\bP^n$. We enumerate the connected components of the set $\widetilde \gtn=\gtn\setminus \D_{2,n+1}$ of all generic lines in $\bP^n$ and relate this topic to the Hawaii conjecture and the classical theorems of Obreschkoff and Hermite-Biehler.


title: Weak Omega Categories I

abstract: We develop a theory of weak omega categories that will be accessible to anyone who is familiar with the language of categories and functors and who has encountered the definition of a strict 2-category. The most remarkable feature of this theory is its simplicity. We build upon an idea due to Jacques Penon by defining a weak omega category to be a span of omega magmas with certain properties. (An omega magma is a reflexive, globular set with a system of partially defined, binary composition operations which respects the globular structure.) Categories, bicategories, strict omega categories and Penon's weak omega categories are all instances of our weak omega categories. We offer a heuristic argument to justify the claim that Batanin's weak omega categories also fit into our framework. We show that the Baez-Dolan stabilization hypothesis is a direct consequence of our definition of weak omega categories. We define a natural notion of a pseudo-functor between weak omega categories and show that it includes the classical notion of a homomorphism between bicategories. In any weak omega category the operation of composition with a fixed 1-cell defines such a pseudo-functor. Finally, we define a notion of weak equivalence between weak omega categories which generalizes the standard definition of an equivalence between ordinary categories.


title: Counting set systems by weight

abstract: Applying the enumeration of sparse set partitions, we show that the number of set systems H such that the emptyset is not in H, the total cardinality of edges in H is n, and the vertex set of H is {1, 2, ..., m}, equals (1/log(2)+o(1))^nb_n where b_n is the n-th Bell number. The same asymptotics holds if H may be a multiset. If vertex degrees in H are restricted to be at most k, the asymptotics is (1/alpha_k+o(1))^nb_n where alpha_k is the unique root of x^k/k!+...+x^1/1!-1 in (0,1].


title: On the Cyclic Deligne Conjecture

abstract: Let A be a finite dimensional, unital, and associative algebra which is endowed with a non-degenerate and invariant inner product. We give an explicit description of an action of cyclic Sullivan chord diagrams on the normalized Hochschild cochain complex of A. As a corollary, the Hochschild cohomology of A becomes a Frobenius algebra which is endowed with a compatible BV operator. If A is also commutative, then the discussion extends to an action of general Sullivan chord diagrams. Some implications of this are discussed.


title: Twists of symmetric bundles

abstract: We establish comparison results between the Hasse-Witt invariants w_t(E) of a symmetric bundle E over a scheme and the invariants of one of its twists E_{\alpha}. For general twists we describe the difference between w_t(E) and w_t(E_{\alpha}) up to terms of degree 3. Next we consider a special kind of twist, which has been studied by A. Fr\"ohlich. This arises from twisting by a cocycle obtained from an orthogonal representation. We show how to explicitly describe the twist for representations arising from very general tame actions. This involves the ``square root of the inverse different'' which Serre, Esnault, Kahn, Viehweg and ourselves had studied before. For torsors we show that, in our geometric set-up, Jardine's generalization of Frohlich's formula holds. The case of genuinely tamely ramified actions is geometrically more involved and leads us to introduce a ramification invariant which generalises in higher dimension the invariant introduced by Serre for curves.


title: A comment on "p<t"

abstract: Dealing with the cardinal invariants p and t of the continuum we prove that m=p=aleph_2 -> t = aleph_1. In other words if MA_{aleph_1} (or a weak version of this) then (of course aleph_2 <= p <= t and) p = aleph_2 -> p = t . This is based on giving a consequence of p<t.


title: A more general iterable condition ensuring aleph_1 is not collapsed

abstract: In a self-contained way, we deal with revised countable support iterated forcing for the reals. We improve theorems on preservation of the property UP, weaker than semi proper, and we hopefully improve the presentation. We continue [Sh:b, Ch.X,XI] (or see [Sh:f, Ch.X,XI]), and Gitik and Shelah [GiSh:191] and [Sh:f, Ch.XIII,XIV] and particularly Ch.XV. Concerning ``no new reals'' see lately Larson and Shelah [LrSh:746] math.LO/0011187. In particular, we fulfill some promises from [Sh:f] and give a more streamlined version.


title: A long EF-equivalence non isomorphic models

abstract: There has been much interest on constructing models which are not isomorphic of cardinality lambda but are equivalent under the Ehrenfeucht-Fraisse game of length alpha even for every alpha<lambda. So under G.C.H. we know much. We deal here with constructions of such pairs of models proven in ZFC and get the existence under mild conditions.


title: Analysis of Geometric Stability

abstract: We identify the difference between the CM polarisation and the Chow polarisation on the ``Hilbert scheme''. As a consequence, we give a numerical criterion for the CM stability as in Mumfords' G.I.T.. Also, we write down an explicit formula for the generalised futaki invariant interms of weights and multiplicities of the associated degeneration.


title: Approximate conjugacy and full groups of Cantor minimal systems

abstract: H. Lin and the author introduced the notion of approximate conjugacy of dynamical systems. In this paper, we will discuss the relationship between approximate conjugacy and full groups of Cantor minimal systems. An analogue of Glasner-Weiss's theorem will be shown. Approximate conjugacy of dynamical systems on the product of the Cantor set and the circle will also be studied.


title: Non-existence of 6-dimensional pseudomanifolds with complementarity

abstract: In a previous paper the second author showed that if $M$ is a pseudomanifold with complementarity other than the 6-vertex real projective plane and the 9-vertex complex projective plane, then $M$ must have dimension $\geq 6$, and - in case of equality - $M$ must have exactly 12 vertices. In this paper we prove that such a 6-dimensional pseudomanifold does not exist. On the way to proving our main result we also prove that all combinatorial triangulations of the 4-sphere with at most 10 vertices are combinatorial 4-spheres.


title: Generalizations of McShane's identity to hyperbolic cone-surfaces

abstract: We generalize McShane's identity for the length series of simple closed geodesics on a cusped hyperbolic surface to hyperbolic cone-surfaces (with all cone angles $\le \pi$), possibly with cusps and/or geodesic boundary. In particular, by applying the generalized identity to the orbifolds obtained from taking the quotient of the one-holed torus by its elliptic involution, and the closed genus two surface by its hyper-elliptic involution, we obtain generalizations of the Weierstrass identities for the one-holed torus, and identities for the genus two surface, also obtained by McShane using different methods. We also give an interpretation of the identity in terms of complex lengths, gaps, and the direct visual measure of the boundary.


title: A characterization of short curves of a Teichmueller geodesic

abstract: We provide a combinatorial condition characterizing curves that are short along a Teichmueller geodesic. This condition is closely related to the condition provided by Minsky for curves in a hyperbolic 3-manifold to be short. We show that short curves in a hyperbolic manifold homeomorphic to S x R are also short in the corresponding Teichmueller geodesic, and we provide examples demonstrating that the converse is not true.


title: Simultaneous unitary equivalence to bi-Carleman operators with arbitrarily smooth kernels of Mercer type

abstract: In this paper, we characterize the families of those bounded linear operators on a separable Hilbert space which are simultaneously unitarily equivalent to integral bi-Carleman operators on $L_2(R)$ having arbitrarily smooth kernels of Mercer type. The main result is a qualitative sharpening of an earlier result of [7].


title: Invariants of Boundary Link Cobordism II. The Blanchfield-Duval Form

abstract: We use the Blanchfield-Duval form to define complete invariants for the cobordism group C_{2q-1}(F_\mu) of (2q-1)-dimensional \mu-component boundary links (for q\geq2). The author solved the same problem in math.AT/0110249 via Seifert forms. Although Seifert forms are convenient in explicit computations, the Blanchfield-Duval form is more intrinsic and appears naturally in homology surgery theory. The free cover of the complement of a link is constructed by pasting together infinitely many copies of the complement of a \mu-component Seifert surface. We prove that the algebraic analogue of this construction, a functor denoted B, identifies the author's earlier invariants with those defined here. We show that B is equivalent to a universal localization of categories and describe the structure of the modules sent to zero. Taking coefficients in a semi-simple Artinian ring, we deduce that the Witt group of Seifert forms is isomorphic to the Witt group of Blanchfield-Duval forms.


title: Large deviations for a class of nonhomogeneous Markov chains

abstract: Large deviation results are given for a class of perturbed nonhomogeneous Markov chains on finite state space which formally includes some stochastic optimization algorithms. Specifically, let {P_n} be a sequence of transition matrices on a finite state space which converge to a limit transition matrix P. Let {X_n} be the associated nonhomogeneous Markov chain where P_n controls movement from time n-1 to n. The main statements are a large deviation principle and bounds for additive functionals of the nonhomogeneous process under some regularity conditions. In particular, when P is reducible, three regimes that depend on the decay of certain ``connection'' P_n probabilities are identified. Roughly, if the decay is too slow, too fast or in an intermediate range, the large deviation behavior is trivial, the same as the time-homogeneous chain run with P or nontrivial and involving the decay rates. Examples of anomalous behaviors are also given when the approach P_n\to P is irregular. Results in the intermediate regime apply to geometrically fast running optimizations, and to some issues in glassy physics.


title: A martingale proof of Dobrushin's theorem for non-homogeneous Markov chains

abstract: In 1956, Dobrushin proved a definitive central limit theorem for non-homogeneous Markov chains. In this note, a shorter and different proof elucidating more the assumptions is given through martingale approximation.


title: Connection of the differential-geometrical structures with skew-symmetric differential forms. Forming differential-geometrical structures and manifolds

abstract: The closure conditions of the inexact exterior differential form and dual form (an equality to zero of differentials of these forms) can be treated as a definition of some differential-geometrical structure. Such a connection discloses the properties and specific features of the differential-geometrical structures. The using of skew-symmetric differential forms enables one to reveal a mechanism of forming differential-geometrical structures as well. To do this, it is necessary to consider the skew-symmetric differential forms whose basis, unlike to the case of exterior differential forms, are manifolds with unclosed metric forms. Such differential forms possess the evolutionary properties. They can generate closed differential forms, which correspond to the differential-geometrical structures.


title: Les groupements

abstract: Neocategories, semicategories, precategories are well-known generalizations of categories. But they all suppose that sources and targets of morphisms fulfilled identity conditions. Here we intend to suppress those conditions. In doing this we get at the construction of a simple framework which seems appropiate to study Moore surfaces and their possible extensions in higher dimensions.


title: The convection-diffusion equation for a finite domain with time varying boundaries

abstract: A solution is developed for a convection-diffusion equation describing chemical transport with sorption, decay, and production. The problem is formulated in a finite domain where the appropriate conservation law yields Robin conditions at the ends. When the input concentration is arbitrary, the problem is underdetermined because of an unknown exit concentration. We resolve this by defining the exit concentration as a solution to a similar diffusion equation which satisfies a Dirichlet condition at the left end of the half line. This problem does not appear to have been solved in the literature, and the resulting representation should be useful for problems of practical interest. Authors of previous works on problems of this type have eliminated the unknown exit concentration by assuming a continuous concentration at the outflow boundary. This yields a well-posed problem by forcing a homogeneous Neumann exit, widely known as the Danckwerts [1] condition. We provide a solution to the Neumann problem and use it to produce an estimate which demonstrates that the Danckwerts condition implies a zero concentration at the outflow boundary, even for a long flow domain and a large time.


title: The fixed point property for a class of nonexpansive maps in L\sp\infty(\Omega,\Sigma,\mu)

abstract: For a finite and positive measure space $(\Omega,\Sigma,\mu)$ and any weakly compact convex subset of $L\sp\infty(\Omega,\Sigma,mu)$, a fixed point theorem for a class of nonexpansive self-mappings is proved. An analogous result is obtained for the space $C(\Omega)$. An illustrative example is given.


title: On the Mahler measure of Jones polynomials under twisting

abstract: We show that the Mahler measures of the Jones polynomial and of the colored Jones polynomials converge under twisting for any link. Moreover, almost all of the roots of these polynomials approach the unit circle under twisting. In terms of Mahler measure convergence, the Jones polynomial behaves like hyperbolic volume under Dehn surgery. For pretzel links P(a_1,...,a_n), we show that the Mahler measure of the Jones polynomial converges if all a_i tend to infinity, and approaches infinity for a_i = constant if n tend to infinity, just as hyperbolic volume. We also show that after sufficiently many twists, the coefficient vector of the Jones polynomial and of any colored Jones polynomial decomposes into fixed blocks according to the number of strands twisted.


title: Optimal Control of Newton-Type Problems of Minimal Resistance

abstract: We address Newton-type problems of minimal resistance from an optimal control perspective. It is proven that for Newton-type problems the Pontryagin maximum principle is a necessary and sufficient condition. Solutions are then computed for concrete situations, including the new case when the flux of particles is non-parallel.


title: Necessary and sufficient conditions for n-dimensional conformal Einstein spaces via dimensionally dependent identities

abstract: Listing has recently extended results of Kozameh, Newman and Tod for four-dimensional spacetimes and presented a set of necessary and sufficient conditions for a metric to be locally conformally equivalent to an Einstein metric in all semi-Riemannian spaces of dimension n>3 -- subject to a non-degeneracy restriction on the Weyl tensor. By exploiting dimensionally dependent identities we demonstrate how to construct two alternative versions of these necessary and sufficient conditions which we believe will be useful in applications. The four-dimensional case is discussed in detail and examples are also given in five and six dimensions.


title: Zero-one laws for graphs with edge probabilities decaying with distance. Part II

abstract: This is the second part of math.LO/9606226.


title: The pair $(\aleph_n,\aleph_0)$ may fail $\aleph_0$--compactness

abstract: Let P be a distinguished unary predicate and K= {M: M a model of cardinality aleph_n with P^M of cardinality aleph_0}. We prove that consistently for n=4, for some countable first order theory T we have: T has no model in K whereas every finite subset of T has a model in K. We then show how we prove it also for n=2, too.


title: Bi-Poisson process

abstract: We study a two parameter family of processes with linear regressions and linear conditional variances. We give conditions for the unique solution of this problem, and point out the connection between the resulting Markov processes and the generalized convolutions introduced by Bo\.zejko and Speicher.


title: Dimensions of finite type for representations of partially ordered sets

abstract: We consider the dimensions of finite type of representations of a partially ordered set, i.e. such that there is only finitely many isomorphism classes of representations of this dimension. We give a criterion for a dimension to be of finite type. We also characterize those dimensions of finite type, for which there is an indecomposable representation of this dimension, and show that there can be at most one indecomposable representation of any dimension of finite type. Moreover, if such a representation exists, it only has scalar endomorphisms.


title: Morphisms represented by monomorphisms

abstract: Every homomorphism of modules is projective-stably equivalent to an epimorphism but is not always to a monomorphism. We prove that a map is projective-stably equivalent to a monomorphism if and only if its kernel is torsionless, that is, a first syzygy. If it occurs although, there can be various monomorphisms that are projective-stably equivalent to a given map. But in this case there uniquely exists a "perfect" monomorphism to which a given map is projective-stably equivalent.


title: Integral representations of closed operators as bi-Carleman operators with arbitrarily smooth kernels

abstract: In this paper, we characterize all closed linear operators in a separable Hilbert space which are unitarily equivalent to an integral bi-Carleman operator in $L_2(R)$ with bounded and arbitrarily smooth kernel on $R^2$. In addition, we give an explicit construction of corresponding unitary operators. The main result is a qualitative sharpening of an earlier result of [5].


title: The density of rational points on a certain singular cubic surface

abstract: We show that the number of non-trivial rational points of height at most $B$, that lie on the cubic surface $x_1x_2x_3=x_4(x_1+x_2+x_3)^2$, has order of magnitude $B(\log B)^6$. This agrees with the Manin conjecture.


title: Symmetries of partial differential equations

abstract: We establish a link between the study of completely integrable systems of partial differential equations and the study of generic submanifolds in C^n. Using the recent developments of Cauchy-Riemann geometry we provide the set of symmetries of such a system with a Lie group structure. Finally we determine the precise upper bound of the dimension of this Lie group for some specific systems of partial differential equations.


title: On the Structure of Cohomology of Hamiltonian p-Algebras

abstract: We demonstrate advantages of non-standard grading for computing cohomology of restricted Hamiltonian and Poisson algebras. These algebras contain the inner grading element in the properly defined symmetric grading compatible with the symplectic structure. Using modulo p analog of the theorem on the structure of cohomology of Lie algebra with inner grading element, we show that all nontrivial cohomology classes are located in the grades which are the multiples of the characteristic p. Besides, this grading implies another symmetries in the structure of cohomology. These symmetries are based on the Poincare duality and symmetry with respect to transpositions of conjugate variables of the symplectic space. Some results obtained by computer program utilizing these peculiarities in the cohomology structure are presented.


title: \'Etude de la r\'egularit\'e analytique de l'application de r\'eflexion CR formelle (French)

abstract: Searching normal forms for real analytic submanifolds of C^n involves convergence problems. In 1983, J.K. Moser and S.M. Webster provided examples of real analytic surfaces in C^2 having an isolated hyperbolic (in the sense of E. Bishop) complex tangency, which are formally but not holomorphically normalizable (because of the presence of small divisors), even if the normal form is itself real analytic or algebraic. On the contrary, it appears that such a nonconvergence phenomenon does not appear for submanifolds of C^n whose CR dimension is locally constant, in view of recent results by S.M. Baouendi, P. Ebenfelt and L.P. Rothschild. These results hold true with hypotheses which are relatively simple, but satisfied at a Zariski-generic. Notably, these authors establish that every invertible formal CR mapping between two submanifolds of C^n which are real analytic, generic, finitely nondegenerate and minimal (in the sense of J.-M. Tr\'epreau and A.E. Tumanov) is convergent. In this paper, we establish a more general convergence theorem, which is valid without any nondegeneracy condition, and which confirms the rigidity of the CR category (see Theorem 1.23). This result may be interpreted as a formal Schwarz reflection principle for CR mappings. We deduce that every formal CR equivalence between two submanifolds of C^n which are real analytic, generic and minimal is convergent if and only if both submanifolds are holomorphically nondegenerate (in the sense of N. Stanton). Finally, we establish that two submanifolds of C^n which are real analytic, generic and minimal are formally CR equivalent if and only if they are biholomorphically equivalent.


title: On the local geometry of generic submanifolds of C^n and the analytic reflection principle (Part I)

abstract: We build an elementary analytico-geometric theory of Segre chains and their jets.


title: Nonalgebraizable real analytic tubes in C^n

abstract: We give necessary conditions for certain real analytic tube generic submanifolds in C^n to be locally algebraizable. As an application, we exhibit families of real analytic non locally algebraizable tube generic submanifolds in C^n. During the proof, we show that the local CR automorphism group of a minimal, finitely nondegenerate real algebraic generic submanifold is a real algebraic local Lie group. We may state one of the main results as follows. Let M be a real analytic hypersurface tube in C^n passing through the origin, having a defining equation of the form v = \phi(y), where (z,w)= (x+iy,u+iv) \in C^{n-1} \times C. Assume that M is Levi nondegenerate at the origin and that the real Lie algebra of local infinitesimal CR automorphisms of M is of minimal possible dimension n, i.e. generated by the real parts of the holomorphic vector fields \partial_{z_1}, ..., \partial_{z_{n-1}}, \partial_w. Then M is locally algebraizable only if every second derivative \partial^2_{y_ky_l}\phi is an algebraic function of the collection of first derivatives \partial_{y_1} \phi,..., \partial_{y_m} \phi.


title: Curvature Functionals, Optimal Metrics, and the Differential Topology of 4-Manifolds

abstract: This paper investigates the question of which smooth compact 4-manifolds admit Riemannian metrics that minimize the L2-norm of the curvature tensor. Metrics with this property are called OPTIMAL; Einstein metrics and scalar-flat anti-self-dual metrics provide us with two interesting classes of examples. Using twistor methods, optimal metrics of the second type are constructed on the connected sums kCP_2 for k > 5. However, related constructions also show that large classes of simply connected 4-manifolds do not admit any optimal metrics at all. Interestingly, the difference between existence and non-existence turns out to delicately depend on one's choice of smooth structure; there are smooth 4-manifolds which carry optimal metrics, but which are homeomorphic to infinitely many distinct smooth 4-manifolds on which no optimal metric exists.


title: Matrix problems and stable homotopy types of polyhedra

abstract: It is a survey of the results on the classification of stable homotopy types of polyhedra of small dimensions, mainly obtained by H.-J. Baues and the author. The proofs are based on the technique of matrix problems (bimodule categories).


title: Irreducible compositions and the first return to the origin of a random walk

abstract: Let $n = b_1 + ... + b_k = b_1' + \cdot + b_k'$ be a pair of compositions of $n$ into $k$ positive parts. We say this pair is {\em irreducible} if there is no positive $j < k$ for which $b_1 + ... b_j = b_1' + ... b_j'$. The probability that a random pair of compositions of $n$ is irreducible is shown to be asymptotic to $8/n$. This problem leads to a problem in probability theory. Two players move along a game board by rolling a die, and we ask when the two players will first coincide. A natural extension is to show that the probability of a first return to the origin at time $n$ for any mean-zero variance $V$ random walk is asymptotic to $\sqrt{V/(2 \pi)} n^{-3/2}$. We prove this via two methods, one analytic and one probabilistic.


title: Transcendental l-adic Galois representations

abstract: We consider continuous representations of the Galois group G of a number field K taking values in the completion C of an algebraic closure A of the field of l-adic numbers. We give a construction of irreducible representations of G in GL(2,C) which cannot be conjugated into GL(2,A) but for which there exist density-one sets of primes with Frobenius traces in A. We also show that any such representation must be ramified at infinitely many primes of K.


title: Markov Extensions for Dynamical Systems with Holes: An Application to Expanding Maps of the Interval

abstract: We introduce the Markov extension, represented schematically as a tower, to the study of dynamical systems with holes. For tower maps with small holes, we prove the existence of conditionally invariant probability measures which are absolutely continuous with respect to Lebesgue measure (abbreviated a.c.c.i.m.). We develop restrictions on the Lebesgue measure of the holes and simple conditions on the dynamics of the tower which ensure existence and uniqueness in a class of Holder continuous densities. We then use these results to study the existence and properties of a.c.c.i.m. for expanding maps of the interval with holes. We obtain the convergence of the a.c.c.i.m. to the SRB measure of the corresponding closed system as the measure of the hole shrinks to zero.


title: Markov Extensions and Conditionally Invariant Measures for Certain Logistic Maps with Small Holes

abstract: We study the family of quadratic maps f_a(x) = 1 - ax^2 on the interval [-1,1] with a between 0 and 2. When small holes are introduced into the system, we prove the existence of an absolutely continuous conditionally invariant measure using the method of Markov extensions. The measure has a density which is bounded away from zero and is analogous to the density for the corresponding closed system. These results establish the exponential escape rate of Lebesgue measure from the system, despite the contraction in a neighborhood of the critical point of the map. We also prove convergence of the conditionally invariant measure to the SRB measure for f_a as the size of the hole goes to zero.


title: Groupoid cohomology and extensions

abstract: We show that Haefliger's cohomology for etale groupoids, Moore's cohomology for locally compact groups and the Brauer group of a locally compact groupoid are all particular cases of sheaf (or Cech) cohomology for topological simplicial spaces.


title: The Hart-Shelah example, in stronger logics

abstract: We generalize the Hart-Shelah example \cite{HaSh:323} to higher infinitary logics. We build, for each natural number $k\geq 2$ and for each infinite cardinal $\lambda$, a sentence $\psi_k^\lambda$ of the logic $L_{(2^\lambda)^+,\omega}$ that (modulo mild set theoretical hypotheses around $\lambda$ and assuming $2^\lambda < \lambda^{+m}$) is categorical in $\lambda^+,\dots,\lambda^{+k-1}$ but not in $\beth_{k+1}(\lambda)^+$ (or beyond); we study the dimensional encoding of combinatorics involved in the construction of this sentence and study various model-theoretic properties of the resulting abstract elementary class ${\mathcal K}^*(\lambda,k)=(Mod(\psi_k^\lambda),\prec_{(2^\lambda)^+,\omega})$ in the finite interval of cardinals $\lambda,\lambda^+,\dots,\lambda^{+k}$.


title: Uniquely Transitive Torsion-free Abelian Groups

abstract: We will answer a question raised by Emmanuel Dror Farjoun concerning the existence of torsion-free abelian groups G such that for any ordered pair of pure elements there is a unique automorphism mapping the first element onto the second one. We will show the existence of such a group of cardinality lambda for any successor cardinal lambda=mu^+ with mu=mu^{aleph_0}.


title: Purely log terminal blow-ups of three-dimensional terminal singularities

abstract: The purely log terminal blow-ups of three-dimensional terminal toric singularities are described.


title: On the Riemann zeta-function and the divisor problem

abstract: Let $\Delta(x)$ denote the error term in the Dirichlet divisor problem, and $E(T)$ the error term in the asymptotic formula for the mean square of $|\zeta(1/2 + it)|$. If $E^*(t) = E(t) - 2\pi\Delta^*(t/(2\pi))$ with $\Delta^*(x) = - \Delta(x) +2\Delta(2x)- {1\over2}\Delta(4x)$, then we obtain $$ \int_0^T(E^*(t))^4 dt \ll_\epsilon T^{16/19+varepsilon}$$, which is the first non-trivial bound for higher moments of $E^*(t)$. The method of proof also provides an upper bound for sums of fourth powers of mean square integrals of $|\zeta(1/2 + it)|$ over well-spaced points. This, in turn, yields a new proof of the twelfth moment estimate for $|\zeta(1/2 + it)|$. Among the chief ingredients in the proof is a recent result of Robert--Sargos on the distribution of four square roots of integers, plus an approach of M. Jutila that involves the use of Airy integrals to deal with the ensuing exponential sums.


title: A Formula for the Logarithm of the KZ Associator

abstract: We prove that the logarithm of a group-like element in a free algebra coincides with its image by a certain linear map. We use this result and the formula of Le and Murakami for the Knizhnik-Zamolodchikov (KZ) associator $\Phi$ to derive a formula for $\log(\Phi)$ in terms of MZV's (multiple zeta values).


title: On non-commutative twisting in etale and motivic cohomology

abstract: In this paper we use ideas of the non-abelian Iwasawa main conjecture to prove a result about the first Galois cohomology of continuous Galois modules V_p(j) for large Tate-twist j and V_p a Q_p vector space. We show that under a technical hypothesis that H^1(K, V_p(j)) is generated by twists of norm-compatible units in an infinite tower of number fields with elements in V_p(j-1). This confirms a consequence of the non-abelian Iwasawa main conjecture. Using the "Bloch-Kato-conjecture" a similar result is proven for motivic cohomology with finite coefficients.


title: A computation of the Kontsevich integral of torus knots

abstract: We study the rational Kontsevich integral of torus knots. We construct explicitely a series of diagrams made of circles joined together in a tree-like fashion and colored by some special rational functions. We show that this series codes exactly the unwheeled rational Kontsevich integral of torus knots, and that it behaves very simply under branched coverings. Our proof is combinatorial. It uses the results of Wheels and Wheeling and various spaces of diagrams.


title: Formality for Lie algebroids

abstract: Using Dolgushev's generalization of Fedosov's method for deformation quantization, we give a positive answer to a question of P.Xu: can one prove a formality theorem for Lie algebroids ? As a direct application of this result, we obtain that any triangular Lie bialgebroid is quantizable.


title: The structure of extra loops

abstract: The Sylow theorems hold for finite extra loops, as does P. Hall's theorem for finite solvable extra loops. Every finite nonassociative extra loop $Q$ has a nontrivial center, $Z(Q)$. Furthermore, $Q/Z(Q)$ is a group whenever $|Q| < 512$. Loop extensions are used to construct an infinite nonassociative extra loop with a trivial center and a nonassociative extra loop $Q$ of order 512 such that $Q/Z(Q)$ is nonassociative. There are exactly 16 nonassociative extra loops of order $16p$ for each odd prime $p$.


title: Planar open book decompositions and contact structures

abstract: In this note we observe that while all overtwisted contact structures on compact 3--manifolds are supported by planar open book decompositions, not all contact structures are. This has relevance to invariants of contact structures and also to the Weinstein conjecture via work of Abbas Cieliebak and Hofer.


title: Simultaneous approximation by conjugate algebraic numbers in fields of transcendence degree one

abstract: We present a general result of simultaneous approximation to several transcendental real, complex or p-adic numbers xi_1,...,xi_t by conjugate algebraic numbers of bounded degree over Q, provided that the given transcendental numbers xi_1,...,xi_t generate over Q a field of transcendence degree one. We provide sharper estimates for example when xi_1,...,xi_t form an arithmetic progression with non-zero algebraic difference, or a geometric progression with non-zero algebraic ratio different from a root of unity. In this case, we also obtain by duality a version of Gel'fond's transcendence criterion expressed in terms of polynomials of bounded degree taking small values at xi_1,...,xi_t.


title: Taut representations of compact simple Lie groups

abstract: In this paper we classify the reducible representations of compact simple Lie groups all of whose orbits are tautly embedded in Euclidean space with respect to Z_2 coefficients.


title: Gropes and the rational lift of the Kontsevich integral

abstract: In this note, we calculate the leading term of the rational lift of the Kontsevich integral, introduced by Garoufalidis and Kricker, on the boundary of an embedded grope of class 2n. We observe that it lies in the subspace spanned by connected diagrams of Euler degree 2n-2 which have a bead t-1 on a single edge. This places severe algebraic restrictions on the sort of knots that can bound gropes, and in particular implies the two main results of the author's thesis, at least over the rationals.


title: Generalized E-Rings

abstract: A ring R is called an E-ring if the canonical homomorphism from R to the endomorphism ring End(R_Z) of the additive group R_Z, taking any r in R to the endomorphism left multiplication by r turns out to be an isomorphism of rings. In this case R_Z is called an E-group. Obvious examples of E-rings are subrings of Q. However there is a proper class of examples constructed recently. E-rings come up naturally in various topics of algebra. This also led to a generalization: an abelian group G is an E-group if there is an epimorphism from G onto the additive group of End(G). If G is torsion-free of finite rank, then G is an E-group if and only if it is an E-group. The obvious question was raised a few years ago which we will answer by showing that the two notions do not coincide. We will apply combinatorial machinery to non-commutative rings to produce an abelian group G with (non-commutative) End(G) and the desired epimorphism with prescribed kernel H. Hence, if we let H=0, we obtain a non-commutative ring R such that End(R_{Z}) cong R but R is not an E-ring.


title: Toward classification theory of good lambda frames and abstract elementary classes

abstract: lambda-good frame is for us a parallel of the class of models of a superstable theory. Our main line is to start with lambda-good^+ frame s, categorical in lambda, n-successful for n large enough and try to have parallel of stability theory for K_{s(+l)} for l<n not too large. Characteristically from time to time we have to increase n relative to l to get our desirable properties; we do not critically mind the exact n, so one may think of an omega-successful s. A posteriori we are interested in the model theory of such classes K_s per-se, and see as a test for this theory, that in the omega-successful case we can understand also the model in higher cardinals, e.g., prove that K^s_mu is not empty for every mu>=lambda. Recall there are reasonable lambda-frames which are not n-excellent but still we can say alot on models in $K_{s(+l)} for l<n. Moving from lambda to lambda^+ we would have preferred not to restrict ourselves to saturated models but at present we do not know it. However, in the omega-excellent case we can understand the class of lambda^{+omega}--saturated models in $K_s$, i.e., K^{s(+omega)}. This fits well the thesis that it is reasonable to first analyze the quite saturated case.


title: Necessary and sufficient conditions for the inverse problem of one class ordinary differential operators with complex periodic coefficients

abstract: The basic purpose of the present paper is the full solutions of the inverse problem (i.e. a finding of necessary and sufficient conditions) for the operator with complex periodic coefficients.


title: Simultaneous unitary equivalence to Carleman operators with arbitrarily smooth kernels

abstract: In this paper, we describe families of those bounded linear operators on a separable Hilbert space that are simultaneously unitarily equivalent to integral operators on $L_2(R)$ with bounded and arbitrarily smooth Carleman kernels. The main result is a qualitative sharpening of an earlier result of [7].


title: Spin structures on the Seiberg-Witten moduli spaces

abstract: Let $M$ be an oriented closed 4-manifold and $\cL$ be a $spin^c$ structure on $M$. In this paper we prove that under a suitable condition the Seiberg-Witten moduli space has a canonical spin structure and its spin bordism class is an invariant for $M$. We show that the invariant for $M=#_{j=1}^l M_j$ is not zero, where each $M_j$ is a $K3$ surface or a product of two oriented closed surfaces with odd genus and $l$ is 2 or 3. As a corollary, we obtain the adjunction inequality for $M$. Moreover we show that $M # N$ does not admit Einstein metric for some $N$ with $b^+(N)=0$.


title: On Effective Non-vanishing of Weil Divisors on Algebraic Surfaces

abstract: We give a counterexample and some conclusions for effective non-vanishing of Weil divisors on algebraic surfaces.


title: Tracking of Historical Volatility

abstract: We propose an adaptive algorithm for tracking of historical volatility. The algorithm is built under the assumption that the historical volatility function belongs to the Stone-Ibragimov-Khasminskii class of $k$ times differentiable functions with bounded highest derivative and its subclass of functions satisfying a differential inequalities. We construct an estimator of the Kalman filter type and show optimality of the estimator's convergence rate to zero as sample size $n\to\infty$. This estimator is in the framework of GARCH design, but a tuning procedure of its parameters is faster than with traditional GARCH techniques.


title: On injective homomorphisms for pure braid groups, and associated Lie algebras

abstract: The question of whether a representation of Artin's pure braid group is faithful is translated to certain properties of the Lie algebra arising from the descending central series of the pure braid group, and thus the Vassiliev invariants of pure braids via work of T. Kohno \cite{kohno1,kohno2}. The main result is a Lie algebraic condition which guarantees that a homomorphism out of the classical pure braid group is faithful. However, it is unclear whether the methods here can be applied to any open cases such as the Gassner representation.


title: A Compactness Criterion for Real Plane Algebraic Curves

abstract: Two sets of conditions are presented for the compactness of a real plane algebraic curve, one sufficient and one necessary, in terms of the Newton polygon of the defining polynomial.


title: The tautological rings of the moduli spaces of stable maps

abstract: We show that the rational cohomology of the genus zero stable map spaces to SL flag varieties is entirely tautological.


title: Mirror symmetry for weighted projective planes and their noncommutative deformations

abstract: We study the derived categories of coherent sheaves of weighted projective spaces and their noncommutative deformations, and the derived categories of Lagrangian vanishing cycles of their mirror Landau-Ginzburg models. In particular, we show that the derived category of coherent sheaves (B-branes) on the weighted projective plane $\CP^2(a,b,c)$ is equivalent to the derived category of vanishing cycles (A-branes) on the affine hypersurface $X=\{x^ay^bz^c=1\}\subset (\C^*)^3$ equipped with an exact symplectic form and the superpotential $W=x+y+z$. Hence, the homological mirror symmetry conjecture holds for weighted projective planes. Moreover, we also show that this mirror correspondence between derived categories can be extended to toric noncommutative deformations of $\CP^2(a,b,c)$ where B-branes are concerned, and their mirror counterparts, non-exact deformations of the symplectic structure of $X$ where A-branes are concerned. We also obtain similar results for other examples such as weighted projective lines or Hirzebruch surfaces.


title: Compressing thin spheres in the complement of a link

abstract: Let L be a link in the 3-sphere that is in thin position but not in bridge position and let P be a thin level sphere. We generalize a result of Wu by giving a bound on the number of disjoint irreducible compressing disks that P can have, including identifying thin spheres with unique compressing disks. We also give conditions under which P must be incompressible on a particular side or be weakly incompressible. If P is strongly compressible we describe how a pair of compressing disks must lie relative to the link.


title: Self-Similar blow-up for a diffusion-attraction problem

abstract: In this paper we consider a system of equations that describes a class of mass-conserving aggregation phenomena, including gravitational collapse and bacterial chemotaxis. In spatial dimensions strictly larger than two, and under the assumptions of radial symmetry, it is known that this system has at least two stable mechanisms of singularity formation (see e.g. M.P. Brenner et al.1999, Nonlinearity, 12, 1071-1098); one type is self-similar, and may be viewed as a trade-off between diffusion and attraction, while in the other type the attraction prevails over the diffusion and a non-self-similar shock wave results. Our main result identifies a class of initial data for which the blow-up behaviour is of the former, self-similar type. The blow-up profile is characterized as belonging to a subset of stationary solutions of the associated ordinary differential equation.


title: Tautological classes on the moduli spaces of stable maps to projective spaces

abstract: We present a localization proof of the fact that the cohomology of the moduli spaces of genus zero stable maps to projective spaces is entirely tautological. In addition, we obtain a description of a Bialynicki-Birula stratification in the context of Gathmann's moduli spaces of maps with prescribed contact order to a fixed hyperplane.


title: Divisors on the moduli spaces of stable maps to flag varieties and reconstruction

abstract: We determine generators for the codimension 1 Chow group of the moduli spaces of genus zero stable maps to flag varieties G/P. In the case of SL flags, we find all relations between our generators, showing that they essentially come from $\bar M_{0,n}$. In addition, we analyze the codimension 2 classes on the moduli spaces of stable maps to Grassmannians and prove a new codimension 2 relation. This will lead to a partial reconstruction theorem for the Grassmannian of 2 planes.


title: A language for multiplicative-additive linear logic

abstract: A term calculus for the proofs in multiplicative-additive linear logic is introduced and motivated as a programming language for channel based concurrency. The term calculus is proved complete for a semantics in linearly distributive categories with additives. It is also shown that proof equivalence is decidable by showing that the cut elimination rewrites supply a confluent rewriting system modulo equations.


title: A tropical morphism related to the hyperplane arrangement of the complete bipartite graph

abstract: We undertake a combinatorial study of the piecewise linear map g : R^{2m+2n} --> R^{mn} which assigns to the four vectors a, A in R^m and b, B in R^n the m by n matrix given by g_{ij} = min (a_i + b_j, A_i+B_j). This map arises naturally in Pachter and Sturmfels's work on the tropical geometry of statistical models. The image of g has been a subject of recent interest; it is the positive part of the tropical algebraic variety which parameterizes n-tuples of points on a tropical line in m-space. The domains of linearity of g are the regions of the real hyperplane arrangement A_{m,n}, corresponding to the complete bipartite graph K_{m,n}. We explain how the images of (some of) the regions provide two polyhedral subdivisions of the image of g, one of which is a refinement of the other. The finer subdivision is particularly nice enumeratively: it has 2 {m \choose 2} {n \choose 2} r_{m-2,n-2} maximum-dimensional cells, where r_{m-2,n-2} is the number of regions of the arrangement A_{m-2,n-2}.


title: Deformed universal characters for classical and affine algebras

abstract: Creation operators are given for the three distinguished bases of the type BCD universal character ring of Koike and Terada yielding an elegant way of treating computations for all three types in a unified manner. Deformed versions of these operators create symmetric function bases whose expansion in the universal character basis, has polynomial coefficients in $q$ with non-negative integer coefficients. We conjecture that these polynomials are one-dimensional sums associated with crystal bases of finite-dimensional modules over quantized affine algebras for all nonexceptional affine types. These polynomials satisfy a Macdonald-type duality.


title: On moments of $|\zeta(1/2+it)|$ in short intervals

abstract: Power moments of $$ J_k(t,G) = {1\over\sqrt{\pi}G} \int_{-\infty}^\infty |\zeta(1/2 + it + iu)|^{2k}{\rm e}^{-(u/G)^2} du \qquad(t \asymp T, T^\epsilon \le G \ll T),$$ where $k$ is a natural number, are investigated. The results that are obtained are used to show how bounds for $\int_0^T|\zeta(1/2+it)|^{2k} dt$ may be obtained.


title: On nonimbeddability of Hartogs figures into complex manifolds

abstract: We propose a method to construct examples of strange imbeddings of Hartogs figures into complex manifolds. It gives an imbedding of a "thin" Hartogs figure which does not have any neighborhood biholomorphic to an open set in a Stein manifold, thus unswering a question of E. Poletsky. Then we give an example of a foliated manifold which does not admit any nontrivial imbeddings of a "thick" (i.e. usual) Hartogs figure, giving thus a counterexample to some "selfevident" statements used in foliation theory.


title: Self-binormal solutions of the Localized Induction Approximation: Singularity formation

abstract: We investigate the formation of singularities in a self-similar form of regular solutions of the Localized Induction Approximation (also referred as to the binormal flow). This equation appears as an approximation model for the self-induced motion of a vortex filament in an inviscid incompressible fluid. The solutions behave as 3d-logarithmic spirals at infinity. The proofs of the results are strongly based on the existing connection between the binormal flow and certain Schr\"odinger equations.


title: On D. I. Moldavanskii's question about $p$-separable subgroups of a free group

abstract: We prove that every nonabelian free group has a finitely generated isolated subgroup which is not separable in the class of nilpotent groups. This enables us to give a negative answer to the following question by D.I. Moldavanskii in the "Kourovka Notebook": Is it true that any finitely generated $p'$--isolated subgroup of a free group is separable in the class of finite $p$--groups?


title: Some remarks on a proof of geometrical Paley-Wiener theorems for the Dunkl transform

abstract: We argue that a proof of the geometrical form of the Paley-Wiener theorems for the Dunkl transform in the literature is not correct.


title: Microlocal lifts of eigenfunctions on hyperbolic surfaces and trilinear invariant functionals

abstract: S. Zelditch introduced an equivariant version of a pseudo-differential calculus on a hyperbolic Riemann surface. We recast his construction in terms of trilinear invariant functionals on irreducible unitary representations of PGL(2,R). This allows us to use certain properties of these functionals in the study of the action of pseudo-differential operators on eigenfunctions of the Laplacian on hyperbolic Riemann surfaces.


title: Dimensions and spectral triples for fractals in R^N

abstract: Two spectral triples are introduced for a class of fractals in R^n. The definitions of noncommutative Hausdorff dimension and noncommutative tangential dimensions, as well as the corresponding Hausdorff and Hausdorff-Besicovitch functionals considered in math.OA/0202108, are studied for the mentioned fractals endowed with these spectral triples, showing in many cases their correspondence with classical objects. In particular, for any limit fractal, the Hausdorff-Besicovitch functionals do not depend on the generalized limit procedure.


title: Computing Feedback Laws for Linear Systems with a Parallel Pieri Homotopy

abstract: Homotopy methods to solve polynomial systems are well suited for parallel computing because the solution paths defined by the homotopy can be tracked independently. Both the static and dynamic load balancing models are implemented in C with MPI, adapting PHCpack written in Ada using gcc, and tested on academic benchmarks and mechanical applications. We studied the parallelization of Pieri homotopies to compute all feedback laws to control linear systems. To distribute the workload, we mapped the poset onto a tree. As the dimensions of the Pieri homotopies grow incrementally from the root to the leaves in the tree, we found the Pieri homotopies well suited for parallel computing.


title: The GL_2 main conjecture for elliptic curves without complex multiplication

abstract: The main conjectures of Iwasawa theory provide the only general method known at present for studying the mysterious relationship between purely arithmetic problems and the special values of complex L-functions, typified by the conjecture of Birch and Swinnerton-Dyer and its generalizations. Our goal in the present paper is to develop algebraic techniques which enable us to formulate a precise version of such a main conjecture for motives over a large class of p-adic Lie extensions of number fields. The paper ends by formulating and briefly discussing the main conjecture for an elliptic curve E over the rationals Q over the field generated by the coordinates of its p-power division points, where p is a prime greater than 3 of good ordinary reduction for E.


title: Discrete strip-concave functions, Gelfand-Tsetlin patterns, and related polyhedra

abstract: Discrete strip-concave functions considered in this paper are, in fact, equivalent to an extension of Gelfand-Tsetlin patterns to the case when the pattern has a not necessarily triangular but convex configuration. They arise by releasing one of the three types of rhombus inequalities for discrete concave functions (or ``hives'') on a ``convex part'' of a triangular grid. The paper is devoted to a combinatorial study of certain polyhedra related to such functions or patterns, and results on faces, integer points and volumes of these polyhedra are presented. Also some relationships and applications are discussed. In particular, we characterize, in terms of valid inequalities, the polyhedral cone formed by the boundary values of discrete strip-concave functions on a grid having trapezoidal configuration. As a consequence of this result, necessary and sufficient conditions on a pair of vectors to be the shape and content of a semi-standard skew Young tableau are obtained.


title: How non-Gibbsianness helps a metastable Morita minimizer to provide a stable free energy

abstract: We analyze a simple approximation scheme based on the Morita-approach for the example of the mean field random field Ising model where it is claimed to be exact in some of the physics literature. We show that the approximation scheme is flawed, but it provides a set of equations whose metastable solutions surprisingly yield the correct solution of the model. We explain how the same equations appear in a different way as rigorous consistency equations. We clarify the relation between the validity of their solutions and the almost surely discontinuous behavior of the single-site conditional probabilities.


title: Signed Mahonian polynomials for classical Weyl groups

abstract: The generating functions of the major index and of the flag-major index, with each of the one-dimensional characters over the symmetric and hyperoctahedral group, respectively, have simple product formulas. In this paper, we give a factorial-type formula for the generating function of the D-major index with sign over the Weyl groups of type D. This completes a picture which is now known for all the classical Weyl groups.


title: A finiteness result for commuting squares of matrix algebras

abstract: We consider a condition for non-degenerate commuting squares of matrix algebras (finite dimensional von Neumann algebras) called the \emph{span condition}, which in the case of the $n$-dimensional standard spin models is shown to be satisfied if and only if $n$ is prime. We prove that the commuting squares satisfying the span condition are isolated among all commuting squares (modulo isomorphisms). In particular, they are finiteley many for any fixed dimension. Also, we give a conceptual proof of previous constructions of certain one-parameter families of biunitaries.


title: Trapping Regions for the Navier-Stokes Equations

abstract: In 1999, J.C. Mattingly and Ya. G. Sinai used elementary methods to prove the existence and uniqueness of smooth solutions to the 2D Navier-Stokes equations with periodic boundary conditions. And they were almost successful in proving the existence and uniqueness of smooth solutions to the 3D Navier-Stokes equations using the same strategy. In this paper, we modify their technique to obtain a simpler proof of one of their results. We also argue that there is no logical reason why the 3D Navier-Stokes equations must always have solutions, even when the initial velocity vector field is smooth; if they do always have solutions, it is due to probability and not logic.


title: Completions of pro-spaces

abstract: For every ring R, we present a pair of model structures on the category of pro-spaces. In the first, the weak equivalences are detected by cohomology with coefficients in R. In the second, the weak equivalences are detected by cohomology with coefficients in all R-modules (or equivalently by pro-homology with coefficients in R). In the second model structure, fibrant replacement is essentially just the Bousfield-Kan R-tower. When R = Z/p, the first homotopy category is equivalent to a homotopy theory defined by Morel but has some convenient categorical advantages.


title: Metric Spaces with Linear Extensions Preserving Lipschitz Condition

abstract: We study a new bi-Lipschitz invariant \lambda(M) of a metric space M; its finiteness means that Lipschitz functions on an arbitrary subset of M can be linearly extended to functions on M whose Lipschitz constants are enlarged by a factor controlled by \lambda(M). We prove that \lambda(M) is finite for several important classes of metric spaces. These include metric trees of arbitrary cardinality, groups of polynomial growth, Gromov-hyperbolic groups, certain classes of Riemannian manifolds of bounded geometry and finite direct sums of arbitrary combinations of these objects. On the other hand we construct an example of a two-dimensional Riemannian manifold M of bounded geometry for which \lambda(M)=\infty.


title: Fusion of imprecise, uncertain, and conflicting beliefs with DSm rules of combination

abstract: In this paper one studies, within Dezert-Smarandache Theory (DSmT), the case when the sources of information provide imprecise belief functions/masses, and we generalize the DSm rules of combination (classic or hybrid rules) from scalar fusion to sub-unitary interval fusion and, more general, to any set of sub-unitary interval fusion. This work generalizes previous works available in literature which appear limited to IBS (Interval-valued belief structures) in the Transferable Belief Model framework. Numerical didactic examples of these new DSm fusion rules for dealing with imprecise information are also presented.


title: An example for a one-parameter nonexpansive semigroup

abstract: We give one example for a one-parameter nonexpansive semigroup.


title: Introduction to double Hecke algebras

abstract: This paper is based on the introduction to the monograph ``Double affine Hecke algebras'' to be published by Cambridge University Press. The connections with Knizhnik-Zamolodchikov equations, Kac-Moody algebras, tau-function, harmonic analysis on symmetric spaces, and special functions are discussed. The rank one case is considered in detail including the classification of Verlinde algebras and their deformations, Gauss-Selberg integrals and Gaussian sums, a topological interpretation of DAHA, a relation of the rational DAHA to sl(2), and applications to the diagonal coinvariants. The last three sections are devoted to relations of the general DAHAs to the p-adic affine Hecke algebras, trigonometric and rational DAHAs, and applications to the Harish-Chandra theory. The purpose of this introduction is a demonstration that DAHA can be considered as a natural formalization of the concept of the Fourier transform in mathematics and physics.

categories: math.QA math-ph math.CO math.GT math.MP math.RT


title: Combinatorial aspects of Connes's embedding conjecture and asymptotic distribution of traces of products of unitaries

abstract: In this paper we study the asymptotic distribution of the moments of (non-normalized) traces $\Tr (w_1), \Tr(w_2), ..., \Tr(w_r)$, where $ w_1, w_2, >..., w_r$ are reduced words in unitaries in the group $\cU(N)$. We prove that as $N\to \infty$ these variables are distributed as normal gaussian variables $\sqrt {j_1} Z_1, ..., \sqrt{Z_r}$, where $j_1, ..., j_r$ are the number of cyclic rotations of the words $w_1, ..., w_s$ leaving them invariant. This extends a previous result by Diaconis (\cite{Diac}), where this it was proved, that $\Tr(U), \Tr(U^2), ...,$ $\Tr(U^p)$ are asymptotically distributed as $Z_1, \sqrt 2 Z_2, ..., \sqrt p Z_p$. We establish a combinatorial formula for $\int |\Tr (w_1)|^2...| \Tr(w_p)|^2$. In our computation we reprove some results from \cite{BC}.


title: Connected Sums of Closed Orientable Triangulated 3-Manifolds

abstract: In this paper, we describe geometrical constructions to obtain triangulations of connected sums of closed orientable triangulated 3-manifolds. Using these constructions, we show that it takes time polynomial in the number of tetrahedra to check if a closed orientable 3-manifold, equipped with a minimal triangulation, is reducible or not. This result can easily be generalized to compact orientable 3-manifolds with non-empty boundary.


title: Positive Dehn Twist Expressions for some New Involutions in Mapping Class Group

abstract: The well-known fact that any genus $g$ symplectic Lefschetz fibration $ X^{4}\to S^{2}$ is given by a word that is equal to the identity element in the mapping class group and each of whose elements is given by a positive Dehn twist, provides an intimate relationship between words in the mapping class group and 4-manifolds that are realized as symplectic Lefschetz fibrations. In this article we provide new words in the mapping class group, hence new symplectic Lefschetz fibrations. We also compute the signatures of those symplectic Lefschetz fibrations.


title: Positive Dehn Twist Expressions for some New Involutions in the Mapping Class Group II

abstract: The positive Dehn twist expressions for the generalizations of the new involutions described in math.GT/0404310 are presented. The homeomorphism types of the Lefschetz fibrations that they define are determined for several examples.


title: Intersection Cohomology, Monodromy, and the Milnor Fiber

abstract: We say that a complex analytic space, $X$, is an intersection cohomology manifold if and only if the shifted constant sheaf on $X$ is isomorphic to intersection cohomology; this is quickly seen to be equivalent to $X$ being a homology manifold. Given an analytic function $f$ on an intersection cohomology manifold, we describe a simple relation between $V(f)$ being an intersection cohomology manifold and the vanishing cycle Milnor monodromy of $f$. We then describe how the Sebastiani-Thom isomorphism allows us to easily produce intersection cohomology manifolds with arbitrary singular sets. Finally, as an easy application, we obtain restrictions on the cohomology of the Milnor fiber of a hypersurface with a special type of one-dimensional critical locus.


title: Geometric structures as deformed infinitesimal symmetries

abstract: A general model for geometric structures on differentiable manifolds is obtained by deforming infinitesimal symmetries. Specifically, this model consists of a Lie algebroid, equipped with an affine connection compatible with the Lie algebroid structure. The curvature of this connection vanishes precisely when the structure is locally symmetric. This model generalizes Cartan geometries, a substantial class, to the intransitive case. Simple examples are surveyed and corresponding local obstructions to symmetry are identified. These examples include foliations, Riemannian structures, infinitesimal G-structures, symplectic and Poisson structures.


abstract: This paper establishes restrictions on the possible Galois actions on the pro-l-unipotent fundamental group of a smooth variety X of good reduction over a local field K. In particular, if X is proper and l is not equal to the residue characteristic p of K, then this action is uniquely determined by the action on cohomology. A similar result for l=p is then proved via a comparison theorem between the crystalline and pro-p homotopy types.


title: Canonical Models for Representations of Hardy Algebras

abstract: In this paper we study canonical models for representations of the Hardy algebras that generalize the model theory of Sz.-Nagy and Foias for contraction operators. The Hardy algebras are non selfadjoint operator algebras associated with $W^*$-correspondences. This class includes the classical $H^{\infty}$ algebra, free semigroup algebras, quiver algebras and other classes of algebras studied in the literature.


title: Duality of $W^*$-correspondences and applications

abstract: This is an exposition of our work on the canonical models of representations of Hardy algebras associated with $W^*$-correspondences. It generalizes the model theory of Sz.-Nagy and Foias and the work of Popescu on models of row contractions. We also emphasize the concept of duality for $W^*$-correspondences and its relation to Morita equivalence of correspondenses.


title: Hardy algebras associated with $W^*$-correspondences (point evaluation and Schur class functions)

abstract: This is primarily an exposition of our work on Hardy algebras associated with $W^*$-correspondences with an emphasis on interpolation results (a generalized Nevanlinna-Pick theorem) and the concepts of Schur class operator functions (and realizations). We describe in detail the construction of the Hardy algebras, its representations and the important concepts of duality and point evaluation. Many examples are provided.


title: Cofinality of normal ideals on P_\kappa(\lambda), I

abstract: Given an ordinal delta <= lambda and a cardinal theta <= kappa, an ideal J on P_kappa(lambda) is said to be [delta]^{<theta}-normal if given B_e in J for e in P_theta(delta), the set of all a in P_kappa(lambda) such that a in B_e for some e in P_{|a cap theta|}(a cap delta) lies in J. We give necessary and sufficient conditions for the existence of such ideals and we describe the least one and we compute its cofinality.


title: On the order of countable graphs

abstract: A set of graphs is said to be independent if there is no homomorphism between distinct graphs from the set. We consider the existence problems related to the independent sets of countable graphs. While the maximal size of an independent set of countable graphs is 2^omega the On Line problem of extending an independent set to a larger independent set is much harder. We prove here that singletons can be extended (``partnership theorem''). While this is the best possible in general, we give structural conditions which guarantee independent extensions of larger independent sets. This is related to universal graphs, rigid graphs and to the density problem for countable graphs.


title: Quadrangularity in Tournaments

abstract: The pattern of a matrix M is a (0,1)-matrix which replaces all non-zero entries of M with a 1. There are several contexts in which studying the patterns of orthogonal matrices can be useful. One necessary condition for a matrix to be orthogonal is a property known as combinatorial orthogonality. If the adjacency matrix of a directed graph forms a pattern of a combinatorially orthogonal matrix, we say the digraph is quadrangular. We look at the quadrangular property in tournaments and regular tournaments.


title: The Beckman-Quarles theorem for mappings from C^2 to C^2

abstract: Let phi: C^2 times C^2 -> C, phi((x_1,x_2),(y_1,y_2))=(x_1-y_1)^2+(x_2-y_2)^2. We say that f:C^2->C^2 preserves unit distance, if for each X,Y in C^2 phi(X,Y)=1 implies phi(f(X),f(Y))=1. We prove that each unit-distance preserving mapping f:C^2->C^2 has a form J circ (gamma,gamma), where gamma:C->C is a field homomorphism and J:C^2->C^2 is an affine mapping with orthogonal linear part. We also prove a more general result for any commutative field K for which {x \in K: x^2+1=0} \neq \emptyset and char(K) \not\in {2,3,5}.


title: Cardinal sequences and Cohen real extensions

abstract: We show that if we add any number of Cohen reals to the ground model then, in the generic extension, a locally compact scattered space has at most (2^{aleph_0})^V many levels of size omega. We also give a complete ZFC characterization of the cardinal sequences of regular scattered spaces. Although the classes of the regular and of the 0-dimensional scattered spaces are different, we prove that they have the same cardinal sequences.


title: Reflection implies the SCH

abstract: We prove that, e.g., if mu >cf(mu)= aleph_0 and mu>2^{aleph_0} and every stationary family of countable subsets of mu^+ reflect in some subset of mu^+ of cardinality aleph_1, then the SCH for mu^+ (moreover, for mu^+, any scale for mu^+ has a bad stationary set of cofinality aleph_1). This answers a question of Foreman and Todorcevic who got such conclusion from the simultaneous reflection of four stationary sets.


title: Affine crystals of type $D_n^{(1)}$ and Young walls

abstract: We give a new realization of arbitrary level perfect crystals and arbitrary level irreducible highest weight crystals of type $D_n^{(1)}$, in the language of Young walls. The notions of splitting of blocks and slices play crucial roles in the construction of crystals. The perfect crystals are realized as the set of equivalence classes of slices. And the irreducible highest weight crystals are realized as the affine crystals consisting of reduced proper Young walls which, in turn, are concatenations of slices.


title: Asymptotic Improvement of the Gilbert-Varshamov Bound on the Size of Binary Codes

abstract: Given positive integers $n$ and $d$, let $A_2(n,d)$ denote the maximum size of a binary code of length $n$ and minimum distance $d$. The well-known Gilbert-Varshamov bound asserts that $A_2(n,d) \geq 2^n/V(n,d-1)$, where $V(n,d) = \sum_{i=0}^{d} {n \choose i}$ is the volume of a Hamming sphere of radius $d$. We show that, in fact, there exists a positive constant $c$ such that $$ A_2(n,d) \geq c \frac{2^n}{V(n,d-1)} \log_2 V(n,d-1) $$ whenever $d/n \le 0.499$. The result follows by recasting the Gilbert- Varshamov bound into a graph-theoretic framework and using the fact that the corresponding graph is locally sparse. Generalizations and extensions of this result are briefly discussed.


title: Convex solutions to the mean curvature flow

abstract: In this paper we study the classification of ancient convex solutions to the mean curvature flow in $\R^{n+1}$. An open problem related to the classification of type II singularities is whether a convex translating solution is $k$-rotationally symmetric for some integer $2\le k\le n$, namely whether its level set is a sphere or cylinder $S^{k-1}\times \R^{n-k}$. In this paper we give an affirmative answer for entire solutions in dimension 2. In high dimensions we prove that there exist non-rotationally symmetric, entire convex translating solutions, but the blow-down in space of any entire convex translating solution is $k$-rotationally symmetric. We also prove that the blow-down in space-time of an ancient convex solution which sweeps the whole space $\R^{n+1}$ is a shrinking sphere or cylinder.


title: On a Conjecture of Conrad, Diamond, and Taylor

abstract: We prove a conjecture of Conrad, Diamond, and Taylor on the size of certain deformation rings parametrizing potentially Barsotti-Tate Galois representations. To achieve this, we extend results of Breuil and Mezard (classifying Galois lattices in semistable representations in terms of "strongly divisible modules") to the potentially crystalline case in Hodge-Tate weights (0,1). We then use these strongly divisible modules to compute the desired deformation rings. As a corollary, we obtain new results on the modularity of potentially Barsotti-Tate representations.


title: Flow does not model flows up to weak dihomotopy

abstract: We prove that the category of flows cannot be the underlying category of a model category whose corresponding homotopy types are the flows up to weak dihomotopy. Some hints are given to overcome this problem. In particular, a new approach of dihomotopy involving simplicial presheaves over an appropriate small category is proposed. This small category is obtained by taking a full subcategory of a locally presentable version of the category of flows.


title: On a generalized Connes-Hochschild-Kostant-Rosenberg theorem

abstract: The central result here is an explicit computation of the Hochschild and cyclic homologies of a natural smooth subalgebra of stable continuous trace algebras having smooth manifolds X as their spectrum. More precisely, the Hochschild homology is identified with the space of differential forms on X, and the periodic cyclic homology with the twisted de Rham cohomology of X, thereby generalizing some fundamental results of Connes and Hochschild-Kostant-Rosenberg. The Connes-Chern character is also identified here with the twisted Chern character.


title: The index of singular integral operators with discontinuous oscillating coefficients

abstract: The article presents the procedure of the index calculation for the elements of the algebra generated by one dimensional singular integral operators with discontinuous oscillating coefficients.


title: Algebra of dimension theory

abstract: The dimension algebra of graded groups is introduced. With the help of known geometric results of extension theory that algebra induces all known results of the cohomological dimension theory. Elements of the algebra are equivalence classes $\dim(A)$ of graded groups $A$. There are two geometric interpretations of those equivalence classes: \linebreak 1. For pointed CW complexes $K$ and $L$, $\dim(H_\ast(K))=\dim(H_\ast(L))$ if and only if the infinite symmetric products $SP(K)$ and $SP(L)$ are of the same extension type (i.e., $SP(K)\in AE(X)$ iff $SP(L)\in AE(X)$ for all compact $X$). \linebreak 2. For pointed compact spaces $X$ and $Y$, $\dim(\cal H^{-\ast}(X))=\dim(\cal H^{-\ast}(Y))$ if and only if $X$ and $Y$ are of the same dimension type (i.e., $\dim_G(X)=\dim_G(Y)$ for all Abelian groups $G$). Dranishnikov's version of Hurewicz Theorem in extension theory becomes $\dim(\pi_\ast(K))=\dim(H_\ast(K))$ for all simply connected $K$. The concept of cohomological dimension $\dim_A(X)$ of a pointed compact space $X$ with respect to a graded group $A$ is introduced. It turns out $\dim_A(X)\leq 0$ iff $\dim_{A(n)}(X)\leq n$ for all $n\in\Z$. If $A$ and $B$ are two positive graded groups, then $\dim(A)=\dim(B)$ if and only if $\dim_A(X)=\dim_B(X)$ for all compact $X$.


title: Extension theory of infinite symmetric products

abstract: We present an approach to cohomological dimension theory based on infinite symmetric products and on the general theory of dimension called the extension dimension. The notion of the extension dimension $\ExD(X)$ was introduced by A.N.Dranishnikov \cite {D$_5$} in the context of compact spaces and CW complexes. This paper investigates extension types of infinite symmetric products $SP(L)$. One of the main ideas of the paper is to treat $\ExD(X)\leq SP(L)$ as the fundamental concept of cohomological dimension theory instead of $\dim_G(X)\leq n$. In a subsequent paper \cite{Dy$_6$} we show how properties of infinite symmetric products lead naturally to a calculus of graded groups which implies most of classical results of the cohomological dimension. The basic notion in \cite{Dy$_6$} is that of homological dimension of a graded group which allows for simultanous treatment of cohomological dimension of compacta and extension properties of CW complexes. We introduce cohomology of $X$ with respect to $L$ (defined as homotopy groups of the function space $SP(L)^X$). As an application of our results we characterize all countable groups $G$ so that the Moore space $M(G,n)$ is of the same extension type as the Eilenberg-MacLane space $K(G,n)$. Another application is characterization of infinite symmetric products of the same extension type as a compact (or finite-dimensional and countable) CW complex.