title: A functional central limit theorem in equilibrium for a large network in which customers join the shortest of several queues

abstract: We consider N single server infinite buffer queues with service rate beta. Customers arrive at rate N times alpha,choose L queues uniformly, and join the shortest one. The stability condition is alpha strictly less than beta. We study in equilibrium the sequence of the fraction of queues of length at least k, in the large N limit. We prove a functional central limit theorem on an infinite-dimensional Hilbert space with its weak topology, with limit a stationary Ornstein-Uhlenbeck process. We use ergodicity and justify the inversion of limits of long times and large sizes N by a compactness-uniqueness method. The main tool for proving tightness of the ill-known invariant laws and ergodicity of the limit is a global exponential stability result for the nonlinear dynamical system obtained in the functional law of large numbers limit.


title: Out of equilibrium functional central limit theorems for a large network where customers join the shortest of several queues

abstract: Customers arrive at rate N times alpha on a network of N single server infinite buffer queues, choose L queues uniformly, join the shortest one, and are served there in turn at rate beta. We let N go to infinity.We prove a functional central limit theorem (CLT) for the tails of the empirical measures of the queue occupations,in a Hilbert space with the weak topology, with limit given by an Ornstein-Uhlenbeck process. The a priori assumption is that the initial data converge.This completes a recent functional CLT in equilibrium result for which convergence for the initial data was not known in advance, but was deduced a posteriori from the functional CLT.


title: Representations of Quantum Affinizations and Fusion Product

abstract: In this paper we study general quantum affinizations $\U_q(\hat{\Glie})$ of symmetrizable quantum Kac-Moody algebras and we develop their representation theory. We prove a triangular decomposition and we give a classication of (type 1) highest weight simple integrable representations analog to Drinfel'd-Chari-Pressley one. A generalization of the q-characters morphism, introduced by Frenkel-Reshetikhin for quantum affine algebras, appears to be a powerful tool for this investigation. For a large class of quantum affinizations (including quantum affine algebras and quantum toroidal algebras), the combinatorics of q-characters give a ring structure * on the Grothendieck group $\text{Rep}(\U_q(\hat{\Glie}))$ of the integrable representations that we classified. We propose a new construction of tensor products in a larger category by using the Drinfel'd new coproduct (it can not directly be used for $\text{Rep}(\U_q(\hat{\Glie}))$ because it involves infinite sums). In particular we prove that * is a fusion product (a product of representations is a representation).


title: Kirby elements and quantum invariants

abstract: We define the notion of a Kirby element of a ribbon category C (not necessarily semisimple). Kirby elements lead to 3-manifolds invariants. We characterize (in terms of the structure maps of some categorical Hopf algebra) a set of Kirby elements of C which is sufficiently large to recover the known quantum invariants computed from C. The cases of a semisimple ribbon category and of a category of representations are explored in details.


title: Character sheaves on disconnected groups, IV

abstract: Let G be a possibly disconnected reductive group over a finite field with Frobenius map F. The main result of this paper is that the characteristic functions af "admissible complexes" A on G such that F^*A is isomorphic to A form a basis of the space of functions on G^F that are constant on G^{0F}-conjugacy classes.


title: Free ${A}_\infty$-categories

abstract: For a differential graded k-quiver Q we define the free A-infinity-category FQ generated by Q. The main result is that for an arbitrary A-infinity-category A the restriction A-infinity-functor A_\infty(FQ,A) -> A_1(Q,A) is an equivalence, where objects of the last A-infinity-category are morphisms of differential graded k-quivers Q -> A.


title: On the approximation of one Markov chain by another

abstract: Motivated by applications in Markov chain Monte Carlo, we discuss what it means for one Markov chain to be an approximation to another. Specifically included in that discussion are situations in which a Markov chain with continuous state space is approximated by one with finite state space. A simple sufficient condition for close approximation is derived, which indicates the existence of three distinct approximation regimes. Counterexamples are presented to show that these regimes are real and not artifacts of the proof technique. An application to the ``ball walk'' of Lov\'asz and Simonovits is provided as an illustrative example.


title: A Pointwise Bound for a Holomorphic Function which is Square-Integrable with Respect to an Exponential Density Function

abstract: Let $\phi$ be a real-valued smooth function on $\mathbf{C}$ satisfying $0 \le \Delta \phi \le M$ for some $M \ge 0$. We consider the space of all holomorphic functions which are square-integrable with respect to the measure $e^{-\phi(z)} dz$. In this paper, a pointwise bound for any function in this space is established. We show that there exists a constant $K$ depending only on $M$ such that $|f(z)|^2 \le Ke^{\phi(z)}\|f\|^2$ for any $f$ in this space and for any complex number $z$.


title: Group Orders That Imply a Nontrivial p-Core

abstract: Given a prime number \(p\) and a natural number \(m\) not divided by \(p\), we propose the problem of finding the smallest number \(r_{0}\) such that for \(r\geq r_{0}\), every group \(G\) of order \(p^{r}m\) has a non-trivial normal \(p\)-subgroup. We prove that we can explicitly calculate the number \(r_{0}\) in the case where every group of order \(p^{r}m\) is solvable for all \(r\), and we obtain the value of \(r_{0}\) for a case where \(m\) is a product of two primes.


title: Local Fourier transforms and rigidity for D-modules

abstract: Local Fourier trnasforms, analogous to the $\ell$-adic Fourier transforms, are constructed for connections over $k((t))$. Following a program of Katz, a meromorphic connection on a curve is shown to be rigid, i.e. determined by local data at the singularities, if and only if a certain cohomological condition is satisfied. We show that the index of rigidity is invariant under Fourier transform.


title: Nonuniqueness for specifications in $\ell^{2+\epsilon}$

abstract: For every $p>2$, we construct a regular and continuous specification ($g$-function), which has a variation sequence that is in $l^p$ and which admits multiple Gibbs measures. Combined with a recent result of Johansson and Oberg, this determines the optimal modulus of continuity for a specification which admits multiple Gibbs measures.


title: Intersection numbers in quasi-Hamiltonian reduced spaces

abstract: In this paper we prove a residue formula for intersection pairings of reduced spaces of certain quasi-Hamiltonian G-spaces, by constructing the corresponding Hamiltonian G-space. Our argument closely follows the methods of a 1998 paper of the first author and F. Kirwan on intersection numbers in moduli spaces (for G=SU(n)). For the more general class of compact Lie groups treated by Alekseev, Meinrenken and Woodward, we rely on results of Szenes and Brion-Vergne concerning diagonal bases. Our result is a close analogue of the result of Alekseev-Meinrenken-Woodward.


title: Outer automorphism groups of some ergodic equivalence relations

abstract: Let R a be countable ergodic equivalence relation of type II_1 on a standard probability space (X,m). The group Out(R) of outer automorphisms of R consists of all invertible Borel measure preserving maps of the space which map R-classes to R-classes modulo those which preserve almost every R-class. We analyze the group Out(R) for relations R generated by actions of higher rank lattices, providing general conditions on finiteness and triviality of Out(R) and explicitly computing this group for the standard actions. The method is based on Zimmer's superrigidity for measurable cocycles, Ratner's theorem and Gromov's Measure Equivalence construction.


title: Intersection Graphs for String Links

abstract: We extend the notion of intersection graphs for knots in the theory of finite type invariants to string links. We use our definition to develop weight systems for string links via the adjacency matrix of the intersection graph, and show that these weight systems are related to the weight systems induced by the Conway and Homfly polynomials.


title: Quantum Dynamical Systems with Quasi--Discrete Spectrum

abstract: We study totally ergodic quantum dynamical systems with quasi--discrete spectrum. We investigate the classification problem for such systems in terms of algebraic invariants. The results are noncommutative analogs of (a part of) the theory of Abramov.


title: Using stacks to impose tangency conditions on curves

abstract: We define a Deligne-Mumford stack X_{D,r} which depends on a scheme X, an effective Cartier divisor D\subset X, and a positive integer r. Then we show that the Abramovich-Vistoli moduli stack of stable maps into X_{D,r} provides compactifications of the locally closed substacks of \bar{M}_{g,n}(X,\beta) corresponding to relative stable maps.


title: The combinatorics of a three-line circulant determinant

abstract: We study the determinant of the pxp circulant matrix whose first row is (1,-x,0,...,0,-y,0,...,0), the -y being in position q+1. The coefficients of this polynomial are integers that count certain classes of permutations. We show that all of the permutations that contribute to a fixed monomial x^ry^s have the same sign, and we determine that sign. We prove that a monomial x^ry^s appears if and only if p divides r+sq. Finally, we show that the size of the largest coefficient of the monomials that appear grows exponentially with p. We do this by proving that the permanent of the circulant whose first row is (1,1,0,...,0,1,0,...,0) is the sum of the absolute values of the coefficients of the monomials in the original determinant.


title: On the classification of surfaces of general type with non-birational bicanonical map and Du Val Double planes

abstract: We classify surfaces of general type whose bicanonical map is composed with a rational map of degree 2 onto a rational or ruled surface.


title: Innately transitive subgroups of wreath products in product action

abstract: A permutation group is innately transitive if it has a transitive minimal normal subgroup, which is referred to as a plinth. We study the class of finite, innately transitive permutation groups that can be embedded into wreath products in product action. This investigation is carried out by observing that such a wreath product preserves a natural Cartesian decomposition of the underlying set. Previously we classified the possible embeddings in the case where the plinth is simple. Here we extend that classification and identify several different types of Cartesian decompositions that can be preserved by an innately transitive group with a non-abelian plinth. These different types of decompositions lead to different types of embeddings of the acting group into wreath products in product action. We also obtain a full characterisation of embeddings of innately transitive groups with diagonal type into such wreath products.


title: Cauchy Type Integrals of Algebraic Functions

abstract: We consider Cauchy type integrals $I(t)={1\over 2\pi i}\int_{\gamma} {g(z)dz\over z-t}$ with $g(z)$ an algebraic function. The main goal is to give constructive (at least, in principle) conditions for $I(t)$ to be an algebraic function, a rational function, and ultimately an identical zero near infinity. This is done by relating the Monodromy group of the algebraic function $g$, the geometry of the integration curve $\gamma$, and the analytic properties of the Cauchy type integrals. The motivation for the study of these conditions is provided by the fact that certain Cauchy type integrals of algebraic functions appear in the infinitesimal versions of two classical open questions in Analytic Theory of Differential Equations: the Poincar\'e Center-Focus problem and the second part of the Hilbert 16-th problem.


title: On Symplectic Fillings of Lens Spaces

abstract: Let C be the contact structure naturally induced on the lens space L(p,q) by the standard contact structure on the three--sphere. We obtain a complete classification of the symplectic fillings of (L(p,q),C) up to orientation-preserving diffeomorphisms. In view of our results, we formulate a conjecture on the diffeomorphism types of the smoothings of complex two-dimensional cyclic quotient singularities.


title: Witten's formulas for intersection pairings on moduli spaces of flat $G$-bundles

abstract: In a 1992 paper, Witten gave a formula for the intersection pairings of the moduli space of flat $G$-bundles over an oriented surface, possibly with markings. In this paper, we give a general proof of Witten's formula, for arbitrary compact, simple groups, and any markings for which the moduli space has at most orbifold singularities.


title: Bifurcation and forced symmetry breaking in Hamiltonian systems

abstract: We consider the phenomenon of forced symmetry breaking in a symmetric Hamiltonian system on a symplectic manifold. In particular we study the persistence of an initial relative equilibrium subjected to this forced symmetry breaking. We see that, under certain nondegeneracy conditions, an estimate can be made on the number of bifurcating relative equilibria.


title: Arakelov invariants of Riemann surfaces

abstract: We derive explicit formulas for the Arakelov-Green function and the Faltings delta-invariant of a Riemann surface. A numerical example illustrates how these formulas can be used to calculate Arakelov invariants of curves.


title: Applications of Minor Summation Formula III, Plucker Relations, Lattice Paths and Pfaffian Identities

abstract: The initial purpose of this paper is to provide a combinatorial proof of the minor summation formula of Pfaffians based on the lattice path method. There we related Pl\"ucker relations with the minor summation formula of Pfaffians to simplify its proof by lattice paths. The second aim is to find a various applications of the minor summation formula. First we studied a variant of the Sundquist formula established in J. Alg. Combin. {\bf 5} (1996). Next we gave a simple proof of Kawanaka's formula concerning a $q$-series identity involving Schur functions in Osaka J. Math. {\bf 36} (1999). We also establish a certain identity similar to the Kawanaka formula, and give a combinatorial proof of the determinant version of his formula in Osaka J. Math. {\bf 38} (2001).


title: On the Arakelov theory of elliptic curves

abstract: This note contains an elementary discussion of the Arakelov intersection theory of elliptic curves. The main new results are a projection formula for elliptic arithmetic surfaces and a formula for the "energy" of an isogeny between Riemann surfaces of genus 1. The latter formula provides an answer to a question originally posed by Szpiro.


title: Beyond Uncountable

abstract: In 1891 Cantor presented two proofs with the purpose to establish a general theorem that any set can be replaced by a set of greater power. Cantor's power set theorem can be considered to be an extension of Cantor's 1891 second proof and its argument makes use of a well-known self-referring statement. In this article it is shown that, defining the relative complement of the self-referring statement, Cantor's power set theorem cannot be derived. Moreover, it is given a refutation of the first proof, the so-called Cantor's diagonal argument.


title: Restrictions of Harmonic Functions on the Sierpinski Gasket to Segments

abstract: The restrictions of a harmonic function on the Sierpinski Gasket (SG) to the segments in SG have been of some interest. We show that the sufficient conditions for the monotonicity of these restrictions given by Dalrymple, Strichartz and Vinson are also necessary. We then prove that the normal derivative of a harmonic function on SG on the junction points of the contour of a triangle in SG is always nonzero with at most a single exception. We finally give an explicit derivative computation for the restriction of a harmonic function on SG to segments at specific points of the segments: The derivative is zero at points dividing the segment in ratio 1:3. This shows that the restriction of a harmonic function to a segment of SG has the following curious property: The restriction has infinite derivatives on a dense set of the segment (at junction points) and vanishing derivatives on another dense set.


title: The Hilbert compactification of the universal moduli space of semistable vector bundles over smooth curves

abstract: We construct the Hilbert compactification of the universal moduli space of semistable vector bundles over smooth curves. The Hilbert compactification is the GIT quotient of some open part of an appropriate Hilbert scheme of curves in a Grassmannian. It has all the properties asked for by Teixidor.


title: Variational principles for circle patterns

abstract: A Delaunay cell decomposition of a surface with constant curvature gives rise to a circle pattern, consisting of the circles which are circumscribed to the facets. We treat the problem whether there exists a Delaunay cell decomposition for a given (topological) cell decomposition and given intersection angles of the circles, whether it is unique and how it may be constructed. Somewhat more generally, we allow cone-like singularities in the centers and intersection points of the circles. We prove existence and uniqueness theorems for the solution of the circle pattern problem using a variational principle. The functionals (one for the euclidean, one for the hyperbolic case) are convex functions of the radii of the circles. The analogous functional for the spherical case is not convex, hence this case is treated by stereographic projection to the plane. From the existence and uniqueness of circle patterns in the sphere, we derive a strengthened version of Steinitz' theorem on the geometric realizability of abstract polyhedra. We derive the variational principles of Colin de Verdi\`ere, Br\"agger, and Rivin for circle packings and circle patterns from our variational principles. In the case of Br\"agger's and Rivin's functionals. Leibon's functional for hyperbolic circle patterns cannot be derived directly from our functionals. But we construct yet another functional from which both Leibon's and our functionals can be derived. We present Java software to compute and visualize circle patterns.


title: Hyperbolic Twistor Spaces

abstract: In contrast to the classical twistor spaces whose fibres are 2-spheres, we introduce twistor spaces over manifolds with almost quaternionic structures of the second kind in the sense of P. Libermann whose fibres are hyperbolic planes. We discuss two natural almost complex structures on such a twistor space and their holomorphic functions.


title: Entropy and multivariable interpolation

abstract: We define a new notion of entropy for operators on Fock spaces and positive definite multi-Toeplitz kernels on free semigroups. This is studied in connection with factorization theorems for (multi-Toeplitz, multi-analytic, etc.) operators on Fock spaces. These results lead to entropy inequalities and entropy formulas for positive definite multi-Toeplitz kernels on free semigroups (resp.multi-Toeplitz operators) and consequences concerning the extreme points of the unit ball of the noncommutative analytic Toeplitz algebra F_n^\infty. We obtain several geometric characterizations of the multivariable central intertwining lifting, a maximum principle, and a permanence principle for the noncommutative commutant lifting theorem. Under certain natural conditions, we find explicit forms for the maximal entropy solution (and its entropy) for this multivariable commutant lifting theorem. All these results are used to solve maximal entropy interpolation problems in several variables. We obtain explicit forms for the maximal entropy solution (as well as its entropy) of the Sarason, Caratheodory-Schur, and Nevanlinna-Pick type interpolation problems for the noncommutative (resp.commutative) analytic Toeplitz algebra F_n^\infty (resp.W_n^\infty)and their tensor products with B(H,K). In particular, we provide explicit forms for the maximal entropy solutions of several interpolation (resp.optimization) problems on the unit ball of C^n.


title: Non hyperelliptic curves of genus three over finite fields of characteristic two

abstract: Let k=F_q be a finite field of even characteristic. We obtain in this paper a complete classification, up to k-isomorphism, of non singular quartic plane curves defined over k. We find explicit rational normal models and we give closed formulas for the total number of k-isomorphism classes. We deduce from these computations the number of k-rational points of the different strata by the Newton polygon of the non hyperelliptic locus M_3^{nh} of the moduli space M_3 of curves of genus 3. By adding to these computations the knowed results on the hyperelliptic locus we obtain a complete picture of these strata for M_3.


title: A pseudodifferential equation with damping for one-way wave propagation in inhomogeneous acoustic media

abstract: A one-way wave equation is an evolution equation in one of the space directions that describes (approximately) a wave field. The exact wave field is approximated in a high frequency, microlocal sense. Here we derive the pseudodifferential one-way wave equation for an inhomogeneous acoustic medium using a known factorization argument. We give explicitly the two highest order terms, that are necessary for approximating the solution. A wave front (singularity) whose propagation velocity has non-zero component in the special direction is correctly described. The equation can't describe singularities propagating along turning rays, i.e. rays along which the velocity component in the special direction changes sign. We show that incorrectly propagated singularities are suppressed if a suitable dissipative term is added to the equation.


title: Symmetric functions and the phase problem in crystallography

abstract: The calculation of crystal structure from X-ray diffraction data requires that the phases of the ``structure factors'' (Fourier coefficients) determined by scattering be deduced from the absolute values of those structure factors. Motivated by a question of Herbert Hauptman, we consider the problem of determining phases by direct algebraic means in the case of crystal structures with $n$ equal atoms in the unit cell, with $n$ small. We rephrase the problem as a question about multiplicative invariants for a particular finite group action. We show that the absolute values form a generating set for the field of invariants of this action, and consider the problem of making this theorem constructive and practical; the most promising approach for deriving explicit formulas uses SAGBI bases.


title: Coexistence in two-type first-passage percolation models

abstract: We study the problem of coexistence in a two-type competition model governed by first-passage percolation on $\Zd$ or on the infinite cluster in Bernoulli percolation. Actually, we prove for a large class of ergodic stationary passage times that for distinct points $x,y\in\Zd$, there is a strictly positive probability that $\{z\in\Zd;d(y,z)<d(x,z)\}$ and $\{z\in\Zd;d(y,z)>d(x,z)\}$ are both infinite sets. We also show that there is a strictly positive probability that the graph of time-minimizing path from the origin in first-passage percolation has at least two topological ends. This generalizes results obtained by H{\"a}ggstr{\"o}m and Pemantle for independent exponential times on the square lattice.


title: Higher secant varieties of the minimal adjoint orbit

abstract: We try to write (generic) elements of classical simple Lie algebras as sums of as few elements of the orbit C of long root vectors as possible. If the Lie algebra in question is sl_n or sp_n, then C consists of all rank 1 matrices in the Lie algebra, and an element of rank k is the sum of k elements of C. If, on the other hand, the Lie algebra is o_n, then C consists of all rank 2 matrices with square zero, and the situation is much more complicated. We explicitly describe, in this case as well, the closure of the set of all sums of k elements of C, also known as the (k-1)st secant variety of C.


title: A Note on Near Subnormal Weighted Shifts

abstract: A complete characterization of near subnormality for bilateral weighted shifts is obtained. As an application of the main results, many new answers to the Hilbert space problem 160 are presented at the end of the paper.


title: Commutators, eigenvalue gaps, and mean curvature in the theory of Schr\"odinger operators

abstract: Commutator relations are used to investigate the spectra of Schr\"odinger Hamiltonians, $H = -\Delta + V({x}),$ acting on functions of a smooth, compact $d$-dimensional manifold $M$ immersed in $\bbr^{\nu}, \nu \geq d+1$. Here $\Delta$ denotes the Laplace-Beltrami operator, and the real-valued potential--energy function $V(x)$ acts by multiplication. The manifold $M$ may be complete or it may have a boundary, in which case Dirichlet boundary conditions are imposed. It is found that the mean curvature of a manifold poses tight constraints on the spectrum of $H$. Further, a special algebraic r\^ole is found to be played by a Schr\"odinger operator with potential proportional to the square of the mean curvature: $$H_{g} := -\Delta + g h^2,$$ where $\nu = d+1$, $g$ is a real parameter, and $$h := \sum\limits_{j = 1}^{d} {\kappa_j},$$ with $\{\kappa_j\}$, $j = 1, ..., d$ denoting the principal curvatures of $M$. For instance, by Theorem \ref{thm3.1} and Corollary \ref{cor4.5}, each eigenvalue gap of an arbitrary Schr\"odinger operator is bounded above by an expression using $H_{1/4}$. The "isoperimetric" parts of these theorems state that these bounds are sharp for the fundamental eigenvalue gap and for infinitely many other eigenvalue gaps.


title: Correlation functions of the shifted Schur measure

abstract: The shifted Schur measure introduced by Tracy and Widom is a measure on the set of all strict partitions, which is defined by Schur $Q$-functions. The main aim of this paper is to calculate the correlation function of this measure, which is given by a pfaffian. As an application, we prove that a limit distribution of $\lambda_j$'s with respect to a shifted version of the Plancherel measure for symmetric groups is identical with the corresponding distribution of the original Plancherel measure. Further we give expressions of the mean value and the variance of the size of a partition with respect to the measure defined by Hall-Littlewood functions.


title: Twisted Novikov homology and circle-valued Morse theory for knots and links

abstract: The Morse-Novikov number MN(L) of a smooth link L in the three-dimensional sphere is by definition the minimal possible number of critical points of a regular circle-valued Morse function on the link complement (the term regular means that the Morse function must have nice behaviour in a tubular neighbourhood of L). Novikov homology provides lower bounds for MN(L). In the present paper we introduce the notion of twisted Novikov homology, which allows to obtain better lower bounds for MN(L) than the usual Novikov homology. Our twisted Novikov homology is a module over the Novikov ring Z((t)) but it contains the information coming from the non abelian homological algebra of the group ring of the fundamental group of the link complement. Using this technique we prove that the Morse-Novikov number of the knot nC (the connected sum of n copies of the Conway knot) is not less than 2n/5 for every positive integer n. We prove also that MN(nC) is not greater than 2n. The same estimates hold for the Morse-Novikov numbers of the connected sum of n copies of the Kinoshita-Terasaka knot.


title: Monodromy of Projective Curves

abstract: The uniform position principle states that, given an irreducible nondegenerate curve C in the projective r-space $P^r$, a general (r-2)-plane L is uniform, that is, projection from L induces a rational map from C to $P^1$ whose monodromy group is the full symmetric group. In this paper we show the locus of non-uniform (r-2)-planes has codimension at least two in the Grassmannian for a curve C with arbitrary singularities. This result is optimal in $P^2$. For a smooth curve C in $P^3$ that is not a rational curve of degree three, four or six, we show any irreducible surface of non-uniform lines is a Schubert cycle of lines through a point $x$, such that projection from $x$ is not a birational map of $C$ onto its image.


title: Energy Decay of Damped Systems

abstract: We present a new and simple bound for the exponential decay of second order systems using the spectral shift. This result is applied to finite matrices as well as to partial differential equations of Mathematical Physics. The type of the generated semigroup is shown to be bounded by the upper real part of the numerical range of the underlying quadratic operator pencil.


title: A faithful tensor space representation for the blob algebra

abstract: We show that a certain tensor space representation of the blob algebra (an affine Hecke algebra quotient) is faithful.


title: Survey on Classifying Spaces for Families of Subgroups

abstract: We define for a topological group G and a family of subgroups F two versions for the classifying space for the family F, the G-CW-version E_F(G) and the numerable G-space version J_F(G). They agree if G is discrete, or if G is a Lie group and each element in F compact, or if F is the family of compact subgroups. We discuss special geometric models for these spaces for the family of compact open groups in special cases such as almost connected groups G and word hyperbolic groups G. We deal with the question whether there are finite models, models of finite type, finite dimensional models. We also discuss the relevance of these spaces for the Baum-Connes Conjecture about the topological K-theory of the reduced group C^*-algebra, for the Farrell-Jones Conjecture about the algebraic K- and L-theory of group rings, for Completion Theorems and for classifying spaces for equivariant vector bundles and for other situations.


title: Toric varieties - degenerations and fundamental groups

abstract: In this paper we calculate fundamental groups (and some of their quotients) of complements of four toric varieties branch curves. For these calculations, we study properties and degenerations of these toric varieties and the braid monodromies of the branch curves in $\mathbb{CP}^2$. The fundamental groups related to the first three toric varieties turn to be quotients of the Artin braid groups $\mathcal{B}_5$, $\mathcal{B}_6$, and $\mathcal{B}_4$, while the fourth one is a certain quotient of the group $\tilde{\mathcal{B}}_6 = \mathcal{B}_6/<[X,Y]>$, where $X, Y$ are transversal. The quotients of all four groups by the normal subgroups generated by the squares of the standard generators are respectively $S_5, S_6, S_4$ and $S_6$. We therefore conclude that the fundamental groups of the Galois covers of the four given toric varieties are all trivial.


title: Formal symplectic groupoid

abstract: The multiplicative structure of the trivial symplectic groupoid over $\mathbb R^d$ associated to the zero Poisson structure can be expressed in terms of a generating function. We address the problem of deforming such a generating function in the direction of a non-trivial Poisson structure so that the multiplication remains associative. We prove that such a deformation is unique under some reasonable conditions and we give the explicit formula for it. This formula turns out to be the semi-classical approximation of Kontsevich's deformation formula. For the case of a linear Poisson structure, the deformed generating function reduces exactly to the CBH formula of the associated Lie algebra. The methods used to prove existence are interesting in their own right as they come from an at first sight unrelated domain of mathematics: the Runge--Kutta theory of the numeric integration of ODE's.


title: Generalized scattering phases for asymptotically hyperbolic manifolds

abstract: We define scattering phases associated to pairs of Laplacians on asymptotically hyperbolic manifolds, and prove some spectral asymptotics for them. These result are applications of Isozaki-Kitada's constructions which we adapt to this framework.


title: Division-ample sets and the Diophantine problem for rings of integers

abstract: We prove that Hilbert's Tenth Problem for a ring of integers in a number field K has a negative answer if K satisfies two arithmetical conditions (existence of a so-called division-ample set of integers and of an elliptic curve of rank one over K). We relate division-ample sets to arithmetic of abelian varieties.


title: Representations of finite groups on Riemann-Roch spaces, II

abstract: If G is a finite subgroup of the automorphism group of a projective curve X and D is a divisor on X stabilized by G, then under the assumption that D is nonspecial, we compute a simplified formula for the trace of the natural representation of G on Riemann-Roch space L(D).


title: Riemannian geometries on spaces of plane curves

abstract: We study some Riemannian metrics on the space of regular smooth curves in the plane, viewed as the orbit space of maps from $S^1$ to the plane modulo the group of diffeomorphisms of $S^1$, acting as reparameterizations. In particular we investigate the metric for a constant $A> 0$: $$ G^A_c(h,k) := \int_{S^1}(1+A\ka_c(\th)^2)< h(\th),k(\th) > |c'(\th)| d\th $$ where $\ka_c$ is the curvature of the curve $c$ and $h,k$ are normal vector fields to $c$. The term $A\ka^2$ is a sort of geometric Tikhonov regularization because, for A=0, the geodesic distance between any 2 distinct curves is 0, while for $A>0$ the distance is always positive. We give some lower bounds for the distance function, derive the geodesic equation and the sectional curvature, solve the geodesic equation with simple endpoints numerically, and pose some open questions. The space has an interesting split personality: among large smooth curves, all its sectional curvatures are $\ge 0$, while for curves with high curvature or perturbations of high frequency, the curvatures are $\le 0$.


title: The Pants Complex Has Only One End

abstract: The authors prove that for a closed surface of genus at least 3, the graph of pants decompositions has only one end.


title: Almost isometric actions, property $(T)$, and local rigidity

abstract: Let $\Gamma$ be a discrete group with property $(T)$ of Kazhdan. We prove that any Riemannian isometric action of $\Gamma$ on a compact manifold $X$ is locally rigid. We also prove a more general foliated version of this result. The foliated result is used in our proof of local rigidity for standard actions of higher rank semisimple Lie groups and their lattices in \cite{FM2}. One definition of property $(T)$ is that a group $\Gamma$ has property $(T)$ if every isometric $\Gamma$ action on a Hilbert space has a fixed point. We prove a variety of strengthenings of this fixed point properties for groups with property $(T)$. Some of these are used in the proofs of our local rigidity theorems.


title: Free and semi-inert cell attachments

abstract: Let $Y$ be the space obtained by attaching a finite-type wedge of cells to a simply-connected, finite-type CW-complex. We introduce the free and semi-inert conditions on the attaching map which broadly generalize the previously studied inert condition. Under these conditions we determine $H_*(\Omega Y;R)$ as an $R$-module and as an $R$-algebra respectively. Under a further condition we show that $H_*(\Omega Y;R)$ is generated by Hurewicz images. As an example we study an infinite family of spaces constructed using only semi-inert cell attachments.


title: On the irreducibility of the determinant of the matrix of moving planes

abstract: We show that, for generic bihomogeneous polynomials, the determinant of the matrix of moving planes is irreducible.


title: Relations on noncommutative variables and associated orthogonal polynomials

abstract: This semi-expository paper surveys results concerning three classes of orthogonal polynomials: in one non-hermitian variable, in several isometric non-commuting variables, and in several hermitian non-commuting variables. The emphasis is on some dilation theoretic techniques that are also described in some details.


title: Research problem: The completion number of a graph

abstract: Motivated by the remarkable interplay between (chordal) graphs and matrix algebra, we associate to each graph a so-called completion number that might encode some aspects of that interplay. We show that this number is not trivial, and we ask for a graph theoretic characterization of those graphs with a given completion number.


title: Extensions of local fields and truncated power series

abstract: Let $K$ be a finite tamely ramified extension of $\Q_p$ and let $L/K$ be a totally ramified $(\Z/p^n\Z)$-extension. Let $\pi_L$ be a uniformizer for $L$, let $\sigma$ be a generator for $\Gal(L/K)$, and let $f(X)$ be an element of $\O_K[X]$ such that $\sigma(\pi_L)=f(\pi_L)$. We show that the reduction of $f(X)$ modulo the maximal ideal of $\O_K$ determines a certain subextension of $L/K$ up to isomorphism. We use this result to study the field extensions generated by periodic points of a $p$-adic dynamical system.


title: Computing Kazhdan--Lusztig cells for unequal parameters

abstract: Following Lusztig, we consider a Coxeter group $W$ together with a weight function $L$. This gives rise to the pre-order relation $\leq_{L}$ and the corresponding partition of $W$ into left cells. We introduce an equivalence relation on weight functions such that, in particular, $\leq_{L}$ is constant on equivalent classes. We shall work this out explicitly for $W$ of type $F_4$ and check that several of Lusztig's conjectures concerning left cells with unequal parameters hold in this case, even for those parameters which do not admit a geometric interpretation. The proofs involve some explicit computations using {\sf CHEVIE}.


title: A Lower Bound for the Canonical Height on Abelian Varieties over Abelian Extensions

abstract: Let A be an abelian variety defined over a number field K, and consider the canonical height function attached to a symmetric ample line bundle L on A. We prove that there is a positive lower bound C (depending on A, K, and L) for the canonical height of non-torsion points on A defined over the maximal abelian extension K^ab of K.


title: Upper bound on the number of systems of Hecke eigenvalues for Siegel modular forms (mod p)

abstract: We derive an explicit upper bound for the number of systems of Hecke eigenvalues coming from Siegel modular forms (mod p) of dimension g and level N relatively prime to p. In the special case of elliptic modular forms (g=1), our result agrees with recent work of G. Herrick.


title: A blow-up phenomenon in the Hamilton-Jacobi equation in an unbounded domain

abstract: We construct an example of blow-up in a flow of min-plus linear operators arising as solution operators for a Hamilton-Jacobi equation with a Hamiltonian of the form |p|^alpha+U(x,t), where alpha>1 and the potential U(x,t) is uniformly bounded together with its gradient. The construction is based on the fact that, for a suitable potential defined on a time interval of length T, the absolute value of velocity for a Lagrangian minimizer can be as large as O((log T)^(2-2/alpha)). We also show that this growth estimate cannot be surpassed. Implications of this example for existence of global generalized solutions to randomly forced Hamilton-Jacobi or Burgers equations are discussed.


title: Real K3 Surfaces with non-symplectic Involutions and Applications

abstract: Classification of real K3 surfaces X with a non-symplectic involution \tau is considered. For some exactly defined and one of the weakest possible type of degeneration (giving the very reach discriminant), we show that the connected component of their moduli is defined by the isomorphism class of the action of \tau and the anti-holomorphic involution \phi in the homology lattice. (There are very few similar cases known.) For their classification we apply invariants of integral lattice involutions with conditions which were developed by the first author in 1983. As a particular case, we describe connected components of moduli of real non-singular curves A\in |-2K_V| for the classical real surfaces: V=P^2, hyperboloid, ellipsoid, F_1, F_4. As an application, we describe all real polarized K3 surfaces which are deformations of general real K3 double rational scrolls (surfaces V above). There are very few exceptions. For example, any non-singular real quartic in P^3 can be constructed in this way.


title: On Simple Characterisations of Sheffer psi- polynomials and Related Propositions of the Calculus of Sequences

abstract: A calculus of sequences started in 1936 opened the way for future extensions of umbral calculus in its finite operator form. Because of historically established notation we call it the psi-calculus.It appears in parts to be almost automatic extension of the standard classical finite operator calculus.


title: Simple proof of Chebotarev's theorem on roots of unity

abstract: We give a simple proof of Chebotarev's theorem: Let $p$ be a prime and $\omega $ a primitive $p$th root of unity. Then all minors of the matrix $(\omega^{ij})_{i,j=0}^{p-1}$ are non-zero.


title: Rational Curves in Rigid Calabi-Yau Three-folds

abstract: We determine all the Kummer-surface-type Calabi-Yau (CY) 3-folds, i.e., those $\hat{T/G}$ which are resolutions of 3-torus-orbifolds $T/G$ with only isolated singularities. There are only two such CY spaces: one with $G= \ZZ_3$ and $T$ being the triple-product of 1-torus carrying an order 3 automorphism, the other with $G= \ZZ_7$ and $T$ being the Jacobian of Klein quartic curve. These CY 3-folds $\hat{T/G}$ are all rigid, hence no complex structure deformation for each of these two varieties. We further investigate problems of $\PZ^1$-curves $C$ in $\hat{T/G}$ not contained in exceptional divisors, by considering the counting number $d$ of elements in $C$ meeting exceptional divisors in a certain manner. We have obtained the constraint of $d$. With the smallest number $d$, the complete solution of $C$ in $\hat{T/G}$ is obtained for both cases. In the case $G=\ZZ_3$, we have derived an effective method of constructing $C$ in $\hat{T/G}$, and obtained the explicit forms of rational curves for some other $d$ by this procedure.


title: Counterexamples of the Geometrization Conjecture

abstract: In this paper we propose counterexamples to the Geometrization Conjecture and the Elliptization Conjecture.


title: Bernoulli-Taylor formula for psi-umbral difference calculus

abstract: An expansion formula of a new type with the rest term of Cauchy type is derived in the operator formulation of generalized umbral calculus


title: Harness processes and harmonic crystals

abstract: In the Hammersley harness processes the real-valued height at each site i in Z^d is updated at rate 1 to an average of the neighboring heights plus a centered random variable (the noise). We construct the process "a la Harris" simultaneously for all times and boxes contained in Z^d. With this representation we compute covariances and show L^2 and almost sure time and space convergence of the process. In particular, the process started from the flat configuration and viewed from the height at the origin converges to an invariant measure. In dimension three and higher, the process itself converges to an invariant measure in L^2 at speed t^{1-d/2} (this extends the convergence established by Hsiao). When the noise is Gaussian the limiting measures are Gaussian fields (harmonic crystals) and are also reversible for the process.


title: The locus of centers of ellipses inscribed in quadrilaterals

abstract: Let R be a four-sided convex polygon in the xy plane and let M1 and M2 be the midpoints of the diagonals of R. It is well-known that if E is an ellipse inscribed in R, then the center of E must lie on Z, the open line segment connecting M1 and M2. We prove the converse: If (h,k) lies in Z, then there is a unique ellipse with center (h,k) inscribed in R. This completely characterizes the locus of centers of ellipses inscribed in R. This result was proved by the author in ("Finding ellipses and hyperbolas tangent to two, three, or four given lines", Southwest Journal of Pure and Applied Mathematics 1(2002), 6-32), but the approach given here is decidedly different and much shorter and more succinct. In addition, we are also able to prove that there is a unique ellipse of maximal area inscribed in R. The approach in this paper is to use a theorem of Marden relating the foci of an ellipse tangent to the lines thru the sides of a triangle and the zeros of a partial fraction expansion.


title: Ratio vectors of fourth degree polynomials

abstract: Let p(x) be a polynomial of degree 4 with four distinct real roots r1<r2<r3<r4. Let x1<x2<x3 be the critical points of p, and define the ratios s_{k}=((x_{k}-r_{k})/(r_{k+1}-r_{k})),k=1,2,3. For notational convenience, let s1=u, s2=v, and s3=w. (u,v,w) is called the ratio vector of p. We prove necessary and sufficient conditions for (u,v,w) to be a ratio vector of a polynomial of degree 4 with all real roots. Most of the necessary conditions were proven by the author in (On the Ratio Vectors of Polynomials, Journal of Mathematical Analysis and Applications 205(1997), 568-576). The main results of this paper involve using the theory of Groebner bases to prove that those conditions are also sufficient.


title: Invariant rings of orthogonal groups over the field of two elements

abstract: We determine the rings of invariants in the symmetric algebra on the dual of a vector space V over the field of two elements, for the group G of orthogonal transformations preserving a non-singular quadratic form on V. The invariant ring is shown to have a presentation in which the difference between the number of generators and the number of relations is equal to the minimum possibility, namely the dimension of V, and it is shown to be a complete intersection. In particular, the rings of invariants computed here are all Gorenstein and hence Cohen-Macaulay.


title: Miura Opers and Critical Points of Master Functions

abstract: Critical points of a master function associated to a simple Lie algebra \g come in families called the populations [MV1]. We prove that a population is isomorphic to the flag variety of the Langlands dual Lie algebra \g^t. The proof is based on the correspondence between critical points and differential operators called the Miura opers. For a Miura oper D, associated with a critical point of a population, we show that all solutions of the differential equation DY=0 can be written explicitly in terms of critical points composing the population.


title: An uncertainty inequality for finite abelian groups

abstract: Let G be a finite abelian group of order n. For a complex valued function f on G, let \fht denote the Fourier transform of f. The uncertainty inequality asserts that if f \neq 0 then |supp(f)| |supp(\fht)| \geq n. Answering a question of Terence Tao, the following improvement of the classical inequality is shown: Let d_1<d_2 be two consecutive divisors of n. If d_1 \leq k=|supp(f)| \leq d_2 then: |supp(\fht)| \geq \frac{n(d_1+d_2-k)}{d_1 d_2}


title: Homology stability for Unitary groups II

abstract: In this note the homology stability problem for hyperbolic unitary groups over a local ring with an infinite residue field is studied.


title: Third homology of general linear groups

abstract: The third homology group of GL_n(R) is studied, where R is a `ring with many units' with center Z(R). The main theorem states that if K_1(Z(R))_Q \simeq K_1(R)_Q, (e.g. R a commutative ring or a central simple algebra), then H_3(GL_2(R), Q) --> H_3(GL_3(R), Q) is injective. If R is commutative, Q can be replaced by a field k such that 1/2 is in k. For an infinite field R (resp. an infinite field R such that R*=R*^2), we get a better result that H_3(GL_2(R), Z[1/2] --> H_3(GL_3(R), Z[1/2]) (resp. H_3(GL_2(R), Z) --> H_3(GL_3(R), Z)) is injective. As an application we study the third homology group of SL_2(R) and the indecomposable part of K_3(R).


title: On Metric Completness and Completness in sense of Lattices

abstract: We give an answer to the following question: for which metric in an abstract lattice the completion as a metric space coincides with the completion as a lattice. We obtain the answer for inductive limits of lattices which are complete in both senses. As an application we construct such a metric in the lattice of continuous functions endowed with the uniform convergence.


title: L^2-Betti Numbers of Discrete Measured Groupoids

abstract: There are notions of L^2-Betti numbers for discrete groups (Cheeger-Gromov, Lueck), for type II_1-factors (recent work of Connes-Shlyakhtenko) and for countable standard equivalence relations (Gaboriau). Whereas the first two are algebraically defined using Lueck's dimension theory,Gaboriau's definition of the latter is inspired by the work of Cheeger and Gromov. In this article we give a definition of L^2-Betti numbers of discrete measured groupoids that is based on Lueck's dimension theory, thereby encompassing the cases of groups,equivalence relations and holonomy groupoids with an invariant measure for a complete transversal. We show that with our definition, like with Gaboriau's,the L^2-Betti numbers of a countable group G coincide with the L^2-Betti numbers of the orbit equivalence relation of a free action of G on a probability space. This yields a new proof of the fact the L^2-Betti numbers of groups with orbit equivalent actions coincide.


title: Homology over local homomorphisms

abstract: The notions of Betti numbers and of Bass numbers of a finite module N over a local ring R are extended to modules that are only assumed to be finite over S, for some local homomorphism f: R --> S. Various techniques are developed to study the new invariants and to establish their basic properties. In several cases they are computed in closed form. Applications go in several directions. One is to identify new classes of finite R-modules whose classical Betti numbers or Bass numbers have extremal growth. Another is to transfer ring theoretical properties between R and S in situations where S may have infinite flat dimension over R. A third is to obtain criteria for a ring equipped with a `contracting' endomorphism -- such as the Frobenius endomorphism -- to be regular or complete intersection; these results represent broad generalizations of Kunz's characterization of regularity in prime characteristic.


title: Families of elliptic curves with genus 2 covers of degree 2

abstract: We study genus 2 covers of relative elliptic curves over an arbitrary base in which 2 is invertible. Particular emphasis lies on the case that the covering degree is 2. We show that the data in the "basic construction" of genus 2 covers of relative elliptic curves determine the cover in a unique way (up to isomorphism). A classical theorem says that a genus 2 cover of an elliptic curve of degree 2 over a field of characteristic different from 2 is birational to a product of two elliptic curves over the projective line. We formulate and prove a generalization of this theorem for the relative situation. We also prove a Torelli theorem for genus 2 curves over an arbitrary base.


title: Non-constant curves of genus 2 with infinite pro-Galois covers

abstract: For every odd prime number p, we give examples of non-constant smooth families of genus 2 curves over fields of characteristic p which have pro-Galois (pro-\'etale) covers of infinite degree with geometrically connected fibers. The Jacobians of the curves are isomorphic to products of elliptic curves.


title: Comparison Theorem and Geometric Realization of Representations

abstract: In this paper we generalize the comparison theorem of Hecht and Taylor to arbitrary parabolic subalgebras of a complex reductive Lie algebra and then apply our generalized comparison theorem to obtain results about the geometric realization of representations in flag spaces.


title: Links and analytic invariants of superisolated singularities

abstract: By using superisolated surface singularities whose link is a rational homology sphere we give counterexamples to some of the most important conjetures concernig invariants of normal surface singularities.


title: Singularities with Symmetries, orbifold Frobenius algebras and Mirror Symmetry

abstract: Previously, we introduced a duality transformation for Euler $G$--Frobenius algebras. Using this transformation, we prove that the simple $A,D,E$ singularities and Pham singularities of coprime powers are mirror self--dual where the mirror duality is implemented by orbifolding with respect to the symmetry group generated by the grading operator and dualizing. We furthermore calculate orbifolds and duals to other $G$--Frobenius algebras which relate different $G$--Frobenius algebras for singularities. In particular, using orbifolding and the duality transformation we provide a mirror pairs for the simple boundary singularities $B_n$ and $F_4$. Lastly, we relate our constructions to $r$ spin--curves, classical singularity theory and foldings of Dynkin diagrams.


title: On Non-Squashing Partitions

abstract: A partition n = p_1 + p_2 + ... + p_k with 1 <= p_1 <= p_2 <= ... <= p_k is called non-squashing if p_1 + ... + p_j <= p_{j+1} for 1 <= j <= k-1. Hirschhorn and Sellers showed that the number of non-squashing partitions of n is equal to the number of binary partitions of n. Here we exhibit an explicit bijection between the two families, and determine the number of non-squashing partitions with distinct parts, with a specified number of parts, or with a specified maximal part. We use the results to solve a certain box-stacking problem.


title: Asymptotic flatness of the Weil-Petersson metric on Teichmuller space

abstract: The sectional curvature of the Weil-Petersson metric on Teichmuller space is known to be negative. We show that this Weil-Petersson sectional curvature is not pinched from above by any negative constants, i.e., there is no negative upper bound.


title: Algebraic Logic, Varieties of Algebras and Algebraic Varieties

abstract: The aim of the paper is to discuss the relations between the three kinds of objects named in the title. In a sense, this is a survey of such relations; however, some new directions are also considered. This relates, especially, to sections 3, 4 and 5, where we consider the universal algebraic geometry. This geometry is parallel to universal algebra.


abstract: We characterize Willmore tori in the 4-sphere with nontrivial normal bundle as Twistor projections of elliptic curves in complex projective space or as inverted minimal tori (with planar ends) in Euclidean 4-space.


title: \Sigma\Pi-polycategories, additive linear logic, and process semantics

abstract: We present a process semantics for the purely additive fragment of linear logic in which formulas denote protocols and (equivalence classes of) proofs denote multi-channel concurrent processes. The polycategorical model induced by this process semantics is shown to be equivalent to the free polycategory based on the syntax (i.e., it is full and faithfully complete). This establishes that the additive fragment of linear logic provides a semantics of concurrent processes. Another property of this semantics is that it gives a canonical representation of proofs in additive linear logic. This arXived version omits Section 1.7.1: "Circuit diagrams for polycategories" as the Xy-pic diagrams would not compile due to lack of memory. For a complete version see "http://www.cpsc.ucalgary.ca/~pastroc/".


title: Zeta functions of totally ramified p-covers of the projective line

abstract: In this paper we prove that there exists a Zariski dense open subset U defined over the rationals Q in the space of all one-variable rational functions with arbitrary k poles of prescribed orders, such that for every geometric point f in U(Qbar)$, the L-function of the exponential sum of f at a prime p has Newton polygon approaching the Hodge polygon as p approaches infinity. As an application to algebraic geometry, we prove that the p-adic Newton polygon of the zeta function of a p-cover of the projective line totally ramified at arbitrary k points of prescribed orders has an asymptotic generic lower bound.


title: Labelled and unlabelled enumeration of $k$-gonal 2-trees

abstract: In this paper, we generalize 2-trees by replacing triangles by quadrilaterals, pentagons or $k$-sided polygons ($k$-gons), where $k\geq 3$ is fixed. This generalization, to $k$-gonal 2-trees, is natural and is closely related, in the planar case, to some specializations of the cell-growth problem. Our goal is the labelled and unlabelled enumeration of $k$-gonal 2-trees according to the number $n$ of $k$-gons. We give explicit formulas in the labelled case, and, in the unlabelled case, recursive and asymptotic formulas.


title: On some recent results in the theory of the zeta-function

abstract: This review article brings forth some recent results in the theory of the Riemann zeta-function $qzeta(s)$.


title: The real locus of an involution map on the moduli space of flat connections on a Riemann surface

abstract: It is known that every nonorientable surface $\Sigma$ has an orientable double cover $\tilde{\Sigma}$. The covering map induces an involution on the moduli space $\tilde{\M}$ of gauge equivalence classes of flat $G$-connections on $\tilde{\Sigma}$. We identify the relation between the moduli space $\M$ and the fixed point set of the moduli space $\tilde{\M}$. In particular, $\M$ is isomorphic to the fixed point set of $\tilde{\M}$ if and only if the order of the center of $G$ is odd. One important application is that we give a way to construct a minimal Lagrangian submanifold of the moduli space $\tilde{\M}$.


title: Geometrical equivalence, geometrical similarity and geometrical compatibility of algebras

abstract: In the paper the main attention is paid to conditions on algebras from a given variety which provide coincidence of their algebraic geometries. The main part here play the notions mentioned in the title of the paper.


title: An Algebraic Approach to Knowledge Bases Informational Equivalence

abstract: In this paper we study the notion of knowledge from the positions of universal algebra and algebraic logic. We consider first order knowledge which is based on first order logic. We define categories of knowledge and knowledge bases. These notions are defined for the fixed subject of knowledge. The key notion of informational equivalence of two knowledge bases is introduced. We use the idea of equivalence of categories in this definition. We prove that for finite models there is a clear way to determine whether the knowledge bases are informationally equivalent


title: Integrability of the n-centre problem at high energies

abstract: It is shown that for generic configuration of the centres at high energy levels the n-centre problem is completely integrable by using $C^\infty$ integrals of the motion however it is not integrable in terms of real analytic functions


title: An example of a jump from chaos to integrability for magnetic geodesic flows

abstract: It is proved that the motion of a charge particle on a hyperbolic oriented two-dimensional surface in a magnetic field given by the volume form of the hyperbolic metric is completely integrable on the energy levels E < 1/2 in terms of real-analytic integrals. However it was known that on the level E=1/2 every trajectory is transitive and the restrictions of this flow onto the levels E>1/2 are Anosov flows


title: Line antiderivations over local fields and their applications

abstract: A non-Archimedean antiderivational line analog of the Cauchy-type line integration is defined and investigated over local fields. Classes of non-Archimedean holomorphic functions are defined and studied. Residues of functions are studied, Lorent series representations are described. Moreover, non-Archimedean antiderivational analogs of integral representations of functions and differential forms such as the Cauchy-Green, Martinelli-Bochner, Leray, Koppelman and Koppelman-Leray formulas are investigated. Applications to manifold and operator theories are studied.


title: Nonstandard Analysis Applied to Advanced Undergraduate Mathematics - Infinitesimal Modeling

abstract: This is a Research and Instructional Development Project from the U. S. Naval Academy. In this monograph, the basic methods of nonstandard analysis for n-dimensional Euclidean spaces are presented. Specific rules are deveoped and these methods and rules are applied to rigorous integral and differential modeling. The topics include Robinson infinitesimals, limited and infinite numbers; convergence theory, continuity, *-transfer, internal definition, hyprefinite summation, Riemann-Stieltjes integration over Jordan-measurable regions; modeling with integrals via Infinite Sum Theorems; the nonstandard integral modeling rules - the method of constants, the methods of max. and min., and the hyperfinite sum; pure infinitesimal integral modeling via geometric elements; microgeometry, line and surface integrals, gauge integrals, fluxions and their relations to dynamic geometry. These rigorous results are also applied to lengths of curves, areas and volumes for Jordan-measurable regions, incompressible fluids, moments of inertia, electric field vectors, force fields and very elementary physics. Also presented are rigorous differential derivations for the partial differential equations for internal heat transfer and the vibrating membrane. All results are rigorously established and, mostly, all proofs appear in the appendix.


title: Exponential Gelfond-Khovanskii formula in dimension one

abstract: Gelfond and Khovanskii found a formula for the sum of the values of a Laurent polynomial over the zeros of a system of n Laurent polynomials in the algebraic n-torus. We expect that a similar formula holds in the case of exponential sums with real frequencies. Here we prove such a formula in dimension 1.


title: Equations of Shimura curves of genus 2

abstract: We present explicit models for Shimura curves X_D and Atkin-Lehner quotients X_D/w_m of them of genus 2. We show that several equations conjectured by Kurihara are correct and compute for them the kernel of Ribet's isogeny J_0(D)^{new} --> J_D between the new part of the Jacobian of the modular curve X_0(D) and the Jacobian of X_D.


title: Shimura curves embedded in Igusa's threefold

abstract: Let O be a maximal order in a totally indefinite quaternion algebra over a totally real number field. In this note we study the locus Q_O of quaternionic multiplication by O in the moduli space A_g of principally polarized abelian varieties of even dimension g with particular emphasis in the two-dimensional case. We describe Q_O as a union of Atkin-Lehner quotients of Shimura varieties and we compute the number of irreducible components of Q_O in terms of class numbers of CM-fields.


title: Some examples of aspherical 4-manifolds that are homology 4-spheres

abstract: In this paper, Problem 4.17 on R. Kirby's problem list is solved by constructing infinitely many aspherical 4-manifolds that are homology 4-spheres


title: Quicksort with unreliable comparisons: a probabilistic analysis

abstract: We provide a probabilistic analysis of the output of Quicksort when comparisons can err.


title: Effective Dynamics of Magnetic Vortices

abstract: We study solutions of Ginzburg-Landau-type evolution equations (both dissipative and Hamiltonian) with initial data representing collections of widely-spaced vortices. We show that for long times, the solutions continue to describe collections of vortices, and we identify (to leading order in the vortex separation) the dynamical system describing the motion of the vortex centres (effective dynamics).


title: HNN Extensions of von Neumann Algebras

abstract: Reduced HNN extensions of von Neumann algebras (as well as $C^*$-algebras) will be introduced, and their modular theory, factoriality and ultraproducts will be discussed. In several concrete settings, detailed analysis on them will be also carried out.


title: Open Diophantine Problems

abstract: We collect a number of open questions concerning Diophantine equations, Diophantine Approximation and transcendental numbers. Revised version: corrected typos and added references.


title: On the mod p cohomology of BPU(p)

abstract: We study the mod p cohomology of the classifying space of the projective unitary group PU(p). We first proof that old conjectures due to J.F. Adams, and Kono and Yagita about the structure of the mod p cohomology of classifying space of connected compact Lie groups held in the case of PU(p). Finally, we proof that the classifying space of the projective unitary group PU(p) is determined by its mod p cohomology as an unstable algebra over the Steenrod algebra for p>3, completing previous works for the cases p=2,3.


title: Stability data and t-structures on a triangulated category

abstract: We propose the notion of stability on a triangulated category that is a generalization of the T.Bridgeland's stability data. We establish connections between stabilities and t-structures on a category and as application we get the classification of bounded t-structures on the bounded derived category of coherent sheaves on a line.


title: On finiteness conjectures for endomorphism algebras of abelian surfaces

abstract: It is conjectured that there exist finitely many isomorphism classes of simple endomorphism algebras of abelian varieties of GL_2-type over \Q of bounded dimension. We explore this conjecture when particularized to quaternion endomorphism algebras of abelian surfaces by giving a moduli interpretation which translates the question into the diophantine arithmetic of Shimura curves embedded in Hilbert surfaces. We address the resulting problems on these curves by local and global methods, including Chabauty techniques on explicit equations of Shimura curves.


title: Sojourn times in the M/G/1 FB queue with light-tailed service times

abstract: The asymptotic decay rate of the sojourn time of a customer in the stationary M/G/1 queue under the Foreground Background (FB) service discipline is studied. The FB discipline gives service to those customers that have received the least service so far. We prove that for light-tailed service times the decay rate of the sojourn time is equal to the decay rate of the busy period. It is shown that FB minimises the decay rate in the class of work-conserving disciplines.


title: How special is your Aronszajn tree?

abstract: The following is consistent: There is a stationary set S such that every Aronszajn tree is S-*-special and there is an Aronszajn tree T such that for every unbounded E we have T is not E-special. This answers a question of Shelah (Proper and Improper Forcing, IX.4.9(5).


title: A generalized Vandermonde determinant

abstract: This paper has been withdrawn while the author verifies the literature.


title: A homological approach for computing the tangent space of the deformation functor of curves with automorphisms

abstract: We give an alternative approach to the computation of the dimension of the tangent space of the deformation space of curves with automorphisms. A homological version of the local-global principle similar to the one of J.Bertin, A. M\'ezard is proved, and a computation in the case of ordinary curves is obtained, by application of the results of S. Nakajima for the Galois module structure of the space of 2-holomorphic differentials on them.


title: The On-Line Encyclopedia of Integer Sequences

abstract: This article gives a brief introduction to the On-Line Encyclopedia of Integer Sequences (or OEIS). The OEIS is a database of nearly 90,000 sequences of integers, arranged lexicographically. The entry for a sequence lists the initial terms (50 to 100, if available), a description, formulae, programs to generate the sequence, references, links to relevant web pages, and other information.


title: Mapping class groups are linear

abstract: It is shown, that the mapping class group of a surface of the genus g > 1 admits a faithful representation into the matrix group GL (6g-6, Z). The proof is based on a categorical correspondence between the Riemann surfaces and the so-called toric AF-algebras.


title: Kato's inequality and asymptotic spectral properties for discrete magnetic Laplacians

abstract: In this paper, a discrete form of the Kato inequality for discrete magnetic Laplacians on graphs is used to study asymptotic properties of the spectrum of discrete magnetic Schrodinger operators. We use the existence of a ground state with suitable properties for the ordinary combinatorial Laplacian and semigroup domination to relate the combinatorial Laplacian with the discrete magnetic Laplacian.


title: Continuous and discontinuous phase transitions in hypergraph processes

abstract: Let V denote a set of N vertices. To construct a "hypergraph process", create a new hyperedge at each event time of a Poisson process; the cardinality K of this hyperedge is random, with arbitrary probability generating function r(x), except that we assume P(K=1) +P(K=2) > 0. Given K=k, the k vertices appearing in the new hyperedge are selected uniformly at random from V. Hyperedges of cardinality 1 are called patches, and serve as a way of selecting root vertices. Identifiable vertices are those which are reachable from these root vertices, in a strong sense which generalizes the notion of graph component. Hyperedges are also called identifiable if all of their vertices are identifiable. We use "fluid limit" scaling: hyperedges arrive at rate N, and we study structures of size O(1) and O(N). After division by N, numbers of identifiable vertices and reducible hyperedges exhibit phase transitions, which may be continuous or discontinuous depending on the shape of the structure function -log(1 - x)/r'(x), for x in (0,1). Both the case P(K=1) > 0 and the case P(K=1) = 0 < P(K=2) are considered; for the latter, a single extraneous patch is added to mark the root vertex.


title: On the Cachazo-Douglas-Seiberg-Witten conjecture for simple Lie algebras, II

abstract: Recently, motivated by supersymmetric gauge theory, Cachazo, Douglas, Seiberg, and Witten proposed a conjecture about finite dimensional simple Lie algebras, and checked it in the classical cases. Later V. Kac and the author proposed a uniform approach to this conjecture, based on the theory of abelian ideals in the Borel subalgebra; this allowed them to check the conjecture for type G_2. In this note we further develop this approach, and propose three natural conjectures which imply the three parts of the CDSW conjecture. In a sense, these conjectures explain why the CDSW conjecture should be true. We show that our conjectures hold for classical Lie algebras and for G_2; this, in particular, gives a purely algebraic proof of the CDSW conjecture for SO(N) (the original proof, due to Witten, uses the theory of instantons).


title: Theta lifting of nilpotent orbits for symmetric pairs

abstract: We consider a reductive dual pair (G, G') in the stable range with G' the smaller member and of Hermitian symmetric type. We study the theta lifting of nilpotent K'_C-orbits, where K' is a maximal compact subgroup of G' and we describe the precise K_C-module structure of the regular function ring of the closure of the lifted nilpotent orbit of the symmetric pair (G, K). As an application, we prove sphericality and normality of the closure of certain nilpotent K_C-orbits obtained in this way. We also give integral formulas for their degrees.


title: Riemann-Roch-Hirzebruch integral formula for characters of reductive Lie groups

abstract: Let G_R be a real reductive Lie group acting on a manifold M. M.Kashiwara and W.Schmid in [KaSchm] constructed representations of G_R using sheaves and quasi-G_R-equivariant D-modules on M. In this article we prove an integral character formula for these representations (Theorem 1). Our main tools will be the integral localization formula recently proved in [L3] and the integral character formula proved by W.Schmid and K.Vilonen in [SchV2] (originally established by W. Rossmann in [Ro]) in the important special case when the manifold M is the flag variety of the complexified Lie algebra of G_R. In the special case when G_R is commutative and the D-module is the sheaf of sections of a G_R-equivariant line bundle over M this integral character formula will reduce to the classical Riemann-Roch-Hirzebruch formula. As an illustration we give a concrete example on the enhanced flag variety.


title: The divergence of Banach space valued random variables on Wiener space

abstract: The domain of definition of the divergence operator \delta on an abstract Wiener space (W, H, \mu) is extended to include W-valued and W\otimesW-valued "integrands". The main properties and characterizations of this extension are derived and it is shown that in some sense the added elements in \delta's extended domain have divergence zero. These results are then applied to the analysis of quasiinvariant flows induced by W-valued vector fields and, among other results, it turns out that these divergence-free vector fields "are responsible" for generating measure preserving flows.


title: Problems from Topology Proceedings

abstract: This book consists of material originally appearing in the Problem Section of the journal Topology Proceedings since 1976 as well as some other well-known problem lists in general topology from the 1970's that have some connection to the journal. The problems have been updated with current information on solutions with bibliographic references. In particular, the book features these collections: All contributed problems to the Problem Section, classified by subject; Eight Classic Problems by Peter J. Nyikos, including information from the two recent articles Twenty-five years later; New Classic Problems from 1990; Problems from Mary Ellen Rudin's Lecture notes in set-theoretic topology (1975/7); Problems from A.V. Arhangelskii's Structure and classification of topological spaces and cardinal invariants (1978); Continuum theory problems by Wayne Lewis (1983); Problems in continuum theory by Janusz R. Prajs, including essays by Charles L. Hagopian and Janusz J. Charatonik; Classification of homogeneous continua by James T. Rogers, Jr., including material from survey articles of 1983 and 1989.


title: One recent development of the M_3 vs. M_1 problem

abstract: We survey the problem of whether M_3 spaces are M_1 spaces.


title: Algebraic formulas whose structure imitates Pachner moves and new types of acyclic complexes

abstract: What discuss the problem of obtaining new manifold invariants via different analogues of 6j-symbols and the torsion of acyclic complexes.


title: Supernearness spaces as a tool for studying unification and extensions

abstract: We discuss supernear spaces.


title: Hochschild Cohomology of skew group rings and invariants

abstract: Let $A$ be a $k$-algebra and $G$ be a group acting on $A$. We show that $G$ also acts on the Hochschild cohomology algebra $HH^{\bullet}(A)$ and that there is a monomorphism of rings $HH^{\bullet}(A)^G \hookrightarrow HH^{\bullet}(A[G])$. That allows us to show the existence of a monomorphism from $HH^{\bullet}(\widetilde{A})^G$ into $HH^{\bullet}(A)$, where $\widetilde{A}$ is a Galois covering with group $G$.


title: Box ball system associated with antisymmetric tensor crystals

abstract: A new box ball system associated with an antisymmetric tensor crystal of the quantum affine algebra of type A is considered. This includes the so-called colored box ball system with capacity 1 as the simplest case. Infinite number of conserved quantities are constructed and the scattering rule of two olitons are given explicitly.


title: Biography of John Rainwater

abstract: The following paragraphs will describe the origins of John Rainwater, the impact of his work, the motivations for various parts of it and the prospects for his future.


title: Curve Shortening Flow in a Riemannian Manifold

abstract: In this paper, we systemally study the long time behavior of the curve shortening flow in a closed or non-compact complete locally Riemannian symmetric manifold. Assume that we have a global flow. Then we can exhibit a a limit for the global behavior of the flow. In particular, we show the following results. 1). Let $\mathbf{M}$ be a compact locally symmetric space. If the curve shortening flow exists for infinite time, and $$ \lim_{t\to\infty}L(\gamma_{t})>0, $$ then for every $n>0$, $$ \lim_{t\to \infty}\sup(|\frac{D^{n}T}{\partial s^{n}}|)=0. $$ In particular, the limiting curve exists and is a closed geodesic in $\mathbf{M}$. 2). For $\gamma_{0}$ is a ramp, we have a global flow and the flow converges to a geodesic in $C^{\infty}$ norm.


title: Asymptotic behavior of positive solutions of some quasilinear elliptic problems

abstract: We discuss the asymptotic behavior of positive solutions of the quasilinear elliptic problem $-\Delta_p u=a u^{p-1}-b(x) u^q$, $u|_{\partial \Omega}=0$ as $q \to p-1+0$ and as $q \to \infty$ via a scale argument. Here $\Delta_p$ is the $p$-Laplacian with $1<p<\infty$ and $q>p-1$. If $p=2$, such problems arise in population dynamics. Our main results generalize the results for $p=2$, but some technical difficulties arising from the nonlinear degenerate operator $-\Delta_p$ are successfully overcome. As a by-product, we can solve a free boundary problem for a nonlinear $p$-Laplacian equation.


title: Symplectic forms invariant under free circle actions on 4--manifolds

abstract: Let $M^4$ be a smooth compact manifold with a free circle action generated by a vector field $X.$ Then for any invariant symplectic form $\omega$ on $M$ the contracted form $\iota_X \omega$ is nondegenerate. Using the map $\omega --> \iota_X \omega$ and the related map to $H^1(M / S^1, R)$ we study the topology of the space $S_{inv}$ of invariant symplectic forms. In particular we give a description of $\pi_0 S_{inv}(M^4)$ in terms of the unit Thurston ball.


title: Frobenius-Schur indicators for a class of fusion categories

abstract: We give an explicit description, up to gauge equivalence, of group-theoretical quasi-Hopf algebras. We use this description to compute the Frobenius-Schur indicators for group-theoretical fusion categories.


title: Nonintersecting Subspaces Based on Finite Alphabets

abstract: Two subspaces of a vector space are here called ``nonintersecting'' if they meet only in the zero vector. The following problem arises in the design of noncoherent multiple-antenna communications systems. How many pairwise nonintersecting M_t-dimensional subspaces of an m-dimensional vector space V over a field F can be found, if the generator matrices for the subspaces may contain only symbols from a given finite alphabet A subseteq F? The most important case is when F is the field of complex numbers C; then M_t is the number of antennas. If A = F = GF(q) it is shown that the number of nonintersecting subspaces is at most (q^m-1)/(q^{M_t}-1), and that this bound can be attained if and only if m is divisible by M_t. Furthermore these subspaces remain nonintersecting when ``lifted'' to the complex field. Thus the finite field case is essentially completely solved. In the case when F = C only the case M_t=2 is considered. It is shown that if A is a PSK-configuration, consisting of the 2^r complex roots of unity, the number of nonintersecting planes is at least 2^{r(m-2)} and at most 2^{r(m-1)-1} (the lower bound may in fact be the best that can be achieved).


title: Existence of zeros for operators taking their values in the dual of a Banach space

abstract: We prove, under certain conditions, the existence of zeros for a weakly continuous operator on a paracompact topological space into the dual of a Banach space.


title: A criterion for positive polynomials

abstract: Let F be a homogeneous real polynomial of even degree in any number of variables. We consider the problem of giving explicit conditions on the coefficients so that F is positive definite or positive semi-definite. In this note we produce a necessary condition for positivity and a sufficient condition for non-negativity, in terms of positivity or semi-positivity of a one-variable characteristic polynomial of F. Also, we review another well-known sufficient condition.


abstract: In this paper, we study non-Cohen--Macaulay Buchsbaum Stanley--Reisner rings with linear free resolution. In particular, for given integers $c$, $d$, $q$ with $c \ge 1$, $2 \le q \le d$, we give an upper bound $h_{c,d,q}$ on the dimension of the unique non-vanishing homology $\widetilde{H}_{q-2}(\Delta;k)$ of a $d$-dimensional Buchsbaum ring $k[\Delta]$ with $q$-linear resolution and codimension $c$. Also, we discuss about existence for such Buchsbaum rings with $\dim_k \widetilde{H}_{q-2}(\Delta;k) = h$ for any $h$ with $0 \le h \le h_{c,d,q}$, and prove an existence theorem in the case of $q=d=3$ using the notion of Cohen--Macaulay linear cover. On the other hand, we introduce the notion of Buchsbaum Stanley--Reisner rings with minimal multiplicity of type $q$, which extends the notion of Buchsbaum rings with minimal multiplicity defined by Goto. As an application, we give many examples of Buchsbaum Stanley--Reisner rings with $q$-linear resolution.


title: Cyclic covers of prime power degree, jacobians and endomorphisms

abstract: Suppose that $K$ is a field of characteristic 0, $K_a$ is its algebraic closure, $p$ is a prime, $q=p^r$ is a power prime. Suppose that $f(x) \in K[x]$ is a polynomial of degree $n > 4$ without multiple roots. Let us consider the superelliptic curve $C: y^q=f(x)$ and its jacobian $J(C)$. We study the endomorphism algebra $End^0(J(C))$ of all $K_a$-endomorphisms of $J(C)$. We prove that $End^0(J(C))$ is "as small as possible" if the Galois group of $f$ over $K$ is either the full symmetric group $S_n$ or the alternating group $A_n$.


title: Comparing the automorphism group of the measure algebra with some groups related to the infinite permutation group of the natural numbers

abstract: We prove, by a straight construction, that the automorphism group of the measure algebra and the subgroup of the measure preserving ones cannot be isomorphic to the trivial automorphisms of P(N)/fin.


title: Complete ccc Boolean algebras, the order sequential topology, and a problem of von Neumann

abstract: It is consistent that every weakly distributive complete ccc Boolean algebra carries a strictly positive Maharam submeasure.


title: Cherednik algebras and Hilbert schemes in characteristic p (with an appendix by Pavel Etingof)

abstract: We prove a localization theorem for the type A rational Cherednik algebra H_c=H_{1,c} over an algebraic closure of the finite field F_p. In the most interesting special case where the parameter c takes values in F_p, we construct an Azumaya algebra A_c on Hilb^n, the Hilbert scheme of n points in the plane, such that the algebra of global sections of A_c is isomorphic to H_c. Our localisation theorem provides an equivalence between the bounded derived categories of H_c-modules and sheaves of coherent A_c-modules on the Hilbert scheme, respectively. Furthermore, we show that the Azumaya algebra splits on the formal completion of each fiber of the Hilbert-Chow morphism. This provides a link between our results and those of Bridgeland-King-Reid and Haiman.


title: An isomorphic version of the slicing problem

abstract: Here we show that any n-dimensional centrally symmetric convex body K has an n-dimensional perturbation T which is convex and centrally symmetric, such that the isotropic constant of T is universally bounded. T is close to K in the sense that the Banach-Mazur distance between T and K is O(log n). If K has a non-trivial type then the distance is universally bounded. In addition, if K is quasi-convex then there exists a quasi-convex T with a universally bounded isotropic constant and with a universally bounded distance to K.


title: Homotopical structures in categories

abstract: In this paper is presented a new approach to the axiomatic homotopy theory in categories, which offers a simpler and more useful answer to this old question: how two objects in a category (without any topological feature) can be deformed each in other?


title: The Reznichenko property and the Pytkeev property in hyperspaces

abstract: We investigate two closure-type properties, the Reznichenko property and the Pytkeev property, in hyperspace topologies.


title: Fusion products, cohomology of GL(N) flag manifolds and Kostka polynomials

abstract: This paper explains the relation between the fusion product of symmetric power sl(n) evaluation modules, as defined by Feigin and Loktev, and the graded coordinate ring R(mu), which describes the cohomology ring of the flag variety Fl(mu) of GL(N). The graded multiplicity spaces appearing in the decomposition of the fusion product into irreducible sl(n)-modules are identified with the multiplicity spaces of the Specht modules in R(mu). This proves that the Kostka polynomial gives the character of the fusion product in this case. In the case of the product of fundamental evaluation modules, we give the precise correspondence with the reduced wedge product, and thus the usual wedge space construction of irreducible level-1 ^sl(n)-modules in the limit N->infty. The multiplicity spaces are W(sl(n))-algebra modules in this limit.


title: Global existence for the Einstein vacuum equations in wave coordinates

abstract: We prove global stability of Minkowski space for the Einstein vacuum equations in harmonic (wave) coordinate gauge for the set of restricted data coinciding with Schwartzschild solution in the neighborhood of space-like infinity. The result contradicts previous beliefs that wave coordinates are "unstable in the large" and provides an alternative approach to the stability problem originally solved (for unrestricted data, in a different gauge and with a precise description of the asymptotic behavior at null infinity) by D. Christodoulou and S. Klainerman. Using the wave coordinate gauge we recast the Einstein equations as a system of quasilinear wave equations and, in absence of the classical null condition, establish a small data global existence result. In our previous work we introduced the notion of a eak nul condition and showed that the Einstein equations in wave coordinates satisfy this condition. The result of this paper relies on this observation and combines it with the vector field method based on the symmetries of the standard Minkowski space. In a forthcoming paper we will address the question of stability of Minkowski space for the Einstein vacuum equations in wave coordinates for all "small" asymptotically flat data and the case of the Einstein equations coupled to a scalar field.


title: The structure of finite clusters in high intensity Poisson Boolean stick process

abstract: Sticks at one of different orientation are placed in an i.i.d. fashion at points of a Poisson point process of intensity $\lambda$. Sticks of the same direction have the same length, while sticks in different directions may have different lengths. We study the geometry of finite cluster as $\lambda \to \infty$. The asymptotic shape of the custer being determined by the probabilities of the sticks in various direction and their lengths and orientations. We also obtain the limiting geometric structure of this component.


title: C^*-algebras associated with self-similar sets

abstract: Let $\gamma = (\gamma_1,...,\gamma_N)$, $N \geq 2$, be a system of proper contractions on a complete metric space. Then there exists a unique self-similar non-empty compact subset $K$. We consider the union ${\mathcal G} = \cup_{i=1}^N \{(x,y) \in K^2 ; x = \gamma_i(y)\}$ of the cographs of \gamma _i$. Then $X = C({\mathcal G})$ is a Hilbert bimodule over $A = C(K)$. We associate a $C^*$-algebra ${\mathcal O}_{\gamma}(K)$ with them as a Cuntz-Pimsner algebra ${\mathcal O}_X$. We show that if a system of proper contractions satisfies the open set condition in $K$, then the $C^*$-algebra ${\mathcal O}_{\gamma}(K)$ is simple and purely infinite, which is not isomorphic to a Cuntz algebra in general.


title: Eigenvalues and homology of flag complexes and vector representations of graphs

abstract: Let X(G) denote the flag complex of a graph G=(V,E) on n vertices. We study relations between the first eigenvalues of successive higher Laplacians of X(G). One consequence is the following result: Let \lambda_2(G) denote the second smallest eigenvalue of the Laplacian of G. If \lambda_2(G)> \frac{kn}{k+1} then the real k-th reduced cohomology group H^k(X(G)) is zero. Applications include a lower bound on the homological connectivity of the independent sets complex I(G), in terms of a new graph domination parameter \Gamma(G) defined via certain vector representations of G. This in turns implies a Hall type theorem for systems of disjoint representatives in hypergraphs.


title: Symplectic capacities of toric manifolds and related results

abstract: In this paper we give concrete estimations for the pseudo symplectic capacities of toric manifolds in combinatorial data. Some examples are given to show that our estimates can compute their pseudo symplectic capacities. As applications we also estimate the symplectic capacities of the polygon spaces. Other related results are impacts of symplectic blow-up on symplectic capacities, symplectic packings in symplectic toric manifolds, the Seshadri constant of an ample line bundle on toric manifolds, and symplectic capacities of symplectic manifolds with $S^1$-action.


title: Unifom chains of small transfinite rank

abstract: We extend F.Pastjin's construction of uniform decomposable chains of finite rank to those of rank 'finite over a limit' and investigate infinite products and unions of such chains. We derive an extension of Pastjin's characterisation to uniform decomposable chains of small transfinite rank (less than or equal to 'omega+omega'). We conclude by indicating how the resulting descriptions can be iterated to chains of rank 'omega to the omega', and beyond.


title: Algebraic geometry in First Order Logic

abstract: In every variety of algebras $\Theta$ we can consider its logic and its algebraic geometry. In the previous papers geometry in equational logic, i.e., equational geometry has been studied. Here we describe an extension of this theory towards the First Order Logic (FOL). The algebraic sets in this geometry are determined by arbitrary sets of FOL formulas. The principal motivation of such generalization lies in the area of applications to knowledge science. In this paper the FOL formulae are considered in the context of algebraic logic. With this aim we define special Halmos categories. These categories in the algebraic geometry related to FOL play the same role as the category of free algebras $\Theta^0$ play in the equational algebraic geometry. The paper consists of three parts. Section 1 is of introductory character. The first part (sections 2--4) contains background on algebraic logic in the given variety of algebras $\Theta$. The second part is devoted to algebraic geometry related to FOL (sections 5--7). In the last part (sections 8--9) we consider applications of the previous material to knowledge science.


title: On F-pure thresholds

abstract: Using the Frobenius map, we introduce a new invariant for a pair $(R,\a)$ of a ring $R$ and an ideal $\a \subset R$, which we call the F-pure threshold $\mathrm{c}(\a)$ of $\a$, and study its properties. We see that the F-pure threshold characterizes several ring theoretic properties. By virtue of Hara and Yoshida's result, the F-pure threshold $\mathrm{c}(\a)$ in characteristic zero corresponds to the log canonical threshold $\mathrm{lc}(\a)$ which is an important invariant in birational geometry. Using the F-pure threshold, we prove some ring theoretic properties of three-dimensional terminal singularities of characteristic zero. Also, in fixed prime characteristic, we establish several properties of F-pure threshold similar to those of the log canonical threshold with quite simple proofs.


title: Non-smooth differential geometry and algebras of generalized functions

abstract: Algebras of generalized functions offer possibilities beyond the purely distributional approach in modelling singular quantities in non-smooth differential geometry. This article presents an introductory survey of recent developments in this field and highlights some applications in mathematical physics.


title: The energy operator for infinite statistics

abstract: We construct the energy operator for particles obeying infinite statistics defined by a q-deformation of the Heisenberg algebra. (This paper appeared published in CMP in 1992, but was not archived at the time.)


title: Mod $\ell$ representations of arithmetic fundamental groups: Part I (An analog of Serre's conjecture for function fields)

abstract: We formulate for function fields an analog of Serre's conjecture on the modularity of 2-dimensional irreducible mod l representations of the absolute Galois group of Q: our analog is not restricted to 2-dimensional represntations. While the original conjecture of Serre is wide open at the moment, in this paper we prove the function field analog of Serre's conjecture only assuming largeness of image of the representation and some assumptions on the ramification of the representation (for example if the mod l representation is unramified and has full image, l is odd and the dimension and characteristic of the representation are coprime).


title: Mod $\ell$ representations of arithmetic fundamental groups II (A conjecture of A.J. de Jong)

abstract: As a sequel to our proof of the analog of Serre's conjecture for function fields in Part I of this work, we study in this paper the deformation rings of $n$-dimensional mod $\ell$ representations $\rho$ of the arithmetic fundamental group $\pi_1(X)$ where $X$ is a geometrically irreducible, smooth curve over a finite field $k$ of characteristic $p$ ($\neq \ell$). We are able to show in many cases that the resulting rings are finite flat over $\BZ_\ell$. The proof principally uses a lifting result of the authors in Part I of this two-part work, Taylor-Wiles systems and the result of Lafforgue. This implies a conjecture of A.J. ~de Jong for representations with coefficients in power series rings over finite fields of characteristic $\ell$, that have this mod $\ell$ representation as their reduction.


title: Non-hopfian relatively free groups

abstract: To solve problems of Gilbert Baumslag and Hanna Neumann, posed in the 1960's, we construct a nontrivial variety of groups all of whose noncyclic free groups are non-hopfian.


title: On varieties of groups in which all periodic groups are abelian

abstract: To solve a number of problems on varieties of groups, stated by Kleiman, Kuznetsov, Ol'shanskii, Shmel'kin in the 1970's and 1980's, we construct continuously many varieties of groups in which all periodic groups are abelian and whose pairwise intersections are the variety of all abelian groups.


title: On identities in groups of fractions of cancellative semigroups

abstract: To solve two problems of Bergman stated in 1981, we construct a group $G$ such that $G$ contains a free noncyclic subgroup (hence, $G$ satisfies no group identity) and $G$, as a group, is generated by its subsemigroup that satisfies a nontrivial semigroup identity.


title: Quantum symmetric functions

abstract: We study quantum deformations of Poisson orbivarieties. Given a Poisson manifold $(\mathbb{R}^{m},\alpha)$ we consider the Poisson orbivariety $(\mathbb{R}^{m})^{n}/S_{n}$. The Kontsevich star product on functions on $(\mathbb{R}^{m})^{n}$ induces a star product on functions on $(\mathbb{R}^{m})^{n}/S_{n}$. We provide explicit formulae for the case ${{\mathfrak h} \times {\mathfrak h}}/\mathcal{W}$, where ${\mathfrak h}$ is the Cartan subalgebra of a classical Lie algebra ${\mathfrak g}$ and $\mathcal{W}$ is the Weyl group of ${\mathfrak h}$. We approach our problem from a fairly general point of view, introducing Polya functors for categories over non-symmetric Hopf operads.


title: Global stabilization of controlled nonlinear system "inverted pendulum on a cart" using method of two Lyapunov functions

abstract: Title: Global stabilization of control nonlinear system "inverted pendulum on a cart" using method of two Lyapunov functions Authors: B. L. Mazov (Nizhny Novgorod Technical University) Comments: 10 pages Subj-class: Dynamical Systems MSC-class: 34D23 (Primary); 93H10 (Secondary) In this work a mathematical apparatus for method of several global Lyapunov functions is applied to study the stability properties of nonlinear model of concrete singularly perturbed mechanical system "inverted pendulum on a cart" with discontinuous relay-type control. In this analysis, the concept of solution in sense of Gelig et al. is used.