title: Group-cograded multiplier Hopf (*-)algebras

abstract: Let $G$ be a group and assume that $(A_p)_{p\in G}$ is a family of algebras with identity. We have a {\it Hopf $G$-coalgebra} (in the sense of Turaev) if, for each pair $p,q\in G$, there is given a unital homomorphism $\co_{p,q}:A_{pq}\to A_p \ot A_q$ satisfying certain properties. Consider now the direct sum $A$ of these algebras. It is an algebra, without identity, except when $G$ is a finite group, but the product is non-degenerate. The maps $\co_{p,q}$ can be used to define a coproduct $\co$ on $A$ and the conditions imposed on these maps give that $(A,\co)$ is a multiplier Hopf algebra. It is $G$-cograded as explained in this paper. We study these so-called {\it group-cograded multiplier Hopf algebras}. They are, as explained above, more general than the Hopf group-coalgebras as introduced by Turaev. Moreover, our point of view makes it possible to use results and techniques from the theory of multiplier Hopf algebras in the study of Hopf group-coalgebras (and generalizations). In a separate paper, we treat the quantum double in this context and we recover, in a simple and natural way (and generalize) results obtained by Zunino. In this paper, we study integrals, in general and in the case where the components are finite-dimensional. Using these ideas, we obtain most of the results of Virelizier on this subject and consider them in the framework of multiplier Hopf algebras.


title: An Estimate of the Maximal Operators Associated with Generalized Lacunary Sets

abstract: Let $\Omega $ be any set of directions (unit vectors) on the plane. In this paper we study maximal operator of the one dimensional maximal function computed in the directions of $\Omega$ We are interested in extensions of lacunary sets of directions, to collections we call $N$--lacunary, for integers $N$. We proceed by induction. Say that $\Omega$ is 1--lacunary iff $\Omega$ is an ordinary lacunary set of vectors. Every $N+1$--lacunary set can be obtained from some $N$--lacunary $\Omega_N$ adding some points to $\Omega_N$. Between each two neighbor points $a,b\in\Omega_N$ we can add a 1--lacunary sequence (finite or infinite). We show that for all $N$ lacunary sets $\Omega$, $$ \|M_\Omega f(x)\|_2\lesssim{}N \|f\|_2. $$ Observe that every set $\Omega$ of $N$ points is $(C\log N)$--lacunary. We then obtain a Theorem of N. Katz \cite{Katz2}. Both the current inequality, and Katz' result are consequence of a general result of Alfonseca, Soria, and Vargas \cites{ASV2}. We offer the current proof as a succinct, self--contained approach to this inequality.


title: Rubio de Francia Littlewood Paley Inequalities and Directional Maximal Functions

abstract: In $R^d$, define a maximal function in the directions $v\in \directions\subset\{x \mid \abs x=1\}$ by $$ M^\directions f(x)=\sup_{v\in\directions} \sup_{\zve} \int_{-\ze}^\ze \abs{f(x-vy)} dy. $$ For a function $f$ on $\ZR^d$, let $S_\zw f$ denote the Fourier restriction of $f$ to a region $\zw$. We are especially interested taking \zw to be a sector of $R^d$ with base points at the origin. A sector is a product of the interval $(0,\infty)$ with respect to a choice of (non orthogonal) basis. What is most important is that the basis is a subset of $\directions$. Consider a collection $\zW$ of pairwise disjoint sectors $\zw$ as above. Assume that $M^\directions $ maps $L^p$ into $L^p$, for some $1<p<\zI $. Then we have the following Littlewood--Paley inequality $$ \NORm \Bigl[\sum_{\zw\in\zW}\abs{S_\zw f}^2\Bigr]^{1/2}.q.\lesssim{}\norm f.q., \qquad 2\le q<2 \frac p{p-1}. $$ The one dimensional analogue of this inequality is due to Rubio de Francia. The conclusion when the set of vectors is a fixed basis is known, is due to Journ\'e. Our method of proof relies on a phase plane analysis. We introduce a notion of Carleson measures adapted to $\directions$, and demonstrate a John Nirenberg inequality for these measures. The John Nirenberg inequality, and an obvious $L^2$ estimate will prove the Theorem.


title: The Drinfel'd double for group-cograded multiplier Hopf algebras

abstract: Let $G$ be any group and let $K(G)$ denote the multiplier Hopf algebra of complex functions with finite support in $G$. The product in $K(G)$ is pointwise. The comultiplication on $K(G)$ is defined with values in the multiplier algebra $M(K(G) \otimes K(G))$ by the formula $(\Delta(f)) (p,q) = f(pq)$ for all $f \in K(G)$ and $p, q \in G$. In this paper we consider multiplier Hopf algebras $B$ (over $\Bbb C$) such that there is an embedding $I: K(G) \to M(B)$. This embedding is a non-degenerate algebra homomorphism which respects the comultiplication and maps $K(G)$ into the center of $M(B)$. These multiplier Hopf algebras are called {\it $G$-cograded multiplier Hopf algebras.} They are a generalization of the Hopf group-coalgebras as studied by Turaev and Virelizier. In this paper, we also consider an {\it admissible} action $\pi$ of the group $G$ on a $G$-cograded multiplier Hopf algebra $B$. When $B$ is paired with a multiplier Hopf algebra $A$, we construct the Drinfel'd double $D^\pi$ where the coproduct and the product depend on the action $\pi$. We also treat the $^*$-algebra case. If $\pi$ is the trivial action, we recover the usual Drinfel'd double associated with the pair $<A, B>$. On the other hand, also the Drinfel'd double, as constructed by Zunino for a finite-type Hopf group-coalgebra, is an example of the construction above. In this case, the action is non-trivial but related with the adjoint action of the group on itself. Now, the double is again a $G$-cograded multiplier Hopf algebra.


title: Symmetric plane curves of degree 7 : pseudo-holomorphic and algebraic classifications

abstract: This paper is motivated by the real symplectic isotopy problem : does there exists a nonsingular real pseudoholomorphic curve not isotopic in the projective plane to any real algebraic curve of the same degree? Here, we focus our study on symmetric real curves on the projective plane. We give a classification of real schemes (resp. complex schemes) realizable by symmetric real curves of degree 7 with respect to the type of the curve (resp. M-symmetric real curves of degree 7). In particular, we exhibit two real schemes which are realizable by real symmetric dividing pseudoholomorphic curves of degree 7 on the projective plane but not by algebraic ones.


title: Deconstructing Hopf spaces

abstract: We characterize Hopf spaces with finitely generated cohomology as an algebra over the Steenrod algebra. We "deconstruct" the original space into an H-space Y with finite mod p cohomology and a finite number of p-torsion Eilenberg-Mac Lane spaces. We give a precise description of homotopy commutative H-spaces in this setting.


title: Canonical bases of loop algebras via Quot schemes, I

abstract: We propose a construction of some canonical bases for quantum loop algebras of Kac-Moody algebras. We consider a smooth projective curve X, a group of automorphism G of X such that X/G=P^1, and we consider some Quot schemes of G-equivariant coherent sheaves on X. We view these spaces as loop analogues of spaces of representations of quivers and following Lusztig, we consider a convolution algebra of (semisimple, equivariant) perverse sheaves on the collection of these Quot schemes. We relate this algebra to a quantum loop algebra of some Kac-Moody algebra. In particular, when X=P^1 and G is a subgroup of SL(2,C), we obtain a canonical basis of a positive part of a quantum affine algebra in the Drinfeld presentation, and relate it (in some examples) to the bases constructed by Lusztig and Kashiwara. When X is an elliptic curve, we will obtain in this way a canonical basis of quantum toroidal algebras of type D_4, E_6, E_7 and E_8.


title: General state space Markov chains and MCMC algorithms

abstract: This paper surveys various results about Markov chains on general (non-countable) state spaces. It begins with an introduction to Markov chain Monte Carlo (MCMC) algorithms, which provide the motivation and context for the theory which follows. Then, sufficient conditions for geometric and uniform ergodicity are presented, along with quantitative bounds on the rate of convergence to stationarity. Many of these results are proved using direct coupling constructions based on minorisation and drift conditions. Necessary and sufficient conditions for Central Limit Theorems (CLTs) are also presented, in some cases proved via the Poisson Equation or direct regeneration constructions. Finally, optimal scaling and weak convergence results for Metropolis-Hastings algorithms are discussed. None of the results presented is new, though many of the proofs are. We also describe some Open Problems.


title: Finiteness in derived categories of local rings

abstract: New homotopy invariant finiteness conditions on modules over commutative rings are introduced, and their properties are studied systematically. A number of finiteness results for classical homological invariants like flat dimension, injective dimension, and Gorenstein dimension, are established. It is proved that these specialize to give results concerning modules over complete intersection local rings. A noteworthy feature is the use of techniques based on thick subcategories of derived categories.


title: Existence results for a superlinear singular equation of Caffarelli-Kohn-Nirenberg type

abstract: In this paper, using Mountain Pass Lemma and Linking Argument, we prove the existence of nontrivial weak solutions for the Dirichlet problem for the superlinear equation of Caffarelli-Kohn-Nirenberg type in the case where the parameter $\lambda\in (0, \lambda_2)$, $\lambda_2$ is the second positive eigenvalue of the quasilinear elliptic equation of Caffarelli-Kohn-Nirenberg type.


title: Moment Conditions and Support Theorems for Radon Transforms on Affine Grassmann Manifolds

abstract: Let $G(p,n)$ and $G(q,n)$ be the affine Grassmann manifolds of $p$- and $q$- planes in ${\mathbb R}^n$, respectively, and let $\mathcal{R}^{(p,q)}$ be the Radon transform from smooth functions on $G(p,n)$ to smooth functions on $G(q,n)$ arising from the inclusion incidence relation. When $p<q$ and $\dim G(p,n) = \dim G(p,n)$, we present a range characterization theorem for $\mathcal{R}^{(p,q)}$ via moment conditions. We then use this range result to prove a support theorem for $\mathcal{R}^{(p,q)}$. This complements a previous range characterization theorem for $\mathcal{R}^{(p,q)}$ via differential equations when $\dim G(p,n) < \dim G(p,n)$. We also present a support theorem in this latter case.


title: Weak Weyl's law for congruence subgroups

abstract: Let $G$ be a connected and simply connected semisimple algebraic group over $\Bbb Q$ and let $\Gamma\subset G(\Bbb Q)$ be an arithmetic subgroup. Let $K_\infty\subset G(\Bbb R)$ be a maximal compact subgroup and let $d$ be the dimension of the symmetric space $G({\mathbb R})/K_\infty$. Let $\sigma$ be an irreducible unitary representation of $K_\infty$. We prove that for every $\Gamma$ there exists a normal subgroup $\Gamma_1\subset \Gamma$ of finite index such that the quotient of the counting function of the $\Gamma_1$-cuspidal spectrum of weight $\sigma$ and $T^{d/2}$ has a positive lower bound as $T\to\infty$.


title: Multiple solutions to a Caffarelli-Kohn-Nirenberg type equation with asymptotically linear term

abstract: In this paper, we study the existence of multiple solutions to a Caffarelli-Kohn-Nirenberg type equation with asymptotically linear term at infinity. In this case, the well-known Ambrosetti-Rabinowtz type condition doesn't hold, hence it is difficult to verify the classical (PS)$_c$ condition. To overcome this difficulty, we use an equivalent version of Cerami's condition, which allows the more general existence result.


title: A procedure for constructing peak functions

abstract: We extend Bishop's one-fourth three-fourths principle for constructing peak functions belonging to a uniform algebra to a situation where the ``approximate barriers'' associated with the Bishop construction are not uniformly bounded.


title: Relatively hyperbolic groups: Intrinsic geometry, algebraic properties, and algorithmic problems

abstract: We suggest a new approach to the study of relatively hyperbolic groups based on relative isoperimetric inequalities. Various geometric, algebraic, and algorithmic properties are discussed.


title: Vertex-Reinforced Random Walk

abstract: This paper considers a class of non-Markovian discrete-time random processes on a finite state space {1,...,d}. The transition probabilities at each time are influenced by the number of times each state has been visited and by a fixed a priori likelihood matrix, R, which is real, symmetric and nonnegative. Let S_i(n) keep track of the number of visits to state i up to time n, and form the fractional occupation vector, V(n), where v_i(n)=S_i(n)/(sum_{j=1}^d S_j(n)). It is shown that V(n) converges to a set of critical points for the quadratic form H with matrix R, and that under nondegeneracy conditions on R, there is a finite set of points such that with probability one, V(n)->p for some p in the set. There may be more than one p in this set for which P(V(n)->p)>0. On the other hand P(V(n)->p)=0 whenever p fails in a strong enough sense to be maximum for H.


title: Critical RWRE on trees and tree-indexed random walks

abstract: We study the behavior of Random Walk in Random Environment (RWRE) on trees in the critical case left open in previous work. Representing the random walk by an electrical network, we assume that the ratios of resistances of neighboring edges of a tree Gamma are i.i.d.random variables whose logarithms have mean zero and finite variance. Then the resulting RWRE is transient if simple random walk on Gamma is transient, but not vice versa. We obtain general transience criteria for such walks, which are sharp for symmetric trees of polynomial growth. In order to prove these criteria, we establish results on boundary crossing by tree-indexed random walks. These results rely on comparison inequalities for percolation processes on trees and on some new estimates of boundary crossing probabilities for ordinary mean-zero finite variance random walks in one dimension, which are of independent interest.


title: Choosing a Spanning Tree for the Integer Lattice Uniformly

abstract: Consider the nearest neighbor graph for the integer lattice Z^d in d dimensions. For a large finite piece of it, consider choosing a spanning tree for that piece uniformly among all possible subgraphs that are spanning trees. As the piece gets larger, this approaches a limiting measure on the set of spanning graphs for Z^d. This is shown to be a tree if and only if d=<4. In this case, the tree has only one topological end, i.e. there are no doubly infinite paths. When d>=5 the spanning forest has infinitely many components almost surely, with each component having one or two topological ends.


title: Domination Between Trees and Application to an Explosion Problem

abstract: We define a notion of stochastic domination between trees, where one tree dominates another if when the vertices of each are labeled with independent, identically distributed random variables, one tree is always more likely to contain a path with a specified property. Sufficient conditions for this kind of domination are (1) more symmetry and (2) earlier branching. We apply these conditions to the problem of determining how fast a tree must grow before first-passage percolation on the tree exhibits an explosion, that is to say, infinitely many vertices are reached in finite time. For a tree in which each vertex at distance n-1 from the root has f(n) offspring, f nondecreasing, an explosion occurs with exponentially distributed passage times if and only if sum f(n)^{-1}<infty.


title: Random Walk in a Random Environment and First-Passage Percolation on Trees

abstract: We show that the transience or recurrence of a random walk in certain random environments on an arbitrary infinite locally finite tree is determined by the branching number of the tree, which is a measure of the average number of branches per vertex. This generalizes and unifies previous work of the authors. It also shows that the point of phase transition for edge-reinforced random walk is likewise determined by the branching number of the tree. Finally, we show that the branching number determines the rate of first-passage percolation on trees, also known as the first-birth problem. Our techniques depend on quasi-Bernoulli percolation and large deviation results.


title: The Contact Process on Trees

abstract: The contact process on an infinite homogeneous tree is shown to exhibit at least two phase transitions as the infection parameter lambda is varied. For small values of lambda a single infection eventually dies out. For larger lambda the infection lives forever with positive probability but eventually leaves any finite set. (The survival probability is a continuous function of lambda, and the proof of this is much easier than it is for the contact process on d-dimensional integer lattices.) For still larger lambda the infection converges in distribution to a nontrivial invariant measure. For an n-ary tree, with n large, the first of these transitions occurs when lambda~1/n and the second occurs when 1/2 sqrt{n}<lambda<e/sqrt{n}. Nonhomogeneous trees whose vertices have degrees varying between 1 and n behave essentially as homogeneous n-ary trees, provided that vertices of degree n are not too rare. In particular, letting n go to infty, Galton-Watson trees whose vertices have degree n with probability that does not decrease exponentially with n may have both phase transitions occur together at lambda=0. The nature of the second phase transition is not yet clear and several problems are mentioned in this regard.


title: On Path Integrals for the High-Dimensional Brownian Bridge

abstract: Let v be a bounded function with bounded support in R^d, d>=3. Let x,y in R^d. Let Z(t) denote the path integral of v along the path of a Brownian bridge in R^d which runs for time t, starting at x and ending at y. As t->infty, it is perhaps evident that the distribution of Z(t) converges weakly to that of the sum of the integrals of v along the paths of two independent Brownian motions, starting at x and y and running forever.Here we prove a stronger result, namely convergence of the corresponding moment generating functions and of moments. This result is needed for applications in physics.


title: Local Characteristics, Entropy and Limit Theorems for Spanning Trees and Domino Tilings via Transfer-Impedances

abstract: Let G be a finite graph or an infinite graph on which Z^d acts with finite fundamental domain. If G is finite, let T be a random spanning tree chosen uniformly from all spanning trees of G; if G is infinite, known methods show that this still makes sense, producing a random essential spanning forest of G. A method for calculating local characteristics (i.e. finite-dimensional marginals) of T from the transfer-impedance matrix is presented. This differs from the classical matrix-tree theorem in that only small pieces of the matrix (n-dimensional minors) are needed to compute small (n-dimensional) marginals. Calculation of the matrix entries relies on the calculation of the Green's function for G, which is not a local calculation. However, it is shown how the calculation of the Green's function may be reduced to a finite computation in the case when G is an infinite graph admitting a Z^d-action with finite quotient. The same computation also gives the entropy of the law of T. These results are applied to the problem of tiling certain lattices by dominos - the so-called dimer problem. Another application of these results is to prove modified versions of conjectures of Aldous on the limiting distribution of degrees of a vertex and on the local structure near a vertex of a uniform random spanning tree in a lattice whose dimension is going to infinity. Included is a generalization of moments to tree-valued random variables and criteria for these generalized moments to determine a distribution.


title: Critical Random Walk in Random Environment on Trees of Exponential Growth

abstract: This paper studies the behavior of RWRE on trees in the critical case left open in previous work. For trees of exponential growth, a random perturbation of the transition probabilities can change a transient random walk into a recurrent one. This is the opposite of what occurs on trees of sub-exponential growth.


title: Planar first-passage percolation times are not tight

abstract: We consider first-passage percolation on the two-dimensional integer lattice Z^2 with passage times that are IID exponentials of mean one. It has been conjectured, based on numerical evidence, that the variance of the time T(0,n) to reach the vertex (0,n) is of order n^{2/3}. Kesten showed that the variance of T(0,n) is at O(n). He also noted that the variance is bounded away from zero. This note improves the lower bound on the variance of T(0,n) to C log n. Simultaneously and independently, Newman and Piza have achieved the same result for {0,1}-valued passage times. Their methods extend to more general passage times, while ours work only for exponential times. On the other hand, our theorem shows that the variance comes from fluctuations of nonvanishing probability in the sense that, as n->infty, the law of T(0,n) is not tight about its median. Very recently, Newman and Piza showed that the log n may be improved to a power of n for directions in which the shape is not flat (it is not known whether the shape can be flat in any direction). As pointed out to us by Harry Kesten, in the exponential case this may also be obtained via the method given here.


title: An Explicit Proof of the Generalized Gauss-Bonnet Formula

abstract: In this paper we construct an explicit representative for the Grothendieck fundamental class [Z] of a complex submanifold Z of a complex manifold X, under the assumption that Z is the zero locus of a real analytic section of a holomorphic vector bundle E. To this data we associate a super-connection A on the exterior algebra of E, which gives a "twisted resolution" of the structure sheaf of Z. The "generalized super-trace" of A^{2r}/r!, where r is the rank of E, is an explicit map of complexes from the twisted resolution to the Dolbeault complex of X, which represents [Z]. One may then read off the Gauss-Bonnet formula from this map of complexes.


title: A Shuffle that Mixes Sets of any Fixed Size much Faster than it Mixes the Whole Deck

abstract: Consider an n by n array of cards shuffled in the following manner. An element x of the array is chosen uniformly at random; Then with probability 1/2 the rectangle of cards above and to the left of x is rotated 180 degrees, and with probability 1/2 the rectangle of cards below and to the right of x is rotated 180 degrees. It is shown by an eigenvalue method that the time required to approach the uniform distribution is between n^2/2 and cn^2 ln n for some constant c. On the other hand, for any k it is shown that the time needed to uniformly distribute a set of cards of size k is at most c(k)n, where c(k) is a constant times k^3 ln(k)^2. This is established via coupling; no attempt is made to get a good constant.


title: Galton-Watson Trees with the Same Mean Have the Same Polar Sets

abstract: Evans defines a notion of what it means for a set B to be polar for a process indexed by a tree. The main result herein is that a tree picked from a Galton-Watson measure whose offspring distribution has mean m and finite variance will almost surely have precisely the same polar sets as a deterministic tree of the same growth rate. This implies that deterministic and nondeterministic trees behave identically in a variety of probability models. Mapping subsets of Euclidean space to trees and polar sets to capacity criteria, it follows that certain random Cantor sets are capacity-equivalent to each other and to deterministic Cantor sets. An extension to branching processes in varying environment is also obtained.


title: Martin Capacity for Markov Chains

abstract: The probability that a transient Markov chain, or a Brownian path, will ever visit a given set Lambda, is classically estimated using the capacity of Lambda with respect to the Green kernel G(x,y). We show that replacing the Green kernel by the Martin kernel G(x,y)/G(0,y) yields improved estimates, which are exact up to a factor of 2. These estimates are applied to random walks on lattices, and also to explain a connection found by R. Lyons between capacity and percolation on trees.


title: Finite time blow up for critical wave equations in high dimensions

abstract: We prove that solutions to the critical wave equation below can not be global if the initial values are positive somewhere and nonnegative. This completes the solution to the famous blow up conjecture about critical semilinear wave equations of the form $\Delta u - \partial^2_t u + |u|^p = 0$ in dimensions $n \ge 4$. The lower dimensional case $n \le 3$ was settled many years earlier.


title: Analogues of the exponential map associated with complex structures on noncommutative two-tori

abstract: We define and study analogues of exponentials for functions on noncommutative two-tori that depend on a choice of a complex structure. The major difference with the commutative case is that our noncommutative exponentials can be defined only for sufficiently small functions. We show that this phenomenon is related to the existence of certain discriminant hypersurfaces in an irrational rotation algebra. As an application of our methods we give a very explicit characterization of connected components in the group of invertible elements of this algebra.


title: The probability that a random monic p-adic polynomial splits into linear factors

abstract: Let n be a positive integer and let p be a prime. We calculate the probability that a random monic polynomial of degree n with coefficients in the ring Z_p of p-adic integers splits over Z_p into linear factors.


title: Connected sums of unstabilized Heegaard splittings are unstabilized

abstract: Let M_1 and M_2 be closed, orientable 3-manifolds. Let H_i denote a Heegaard surface in M_i. We prove that if H_1 # H_2 comes from stabilizing a lower genus splitting of M_1 # M_2 then either H_1 or H_2 comes from stabilizing a lower genus splitting. If H_i and G_i are non-isotopic Heegaard surfaces in M_i, and H_i is unstabilized, then we show H_1 # H_2 is not isotopic to G_1 # G_2 in M_1 # M_2. The former result answers a question of C. Gordon (Problem 3.91 from Kirby's problem list).


title: Galois and biGalois objects over monomial non semisimple Hopf algebras

abstract: We describe the Galois objects and biGalois groups of monomial nonsemisimple Hopf algebras. The main feature of our description is the use of modified versions of the second cohomology group of the grouplike elements. These computations generalize the previous ones of Masuoka and Schauenburg for the Taft algebras.


title: The structure of algebraic covariant derivative curvature tensors

abstract: We use the Nash embedding theorem to construct generators for the space of algebraic covariant derivative curvature tensors.


title: Acyclic heaps of pieces, II

abstract: We characterize and classify the "regular classes of heaps" introduced by the author using ideas of Fan and of Stembridge. The irreducible objects fall into five infinite families with one exceptional case.


title: Moduli Space of Cubic Surfaces as Ball Quotient via Hypergeometric Functions

abstract: We describe hypergeometric functions of Deligne-Mostow type for open subsets of the configuration space of six points on P^2, induced from those for seven points on P^1. The seven point ball quotient example DM(2^5,1^2) does not appear on Mostow's original list, but does appear on Thurston's corrected version. We show that DM(2^5,1^2) is a finite cover of the moduli space of cubic surfaces M_C endowed with the ball quotient structure G_C\B^4 of Allcock, Carlson, and Toledo. This answers a question of Allcock about the commensurability of G_C with the monodromy groups of Deligne-Mostow hypergeometric functions.


title: Rational Interpolation and Basic Hypergeometric Series

abstract: We give a Newton type rational interpolation formula (Theorem \ref{theo}). It contains as a special case the original Newton interpolation, as well as the recent interpolation formula of Zhi-Guo Liu, which allows to recover many important classical $q$-series identities. We show in particular that some bibasic identities are a consequence of our formula.


title: Partition Analysis and Symmetrizing Operators

abstract: Using a symmetrizing operator, we give a new expression for the Omega operator used by MacMahon in Partition Analysis, and given a new life by Andrews and his coworkers. Our result is stated in terms of Schur functions.


title: $q$-Identities related to overpartitions and divisor functions

abstract: We generalize and prove conjectures of Corteel and Lovejoy, related to overpartitions and divisor functions.


title: Bound on the a-invariant and reduction numbers of ideals

abstract: Let $R$ be a $d$-dimensional standard graded ring over an Artin local ring. Let $M$ be the unique maximal homogeneous ideal of $R.$ Let $h^i(R)_n$ denote the length of $H^i_M(R)_n$, i.e. the nth graded component of the ith local cohomology module of R with respect to M. Define the Eisenbud-Goto invariant of $R$ to be the number $$EG(R)= \sum_{q=0}^{d-1} \binom{d-1}{q} h^q(R)_{1-q}.$$ We prove that the $a$-invariant of $R$ satisfies $$ a(R) \leq e(R)-length(R_1)+(d-1)(length(R_0)-1)+ EG(R).$$ Using this bound we get upper bounds for the reduction number of an $m$-primary ideal of a Cohen-Macaulay local ring $(R,m)$ whose associated graded ring $G(m)$ has almost maximal depth.


title: The Lewis Correspondence for submodular groups

abstract: The Lewis Correspondence attaching a unique "period function" to each Maass wave form for SL(2,Z) is extended to subgroups of finite index. This is achieved by using vector-valued forms.


title: The Severi problem for Hirzebruch surfaces

abstract: We prove that the locus of irreducible nodal curves on a given Hirzebruch surface F_k of given linear equivalency class and genus g is irreducible.


title: Polynomials which are locally reducible

abstract: Let $K$ be a global field and $n > 1$ an integer. We show $n$ is composite if and only if there is an irreducible polynomial $f(x) \in K[x]$ of degree $n$ which is reducible $q$-adically for all the primes $q$ of $K$.


title: An almost sure invariance principle for the range of planar random walks

abstract: For a symmetric random walk in $Z^2$ with $2+\delta$ moments, we represent $|\mathcal{R}(n)|$, the cardinality of the range, in terms of an expansion involving the renormalized intersection local times of a Brownian motion. We show that for each $k\geq 1$ \[ (\log n)^k [ \frac{1}{n} |\mathcal{R}(n)| +\sum_{j=1}^k (-1)^j (\textstyle{\frac1{2\pi}}\log n +c_X)^{-j} \gamma_{j,n}]\to 0, \qquad a.s. \] where $W_t$ is a Brownian motion, $W^{(n)}_t=W_{nt}/\sqrt n$, $\gamma_{j,n}$ is the renormalized intersection local time at time 1 for $W^{(n)}$, and $c_X$ is a constant depending on the distribution of the random walk.


title: Classification of solvable Lie algebras

abstract: We illustrate some simple ideas that can be used for obtaining a classification of small-dimensional solvable Lie algebras.Using these we obtain the classification of 3 and 4 dimensional solvable Lie algebras (over fields of any characteristic). Precise conditions for isomorphism are given.


title: Birational Geometry of symplectic resolutions of nilpotent orbits

abstract: In this paper, we shall prove that any two (projective) symplectic resolutions of a nilpotent orbit closure in a classical simple Lie algebra are connected by a finite sequence of diagrams which are locally trivial families of Mukai flops of type A or of type D. A Mukai flop of type A is the same as a stratified Mukai flop in our previous paper "Mukai flops and derived categories II". On the other hand, a Mukai flop of type D comes from a nilpotent orbit in so(2k). Let G^+ and G^- be two connected components of the orthogonal Grassmannian G_{iso}(k,2k). Then the closure of this orbit has two Springer resolutions via the cotanegent bundles T^*G^+ and T^*G^-, which is the Mukai flop of type D. Our result would clarify the geometric meaning of the results of Spaltenstein and Hesselink. To illustrate this, three examples will be given. Another purpose of this paper is to give an affimative answer to a conjecture in the paper "Uniqueness of crepant resolutions and symplectic singularities" math.AG/0306091, for nilpotent orbit cases. A key idea is the notion of a "Dixmier sheet" studied by Borho and Kraft.


title: Uniform non--amenability of free Burnside groups

abstract: We show that free Burnside groups of sufficiently large odd exponent are non--amenable in a certain strong sense, more precisely, their left regular representations are isolated from the trivial representation uniformly on finite generating sets. This result is applied to the solution of a strong version of the von Neumann -- Day problem concerning amenability of groups without non--abelian free subgroups. As another consequence, we obtain that the above--mentioned groups are of uniform exponential growth.


title: Weak hyperbolicity and free constructions

abstract: The aim of this note is to show that weak relative hyperbolicity of a group relative to a subgroup (or relative hyperbolicity in the sense of Farb) does not imply any natural analogues of some well-known algebraic properties of ordinary hyperbolic groups. Our main tools are combination theorems for weakly relatively hyperbolic groups.


title: Algebraic entropy of elementary amenable groups

abstract: We prove that any finitely generated elementary amenable group of zero (algebraic) entropy contains a nilpotent subgroup of finite index or, equivalently, any finitely generated elementary amenable group of exponential growth is of uniformly exponential growth. We also show that 0 is an accumulation point of the set of entropies of elementary amenable groups.


title: Probabilistic Solutions of Equations in the Braid Group

abstract: Given a system of equations in a "random" finitely generated subgroup of the braid group, we show how to find a small ordered list of elements in the subgroup, which contains a solution to the equations with a significant probability. Moreover, with a significant probability, the solution will be the first in the list. This gives a probabilistic solution to: The conjugacy problem, the group membership problem, the shortest representation of an element, and other combinatorial group-theoretic problems in random subgroups of the braid group. We use a memory-based extension of the standard length-based approach, which in principle can be applied to any group admitting an efficient, reasonably behaving length function.


title: Infinite Product Representations fot Multiple Gamma Function

abstract: Two kinds of infinite product representations for Vign\'eras multiple gamma function are presented. As an application of these formulas, a multiplication formula for the function is derived.


title: Moduli of roots of line bundles on curves

abstract: We treat the problem of completing the moduli space for roots of line bundles on curves. Special attention is devoted to higher spin curves within the universal Picard scheme. Two new different constructions, both using line bundles on nodal curves as boundary points, are carried out and compared with pre-existing ones.


title: Coincident root loci and Jack and Macdonald polynomials for special values of the parameters

abstract: We consider the coincident root loci consisting of the polynomials with at least two double roots andpresent a linear basis of the corresponding ideal in the algebra of symmetric polynomials in terms of the Jack polynomials with special value of parameter $\alpha = -2.$ As a corollary we present an explicit formula for the Hilbert-Poincar\`e series of this ideal and the generator of the minimal degree as a special Jack polynomial. A generalization to the case of the symmetric polynomials vanishing on the double shifted diagonals and the Macdonald polynomials specialized at $t^2 q = 1$ is also presented. We also give similar results for the interpolation Jack polynomials.


title: Covariance matrices of self-affine measures

abstract: In this paper we derive a formula for a covariance matrix of any self-affine measure.


title: Double forms, curvature structures and the $(p,q)$-curvatures

abstract: We introduce a natural extension of the metric tensor and the Hodge star operator to the algebra of double forms to study some aspects of the structure of this algebra. These properties are then used to study new Riemannian curvature invariants, called the $(p,q)$-curvatures. They are a generalization of the $p$-curvature obtained by substituting the Gauss-Kronecker tensor to the Riemann curvature tensor. In particular, for $p=0$, the $(0,q)$-curvatures coincide with the H. Weyl curvature invariants, for $p=1$ the $(1,q)$-curvatures are the curvatures of generalized Einstein tensors and for $q=1$ the $(p,1)$-curvatures coincide with the p-curvatures. Also, we prove that for an Einstein manifold of dimension $n\geq 4$ the second H. Weyl curvature invariant is nonegative, and that it is nonpositive for a conformally flat manifold with zero scalar curvature. A similar result is proved for the higher H. Weyl curvature invariants.


title: Transformations of Grassman Spaces

abstract: This is a version of a part of the book ``Transformations of Grassman Spaces'' (in progress). We study transformations of Grassman spaces preserving certain geometrical constructions related to buildings. The next part will be devoted to Grassman spaces associated with polar spaces.


title: Conceptual Proofs of L log L Criteria

abstract: The Kesten-Stigum Theorem is a fundamental criterion for the rate of growth of a supercritical branching process, showing that an L log L condition is decisive. In critical and subcritical cases, results of Kolmogorov and later authors give the rate of decay of the probability that the process survives at least n generations. We give conceptual proofs of these theorems based on comparisons of Galton-Watson measure to another measure on the space of trees. This approach also explains Yaglom's exponential limit law for conditioned critical branching processes via a simple characterization of the exponential distribution.


title: Maximum Variation of Total Risk

abstract: Let Z>0 be a random time. The total risk of discovering Z in the next time interval (t,t+dt) is never more variable than an exponential of mean one, which is achieved when the information up to time t is sigma(Z wedge t).


title: Random Walks in Varying Dimensions

abstract: We establish recurrence criteria for sums of independent random variables which take values in Euclidean lattices of varying dimension. In particular, we describe transient inhomogenous random walks in the plane which interlace two symmetric step distributions of bounded support.


title: Centralizer construction of the Yangian of the queer Lie superalgebra

abstract: Consider the complex matrix Lie superalgebra $gl_{N|N}$ with the standard generators $E_{ij}$ where $i,j=-N,...,-1,1,...,N$. Define an involutive automorphism $\eta$ of $gl_{N|N}$ by $\eta(E_{ij})=E_{-i,-j}$. The queer Lie superalgebra $q_N$ is the fixed point subalgebra in $gl_{N|N}$ relative to the automorphism $\eta$. Consider the twisted polynomial current Lie superalgebra $g=\{X(t)\in\gl_{N|N}[t]:\eta(X(t))=X(-t)\}$. The enveloping algebra $U(g)$ of the Lie superalgebra $g$ has a deformation, called the Yangian of $q_N$. For each $M=1,2,...$ denote by $A_N^M$ the centralizer of $q_M\subset q_{N+M}$ in the superalgebra $U(q_{N+M})$. We describe the projective limit of the sequence of centralizer algebras $A_N^1,A_N^2,...$ in terms of the Yangian of $q_N$.


title: On which graphs are all random walks in random environments transient?

abstract: An infinite graph G has the property that a random walk in random environment on G defined by i.i.d. resistances with any common distribution is almost surely transient, if and only if for some p<1, simple random walk is transient on a percolation cluster of G under bond percolation with parameter p.


title: The trace of spatial Brownian motion is capacity-equivalent to the unit square

abstract: We show that with probability 1, the trace B[0,1] of Brownian motion in space, has positive capacity with respect to exactly the same kernels as the unit square. More precisely, the energy of occupation measure on B[0,1] in the kernel f(|x-y|), is bounded above and below by constant multiples of the energy of Lebesgue measure on the unit square. (The constants are random, but do not depend on the kernel.) As an application, we give almost-sure asymptotics for the probability that an alpha-stable process approaches within epsilon of B[0,1], conditional on B[0,1]. The upper bound on energy is based on a strong law for the approximate self-intersections of the Brownian path. We also prove analogous capacity estimates for planar Brownian motion and for the zero-set of one-dimensional Brownian motion.


title: Diffusion limited aggregation on a tree

abstract: We study the following growth model on a regular d-ary tree. Points at distance n adjacent to the existing subtree are added with probabilities proportional to alpha^{-n}, where alpha<1 is a positive real parameter. The heights of these clusters are shown to increase linearly with their total size; this complements known results that show the height increases only logarithmically when alpha>=1. Results are obtained using stochastic monotonicity and regeneration results which may be of independent interest. Our motivation comes from two other ways in which the model may be viewed: as a problem in first-passage percolation, and as a version of diffusion-limited aggregation (DLA), adjusted so that `fingering' occurs.


title: Sharpness of second moment criteria for branching and tree-indexed processes

abstract: A class of branching processes in varying environments is exhibited which become extinct almost surely even though the means M_n grow fast enough so that sum M_n^{-1} is finite. In fact, such a process is constructed for every offspring distribution of infinite variance, and this establishes the converse of a previously known fact: that if a distribution has finite variance then sum M_n^{-1}=infty is equivalent to almost sure extinction. This has as an immediate consequence the converse to a theorem on equipolarity of Galton-Watson trees.


title: On near-critical and dynamical percolation in the tree case

abstract: Consider independent bond percolation with retention probability p on a spherically symmetric tree Gamma. Write theta_Gamma(p) for the probability that the root is in an infinite open cluster, and define the critical value p_c=inf{p:theta_Gamma(p)>0}. If theta_Gamma(p_c)=0, then the root may still percolate in the corresponding dynamical percolation process at the critical value p_c, as demonstrated recently by Haggstrom, Peres and Steif. Here we relate this phenomenon to the near-critical behaviour of theta_Gamma(p) by showing that the root percolates in the dynamical percolation process if and only if int_{p_c}^1 (theta_Gamma(p))^{-1}dp<infty. The ``only if'' direction extends to general trees, whereas the ``if'' direction fails in this generality.


title: Robust Phase Transitions for Heisenberg and Other Models on General Trees

abstract: We study several statistical mechanical models on a general tree. Particular attention is devoted to the classical Heisenberg models, where the state space is the d-dimensional unit sphere and the interactions are proportional to the cosines of the angles between neighboring spins. The phenomenon of interest here is the classification of phase transition (non-uniqueness of the Gibbs state) according to whether it is robust. In many cases, including all of the Heisenberg and Potts models, occurrence of robust phase transition is determined by the geometry (branching number) of the tree in a way that parallels the situation with independent percolation and usual phase transition for the Ising model. The critical values for robust phase transition for the Heisenberg and Potts models are also calculated exactly. In some cases, such as the q>=3 Potts model, robust phase transition and usual phase transition do not coincide, while in other cases, such as the Heisenberg models, we conjecture that robust phase transition and usual phase transition are equivalent. In addition, we show that symmetry breaking is equivalent to the existence of a phase transition, a fact believed but not known for the rotor model on Z^2.


title: Moment conditions for a sequence with negative drift to be uniformly bounded in L^r

abstract: Suppose a sequence of random variables {X_n} has negative drift when above a certain threshold and has increments bounded in L^p. When p>2 this implies that EX_n is bounded above by a constant independent of n and the particular sequence {X_n}. When p=<2 there are counterexamples showing this does not hold. In general, increments bounded in L^p lead to a uniform L^r bound on X_n^+ for any r<p-1, but not for r>=p-1. These results are motivated by questions about stability of queueing networks.


title: Sojourn times for Brownian sheet

abstract: This paper is dedicated to Professor Endre Csakion the occasion of his 65th birthday.


title: Towards a theory of negative dependence

abstract: The FKG theorem says that the POSITIVE LATTICE CONDITION, an easily checkable hypothesis which holds for many natural families of events, implies POSITIVE ASSOCIATION, a very useful property. Thus there is a natural and useful theory of positively dependent events. There is, as yet, no corresponding theory of negatively dependent events. There is, however, a need for such a theory. This paper, unfortunately, contains no substantial theorems. Its purpose is to present examples that motivate a need for such a theory, give plausibility arguments for the existence of such a theory, outline a few possible directions such a theory might take, and state a number of specific conjectures which pertain to the examples and to a wish list of theorems.


title: Non-amenable products are not treeable

abstract: Let X and Y be infinite graphs, such that the automorphism group of X is nonamenable, and the automorphism group of Y has an infinite orbit. We prove that there is no automorphism-invariant measure on the set of spanning trees in the direct product X times Y. This implies that the minimal spanning forest corresponding to i.i.d. edge-weights in such a product, has infinitely many connected components almost surely.


title: Where did the Brownian particle go?

abstract: Consider the radial projection onto the unit sphere of the path a d-dimensional Brownian motion W, started at the center of the sphere and run for unit time. Given the occupation measure mu of this projected path, what can be said about the terminal point W(1), or about the range of the original path? In any dimension, for each Borel set A subseteq S^{d-1}, the conditional probability that the projection of W(1) is in A given mu(A) is just mu(A). Nevertheless, in dimension d>=3, both the range and the terminal point of W can be recovered with probability 1 from mu. In particular, for d>=3 the conditional law of the projection of W(1) given mu is not mu. In dimension~2 we conjecture that the projection of W(1) cannot be recovered almost surely from mu, and show that the conditional law of the projection of W(1) given mu is not mu.


title: A phase transition in random coin tossing

abstract: Suppose that a coin with bias theta is tossed at renewal times of a renewal process, and a fair coin is tossed at all other times. Let mu_\theta be the distribution of the observed sequence of coin tosses, and let u_n denote the chance of a renewal at time n. Harris and Keane showed that if sum_{n=1}^infty u_n^2=\infty, then mu_theta and \mu_0 are singular, while if sum_{n=1}^{infty} u_n^2<infty and theta is small enough, then mu_theta is absolutely continuous with respect to mu_0. They conjectured that absolute continuity should not depend on theta, but only on the square-summability of {u_n}. We show that in fact the power law governing the decay of {u_n} is crucial, and for some renewal sequences {u_n}, there is a {phase transition at a critical parameter theta_c in (0,1): for |theta|<theta_c the measures mu_theta$ and mu_0 are mutually absolutely continuous, but for |theta|>theta_c, they are singular. We also prove that when u_n=O(n^{-1}), the measures mu_theta for theta in [-1,1] are all mutually absolutely continuous.


title: Uniform random spanning trees

abstract: There are several good reasons you might want to read about uniform spanning trees, one being that spanning trees are useful combinatorial objects. Not only are they fundamental in algebraic graph theory and combinatorial geometry, but they predate both of these subjects, having been used by Kirchoff in the study of resistor networks. This article addresses the question about spanning trees most natural to anyone in probability theory, namely what does a typical spanning tree look like?


title: Tree-indexed processes

abstract: This article examines a recent body of work on stochastic processes indexed by a tree. Emphasis is on the application of this new framework to existing probability models. Proofs are largely omitted, with references provided.


title: A Dynamic Model of Social Network Formation

abstract: We consider a dynamic social network model in which agents play repeated games in pairings determined by a stochastically evolving social network. Individual agents begin to interact at random, with the interactions modeled as games. The game payoffs determine which interactions are reinforced, and the network structure emerges as a consequence of the dynamics of the agents' learning behavior. We study this in a variety of game-theoretic conditions and show that the behavior is complex and sometimes dissimilar to behavior in the absence of structural dynamics. We argue that modeling network structure as dynamic increases realism without rendering the problem of analysis intractable.


title: Identical and Nonidentical Relations. Nondegenerate and Degenerate Transformations. (Properties of skew-symmetric differential forms)

abstract: Identical relations occur in various branches of mathematics and mathematical physics. The Cauchy-Riemann relations, characteristical and canonical relations, the Bianchi identities and others are examples of identical relations. It can be shown that all these relations express either the conditions of closure of exterior (skew-symmetric) differential forms and corresponding dual forms or the properties of closed exterior forms. Since the closed differential forms are invariant under all transformations, which conserve the differential (these are gauge transformations: unitary, canonical, gradient and others), from this it follows that identical relations are a mathematical representation of relevant invariant and covariant objects. The theory of exterior differential forms cannot answer the question of how do invariant objects appear and what does these objects generate? The answer to this question can be obtained using the skew-symmetric differential forms, which possess the evolutionary properties. The mathematical apparatus of such evolutionary forms contains nonidentical relations, from which the identical relations corresponding to invariant objects are obtained with the help of degenerate transformations. Due to such potentialities, the mathematical apparatus of skew-symmetrical differential forms enables one to describe discrete transitions, evolutionary processes and generation of various structures.


title: Cycles in random k-ary maps and the poor performance of random random number generation

abstract: Knuth shows that iterations of a random function perform poorly on average as a random number generator. He proposes a generalization in which the next value depends on two or more previous values. This note demonstrates, via an analysis of the cycle length of a random k-ary map, the equally poor performance of a random instance in Knuth's more general model.


title: A probabilistic model for the degree of the cancellation polynomial in Gosper's Algorithm

abstract: Milenkovic and Compton in 2002 gave an analysis of the run time of Gosper's algorithm applied to a random input. The main part of this was an asymptotic analysis of the random degree of the cancellation polynomial c(k) under various stipulated laws for the input. Their methods use probabilistic transform techniques. Here, a more general classof input distributions is considered, and limit laws of the type proved by Milenkovic and Compton are shown to follow from a general functional central limit theorem. The methods herein are probabilistic and elementary and may be used to compute the means of the limiting distributions.


title: What is the probability of intersecting the set of Brownian double points?

abstract: We give potential theoretic estimates for the probability that a set $A$ contains a double point of planar Brownian motion run for unit time. Unlike the probability for $A$ to intersect the range of a Markov process, this cannot be estimated by a capacity of the set $A$. Instead, we introduce the notion of a capacity with respect to two gauge functions simultaneously. We also give a polar decomposition of $A$ into a set that never intersects the set of Brownian double points and a set for which intersection with the set of Brownian double points is the same as intersection with the Brownian path.


title: Network formation by reinforcement learning: the long and medium run

abstract: We investigate a simple stochastic model of social network formation by the process of reinforcement learning with discounting of the past. In the limit, for any value of the discounting parameter, small, stable cliques are formed. However, the time it takes to reach the limiting state in which cliques have formed is very sensitive to the discounting parameter. Depending on this value, the limiting result may or may not be a good predictor for realistic observation times.


title: Time to absorption in discounted reinforcement models

abstract: Reinforcement schemes are a class of non-Markovian stochastic processes. Their non-Markovian nature allows them to model some kind of memory of the past. One subclass of such models are those in which the past is exponentially discounted or forgotten. Often, models in this subclass have the property of becoming trapped with probability~1 in some degenerate state. While previous work has concentrated on such limit results, we concentrate here on a contrary effect, namely that the time to become trapped may increase exponentially in 1/x as the discount rate, 1-x, approaches~1. As a result, the time to become trapped may easily exceed the lifetime of the simulation or of the physical data being modeled. In such a case, the quasi-stationary behavior is more germane. We apply our results to a model of social network formation based on ternary (three-person) interactions with uniform positive reinforcement.


title: An intrinsic homotopy for intersecting algebraic varieties

abstract: Recently we developed a diagonal homotopy method to compute a numerical representation of all positive dimensional components in the intersection of two irreducible algebraic sets. In this paper, we rewrite this diagonal homotopy in intrinsic coordinates, which reduces the number of variables, typically in half. This has the potential to save a significant amount of computation, especially in the iterative solving portion of the homotopy path tracker. There numerical experiments all show a speedup of about a factor two.


title: An Astronomical View-point on the Easter Date

abstract: Old algorithms are still in use nowadays setting the Easter date accordingly to some elements giving the Spring Equinox and the New Moon for a given year. At least two different approaches (by the Orthodox and Catholic Churches) provide different results, most of the times different than the actual moments given by the two astronomical phenomena. A new algorithm built accordingly to the Niceea rule and based on some simple astronomical formulas is presented. It is proposed to replace the old different approaches, in order to celebrate the Easter at the same common date. A Windows program is provided, together with a table listing the Easter date between the years 1950-2050 calculated using the Orthodox, Catholic and the Astronomical approaches.


title: A new construction of vertex algebras and quasi modules for vertex algebras

abstract: In this paper, a new construction of vertex algebras from more general vertex operators is given and a notion of quasi module for vertex algebras is introduced and studied. More specifically, a notion of quasi local subset(space) of $\Hom (W,W((x)))$ for any vector space $W$ is introduced and studied, generalizing the notion of usual locality in the most possible way, and it is proved that on any maximal quasi local subspace there exists a natural vertex algebra structure and that any quasi local subset of $\Hom (W,W((x)))$ generates a vertex algebra. Furthermore, a notion of quasi module for a vertex algebra is introduced and it is proved that $W$ is a quasi module for each of the vertex algebras generated by quasi local subsets of $\Hom (W,W((x)))$. A notion of $\Gamma$-vertex algebra is also introduced and studied, where $\Gamma$ is a subgroup of the multiplicative group $\C^{\times}$ of nonzero complex numbers. It is proved that any maximal quasi local subspace of $\Hom (W,W((x)))$ is naturally a $\Gamma$-vertex algebra and that any quasi local subset of $\Hom (W,W((x)))$ generates a $\Gamma$-vertex algebra. It is also proved that a $\Gamma$-vertex algebra exactly amounts to a vertex algebra equipped with a $\Gamma$-module structure which satisfies a certain compatibility condition. Finally, three families of examples are given, involving twisted affine Lie algebras, certain quantum Heisenberg algebras and certain quantum torus Lie algebras.


title: Fundamental groups of asymptotic cones

abstract: We show that for any metric space $M$ satisfying certain natural conditions, there is a finitely generated group $G$, an ultrafilter $\omega $, and an isometric embedding $\iota $ of $M$ to the asymptotic cone ${\rm Cone}_\omega (G)$ such that the induced homomorphism $\iota ^ \ast :\pi_1(M)\to \pi_1({\rm Cone}_\omega (G))$ is injective. In particular, we prove that any countable group can be embedded into a fundamental group of an asymptotic cone of a finitely generated group.


title: On the correlations of directions in the Euclidean plane

abstract: We study the correlations of directions $P_0 P$ in the Euclidean plane, where $P_0$ is a point in a fixed disc, $P$ is an integer lattice point in the square $[-Q,Q]^2$, and $Q\to \infty$.


title: Optimal Packing Behavior of some 2-block Patterns

abstract: In this paper, a result of Albert, Atkinson, Handley, Holton, and Stromquist [Electron. J. Combin. 9 (2002), #R5] which characterizes the optimal packing behavior of the pattern 1243 is generalized in two directions. The packing densities of layered patterns of type (1^a,a) and (1,1,b) are computed.


title: The correlations of Farey fractions

abstract: We prove that all correlations of the sequence of Farey fractions exist and provide formulas for the correlation measures.


title: Bijective Quasi-Isometries of Amenable Groups

abstract: Whyte showed that any quasi-isometry between non-amenable groups is a bounded distance from a bijection. In contrast this paper shows that for amenable groups, inclusion of a proper subgroup of finite index is never a bounded distance from a bijection.


title: Complexity of Inverting the Euler Function

abstract: We present an algorithm to invert the Euler function $\phi(m)$. The algorithm, for a given $n \geq 1$, in polynomial time ``on average'', finds the set $\Psi(n)$ of all solutions $m$ to $\phi(m) = n$. In fact, in the worst case, $\Psi(n)$ is exponentially large, and cannot be computed in polynomial time. In the opposite direction, we show, under a widely accepted number theoretic conjecture, that there is a polynomial time reduction of the Partition Problem, an NP-complete problem, to the problem of deciding whether $\phi(m) = n$ has a solution for a small set of integers n. This shows that the problem of deciding whether a given finite set of integers S contains a totient is NP-complete. A totient is an integer n that lies in the image of the phi function; that is, an integer n for which there exists an integer m solving phi(m) = n. Finally, we establish close links between of inverting the Euler function and the integer factorization problem.


title: Some remarks on topological full groups of Cantor minimal systems

abstract: Giordano, Putnam and Skau showed that topological full groups of Cantor minimal systems are complete invariants for flip conjugacy. We will completely determine the structure of normal subgroups of the topological full group. Moreover, a necessary and sufficient condition for the topological full group to be finitely generated will be given.


title: Elementary subgroups of relatively hyperbolic groups and bounded generation

abstract: Let $G$ be a group hyperbolic relative to a collection of subgroups $\{H_\lambda ,\lambda \in \Lambda \} $. We say that a subgroup $Q\le G$ is hyperbolically embedded into $G$, if $G$ is hyperbolic relative to $\{H_\lambda ,\lambda \in \Lambda \} \cup \{Q\} $. In this paper we obtain a characterization of hyperbolically embedded subgroups. In particular, we show that if an element $g\in G$ has infinite order and is not conjugate to an element of $H_\lambda $, $\lambda \in \Lambda $, then the (unique) maximal elementary subgroup contained $g$ is hyperbolically embedded into $G$. This allows to prove that if $G$ is boundedly generated, then $G$ is elementary or $H_\lambda =G$ for some $\lambda \in \Lambda $.


title: Generalized Reflection Coefficients in Toeplitz-Block-Toeplitz Matrix Case and Fast Inverse 2D levinson Algorithm

abstract: A factorization of the inverse of a Hermetian positive definite matrix based on a diagonal by diagonal recurrence formulae permits the inversion of Toeplitz Block Toeplitz matrices using minimized matrix-vector products, with a complexity of ((n1)^3)((n2)^2), where n1 is the block size, and n2 is the block matrix size. A 2D levinson algorithm is introduced that outperform Wittle, Wiggins and Robinson Algorithm


title: Bounds for contractive semigroups and second order systems

abstract: We derive a uniform bound for the difference of two contractive semigroups, if the difference of their generators is form-bounded by the Hermitian parts of the generators themselves. We construct a semigroup dynamics for second order systems with fairly general operator coefficients and apply our bound to the perturbation of the damping term. The result is illustrated on a dissipative wave equation. As a consequence the exponential decay of some second order systems is proved.


title: Triviality of symplectic SU(2)-actions on homology

abstract: Lalonde and McDuff showed that the natural action of the rational homology of the group of Hamiltonian diffeomorphisms of a closed symplectic manifold $(M, \omega)$ on the rational homology groups $H_*(M,{\mathbb Q})$ is trivial. In this note, given a symplectic action of SU(2), $\phi:SU(2)\times M \to M$, we will construct a symplectic fiber bundle $P_\phi\to {\mathbb CP}^2$ with fiber $(M,\omega)$ and use it to construct the chains, which bound the images of the homology cycles under the trace map given by the SU(2)-action. It turns out that the natural chains bounded by the SU(2)-orbits in $M$ are punctured ${\mathbb CP}^2$'s, the counter parts of holomorphic discs bounding circles in case of Hamiltonian circle actions. We will also define some invariants of the action $\phi$ and do some explicit calculations.


title: Cohomological arithmetic Chow rings

abstract: We develop a theory of abstract arithmetic Chow rings where the role of the fibers at infinity is played by a complex of abelian groups that computes a suitable cohomology theory. This theory allows the construction of many variants of the arithmetic Chow groups with different properties. As particular cases of this formalism we recover the original arithmetic intersection theory of Gillet and Soul\'e for projective varieties, we introduce a theory of arithmetic Chow groups which are covariant with respect to arbitrary proper morphisms, and we develop a theory of arithmetic Chow rings using a complex of differential forms with log-log singularities along a fixed normal crossings divisor. This last theory is suitable for the study of automorphic line bundles. In particular, we generalize the classical Faltings height with respect to a logarithmically singular hermitian line bundle to higher dimensional cycles. As an application we compute the Faltings height of Hecke correspondences on a product of modular curves.


title: Cohomologie de de Rham entiere (Integral de Rham cohomology)

abstract: The Cartier isomorphism allows a nice description of the Bockstein spectral sequence of the de Rham complex over the integers. It is used to compute the integral de Rham cohomology of affine spaces. ----- On decrit la suite spectrale de Bockstein issue du complexe de de Rham sur les entiers. L'isomorphisme de Cartier intervient comme un endomorphisme du complexe de de Rham modulo p qui identifie les pages successives de la suite spectrale de Bockstein. On en deduit la cohomologie de de Rham entiere des espaces affines.


title: Divisibility in elliptic divisibility sequences

abstract: Certain elliptic divisibility sequences are shown to contain only finitely many prime power terms. In certain circumstances, the methods show only finitely many terms have length below a given bound.


title: A Note on Cliques in Multipartite Graphs

abstract: We consider a set of cliques in any multipartite graph with two vertices in each part. Moreover, we construct a class of peculiar polytopes. Key words: multipartite graph, clique, polytope.


title: Simply Generated Trees, B-series and Wigner Processes

abstract: We consider simply generated trees and study multiplicative functions on rooted plane trees. We show that the associated generating functions satisfy differential equations or difference equations. Our approach considers B-series from Butcher's theory, the generating functions are seen as generalized Runge-Kutta methods


title: Propagation of analyticity for essentially finite C^infty-smooth CR mappings

abstract: An analytico-geometric reflection principle is established by means of normal deformations of analytic discs.


title: From Physics to Number Theory via Noncommutative Geometry. Part I: Quantum Statistical Mechanics of Q-lattices

abstract: This is the first installment of a paper in three parts, where we use noncommutative geometry to study the space of commensurability classes of Q-lattices and we show that the arithmetic properties of KMS states in the corresponding quantum statistical mechanical system, the theory of modular Hecke algebras, and the spectral realization of zeros of L-functions are part of a unique general picture. In this first chapter we give a complete description of the multiple phase transitions and arithmetic spontaneous symmetry breaking in dimension two. The system at zero temperature settles onto a classical Shimura variety, which parameterizes the pure phases of the system. The noncommutative space has an arithmetic structure provided by a rational subalgebra closely related to the modular Hecke algebra. The action of the symmetry group involves the formalism of superselection sectors and the full noncommutative system at positive temperature. It acts on values of the ground states at the rational elements via the Galois group of the modular field.

categories: math.NT cond-mat.stat-mech math-ph math.MP math.OA math.QA


title: Prime divisors of sequences associated to elliptic curves

abstract: We consider the primes which divide the denominator of the x-coordinate of a sequence of rational points on an elliptic curve. It is expected that for every sufficiently large value of the index, each term should be divisible by a primitive prime divisor, one that has not appeared in any earlier term. Proofs of this are known in only a few cases. Weaker results in the general direction are given, using a strong form of Siegel's Theorem and some congruence arguments. Our main result is applied to the study of prime divisors of Somos sequences.


title: De Rham intersection cohomology for general perversities

abstract: For a stratified pseudomanifold $X$, we have the de Rham Theorem $ \lau{\IH}{*}{\per{p}}{X} = \lau{\IH}{\per{t} - \per{p}}{*}{X}, $ for a perversity $\per{p}$ verifying $\per{0} \leq \per{p} \leq \per{t}$, where $\per{t}$ denotes the top perversity. We extend this result to any perversity $\per{p}$. In the direction cohomology $\mapsto$ homology, we obtain the isomorphism $$ \lau{\IH}{*}{\per{p}}{X} = \lau{\IH}{\per{t} -\per{p}}{*}{X,\ib{X}{\per{p}}}, $$ where $ {\displaystyle \ib{X}{\per{p}} = \bigcup\_{S \preceq S\_{1} \atop \per{p} (S\_{1})< 0}S = \bigcup\_{\per{p} (S)< 0}\bar{S}.} $ In the direction homology $\mapsto$ cohomology, we obtain the isomorphism $$ \lau{\IH}{\per{p}}{*}{X}=\lau{\IH}{*}{\max (\per{0},\per{t} -\per{p})}{X}. $$ In our paper stratified pseudomanifolds with one-codimensional strata are allowed.


title: Equidistribution de sous-varietes speciales (Equisistribution of special subvarieties)

abstract: A strongly special subvariety of a Shimura variety $S$ is (essentially) a subvariety associated to a semi-simple sub-Shimura datum. We prove that the set of probability measures canonically associated to to strongly special subvarieties is compact. More precisely: If $\mu_n$ is a sequence of such probability measures associated to strongly special subvarieties $Z_n$ of $S$ there exists a subsequence $\mu_{n_k}$ which converge to a measure $\mu_Z$ canonically associated to a strongly special subvariety $Z$ and for all $k>>0$ $Z_{n_k}$ is contained in $Z$. We give some application to the Andre-Oort conjecture: If $X$ is a subvariety of $S$ then there exists at most finitely many maximal (amongs subvarieties of $X$) strongly special subvarieties of $X$ as predicted by the Andre-Oort Conjecture. The proof uses Ratner's theory, some results of Mozes-Shah and Dani-Margulis.


title: Bivariant Chern classes and Grothendieck transformations

abstract: The existence of bivariant Chern classes was conjectured by W.Fulton and R.MacPherson and proved by J.P.Brasselet for cellular morphisms of analytic varieties. In this paper we show that restricted to morphisms whose target varieties are possible singular but (rational) homology manifolds, the bivariant Chern classes (with rational coefficients) are uniquely determined. In the final sections we construct a unique bivariant Chern class satisfying a suitable normalization condition. In fact, it will be a special case of a general construction of unique Grothendieck transformations, which in a sense gives a positive answer to a corresponding question posed by Fulton and MacPherson. This construction generalizes and unifies previous attemps, in particular the main result of the paper math.AG/0209299.


title: Determinantal processes with number variance saturation

abstract: Consider Dyson's Hermitian Brownian motion model after a finite time S, where the process is started at N equidistant points on the real line. These N points after time S form a determinantal process and has a limit as N tends to infinity. This limting determinantal proceess has the interesting feature that it shows number variance saturation. The variance of the number of particles in an interval converges to a limiting value as the length of the interval goes to infinity. Number variance saturation is also seen for example in the zeros of the Riemann zeta function (Odlyzko, Berry). The process can also be constructed using non-intersecting paths and we consider several variants of this construction. One construction leads to a model which shows a transition from a non-universal behaviour with number variance saturation to a universal sine-kernel behaviour as we go up the line.


title: Old and new examples of surfaces of general type with $p_g=0$

abstract: Surfaces of general type with geometric genus $p_g=0$, which can be given as Galois covering of the projective plane branched over an arrangement of lines with Galois group $G=(\mathbb Z/q\mathbb Z)^k$, where $k\geq 2$ and $q$ is a prime number, are investigated. The classical Godeaux surface, Campedelli surfaces, Burniat surfaces, and a new surface $X$ with $K_X^2=6$ and $(\mathbb Z/3\mathbb Z)^3\subset {Tors} (X)$ can be obtained as such coverings. It is proved that the group of automorphisms of a generic surface of the Campedelli type is isomorphic to $(\mathbb Z/2\mathbb Z)^3$. The irreducible components of the moduli space containing the Burniat surfaces are described. It is shown that the Burniat surface $S$ with $K_S^2=2$ has the torsion group ${Tors} (S)\simeq (\mathbb Z/2\mathbb Z)^3$, (therefore, it belongs to the family of the Campedelli surfaces), i.e., the corresponding statement in the papers of C. Peters "On certain examples of surfaces with $p_g=0$" in Nagoya Math. J. {\bf 66} (1977), and I. Dolgachev "Algebraic surfaces with $q=p_g=0$" in {\it Algebraic surfaces}, Liguori, Napoli (1977), and in the book of W. Barth, C. Peters, A. Van de Ven "Compact complex surfaces", p. 237, about the torsion group of the Burniat surface $S$ with $K_S^2=2$ is not correct.


title: Ozsvath-Szabo invariants and tight contact three-manifolds, I

abstract: Let S^3_r(K) be the oriented 3--manifold obtained by rational r-surgery on a knot K in S^3. Using the contact Ozsvath-Szabo invariants we prove, for a class of knots K containing all the algebraic knots, that S^3_r(K) carries positive, tight contact structures for every r not= 2g_s(K)-1, where g_s(K) is the slice genus of K. This implies, in particular, that the Brieskorn spheres -Sigma(2,3,4) and -Sigma(2,3,3) carry tight, positive contact structures. As an application of our main result we show that for each m in N there exists a Seifert fibered rational homology 3-sphere M_m carrying at least m pairwise non-isomorphic tight, nonfillable contact structures.


title: Ozsvath-Szabo invariants and tight contact three-manifolds, II

abstract: Let p and n be positive integers with p>1, and let E(p,n) be the oriented 3-manifold obtained by performing pn(p-1)-1 surgery on a positive torus knot of type (p, pn+1). We prove that E(2,n) does not carry tight contact structures for any n, while E(p,n) carries tight contact structures for any n and any odd p. In particular, we exhibit the first infinite family of closed, oriented, irreducible 3-manifolds which do not support tight contact structures. We obtain the nonexistence results via standard methods of contact topology, and the existence results by using a quite delicate computation of contact Ozsvath-Szabo invariants.


title: A local-global theorem on periodic maps

abstract: Let $\psi_1,...,\psi_k$ be maps from Z to an additive abelian group with positive periods $n_1,...,n_k$ respectively. We show that the function $\psi=\psi_1+...+\psi_k$ is constant if $\psi(x)$ equals a constant for |S| consecutive integers x where S={r/n_s: r=0,...,n_s-1; s=1,...,k}; moreover, there are periodic maps $f_0,...,f_{|S|-1}$ from Z to Z only depending on S such that $\psi(x)=\sum_{r=0}^{|S|-1}f_r(x)\psi(r)$ for all integers x. This local-global theorem extends a previous result [Math. Res. Lett. 11(2004), 187--196], and has various applications.


title: Hilbert functions and geometry

abstract: This note is devoted to the study of the links between the Hilbert function of a subscheme X of the projective space, and its geometric properties. We will assume that X is arithmetically Cohen-Macaulay, which allows us to characterize its Hilbert function by a d integers, where d is the degree of X. We study in this context the geometric description of special linear systems of dimension maximal with respect to their degree on projective Gorenstein curves.


title: Lie superalgebra structures in cohomology spaces of Lie algebras with coefficients in the adjoint representation

abstract: The space of Lie algebra cohomology is usually described by the dimensions of components of certain degree even for the adjoint module as coefficients when the spaces of cochains and cohomology can be endowed with a Lie superalgebra structure. Such a description is rather imprecise: these dimensions may coincide for cohomology spaces of distinct algebras. We explicitely describe the Lie superalgebras on the space of cohomology of the maximal nilpotent subalgebra of any simple finite dimensional Lie algebra. We briefly review related results by Grozman, Penkov and Serganova, Poletaeva, and Tolpygo. We cite a powerful Premet's theorem complementary to the Borel-Weil-Bott theorem. We mention relations with the Nijenhuis bracket and nonholonomic systems.


title: Some topics in complex and harmonic analysis, 3

abstract: These notes briefly consider some aspects of the Schwartz class of rapidly decreasing smooth functions, tempered distributions, and harmonic functions of polynomial growth.


title: Stratified Kaehler structures on adjoint quotients

abstract: Given a compact Lie group, endowed with a bi-invariant Riemannian metric, its complexification inherits a Kaehler structure having twice the kinetic energy of the metric as its potential, and Kaehler reduction with reference to the adjoint action yields a stratified Kaehler structure on the resulting adjoint quotient. Exploiting classical invariant theory, in particular bisymmetric functions and variants thereof, we explore the singular Poisson-Kaehler geometry of this quotient. Among other things we prove that, for various compact groups, the real coordinate ring of the adjoint quotient is generated, as a Poisson algebra, by the real and imaginary parts of the fundamental characters. We also show that singular Kaehler quantization of the geodesic flow on the reduced level yields the irreducible algebraic characters of the complexified group.


title: Improved bounds for the crossing numbers of K_m,n and K_n

abstract: It has been long--conjectured that the crossing number cr(K_m,n) of the complete bipartite graph K_m,n equals the Zarankiewicz Number Z(m,n):= floor((m-1)/2) floor(m/2) floor((n-1)/2) floor(n/2). Another long--standing conjecture states that the crossing number cr(K_n) of the complete graph K_n equals Z(n):= floor(n/2) floor((n-1)/2) floor((n-2)/2) floor((n-3)/2)/4. In this paper we show the following improved bounds on the asymptotic ratios of these crossing numbers and their conjectured values: (i) for each fixed m >= 9, lim_{n->infty} cr(K_m,n)/Z(m,n) >= 0.83m/(m-1); (ii) lim_{n->infty} cr(K_n,n)/Z(n,n) >= 0.83; and (iii) lim_{n->infty} cr(K_n)/Z(n) >= 0.83. The previous best known lower bounds were 0.8m/(m-1), 0.8, and 0.8, respectively. These improved bounds are obtained as a consequence of the new bound cr(K_{7,n}) >= 2.1796n^2 - 4.5n. To obtain this improved lower bound for cr(K_{7,n}), we use some elementary topological facts on drawings of K_{2,7} to set up a quadratic program on 6! variables whose minimum p satisfies cr(K_{7,n}) >= (p/2)n^2 - 4.5n, and then use state--of--the--art quadratic optimization techniques combined with a bit of invariant theory of permutation groups to show that p >= 4.3593.


title: Groups of locally-flat disk knots and non-locally-flat sphere knots

abstract: The classical knot groups are the fundamental groups of the complements of smooth or piecewise-linear (PL) locally-flat knots. For PL knots that are not locally-flat, there is a pair of interesting groups to study: the fundamental group of the knot complement and that of the complement of the ``boundary knot'' that occurs around the singular set, the set of points at which the embedding is not locally-flat. If a knot has only point singularities, this is equivalent to studying the groups of a PL locally-flat disk knot and its boundary sphere knot; in this case, we obtain a complete classification of all such group pairs in dimension $\geq 6$. For more general knots, we also obtain complete classifications of these group pairs under certain restrictions on the singularities. Finally, we use spinning constructions to realize further examples of boundary knot groups.


title: Multiple finite Riemann zeta functions

abstract: Observing a multiple version of the divisor function we introduce a new zeta function which we call a multiple finite Riemann zeta function. We utilize some $q$-series identity for proving the zeta function has an Euler product and then, describe the location of zeros. We study further multi-variable and multi-parameter versions of the multiple finite Riemann zeta functions and their infinite counterparts in connection with symmetric polynomials and some arithmetic quantities called powerful numbers.


title: Every Reidemeister move is needed for each knot type

abstract: We show that every knot type admits a pair of diagrams that cannot be made identical without using Reidemeister Omega_2-moves. We also show that our proof is compatible with known results for the other move types, in the sense that every knot type admits a pair of diagrams that cannot be made identical without using all of the move types.


title: Universal forcing notions and ideals

abstract: The main result of this paper is a partial answer to [math.LO/9909115, Problem 5.5]: a finite iteration of Universal Meager forcing notions adds generic filters for many forcing notions determined by universality parameters. We also give some results concerning cardinal characteristics of the sigma-ideals determined by those universality parameters.


title: Long low iterations

abstract: We try to control many cardinal characteristics by working with a notion of orthogonality between two families of forcings. We show that b^+<g is consistent


title: On topological properties of ultraproducts of finite sets

abstract: Motivated by the model theory of higher order logics, a certain kind of topological spaces had been introduced on ultraproducts. These spaces are called ultratopologies. Ultratopologies provide a natural extra topological structure for ultraproducts and using this extra structure some preservation and characterization theorems had been obtained for higher order logics. The purely topological properties of ultratopologies seem interesting on their own right. Here we present the solutions of two problems of Gerlits and Sagi. More concretely we show that (1) there are sequences of finite sets of pairwise different cardinality such that in their certain ultraproducts there are homeomorphic ultratopologies and (2) one can always find a dense set in an ultratopology whose cardinality is strictly smaller than the cardinality of the ultraproduct, provided that the factors of the corresponding ultraproduct are finite.


title: Two cardinals models with gap one revisited

abstract: We succeed to say something on the identities of (mu^+, mu) when mu>theta>cf(mu), mu strong limit theta--compact. This hopefully will help to prove the consistency of ``some pair (mu^+,mu) is not compact'', however, this has not been proved.


title: Spectra of Monadic Second-Order Formulas with One Unary Function

abstract: We establish the eventual periodicity of the spectrum of any monadic second-order formula where: (i) all relation symbols, except equality, are unary, and (ii) there is only one function symbol and that symbol is unary.


title: Ladder gaps over stationary sets

abstract: For a stationary set S subseteq omega_1 and a ladder system C over S, a new type of gaps called C-Hausdorff is introduced and investigated. We describe a forcing model of ZFC in which, for some stationary set S, for every ladder C over S, every gap contains a subgap that is C-Hausdorff. But for every ladder E over omega_1 setminus S there exists a gap with no subgap that is E-Hausdorff. A new type of chain condition, called polarized chain condition, is introduced. We prove that the iteration with finite support of polarized c.c.c posets is again a polarized c.c.c poset.


title: The numerical radius Haagerup norm and Hilbert space square factorizations

abstract: We study a factorization of bounded linear maps from an operator space $A$ to its dual space $A^*$. It is shown that $T : A \longrightarrow A^*$ factors through a pair of a column Hilbert spaces $\mathcal{H}_c$ and its dual space if and only if $T$ is a bounded linear form on $A \otimes A$ by the canonical identification equipped with a numerical radius type Haagerup norm. As a consequence, we characterize a bounded linear map from a Banach space to its dual space, which factors through a pair of Hilbert spaces.


title: Numerical Radius Norms on Operator Spaces

abstract: We introduce a numerical radius operator space $(X, \mathcal{W}_n)$. The conditions to be a numerical radius operator space are weaker than the Ruan's axiom for an operator space $(X, \mathcal{O}_n)$. Let $w(\cdot)$ be the numerical radius norm on $\mathbb{B}(\mathcal{H})$. It is shown that if $X$ admits a norm $\mathcal{W}_n(\cdot)$ on the matrix space $\mathbb{M}_n(X)$ which satisfies the conditions, then there is a complete isometry, in the sense of the norms $\mathcal{W}_n(\cdot)$ and $w_n(\cdot)$, from $(X, \mathcal{W}_n)$ into $(\mathbb{B}(\mathcal{H}), w_n)$. We study the relationship between the operator space $(X, \mathcal{O}_n)$ and the numerical radius operator space $(X, \mathcal{W}_n)$. The category of operator spaces can be regarded as a subcategory of numerical radius operator spaces.


title: Composition factors of Kac-modules for the general linear Lie superalgebras $gl_{m|n}$

abstract: The composition factors of Kac-modules for the general linear Lie superalgebras $gl_{m|n}$ are explicitly determined. In particular, a conjecture of Hughes, King and van der Jeugt in [J. Math. Phys., 41 (2000), 5064-5087] is proved.


title: Deformation of Delone dynamical systems and pure point diffraction

abstract: This paper deals with certain dynamical systems built from point sets and, more generally, measures on locally compact Abelian groups. These systems arise in the study of quasicrystals and aperiodic order, and important subclasses of them exhibit pure point diffraction spectra. We discuss the relevant framework and recall fundamental results and examples. In particular, we show that pure point diffraction is stable under ``equivariant'' local perturbations and discuss various examples,including deformed model sets. A key step in the proof of stability consists in transforming the problem into a question on factors of dynamical systems.


title: Gorenstein Fano threefolds with base points in the anticanonical system

abstract: We classify all Gorenstein Fano threefolds with at worst canonical singularities for which the anticanonical system has a nonempty base locus.


title: Nilpotent pseudogroups of functions on an interval

abstract: A near-identity nilpotent pseudogroup of order m >= 1 is a family f_1, ..., f_n: (-1,1) -> R of C^2 functions for which: |f_i - id|_{C^1} < epsilon for some small positive real number epsilon < 1/10^{m+1} and commutators of the functions f_i of order at least m equal the identity. We present a classification of near-identity nilpotent pseudogroups: our results are similar to those of Plante, Thurston, Farb and Franks for nilpotent groups. As an application, we classify certain foliations of nilpotent manifolds.


title: A note on mobiusien function and mobiusien inversion formula of fibonacci cobweb poset

abstract: The explicit formula for mobiusien function of fibonacci cobweb poset P is given for the first time by the use of definition of P in plane grid coordinate system.


title: Integrable systems associated with elliptic algebras

abstract: We construct some new Integrable Systems (IS) both classical and quantum associated with elliptic algebras. Our constructions are partly based on the algebraic integrability mechanism given by the existence of commuting families in skew fields and partly - on the internal properties of the elliptic algebras and their representations. We give some examples to make an evidence how these IS are related to previously studied.


title: Stochastic stability of diffeomorphisms with dominated splitting

abstract: We prove that the statistical properties of random perturbations of a nonuniformly hyperbolic diffeomorphism are described by a finite number of stationary measures. We also give necessary and sufficient conditions for the stochastic stability of such dynamical systems. We show that a certain $C^2$-open class of nonuniformly hyperbolic diffeomorphisms introduced in [Alves, J; Bonatti, C. and Viana, V., SRB measures for partially hyperbolic systems with mostly expanding central direction, Invent. Math., 140 (2000), 351-398] are stochastically stable. Our setting encompasses that of partially hyperbolic diffeomorphisms as well. Moreover, the techniques used enable us to obtain SRB measures in this setting through zero-noise limit measures.


title: Necklace rings and logarithmic functions

abstract: In this paper, we develop the theory of the necklace ring and the logarithmic function. Regarding the necklace ring, we introduce the necklace ring functor $Nr$ from the category of special $\ld$-rings into the category of special $\ld$-rings and then study the associated Adams operators. As far as the logarithmic function is concerned, we generalize the results in Bryant's paper (J. Algebra. 253 (2002); no.1, 167-188) to the case of graded Lie (super)algebras with a group action by applying the Euler-Poincar\'e principle.


title: Rohlin's invariant and gauge theory III. Homology 4--tori

abstract: This is the third in our series of papers relating gauge theoretic invariants of certain 4-manifolds with invariants of 3-manifolds derived from Rohlin's theorem. Such relations are well-known in dimension three, starting with Casson's integral lift of the Rohlin invariant of a homology sphere. We consider two invariants of a spin 4-manifold that has the integral homology of a 4-torus. The first is a degree zero Donaldson invariant, counting flat connections on a certain SO(3)-bundle. The second, which depends on the choice of a 1-dimensional cohomology class, is a combination of Rohlin invariants of a 3-manifold carrying the dual homology class. We prove that these invariants, suitably normalized, agree modulo 2, by showing that they coincide with the quadruple cup product of 1-dimensional cohomology classes.


title: Non uniform hyperbolicity and elliptic dynamics

abstract: We present some constructions that are merely the fruit of combining recent results from two areas of smooth dynamics: nonuniformly hyperbolic systems and elliptic constructions.


title: Some topics in complex and harmonic analysis, 4

abstract: These notes briefly consider convolutions of tempered distributions with functions in the Schwartz class.


title: Gaussian densities and stability for some Ricci solitons

abstract: In this announcement, we exhibit the second variation of Perelman's $\lambda$ and $\nu$ functionals for the Ricci flow, and investigate the linear stability of examples. We also define the "central density" of a shrinking Ricci soliton and compute its values for certain examples in dimension 4. Using these tools, one can sometimes predict or limit the formation of singularities in the Ricci flow. In particular, we show that certain Einstein manifolds are unstable for the Ricci flow in the sense that generic perturbations acquire higher entropy and thus can never return near the original metric.


title: The C*-algebra of a vector bundle and fields of Cuntz algebras

abstract: We study the Pimsner algebra associated with the module of continuous sections of a Hilbert bundle, and prove that it is a continuous bundle of Cuntz algebras. We discuss the role of such Pimsner algebras w.r.t. the notion of inner endomorphism. Furthermore, we study bundles of Cuntz algebras carrying a global circle action, and assign to them a class in the representable KK-group of the zero-grade bundle. We compute such class for the Pimsner algebra of a vector bundle.


title: Essentially Reductive Hilbert Modules

abstract: Consider a Hilbert space obtained as the completion of the polynomials C[z} in m-variables for which the mnonomials are orthogonal. If the commuting weighted shifts defined by the coordinate functions are essentially normal, then the same is true for their restrictions to invariant subspaces spanned by monomials. This generalizes the result of Arveson [4] in which the Hilbert space is the m-shift Hardy space H_m^2. He establishes his result for the case of finite multiplicity and shows the self-commutators lie in the Schatten p-class for p > m. We establish our result at the same level of generality. We also discuss the K-homology invariant defined in these cases.


title: Continuous spectrum on laminations over Aubry-Mather sets

abstract: If we perturb a completely integrable Hamiltonian system with two degrees of freedom, the perturbed flow might display, on every energy level, invariant sets that are laminations over Aubry-Mather sets of a Poincar\'e section of the flow. Each one of these laminations carry a unique invariant probability measure for the flow on which mixing is impossible in this low dimensional frame. We prove that if the Aubry-Mather set has exactly one orbit of gaps and is hyperbolic then the special flow over it with any smooth ceiling function will be conjugate to a suspension with a constant ceiling function, failing hence to be weak mixing or even topologically weak mixing. To the contrary, if the Aubry-Mather set has more than one orbit of gaps with at least two in a general position then the special flow over it will in general be weak mixing.


title: Quasi-Homogeneous Linear Systems on P^2 with Base Points of Multiplicity 6

abstract: In this paper we prove the Harbourne-Hirschowitz conjecture for quasi-homogeneous linear systems of multiplicity 6 on P^2. For the proof we use the degeneration of the plane by Ciliberto and Miranda and results by Laface, Seibert, Ugaglia and Yang. As an application we derive a classification of the special systems of multiplicity 6.


title: Some topics in complex and harmonic analysis, 5

abstract: These notes deal with a few properties of convolutions in the role of approximations to the identity.


title: On Admissible and Perfect Elements in the Modular Lattice

abstract: For the modular lattice D^4 = {1+1+1+1} associated with the extended Dynkin diagram \tilde{D}_4 (and also for D^r, where r > 4), Gelfand and Ponomarev introduced the notion of admissible and perfect lattice elements and classified them. In this work, we classify the admissible and perfect elements in the modular lattice D^{2,2,2} = {2+2+2} associated with the extended Dynkin diagram \tilde{E}_6. Gelfand and Ponomarev constructed admissible elements for D^r recurrently in the length of multi-indices, which they called admissible sequences. Here we suggest a direct method for creating admissible elements. Admissible sequences and admissible elements for D^{2,2,2} (resp. D^4) form 14 classes (resp. 11 classes) and possess some periodicity. If under all indecomposable representations of a modular lattice the image of an element is either zero or the whole representation space, the element is said to be perfect. Our classification of perfect elements for D^{2,2,2} is based on the description of admissible elements. The constructed set H^+ of perfect elements is the union of 64-element distributive lattices H^+(n), and H^+ is the distributive lattice itself. The lattice of perfect elements B^+ obtained by Gelfand and Ponomarev for D^4 can be imbedded into the lattice of perfect elements H^+, associated with D^{2,2,2}.


title: Hopf construction map in higher dimensions

abstract: In this paper, we study the zero set of the Hopf construction map F_n : A_n_ x A_n --> A_n x A_0 given by F_n (x, y) = (2xy, | y|^2 - |x|^2) for n >3 where A_n is the Cayley-Dickson algebra of dimension 2^n over the real numbers.


title: On a theorem of Conant-Vogtmann

abstract: We prove that the graph complex is a strong homotopy Lie (super) bialgebra.


title: The tangent groupoid of a Heisenberg manifold

abstract: As a step toward proving an index theorem for hypoelliptic operators Heisenberg manifolds, including those on CR and contact manifolds, we construct an analogue for Heisenberg manifolds of Connes' tangent groupoid of a manifold $M$. As it is well known for a Heisenberg manifold $(M,H)$ the relevant notion of tangent is rather that of Lie group bundle of graded 2-step nilpotent Lie groups $GM$. We then construct the tangent groupoid of $(M,H)$ as a differentiable groupoid $\cG_{H} M$ encoding the smooth deformation of $M\times M$ to $GM$. In this construction a crucial use is made of a refined notion of privileged coordinates and of a tangent approximation result for Heisenberg diffeomorphisms.


title: On interpolation by radial polynomials

abstract: A lemma of Micchelli's, concerning radial polynomials and weighted sums of point evaluations, is shown to hold for arbitrary linear functionals, as is Schaback's more recent extension of this lemma and Schaback's result concerning interpolation by radial polynomials. Schaback's interpolant is explored.


title: Comparing algorithms for sorting with t stacks in series

abstract: We show that the left-greedy algorithm is a better algorithm than the right-greedy algorithm for sorting permutations using t stacks in series when t>1. We also supply a method for constructing some permutations that can be sorted by t stacks in series and from this get a lower bound on the number of permutations of length n that are sortable by t stacks in series. Finally we show that the left-greedy algorithm is neither optimal nor defines a closed class of permutations for t>2.