title: Indestructibility and the level-by-level agreement between strong compactness and supercompactness

abstract: Can a supercompact cardinal kappa be Laver indestructible when there is a level-by-level agreement between strong compactness and supercompactness? In this article, we show that if there is a sufficiently large cardinal above kappa, then no, it cannot. Conversely, if one weakens the requirement either by demanding less indestructibility, such as requiring only indestructibility by stratified posets, or less level-by-level agreement, such as requiring it only on measure one sets, then yes, it can.


title: Sheafifiable homotopy model categories

abstract: If a Quillen model category can be specified using a certain logical syntax (intuitively, ``is algebraic/combinatorial enough''), so that it can be defined in any category of sheaves, then the satisfaction of Quillen's axioms over any site is a purely formal consequence of their being satisfied over the category of sets. Such data give rise to a functor from the category of topoi and geometric morphisms to Quillen model categories and Quillen adjunctions.


title: On the Saddle Point Property of Abresch-Langer curves under the Curve Shortening Flow

abstract: In the study of the curve shortening flow on general closed curves, Abresch and Langer posed a conjecture that the homothetic curves can be regarded as saddle points between multi-folded circles and some singular curves. In other words, these homothetic curves are the watershed between curves with a nonsingular future and those with singular future along the flow. In this article, we provide an affirmitive proof to this conjecture.


title: A duality between standard simplices and Stasheff polytopes

abstract: We show that the family of chain modules over the standard simplices can be equipped with an operad structure. Similarly, the family of cochain modules of the Stasheff polytopes can be equipped with an operad structure. We first show that these operads are Koszul dual to each other, and second that they are both Koszul operads. The algebras over the standard simplices operad, called associative trialgebras, are defined by 3 operations and 11 relations. The algebras over the Stasheff polytopes operad, called dendriform trialgebras, are defined by 3 operations and 7 relations.


title: A note on log canonical thresholds

abstract: We prove that the largest accumulation point of the set $\mathcal{T}_3$ of all three-dimensional log canonical thresholds $c(X,F)$ is 5/6.


title: Hamiltonian Hopf bifurcation with symmetry

abstract: In this paper we study the appearance of branches of relative periodic orbits in Hamiltonian Hopf bifurcation processes in the presence of compact symmetry groups that do not generically exist in the dissipative framework. The theoretical study is illustrated with several examples.


title: Diagrammatic Computations for Quandles and Cocycle Knot Invariants

abstract: The state-sum invariants for knots and knotted surfaces defined from quandle cocycles are described using the Kronecker product between cycles represented by colored knot diagrams and a cocycle of a finite quandle used to color the diagram. Such an interpretation is applied to evaluating the invariants. Algebraic interpretations of quandle cocycles as deformations of extensions are also given. The proofs rely on colored knot diagrams.


title: Fuchsian bispectral operators

abstract: The aim of this paper is to classify the bispectral operators of any rank with regular singular points (the infinite point is the most important one). We characterise them in several ways. Probably the most important result is that they are all Darboux transformations of powers of generalised Bessel operators (in the terminology of q-alg/9602011). For this reason they can be effectively parametrised by the points of a certain (infinite) family of algebraic manifolds as pointed out in q-alg/9602011.


title: Accuracy and convergence of the backward Monte-Carlo method

abstract: The recently introduced backward Monte-Carlo method [Johan Carlsson, arXiv:math.NA/0010118] is validated, benchmarked, and compared to the conventional, forward Monte-Carlo method by analyzing the error in the Monte-Carlo solutions to a simple model equation. In particular, it is shown how the backward method reduces the statistical error in the common case where the solution is of interest in only a small part of phase space. The forward method requires binning of particles, and linear interpolation between the bins introduces an additional error. Reducing this error by decreasing the bin size increases the statistical error. The backward method is not afflicted by this conflict. Finally, it is shown how the poor time convergence can be improved for the backward method by a minor modification of the Monte-Carlo equation of motion that governs the stochastic particle trajectories. This scheme does not work for the conventional, forward method.


title: Coherent Orientations in Symplectic Field Theory

abstract: We study the coherent orientations of the moduli spaces of holomorphic curves in Symplectic Field Theory, generalizing a construction due to Floer and Hofer. In particular we examine their behavior at multiple closed Reeb orbits under change of the asymptotic direction. The orientations are determined by a certain choice of orientation at each closed Reeb orbit, that is similar to the orientation of the unstable tangent spaces of critical points in finite--dimensional Morse theory.


title: Birational geometry of terminal quartic 3-folds. I

abstract: This is the unabridged web version of the paper that will be published on the American Journal of Mathematics. In this paper, we study the birational geometry of certain examples of mildly singular quartic 3-folds. A quartic 3-fold is an example of a Fano variety, that is, a variety $X$ with ample anticanonical sheaf $\O_X(-K_X)$. From the point of view of birational geometry they basically fall within two classes: either $X$ is ``close to being rational'', and then it has very many biregularly distinct birational models as a Fano 3-fold, or, at the other extreme, $X$ has a unique model and it is often even true that every birational selfmap of $X$ is biregular. In this paper we construct examples of singular quartic 3-folds with exactly two birational models as Fano 3-folds.


title: Correspondence spaces and twistor spaces for parabolic geometries

abstract: For a semisimple Lie group $G$ with parabolic subgroups $Q\subset P\subset G$, we associate to a parabolic geometry of type $(G,P)$ on a smooth manifold $N$ the correspondence space $\Cal CN$, which is the total space of a fiber bundle over $N$ with fiber a generalized flag manifold, and construct a canonical parabolic geometry of type $(G,Q)$ on $\Cal CN$. Conversely, for a parabolic geometry of type $(G,Q)$ on a smooth manifold $M$, we construct a distribution corresponding to $P$, and find the exact conditions for its integrability. If these conditions are satisfied, then we define the twistor space $N$ as a local leaf space of the corresponding foliation. We find equivalent conditions for the existence of a parabolic geometry of type $(G,P)$ on the twistor space $N$ such that $M$ is locally isomorphic to the correspondence space $\Cal CN$, thus obtaining a complete local characterization of correspondence spaces. We show that all these constructions preserve the subclass of normal parabolic geometries (which are determined by some underlying geometric structure) and that in the regular normal case, all characterizations can be expressed in terms of the harmonic curvature of the Cartan connection, which is easier to handle. Several examples and applications are discussed.


title: Skein theory and the Murphy operators

abstract: The Murphy operators in the Hecke algebra H_n of type A are explicit commuting elements whose sum generates the centre. They can be represented by simple tangles in the Homfly skein theory version of H_n. In this paper I present a single tangle which represents their sum, and which is obviously central. As a consequence it is possible to identify a natural basis for the Homfly skein of the annulus, C. Symmetric functions of the Murphy operators are also central in H_n. I define geometrically a homomorphism from C to the centre of each algebra H_n, and find an element in C, independent of n, whose image is the m-th power sum of the Murphy operators. Generating function techniques are used to describe images of other elements of C in terms of the Murphy operators, and to demonstrate relations among other natural skein elements.


title: On first exit times for homogeneous diffusion processes

abstract: It is given an effective upper estimate of expectation of |T_1-T_2|, where T_1 and T_2 are the first exit times from a region for two vector diffusion processes.


title: On Resolving Singularities

abstract: Let V be an irreducible affine algebraic variety over a field k of characteristic zero, and let (f_0,...,f_m) be a sequence of elements of the coordinate ring. There is probably no elementary condition on the f_i and their derivatives which determines whether the blowup of V along (f_0,...,f_m) is nonsingular. The result is that there indeed is such an elementary condition, involving the first and second derivatives of the $f_i,$ provided we admit certain singular blowups, all of which can be resolved by an additional Nash blowup. There is is a particular explicit sequence of ideals R=J_0, J_1, J_2,... \subset R so that V_i=Bl_{J_i}V is the i'th Nash blowup of V, with J_i|J_{i+1} for all i. Applying our earlier paper, V_i is nonsingular if and only if the ideal class of J_{i+1} divides some power of the ideal class of J_i. The present paper brings things down to earth considerably: such a divisibility of ideal classes implies that for some N\ge r+2 J_i^{N-r-2}J_{i+1}^{r+3}=J_i^NJ_{i+2}. Yet note that this identity in turn implies J_{i+2} is a divisor of some power of J_{i+1}. Thus although $V_i$ may fail to be nonsingular, when the identity holds the {\it next} variety V_{i+1} must be nonsingular. Thus the Nash question is equivalent to the assertion that the identity above holds for some sufficiently large i and N.


title: On filtered multiplicative bases of group algebras II

abstract: We give an explicit list of all p-groups G with a cyclic subgroup of index p^2, such that the group algebra KG over the field K of characteristic p has a filtered multiplicative K-basis. We also proved that such a K-basis does not exist for the group algebra KG, in the case when G$ is either a powerful p-group or a two generated p-group (p\not=2) with a central cyclic commutator subgroup. This paper is a continuation of the related V. Bovdi, On a filtered multiplicative basis of the group algebras Arch. Math. (Basel) 74 (2000) 81--88


title: Concordance and 1-loop clovers

abstract: We show that surgery on a connected clover (or clasper) with at least one loop preserves the concordance class of a knot. Surgery on a slightly more special class of clovers preserves invertible concordance. We also show that the converse is false. Similar results hold for clovers with at least two loops vs. S-equivalence.


title: Analytic invariants of boundary links

abstract: Using basic topology and linear algebra, we define a plethora of invariants of boundary links whose values are power series with noncommuting variables. These turn out to be useful and elementary reformulations of an invariant originally defined by M. Farber.


title: Vanishing theorems and conjectures for the, $\ell ^2$--homology of right-angled Coxeter groups

abstract: Associated to any finite flag complex L there is a right-angled Coxeter group W_L and a cubical complex \Sigma_L on which W_L acts properly and cocompactly. Its two most salient features are that (1) the link of each vertex of \Sigma_L is L and (2) \Sigma_L is contractible. It follows that if L is a triangulation of S^{n-1}, then \Sigma_L is a contractible n-manifold. We describe a program for proving the Singer Conjecture (on the vanishing of the reduced L^2-homology except in the middle dimension) in the case of \Sigma_L where L is a triangulation of S^{n-1}. The program succeeds when n < 5. This implies the Charney-Davis Conjecture on flag triangulations of S^3. It also implies the following special case of the Hopf-Chern Conjecture: every closed 4-manifold with a nonpositively curved, piecewise Euclidean, cubical structure has nonnegative Euler characteristic. Our methods suggest the following generalization of the Singer Conjecture. Conjecture: If a discrete group G acts properly on a contractible n-manifold, then its L^2-Betti numbers b_i^{(2)} (G)$ vanish for i>n/2.


title: Applications of the Brauer complex: card shuffling, permutation statistics, and dynamical systems

abstract: By algebraic group theory, there is a map from the semisimple conjugacy classes of a finite group of Lie type to the conjugacy classes of the Weyl group. Picking a semisimple class uniformly at random yields a probability measure on conjugacy classes of the Weyl group. Using the Brauer complex, it is proved that this measure agrees with a second measure on conjugacy classes of the Weyl group induced by a construction of Cellini using the affine Weyl group. Formulas for Cellini's measure in type $A$ are found. This leads to new models of card shuffling and has interesting combinatorial and number theoretic consequences. An analysis of type C gives another solution to a problem of Rogers in dynamical systems: the enumeration of unimodal permutations by cycle structure. The proof uses the factorization theory of palindromic polynomials over finite fields. Contact is made with symmetric function theory.


title: A computer proof of a polynomial identity implying a partition theorem of Goellnitz

abstract: In this paper we give a computer proof of a new polynomial identity, which extends a recent result of Alladi and the first author. In addition, we provide computer proofs for new finite analogs of Jacobi and Euler formulas. All computer proofs are done with the aid of the new computer algebra package qMultiSum developed by the second author. qMultiSum implements an algorithmic refinement of Wilf and Zeilberger's multi-q-extension of Sister Celine's technique utilizing additional ideas of Verbaeten and Wegschaider.


title: Minkowski- versus Euclidean rank for products of metric spaces

abstract: We introduce a notion of the Euclidean- and the Minkowski rank for arbitrary metric spaces and we study their behaviour with respect to products. We show that the Minkowski rank is additive with respect to metric products, while additivity of the Euclidean rank only holds under additional assumptions, e.g. for Riemannian manifolds. We also study products with nonstandard product metrics.


title: On the AKSZ formulation of the Poisson sigma model

abstract: We review and extend the Alexandrov-Kontsevich-Schwarz-Zaboronsky construction of solutions of the Batalin-Vilkovisky classical master equation. In particular, we study the case of sigma models on manifolds with boundary. We show that a special case of this construction yields the Batalin-Vilkovisky action functional of the Poisson sigma model on a disk. As we have shown in a previous paper, the perturbative quantization of this model is related to Kontsevich's deformation quantization of Poisson manifolds and to his formality theorem. We also discuss the action of diffeomorphisms of the target manifolds.


title: Hyperbolic rank and subexponential corank of metric spaces

abstract: We introduce a new quasi-isometry invariant $\subcorank X$ of a metric space $X$ called {\it subexponential corank}. A metric space $X$ has subexponential corank $k$ if roughly speaking there exists a continuous map $g:X\to T$ such that for each $t\in T$ the set $g^{-1}(t)$ has subexponential growth rate in $X$ and the topological dimension $\dim T=k$ is minimal among all such maps. Our main result is the inequality $\hyprank X\le\subcorank X$ for a large class of metric spaces $X$ including all locally compact Hadamard spaces, where $\hyprank X$ is maximal topological dimension of $\di Y$ among all $\CAT(-1)$ spaces $Y$ quasi-isometrically embedded into $X$ (the notion introduced by M. Gromov in a slightly stronger form). This proves several properties of $\hyprank$ conjectured by M. Gromov, in particular, that any Riemannian symmetric space $X$ of noncompact type possesses no quasi-isometric embedding $\hyp^n\to X$ of the standard hyperbolic space $\hyp^n$ with $n-1>\dim X-\rank X$.


title: Quantum Anti-de Sitter Space at Roots of Unity

abstract: This is a short summary of the paper hep-th/9910037. An algebra of functions on q-deformed Anti-de Sitter space AdS_q^D is defined for q a root of unity, which is covariant under U_q(so(2,D-1)). The scalar fields have an intrinsic high- energy cutoff, and arise most naturally on products of the quantum AdS space with a classical sphere. Hilbert spaces of scalar fields are constructed.


title: Hermite functions and uncertainty principles for the Fourier and the windowed Fourier transforms

abstract: We extend an uncertainty principle due to Beurling into a characterization of Hermite functions. More precisely, all functions $f$ on $\R^d$ which may be written as $P(x)\exp (Ax,x)$, with $A$ a real symmetric definite positive matrix, are characterized by integrability conditions on the product $f(x)\hat{f}(y)$. We also give the best constant in uncertainty principles of Gelf'and Shilov type. We then obtain similar results for the windowed Fourier transform (also known, up to elementary changes of functions, as the radar ambiguity function or the Wigner transform). We complete the paper with a sharp version of Heisenberg's inequality for this transform.


title: Polynomial splittings of Casson-Gordon invariants

abstract: In this paper we prove that the Casson-Gordon invariants of the connected sum of two knots split when the Alexander polynomials of the knots are coprime. As one application, for any knot K, all but finitely many algebraically slice twisted doubles of K are linearly independent in the knot concordance group.


title: Paths, Crystals and Fermionic Formulae

abstract: We introduce a fermionic formula associated with any quantum affine algebra U_q(X^{(r)}_N). Guided by the interplay between corner transfer matrix and Bethe ansatz in solvable lattice models, we study several aspects related to representation theory, most crucially, the crystal basis theory. They include one dimensional sums over both finite and semi-infinite paths, spinon character formulae, Lepowski-Primc type conjectural formula for vacuum string functions, dilogarithm identities, Q-systems and their solution by characters of various classical subalgebras and so forth. The results expand [HKOTY1] including the twisted cases and more details on inhomogeneous paths consisting of non-perfect crystals. As a most intriguing example, certain inhomogeneous one dimensional sums conjecturally give rise to branching functions of an integrable G^{(1)}_2-module related to the embedding G^{(1)}_2 \hookrightarrow B^{(1)}_3 \hookrightarrow D^{(1)}_4.


title: Universal numerical algorithms and their software implementation

abstract: The concept of a universal algorithm is discussed. Examples of this kind of algorithms are presented. Software implementations of such algorithms in C++ type languages are discussed together with means that provide for computations with an arbitrary accuracy. Particular emphasis is placed on universal algorithms of linear algebra over semirings.


title: Analytic moduli spaces of simple (co)framed sheaves

abstract: Let X be a complex space and F a coherent O_X-module. A F-(co)framed} sheaf on X is a pair (E,f) with a coherent O_X-module E and a morphism of coherent sheaves f : F -> E (resp. f : E -> F). Two such pairs (E,f) and (E',f') are said to be isomorphic if there exists an isomorphism of sheaves g : E -> E' such that gof = f' (resp. f'og = f). A pair (E,f) is called simple if its only automorphism is the identity on E. In this note we prove a representability theorem in a relative framework, which implies in particular that there is a moduli space of simple F-(co)framed sheaves on a given compact complex space X.


title: Infinitesimal Variation of Harmonic Forms and Lefschetz Decomposition

abstract: This paper studies the infinitesimal variation of the Lefschetz decomposition associated with a compatible sl_2-representation on a graded algebra. This allows to prove that the Jordan-Lefschetz property holds infinitesimally for the Kaehler Lie algebra (introduced by Looijenga and Lunts) of any compact Kaehler manifold. As a second application we describe how the space of harmonic forms changes when a Ricci-flat Kaehler form is deformed infinitesimally.


title: Conjugacy rigidity for nonpositively curved graph manifolds

abstract: We show that the metric of nonpositively curved graph manifolds is determined by its geodesic flow. More precisely we show that if the geodesic flows of two nonpositively curved graph manifolds are $C^0$ conjugate then the spaces are isometric.


title: Lattice gauge theories and the Florentino conjecture

abstract: We study the relation between the space of representation classes of the fundamental group of a Riemann surface and gauge theory on trivalent graphs. We construct a partial gauge fixing in the latter gauge theory. As an application we get a proof of a conjecture of Florentino.


title: Gauge theoretical equivariant Gromov-Witten invariants and the full Seiberg-Witten invariants of ruled surfaces

abstract: Let $(F,J,\omega)$ be an almost K\"ahler manifold, $\alpha$ a $J$-holomorphic action of a compact Lie group $\hat K$ on $F$, and $K$ a closed normal subgroup of $\hat K$ which leaves $\omega$ invariant. We introduce gauge theoretical invariants for such triples $(F,\alpha,K)$. The invariants are associated with moduli spaces of solutions of a certain vortex type equation on a Riemann surface. We give explicite descriptions of the moduli spaces associated with the triple $(\Hom(\C^r,\C^{r_0}), \alpha_{\rm can},U(r))$, where $\alpha_{\rm can}$ denotes the canonical action of $\hat K=U(r)\times U(r_0)$ on $\Hom(\C^r,\C^{r_0})$. In the abelian case $r=1$, the new invariants can be computed expliciteley and identified with the full Seiberg-Witten invariants of ruled surfaces.


title: Separable functors in corings

abstract: We give characterizations of the separability of the induction and ad-induction functors associated to a coring morphism.


title: Fuel-Optimal Rendezvous in a Central Force Field with Linear Drag

abstract: In this paper we consider the fuel-optimal rendezvous between a satellite and a spacecraft in a central force field with a drag force that is linear in the velocity. In this general setting we linearize the equations of motion of the spacecraft and show that they can be reduced effectively, in the case of a linear drag, to one second order linear differential equation. We then specialize to the case of inverse square laws. Under certain simplifying assumptions a state-transition matrix can be found in terms of integrals. The work can then be placed in the context of various control models that have been developed in previouswork. PAPER WAS WITHDRAWN BY AUTHORS. IT will apprear in AIAA J. Guidance and Control.


title: On syzygies of Segre embeddings

abstract: The main result of this paper is the following: let d be a natural number >= 3; the line bundle O(1,...,1) on the product of d copies of the projective line P^1 satisfies Property N_p of Green-Lazarsfeld if and only if p <= 3.


title: Isospectral manifolds with different local geometries

abstract: We construct several new classes of isospectral manifolds with different local geometries. After reviewing a theorem by Carolyn Gordon on isospectral torus bundles and presenting certain useful specialized versions (Chapter 1) we apply these tools to construct the first examples of isospectral four-dimensional manifolds which are not locally isometric (Chapter 2). Moreover, we construct the first examples of isospectral left invariant metrics on compact Lie groups (Chapter 3). Thereby we also obtain the first continuous isospectral families of globally homogeneous manifolds and the first examples of isospectral manifolds which are simply connected and irreducible. Finally, we construct the first pairs of isospectral manifolds which are conformally equivalent and not locally isometric (Chapter 4).


title: Le lieu singulier des varietes de Schubert

abstract: We give an explicit combinatorial description of the irreducible components of the singular locus of a Schubert variety in a flag variety of type A. This implies a conjecture of Lakshmibai and Sandhya.


title: On Two Moduli Problems Concerning Number of Points and Equidistribution over Prime Finite Fields

abstract: Problems of (i) precise (exact) bound for families of hyperelliptic curves over prime finite fields and (ii) equidistribution of angles of Kloosterman sums are discussed.


title: Isospectral metrics on five-dimensional spheres

abstract: We construct isospectral pairs of Riemannian metrics on S^5 and on B^6, thus lowering by three the dimension of spheres and balls on which such metrics have been constructed previously (S^{n\ge 8} and B^{n\ge 9}). We also construct continuous families of isospectral Riemannian metrics on S^7 and on B^8. In each of these examples, the metrics can be chosen equal to the standard metric outside certain subsets of arbitrarily small volume.


title: Vertex Lie algebras, vertex Poisson algebras and vertex algebras

abstract: The notions of vertex Lie algebra and vertex Poisson algebra are presented and connections among vertex Lie algebras, vertex Poisson algebras and vertex algebras are discussed.


title: Logarithmic Jets and Hyperbolicity

abstract: We prove that the complement of a very generic curve of degree $d$ at least equal to 15 in the projective plane is hyperbolic in the sens of Kobayashi (here, the terminology ``very generic'' refers to complements of countable unions of proper algebraic subsets of the parameter space). We first consider the Dethloff and Lu's generalisation to the logarithmic situation of Demailly's jet bundles. We study their base loci for surfaces of log-general type in the same way as it was done in the compact case by Demailly and El Goul. With some condition on log-Chern classes, any entire holomorphic map to the surface can be lifted as a leaf of some foliation on a ramified covering. Then we obtain a logarithmic analogue of McQuillan's result on holomorphic foliations which permits to conclude. Using the logarithmic formalism, we even obtain some simplifications of the original proof in McQuillan's work.


title: Renormalization theory for multimodal maps

abstract: We study the dynamics of the renormalization operator for multimodal maps. In particular, we prove the exponential convergence of this operator for infinitely renormalizable maps with same bounded combinatorial type.


title: Canonical curves and varieties of sums of powers of cubic polynomials

abstract: In this note we show that the apolar cubic forms associated to codimension two linear sections of canonical curves of genus at least eleven are special with respect to their presentation as sums of cubes.


title: Algebraic Extensions of Normed Algebras

abstract: We compare two known methods of extending a complex, unital, commutative normed algebra so as to include solutions to sets of monic polynomials over the original algebra. (One of these is a generalisation of a construction from the thesis of B. J. Cole and only applies to uniform algebras.) An example is given to show that they can lead to essentially different algebras. Integrally closed extensions which generalise Cole's `universal root algebras' are also constructed .


title: Tate cohomology of circle actions as a Heisenberg group

abstract: We study the Madsen-Tillman spectrum \CP^\infty_{-1} as a quotient of the Mahowald pro-object \CP^\infty_{-\infty}, which is closely related to the Tate cohomology of circle actions. That theory has an associated symplectic structure, whose symmetries define the Virasoro operations on the cohomology of moduli space constructed by Kontsevich and Witten.


title: De Rham and infinitesimal cohomology in Kapranov's model for noncommutative algebraic geometry

abstract: The title refers to the nilcommutative or $NC$-schemes introduced by M. Kapranov in math.AG/9802041. The latter are noncommutative nilpotent thickenings of commutative schemes. We consider also the parallel theory of nil-Poisson or $NP$-schemes, which are nilpotent thickenings of commutative schemes in the category of Poisson schemes. We study several variants of de Rham cohomology for $NC$- and $NP$-schemes. The variants include nilcommutative and nil-Poisson versions of the de Rham complex as well as of the cohomology of the infinitesimal site introduced by Grothendieck. It turns out that each of these noncommutative variants admits a kind of Hodge decomposition which allows one to express the cohomology groups of a noncommutative scheme $Y$ as a sum of copies of the usual (de Rham, infinitesimal) cohomology groups of the underlying commutative scheme $X$ (Theorems 6.2, 6.5, 6.8). As a byproduct we obtain new proofs for classical results of Grothendieck (Corollary 6.3) and of Feigin-Tsygan (Corollary 6.9) on the relation between de Rham and infinitesimal cohomology and between the latter and periodic cyclic homology.


title: Characterizations of essential ideals as operator modules over C*-algebras

abstract: In this paper we give characterizations of essential left ideals of a C*-algebra $A$ in terms of their properties as operator $A$-modules. Conversely, we seek C*-algebraic characterizations of those ideals $J$ in $A$ such that $A$ is an essential extension of $J$ in various categories of operator modules. In the case of two-sided ideals, we prove that all the above concepts coincide. We obtain results, analogous to {M. Hamana's} results, which characterize the injective envelope of a C*-algebra as a maximal essential extension of the C*-algebra, but with completely positive maps replaced by completely bounded module maps. By restricting to one-sided ideals, module actions reveal clear differences which do not show up in the two-sided case. Throughout this paper, module actions are crucial.


title: New bounds on Kakeya problems

abstract: We establish new estimates on the Minkowski and Hausdorff dimensions of Besicovitch sets and obtain new bounds on the Kakeya maximal operator.


title: Cross theorem

abstract: Let $D, G\subset{\Bbb C}$ be domains, let $A\subset D$, $B\subset G$ be locally regular sets, and let $X:=(D\times B)\cup(A\times G)$. Assume that $A$ is a Borel set. Let $M$ be a proper analytic subset of an open neighborhood of $X$. Then there exists a pure 1-dimensional analytic subset $\hat M$ of the envelope of holomorphy $\hat X$ of $X$ such that any function separately holomorphic on $X\setminus M$ extends to a holomorphic function on $\hat X\setminus\hat M$. The result generalizes special cases which were studied in \cite{\"Okt 1998}, \cite{\"Okt 1999a}, and \cite{Sic 2000}.


title: Quotients et extensions de groupes de reflexions complexes

abstract: We give a geometric description of a certain class of epimorphisms between complex reflection groups. We classify these epimorphisms, which can be interpreted as ``morphisms'' between the diagrams symbolizing standard presentations by generators and relations for complex reflection groups and their braid groups.


title: Lattice structures for quantum channels

abstract: We suggest that a certain one-to-one parametrization of completely positive maps on the matrix algebra might be useful in the study of quantum channels. This is illustrated in the case of binary quantum channels. While the algorithm is quite intricate, it admits a simple, lattice structure representation.


title: Isomorphisms and Homeomorphisms of a Class of Graphs and Spaces

abstract: We solve the isomorphism problem for the whole class of Lins-Mandel gems (graphs encoded manifolds). We also present certain homeomorphisms of branched cyclic coverings of two-bridge hyperbolic links. As a consequence, we prove that, in in a wide subset of interesting cases, the isomorphism conditions for Lins-Mandel gems are equivalent to the homeomorphism conditions for the encoded 3-manifolds.


title: Examples of infinity and Lie algebras and their versal deformations

abstract: This article explores some simple examples of L-infinity algebras and the construction of miniversal deformations of these structures. Among other things, it is shown that there are two families of nonequivalent L-infinity structures on a 1|1 dimensional vector space, two of which are Lie algebra structures. The main purpose of this work is to provide a simple effective procedure for constructing miniversal deformations, using the examples to illustrate the general technique. The same method can be applied directly to construct versal deformations of Lie algebras.


title: Second problem of globalization in the theory of dynamical systems admitting the normal shift of hypersurfaces

abstract: Problem of global integration of geometric structures arising in the theory of dynamical systems admitting the normal shift is considered. In the case when such integration is possible the problem of globalization for shift maps is studied.


title: Parallel spinors and connections with skew-symmetric torsion in string theory

abstract: We describe all almost contact metric, almost hermitian and $G_2$-structures admitting a connection with totally skew-symmetric torsion tensor, and prove that there exists at most one such connection. We investigate its torsion form, its Ricci tensor, the Dirac operator and the $\nabla$-parallel spinors. In particular, we obtain solutions of the type II string in dimension $n=5,6$ and 7.


title: On the Poincare Index of Isolated Invariant Sets

abstract: In this paper, we use Conley index theory to examine the Poincare index of an isolated invariant set. We obtain some limiting conditions on a critical point of a planar vector field to be an isolated invariant set. As a result we show the existence of infinitely many homoclinic orbits for a critical point with the Poincare index greater than one.


title: Commutators, Spectral Trace Identities, and Universal Estimates for Eigenvalues

abstract: Using simple commutator relations, we obtain several trace identities involving eigenvalues and eigenfunctions of an abstract self-adjoint operator acting in a Hilbert space. Applications involve abstract universal estimates for the eigenvalue gaps. As particular examples, we present simple proofs of the classical universal estimates for eigenvalues of the Dirichlet Laplacian (Payne-Polya-Weinberger, Hile-Protter, etc.), as well as of some known and new results for other differential operators and systems. We also suggest an extension of the methods to the case of non-self-adjoint operators.


title: The Sidon constant of sets with three elements

abstract: We solve an elementary extremal problem on trigonometric polynomials and obtain the exact value of the Sidon constant for sets with three elements {n0, n1, n2}: it is \sec(\pi / 2n) for n = max(n1-n0, n2-n0, n2-n1) / gcd(n1-n0, n2-n0).


title: Cycles and 1-unconditional matrices

abstract: We characterize the 1-unconditional subsequences of the canonical basis (e_rc) of elementary matrices in the Schatten-von-Neumann class S^p . The set I of couples (r,c) must be the set of edges of a bipartite graph without cycles of even length 4<=l<=p if p is an even integer, and without cycles at all if p is a positive real number that is not an even integer. In the latter case, I is even a Varopoulos set of V-interpolation of constant 1. We also study the metric unconditional approximation property for the space S^p_I spanned by (e_rc)_{(r,c)\in I} in S^p .


title: On Aubry sets and Mather's action functional

abstract: We study Lagrangian systems on a closed manifold. We link the differentiability of Mather's beta-function with the topological complexity of the complement of the Aubry set. As a consequence, when the dimension of the manifold is less than or equal to two, the differentiability of the beta-function at a given homology class is forced by the irrationality of the homology class. As an application we prove the two-dimensional case of a conjecture by Ricardo Mane.


title: Hypersurfaces of Prescribed Gauss Curvature in Exterior Domains

abstract: We prove an existence theorem for convex hypersurfaces of prescribed Gauss curvature in the complement of a compact set in Euclidean space which are close to a cone.


title: The kernel of the modular representation and the Galois action in RCFT

abstract: It is shown that for the modular representations associated to Rational Conformal Field Theories, the kernel is a congruence subgroup whose level equals the order of the Dehn-twist. An explicit algebraic characterization of the kernel is given. It is also shown that the conductor, i.e. the order of the Dehn-twist is bounded by a function of the number of primary fields, allowing for a systematic enumeration of the modular representations coming from RCFTs. Restrictions on the spectrum of the Dehn-twist and arithmetic properties of modular matrix elements are presented.


title: Deligne's Conjecture on 1-Motives

abstract: We reformulate a conjecture of Deligne on 1-motives by using the integral weight filtration of Gillet and Soul\'e on cohomology, and prove it. This implies the original conjecture up to isogeny. If the degree of cohomology is at most two, we can prove the conjecture for the Hodge realization without isogeny, and even for 1-motives with torsion.


title: Unitary representations of the quantum "ax+b" group

abstract: We find all unitary representations of the quantum "ax+b" group. It turns out that this quantum group is selfdual in the sense that all unitary representations are 'numbered' by elements of the same group. Moreover, we discover the formula for all unitary representations involving S.L. Woronowicz's quantum exponential function.


title: Polar Homology and Holomorphic Bundles

abstract: We describe polar homology groups for complex manifolds. The polar k-chains are subvarieties of complex dimension k with meromorphic forms on them, while the boundary operator is defined by taking the polar divisor and the Poincare residue on it. The polar homology groups may be regarded as holomorphic analogues of the homology groups in topology. We also describe the polar homology groups for quasi-projective one-dimensional varieties (affine curves). These groups obey the Mayer--Vietoris property. A complex counterpart of the Gauss linking number of two curves in a three-fold and various gauge-theoretic aspects of the above correspondence are also discussed.


title: HyperEuclidean manifolds and the Novikov Conjecture

abstract: We develop some basic Lipschitz homotopy technique and apply it to manifolds with finite asymptotic dimension. In particular we show that the Higson compactification of a uniformly contractible manifold is mod $p$ acyclic in the finite dimensional case. Then we give an alternative proof of the Higher Signature Novikov Conjecture for the groups with finite asymptotic dimension. Finally we define an asymptotically piecewise Euclidean metric space as a space which admits an approximation by Euclidean asymptotic polyhedra. We show that the Gromov-Lawson conjecture holds for the asymptotically piecewise Euclidean groups. Also we prove that expanders are not asymptotically piecewise Euclidean


title: Algorithmic detection and description of hyperbolic structures on closed 3-manifolds with solvable word problem

abstract: We outline a rigorous algorithm, first suggested by Casson, for determining whether a closed orientable 3-manifold M is hyperbolic, and to compute the hyperbolic structure, if one exists. The algorithm requires that a procedure has been given to solve the word problem in \pi_1(M).


title: On an Algorithm of Frieze

abstract: The algorithm reduces the running time of an algorithm of Frieze from O(n^{1.5)) to O(n^(4/3 + o)). It also introduces the concept of admissible permutations that is used in algorithms for obtaining solutions to the AP and the TSP.


title: Some New Applications of Weyl's Multipolarization Operators

abstract: In Weyl's "The Classical Groups", he introduces some some remarkable differential operators, which he calls "quasi-compositions" of the polarization operators Dij. In the present paper, an equivalent combinatorial formulation is obtained for these operators, and is then used to obtain explicit formulas for the differentials in certain complexes (constucted by Zelevinsky, and further studied by Verma, Akin et al.) which furnish higher syzygies for the Pluecker equations, and also for the defining relations for Weyl modules.


title: On J-conservative scattering system realization in several variables

abstract: We prove that an arbitrary function, which is holomorphic on some neighbourhood of z=0 in $\mathbb{C}^N$ and vanishes at z=0, whose values are bounded linear operators mapping one separable Hilbert space into another one, can be represented as the transfer function of some multiparametric discrete time-invariant conservative scattering linear system with a Krein space of its inner states.


title: An asymptotically good tower of curves of the field with eight elements

abstract: We construct an explicit asymptotically good tower of curves over the field with eight elements. Its limit is 3/2.


title: The Riemannian geometry of orbit spaces. The metric, geodesics, and integrable systems

abstract: We investigate the rudiments of Riemannian geometry on orbit spaces $M/G$ for isometric proper actions of Lie groups on Riemannian manifolds. Minimal geodesic arcs are length minimising curves in the metric space $M/G$ and they can hit strata which are more singular only at the end points. This is phrased as convexity result. The geodesic spray, viewed as a (strata-preserving) vector field on $TM/G$, leads to the notion of geodesics in $M/G$ which are projections under $M\to M/G$ of geodesics which are normal to the orbits. It also leads to `ballistic curves' which are projections of the other geodesics. In examples (Hermitian and symmetric matrices, and more generally polar representations) we compute their equations by singular symplectic reductions and obtain generalizations of Calogero-Moser systems with spin.


title: Operators near completely polynomially dominated ones and similarity problems

abstract: Let T and C be two Hilbert space operators. We prove that if T is near, in a certain sense, to an operator completely polynomially dominated with a finite bound by C, then T is similar to an operator which is completely polynomially dominated by the direct sum of C and a suitable weighted unilateral shift. Among the applications, a refined Banach space version of Rota similarity theorem is given and partial answers to a problem of K. Davidson and V. Paulsen are obtained. The latter problem concerns CAR-valued Foguel-Hankel operators which are generalizations of the operator considered by G. Pisier in his example of a polynomial bounded operator not similar to a contraction.


title: Critical sets of nonlinear Sturm-Liouville operators of Ambrosetti-Prodi type

abstract: The critical set C of the operator F:H^2_D([0,pi]) -> L^2([0,pi]) defined by F(u)=-u''+f(u) is studied. Here X:=H^2_D([0,pi]) stands for the set of functions that satisfy the Dirichlet boundary conditions and whose derivatives are in L^2([0,pi]). For generic nonlinearities f, C=\cup C_k decomposes into manifolds of codimension 1 in X. If f''<0 or f''>0, the set C_j is shown to be non-empty if, and only if, -j^2 (the j-th eigenvalue of u -> u'') is in the range of f'. The critical components C_k are (topological) hyperplanes.


title: On Symplectic Cobordisms

abstract: In this note we make several observations concerning symplectic cobordisms. Among other things we show that every contact 3-manifold has infinitely many concave symplectic fillings and that all overtwisted contact 3-manifolds are ``symplectic cobordism equivalent.''


title: Coloured extension of GL_q(2) and its dual algebra

abstract: We address the problem of duality between the coloured extension of the quantised algebra of functions on a group and that of its quantised universal enveloping algebra i.e. its dual. In particular, we derive explicitly the algebra dual to the coloured extension of GL_q(2) using the coloured RLL relations and exhibit its Hopf structure. This leads to a coloured generalisation of the R-matrix procedure to construct a bicovariant differential calculus on the coloured version of GL_q(2). In addition, we also propose a coloured generalisation of the geometric approach to quantum group duality given by Sudbery and Dobrev.


title: Free bosons and tau-functions for compact Riemann surfaces and closed smooth Jordan curves I. Current correlation functions

abstract: We study families of quantum field theories of free bosons on a compact Riemann surface of genus g. For the case g > 0 these theories are parameterized by holomorphic line bundles of degree g-1, and for the case g=0 - by smooth closed Jordan curves on the complex plane. In both cases we define a notion of tau-function as a partition function of the theory and evaluate it explicitly. For the case g > 0 the tau-function is an analytic torsion [3], and for the case g=0 - the regularized energy of a certain natural pseudo-measure on the interior domain of a closed curve. For these cases we rigorously prove the Ward identities for the current correlation functions and determine them explicitly. For the case g > 0 these functions coincide with those obtained in [21,36] using bosonization. For the case g=0 the tau-function we have defined coincides with the tau-function introduced in [29,44,24] as a dispersionless limit of the Sato's tau-function for the two-dimensional Toda hierarchy. As a corollary of the Ward identities, we obtain recent results [44,24] on relations between conformal maps of exterior domains and tau-functions. For this case we also define a Hermitian metric on the space of all contours of given area. As another corollary of the Ward identities we prove that the introduced metric is Kahler and the logarithm of the tau-function is its Kahler potential.


title: A Hilbert C*-module for Gabor systems

abstract: We construct Hilbert $C^*$-modules useful for studying Gabor systems and show that they are Banach algebras under pointwise multiplication. For rational $ab<1$ we prove that the set of functions $g \in L^2(R)$ so that $(g,a,b)$ is a Bessel system is an ideal for the Hilbert $C^*$-module given this pointwise algebraic structure. This allows us to give a multiplicative perturbation theorem for frames. Finally we show that a system $(g,a,b)$ yields a frame for $L^2(R)$ iff it is a modular frame for the given Hilbert $C^*$-module.


title: A space of cyclohedra

abstract: The real points of the Deligne-Knudsen-Mumford moduli space of marked points on the sphere has a natural tiling by associahedra. We extend this idea to create a moduli space tiled by cyclohedra. We explore the structure of this space, coming from blow-ups of hyperplane arrangements, as well as discuss possibilities of its role in knot theory and mathematical physics.


title: Differentiable cyclic cohomology and Hopf algebraic structures in transverse geometry

abstract: We prove a cyclic cohomological analogue of Haefliger's van Est-type theorem for the groupoid of germs of diffeomorphisms of a manifold. The differentiable version of cyclic cohomology is associated to the algebra of transverse differential operators on that groupoid, which is shown to carry an intrinsic Hopf algebraic structure. We establish a canonical isomorphism between the periodic Hopf cyclic cohomology of this extended Hopf algebra and the Gelfand-Fuchs cohomology of the Lie algebra of formal vector fields. We then show that this isomorphism can be explicitly implemented at the cochain level, by a cochain map constructed out of a fixed torsion-free linear connection. This allows the direct treatment of the index formula for the hypoelliptic signature operator - representing the diffeomorphism invariant transverse fundamental $K$-homology class of an oriented manifold - in the general case, when this operator is constructed by means of an arbitrary coupling connection.


title: Maximal singular loci of Schubert varieties in SL(n)/B

abstract: We give an explicit combinatorial description of the irreducible components of the singular locus of the Schubert variety X_w for any element w in S_n. Our description of the irreducible components is computationally more efficient (O(n^6)) than the previously best known algorithms. This result proves a conjecture of Lakshmibai and Sandhya regarding this singular locus. Furthermore, we give simple formulas for calculating the Kazhdan-Lusztig polynomials at the maximum singular points.


title: Almost Kaehler deformation quantization

abstract: We use a natural affine connection with nontrivial torsion on an arbitrary almost-Kaehler manifold which respects the almost-Kaehler structure to construct a Fedosov-type deformation quantization on this manifold.


title: Spectral behaviour of a simple non-self-adjoint operator

abstract: We investigate the spectrum of a typical non-self-adjoint differential operator $AD=-d^2/dx^2\otimes A$ acting on $\Lp(0,1)\otimes \mathbb{C}^2$, where $A$ is a $2\times 2$ constant matrix. We impose Dirichlet and Neumann boundary conditions in the first and second coordinate respectively at both ends of $[0,1]\subset\mathbb{R}$. For $A\in \mathbb{R}^{2\times 2}$ we explore in detail the connection between the entries of $A$ and the spectrum of $AD$, we find necessary conditions to ensure similarity to a self-adjoint operator and give numerical evidence that suggests a non-trivial spectral evolution.


title: Generalized Lie bialgebras and Jacobi structures on Lie groups

abstract: We study generalized Lie bialgebroids over a single point, that is, generalized Lie bialgebras. Lie bialgebras are examples of generalized Lie bialgebras. Moreover, we prove that the last ones can be considered as the infinitesimal invariants of Lie groups endowed with a certain type of Jacobi structures. We also propose a method to obtain generalized Lie bialgebras. It is a generalization of the Yang-Baxter equation method. Finally, we describe the structure of a compact generalized Lie bialgebra.


title: Operades differentielles graduees sur les simplexes et les permutoedres

abstract: We define several differential graded operads, some of them being related to families of polytopes : simplices and permutohedra. We also obtain a presentation by generators and relations of the operad K on associahedra introduced in a previous article.


title: Unipotency and semistability of overconvergent F-crystals

abstract: In this paper (part of the author's PhD thesis), we introduce the notions of semistability and potential semistability of overconvergent F-crystals over an equal characteristic local field. We establish their equivalence with the notions of unipotency and quasi-unipotency given by Crew, and to recast the conjecture that every overconvergent crystal is quasi-unipotent in terms of potential semistability. Consequences, including an extension of de Jong's extension theorem for F-crystals to the logarithmic case, will appear in a subsequent paper.


title: Multilateral transformations of q-series with quotients of parameters that are nonnegative integer powers of q

abstract: We give multidimensional generalizations of several transformation formulae for basic hypergeometric series of a specific type. Most of the upper parameters of the series differ multiplicatively from corresponding lower parameters by a nonnegative integer power of the base q. In one dimension, formulae for such series have been found, in the q -> 1 case, by B. M. Minton and P. W. Karlsson, and in the basic case by G. Gasper, by W. C. Chu, and more recently by the author. Our identities involve multilateral basic hypergeometric series associated to the root system A_r (or equivalently, the unitary group U(r+1)).


title: The $\ell ^{1}$-index of Tsirelson type spaces

abstract: If \alpha and \beta are countable ordinals such that \beta \neq 0, denote by \tilde{T}_{\alpha,\beta} the completion of $c_{00}$ with respect to the implicitly defined norm ||x|| = max{||x||_{c_{0}}, 1/2 sup \sum_{i=1}^{j}||E_{i}x||}, where the supremum is taken over all finite subsets E_{1},...,E_{j} of $\mathbb{N}$ such that $E_{1}<...<E_{j}$ and {min E_{1},...,min E_{j}} \in S_\beta. It is shown that the Bourgain $\ell^{1}$-index of \tilde{T}_{\alpha,\beta} is \omega^{\alpha+\beta.\omega}. In particular, if \alpha =\omega^{\alpha_{1}}. m_{1}+...+\omega^{\alpha_{n}}. m_{n} in Cantor normal form and \alpha_{n} is not a limit ordinal, then there exists a Banach space whose \ell^{1}-index is \omega^{\alpha}.


title: Applications of Symmetric Functions to Cycle and Subsequence Structure after Shuffles

abstract: Using symmetric function theory, we study the cycle structure and increasing subsequence structure of permutations after various shuffling methods, emphasizing the role of Cauchy type identities and the Robinson-Schensted-Knuth correspondence. One consequence is a cycle index for riffle shuffles when one deals from the bottom of the deck; conclusions are drawn concerning the distribution of fixed points and the asymptotic distribution of cycle structure. In studying cycle structure of unimodal permutations and their generalizations we are led to an interesting variation of the RSK correspondence. This yields a probabilistic interpretation of a Schur-type function.


title: Towards an implementation of the B-H algorithm for recognizing the unknot

abstract: In their paper `A new algorithm for recognizing the unknot', in Geometry and Topology', 2 (1998) n. 9, 175-220, the first author and Michael Hirsch presented a then new algorithm for recognizing the unknot. The first part of the algorithm required the systematic enumeration of all discs which support a `braid foliation' and are embeddable in 3-space. The boundaries of these `foliated embeddable discs' (FED's) are the collection of all closed braid representatives of the unknot, up to conjugacy, and the second part of the algorithm produces a word in the generators of the braid group which represents the boundary of the previously listed FED's. The third part tests whether a given closed braid is conjugate to the boundary of a FED on the list. In this paper we describe implementations of the first and second parts of the algorithm. We also give some of the data which we obtained. The data suggest that FED's have unexplored and interesting structure. Open questions are interspersed throughout the manuscript. The third part of the algorithm was studied by the first author, H. K. Ko and S. J. Lee in their paper `A new approach to the word and conjugacy problems in the braid groups', in `Advances in Mathematics', 139 (1998), 322-353, and in their preprint `The infimum, supremum and geodesic length of a braid conjugacy class', arXiv:math.GT/0003125, and implemented by S. J. Lee in his preprint `Implementation of an algorithm for solving the conjugacy problem in the braid groups' (sangjin@knot.kaist.ac.kr). At this writing his algorithm is polynomial for n less than or equal to 4 and exponential for n greater than or equal to 5.


title: Framed Hitchin Pairs

abstract: We provide a construction of the moduli spaces of framed Hitchin pairs and their master spaces. These objects have come to interest as algebraic versions of solutions of certain coupled vortex equations by work of Lin and Stupariu. Our method unifies and generalizes constructions of several similar moduli spaces. Here are some points which are also of interest in other similar situations: - Our construction does not require the symmetricity condition that the map ^2G x E -> E be zero, usually appearing in the context of Higgs bundles. - We carry out a detailed analysis of the polynomial stability parameter without referring to GIT. This sheds some light on intrinsic properties of such parameter dependent stability concepts. - The construction corrects an inaccuracy in our previous construction of the compactification of the Hitchin space and generalizes it.


title: Repr{\'e}sentations p-adiques et {\'e}quations diff{\'e}rentielles

abstract: In this paper, we associate to every $p$-adic representation $V$ a $p$-adic differential equation $\mathbf{D}^{\dagger}_{\mathrm{rig}}(V)$, that is to say a module with a connection over the Robba ring. We do this via the theory of Fontaine's $(\phi,\Gamma_K)$-modules. This construction enables us to relate the theory of $(\phi,\Gamma_K)$-modules to $p$-adic Hodge theory. We explain how to construct $mathbf{D}_{mathrm{cris}}(V)$ and $\mathbf{D}_{\mathrm{st}}(V)$ from $\mathbf{D}^{\dagger}_{\mathrm{rig}}(V)$, which allows us to recognize semi-stable or crystalline representations; the connection is then either unipotent or trivial on $\mathbf{D}^{\dagger}_{\mathrm{rig}}(V)[1/t]$. In general, the connection has an infinite number of regular singularities, but we show that $V$ is de Rham if and only if those are apparent singularities. A structure theorem for modules over the Robba ring allows us to get rid of all singularities at once, and to obtain a ``classical'' differential equation, with a Frobenius structure. A recent theorem of Y. Andr\'e gives a complete description of the structure of such an object. This allows us to prove Fontaine's $p$-adic monodromy conjecture: every de Rham representation is potentially semi-stable. As an application, we can extend to the case of arbitrary perfect residue fields some results of Hyodo ($H^1_g=H^1_{st}$), of Perrin-Riou (the semi-stability of ordinary representations), of Colmez (absolutely crystalline representations are of finite height), and of Bloch and Kato (if the weights of $V$ are $\geq 2$, then Bloch-Kato's exponential $\exp_V$ is an isomorphism).


title: Supplement to the paper "Floating bundles and their applications"

abstract: This paper is the supplement to the section 2 of the paper "Floating bundles and their applications" (math.AT/0102054). Below we construct the denumerable set of extensions of the formal group of geometric cobordisms $F(x\otimes 1,1\otimes x)$ by the Hopf algebra $H=\Omega_U^*(Gr).$


title: Sasakian-Einstein Structures on $9#(S^2\times S^3)$

abstract: We show that $\scriptstyle{#9(S^2\times S^3)}$ admits an 8-dimensional complex family of inequivalent non-regular Sasakian-Einstein structures. These are the first known Einstein metrics on this 5-manifold. In particular, the bound $\scriptstyle{b_2(M)\leq8}$ which holds for any regular Sasakian-Einstein $\scriptstyle{M}$ does not apply to the non-regular case. We also discuss the failure of the Hitchin-Thorpe inequality in the case of 4-orbifolds and describe the orbifold version.


title: The shape theorem for the frog model

abstract: In this work we prove a shape theorem for a growing set of Simple Random Walks (SRWs), known as frog model. The dynamics of this process is described as follows: There are some active particles, which perform independent SRWs, and sleeping particles, which do not move. When a sleeping particle is hit by an active particle, it becomes active too. We prove that the set of the original positions of all the active particles, rescaled by the elapsed time, converges to some compact convex set. In some specific cases we are able to identify (at least partially) this set.


title: Triunduloids: Embedded constant mean curvature surfaces with three ends and genus zero

abstract: In 1841, Delaunay constructed the embedded surfaces of revolution with constant mean curvature (CMC); these unduloids have genus zero and are now known to be the only embedded CMC surfaces with two ends and finite genus. Here, we construct the complete family of embedded CMC surfaces with three ends and genus zero; they are classified using their asymptotic necksizes. We work in a class slightly more general than embedded surfaces, namely immersed surfaces which bound an immersed three-manifold, as introduced by Alexandrov.


title: Some homological invariants of mapping class group of a 3-dimensional handlebody

abstract: We show that, if g is more than or equal to 2, the virtual cohomological dimension of the mapping class group of a 3-dimensional handlebody of genus g is equal to 4g-5 and the Euler number of it is equal to 0.


title: Period problems for mean curvature one surfaces in H^3 (with application to surfaces of low total curvature)

abstract: We survey our recent results on classifying complete constant mean curvature 1 (CMC-1) surfaces in hyperbolic 3-space with low total curvature. There are two natural notions of "total curvature"-- one is the total absolute curvature which is the integral over the surface of the absolute value of the Gaussian curvature, and the other is the dual total absolute curvature which is the total absolute curvature of the dual CMC-1 surface. Here we discuss results on both notions (proven in two other papers by the authors), and we introduce some new results (with proofs) as well.


title: Projectivities in Simplicial Complexes and Colorings of Simple Polytopes

abstract: For each strongly connected finite-dimensional (pure) simplicial complex we construct a finite group, the group of projectivities of the complex, which is a combinatorial but not a topological invariant. This group is studied for combinatorial manifolds and, in particular, for polytopal simplicial spheres. The results are applied to a coloring problem for simplicial (or, dually, simple) polytopes which arises in the area of toric algebraic varieties.


title: Orbit complexity, initial data sensitivity and weakly chaotic dynamical systems

abstract: We give a definition of generalized indicators of sensitivity to initial conditions and orbit complexity (a measure of the information that is necessary to describe the orbit of a given point). The well known Ruelle-Pesin and Brin-Katok theorems, combined with Brudno's theorem give a relation between initial data sensitivity and orbit complexity that is generalized in the present work. The generalized relation implies that the set of points where the sensitivity to initial conditions is more than exponential in all directions is a 0 dimensional set. The generalized relation is then applied to the study of an important example of weakly chaotic dynamics: the Manneville map.


title: Iterated Local Search

abstract: This is a survey of "Iterated Local Search", a general purpose metaheuristic for finding good solutions of combinatorial optimization problems. It is based on building a sequence of (locally optimal) solutions by: (1) perturbing the current solution; (2) applying local search to that modified solution. At a high level, the method is simple, yet it allows for a detailed use of problem-specific properties. After giving a general framework, we cover the uses of Iterated Local Search on a number of well studied problems.


title: The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program

abstract: After a brief flirtation with logicism in 1917-1920, David Hilbert proposed his own program in the foundations of mathematics in 1920 and developed it, in concert with collaborators such as Paul Bernays and Wilhelm Ackermann, throughout the 1920s. The two technical pillars of the project were the development of axiomatic systems for ever stronger and more comprehensive areas of mathematics and finitistic proofs of consistency of these systems. Early advances in these areas were made by Hilbert (and Bernays) in a series of lecture courses at the University of Goettingen between 1917 and 1923, and notably in Ackermann's dissertation of 1924. The main innovation was the invention of the epsilon-calculus, on which Hilbert's axiom systems were based, and the development of the epsilon-substitution method as a basis for consistency proofs. The paper traces the development of the "simultaneous development of logic and mathematics" through the epsilon-notation and provides an analysis of Ackermann's consistency proofs for primitive recursive arithmetic and for the first comprehensive mathematical system, the latter using the substitution method. It is striking that these proofs use transfinite induction not dissimilar to that used in Gentzen's later consistency proof as well as non-primitive recursive definitions, and that these methods were accepted as finitistic at the time.


title: Automorphisms and Ideals of the Weyl Algebra

abstract: Let $A_1$ be the (first) Weyl algebra, and let $G$ be its automorphism group. We study the natural action of $G$ on the space of isomorphism classes of right ideals of $A_1$ (equivalently, of finitely generated rank 1 torsion-free right $A_1$-modules). We show that this space breaks up into a countable number of orbits each of which is a finite dimensional algebraic variety. Our results are strikingly similar to those for the commutative algebra of polynomials in two variables; however, we do not know of any general principle that would allow us to predict this in advance. As a key step in the proof, we obtain a new description of the bispectral involution of \cite{W1}. We also make some comments on the group $G$ from the viewpoint of Shafaravich's theory of infinite dimensional algebraic groups.


title: Tessellations of homogeneous spaces of classical groups of real rank two

abstract: Let H be a closed, connected subgroup of a connected, simple Lie group G with finite center. The homogeneous space G/H has a "tessellation" if there is a discrete subgroup D of G, such that D acts properly discontinuously on G/H, and the double-coset space D\G/H is compact. Note that if either H or G/H is compact, then G/H has a tessellation; these are the obvious examples. It is not difficult to see that if G has real rank one, then only the obvious homogeneous spaces have tessellations. Thus, the first interesting case is when G has real rank two. In particular, R.Kulkarni and T.Kobayashi constructed examples that are not obvious when G = SO(2,2n) or SU(2,2n). H.Oh and D.Witte constructed additional examples in both of these cases, and obtained a complete classification when G = SO(2,2n). We simplify the work of Oh-Witte, and extend it to obtain a complete classification when G = SU(2,2n). This includes the construction of another family of examples. The main results are obtained from methods of Y.Benoist and T.Kobayashi: we fix a Cartan decomposition G = KAK, and study the intersection of KHK with A. Our exposition generally assumes only the standard theory of connected Lie groups, although basic properties of real algebraic groups are sometimes also employed; the specialized techniques that we use are developed from a fairly elementary level.


title: Integrable systems associated with the Bruhat Poisson structures

abstract: The purpose of this note is to give a simple description of a (complete) family of functions in involution on certain hermitian symmetric spaces. This family, obtained via bi-hamiltonian approach using the Bruhat Poisson structure, is especially simple for the projective spaces, where the formulas in terms of the moment map coordinates are presented. We show how these functions are related to the Gelfand-Tsetlin coordinates. We also show how the Lenard scheme can be applied.


title: Mixing times of lozenge tiling and card shuffling Markov chains

abstract: We show how to combine Fourier analysis with coupling arguments to bound the mixing times of a variety of Markov chains. The mixing time is the number of steps a Markov chain takes to approach its equilibrium distribution. One application is to a class of Markov chains introduced by Luby, Randall, and Sinclair to generate random tilings of regions by lozenges. For an L X L region we bound the mixing time by O(L^4 log L), which improves on the previous bound of O(L^7), and we show the new bound to be essentially tight. In another application we resolve a few questions raised by Diaconis and Saloff-Coste, by lower bounding the mixing time of various card-shuffling Markov chains. Our lower bounds are within a constant factor of their upper bounds. When we use our methods to modify a path-coupling analysis of Bubley and Dyer, we obtain an O(n^3 log n) upper bound on the mixing time of the Karzanov-Khachiyan Markov chain for linear extensions.


title: Cohomology of split algebras and of trivial extensions

abstract: We consider associative algebras L over a field provided with a direct sum decomposition of a two-sided ideal M and a sub-algebra A - examples are provided by trivial extensions or triangular type matrix algebras. In this relative and split setting we describe a long exact sequence computing the Hochschild cohomology of L. We study the connecting homomorphism using the cup-product and we infer several results, in particular the first Hochschild cohomology group of a trivial extension never vanishes.


title: Twisted Configurations over Quantum Euclidean Spheres

abstract: We show that the relations which define the algebras of the quantum Euclidean planes $\b{R}^N_q$ can be expressed in terms of projections provided that the unique central element, the radial distance from the origin, is fixed. The resulting reduced algebras without center are the quantum Euclidean spheres $S^{N-1}_q$. The projections $e=e^2=e^*$ are elements in $\Mat_{2^n}(S^{N-1}_q)$, with N=2n+1 or N=2n, and can be regarded as defining modules of sections of q-generalizations of monopoles, instantons or more general twisted bundles over the spheres. We also give the algebraic definition of normal and cotangent bundles over the spheres in terms of canonically defined projections in $\Mat_{N}(S^{N-1}_q)$.


title: Conformal Subnets and Intermediate Subfactors

abstract: Given an irreducible local conformal net A of von Neumann algebras on the circle and a finite-index conformal subnet B of A, we show that A is completely rational iff B is completely rational. In particular this extends a result of F. Xu for the orbifold construction. By applying previous results of Xu, many coset models turn out to be completely rational and the structure results in [KLM] hold. Our proofs are based on an analysis of the net inclusion B in A; among other things we show that, for a fixed interval I, every von Neumann algebra R intermediate between B(I) and A(I) comes from an intermediate conformal net L between B and A with L(I)=R. We make use of a theorem of Watatani (type II case) and Teruya and Watatani (type III case) on the finiteness of the set I(N,M) of intermediate subfactors in an irreducible inclusion of factors N in M with finite Jones index [M:N]. We provide a unified proof of this result that gives in particular an explicit bound for the cardinality of I(N,M) which depends only on [M:N].


title: Invariant manifolds and the long-time asymptotics of the Navier-Stokes and vorticity equations on R^2

abstract: We construct finite-dimensional invariant manifolds in the phase space of the Navier-Stokes equation on R^2 and show that these manifolds control the long-time behavior of the solutions. This gives geometric insight into the existing results on the asymptotics of such solutions and also allows one to extend those results in a number of ways.


title: Long-time asymptotics of the Navier-Stokes and vorticity equations on R^3

abstract: We use the vorticity formulation to study the long-time behavior of solutions to the Navier-Stokes equation on R^3. We assume that the initial vorticity is small and decays algebraically at infinity. After introducing self-similar variables, we compute the long-time asymptotics of the rescaled vorticity equation up to second order. Each term in the asymptotics is a self-similar divergence-free vector field with Gaussian decay at infinity, and the coefficients in the expansion can be determined by solving a finite system of ordinary differential equations. As a consequence of our results, we are able to characterize the set of solutions for which the velocity field converges to zero faster than t^(-5/4) in energy norm. In particular, we show that these solutions lie on a smooth invariant submanifold of codimension 11 in our function space.


title: Anchored expansion and random walk

abstract: This paper studies anchored expansion, a non-uniform version of the strong isoperimetric inequality. We show that every graph with i-anchored expansion contains a subgraph with isoperimetric (Cheeger) constant at least i. We prove a conjecture by Benjamini, Lyons and Schramm (1999) that in such graphs the random walk escapes with a positive lim inf speed. We also show that anchored expansion implies a heat-kernel decay bound of order exp(-c n^1/3).


title: Fast graphs for the random walker

abstract: Consider the time T_oz when the random walk on a weighted graph started at the vertex o first hits the vertex set z. We present lower bounds for T_oz in terms of the volume of z and the graph distance between o and z. The bounds are for expected value and large deviations, and are asymptotically sharp. We deduce rate of escape results for random walks on infinite graphs of exponential or polynomial growth, and resolve a conjecture of Benjamini and Peres.


title: Singularities of Pairs via Jet Schemes

abstract: Let X be a smooth variety and Y a closed subscheme of X. By comparing motivic integrals on X and on a log resolution of (X,Y), we prove the following formula for the log canonical threshold of (X,Y): c(X,Y)=dim X-sup_m{(dim Y_m}/(m+1)}, where Y_m is the mth jet scheme of Y. We show how this formula can be used to study the log canonical threshold. In particular, we give a proof of the Semicontinuity theorem of Demailly and Koll\'ar.


title: Two-Dimensional Knots and Representations of Hyperbolic Groups

abstract: We describe relations between hyperbolic geometry and codimension two knots or, more exactly, between varieties of conjugacy classes of discrete faithful representations of the fundamental groups of hyperbolic n-manifolds M into $\operatorname{SO}^{\circ} (n+2,1)$ and (n-1)-dimensional knots in the (n+1)-sphere. This approach allows us to discover a phenomenon of non-connectedness of these varieties for closed n-manifolds M, $n\geq 3$, with large enough number of disjoint totally geodesic surfaces, to construct quasisymmetric infinitely compounded "Julia" knots $K\subset S^{n+1}$ which are everywhere wild and have recurrent $\pi_1(M)$-action, and to study circle and 2-plane bundles (with geometric structures) over closed hyperbolic n-manifolds.


title: The T^1-lifting theorem in positive characteristic

abstract: Replacing symmetric powers by divided powers and working over Witt vectors instead of ground fields, I generalize Kawamatas T^1-lifting theorem to characteristic p>0. Combined with the work of Deligne-Illusie on degeneration of the Hodge-de Rham spectral sequences, this gives unobstructedness for certain Calabi-Yau varieties with free crystalline cohomology modules.


title: Elimination Theory in Codimension Two

abstract: New formulas are given for Chow forms, discriminants and resultants arising from (not necessarily normal) toric varieties of codimension 2. Exact descriptions are also given for the secondary polygon and for the Newton polygon of the discriminant.


title: Discrepancy convergence for the drunkard's walk on the sphere

abstract: We analyze the drunkard's walk on the unit sphere with step size theta and show that the walk converges in order constant/sin^2(theta) steps in the discrepancy metric. This is an application of techniques we develop for bounding the discrepancy of random walks on Gelfand pairs generated by bi-invariant measures. In such cases, Fourier analysis on the acting group admits tractable computations involving spherical functions. We advocate the use of discrepancy as a metric on probabilities for state spaces with isometric group actions.


title: Random walks with badly approximable numbers

abstract: Using the discrepancy metric, we analyze the rate of convergence of a random walk on the circle generated by d rotations, and establish sharp rates that show that badly approximable d-tuples in R^d give rise to walks with the fastest convergence. We use the discrepancy metric because the walk does not converge in total variation. For badly approximable d-tuples, the discrepancy is bounded above and below by (constant)k^(-d/2), where k is the number of steps in the random walk. We show how the constants depend on the d-tuple.


title: An Accurate Lubrication Model of Contaminated Coating Flows

abstract: The levelling of short-wave irregularities on a thin film of fluid is primarily due to the action of surface tension. Surface tension gradients are often created by a number of different factor including evaporation, thermal gradients or deposition of surfactants. Lubrication theory, which ignores inertia terms in favour of viscous terms, produces a system of two nonlinear pde's for the unsteady flow of a thin viscous Newtonian fluid containing an insoluble surfactant. A complex model, which systematically includes all relevant effects to these pde's, is developed using centre manifold techniques. The benefits of using these techniques to develop accurate models are in their application. Subtle variations in parameters or assumptions are able to be catered for by including or deleting the relevant terms rather than having to redevelop these models.


title: Torus knots that cannot be untied by twisting

abstract: We give a necessary condition for a torus knot to be untied by a single twisting. By using this result, we give infinitely many torus knots that cannot be untied by a single twisting.


title: Fractals in Noncommutative Geometry

abstract: To any spectral triple (A,D,H) a dimension d is associated, in analogy with the Hausdorff dimension for metric spaces. Indeed d is the unique number, if any, such that |D|^-d has non trivial logarithmic Dixmier trace. Moreover, when d is finite non-zero, there always exists a singular trace which is finite nonzero on |D|^-d, giving rise to a noncommutative integration on A. Such results are applied to fractals in R, using Connes' spectral triple, and to limit fractals in R^n, a class which generalises self-similar fractals, using a new spectral triple. The noncommutative dimension or measure can be computed in some cases. They are shown to coincide with the (classical) Hausdorff dimension and measure in the case of self-similar fractals.


title: The size of bipartite graphs with girth eight

abstract: Reiman produced a quadratic inequality for the size of bipartite graphs of girth six. We get its counterpart for girth eight, a cubic inequality. It is optimal in as far as it admits the algebraic structure of generalized quadrangles as case of equality. This enables us to obtain the optimal estimate e ~ v^(4/3) for balanced bipartite graphs. We also get an optimal estimate for very unbalanced graphs.


title: Lacunary matrices

abstract: We study unconditional subsequences of the canonical basis e_rc of elementary matrices in the Schatten class S^p. They form the matrix counterpart to Rudin's Lambda(p) sets of integers in Fourier analysis. In the case of p an even integer, we find a sufficient condition in terms of trails on a bipartite graph. We also establish an optimal density condition and present a random construction of bipartite graphs. As a byproduct, we get a new proof for a theorem of Erdos on circuits in graphs.


title: A Banach space with a symmetric basis which is of weak cotype 2 but not of cotype 2

abstract: We prove that the symmetric convexified Tsirelson space is of weak cotype 2 but not of cotype 2


title: A functorial approach to the C*-algebras of a graph

abstract: A functor from the category of directed trees with inclusions to the category of commutative C*-algebras with injective *-homomorphisms is constructed. This is used to define a functor from the category of directed graphs with inclusions to the category of C*-algebras with injective *-homomorphisms. The resulting C*-algebras are identified as Toeplitz graph algebras. Graph algebras are proved to have inductive limit decompositions over any family of subgraphs with union equal to the whole graph. The construction is used to prove various structural properties of graph algebras.


title: Upper Bound for the Coefficients of Chromatic polynomials

abstract: This paper describes an improvement in the upper bound for the magnitude of a coefficient of a term in the chromatic polynomial of a general graph. If $a_r$ is the coefficient of the $q^r$ term in the chromatic polynomial $P(G,q)$, where $q$ is the number of colors, then we find $a_r \le {e \choose v-r} - {e-g+2 \choose v-r-g+2} + {e-k_g-g+2 \choose v-r-g+2} - \sum _{n=1}^{k_g-\ell_g}\sum_{m=1}^{\ell_g-1} {e-g+1-n-m \choose v-r-g} - \delta_{g,3}\sum_{n=1}^{k_g+\ell_{g+1}^*-\ell_g} {e-\ell_g-g+1-n \choose v-r-g}$, where $k_g$ is the number of circuits of length $g$ and $\ell_g$ and $\ell_{g+1}^*$ are certain numbers defined in the text.


title: A correction to a result of B. Maier

abstract: In a 1985 paper, Berthold J. Maier gave necessary and sufficient conditions for the weak embeddability of amalgams of two nilpotent groups of class two over a common subgroup. Then he derived simpler conditions for some special cases. One of his subsequent results is incorrect, and we provide a counterexample. Finally, we provide a fix for the result.


title: The McMillan theorem for a class of asymptotically abelian C*-algebras

abstract: An extension of the Shannon-McMillan-Breiman theorem to a class of non-commutative dynamical systems is given.


title: The Multiplier Ideals of a Sum of Ideals

abstract: Let X be a smooth variety and J, K two ideal sheaves on X. We prove the following formula relating the multiplier ideals of J, K and J+K: I(X, c(J+K))\subset \sum_{a+b=c} I(X, aJ)\cdot I(X,bK). An analogous formula holds for the asymptotic multiplier ideals of two graded systems of ideals. As a consequence, we show how to approximate at any given point arbitrary multiplier ideals by multiplier ideals of zero dimensional ideals. We apply this to study the invariance of multiplier ideals under different embeddings.


title: A fast solver for systems of reaction-diffusion equations

abstract: In this paper we present a fast algorithm for the numerical solution of systems of reaction-diffusion equations, $\partial_t u + a \cdot \nabla u = \Delta u + F (x, t, u)$, $x \in \Omega \subset \mathbf{R}^3$, $t > 0$. Here, $u$ is a vector-valued function, $u \equiv u(x, t) \in \mathbf{R}^m$, $m$ is large, and the corresponding system of ODEs, $\partial_t u = F(x, t, u)$, is stiff. Typical examples arise in air pollution studies, where $a$ is the given wind field and the nonlinear function $F$ models the atmospheric chemistry.


title: Tracking eigenvalues to the frontier of moduli space I: Convergence and spectral accumulation

abstract: We study the limiting behavior of eigenfunctions/eigenvalues of the Laplacian of a family of Riemannian metrics that degenerates on a hypersurface. Our results generalize earlier work concerning the degeneration of hyperbolic surfaces.


title: On tensor categories attached to cells in affine Weyl groups II

abstract: George Lusztig conjectured that asymptotic affine Hecke algebra of a simply connected group can be explicitly described in terms of convolution algebras. Main Theorem of this note (which is a continuation of RT/0010089) is a weak version of this Conjecture. This version is strong enough to reprove all previously known results (due to Nanhua Xi) in this direction, for example the case of type $\tilde A_n$, see QA/0010159.


title: Minimalit\'e des courbes sous-canoniques

abstract: We prove the following result : Let $E$ be a rank 2 bundle on ${\bf P}$, the projective space of dimension 3, and $n$ a relative number such that $H^0E(n-1)=0$ and $H^0E(n)\neq 0$. Let $C$ be a curve which is the zero locus of a section of $H^0E(n)$. Then $C$ is minimal in its biliaison class.


title: Stochastic processes on geometric loop and diffeomorphism groups of real and complex manifolds, associated unitary representations

abstract: Stochastic processes are considered on free loop spaces, geometric loop and diffeomorphism groups of real and complex manifolds. They are used for investigations of Wiener differentiable quasi-invariant measures on such groups relative to dense subgroups. There are considered finite-dimensional and also infinite-dimensional manifolds. Such measures are used for the investigation of associated unitary representations of these groups.


title: Dyck paths and a bijection for multisets of hook numbers

abstract: We give a bijective proof of a conjecture of Regev and Vershik on the equality of two multisets of hook numbers of certain skew-Young diagrams. The bijection proves a result that is stronger and more symmetric than the original conjecture, by means of a construction involving Dyck paths, a particular type of lattice path.


title: Asymptotic Np property of rational surfaces

abstract: In this paper, we examine Green and Lazarsfeld's Np property for rational surfaces obtained by blowing up the projective plane P^2 at a subscheme of fat points Z. We show that these surfaces, embedded into projective spaces by linear system of plane curves of degree t containing Z, possess property Np for all t >> 0. This gives a positive answer to a conjecture of Geramita and Gimigliano. Our bound for the values t is better than the conjectural value, which is \sigma(Z) + p.


title: Anti-self-dual four-manifolds with a parallel real spinor

abstract: Anti-self-dual metrics in the $(++--)$ signature which admit a covariantly constant real spinor are studied. It is shown that finding such metrics reduces to solving a fourth order integrable PDE, and some examples are given. The corresponding twistor space is characterised by existence of a preferred non-zero real section of $\kappa^{-1/4}$, where $\kappa$ is the canonical line bundle of the twistor space It is demonstrated that if the parallel spinor is preserved by a Killing vector, then the fourth order PDE reduces to the dispersionless Kadomtsev--Petviashvili equation and its linearisation. Einstein--Weyl structures on the space of trajectories of the symmetry are characterised by the existence of a parallel weighted null vector.

categories: math.DG gr-qc hep-th math-ph math.MP nlin.SI


title: Invariant Fields of Symplectic and Orthogonal Groups

abstract: The projective orthogonal and symplectic groups $PO_n(F)$ and $PSp_n(F)$ have a natural action on the $F$ vector space $V' = M_n(F) \oplus ... \oplus M_n(F)$. Here we assume $F$ is an infinite field of characteristic not 2. If we assume there is more than one summand in $V'$, then the invariant fields $F(V')^{PO_n}$ and $F(V')^{PSp_n}$ are natural objects. They are, for example, the centers of generic algebras with the appropriate kind of involution. This paper considers the rationality properties of these fields, in the case $1,2$ or 4 are the highest powers of 2 that divide $n$. We derive rationality when $n$ is odd, or when 2 is the highest power, and stable rationality when 4 is the highest power. In a companion paper [ST] joint with Tignol, we prove retract rationality when 8 is the highest power of 2 dividing $n$. Back in this paper, along the way, we consider two generic ways of forcing a Brauer class to be in the image of restriction.


title: Gaussian maximum of entropy and reversed log-Sobolev inequality

abstract: The aim of this note is to connect a reversed form of the Gross logarithmic Sobolev inequality with the Gaussian maximum of Shannon's entropy power. There is thus a complete parallel with the well-known link between logarithmic Sobolev inequalities and their information theoretic counterparts. We moreover provide an elementary proof of the reversed Gross inequality via a two-point inequality and the Central Limit Theorem.


title: Generic algebras with involution of degree 8m

abstract: The centers of the generic central simple algebras with involution are interesting objects in the theory of central simple algebras. These fields also arise as invariant fields for linear actions of projective orthogonal or symplectic groups. In this paper, we prove that when the characteristic is not 2, these fields are retract rational, in the case the degree is $8m$ and $m$ is odd. We achieve this by proving the equivalent lifting property for the class of central simple algebras of degree $8m$ with involution. A companion paper ([S3]) deals with the case of $m$, $2m$ and $4m$ where stronger rationality results are proven.


title: Semiprojectivity for certain purely infinite C*-algebras

abstract: It is proved that classifiable simple separable nuclear purely infinite C*-algebras having finitely generated K-theory and torsion-free K_1 are semiprojective. This is accomplished by exhibiting these algebras as C*-algebras of infinite directed graphs.


title: Change Intolerance in Spanning Forests

abstract: Call a percolation process on edges of a graph change intolerant if the status of each edge is almost surely determined by the status of the other edges. We give necessary and sufficient conditions for change intolerance of the wired spanning forest when the underlying graph is a spherically symmetric tree.


title: Modularity of solvable Artin representations of GO(4)-type

abstract: This is an updated version of ANT-0253. Let F be a number field with absolute Galois group G. We associate, to each continuous, solvable C-representation of G of GO(4)-type, an automorphic form P of GL(4)/F with the same L-function. As a consequence we exhibit an infinite class of primitive, 16-dimensional representations for which the Artin conjecture holds.


title: A database for field extensions of the rationals

abstract: We report on a database of field extensions of the rationals, its properties and the methods used to compute it. At the moment the database encompasses roughly 100,000 polynomials generating distinct number fields over the rationals, of degrees up to 15. It contains polynomials for all transitive permutation groups up to that degree, and even for most of the possible combinations of signature and Galois group in that range. Moreover, whenever these are known, the fields of minimal discriminant with given group and signature have been included. The database can be downloaded from www.iwr.uni-heidelberg.de/iwr/compalg/minimum/minimum.html or from www.mathematik.uni-kassel.de~malle/minimum/minimum.html and accessed via the computer algebra system Kant. One of the aims of the compilation of this database was to test the limitations of current methods for the realization of groups as Galois groups. It turned out that these methods have limitations if the signature of the resulting Galois extension is also prescribed.


title: Galois representations with conjectural connections to arithmetic cohomology

abstract: In this paper we extend a conjecture of Ash and Sinnott relating niveau one Galois representation to the mod p cohomology of congruence subgroups of SL(n,Z) to include Galois representations of higher niveau. We then present computational evidence for our conjecture in the case n=3 in the form of three-dimensional Galois representations which appear to correspond to cohomology eigenclasses as predicted by the conjecture. Our examples include Galois representations with nontrivial weight and level, as well as irreducible three-dimensional representations which are in no obvious way related to lower dimensional representations. In addition, we prove that certain symmetric square representations are actually attached to cohomology eigenclasses predicted by the conjecture.


title: An Approach to Hopf Algebras via Frobenius Coordinates I

abstract: In Section 1 we introduce Frobenius coordinates in the general setting that includes Hopf subalgebras. In Sections 2 and 3 we review briefly the theories of Frobenius algebras and augmented Frobenius algebras with some new material in Section 3. In Section 4 we study the Frobenius structure of an FH-algebra H \cite{Par72} and extend two recent theorems in \cite{EG}. We obtain two Radford formulas for the antipode in H and generalize in Section 7 the results on its order in \cite{FMS}. We study the Frobenius structure on an FH-subalgebra pair in Sections 5 and 6. In Section 8 we show that the quantum double of H is symmetric and unimodular.


title: Geometry without topology as a new conception of geometry

abstract: A geometric conception is a method of a geometry construction. The Riemannian geometric conception and a new T-geometric one are considered. T-geometry is built only on the basis of information included in the metric (distance between two points). Such geometric concepts as dimension, manifold, metric tensor, curve are fundamental in the Riemannian conception of geometry, and they are derivative in the T-geometric one. T-geometry is the simplest geometric conception (essentially only finite point sets are investigated) and simultaneously it is the most general one. It is insensitive to the space continuity and has a new property -- nondegeneracy. Fitting the T-geometry metric with the metric tensor of Riemannian geometry, one can compare geometries, constructed on the basis of different conceptions. The comparison shows that along with similarity (the same system of geodesics, the same metric) there is a difference. There is an absolute parallelism in T-geometry, but it is absent in the Riemannian geometry. In T-geometry any space region is isometrically embeddable in the space, whereas in Riemannian geometry only convex region is isometrically embeddable. T-geometric conception appears to be more consistent logically, than the Riemannian one.


title: On total incomparability of mixed Tsirelson spaces

abstract: We give criteria of total incomparability for certain classes of mixed Tsirelson spaces. We show that spaces of the form $T[(M_k,\theta_k)_{k=1}^{\ell}]$ with index $i(M_k)$ finite are either $c_0$ or $\ell_p$ saturated for some $p$ and we characterize when any two spaces of such a form are totally incomparable in terms of the index $i(M_k)$ and the parameter $\theta_k$. Also, we give sufficient conditions of total incomparability for a particular class of spaces of the form $T[(A_k,\theta_k)_{k=1}^\infty]$ in terms of the asymptotic behaviour of the sequence $\Vert\sum_{i=1}^n e_i\Vert$ where $(e_i)$ is the canonical basis.


title: L'approximation par des polyn{\^o}mes {\`a} coefficients entiers

abstract: This expository article proves some results of Ferguson, on the approximation of continuous functions on a compact subset of R by polynomials with integral coefficients.


title: A unified view of some vertex operator constructions

abstract: We present a general vertex operator construction based on the Fock space for an affine Lie algebras of type $A$. This construction allows us to give a unified treatment for both the homogeneous and principle realizations of the affine Lie algebras $\hat{gl}_N$ as well as for some extended affine Lie algebras coordinatized by certain quantum tori.


title: A construction of some ideals in affine vertex algebras

abstract: Let $N_{k} (\g)$ be a vertex operator algebra (VOA) associated to the generalized Verma module for affine Lie algebra of type $A_{\ell -1} ^{(1)}$ or $C_{\ell} ^{(1)}$. We construct a family of ideals $J_{m,n} (\g)$ in $N_{k} (\g)$, and a family $V_{m,n} (\g)$ of quotient VOAs. These families include VOAs associated to the integrable representations, and VOAs associated to admissible representations at half-integer levels investigated in q-alg/9502015. We also explicitly identify the Zhu's algebras $A(V_{m,n} (\g))$ and find a connection between these Zhu's algebras and Weyl algebras.


title: Source Coding, Large Deviations, and Approximate Pattern Matching

abstract: We present a development of parts of rate-distortion theory and pattern- matching algorithms for lossy data compression, centered around a lossy version of the Asymptotic Equipartition Property (AEP). This treatment closely parallels the corresponding development in lossless compression, a point of view that was advanced in an important paper of Wyner and Ziv in 1989. In the lossless case we review how the AEP underlies the analysis of the Lempel-Ziv algorithm by viewing it as a random code and reducing it to the idealized Shannon code. This also provides information about the redundancy of the Lempel-Ziv algorithm and about the asymptotic behavior of several relevant quantities. In the lossy case we give various versions of the statement of the generalized AEP and we outline the general methodology of its proof via large deviations. Its relationship with Barron's generalized AEP is also discussed. The lossy AEP is applied to: (i) prove strengthened versions of Shannon's source coding theorem and universal coding theorems; (ii) characterize the performance of mismatched codebooks; (iii) analyze the performance of pattern- matching algorithms for lossy compression; (iv) determine the first order asymptotics of waiting times (with distortion) between stationary processes; (v) characterize the best achievable rate of weighted codebooks as an optimal sphere-covering exponent. We then present a refinement to the lossy AEP and use it to: (i) prove second order coding theorems; (ii) characterize which sources are easier to compress; (iii) determine the second order asymptotics of waiting times; (iv) determine the precise asymptotic behavior of longest match-lengths. Extensions to random fields are also given.


title: Quiver varieties and tensor products

abstract: In this article, we give geometric constructions of tensor products in various categories using quiver varieties. More precisely, we introduce a lagrangian subvariety $\Zl$ in a quiver variety, and show the following results: (1) The homology group of $\Zl$ is a representation of a symmetric Kac-Moody Lie algebra $\mathfrak g$, isomorphic to the tensor product $V(\lambda_1)\otimes...\otimes V(\lambda_N)$ of integrable highest weight modules. (2) The set of irreducible components of $\Zl$ has a structure of a crystal, isomorphic to that of the $q$-analogue of $V(\lambda_1)\otimes...\otimes V(\lambda_N)$. (3) The equivariant $K$-homology group of $\Zl$ is isomorphic to the tensor product of universal standard modules of the quantum loop algebra $\Ul$, when $\mathfrak g$ is of type $ADE$. We also give a purely combinatorial description of the crystal of (2). This result is new even when N=1.