title: ALAG - quantization

abstract: This paper proposes a new way to quantize classical mechanical systems. Here we use ALAG - programme to construct moduli space of half weighted Bohr - Sommerfeld lagrangian cycles of fixed volume which is our quantum phase space. "Dynamical correspondence" principle makes possible to prove that this ALAG - quantization satisfies the Dirac correspondence principle. This construction relates two known quantizations using complex and real polarizations respectively.


title: On the simplest split-merge operator on the infinite-dimensional simplex

abstract: We consider the simplest split-merge Markov operator $T$ on the infinite-dimensional simplex $\Sigma_1$ of monotone non-negative sequences with unit sum. For a sequence $x\in\Sigma_1$, it picks a size-biased sample (with replacement) of two elements of $x$; if these elements are distinct, it merges them and reorders the sequence, and if the same element is picked twice, it splits this element uniformly into two parts and reorders the sequence. We prove that the means along the $T$-trajectory of the $\de$-measure at the vector $(1,0,0,{...})$ converge to the Poisson--Dirichlet distribution PD(1).


title: Deformation quantization of algebraic varieties

abstract: The paper is devoted to peculiarities of the deformation quantization in the algebro-geometric context. A direct application of the formality theorem to an algebraic Poisson manifold gives a canonical sheaf of categories deforming coherent sheaves. The global category is very degenerate in general. Thus, we introduce a new notion of a semi-formal deformation, a replacement in algebraic geometry of an actual deformation (versus a formal one). Deformed algebras obtained by semi-formal deformations are Noetherian and have polynomial growth. We propose constructions of semi-formal quantizations of projective and affine algebraic Poisson manifolds satisfying certain natural geometric conditions. Projective symplectic manifolds (e.g. K3 surfaces and abelian varieties) do not satisfy our conditions, but projective spaces with quadratic Poisson brackets and Poisson-Lie groups can be semi-formally quantized.


title: Identifying Half-Twists Using Randomized Algorithm Methods

abstract: Since the braid group was discovered by E. Artin, the question of its conjugacy problem has been solved by Garside and Birman, Ko and Lee. However, the solutions given thus far are difficult to compute with a computer, since the number of operations needed is extremely large. Meanwhile, random algorithms used to solve difficult problems such as primality of a number were developed, and the random practical methods have become an important tool. We give a random algorithm, along with a conjecture of how to improve its convergence speed, in order to identify elements in the braid group, which are conjugated to its generators for a given power. These elements of the braid group, the half-twists, are important in themselves, as they are the key players in some geometrical and algebraical methods, the building blocks of quasipositive braids and they construct endless sets of generators for the group.


title: Bounded Imaginary Powers of Differential Operators on Manifolds with Conical Singularities

abstract: We study the minimal and maximal closed extension of a differential operator A on a manifold B with conical singularities, when A acts as an unbounded operator on weighted L^p-spaces over B, 1 < p < \infty. Under suitable ellipticity assumptions we can define a family of complex powers A^z. We also obtain sufficient information on the resolvent of A to show the boundedness of the purely imaginary powers. Examples concern unique solvability and maximal regularity for the solution of the Cauchy problem for the Laplacian on conical manifolds as well as certain quasilinear diffusion equations.


title: Absolutely indecomposable representations and Kac-Moody Lie algebras (with an appendix by Hiraku Nakajima)

abstract: A conjecture of Kac states that the polynomial counting the number of absolutely indecomposable representations of a quiver over a finite field with given dimension vector has positive coefficients and furthermore that its constant term is equal to the multiplicity of the corresponding root in the associated Kac-Moody Lie algebra. In this paper we prove these conjectures for indivisible dimension vectors.


title: On the structure of weak Hopf algebras

abstract: We study the group of group-like elements of a weak Hopf algebra and derive an analogue of Radford's formula for the fourth power of the antipode S, which implies that the antipode has a finite order modulo a trivial automorphism. We find a sufficient condition in terms of Tr(S^2) for a weak Hopf algebra to be semisimple, discuss relation between semisimplicity and cosemisimplicity, and apply our results to show that a dynamical twisting deformation of a semisimple Hopf algebra is cosemisimple.


title: Calculating canonical distinguished involutions in the affine Weyl groups

abstract: Distinguished involutions in the affine Weyl groups, defined by G. Lusztig, play an essential role in the Kazhdan-Lusztig combinatorics of these groups. A distinguished involution is called canonical if it is the shortest element in its double coset with respect to the finite Weyl group. Each two-sided cell in the affine Weyl group contains precisely one canonical distinguished involution. In this note we calculate the canonical distinguished involutions in the affine Weyl groups of rank <8. We also prove some partial results relating canonical distinguished involutions and Dynkin's diagrams of the nilpotent orbits in the Langlands dual group.


title: Tiling and spectral properties of near-cubic domains

abstract: We prove that is a measurable domain tiles R or R^2 by translations, and if it is "close enough" to a line segment or a square respectively, then it admits a lattice tiling. We also prove a similar result for spectral sets in dimension 1, and give an example showing that there is no analogue of the tiling result in dimensions 3 and higher.


title: Symplectic topology of integrable Hamiltonian systems, I: Arnold-Liouville with singularities

abstract: The classical Arnold-Liouville theorem describes the geometry of an integrable Hamiltonian system near a regular level set of the moment map. Our results describe it near a nondegenerate singular level set: a tubular neighborhood of a connected singular nondegenerate level set, after a normal finite covering, admits a non-complete system of action-angle functions (the number of action functions is equal to the rank of the moment map), and it can be decomposed topologically, together with the associated singular Lagrangian foliation, to a direct product of simplest (codimension 1 and codimension 2) singularities. These results are essential for the global topological study of integrable Hamiltonian systems.


abstract: This is an Erratum to the paper: Compact hyperkaehler manifolds: basic results. (alg-geom/9705025, Inv. math. 135). We give a correct proof of the projectivity criterion for hyperkaehler manifolds. We use a recent result of Demailly and Paun math.AG/0105176.


title: Characterization of the Hilbert ball by its automorphism group

abstract: Let $\Omega$ be a bounded, convex domain in a separable Hilbert space. The authors prove a version of the theorem of Bun Wong, which asserts that if such a domain admits an automorphism orbit accumulating at a strongly pseudoconvex boundary point then it is biholomorphic to the ball. Key ingredients in the proof are a new localization argument using holomorphic peaking functions and the use of new ``normal families'' arguments in the construction of the limit biholomorphism.


title: `Abstract' homomorphisms of l-adic Galois groups and Abelian varieties

abstract: Let $k$ be a totally real field, and let $A/k$ be an absolutely irreducible, polarized Abelian variety of odd, prime dimension whose endomorphisms are all defined over $k$. Then the only strictly compatible families of abstract, absolutely irreducible representations of $\gal(\ov{k}/k)$ coming from $A$ are tensor products of Tate twists of symmetric powers of two-dimensional $\lambda$-adic representations plus field automorphisms. The main ingredients of the proofs are the work of Borel and Tits on the `abstract' homomorphisms of almost simple algebraic groups, plus the work of Shimura on the fields of moduli of Abelian varieties.


title: There are no unexpected tunnel number one knots of genus one

abstract: The only knots that are tunnel number one and genus one are those that are already known: 2-bridge knots obtained by plumbing together two unknotted annuli and the satellite examples classified by Eudave-Munoz and by Morimoto-Sakuma. This confirms a conjecture first made by Goda and Teragaito.


title: Bundle 2-gerbes

abstract: We make the category BGrb_M of bundle gerbes on a manifold M into a 2-category by providing 2-cells in the form of transformations of bundle gerbe morphisms. This description of BGrb_M as a 2-category is used to define the notion of a bundle 2-gerbe. To every bundle 2-gerbe on M is associated a class in H^4(M;Z). We define the notion of a bundle 2-gerbe connection and show how this leads to a closed, integral differential 4-form on M which represents the image in real cohomology of the class in H^4(M;Z). Some examples of bundle 2-gerbes are discussed, including the bundle 2-gerbe associated to a principal G-bundle P \to M. It is shown that the class in H^4(M;Z) associated to this bundle 2-gerbe coincides with the first Pontryagin class of P --- this example was previously considered from the point of view of 2-gerbes by Brylinski and McLaughlin.


title: A note on the holonomy of connections in twisted bundles

abstract: Recently twisted K-theory has received much attention due to its applications in string theory and the announced result by Freed, Hopkins and Telemann relating the twisted equivariant K-theory of a compact Lie group to its Verlinde algebra. Rather than considering gerbes as separate objects, in twisted K-theory one considers a gerbe as being part of the data for a twisted vector bundle. There is also a notion of a connection in a twisted vector bundle and Kapustin has studied some aspects of the holonomy of such connections. In this note I study the holonomy of connections in twisted principal bundles and show that it can best be defined as a functor rather than a map. Even for the case which Kapustin studied the results in this paper give a more general picture.


title: On smooth maps with finitely many critical points

abstract: We compute the minimum number of critical points of a small codimension smooth map between two manifolds. We give as well some partial results for the case of higher codimension when the manifolds are spheres.


title: Orthonormal Eigenbases over the Octonions

abstract: We previously showed that the real eigenvalues of 3x3 octonionic Hermitian matrices form two separate families, each containing 3 eigenvalues, and each leading to an orthonormal decomposition of the identity matrix, which would normally correspond to an orthonormal basis. We show here that it nevertheless takes both families in order to decompose an arbitrary vector into components, each of which is an eigenvector of the original matrix; each vector therefore has 6 components, rather than 3.


title: percolation on finite graphs

abstract: The asymptotic study of percolation on finite transitive graphs is considered. Several questions and very few answers regarding percolation on finite graphs are presented.


title: Subsymmetric sequences and minimal spaces

abstract: We show that every Banach space saturated with subsymmetric sequences contains a minimal subspace.


title: Multivariable cochain operations and little n-cubes

abstract: This is a revision of a paper first posted June 4, 2001. It will appear in the Journal of the AMS. In this paper we construct a small $E_\infty$ chain operad $\S$ which acts naturally on the normalized cochains $S^*X$ of a topological space. We also construct, for each $n$, a suboperad $\S_n$ which is quasi-isomorphic to the normalized singular chains of the little $n$-cubes operad. The case $n=2$ leads to a substantial simplification of our earlier proof of Deligne's Hochschild cohomology conjecture.


title: Generalized Umemura polynomials and Hirota-Miwa equations

abstract: We introduce and study generalized Umemura polynomials $U_{n,m}^{(k)}(z,w;a,b)$ which are the natural generalization of the Umemura polynomials $U_n(z,w;a,b)$ related to the Painleve VI equation. We show that if either a=b, or a=0, or b=0, then polynomials $U_{n,m}^{(0)}(z,w;a,b)$ generate solutions to the Painleve VI equation. We give new proof of Noumi-Okada-Okamoto-Umemura conjecture, and describe connections between polynomials $U_{n,m}^{(0)}(z,w;a,0)$ and certain Umemura polynomials $U_k(z,w;\alpha,\beta)$. Finally we show that after appropriate rescaling, Umemura's polynomials $U_k(z,w;a,b)$ satisfy the Hirota-Miwa bilinear equations.


title: Szego Kernels and Finite Group Actions

abstract: In the context of almost complex quantization, a natural generalization of algebro-geometric linear series on a compact symplectic manifold has been proposed. Here we suppose given a compatible action of a finite group and consider the linear subseries associated to the irreducible representations of $G$, give conditions under which these are base-point free and study properties of the associated projective morphisms. The results obtained are new even in the complex projective case.


title: Rational Generalised Moonshine from Abelian Orbifoldings of the Moonshine Module

abstract: We consider orbifoldings of the Moonshine Module with respect to the abelian group generated by a pair of commuting Monster group elements with one of prime order $p=2,3,5,7$ and the other of order $pk$ for $k=1$ or $k$ prime. We show that constraints arising from meromorphic orbifold conformal field theory allow us to demonstrate that each orbifold partition function with rational coefficients is either constant or is a hauptmodul for an explicitly found modular fixing group of genus zero. We thus confirm in the cases considered the Generalised Moonshine conjectures for all rational modular functions for the Monster centralisers related to the Baby Monster, Fischer, Harada-Norton and Held sporadic simple groups. We also derive non-trivial constraints on the possible Monster conjugacy classes to which the elements of the orbifolding abelian group may belong.


title: Systems of conservation laws of Temple class, equations of associativity and linear congruences in projective space

abstract: We propose a geometric correspondence between (a) linearly degenerate systems of conservation laws with rectilinear rarefaction curves and (b) congruences of lines in projective space whose developable surfaces are planar pencils of lines. We prove that in projective 4-space such congruences are necessarily linear. Based on the results of Castelnuovo, the classification of three-component systems is obtained, revealing a close relationship of the problem with projective geometry of the Veronese variety and the theory of associativity equations of two-dimensional topological field theory.


title: Numerical Performance of Abs Codes for Nonlinear Systems of Equations

abstract: Numerical experiments are performed in order to study the performance of ABS codes in solving non-linear systems of equations.


title: Trace Expansions and the Noncommutative Residue for Manifolds with Boundary

abstract: For a pseudodifferential boundary operator A of integer order \nu and class zero (in the Boutet de Monvel calculus) on a compact n-dimensional manifold with boundary, we consider the function Trace(AB^{-s}) where B is an auxiliary system formed of the Dirichlet realization of a second order strongly elliptic differential operator and an elliptic operator on the boundary. We prove that Trace(AB^{-s}) has a meromorphic extension to the complex plane with poles at the half-integers s = (n+\nu-j)/2, j = 0,1,... (possibly double for s<0), and we prove that its residue at zero equals the noncommutative residue of A, as defined by Fedosov, Golse, Leichtnam, and Schrohe by a different method. To achieve this, we establish a full asymptotic expansion of Trace(A(B-\lambda)^{-k}) in powers of \lambda^{-j/2} and log-powers \lambda^{-j/2} log \lambda, where the noncommutative residue equals the coefficient of the highest log-power. There is a related expansion for Trace(A exp(-tB)).


title: Gomory Integer Programs

abstract: The set of all group relaxations of an integer program contains certain special members called Gomory relaxations. A family of integer programs with a fixed coefficient matrix and cost vector but varying right hand sides is a Gomory family if every program in the family can be solved by one of its Gomory relaxations. In this paper, we characterize Gomory families. Every TDI system gives a Gomory family, and we construct Gomory families from matrices whose columns form a Hilbert basis for the cone they generate. The existence of Gomory families is related to the Hilbert covering problems that arose from the conjectures of Sebo. Connections to commutative algebra are outlined at the end.


title: Analytic non-linearizable uniquely ergodic diffeomorphisms on the two-torus

abstract: We study the behavior of diffeomorphisms, contained in the closure $\bar {\A_\a}$ (in the inductive limit topology) of the set $\A_\a$ of real-analytic diffeomorphisms of the torus $\Bbb T^2$, conjugated to the rotation $R_\a:(x,y)\mapsto (x + \a, y)$ by an analytic measure-preserving transformation. We show that for a generic $\a\in [0,1]$, $\bar {\A_\a}$ contains a dense set of uniquely ergodic diffeomorphisms. We also prove that $\bar {\A_\a}$ contains a dense set of diffeomorphisms that are minimal and non-ergodic.


title: Counting equivalence classes of irreducible representations

abstract: Let $n$ be a positive integer, and let $R$ be a (possibly infinite dimensional) finitely presented algebra over a computable field of characteristic zero. We describe an algorithm for deciding (in principle) whether $R$ has at most finitely many equivalence classes of $n$-dimensional irreducible representations. When $R$ does have only finitely many such equivalence classes, they can be effectively counted (assuming that $k[x]$ posesses a factoring algorithm).


title: Noetherianity of the Space of Irreducible Representations

abstract: Let R be an associative ring with identity. We study an elementary generalization of the classical Zariski topology, applied to the set of isomorphism classes of simple left R-modules (or, more generally, simple objects in a complete abelian category). Under this topology the points are closed, and when R is left noetherian the corresponding topological space is noetherian. If R is commutative (or PI, or FBN) the topology is equivalent to the Zariski topology, and when R is the first Weyl algebra (in characteristic zero) we obtain a one-dimensional irreducible noetherian topological space. Comparisons with topologies induced from those on A. L. Rosenberg's spectra are briefly noted.


title: Local Index Theory over Etale Groupoids

abstract: We give a superconnection proof of Connes' index theorem for proper cocompact actions of etale groupoids. This includes Connes' general foliation index theorem for foliations with Hausdorff holonomy groupoid.


title: Basic properties of SLE

abstract: SLE is a random growth process based on Loewner's equation with driving parameter a one-dimensional Brownian motion running with speed $\kappa$. This process is intimately connected with scaling limits of percolation clusters and with the outer boundary of Brownian motion, and is conjectured to correspond to scaling limits of several other discrete processes in two dimensions. The present paper attempts a first systematic study of SLE. It is proved that for all $\kappa\ne 8$ the SLE trace is a path; for $\kappa\in[0,4]$ it is a simple path; for $\kappa\in(4,8)$ it is a self-intersecting path; and for $\kappa>8$ it is space-filling. It is also shown that the Hausdorff dimension of the SLE trace is a.s. at most $1+\kappa/8$ and that the expected number of disks of size $\eps$ needed to cover it inside a bounded set is at least $\eps^{-(1+\kappa/8)+o(1)}$ for $\kappa\in[0,8)$ along some sequence $\eps\to 0$. Similarly, for $\kappa\ge 4$, the Hausdorff dimension of the outer boundary of the SLE hull is a.s. at most $1+2/\kappa$, and the expected number of disks of radius $\eps$ needed to cover it is at least $\eps^{-(1+2/\kappa)+o(1)}$ for a sequence $\eps\to 0$.


title: Tails of probability density for sums of random independent variables

abstract: The exact expression for the probability density $p_{_N}(x)$ for sums of a finite number $N$ of random independent terms is obtained. It is shown that the very tail of $p_{_N}(x)$ has a Gaussian form if and only if all the random terms are distributed according to the Gauss Law. In all other cases the tail for $p_{_N}(x)$ differs from the Gaussian. If the variances of random terms diverge the non-Gaussian tail is related to a Levy distribution for $p_{_N}(x)$. However, the tail is not Gaussian even if the variances are finite. In the latter case $p_{_N}(x)$ has two different asymptotics. At small and moderate values of $x$ the distribution is Gaussian. At large $x$ the non-Gaussian tail arises. The crossover between the two asymptotics occurs at $x$ proportional to $N$. For this reason the non-Gaussian tail exists at finite $N$ only. In the limit $N$ tends to infinity the origin of the tail is shifted to infinity, i. e., the tail vanishes. Depending on the particular type of the distribution of the random terms the non-Gaussian tail may decay either slower than the Gaussian, or faster than it. A number of particular examples is discussed in detail.

categories: math.PR cond-mat.stat-mech math-ph math.MP nlin.CD physics.data-an physics.flu-dyn physics.plasm-ph


title: 2-enumerations of halved alternating sign matrices

abstract: We compute 2-enumerations of certain halved alternating sign matrices. In one case the enumeration equals the number of perfect matchings of a halved Aztec diamond. In the other case the enumeration equals the number of perfect matchings of a halved fortress graph. Our results prove three conjectures by Jim Propp.


title: Tree-like properties of cycle factorizations

abstract: We provide a bijection between the set of factorizations, that is, ordered (n-1)-tuples of transpositions in ${\mathcal S}_{n}$ whose product is (12...n), and labelled trees on $n$ vertices. We prove a refinement of a theorem of D\'{e}nes that establishes new tree-like properties of factorizations. In particular, we show that a certain class of transpositions of a factorization correspond naturally under our bijection to leaf edges of a tree. Moreover, we give a generalization of this fact.


title: Bordism of Unoriented Surfaces in 4-Space

abstract: The group of bordism classes of unoriented surfaces in 4-space is determined. The bordism classes are characterized by normal Euler numbers,double linking numbers, and triple linking numbers.


title: On solutions of the q-hypergeometric equation with q^{N}=1

abstract: We consider the q-hypergeometric equation with q^{N}=1 and $\alpha, \beta, \gamma \in {\Bbb Z}$. We solve this equation on the space of functions given by a power series multiplied by a power of the logarithmic function. We prove that the subspace of solutions is two-dimensional over the field of quasi-constants. We get a basis for this space explicitly. In terms of this basis, we represent the q-hypergeometric function of the Barnes type constructed by Nishizawa and Ueno. Then we see that this function has logarithmic singularity at the origin. This is a difference between the q-hypergeometric functions with 0<|q|<1 and at |q|=1.


title: A note of moduli of vector bundles on rational surfaces

abstract: We discuss some relations of moduli of sheaves on rational surfaces by using universal extensions. These are a generalization of Maruyama's method to construct Uhlenbeck compactification of moduli of vector bundles.


title: Computing the Face Lattice of a Polytope from its Vertex-Facet Incidences

abstract: We give an algorithm that constructs the Hasse diagram of the face lattice of a convex polytope P from its vertex-facet incidences in time O(min{n,m}*a*f), where n is the number of vertices, m is the number of facets, a is the number of vertex-facet incidences, and f is the total number of faces of P. This improves results of Fukuda and Rosta (1994), who described an algorithm for enumerating all faces of a d-polytope in O(min{n,m}*d*f^2) steps. For simple or simplicial d-polytopes our algorithm can be specialized to run in time O(d*a*f). Furthermore, applications of the algorithm to other atomic lattices are discussed, e.g., to face lattices of oriented matroids.


title: Some Remarks on a General Construction af Approximation Processes

abstract: The aim of this paper is to study the characteristics of a general method to produce a new approximation sequence from a given one, by using suitable convex combinations.


title: Distortion in the Spherical Metric under Quasiconformal Mappings

abstract: This paper contains bounds for the distortion in the spherical metric, that is to say bounds for the constant of Holder continuity of mappings f : (\Rn,q) -> (\Rn, q) where q denotes the spherical metric. The mappings considered are K-quasiconformal (K >= 1) and satisfy some normalizations or restrictions. All bounds are explicit and asymptotically sharp as K -> 1.


title: Zeros of closed 1-forms, homoclinic orbits, and Lusternik - Schnirelman theory

abstract: In this paper we study topological lower bounds on the number of zeros of closed 1-forms without Morse type assumptions. We prove that one may always find a representing closed 1-form having at most one zero. We introduce and study a generalization $cat(X,\xi)$ of the notion of Lusternik - Schnirelman category, depending on a topological space $X$ and a cohomology class $\xi\in H^1(X;\R)$. We prove that any closed 1-form has at least $cat(X,\xi)$ zeros assuming that it admits a gradient-like vector field with no homoclinic cycles. We show that the number $cat(X,\xi)$ can be estimated from below in terms of the cup-products and higher Massey products. This paper corrects some statements made in my previous papers on this subject.


title: Vari\'et\'es projectives complexes dont l'\'eclat\'ee en un point est de Fano

abstract: We classify complex projective manifolds $X$ for which there exists a point $a$ such that the blow-up of $X$ at $a$ is Fano.


title: Decrease of bounded holomorphic functions along discrete sets

abstract: We provide results of uniqueness for holomorphic functions in the Nevanlinna class bridging those previously obtained by Hayman and Lyubarskii-Seip. Namely, we propose certain classes of hyperbolically separated sequences in the disk, in terms of the rate of non-tangential accumulation to the boundary (the endpoints of this spectrum of classes being respectively the sequences with a non-tangential cluster set of positive measure, and the sequences violating the Blaschke condition); and for each of those classes, we give a critical condition of radial decrease on the modulus which will force a Nevanlinna class function to vanish identically.


title: Periodic trajectories in 3-dimensional convex billiards

abstract: We give lower bound on the number of periodic billiard trajectories inside a generic smooth strictly convex closed surface in 3-space: for odd n, there are at least 2(n-1) such trajectories. We apply a topological approach based on the calculation of cohomology of certain configuration spaces.


title: Category theory for conformal boundary conditions

abstract: We study properties of the category of modules of an algebra object A in a tensor category C. We show that the module category inherits various structures from C, provided that A is a Frobenius algebra with certain additional properties. As a by-product we obtain results about the Frobenius-Schur indicator in sovereign tensor categories. A braiding on C is not needed, nor is semisimplicity. We apply our results to the description of boundary conditions in two-dimensional conformal field theory and present illustrative examples. We show that when the module category is tensor, then it gives rise to a NIM-rep of the fusion rules, and discuss a possible relation with the representation theory of vertex operator algebras.


title: Automorphism groups and derivation algebras of finitely generated vertex operator algebras

abstract: We investigate the general structure of the automorphism group and the Lie algebra of derivations of a finitely generated vertex operator algebra. The automorphism group is isomorphic to an algebraic group. Under natural assumptions, the derivation algebra has an invariant bilinear form and the ideal of inner derivations is nonsingular.


title: Homotopy Ends and Thomason Model Categories

abstract: In the last year of his life, Bob Thomason reworked the notion of a model category, used to adapt homotopy theory to algebra, and used homotopy ends to affirmatively solve a problem raised by Grothendieck: find a notion of model structure which is inherited by functor categories. In this paper we explain and prove Thomason's results, based on his private notebooks. The first half presents Thomason's ideas about homotopy ends and its generalizations. This material may be of independent interest. Then we define Thomason model categories and give some examples. The usual proof shows that the homotopy category exists. In the last two sections we prove the main theorem: functor categories inherit a Thomason model structure, at least when the original category is enriched over simplicial sets and fibrations are preserved by limits.


title: Fourier Invariant Partially approximating subalgebras of the irrational rotation C*-algebra

abstract: For all transcendental parameters, the irrational rotation algebra is shown to contain infinitely many C*-subalgebras satisfying the following properties. Each subalgebra is isomorphic to a direct sum of two matrix algebras of the same (perfect square) dimension; the Fourier transform maps each summand onto the other; the corresponding unit projection is approximately central; the compressions of the canonical generators of the irrational rotation algebra are approximately contained in the subalgebra.


title: Linear independence of Gamma values in positive characteristic

abstract: We investigate the arithmetic nature of special values of Thakur's function field Gamma function at rational points. Our main result is that all linear independence relations over the field of algebraic functions are consequences of the known relations of Anderson and Thakur arising from the functional equations of the Gamma function.


title: Abelian varieties with group action

abstract: Let G be a finite group acting on a smooth projective curve X. This induces an action of G on the Jacobian JX of X and thus a decomposition of JX up to isogeny. The most prominent example of such a situation is the group G of two elements. Let X --> Y denote the corresponding quotient map. Then JX is isogenous to the product of JY with the Prym variety of X/Y. In this paper some general results on group actions on abelian varieties are given and applied to deduce a decomposition of the jacobian JX for arbitrary group actions. Several examples are given.


title: A duality method in prediction theory of multivariate stationary sequences

abstract: Let W be an integrable positive Hermitian q x q -matrix valued function on the dual group of a discrete abelian group G such that W^{-1} is integrable. Generalizing results of T. Nakazi and of A. G. Miamee and M. Pourahmadi for q=1 we establish a correspondence between trigonometric approximation problems in L^2(W) and certain approximation problems in L^2(W^{-1}). The result is applied to prediction problems for q-variate stationary processes over G, in particular, to the case where G is the group of integers Z.


title: ad-Nilpotent ideals of a Borel subalgebra II

abstract: We provide an explicit bijection between the ad-nilpotent ideals of a Borel subalgebra of a simple Lie algebra g and the orbits of \check{Q}/(h+1)\check{Q} under the Weyl group (\check{Q} being the coroot lattice and h the Coxeter number of g). From this result we deduce in a uniform way a counting formula for the ad-nilpotent ideals.


title: Some knot theory of complex plane curves

abstract: This survey of some of the more topological aspects of the placement problem for complex curves in complex surfaces was originally published in L'Enseignement Mathematique 29 (1983). The present LaTeXed redaction corrects several typographical errors without, I hope, introducing new ones; some minor emendations and references to post-1983 results have been added as footnotes, but I have not made a thoroughgoing effort to update the text. Anyone having further information -- for instance, on the current status of questions incorrectly described as still open -- is encouraged to let me know!


title: Logic of Dynamics & Dynamics of Logic; Some Paradigm Examples

abstract: This paper surveys some recent developments towards a dynamic quantum logic and outlines its explicite construction -- some analogies and contrasts with other logics of dynamics are indicated. Abstract: The development of ``(static) operational quantum logic" points out that classical boolean structures are too rigid to describe the actual and potential properties of quantum systems. On the other hand, an intuitionistic perspective on operational quantum logic, guides us in the direction of incorporating dynamics logically by reconsidering the primitive propositions required to describe the behavior of a quantum system, in particular in view of the emergent disjunctivity due to the non-determinism of quantum measurements. A further elaboration on "intuitionistic quantum logic" emerges into a "dynamic operational quantum logic", which allows us to express dynamic reasoning in the sense that we can capture how actual properties propagate, including their temporal causal structure, and provides a unified logical description of systems which evolve or which are submitted to measurements. This setting reveals that even static operational quantum logic bears a hidden dynamic ingredient in terms of what is called "the orthomodularity" of the lattice-structure. Focusing on the quantale semantics for dynamic operational quantum logic, we delineate some points of difference with the existing quantale semantics for (non)-commutative linear logic.


title: Patterns of dependence among powers of polynomials

abstract: Let F = {f_1,...,f_r} be a family of polynomials and let the ticket of F, T(F), denote the set of integers m so that ${f_j^m}$ is linearly dependent. We show that |T(F)| \le (r-1)(r-2)/2 and present many concrete examples, including one with r=6 and T(F) = {1,2,3,4,8,14}.


title: Wakimoto Modules for Twisted Affine Lie Algebras

abstract: We construct Wakimoto modules for twisted affine Lie algebras, and interpret the construction in terms of vertex algebras and their twisted modules. Using the Wakimoto realization, we prove the Kac-Kazhdan conjecture on the characters of irreducible modules with generic critical highest weights in the twisted case. We provide explicit formulas for the twisted fields in the case of the twisted affine algebra A^{(2)}_{2}.


title: Two symmetry problems in potential theory

abstract: We consider two eliiptic overdetermined boundary value problems. There are variants on J. Serrin's 1971 classical results and having the same conclusion that the domains should be forcibly Euclidean balls.


title: Introduction to Arithmetic Groups

abstract: This book provides a gentle introduction to the study of arithmetic subgroups of semisimple Lie groups. This means that the goal is to understand the group SL(n,Z) and certain of its subgroups. Among the major results discussed in the later chapters are the Mostow Rigidity Theorem, the Margulis Superrigidity Theorem, Ratner's Theorems, and the classification of arithmetic subgroups of classical groups. As background for the proofs of these theorems, the book provides primers on lattice subgroups, arithmetic groups, real rank and Q-rank, ergodic theory, unitary representations, amenability, Kazhdan's property (T), and quasi-isometries. Numerous exercises enhance the book's usefulness both as a textbook for a second-year graduate course and for self-study. In addition, notes at the end of each chapter have suggestions for further reading. (Proofs in this book often consider only an illuminating special case.) Readers are expected to have some acquaintance with Lie groups, but appendices briefly review the prerequisite background.


title: Approximations and selections of multivalued mappings of finite-dimensional spaces

abstract: We prove extension-dimensional versions of finite dimensional selection and approximation theorems. As applications, we obtain several results on extension dimension.


title: Tannaka Duals in Semisimple Tensor Categories

abstract: Tannaka duals of Hopf algebras inside semisimple tensor categories are used to construct orbifold tensor categories, which are shown to include the Tannaka dual of the dual Hopf algebras. The second orbifolds are then canonically isomorphic to the initial tensor categories.


title: THe largest eigenvalue of sparse random graphs

abstract: We prove that for all values of the edge probability p(n) the largest eigenvalue of a random graph G(n,p) satisfies almost surely: \lambda_1(G)=(1+o(1))max{\sqrt{\Delta},np}, where \Delta is a maximal degree of G, and the o(1) term tends to zero as max{\sqrt{\Delta},np} tends to infinity.


title: Integrals, quantum Galois extensions and the affineness criterion for quantum Yetter-Drinfel'd modules

abstract: We introduce and study a general concept of integral of a threetuple (H, A, C), where H is a Hopf algebra acting on a coalgebra C and coacting on an algebra A. In particular, quantum integrals associated to Yetter-Drinfel'd modules are defined. Let A be an H-bicomodule algebra, $^H {\cal YD}_A$ be the category of (generalized) Yetter-Drinfel'd modules and $B$ the subalgebra of coinvariants of the Verma structure of $A$. We introduce the concept of quantum Galois extensions and we prove the affineness criterion in a quantum version.


title: Index and secondary index theory for flat bundles with duality

abstract: We discuss some aspects of index and secondary index theory for flat bundles with duality. This theory was first developed by J. Lott. Our main purpose in the present paper is to provide a modification with better functorial properties.


title: The Origin of a Metric

abstract: In the context of earlier work, we investigate the emergence of a "distance" in the physical world. For this we consider a Cantor ternary like process, but much more general: properties like perfectness and disconnectedness are not invoked, but instead we deal with Borel sets. An interesting case from a physical point of view is considered: when the process is truncated.


title: Fedosov Quantization on Symplectic Ringed Spaces

abstract: We expose the basics of the Fedosov quantization procedure, placed in the general framework of symplectic ringed spaces. This framework also includes some Poisson manifolds with non regular Poisson structures, presymplectic manifolds, complex analytic symplectic manifolds, etc.


title: Contact topology and CR geometry in three dimensions

abstract: We study low-dimensional problems in topology and geometry via a study of contact and Cauchy-Riemann ($CR$) structures. A contact structure is called spherical if it admits a compatible spherical $CR$ structure. We will talk about spherical contact structures and our analytic tool, an evolution equation of $CR$ structures. We argue that solving such an equation for the standard contact 3-sphere is related to the Smale conjecture in 3-topology. Furthermore, we propose a contact analogue of Ray-Singer's analytic torsion. This ''contact torsion'' is expected to be able to distinguish among ''spherical space forms'' $\{\Gamma\backslash S^{3}\}$ as contact manifolds. We also propose the study of a certain kind of monopole equation associated with a contact structure. In view of the recently developed theory of contact homology algebras, we will discuss its overall impact on our study.


title: Double Centralizing Theorems for the Alternating Groups

abstract: Let $V^{\otimes n}$ be the $n$-fold tensor product of a vector space $V.$ Following I. Schur we consider the action of the symmetric group $S_n$ on $V^{\otimes n}$ by permuting coordinates. In the `super' ($\Bbb Z_2$ graded) case $V=V_0\oplus V_1,$ a $\pm$ sign is added [BR]. These actions give rise to the corresponding Schur algebras S$(S_n,V).$ Here S$(S_n,V)$ is compared with S$(A_n,V),$ the Schur algebra corresponding to the alternating subgroup $A_n\subset S_n .$ While in the `classical' (signless) case these two Schur algebras are the same for $n$ large enough, it is proved that in the `super' case where $\dim V_0=\dim V_1, $ S$(A_n,V)$ is isomorphic to the crossed-product algebra S$(A_n,V)\cong$ S$(S_n,V)\times\Bbb Z_2 .$


title: Explicit Enumeration of 321,Hexagon-Avoiding Permutations

abstract: The 321,hexagon-avoiding (321-hex) permutations were introduced and studied by Billey and Warrington in as a class of elements of S_n whose Kazhdan-Lusztig and Poincare polynomials and the singular loci of whose Schubert varieties have certain fairly simple and explicit descriptions. This paper provides a 7-term linear recurrence relation leading to an explicit enumeration of the 321-hex permutations. A complete description of the corresponding generating tree is obtained as a by-product of enumeration techniques used in the paper, including Schensted's 321-subsequences decomposition, a 5-parameter generating function and the symmetries of the octagonal patterns avoided by the 321-hex permutations.


title: Random Young Tableaux and Combinatorial Identities

abstract: We derive new combinatorial identities which may be viewed as multivariate analogs of summation formulas for hypergeometric series. As in the previous paper [Re], we start with probability distributions on the space of the infinite Young tableaux. Then we calculate the probability that the entry of a random tableau at a given box equals n=1,2,.... Summing these probabilities over n and equating the result to 1 we get a nontrivial identity. Our choice for the initial distributions is motivated by the recent work on harmonic analysis on the infinite symmetric group and related topics.


title: Critical functions on Riemannian Manifold wich is locally Euclidean

abstract: We study the existence of extremal functions on compact Riemannian manifold wich is locally Euclidean .


title: A determinantal formula for the Hilbert series of one-sided ladder determinantal rings

abstract: We give a formula that expresses the Hilbert series of one-sided ladder determinantal rings, up to a trivial factor, in form of a determinant. This allows the convenient computation of these Hilbert series. The formula follows from a determinantal formula for a generating function for families of nonintersecting lattice paths that stay inside a one-sided ladder-shaped region, in which the paths are counted with respect to turns.


title: Kahler surfaces of finite volume and Seiberg-Witten equations

abstract: Let M=P(E) be a ruled surface. We introduce metrics of finite volume on M whose singularities are parametrized by a parabolic structure over E. Then, we generalise results of Burns--de Bartolomeis and LeBrun, by showing that the existence of a singular Kahler metric of finite volume and constant non positive scalar curvature on M is equivalent to the parabolic polystability of E; moreover these metrics all come from finite volume quotients of $H^2 \times CP^1$. In order to prove the theorem, we must produce a solution of Seiberg-Witten equations for a singular metric g. We use orbifold compactifications $\overline M$ on which we approximate g by a sequence of smooth metrics; the desired solution for g is obtained as the limit of a sequence of Seiberg-Witten solutions for these smooth metrics.


title: Characterization of harmonic and subharmonic functions via mean-value properties

abstract: We give a characterization of harmonic and subharmonic functions in terms of their mean values in balls and on spheres. This includes the converse of an inequality of Beardon's for subharmonic functions. We also obtain integral inequalities of Harnack type between these two means in general domains.


title: Combinatorics and invariant differential operators on multiplicity free spaces

abstract: We study the generalization of shifted Jack polynomials to arbitrary multiplicity free spaces. In a previous paper (math.RT/0006004) we showed that these polynomials are eigenfunctions for commuting difference operators. Our central result now is the "transposition formula", a generalization of Okounkov's binomial theorem (q-alg/9608021) for shifted Jack polynomials. From this formula, we derive an interpolation formula, an evaluation formula, a scalar product, a binomial theorem, and properties of the algebra generated by the multiplication and difference operators.


title: Pencils of symmetric surfaces in P_3

abstract: In this note we investigate three new pencils of symmetric surfaces in complex projective three-space. These have degree 6, 8 resp. 12 and are invariant under the action of subgroups of SO(4) containing the Heisenberg group. The pencils of degree 6 and 12 are invariant under the action of bigger groups, precisely under the action of the reflection groups F_4 resp. H_4. We compute equations for the generators of the pencils and describe the base locus of each pencil. We find also the singular surfaces and their number of singularities, which are, in fact, ordinary double points. In degree 12, we get a surface with 600 nodes. This confirms a conjecture of V. Goryounov and presents a new lower bound for the maximal number of nodes of such a surface.


title: Effective descent maps for schemes

abstract: The paper is withdrawn due to mistakes in the proofs for Proposition 1.2 and Theorem 2.2.


title: Groebner and diagonal bases in Orlik-Solomon type algebras

abstract: The Orlik-Solomon algebra of a matroid M is the quotient of the exterior algebra on the points by the ideal I(M) generated by the boundaries of the circuits of the matroid. There is an isomorphism between the Orlik-Solomon algebra of a complex matroid and the cohomology of the complement of a complex arrangement of hyperplanes. In this article a generalization of the Orlik-Solomon algebras, called X-algebras, are considered. These new algebras include, apart from the Orlik-Solomon algebras, the Orlik-Solomon-Terao algebra of a set of vectors and the Cordovil algebra of an oriented matroid. To encode an important property of the "no broken circuit bases" of the Orlik-Solomon-Terao algebras, Andras Szenes has introduced a particular type of bases, the so called "diagonal bases". This notion extends naturally to X-algebras. We give a survey of the results obtained by the authors concerning the construction of Groebner bases of I(M) and diagonal bases of Orlik-Solomon type algebras and we present the combinatorial analogue of an ``iterative residue formula'' introduced by Szenes.


title: Differential Geometry of Gerbes

abstract: We define in a global manner the notion of a connective structure for a gerbe on a space X. When the gerbe is endowed with trivializing data with respect to an open cover of X, we describe this connective structure in two separate ways, which extend from abelian to general gerbes the corresponding descriptions due to J.- L. Brylinski and N. Hitchin. We give a global definition of the 3-curvature of this connective structure as a 3-form on X with values in the Lie stack of the gauge stack of the gerbe. We also study this notion locally in terms of more traditional Lie algebra-valued 3-forms. The Bianchi identity, which the curvature of a connection on a principal bundle satisfies, is replaced here by a more elaborate equation.


title: How to show a set is not algebraic

abstract: We revisit Akbulut and King's first example of a compact semialgebraic set which satisfies Sullivan's local Euler characteristic condition, but which is not homeomorphic to an algebraic set. A nontrivial obstruction is computed using the link operator on the ring of constructible functions.


title: A diagonalization property between Hurewicz and Menger

abstract: In classical works, Hurewicz and Menger introduced two diagonalization properties for sequences of open covers. Hurewicz found a combinatorial characterization of these notions in terms of continuous images. Recently, Scheepers has shown that these notions are particular cases in a large family of diagonalization schemas. One of the members of this family is weaker than the Hurewicz property and stronger than the Menger property, and it was left open whether it can be characterized combinatorially in terms of continuous images. We give a positive answer. This paper can serve as an exposition of this fascinating subject.


title: Lie algebroid foliations and ${\cal E}^1(M)$-Dirac structures

abstract: We prove some general results about the relation between the 1-cocycles of an arbitrary Lie algebroid $A$ over $M$ and the leaves of the Lie algebroid foliation on $M$ associated with $A$. Using these results, we show that a ${\cal E}^1(M)$-Dirac structure $L$ induces on every leaf $F$ of its characteristic foliation a ${\cal E}^1(F)$-Dirac structure $L_F$, which comes from a precontact structure or from a locally conformal presymplectic structure on $F$. In addition, we prove that a Dirac structure $\tilde{L}$ on $M\times \R$ can be obtained from $L$ and we discuss the relation between the leaves of the characteristic foliations of $L$ and $\tilde{L}$.


title: P not= NP for infinite time Turing machines

abstract: We state a version of the P=?NP problem for infinite time Turing machines. It is observed that P not= NP for this version.


title: A global theory of flexes of periodic functions

abstract: For a real valued periodic smooth function u on R, $n\ge 0$, one defines the osculating polynomial $\phi_s$ (of order 2n+1) at a point $s\in R$ to be the unique trigonometric polynomial of degree n, whose value and first 2n derivatives at s coincide with those of u at s. We will say that a point s is a clean maximal flex (resp. clean minimal flex) of the function u on $S^1$ if and only if $\phi_s\ge u$ (resp. $\phi_s\le u$) and the preimage $(\phi-u)^{-1}(0)$ is connected. We prove that any smooth periodic function u has at least n+1 clean maximal flexes of order 2n+1 and at least n+1 clean minimal flexes of order 2n+1. The assertion is clearly reminiscent of Morse theory and generalizes the classical four vertex theorem for convex plane curves.


title: The coset weight distributions of certain BCH codes and a family of curves

abstract: We study the distribution of the number of rational points in a family of curves over a finite field of characteristic 2. This distribution determines the coset weight distribution of a certain BCH code.


title: Jet Bundles and the Formal Theory of Partial Differential Equations

abstract: Systems of partial differential equations lie at the heart of physics. Despite this, the general theory of these systems has remained rather obscure in comparison to numerical approaches such as finite element models and various other discretisation schemes. There are, however, several theoretical approaches to systems of PDEs, including schemes based on differential algebra and geometric approaches including the theory of exterior differential systems and the so-called ``formal theory'' built on the jet bundle formalism. This paper is a brief introduction to jet bundles focusing on the completion of systems to equivalent involutive systems for which power series solutions may be constructed order by order. We will not consider the mathematical underpinnings of involution (which lie in the theory of combinatorial decompositions of polynomial modules) nor other applications of the theory of jet bundles such as the theory of symmetries of systems of PDEs or discretisation schemes based on discrete approximations to jet bundles.


title: A physical space approach to wave equation bilinear estimates

abstract: Bilinear estimates for the wave equation in Minkowski space are normally proven using the Fourier transform and Plancherel's theorem. However, such methods are difficult to carry over to non-flat situations (such as wave equations with rough metrics, or with connections with non-zero curvature). In this note we give some techniques to prove these estimates which rely more on physical space methods such as vector fields, tube localization, splitting into coarse and fine scales, and induction on scales (in the spirit of recent papers of Wolff).


title: Uniform estimates on paraproducts

abstract: We prove uniform $L^p$ estimates for a family of paraproducts and corresponding maximal operators.


title: On the Complexity of Polytope Isomorphism Problems

abstract: We show that the problem to decide whether two (convex) polytopes, given by their vertex-facet incidences, are combinatorially isomorphic is graph isomorphism complete, even for simple or simplicial polytopes. On the other hand, we give a polynomial time algorithm for the combinatorial polytope isomorphism problem in bounded dimensions. Furthermore, we derive that the problems to decide whether two polytopes, given either by vertex or by facet descriptions, are projectively or affinely isomorphic are graph isomorphism hard. The original version of the paper (June 2001, 11 pages) had the title ``On the Complexity of Isomorphism Problems Related to Polytopes''. The main difference between the current and the former version is a new polynomial time algorithm for polytope isomorphism in bounded dimension that does not rely on Luks polynomial time algorithm for checking two graphs of bounded valence for isomorphism. Furthermore, the treatment of geometric isomorphism problems was extended.


title: Calculating limits and colimits in pro-categories

abstract: We present some constructions of limits and colimits in pro-categories. These are critical tools in several applications. In particular, certain technical arguments concerning strict pro-maps are essential for a theorem about \'etale homotopy types. Also, we show that cofiltered limits in pro-categories commute with finite colimits.


title: Arbitrarily Large Neighborly Families of Congruent Symmetric Convex 3-Polytopes

abstract: We construct, for any positive integer n, a family of n congruent convex polyhedra in R^3, such that every pair intersects in a common facet. Previously, the largest such family contained only eight polytopes. Our polyhedra are Voronoi regions of evenly distributed points on the helix (t, cos t, sin t). With a simple modification, we can ensure that each polyhedron in the family has a point, a line, and a plane of symmetry. We also generalize our construction to higher dimensions and introduce a new family of cyclic polytopes.


title: A lemma on a total function defined over the Baker-Gill-Solovay set of polynomial Turing machines

abstract: If we establish that the counterexample function for P=NP, if total, overtakes all total recursive functions when extended over all Turing machines, then what happens to the same counterexample function when defined over the so-called Baker-Gill-Solovay (BGS) set of poly machines? We state and prove here a lemma that tries to answer this query.


title: A rationality conjecture about Kontsevich integral of knots and its implications to the structure of the colored Jones polynomial

abstract: We formulate a conjecture (already proven by A. Kricker) about the structure of Kontsevich integral of a knot. We describe its value in terms of the generating functions for the numbers of external edges attached to closed 3-valent diagrams. We conjecture that these functions are rational functions of the exponentials of their arguments, their denominators being the powers of the Alexander-Conway polynomial. This conjecture implies the existence of an expansion of a colored Jones (HOMFLY) polynomial in powers of q-1 whose coefficients are rational functions of q^color. We show how to derive the first Kontsevich integral polynomial associated to the theta-graph from the rational expansion of the colored SU(3) Jones polynomial.


title: A critical study on the concept of identity in Zermelo-Fraenkel-like axioms

abstract: According to Cantor, a set is a collection into a whole of defined and separate (we shall say distinct) objects. So, a natural question is ``How to treat as `sets' collections of indistinguishable objects?". This is the aim of quasi-set theory, and this problem was posed as the first of present day mathematics, in the list resulting from the Congress on the Hilbert Problems in 1974. Despite this pure mathematical motivation, quasi-sets have also a strong commitment to the way quantum physics copes with elementary particles. In this paper, we discuss the axiomatics of quasi-set theory and sketch some of its applications in physics. We also show that quasi-set theory allows us a better and deeper understanding of the role of the concept of equality in mathematics.


title: On a total function which overtakes all total recursive functions

abstract: This paper discusses a function that is frequently presented as a simile or look-alike of the so-called ``counterexample function to P=NP,'' that is, the function that collects all first instances of a problem in NP where a poly machine incorrectly `guesses' about the instance. We state and give in full detail a crucial result on the computation of Goedel numbers for some families of poly machines.


title: Sets and Their Sizes

abstract: This thesis presents an alternative to Cantor's theory of cardinality, insofar as that is understood as a theory of set size. The alternative is based on a general theory, ClassSize. ClassSize contains all sentences in the first order language with "subset" and "smaller-than" predicates which are true in all finite power sets. ClassSize is decidable but not finitely axiomatizable. Every infinite completion of ClassSize has a model over the power set of the natural numbers which satisfies an additional axiom, OUTPACING: If initial segments of A eventually become smaller than the corresponding initial segments of B, then A is smaller than B. Models which satisfy OUTPACING seem to accord with common intuitions about set size. In particular, they agree with the ordering suggested by the notion of "asymptotic density".


title: Harmonic morphisms with one-dimensional fibres on Einstein manifolds

abstract: We prove that, from an Einstein manifold of dimension greater than or equal to five, there are just two types of harmonic morphism with one-dimensional fibres. This generalizes a result of R.L. Bryant who obtained the same conclusion under the assumption that the domain has constant curvature.


title: There is no universal countable random-free graph

abstract: We consider embeddings between infinite graphs. In particular, We establish that there is no universal element in the class of countable graphs into which the random graph is not embeddable.


title: Non-productive duality properties of topological groups

abstract: We address two properties for Abelian topological groups: ``every closed subgroup is dually closed'' and ``every closed subgroup is dually embedded.'' We exhibit a pair of topological groups such that each has both of the properties and the product has neither, which refutes a remark of N. Noble. These examples are the additive group of integers topologized with respect to a convergent sequence as investigated by E.G. Zelenyuk and I.V. Protasov. The proof for the product relies on a theorem on exponential Diophantine equations.


title: Quadratic sheaves and self-linkage

abstract: Generalizing an old result proved by P. Rao [see MR 83i:14025] for arithmetically Cohen-Macaulay, self-linked subschemes of codimension 2 in the projective n-space P, we give a characterization of self-linked pure subschemes of codimension 2 in P satisfying a necessary parity condition, in characteristic different from 2. We make use of the theory of quadratic sheaves described in a previous paper of the authors [see MR 99h:14044].


title: Topological groups with several disconnectedness

abstract: We investigate some properties of topological groups related to disconnectedness or Archimedeanness. We prove or disprove the preservation of those under operations as subgroups, quotients, products, etc. Characterizations of non-Archimedeanness are obtained by using embedding into universal groups. We also clarify the differences between the properties by constructing miscellaneous Polish groups.


title: Automatic continuity of biseparating maps

abstract: We prove that a biseparating map between spaces of vector-valued continuous functions is usually automatically continuous. However, we also discuss special cases when it is not true.


title: Biseparating maps between operator algebras

abstract: We prove that a biseparating map between spaces B(E), and some other Banach algebras, is automatically continuous and an algebra isomorphism.


title: Two-transitive Lie groups

abstract: Using a characterization of parabolics in reductive Lie groups due to Furstenberg, elementary properties of buildings, and some algebraic topology, we give a new proof of Tits' classification of 2-transitive Lie groups.


title: Frobenius Functors of the second kind

abstract: A pair of adjoint functors $(F,G)$ is called a Frobenius pair of the second type if $G$ is a left adjoint of $\beta F\alpha$ for some category equivalences $\alpha$ and $\beta$. Frobenius ring extensions of the second kind provide examples of Frobenius pairs of the second kind. We study Frobenius pairs of the second kind between categories of modules, comodules, and comodules over a coring. We also show that a finitely generated projective Hopf algebra over a commutative ring is always a Frobenius extension of the second kind, and prove that the integral spaces of the Hopf algebra and its dual are isomorphic.


title: Birationally rigid Fano hypersurfaces with isolated singularities

abstract: It is proved that a general Fano hypersurface of index 1 (in the projective space) with isolated singularities of general position is birationally rigid. Therefore it cannot be fibered into uniruled varieties of a smaller dimension by a rational map. The group of birational self-maps is either trivial or cyclic of order two.


title: Diffraction of weighted lattice subsets

abstract: A Dirac comb of point measures in Euclidean space with bounded complex weights that is supported on a lattice inherits certain general properties from the lattice structure. In particular, its autocorrelation admits a factorization into a continuous function and the uniform lattice Dirac comb, and its diffraction measure is periodic, with the dual lattice as lattice of periods. This statement remains true in the setting of a locally compact Abelian group that is also $\sigma$-compact.


title: Rigidity at infinity for even-dimensional asymptotically complex hyperbolic spaces

abstract: Any Kaehler metric on the ball which is strongly asymptotic to complex hyperbolic space and whose scalar curvature is no less than the one of the complex hyperbolic space must be isometrically biholomorphic to it. This result has been known for some time in odd complex dimension and we provide here a proof in even dimension.


title: A counterexample to the smoothness of the solution to an equation arising in fluid mechanics

abstract: We analyze the equation coming from the Eulerian-Lagrangian description of fluids. We discuss a couple of ways to extend this notion to viscous fluids. The main focus of this paper is to discuss the first way, due to Constantin. We show that this description can only work for short times, after which the ``back to coordinates map'' may have no smooth inverse. Then we briefly discuss a second way that uses Brownian motion. We use this to provide a plausibility argument for the global regularity for the Navier-Stokes equation.


title: Rearrangement Invariant Norms of Symmetric Sequence Norms of Independent Sequences of Random Variables

abstract: Let X_1, X_2,..., X_n be a sequence of independent random variables, let M be a rearrangement invariant space on the underlying probability space, and let N be a symmetric sequence space. This paper gives an approximate formula for the quantity || ||(X_i)||_N ||_M whenever L_q embeds into M for some 1 le q < infty. This extends work of Johnson and Schechtman who tackled the case when N = l_p, and recent work of Gordon, Litvak, Schuett and Werner who obtained similar results for Orlicz spaces.


title: On the Enumeration of Skew Young Tableaux

abstract: We extend work of McKay, Morse, and Wilf by giving exact formulas and asymptotic formulas for the number of skew Young tableaux T in two situations: (1) the "inside shape" and total number of cells of T are fixed, and (2) the inside shape of T is fixed. The proofs use the theory of symmetric functions and estimates for irreducible characters of the symmetric group due to Thoma, Vershik, Kerov, and Biane.


title: Cayley 4-frames and a quaternion-K\"ahler reduction related to Spin(7)

abstract: We describe an action of $U(1)\times Sp(1)$ on $HP^7$ that allows to obtain a $Z_2$-quotient of CAYLEY (the Grassmannian of oriented 4-planes in $R^8$ closed under the three-fold cross product) by quaternionic K\"ahler reduction.


title: Inclusions of simple $C^*$-algebras

abstract: We prove that if a conditional expectation from a simple $C^*$-algebra onto its $C^*$-subalgebra satisfies the Pimsner-Popa inequality, there exists a quasi-basis. As an application, we establish the Galois correspondence for outer actions of finite groups (and more generally finite dimensional Kac algebras) on simple $C^*$-algebras. We also introduce the notion of sectors for stable simple $C^*$-algebras and purely infinite simple $C^*$-algebras in the Cuntz standard form, and discuss several applications, including their relationship to $K$-theory.


title: Twisted stability and Fourier-Mukai transform

abstract: In this paper, we consider the preservation of stability by using the notion of Twisted stability. As applications, (1) we show that moduli spaces of vector bundles on K3 and abelian surfaces are irreducible, (2) we compute Hodge polynomials of some moduli spaces of vector bundles on Enriques surfaces and on elliptic surfaces with a section.


title: Twisted Toroidal Lie Algebras

abstract: Using $n$ finite order automorphisms on a simple complex Lie algebra we construct twisted $n$-toroidal Lie algebras. Thus obtaining Lie algebras wich have a rootspace decomposition. For the case $n=2$ we list certain simple Lie algebras and their automorphisms, which produce twisted 2-toroidal algebras. In this way we obtain Lie algebras that are related to all Extended Affine Root Systems of K. Saito.


title: Least Sqaure Method for Sum of the Functions Satysfying the Differential Equations with Polynomial Coefficients

abstract: We propose a linear algorithm for determining two function parameters by their linear combination. These functions must satisfy the first order differential equations with polynomial coefficients and our parameters are the coefficients of these polynomials. The algorithm consists of sequential solution by least squares method of two linear problems - first, differential equation polynomial coefficients determining for linear combination of two given functions and second - determining functions parameters by these polynomial coefficients. Numerical modeling carried by this scheme gives an good accordance under weak normal noise (with dispersion (<5%)).


title: Palindrome complexity

abstract: We study the palindrome complexity of infinite sequences on finite alphabets, i.e., the number of palindromic factors (blocks) of given length occurring in a given sequence. We survey the known results and obtain new results for some sequences, in particular for Rote sequences and for fixed points of primitive morphisms of constant length belonging to the class P substitutions of Hof-Knill-Simon. We also give an upper bound for the palindrome complexity of a sequence in terms of its (block-)complexity.


title: Homology class of a Lagrangian Klein bottle

abstract: It is shown that an embedded Lagrangian Klein bottle represents a non-trivial mod 2 homology class in a compact symplectic four-manifold $(X,\omega)$ with $c_1(X)\cdot[\omega]>0$. (In versions 1 and 2, the last assumption was missing. A counterexample to this general claim and the first proof of the corrected result have been found by Vsevolod Shevchishin.) As a corollary one obtains that the Klein bottle does not admit a Lagrangian embedding into the standard symplectic four-space.


title: Extended Bell and Stirling numbers from hypergeometric exponentiation

abstract: Exponentiating the hypergeometric series gives a recursion relation for integer sequences which are generalizations of conventional Bell numbers. The corresponding associated Stirling numbers of the second kind are also generated and investigated. For the lowest order generalisation, one can give a combinatorial interpretation of these 'Bell' numbers, and of some Stirling numbers associated with them. We also consider these analogues of Bell numbers in the case of restricted partitions.


title: On Mildenhall's Theorem

abstract: We show that Mildenhall's theorem implies that the indecomposable higher Chow group of a self-product of an elliptic curve over the complex number field is infinite dimensional, if the elliptic curve is modular and defined over rational numbers. For the moment we cannot prove even the nontriviality of the indecomposable higher Chow group by a complex analytic method in this case.


title: Discrete quantum Drinfeld-Sokolov correspondence

abstract: We construct a discrete quantum version of the Drinfeld-Sokolov correspondence for the sine-Gordon system. The classical version of this correspondence is a birational Poisson morphism between the phase space of the discrete sine-Gordon system and a Poisson homogeneous space. Under this correspondence, the commuting higher mKdV vector fields correspond to the action of an Abelian Lie algebra. We quantize this picture (1) by quantizing this Poisson homogeneous space, together with the action of the Abelian Lie algebra, (2) by quantizing the sine-Gordon phase space, (3) by computing the quantum analogues of the integrals of motion generating the mKdV vector fields, and (4) by constructing an algebra morphism taking one commuting family of derivations to the other one.


title: Leibniz Homology, Characteristic Classes and K-theory

abstract: In this paper we identify many striking elements in Leibniz (co)homology which arise from characteristic classes and K-theory. For a group G a field k of characteristic zero, it is shown that all primary characteristic classes, i.e. H^*(BG; k), naturally inject into certain Leibniz cohomology groups via an explicit chain map. Moreover, if f: A \to B is a homomorphism of algebras or rigns, the relative Leibniz homology groups HL_*(f) are defined, and if in addition f is surjective with nilpotent kernel, A and B algebras over the rationals, then there is a natural surjection HL_{*+1}(gl(f)) \to HC_*(f), where HC_*(f) denotes relative cyclic homology, and gl(f): gl(A) \to gl(B) is the induced map on matrices. Here again, the surjection is realized via an explicit chain map, and offers a relation between Leibniz homology and K-theory.


title: On some examples in Symplectic Topology

abstract: Article is devoted to the Examples 2 and 3 of the symplectic solvable Lie groups $R$ with some special cohomological properties, which have been constructed by Benson and Gordon. But they are not succeeded in constructing corresponding compact forms for symplectic structures on these Lie groups. Recently A.Tralle proved that there is no compact form in the Example 3. But his proof is rather complicated and uses some very special topological methods. We propose much more simpler (and purely algebraic) method to prove the main result of the Tralle's paper. Moreover we prove that for Example 2 there is no compact form too. But it appears that some modification of the construction of the Example 2 gives some other example of a solvable Lie group $R^{\prime}$ with the same cohomological properties as $R$, but with a compact form.


title: Schwarz Reflection Geometry I: Continuous Iteration of Reflection

abstract: Differential equations are derived for a continuous limit of iterated Schwarzian reflection of analytic curves, and solutions are interpreted as geodesics in an infinite-dimensional symmetric space geometry.


title: A Comparison between Star Products on Regular Orbits of Compact Lie Groups

abstract: In this paper an algebraic star product and differential one defined on a regular coadjoint orbit of a compact semisimple group are compared. It is proven that there is an injective algebra homomorphism between the algebra of polynomials with the algebraic star product and the algebra of differential functions with the differential star product structure.


title: Singularites generiques et quasi-resolutions des varietes de Schubert pour le groupe lineaire

abstract: We determine explicitly the irreducible components of the singular locus of any Schubert variety for GL_n(K), K being an algebraically closed field of arbitrary characteristic. We also describe the generic singularities along these components. The case of covexillary Schubert varieties was solved in an earlier work of the author [Ann. Inst. Fourier vol. 51 fasc. 2 (2001), 375-393]. Here, we first exhibit some irreducible components of the singular locus of X_w, by describing the generic singularity along each of them. Let S_w be the union of these components. As mentioned above, the equality S_w = Sing X_w is known for covexillary varieties, and we base our proof of the general case on this result. More precisely, we study the exceptional locus of certain quasi-resolutions of a non-covexillary Schubert variety X_w, and we relate the intersection of these loci to S_w. Then, by induction on the dimension, we can establish the equality.


title: Injective Envelopes of $C^*$-algebras as Operator Modules

abstract: In this paper we give some characterizations of M. Hamana's injective envelope I(A) of a C*-algebra A in the setting of operator spaces and completely bounded maps. These characterizations lead to simplifications and generalizations of some known results concerning completely bounded projections onto C*-algebras. We prove that I(A) is rigid for completely bounded A-module maps. This rigidity yields a natural representation of many kinds of multipliers as multiplications by elements of I(A). In particular, we prove that the(n times iterated) local multiplier algebra of A embeds into I(A). Some remarks on local left/right/quasi multiplier algebras as subsets of I(A) are added.


title: Stochastic processes on non-Archimedean spaces. III. Stochastic processes on totally disconnected topological groups

abstract: Stochastic processes on totally disconnected topological groups are investigated. In particular they are considered for diffeomorphism groups and loop groups of manifolds on non-Archimedean Banach spaces. Theorems about a quasi-invariance and a pseudo-differentiability of transition measures are proved. Transition measures are used for the construction of strongly continuous representations including irreducible of these groups. In addition stochastic processes on general Banach-Lie groups, loop monoids, loop spaces and path spaces of manifolds on Banach spaces over non-Archimedean local fields also are investigated.


title: Semistable K3-surfaces with icosahedral symmetry

abstract: In a Type III degeneration of K3-surfaces the dual graph of the central fibre is a triangulation of the 2-sphere. We realise the tetrahedral, octahedral and especially the icosahedral triangulation in families of K3-surfaces, preferably with the associated symmetry groups acting.


title: Estimates for the scattering map associated to a two-dimensional first order system

abstract: We consider the scattering transform for the first order system in the plane, (D-Q) \psi =0 where D is the 2x2 diagonal matrix differential operator whose diagonal entries are d-bar and d and Q is a 2x2 off-diagonal matrix. We show that the scattering map is Lipschitz continuous on a neighborhood of zero in L^2.


title: On formality of generalised symmetric spaces

abstract: We prove that all generalised symmetric spaces of compact simple Lie groups are formal in the sense of Sullivan. Nevertheless, many of them, including all the non-symmetric flag manifolds, do not admit Riemannian metrics for which all products of harmonic forms are harmonic.


title: Quadratic Orlik-Solomon algebras of graphic matroids

abstract: In this note we introduce a sufficient condition for the Orlik-Solomon algebra associated to a matroid M to be l-adic and we prove that this condition is necessary when M is binary (in particular graphic). Moreover, this result cannot be extended to the class of all matroids.


title: Generalized Takahashi manifolds

abstract: We introduce a family of closed 3-dimensional manifolds, which are a generalization of certain manifolds studied by M. Takahashi. The manifolds are represented by Dehn surgery with rational coefficients on the 3-sphere, along an n-periodic 2n-component link. A presentation of their fundamental group is obtained, and covering properties of these manifolds are studied. In particular, this family of manifolds includes the whole class of cyclic branched coverings of two-bridge knots. As a consequence we obtain a simple explicit surgery presentation for this important class of manifolds.


title: Integral-Input-Output to State Stability

abstract: A notion of detectability for nonlinear systems is discussed. Within the framework of ``input to state stability'' (ISS), a dual notion of ``output to state stability'' (OSS), and a more complete detectability notion, ``input-output to state stability'' (IOSS) have appeared in the literature. This note addresses a variant of the IOSS property, using an integral norm to measure signals, as opposed to the standard supremum norm that appears in ISS theory.


title: How to (symplectically) thread the eye of a (Lagrangian) needle

abstract: We show that there exists no Lagrangian embeddings of the Klein bottle into $\CC^{2}$. Using the same techniques we also give a new proof that any Lagrangian torus in $\CC^2$ is smoothly isotopic to the Clifford torus.


title: Examples of mirror partners arising from integrable systems

abstract: In this note we present pairs of hyperkaehler orbifolds which satisfy two different versions of mirror symmetry. On the one hand, we show that their Hodge numbers (or more precisely, stringy E-polynomials) are equal. On the other hand, we show that they satisfy the prescription of Strominger, Yau, and Zaslow (which in the present case goes back to Bershadsky, Johansen, Sadov and Vafa): that a Calabi-Yau and its mirror should fiber over the same real manifold, with special Lagrangian fibers which are tori dual to each other. Our examples arise as moduli spaces of local systems on a curve with structure group SL(n); the mirror is the corresponding space with structure group PGL(n). The special Lagrangian tori come from an algebraically completely integrable Hamiltonian system: the Hitchin system.


title: Totally Real Minimal Tori in $CP^2$

abstract: In this paper we show that all totally real superconformal minimal tori in $CP^2$ correspond with doubly-periodic finite gap solutions of the Tzitzeica equation $$\omega_{z{\overline z}}=e^{-2\omega}-e^{\omega}$$ Using the results on the Tzitzeica equation in integrable system theory, we describe explicitly all these tori by Prym-theta functions.


title: The Integral Representation for the Product of Two Parabolic Cylinder Functions $D_\nu (x) D_\nu (-x)$ at $Re \nu <0$ by Means of the Fundamental Solution of a Landau-Type Operator

abstract: The fundamental solution (Green's function) of a first order matrix ordinary differential equation arising in a Landau-type problem is calculated by two methods. The coincidence of the two representations results in the integral formula for the product of two parabolic cylinder functions $D_\nu(x) D_\nu(-x)$ at $Re \nu <0$, $x$ is real.


title: On Kan fibrations for Maltsev algebras

abstract: We prove that any surjective homomorphism of simplicial Maltsev algebras is a Kan fibration.


title: Vanishing line for the descent spectral sequence

abstract: For a surjective and proper map f: X -> Y there is a spectral sequence, called descent spectral sequence, abutting to the cohomology of Y with coefficients in a sheaf F. We prove that if the fibers of the map f satisfy some connectivity condition then the spectral sequence has a vanishing line.


title: A Generalized Parameter Imbedding Method

abstract: The parameter imbedding method for the Fredholm equation converts it into an initial value problem in its parameter $\lambda$. We establish the method for general operator equations of the form $[I + \hat{f}(\lambda)]\psi = \phi $. It is particularly useful for studying spontaneous symmetry breaking problems, such as contained in the nonlinear Schwinger-Dyson equation.


title: Flows in Graphs and Homology of Free Categories

abstract: We introduce the notion of a generalized flow on a graph with coefficients in a R-representation and show that the module of flows is isomorphic to the first derived functor of the colimit. We generalize Kirchhoff's laws and build an exact sequence for calculating the module of flows on the union of graphs.


title: A reduction map for nef line bundles

abstract: In a recent preprint, H. Tsuji gave a number of interesting assertions on the structure of pseudo-effective line bundles on projective manifolds. In particular, he postulated the existence of an almost-holomorphic "reduction map", whose fibers are maximal subvarieties on which the line bundle is numerically trivial. The purpose of this note is to give a simple, algebraic proof of the existence of a reduction map in the case where the line bundle is nef.


title: New Approach to Ohno Relation for Multiple Zeta Values

abstract: Ohno's relation gives a large family of relations of the multiple zeta values. We shall show functional relations of generating functions of Ohno's relation. With these relations we present a new proof of Ohno's relation.


title: Geometria nieortodoksyjna

abstract: This is an introductory text to differential geometry (written in Polish) aimed for high-school students.


title: Smooth *-algebras

abstract: Looking for the universal covering of the smooth non-commutative torus leads to a curve of associative multiplications on the space $\Cal O_M'(\Bbb R^{2n})\cong \Cal O_C(\Bbb R^{2n})$ of Laurent Schwartz which is smooth in the deformation parameter $\hbar$. The Taylor expansion in $\hbar$ leads to the formal Moyal star product. The non-commutative torus and this version of the Heisenberg plane are examples of smooth *-algebras: smooth in the sense of having many derivations. A tentative definition of this concept is given.


title: Decomposition Algorithms for Stochastic Programming on a Computational Grid

abstract: We describe algorithms for two-stage stochastic linear programming with recourse and their implementation on a grid computing platform. In particular, we examine serial and asynchronous versions of the L-shaped method and a trust-region method. The parallel platform of choice is the dynamic, heterogeneous, opportunistic platform provided by the Condor system. The algorithms are of master-worker type (with the workers being used to solve second-stage problems, and the MW runtime support library (which supports master-worker computations) is key to the implementation. Computational results are presented on large sample average approximations of problems from the literature.


title: A model structure on the category of pro-simplicial sets

abstract: We study the category pro-SSet of pro-simplicial sets, which arises in etale homotopy theory, shape theory, and pro-finite completion. We establish a model structure on pro-SSet so that it is possible to do homotopy theory in this category. This model structure is closely related to the strict structure of Edwards and Hastings. In order to understand the notion of homotopy groups for pro-spaces we use local systems on pro-spaces. We also give several alternative descriptions of weak equivalences, including a cohomological characterization. We outline dual constructions for ind-spaces.


title: Systolic freedom of loop space

abstract: Given a pair of integers m and n such that 1 < m < n, we show that every n-dimensional manifold admits metrics of arbitrarily small total volume, and possessing the following property: every m-dimensional submanifold of less than unit m-volume is necessarily torsion in homology. This result is different from the case of a pair of complementary dimensions, for which a direct geometric construction works and gives the analogous theorem in complete generality. In the present paper, we use Sullivan's telescope model for the rationalisation of a space to observe systolic freedom.


title: Yet another inverse function theorem

abstract: We prove a Nash-Moser type inverse function theorem in Frechet spaces for functions with approximate inverses, allowing for a loss of derivatives proportional to $n$ in the way of Lojasiewicz and Zehnder.


title: Finite dimensional Realizations of Stochastic Equations

abstract: This paper discusses finite-dimensional (Markovian) realizations (FDRs) for Heath-Jarrow-Morton interest rate models. We consider a d-dimensional driving Brownian motion and stochastic volatility structures that are non-degenerate smooth functionals of the current forward rate. In a recent paper, Bj\"ork and Svensson give sufficient and necessary conditions for the existence of FDRs within a particular Hilbert space setup. We extend their framework, provide new results on the geometry of the implied FDRs and classify all of them. In particular, we prove their conjecture that every short rate realization is 2-dimensional. More generally, we show that all generic FDRs are at least (d+1)-dimensional and that all generic FDRs are affine. As an illustration we sketch an interest rate model, which goes well with the Svensson curve-fitting method. These results cannot be obtained in the Bj\"ork-Svensson setting. A substantial part of this paper is devoted to analysis on Fr\'echet spaces, where we derive a Frobenius theorem. Though we only consider stochastic equations in the HJM-framework, many of the results carry over to a more general setup.


title: On toric varieties and modular forms

abstract: These are the notes from a survey talk given at Arbeitstagung 2001 covering the author's work with Lev Borisov and Sorin Popescu on toric varieties, modular forms, and equations of modular curves.


title: Gromov-Witten invariants of symplectic quotients and adiabatic limits

abstract: We study pseudoholomorphic curves in symplectic quotients as adiabatic limits of solutions of a system of nonlinear first order elliptic partial differential equations in the ambient symplectic manifold. The symplectic manifold carries a Hamiltonian group action. The equations involve the Cauchy-Riemann operator over a Riemann surface, twisted by a connection, and couple the curvature of the connection with the moment map. Our main theorem asserts that the genus zero invariants of Hamiltonian group actions defined by these equations are related to the genus zero Gromov--Witten invariants of the symplectic quotient (in the monotone case) via a natural ring homomorphism from the equivariant cohomology of the ambient space to the quantum cohomology of the quotient.


title: Etale realization on the A^1-homotopy theory of schemes

abstract: We compare Friedlander's definition of the etale topological type for simplicial schemes to another definition involving realizations of pro-simplicial sets. This can be expressed as a notion of hypercover descent for etale homotopy. We use this result to construct a homotopy invariant functor from the category of simplicial presheaves on the etale site of schemes over S to the category of pro-spaces. After completing away from the characteristics of the residue fields of S, we get a functor from the Morel-Voevodsky A^1-homotopy category of schemes to the homotopy category of pro-spaces.


title: How to Combine Fast Heuristic Markov Chain Monte Carlo with Slow Exact Sampling

abstract: Use each of n exact samples as the initial state for a MCMC sampler run for m steps. We give confidence intervals for accuracy of estimators which are always valid and which, in certain settings, are almost as good as the intervals one would obtain if the (unknown) mixing time of the chain were known.


title: Spectral Stability of the Neumann Laplacian

abstract: We prove the equivalence of Hardy- and Sobolev-type inequalities, certain uniform bounds on the heat kernel and some spectral regularity properties of the Neumann Laplacian associated with an arbitrary region of finite measure in Euclidean space. We also prove that if one perturbs the boundary of the region within a uniform H\"older category then the eigenvalues of the Neumann Laplacian change by a small and explicitly estimated amount. AMS subject classifications: 35P15, 35J25, 47A75, 47B25, 26D10, 46E35. Keywords: Neumann Laplacian, Sobolev inequalities, Hardy inequalities, spectral stability, H\"older continuity.


title: A unified approach to Exel-Laca algebras and C*-algebras associated to graphs

abstract: We define an ultragraph, which is a generalization of a directed graph, and describe how to associate a C*-algebra to it. We show that the class of ultragraph algebras contains the C*-algebras of graphs as well as the Exel-Laca algebras. We also show that many of the techniques used for graph algebras can be applied to ultragraph algebras and that the ultragraph provides a useful tool for analyzing Exel-Laca algebras. Our results include versions of the Cuntz-Krieger Uniqueness Theorem and the Gauge-Invariant Uniqueness Theorem for ultragraph algebras.


title: Simplicity of ultragraph algebras

abstract: In this paper we analyze the structure of C*-algebras associated to ultragraphs, which are generalizations of directed graphs. We characterize the simple ultragraph algebras as well as deduce necessary and sufficient conditions for an ultragraph algebra to be purely infinite and to be AF. Using these techniques we also produce an example of an ultragraph algebra which is neither a graph algebra nor an Exel-Laca algebra. We conclude by proving that the C*-algebras of ultragraphs with no sinks are Cuntz-Pimsner algebras.


title: Topological geodesics and virtual rigidity

abstract: We introduce the notion of a topological geodesic in a 3-manifold. Under suitable hypotheses on the fundamental group, for instance word-hyperbolicity, topological geodesics are shown to have the useful properties of, and play the same role in several applications as, geodesics in negatively curved spaces. This permits us to obtain virtual rigidity results for 3-manifolds.


title: The many faces of cyclic branched coverings of 2-bridge knots and links

abstract: We discuss 3-manifolds which are cyclic coverings of the 3-sphere, branched over 2-bridge knots and links. Different descriptions of these manifolds are presented: polyhedral, Heegaard diagram, Dehn surgery and coloured graph constructions. Using these descriptions, we give presentations for their fundamental groups, which are cyclic presentations in the case of 2-bridge knots. The homology groups are given for a wide class of cases. Moreover, we prove that each singly-cyclic branched covering of a 2-bridge link is the composition of a meridian-cyclic branched covering of a determined link and a cyclic branched covering of a trivial knot.


title: The Betti numbers of some finite racks

abstract: We show that the lower bounds for Betti numbers given in math.GT/9909161 are equalities for a class of racks that includes dihedral and Alexander racks. We confirm a conjecture from the same paper by defining a splitting for the short exact sequence of quandle chain complexes. We define isomorphisms between Alexander racks of certain forms, and we also list the second and third homology groups of some dihedral and Alexander quandles.


title: A Note on Applications of Support Vector Machine

abstract: We describe in a rudimentary fashion how SVM(support vector machine) plays the role of classifier in a mathematical setting. We then discuss its application in the study of multiple SNP(single nucleotide polymorphism) variations. Also presented is a set of preliminary test results with clinical data.


title: On The Generalized Cyclic Eilenberg-Zilber Theorem

abstract: We use the homological perturbation lemma to give an explicit proof of the cyclic Eilenberg-Zilber theorem for cylindrical modules.


title: A new algorithm for the volume of a convex polytope

abstract: We provide two algorithms for computing the volume of a convex polytope with half-space representation {x>=0; Ax <=b} for some (m,n) matrix A and some m-vector b. Both algorithms have a O(n^m) computational complexity which makes them especially attractive for large n and relatively small m when the other methods with O(m^n) complexity fail. The methodology which differs from previous existing methods uses a Laplace transform technique that is well-suited to the half-space representation of the polytope.


title: Quasi-invariant and pseudo-differentiable measures on a non-Archimedean Banach space.I. Real-valued measures

abstract: Quasi-invariant and pseudo-differentiable measures on a Banach space $X$ over a non-Archimedean locally compact infinite field with a non-trivial valuation are defined and constructed. Measures are considered with values in $\bf R$. Theorems and criteria are formulated and proved about quasi-invariance and pseudo-differentiability of measures relative to linear and non-linear operators on $X$. Characteristic functionals of measures are studied. Moreover, the non-Archimedean analogs of the Bochner-Kolmogorov and Minlos-Sazonov theorems are investigated. Infinite products of measures also are considered. Convergence of quasi-invariant and pseudo-differentiable measures in the corresponding spaces of measures is investigated.


title: Quasi-invariant and pseudo-differentiable measures on a non-Archimedean Banach space. II. Measures with values in non-Archimedean fields

abstract: Quasi-invariant and pseudo-differentiable measures on a Banach space $X$ over a non-Archimedean locally compact infinite field with a non-trivial valuation are defined and constructed. Measures are considered with values in non-Archimedean fields, for example, the field $\bf Q_p$ of $p$- adic numbers. Theorems and criteria are formulated and proved about quasi-invariance and pseudo-differentiability of measures relative to linear and non-linear operators on $X$. Characteristic functionals of measures are studied. Moreover, the non-Archimedean analogs of the Bochner-Kolmogorov and Minlos-Sazonov theorems are investigated. Infinite products of measures are considered and the analog of the Kakutani theorem is proved. Convergence of quasi-invariant and pseudo-differentiable measures in the corresponding spaces of measures is investigated.


title: The Weyl Algebra and the Structure of Lie Superalgebras of Riemannian Type

abstract: A Lie superalgebrea of Riemannian type leads to a representation of a quadratic Lie algebra into a Weyl algebra. A necessary and sufficient condition that such a representation leads to a Lie superalgebra of Riemannian type is that the Casimir maps to a constant.


title: Eta Invariant and Conformal Cobordism

abstract: In this note we study the problem of conformally flat structures bounding conformally flat structures and show that the eta invariants give obstructions. These lead us to the definition of an abelian group, the conformal cobordism group, which classifies the conformally flat structures according to whether they bound (higher dimensional) conformally flat structures in a conformally invariant way. The eta invariant gives rise to a homomorphism from this group to the circle group, which can be highly nontrivial. It remains an interesting question of how to compute this group.


title: Local moves on spatial graphs and finite type invariants

abstract: We define $A_k$-moves for embeddings of a finite graph into the 3-sphere for each natural number $k$. Let $A_k$-equivalence denote an equivalence relation generated by $A_k$-moves and ambient isotopy. $A_k$-equivalence implies $A_{k-1}$-equivalence. Let ${\cal F}$ be an $A_{k-1}$-equivalence class of the embeddings of a finite graph into the 3-sphere. Let ${\cal G}$ be the quotient set of ${\cal F}$ under $A_k$-equivalence. We show that the set ${\cal G}$ forms an abelian group under a certain geometric operation. We define finite type invariants on ${\cal F}$ of order $(n;k)$. And we show that if any finite type invariant of order $(1;k)$ takes the same value on two elements of ${\cal F}$, then they are $A_k$-equivalent. $A_k$-move is a generalization of $C_k$-move defined by K. Habiro. Habiro showed that two oriented knots are the same up to $C_k$-move and ambient isotopy if and only if any Vassiliev invariant of order $\leq k-1$ takes the same value on them. The ` if' part does not hold for two-component links. Our result gives a sufficient condition for spatial graphs to be $C_k$-equivalent.


title: Geodesics in stationary spacetimes. Application to Kerr spacetime

abstract: The Levi-Civita connection and geodesic equations for a stationary spacetime are studied in depth. General formulae which generalize those for warped products are obtained. These results are applicated to some regions of Kerr spacetime previously studied by using variational methods. We show that they are neither space-convex nor geodesically connected. Moreover, the whole stationary part of Kerr spacetime is not geodesically connected, except when the angular momentum is equal to zero (Schwarzschild spacetime).