title: Prym varieties and the canonical map of surfaces of general type

abstract: Let X be a smooth complex surface of general type such that the image of the canonical map $\phi$ of X is a surface $\Sigma$ and that $\phi$ has degree $\delta\geq 2$. Let $\epsilon\colon S\to \Sigma$ be a desingularization of $\Sigma$ and assume that the geometric genus of S is not zero. Beauville has proved that in this case S is of general type and $\epsilon$ is the canonical map of S. Beauville has also constructed the only infinite series of examples $\phi:X\to \Sigma$ with the above properties that was known up to now. Starting from his construction, we define a {\em good generating pair}, namely a pair $(h:V\to W, L)$ where h is a finite morphism of surfaces and L is a nef and big line bundle of W satisfying certain assumptions. We show that by applying a construction analogous to Beauville's to a good generating pair one obtains an infinite series of surfaces of general type whose canonical map is 2-to-1 onto a canonically embedded surface. In this way we are able to construct more infinite series of such surfaces. In addition, we show that good generating pairs have bounded invariants and that there exist essentially only 2 examples with $\dim |L|>1$. The key fact that we exploit for obtaining these results is that the Albanese variety P of V is a Prym variety and that the fibre of the Prym map over P has positive dimension.


title: On Associative Conformal Algebras of Linear Growth

abstract: Lie conformal algebras appear in the theory of vertex algebras. Their relation is similar to that of Lie algebras and their universal enveloping algebras. Associative conformal algebras play a role in conformal representation theory. We introduce the notions of conformal identity and unital associative conformal algebras and classify finitely generated simple unital associative conformal algebras of linear growth. These are precisely the complete algebras of conformal endomorphisms of finite modules.


title: Anti-holomorphic twistor and Symplectic structure

abstract: It is well known that the twisters, section of twister space, classify the almost complex structure on even dimensional Riemannian manifold $X$. In this paper, it will be proved that a harmonic and anti-holomorphic twister is equivalent ti a symplectic structure on $X$.


title: KRS and determinantal ideals

abstract: The first sections contain a survey of the application of the Knuth-Robinson-Schensted corerspondence to the computation of Groebner bases of determinantal ideals. We also set up a conceptual framework for this application in terms of so-called "KRS invariants". Then we show that the initial ideal of a determinantal ideal "defined by shape" is given by its KRS image. We furthermore characterize those among these ideals that even have a Groebner basis of products of minors, and show that they can be characterized in terms of Greene's KRS invariants. Furthermore it is shown that for the ideal generated by all t-minors the formation of initial ideal and symbolic power commutes. The last section contains a discussion of potential KRS invariants related to so-called 1-cogenerated ideals.


title: Poisson cohomology in dimension two

abstract: It is known that the computation of the Poisson cohomology is closely related to the classification of singularities of Poisson structures. In this paper, we will first look for the normal forms of germs at (0,0) of Poisson structures on the real (or complex) plane and recall a result given by Arnold. Then, we will compute locally the Poisson cohomology of a particular type of Poisson structure.


title: The unitary implementation of a locally compact quantum group action

abstract: In this paper we study actions of locally compact quantum groups on von Neumann algebras and prove that every action has a canonical unitary implementation, paralleling Haagerup's classical result on the unitary implementation of a locally compact group action. This result is an important tool in the study of quantum groups in action. We will use it in this paper to study subfactors and inclusions of von Neumann algebras. When alpha is an action of a locally compact quantum group on the von Neumann algebra N we can give necessary and sufficient conditions under which the inclusion of the fixed point algebra in the algebra N in the crossed product, is a basic construction. When alpha is an outer and integrable action on a factor N we prove that the inclusion of the fixed point algebra in the algebra N is irreducible, of depth 2 and regular, giving a converse to the results of Enock and Nest. Finally we prove the equivalence of minimal and outer actions and we generalize a theorem of Yamanouchi: every integrable outer action with infinite fixed point algebra is a dual action.


title: The Distance Approach to Approximate Combinatorial Counting

abstract: We develop general methods to obtain fast (polynomial time) estimates of the cardinality of a combinatorially defined set via solving some randomly generated optimization problems on the set. Geometrically, we estimate the cardinality of a subset of the Boolean cube via the average distance from a point in the cube to the subset. As an application, we present a new randomized polynomial time algorithm which approximates the permanent of a 0-1 matrix by solving a small number of Assignment problems.


title: Singular Bohr-Sommerfeld Rules for 2D Integrable Systems

abstract: In this paper, we describe Bohr-Sommerfeld rules for semi-classical completely integrable systems with 2 degrees of freedom with non degenerate singularities (Morse-Bott singularities) under the assumption that the energy level of the first Hamiltonian is non singular. The more singular case of {\it focus-focus} singularities is studied in [Vu Ngoc San, CPAM 2000] and [Vu Ngoc San, PhD 1998] The case of 1 degree of freedom has been studied in [Colin de Verdiere-Parisse, CMP 1999] Our theory is applied to some famous examples: the geodesics of the ellipsoid, the $1:2$-resonance, and Schroedinger operators on the sphere $S^2$. A numerical test shows that the semiclassical Bohr-Sommerfeld rules match very accurately the ``purely quantum'' computations.


title: Induced corepresentations of locally compact quantum groups

abstract: We introduce the construction of induced corepresentations in the setting of locally compact quantum groups and prove that the resulting induced corepresentations are unitary under some mild integrability condition. We also establish a quantum analogue of the classical bijective correspondence between quasi-invariant measures and certain measures on the larger locally compact group.


title: Self-dual Codes over the Kleinian Four Group

abstract: We introduce self-dual codes over the Kleinian four group K = Z_2 x Z_2 for a natural quadratic form on K^n and develop the theory. Topics studied are: weight enumerators, mass formulas, classification up to length 8, neighbourhood graphs, extremal codes, shadows, generalized t-designs, lexicographic codes, the Hexacode and its odd and shorter cousin, automorphism groups, marked codes. Kleinian codes form a new and natural fourth step in a series of analogies between binary codes, lattices and vertex operator algebras. This analogy will be emphasized and explained in detail.


title: Stochastic monotonicity and realizable monotonicity

abstract: We explore and relate two notions of monotonicity, stochastic and realizable, for a system of probability measures on a common finite partially ordered set (poset) S when the measures are indexed by another poset A. We give counterexamples to show that the two notions are not always equivalent, but for various large classes of S we also present conditions on the poset A that are necessary and sufficient for equivalence. When A = S, the condition that the cover graph of S have no cycles is necessary and sufficient for equivalence. This case arises in comparing applicability of the perfect sampling algorithms of Propp and Wilson and the first author of the present paper.


title: Higher Type Adjunction Inequalities in Seiberg-Witten Theory

abstract: In this paper, we derive new adjunction inequalities for embedded surfaces with non-negative self-intersection number in four-manifolds. These formulas are proved by using relations between Seiberg-Witten invariants which are induced from embedded surfaces. To prove these relations, we develop the relevant parts of a Floer theory for four-manifolds which bound circle-bundles over Riemann surfaces.


title: Maps of p-gons with a ring of q-gons

abstract: We study 3-valent maps $M_n(p,q)$ consisting of a ring of $n$ $q$-gons whose the inner and outer domains are filled by $p$-gons, for $p,q \ge 3$. We describe a domain in the space of parameters $p$, $q$, and $n$, for which such a map may exist. With four infinite sequences of maps - prisms $M_p(p \ge 3,4)$, $M_4(4,q \ge 4)$, $M_4(5,5t+2 \ge 7)$, $M_4(5,5t+3 \ge 8)$, we give 20 sporadic ones. The maps whose $p$-gons form two paths are first two infinite sequences and 5 maps: $M_{28}(7,5)$, $M_{12}(6,5)$, $M_{10}(5,6)$, $M_{20}(5,7)$, $M_{2}(3,6)$


title: Small cones of m-hemimetrics

abstract: We introduce polyhedral cones associated with $m$-hemimetrics on $n$ points, and, in particular, with $m$-hemimetrics coming from partitions of an $n$-set into $m+1$ blocks. We compute generators and facets of the cones for small values of $m,n$ and study their skeleton graphs.


title: Equivariant K-groups of spheres with actions of involutions

abstract: We calculate the R(G)-algebra structure on the reduced equivariant K-groups of two-dimensional spheres on which a compact Lie group G acts as involutions. In particular, the reduced equivariant K-groups are trivial if G is abelian, which shows that the previous Y. Yang's calculation in [Yan95] is not true.


title: Classification of Incidence Scrolls(I)

abstract: The aim of this paper is to obtain a classification of scrolls of genus 0 and 1, which are defined by a one-dimensional family of lines meeting a certain set of linear spaces in ${\bf P}^n$. These ruled surfaces will be called incidence scrolls and such a set will be the base of the incidence scroll. Unless otherwise stated, we assume that the base spaces are in general position.


title: Clones on regular cardinals

abstract: We investigate the structure of the lattice of clones on an infinite set X. We first observe that ultrafilters naturally induce clones; this yields a simple proof of Rosenberg's theorem: "there are 2^2^kappa many maximal (=precomplete) clones on a set of size kappa." The clones we construct here do not contain all unary functions. We then investigate clones that do contain all unary functions. Using a strong negative partition theorem we show that for many cardinals kappa there are 2^2^kappa many such clones on a set of size kappa. Finally, we show that on a weakly compact cardinal there are exactly 2 maximal clones which contain all unary functions.


title: Finite conformal modules over the N=2,3,4 superconformal algebras

abstract: In this paper we continue the study of representation theory of formal distribution Lie superalgebras initiated in q-alg/9706030. We study finite Verma-type conformal modules over the N=2, N=3 and the two N=4 superconformal algebras and also find explicitly all singular vectors in these modules. From our analysis of these modules we obtain a complete list of finite irreducible conformal modules over the N=2, N=3 and the two N=4 superconformal algebras.


title: New mathematical methods for psychophysical filtering of experimental data and their processing

abstract: The article is devoted to new mathematical methods for psychophysical filtering of experimental data and their processing.


title: Hopf Differentials and the Images of Harmonic Maps

abstract: Non-polynomial growth harmonic maps from the complex plane to the hyperbolic space are studied. Some non-surjectivity results are obtained. Moreover, images of such harmonic maps are investigated with reference to their Hopf differentials.


title: Quiver Varieties and Yangians

abstract: We prove a conjecture of Nakajima (for type A the result was announced by Ginzburg- Vasserot) giving a geometric realization, via quiver varieties, of the Yangian of type ADE (and more in general of the Yangian associated to every symmetric Kac-Moody Lie algebra). As a corollary we get that tthe characters of the simple finite dimensional representations of the quantized affine algebra and that of the yangian coincide.


title: Narrow operators and rich subspaces of Banach spaces with the Daugavet property

abstract: Let $X$ be a Banach space. We introduce a formal approach which seems to be useful in the study of those properties of operators on $X$ which depend only on the norms of images of elements. This approach is applied to the Daugavet equation for norms of operators; in particular we develop a general theory of narrow operators and rich subspaces of $X$ previously studied in the context of the classical spaces $C(K)$ and $L_1(\mu)$.


title: Space-Time Invariant Measures, Entropy, and Dimension for Stochastic Ginzburg-Landau Equations

abstract: We consider a randomly forced Ginzburg-Landau equation on an unbounded domain. The forcing is smooth and homogeneous in space and white noise in time. We prove existence and smoothness of solutions, existence of an invariant measure for the corresponding Markov process and we define the spatial densities of topological entropy, of measure-theoretic entropy, and of upper box-counting dimension. We prove inequalities relating these different quantities. The proof of existence of an invariant measure uses the compact embedding of some space of uniformly smooth functions into the space of locally square-integrable functions and a priori bounds on the semi-flow in these spaces. The bounds on the entropy follow from spatially localised estimates on the rate of divergence of nearby orbits and on the smoothing effect of the evolution.


title: Homology surgery and invariants of 3-manifolds

abstract: We introduce a homology surgery problem in dimension 3 which has the property that the vanishing of its algebraic obstruction leads to a canonical class of \pi-algebraically-split links in 3-manifolds with fundamental group \pi . Using this class of links, we define a theory of finite type invariants of 3-manifolds in such a way that invariants of degree 0 are precisely those of conventional algebraic topology and surgery theory. When finite type invariants are reformulated in terms of clovers, we deduce upper bounds for the number of invariants in terms of \pi-decorated trivalent graphs. We also consider an associated notion of surgery equivalence of \pi-algebraically split links and prove a classification theorem using a generalization of Milnor's \mu-invariants to this class of links.


title: Connections between Linear Systems and Convolutional Codes

abstract: The article reviews different definitions for a convolutional code which can be found in the literature. The algebraic differences between the definitions are worked out in detail. It is shown that bi-infinite support systems are dual to finite-support systems under Pontryagin duality. In this duality the dual of a controllable system is observable and vice versa. Uncontrollability can occur only if there are bi-infinite support trajectories in the behavior, so finite and half-infinite-support systems must be controllable. Unobservability can occur only if there are finite support trajectories in the behavior, so bi-infinite and half-infinite-support systems must be observable. It is shown that the different definitions for convolutional codes are equivalent if one restricts attention to controllable and observable codes.


title: On the moduli space of classical dynamical r-matrices

abstract: We define and study the moduli space of classical dynamical r-matrices associated to a Lie algebra g and a subalgebra l of g. As opposed to the previous papers q-alg/9703040 and q-alg/9706017 we do not make any commutativity assumption on the subalgebra l. We extend the notion of gauge-transformation to this setting and show that, under some technical conditions, the space of dynamical r-matrices modulo gauge-transformations is isomorphic to an explicitly given affine variety.


title: Hodge-Gaussian maps

abstract: Let $X$ be a compact K\"{a}hler manifold, and let $L$ be a line bundle on $X.$ Define $I_k(L)$ to be the kernel of the multiplication map $ Sym^k H^0 (L) \to H^0 (L^k).$ For all $h \leq k,$ we define a map $\rho : I_k(L) \to Hom (H^{p,q} (L^{-h}), H^{p+1,q-1} (L^{k-h})).$ When $L = K_X$ is the canonical bundle, the map $\rho$ computes a second fundamental form associated to the deformations of $X.$ If $X=C$ is a curve, then $\rho$ is a lifting of the Wahl map $I_2(L) \to H^0 (L^2 \otimes K_C^2).$ We also show how to generalize the construction of $\rho$ to the cases of harmonic bundles and of couples of vector bundles.


title: The lines of the Kontsevich integral and Rozansky's rationality conjecture

abstract: This work develops some technology for accessing the loop expansion of the Kontsevich integral of a knot. The setting is an application of the LMO invariant to certain surgery presentations of knots by framed links in the solid torus. A consequence of this technology is a certain recent conjecture of Rozansky's. Rozansky conjectured that the Kontsevich integral could be organised into a series of ``lines'' which could be represented by finite $\Qset$-linear combinations of diagrams whose edges were labelled, in an appropriate sense, with rational functions. Furthermore, the conjecture requires that the denominator of the rational functions be at most the Alexander polynomial of the knot. This conjecture is obtained from an Aarhus-style surgery formula for this setting which we expect will have other applications.


title: The Dirac operator of a commuting d-tuple

abstract: Given a commuting d-tuple $\bar T=(T_1,...,T_d)$ of otherwise arbitrary nonnormal operators on a Hilbert space, there is an associated Dirac operator $D_{\bar T}$. Significant attributes of the d-tuple are best expressed in terms of $D_{\bar T}$, including the Taylor spectrum and the notion of Fredholmness. In fact, {\it all} properties of $\bar T$ derive from its Dirac operator. We introduce a general notion of Dirac operator (in dimension $d=1,2,...$) that is appropriate for multivariable operator theory. We show that every abstract Dirac operator is associated with a commuting $d$-tuple, and that two Dirac operators are isomorphic iff their associated operator $d$-tuples are unitarily equivalent. By relating the curvature invariant introduced in a previous paper to the index of a Dirac operator, we establish a stability result for the curvature invariant for pure d-contractions of finite rank. It is shown that for the subcategory of all such $\bar T$ which are a) Fredholm and and b) graded, the curvature invariant $K(\bar T)$ is stable under compact perturbations. We do not know if this stability persists when $\bar T$ is Fredholm but ungraded, though there is concrete evidence that it does.


title: Structure of Divergence-Free Lie Algebras

abstract: One of the four well-known series of simple Lie algebras of Cartan type is the series of Lie algebras of Special type, which are divergence-free Lie algebras associated with polynomial algebras and the operators of taking partial derivatives, connected with volume-preserving diffeomorphisms. In this paper, we determine the structure space of the divergence-free Lie algebras associated with pairs of a commutative associative algebra with an identity element and its finite-dimensional commutative locally-finite derivation subalgebra such that the commutative associative algebra is derivation-simple with respect to the derivation subalgebra.


title: Distinguished properties of the gamma process and related topics

abstract: We study fundamental properties of the gamma process and their relation to various topics such as Poisson-Dirichlet measures and stable processes. We prove the quasi-invariance of the gamma process with respect to a large group of linear transformations. We also show that it is a renormalized limit of the stable processes and has an equivalent sigma-finite measure (quasi-Lebesgue) with important invariance properties. New properties of the gamma process can be applied to the Poisson-Dirichlet measures. We also emphasize the deep similarity between the gamma process and the Brownian motion. The connection of the above topics makes more transparent some old and new facts about stable and gamma processes, and the Poisson-Dirichlet measures.


title: Singular projective varieties and quantization

abstract: By the quantization condition compact quantizable Kaehler manifolds can be embedded into projective space. In this way they become projective varieties. The quantum Hilbert space of the Berezin-Toeplitz quantization (and of the geometric quantization) is the projective coordinate ring of the embedded manifold. This allows for generalization to the case of singular varieties. The set-up is explained in the first part of the contribution. The second part of the contribution is of tutorial nature. Necessary notions, concepts, and results of algebraic geometry appearing in this approach to quantization are explained. In particular, the notions of projective varieties, embeddings, singularities, and quotients appearing in geometric invariant theory are recalled.

categories: math.QA math-ph math.AG math.CV math.DG math.MP math.SG quant-ph


title: Optimistic calculations about the Witten--Reshetikhin--Turaev invariants of closed three-manifolds obtained from the figure-eight knot by integral Dehn surgeries

abstract: I calculate optimistically asymptotic behaviors of the WRT SU(2) invariants for the three-manifolds obtained from the figure-eight knot by p-surgeries with p=0,1,2,...,10, from which one can extract volumes and the Chern-Simons invariants of these closed manifolds. I conjecture that this also holds for general closed three-manifolds.


title: Study of the formal CR reflection mapping

abstract: Corollary: Two germs of minimal real analytic CR-generic manifolds are formally equivalent if and only if they are biholomorphic.


title: Homotopy field theory in dimension 3 and crossed group-categories

abstract: A 3-dimensional homotopy quantum field theory (HQFT) can be described as a TQFT for surfaces and 3-cobordisms endowed with homotopy classes of maps into a given space. For a group $\pi$, we introduce a notion of a modular crossed $\pi$-category and show that such a category gives rise to a 3-dimensional HQFT with target space $K(\pi,1)$. This includes numerical invariants of 3-dimensional $\pi$-manifolds and a 2-dimensional homotopy modular functor. We also introduce and discuss a parallel notion of a quasitriangular crossed Hopf $\pi$-coalgebra.


title: Flat Lorentz 3-Manifolds and Cocompact Fuchsian Groups

abstract: This paper gives a new proof of a result of Geoff Mess that the linear holonomy group of a complete flat Lorentz 3-manifold cannot be cocompact in SO(2,1). The proof uses a signed marked Lorentzian length-spectrum invariant developed by G.Margulis, reinterpreted in terms of deformations of hyperbolic surfaces.


title: The energy of unit vector fields on the 3-sphere

abstract: The stability of the 3-dimensional Hopf vector field, as a harmonic section of the unit tangent bundle, is viewed from a number of different angles. The spectrum of the vertical Jacobi operator is computed, and compared with that of the Jacobi operator of the identity map on the 3-sphere. The variational behaviour of the 3-dimensional Hopf vector field is compared and contrasted with that of the closely-related Hopf map. Finally, it is shown that the Hopf vector fields are the unique global minima of the energy functional restricted to unit vector fields on the 3-sphere.


title: Values of Brownian intersection exponents III: Two-sided exponents

abstract: This paper determines values of intersection exponents between packs of planar Brownian motions in the half-plane and in the plane that were not derived in our first two papers. For instance, it is proven that the exponent $\xi (3,3)$ describing the asymptotic decay of the probability of non-intersection between two packs of three independent planar Brownian motions each is $(73-2 \sqrt {73}) / 12$. More generally, the values of $\xi (w_1, >..., w_k)$ and $\tx (w_1', ..., w_k')$ are determined for all $ k \ge 2$, $w_1, w_2\ge 1$, $w_3, ...,w_k\in[0,\infty)$ and all $w_1',...,w_k'\in[0,\infty)$. The proof relies on the results derived in our first two papers and applies the same general methods. We first find the two-sided exponents for the stochastic Loewner evolution processes in a half-plane, from which the Brownian intersection exponents are determined via a universality argument.


title: Analyticity of intersection exponents for planar Brownian motion

abstract: We show that the intersection exponents for planar Brownian motions are analytic. More precisely, let $B$ and $B'$ be independent planar Brownian motions started from distinct points, and define the exponent $\xi (1, \lambda)$ by $$ E[P[B[0,t] \cap B'[0,t] = \emptyset | B[0,t]]^\lambda] \approx t^{-\xi(1, \lambda)/2}, t \to \infty. $$ Then the mapping $\lambda \mapsto \xi (1, \lambda)$ is real analytic in $(0,\infty)$. The same result is proved for the exponents $\xi (k, \lambda)$ where $k$ is a positive integer. In combination with the determination of $\xi (k, \lambda)$ for integer $k \ge 1$ and real $\lambda \ge 1$ in our previous papers, this gives the value of $\xi (k, \lambda)$ also for $\lambda \in (0,1)$ and the disconnection exponents $\lim_{\lambda \searrow 0} \xi (k, \lambda)$. In particular, it shows that $\lim_{\lambda \searrow 0} \xi(2, \lambda) = 2/3$ and concludes the proof of the following result that had been conjectured by Mandelbrot: the Hausdorff dimension of the outer boundary of $B[0,1]$ is 4/3 almost surely.


title: An example concerning Ohtsuki's invariant and the full SO(3) quautum invariant

abstract: Two lens spaces are given to show that Ohtsuki's $\tau$ for rational homology spheres does not determine Kirby-Melvin's $\{\tau_r^{'}, r odd\geq3\}$


title: The harmonic product of $\delta (x_{1},..., x_{n})$ and $\delta (x_{1})$ and two combinatorial identities

abstract: In the framework of nonstandard analysis, Bang-He Li and the author defined the product of any two distributions on $R^n$ via their harmonic representations. The product of $\delta (x_{1},..., x_{n})$ and $\delta (x_{1})$ was calculated by Kuribayashi and the author in [LK]. In this paper, the result of [LK] is improved to $$\delta (x_{1},..., x_{n})\circ \delta (x_{1}) =\dfrac{1}{2\pi\rho} \delta (x_{1},..., x_{n}) {mod} {infinitesimals}$$ where $\rho$ is a positive infinitesimal. Moreover two combinatorial identities are obtained as byproducts.


title: SO(3) invariants of Seifert manifolds and their algebraic integrality

abstract: For Seifert manifold $M=X({p_1}/_{\f{q_1}},{p_2}/_{\f{q_2}}, ...,{p_n}/_ {\f{q_n}}), \tau^{'}_r(M)$ is calculated for all $r$ odd $\geq 3$. If $r$ is coprime to at least $n-2$ of $p_k$ (e.g. when $M$ is the Poincare homology sphere), it is proved that $(\sqrt {\dfrac{4}{r}}\sin \dfrac{\pi}{r})^{\nu}\tau^{'}_r(M)$ is an algebraic integer in the r-th cyclotomic field, where $\nu$ is the first Betti number of $M$. For the torus bundle obtained from trefoil knot with framing 0, i.e. $X_{tref}(0)=X(-2/_{\f{1}},3/_{\f{1}},6/_{\f{1}}), \tau^{'}_r$ is obtained in a simple form if $3\mid\llap /r$, which shows in some sense that it is impossible to generalize Ohtsuki's invariant to 3-manifolds being not rational homology spheres.


title: Discrete torsion and twisted orbifold cohomology

abstract: In this article, we study the twisting procedure of orbifold cohomology. We introduce local system and construct twisted orbifold cohomology. Then, we generalize Vafa-Witten's notion of discrete torsion to general orbifold and examine its relation to local system. Finally, some examples are computed.


title: L-functions and random matrices

abstract: In 1972 H. L. Montgomery announced a remarkable connection between the distribution of the zeros of the Riemann zeta-function and the distribution of eigenvalues of large random Hermitian matrices. Since then a number of startling developments have occurred making this connection more profound. In particular, random matrix theory has been found to be an extremely useful predictive tool in the theory of L-functions. In this article we will try to explain these recent developments and indicate some diretions for future investigations.


title: On commuting and non-commuting complexes

abstract: In this paper we study various simplicial complexes associated to the commutative structure of a finite group G. We define NC(G) (resp. C(G)) as the complex associated to the poset of pairwise non-commuting (resp. commuting) sets in G. We observe that NC(G) has only one positive dimensional connected component, which we call BNC(G), and we prove that BNC(G) is simply connected. Our main result is a simplicial decomposition formula for BNC(G) which follows from a result of A. Bjorner, M. Wachs and V. Welker on inflated simplicial complexes. As a corollary, we obtain that if G has a nontrivial center or if G has odd order, then the homology group H_{n-1}(BNC(G)) is nontrivial for every n such that G has a maximal noncommuting set of order n.


title: Nonarithmetic superrigid groups: Counterexamples to Platonov's conjecture

abstract: Margulis showed that "most" arithmetic groups are superrigid. Platonov conjectured, conversely, that finitely generated linear groups which are superrigid must be of "arithmetic type." We construct counterexamples to Platonov's Conjecture.


title: Homoclinic tangencies and hyperbolicity for surface diffeomorphisms

abstract: We prove here that in the complement of the closure of the hyperbolic surface diffeomorphisms, the ones exhibiting a homoclinic tangency are C^1 dense. This represents a step towards the global understanding of dynamics of surface diffeomorphisms.


title: Entropy and mixing for amenable group actions

abstract: For \Gamma a countable amenable group consider those actions of \Gamma as measure-preserving transformations of a standard probability space, written as {T_\gamma}_{\gamma \in \Gamma} acting on (X,{\cal F}, \mu). We say {T_\gamma}_{\gamma\in\Gamma} has completely positive entropy (or simply cpe for short) if for any finite and nontrivial partition P of X the entropy h(T,P) is not zero. Our goal is to demonstrate what is well known for actions of \Bbb Z and even \Bbb Z^d, that actions of completely positive entropy have very strong mixing properties. Let S_i be a list of finite subsets of \Gamma. We say the S_i spread if any particular \gamma \neq id belongs to at most finitely many of the sets S_i S_i^{-1}. Theorem 0.1. For {T_\gamma}_{\gamma \in \Gamma} an action of \Gamma of completely positive entropy and P any finite partition, for any sequence of finite sets S_i\subseteq \Gamma which spread we have \frac 1{\# S_i} h(\spans{S_i}{P}){\mathop{\to}_i} h(P). The proof uses orbit equivalence theory in an essential way and represents the first significant application of these methods to classical entropy and mixing.


title: Characteristic cycles and wave front cycles of representations of reductive Lie groups

abstract: Vogan and Barbasch-Vogan attach two similar invariants to representations of a reductive Lie group, one by an algebraic process, the other analytic. They conjectured that the two invariants determine each other in a definite manner. Here we prove the conjecture. Our arguments involve two finer invariants -- the characteristic cycles of representations -- which are interesting in their own right.


title: Invariant measures for Burgers equation with stochastic forcing

abstract: In this paper we study the following Burgers equation du/dt + d/dx (u^2/2) = epsilon d^2u/dx^2 + f(x,t) where f(x,t)=dF/dx(x,t) is a random forcing function, which is periodic in x and white noise in t. We prove the existence and uniqueness of an invariant measure by establishing a ``one force, one solution'' principle, namely that for almost every realization of the force, there is a unique distinguished solution that exists for the time interval (-infty, +infty) and this solution attracts all other solutions with the same forcing. This is done by studying the so-called one-sided minimizers. We also give a detailed description of the structure and regularity properties for the stationary solutions. In particular, we prove, under some non-degeneracy conditions on the forcing, that almost surely there is a unique main shock and a unique global minimizer for the stationary solutions. Furthermore the global minimizer is a hyperbolic trajectory of the underlying system of characteristics.


title: Nonexistence of smooth Levi-flat hypersurfaces in complex projective spaces of dimension >= 3

abstract: In this paper we prove the following theorem. Main Theorem. Let n >= 3 and m >= 3n/2 +7. Then there exists no C^m Levi-flat real hypersurface M in P_n. The condition that M is Levi-flat means that when M is locally defined by the vanishing of a C^m real-valued function f, at every point of M the restriction of d d-bar f to the complex tangent space of M is identically zero. The case of the nonexistence of C^\infty Levi-flat real hypersurface in P_2 is motivated by problems in dynamical systems in P_2.


title: Rank one case of Dwork's conjecture

abstract: This paper proves the general rank one case of Dwork's conjecture over the affine space. It generalizes and improves the method of ANT-0141 "Dwork's conjecture on unit root zeta functions" (Ann. Math., 150(1999), 867-929). In addition, explicit information about the zeros and poles (along the Gouv\^ea-Mazur conjecture direction) for the unit root zeta function is obtained. The paper is to appear in JAMS.


title: Higher rank case of Dwork's conjecture

abstract: This is the final version of ANT-0142 ("An embedding approach to Dwork's conjecture"). It reduces the higher rank case of the conjecture over a general base variety to the rank one case over the affine space. The general rank one case is completed in ANT-0235 "Rank one case of Dwork's conjecture". Both papers will appear in JAMS.


title: Tame coverings of arithmetic schemes

abstract: We extend the notion of a tame covering of a pair (X,D) where X is a regular scheme and D is a normal crossing divisor (cf. SGA1), to pairs (X,Y) where X is an arbitrary scheme and Y is a closed subset in X. We show that the abelianized tame fundamental group of a regular scheme which is flat and of finite type over Spec(Z) is finite and does not depend on the choice of a particular compactification.


title: Free product of absolute Galois groups

abstract: The free profinite product of finitely many absolute Galois group is an absolute Galois group.


title: On supermatrix idempotent operator semigroups

abstract: One-parameter semigroups of antitriangle idempotent supermatrices and corresponding superoperator semigroups are introduced and investigated. It is shown that $t$-linear idempotent superoperators and exponential superoperators are mutually dual in some sense, and the first gives additional to exponential solution to the initial Cauchy problem. The corresponding functional equation and analog of resolvent are found for them. Differential and functional equations for idempotent (super)operators are derived for their general $t$ power-type dependence.

categories: math.FA gr-qc hep-th math-ph math.MP math.OA math.SP quant-ph


title: Short geodesics and end invariants

abstract: This expository article discusses some connections between the geometry of a hyperbolic 3-manifold homotopy-equivalent to a surface, and the combinatorial properties of its end invariants. In particular a necessary and sufficient condition is stated for the manifold to have arbitrarily short geodesics, in terms of a sequence of coefficients called subsurface projection distances, which are analogous in some ways to continued-fraction coefficients. (The proof of sufficiency appeared in math.GT/9907070)


title: On the geometric simple connectivity of open manifolds

abstract: One proves that there exists an obstruction to an open simply connected $n$-manifold of dimension $n\geq 5$ being geometrically simply connected. In particular there exist uncountably many simply connected $n$-manifolds which are not w.g.s.c. One proves that for $n\neq 4$ an $n$-manifold proper homotopy equivalent to a w.g.s.c. polyhedron is w.g.s.c. (for $n=4$ it is only end compressible). We analyze further the case $n=4$ and Po\'enaru's conjecture.


title: Construction of commuting difference operators for multiplicity free spaces

abstract: We study root systems equipped with a basis of dominant weights such that certain axioms hold. This formalism allows to define a linear basis P of the space of Weyl group invariant polynomials. This basis is actually a family depending on at least one parameter. Our main result is the construction of difference operators which are simultaneously diagonalized by P. From this, Pieri type rules are derived. This generalizes results for shifted Jack polynomials. Even though the approach is purely combinatorial, the main motivation comes from multiplicity free actions of reductive groups on vector spaces. Then the algebra of invariant differential operators has a distinguished basis, the Capelli operators, which gives rise to a basis P as above. The paper ends with a comprehensive table detailing the combinatorial structure of multiplicity free actions.


title: Vertex operator algebras, generalized doubles and dual pairs

abstract: Let V be a simple vertex operator algebra and G a finite automorphism group. Then there is a natural right G-action on the set of all inequivalent irreducible V-modules. Let S be a finite set of inequivalent irreducible V-modules which is closed under the action of G. There is a finite dimensional semisimple associative algebra A_{\alpha}(G,S) for a suitable 2-cocycle \alpha naturally determined by the G-action on S such that A_{\alpha}(G,S) and the vertex operator algebra V^G form a dual pair on the sum of V-modules in S in the sense of Howe. In particular, every irreducible V-module is completely reducible V^G-module.


title: Pieri-type formulas for the non-symmetric Jack polynomials

abstract: In the theory of symmetric Jack polynomials the coefficients in the expansion of the $p$th elementary symmetric function $e_p(z)$ times a Jack polynomial expressed as a series in Jack polynomials are known explicitly. Here analogues of this result for the non-symmetric Jack polynomials $E_\eta(z)$ are explored. Necessary conditions for non-zero coefficients in the expansion of $e_p(z) E_\eta(z)$ as a series in non-symmetric Jack polynomials are given. A known expansion formula for $z_i E_\eta(z)$ is rederived by an induction procedure, and this expansion is used to deduce the corresponding result for the expansion of $\prod_{j=1, j\ne i}^N z_j E_\eta(z)$, and consequently the expansion of $e_{N-1}(z) E_\eta(z)$. In the general $p$ case the coefficients for special terms in the expansion are presented.


title: Cauchy Inequality and the Space of Measured Laminations

abstract: We establish a Cauchy type inequality for the geometric intersection number between two 1-dimensional submanifolds in a surface. Some of the basic results in Thurston's theory of measured laminations on surfaces are derived from the Cauchy inequality.


title: Volume form as volume of infinitesimal simplices

abstract: In the context of Synthetic Differential Geometry, we describe the square volume of a ``second-infinitesimal simplex'', in terms of square-distance between its vertices. The square-volume function thus described is symmetric in the vertices. The square-volume gives rise to a characterization of the volume form in the top dimension.


title: Asymptotic behaviour of solutions of fourth order Dirichlet problems

abstract: The behaviour of solutions to fourth order problems is studied through the decomposition into a system of second order ones, which leads to relaxed formulations with the introduction of measure terms. This allows to solve a shape optimization problem for a simply supported thin plate.


title: Obstacles problems with measure data

abstract: We give a definition for Obstacle Problems with measure data and general obstacles. For such problems we prove existence and uniqueness of solutions and consistency with the classical theory of Variational Inequalities. Continuous dependence with respect to data is discussed.


title: Stability results for solutions of obstacle problems with measure data

abstract: In this paper we study the continuous dependence with respect to obstacles for obstacle problems with measure data. This is deeply investigated introducing a suitable type of convergence, which gives stability under very general hypotheses. Moreover stability with respect to H^1 and uniform convergent obstacles is proved.


title: Some properties of the solutions of obstacle problems with measure data

abstract: We study some properties of the obstacle reactions associated with the solutions of unilateral obstacle problems with measure data. These results allow us to prove that, under very weak assumptions on the obstacles, the solutions do not depend on the components of the negative parts of the data which are concentrated on sets of capacity zero. The proof is based on a careful analysis of the behaviour of the potentials of two mutually singular measures near the points where both potentials tend to infinity.


title: Value Functions for Bolza Problems with Discontinuous Lagrangians and Hamilton-Jacobi Inequalities

abstract: We investigate the value function of the Bolza problem of the Calculus of Variations $$ V (t,x)=\inf \{\int_{0}^{t} L (y(s),y'(s))ds + \phi(y(t)) : y \in W^{1,1} (0,t; R^n) ; y(0)=x \}, $$ with a lower semicontinuous Lagrangian $L$ and a final cost $\phi$, and show that it is locally Lipschitz for $t>0$ whenever $L$ is locally bounded. It also satisfies Hamilton-Jacobi inequalities in a generalized sense. When the Lagrangian is continuous, then the value function is the unique lower semicontinuous solution to the corresponding Hamilton-Jacobi equation, while for discontinuous Lagrangian we characterize the value function by using the so called contingent inequalities.


title: Vassiliev invariants for braids on surfaces

abstract: We show that Vassiliev invariants separate braids on a closed oriented surface, and we exhibit an universal Vassiliev invariant for these braids in terms of chord diagrams labeled by elements of the fundamental group of the considered surface.


title: Uniqueness of solutions to Hamilton-Jacobi equations arising in the Calculus of Variations

abstract: We prove the uniqueness of the viscosity solution to the Hamilton-Jacobi equation associated with a Bolza problem of the Calculus of Variations, assuming that the Lagrangian is autonomous, continuous, superlinear, and satisfies the usual convexity hypothesis. Under the same assumptions we prove also the uniqueness, in a class of lower semicontinuous functions, of a slightly different notion of solution, where classical derivatives are replaced only by subdifferentials. These results follow from a new comparison theorem for lower semicontinuous viscosity supersolutions of the Hamilton-Jacobi equation, that is proved in the general case of lower semicontinuous Lagrangians.


title: The Calibration Method for Free Discontinuity Problems

abstract: The calibration method is used to identify some minimizers of the Mumford-Shah functional. The method is then extended to more general free discontinuity problems.


title: The standard deviation effect (or why one should sit first base playing blackjack)

abstract: For a balanced cardcounting system we study the random variable of the true count after a number of cards are removed from the remaining deck and we prove a close formula for its standard deviation. As expected, the formula shows that the standard deviation increases with the number of cards removed. This creates a "standard deviation effect" with a two fold consequence: longer long run and presumably larger fluctuations of the bankroll, but a small gain in playing accuracy for the player sitting third base. The opposite happens for the player sitting first base. Thus the optimal position in casino blackjack in terms of shorter long run is first base.


title: A Perturbative SU(3) Casson Invariant

abstract: A perturbative SU(3) Casson invariant $\Lambda_{SU(3)}(X)$ for integral homology 3-spheres is defined. Besides being fully perturbative, it has nice properties: (1) $4 . \Lambda_{SU(3)}(X)$ is an integer. (2) It is preseved under orientation change. (3) A connected sum formula holds. Explicit calculations of the invariant for $1/k$ surgery on $(2,q)$ torus knots are made and compared with a different generalization of Casson's invariant to SU(3) by Boden and Herald. For those cases computed, the invariant defined here is a quadratic polynomial in k for k>0 and a quadratic polynomial for k<0.


title: Oriented Quantum Algebras, Categories and Invariants of Knots and Links

abstract: This paper defines the concept of an oriented quantum algebra and develops its application to the construction of quantum link invariants. We show that all known quantum link invariants can be put into this framework.


title: Oriented Quantum Algebras and Invariants of Knots and Links

abstract: In GT/0006019 oriented quantum algebras were motivated and introduced in a natural categorical setting. Invariants of knots and links can be computed from oriented quantum algebras, and this includes the Reshetikhin-Turaev theory for Ribbon Hopf algebras. Here we continue the study of oriented quantum algebras from a more algebraic perspective, and develop a more detailed theory for them and their associated invariants.


title: Some examples of rigid representations

abstract: Consider the Deligne-Simpson problem: {\em give necessary and sufficient conditions for the choice of the conjugacy classes $C_j\subset GL(n,{\bf C})$ (resp. $c_j\subset gl(n,{\bf C})$) so that there exist irreducible $(p+1)$-tuples of matrices $M_j\in C_j$ (resp. $A_j\in c_j$) satisfying the equality $M_1... M_{p+1}=I$ (resp. $A_1+... +A_{p+1}=0$)}. The matrices $M_j$ and $A_j$ are interpreted as monodromy operators and as matrices-residua of fuchsian systems on Riemann's sphere. We give new examples of existence of such $(p+1)$-tuples of matrices $M_j$ (resp. $A_j$) which are {\em rigid}, i.e. unique up to conjugacy once the classes $C_j$ (resp. $c_j$) are fixed. For rigid representations the sum of the dimensions of the classes $C_j$ (resp. $c_j$) equals $2n^2-2$.


title: Leibniz Algebras, Courant Algebroids, and Multiplications on Reductive Homogeneous Spaces

abstract: We show that the skew-symmetrized product on every Leibniz algebra E can be realized on a reductive complement to a subalgebra in a Lie algebra. As a consequence, we construct a nonassociative multiplication on E which, when E is a Lie algebra, is derived from the integrated adjoint representation. We apply this construction to realize the bracket operations on the sections of Courant algebroids and on the ``omni-Lie algebras'' recently introduced by the second author.


title: Connections under Symplectic Reduction

abstract: In this note we give conditions which ensure the reduction of a symplectic connection in the process of a Marsden-Weinstein reduction and of the reduction of a presymplectic manifold.


title: Remarks on Quantum Physics and Noncommutative Geometry

abstract: The "quantum-event / prime ideal in a category/ noncommutative-point" alternative to "classical-event / commutative prime ideal/ point" is suggested. Ideals in additive categories, prime spectra and representation of quivers are considered as mathematical tools appropriate to model quantum mechanics. The space-time framework is to be reconstructed from the spectrum of the path category of a quiver. The interference experiment is considered as an example.


title: A note on polarizations of finitely generated fields

abstract: In our previous paper, we established Northcott's theorem for height functions over finitely generated fields. Unfortunately, Northcott's theorem on finitely generated fields does not hold in general. Actually, it depends on the choice of a polarization. In this short note, we will propose a weaker condition of the polarization to guarantee Northcott's theorem. We will also show the generalization of conjectures of Bogomolov and Lang in under the weaker condition.


title: Deformation of Okamoto-Painlev\'e Pairs and Painlev\'e equations

abstract: In this paper, we introduce the notion of generalized rational Okamoto-Painlev\'e pair (S, Y) by generalizing the notion of the spaces of initial conditions of Painlev\'e equations. After classifying those pairs, we will establish an algebro-geometric approach to derive the Painlev\'e differential equations from the deformation of Okamoto-Painlev\'e pairs by using the local cohomology groups. Moreover the reason why the Painlev\'e equations can be written in Hamiltonian systems is clarified by means of the holomorphic symplectic structure on S - Y. Hamiltonian structures for Okamoto-Painlev\'e pairs of type $\tilde{E}_7 (= P_{II})$ and $\tilde{D}_8 (= P_{III}^{\tilde{D}_8})$ are calculated explicitly as examples of our theory.


title: Local cohomology of generalized Okamoto-Painlev\'e pairs and Painlev\'e equations

abstract: In the theory of deformation of Okamoto-Painlev\'e pair (S,Y), a local cohomology group $H^1_D(\Theta_S(-\log D))$ plays an important role. In this paper, we estimate the local cohomology group of pair (S,Y) for several types, and obtain the following results. For a pair (S,Y) corresponding to the space of initial conditions of the Painlev\'e equations, we show that the local cohomology group $H^1_D(\Theta_S(-\log D))$ is at least 1 dimensional. This fact is the key to understand Painlev\'e equation related to (S,Y). Moreover we show that, for the pairs (S,Y) of type $\tilde{A_8}$, the local cohomology group $H^1_D(\Theta_S(-\log D))$ vanish. Therefore in this case, there is no differential equation on S-Y in the sense of the theory.


title: Classification of Okamoto-Painlev\'e Pairs

abstract: In this paper, we introduce the notion of an Okamoto-Painlev\'e pair (S, Y) which consists of a compact smooth complex surface S and an effective divisor Y on S satisfying certain conditions. Though spaces of initial values of Painlev\'e equations introduced by K. Okamoto give examples of Okamoto-Painleve pairs, we find a new example of Okamoto-Painlev\'e pairs not listed in \cite{Oka}. We will give the complete classification of Okamoto-Painlev\'e pairs.


title: A universal construction for moduli spaces of decorated vector bundles over curves

abstract: Let $X$ be a smooth projective curve over the complex numbers. To every representation $\rho\colon \GL(r)\lra \GL(V)$ of the complex general linear group on the finite dimensional complex vector space $V$ which satisfies the assumption that there be an integer $\alpha$ with $\rho(z \id_{\C^r})=z^\alpha \id_V$ for all $z\in\C^*$ we associate the problem of classifying triples $(E,L,\phi)$ where $E$ is a vector bundle of rank $r$ on $X$, $L$ is a line bundle on $X$, and $\phi\colon E_\rho\lra L$ is a non trivial homomorphism. Here, $E_\rho$ is the vector bundle of rank $\dim V$ associated to $E$ via $\rho$. If we take, for example, the standard representation of $\GL(r)$ on $\C^r$ we have to classify triples $(E,L,\phi)$ consisting of $E$ as before and a non-zero homomorphism $\phi\colon E\lra L$ which includes the so-called Bradlow pairs. For the representation of $\GL(r)$ on $S^2\C^3$ we find the conic bundles of Gomez and Sols. In the present paper, we will formulate a general semistability concept for the above triples which depends on a rational parameter $\delta$ and establish the existence of moduli spaces of $\delta$-(semi)stable triples of fixed topological type. The notion of semistability mimics the Hilbert-Mumford criterion for $SL(r)$ which is the main reason that such a general approach becomes feasible. In the known examples (the above, Higgs bundles, extension pairs, oriented framed bundles) we show how to recover the "usual" semistability concept. This process of simplification can also be formalized. Altogether, our results provide a unifying construction for the moduli spaces of most decorated vector bundle problems together with an automatism for finding the right notion of semistability and should therefore be of some interest.


title: Moduli problems of sheaves associated with oriented trees

abstract: To every oriented tree, we associate a moduli problem for sheaves over a projective manifold $X$. We define the corresponding notion of semistability and establish the existence of moduli spaces. Applying the results to the tree *->*, we obtain a GIT construction for the moduli space of holomorphic triples of Bradlow and Garcia-Prada.


title: Functionals depending on curvatures with constraints

abstract: We deal with a family of functionals depending on curvatures and we prove for them compactness and semicontinuity properties in the class of closed and bounded sets which satisfy a uniform exterior and interior sphere condition. We apply the results to state an existence theorem for the Nitzberg and Mumford problem under this additional constraint.


title: Local calibrations for minimizers of the Mumford-Shah functional with a regular discontinuity set

abstract: Using a calibration method, we prove that, if w is a function which satisfies all Euler conditions for the Mumford-Shah functional on a two-dimensional domain, and the discontinuity set S of w is a regular curve connecting two boundary points, then there exists a uniform neighbourhood U of S such that w is a minimizer of the Mumford-Shah functional on U with respect to its own boundary conditions. We show that Euler conditions do not guarantee in general the minimality of w in the class of functions with the same boundary value of w and whose extended graph is contained in a neighbourhood of the extended graph of w, and we give a sufficient condition in terms of the geometrical properties of the domain and the discontinuity set under which this kind of minimality holds.


title: Classification of certain simple $C^*$-algebras with torsion in $K_1$

abstract: We show that the Elliott invariant is a classifying invariant for the class of $C^*$-algebras that are simple unital infinite dimensional inductive limits of sequences of finite direct sums of building blocks of the form $$ \{f\in C(\T)\otimes M_n: f(x_i)\in M_{d_i}, i=1,2,...,N\}, $$ where $x_1,x_2,...,x_N\in\T$, $d_1,d_2,...,d_N$ are integers dividing $n$, and $M_{d_i}$ is embedded unitally into $M_n$. Furthermore we prove existence and uniqueness theorems for *-homomorphisms between such algebras and we identify the range of the invariant.


title: Summing inclusion maps between symmetric sequence spaces

abstract: We prove a substantial extension of a well-known result due to Bennett and Carl: The inclusion of a 2-concave symmetric Banach sequence space E into l_2 is (E,1)-summing, i.e. for every unconditionally summable sequence (x_n) in E the scalar sequence (||x_n||_2) is contained in E. Various applications are given, e.g. to the theory of eigenvalue distribution of compact operators and approximation theory.


title: Double Sections and Dominating Maps

abstract: As is well-known, there exist nonconstant holomorphic maps from the plane into the Riemann sphere $\PP^1$ minus two points, the simplest example of which is an explicit realization of the uniformization map given by applying the exponential map and then composing with a Mobius transformation taking 0 and $\infty$ to the two given punctures. Likewise, we can map the plane into the sphere minus one point by simply applying directly a Mobius transformation taking $\infty$ to this puncture. In this paper we prove two parametrized versions of this uniformization result using different methods. We first present a slightly easier version using complex analysis, which allows us to construct the uniformizing maps more or less explicitly in terms of the initial coordinates given. Then we give the more general and coordinate invariant version, which we prove by extending Kodaira's theory of the Jacobian fibration to a family of singular curves constructed via algebraic geometry. Finally, using the results obtained with the Jacobian fibration, we obtain two equivalent conditions for an complex surface nonhyperbolically fibered over a complex curve to be holomorphically dominable by $\CC^2$. In theorem \ref{thm:surf} we show that this dominability is equivalent to the apparently weaker condition of the existence of a Zariski dense image of $\CC$ and equivalent to the quasiprojectivity of the base curve together with the nonnegativity of the orbifold Euler characteristic.


title: When Does the Positive Semidefiniteness Constraint Help In Lifting Procedures

abstract: We study the lift-and-project procedures of Lov\'asz and Schrijver for 0-1 integer programming problems. We prove that the procedure using the positive semidefiniteness constraint is not better than the one without it, in the worst case. Various examples are considered. We also provide geometric conditions characterizing when the positive semidefiniteness constraint does not help.


title: Gaussian limit for determinantal random point fields

abstract: We prove that under fairly general conditions properly rescaled determinantal random point field converges to a generalized Gaussian random process.


title: Erratum to the paper "A note on the factorization theorem of toric birational maps after Morelli and its toroidal extension"

abstract: This is an erratum to math.AG/9803126, Tohoku 51 (1999) 489-537. This erratum describes: 1. the failure of the algorithm in [AMR] and [Morelli1] for the strong factorization pointed out by Kalle Karu, 2. the statement of a refined weak factorization theorem for toroidal birational morphisms in [AMR], in the form utilized in [AKMR] for the proof of the weak factorization theorem for general birationla maps, avoiding the use of the above mentioned algorithm for the strong factorization, and 3. a list of corrections for a few other mistakes in [AMR], mostly pointed out by Laurent Bonavero.


title: Littlewood-Paley theory and the T(1) theorem with non doubling measures

abstract: Let $\mu$ be a Borel measure on $R^d$ which may be non doubling. The only condition that $\mu$ must satisfy is $\mu(B(x,r))\leq C r^n$ for all $x\in R^d$, $r>0$, and for some fixed $0<n\leq d$. In this paper, we develop Littlewood-Paley theory for functions in $L^p(\mu)$. One of the main difficulties is the construction of reasonable approximations of the identity for obtaining a Calderon type reproducing formula. Moreover, it is shown that the T(1) theorem for n-dimensional Calderon-Zygmund operators, without doubling assumptions, can be proved using the Littlewood-Paley decomposition that is obtained for $L^2(\mu)$ functions, as in the classical case of homogeneous spaces.


title: Classification of links up to self $#$-move

abstract: A pass-move and a $#$-move are local moves on oriented links defined by L.H. Kauffman and H. Murakami respectively. Two links are self pass-equivalent (resp. self $#$-equivalent) if one can be deformed into the other by pass-moves (resp. $#$-moves), where non of them can occur between distinct components of the link. These relations are equivalence relations on ordered oriented links and stronger than link-homotopy defined by J. Milnor. We give two complete classifications of links with arbitrarily many components up to self pass-equivalence and up to self $#$-equivalence respectively. So our classifications give subdivisions of link-homotopy classes.


title: Some Ricci Flat (pseudo-) Riemannian Geometries

abstract: We define a class of two dimensional surfaces conformally related to minimal surfaces in flat three dimensional geometries. By the utility of the metrics of such surfaces we give a construction of the metrics of $2 N$ dimensional Ricci flat (pseudo-) Riemannian geometries.


title: On integrability of infinitesimal actions

abstract: We use foliations and connections on principal Lie groupoid bundles to prove various integrability results for Lie algebroids. In particular, we show, under quite general assumptions, that the semi-direct product associated to an infinitesimal action of one integrable Lie algebroid on another is integrable. This generalizes recent results of Dazord and Nistor.


title: An Arakelov theoretic proof of the equality of conductor and discriminant

abstract: We give an Arakelov theoretic proof of the equality of conductor and discriminant for arithmetic surfaces over number fields. This was first proved by T. Saito for relative curves over discrete valuation rings.


title: A Free Probability Analogue of the Wasserstein Metric on the Trace-State Space

abstract: We define a free probability analogue of the Wasserstein metric, which extends the classical one. In dimension one, we prove that the square of the Wasserstein distance to the semi-circle distribution is majorized by a modified free entropy quantity.


title: The mystery of the brane relation

abstract: The purpose of the present paper is to introduce and explore two surprises that arise when we apply a standard procedure to study the number of finite type invariants of 3-manifolds introduced independently by M. Goussarov and K. Habiro based on surgery on claspers, Y-graphs or clovers, \cite{Gu,Ha,GGP}. One surprise is that the upper bounds depend on a bit more than a choice of generators for H_1. A complementary surprise a curious brane relation (in two flavors, open and closed) which shows that the upper bounds are in a certain sense independent of the choice of generators of H_1.


title: The Eta-invariant and Pontryagin duality in K-theory

abstract: The topological significance of the spectral Atiyah-Patodi-Singer eta-invariant is investigated under the parity conditions of P. Gilkey. We show that twice the fractional part of the invariant is computed by the linking pairing in K-theory with the orientation bundle of the manifold. The Pontrjagin duality implies the nondegeneracy of the linking form. An example of a nontrivial fractional part for an even-order operator is presented. This result answers the question of P. Gilkey (1989) concerning the existence of even-order operators on odd-dimensional manifolds with nontrivial fractional part of eta-invariant.

categories: math.KT math.AP math.AT math.DG math.OA math.SP


title: Projectively equivariant symbol calculus for bidifferential operators

abstract: We prove the existence and uniqueness of a *projectively equivariant symbol map*, which is an isomorphism between the space of bidifferential operators acting on tensor densities over $R^n$ and that of their symbols, when both are considered as modules over an imbedding of $sl(n+1,\R)$ into polynomial vector fields. The coefficients of the bidifferential operators are densities of an arbitrary weight. We obtain the result for all values of this weight, except for a set of critical ones, which does not contain 0. In the case of second order operators, we give explicit formulas and examine in detail the critical values.


title: Deformation cohomology for Yetter-Drinfel'd modules and Hopf (bi)modules

abstract: If A is a bialgebra over a field k and M, N are either left-right Yetter-Drinfel'd modules or left-right Hopf modules over A, we construct deformation cohomologies H^*(M,N) as total cohomologies of certain double complexes Y(M,N) and C(M,N), respectively. In both cases, H^1(M,N) is isomorphic to the group of equivalence classes of extensions of M by N in the corresponding category. In the Yetter-Drinfel'd case, H^*(k,k) is just the Gerstenhaber-Schack cohomology of the bialgebra A. If M, N are Hopf bimodules we construct a natural subbicomplex of the above C(M,N), yielding a cohomology theory for Hopf bimodules, similar to the one recently introduced by R. Taillefer.


title: Topology of billiard problems, I

abstract: Let $T\subset \R^{m+1}$ be a strictly convex domain bounded by a smooth hypersurface $X=\partial T$. In this paper we find lower bounds on the number of billiard trajectories in $T$ which have a prescribed intial point $A\in X$, a prescribed final point $B\in X$ and make a prescribed number $n$ of reflections at the boundary $X$. We apply a topological approach based on calculation of cohomology rings of certain configuration spaces.


title: Geometry on arc spaces of algebraic varieties

abstract: This paper is a survey on arc spaces, a recent topic in algebraic geometry and singularity theory. The geometry of the arc space of an algebraic variety yields several new geometric invariants and brings new light to some classical invariants.


title: Finite and p-adic polylogarithms

abstract: The finite n-th polylogarithm li_n(z) in Z/p[z] is defined as the sum on k from 1 to p-1 of z^k/k^n. We state and prove the following theorem. Let Li_k:C_p to C_p be the p-adic polylogarithms defined by Coleman. Then a certain linear combination F_n of products of polylogarithms and logarithms, with coefficients which are independent of p, has the property that p^{1-n} DF_n(z^p) reduces modulo p>n+1 to li_{n-1}(z) where D is the Cathelineau operator z(1-z) d/dz. A slightly modified version of this theorem was conjectured by Kontsevich. This theorem is used by Elbaz-Vincent and Gangl to deduce functional equations of finite polylogarithms from those of complex polylogarithms.


title: Bicartesian Coherence

abstract: Coherence is demonstrated for categories with binary products and sums, but without the terminal and the initial object, and without distribution. This coherence amounts to the existence of a faithful functor from a free category with binary products and sums to the category of relations on finite ordinals. This result is obtained with the help of proof-theoretic normalizing techniques. When the terminal object is present, coherence may still be proved if of binary sums we keep just their bifunctorial properties. It is found that with the simplest understanding of coherence this is the best one can hope for in bicartesian categories. The coherence for categories with binary products and sums provides an easy decision procedure for equality of arrows. It is also used to demonstrate that the categories in question are maximal, in the sense that in any such category that is not a preorder all the equations between arrows involving only binary products and sums are the same. This shows that the usual notion of equivalence of proofs in nondistributive conjunctive-disjunctive logic is optimally defined: further assumptions would make this notion collapse into triviality. (A proof of coherence for categories with binary products and sums simpler than that presented in this paper may be found in Section 9.4 of {\it Proof-Theoretical Coherence}, revised version of September 2007, http://www.mi.sanu.ac.yu/~kosta/coh.pdf.)


title: Singular perturbations and first order PDE on manifolds

abstract: In this note we present some results concerning the concentration of sequences of first eigenfunctions on the limit sets of a Morse-Smale dynamical system on a compact Riemanniann manifold. More precisely a renormalized sequence of eigenfunctions converges to a measure $\mu$ concentrated on the hyperbolic sets of the field. The set of all possible measure turns out to be a sum of a finite Dirac distributions localized at the critical point of the field and absolutely continuous measure with respect to the Lebesgue measure on each limit cycles : the coefficients which appear in the limit measure can be characterized using the concentration theory. In the second part, certain aspects of some first order PDE on manifolds are studied. We study the limit of a sequence solutions of a second order PDE, when a parameter of viscosity tends to zero. Under some explicit assumptions on some vector fields, bounded and differentiable solutions are obtained. We exibit the role played by the limit sets of the dynamical systems and provide in some cases an explicit representation formula.


title: A Fourier-Mukai approach to spectral data for instantons

abstract: We study U(r) instantons on elliptic surfaces with a section and show that they are in one-one correspondence with spectral data consisting of a curve in the dual elliptic surface and a line bundle on that curve. We use relative Fourier-Mukai transforms to analyse their properties and, in the case of the K3 and abelian surfaces, we show that the moduli space of instantons has a natural Lagrangian fibration with respect to the canonical complex symplectic structure.


title: From symmetries of the modular tower of genus zero real stable curves to an Euler class for the dyadic circle

abstract: We build actions of Thompson group V (related to the Cantor set) and of the so-called "spheromorphism" group of Neretin, on "towers" of moduli spaces of genus zero real stable curves. The latter consist of inductive limits of spaces which are the real parts of the Grothendieck-Knudsen compactification of the usual moduli spaces of punctured Riemann spheres. By a result of M. Davis, T. Januszkiewicz and R. Scott, these spaces are aspherical cubical complexes, whose fundamental groups, the "pure quasi-braid groups", are some analogues of the classical pure braid groups. By lifting the actions of Thompson and Neretin groups to the universal covers of the towers, we get new extensions of both groups by an infinite pure quasi-braid group, and construct what we call an "Euler class" for Neretin group, justifying the terminology by exhibiting an Euler-type cocycle. Further, after introducing the infinite (non-pure) quasi-braid group, we show that both infinite (non-pure and pure) quasi-braid groups provide new examples of groups whose classifying spaces, after plus-construction, are loop spaces.


title: Quivers, Floer cohomology, and braid group actions

abstract: We consider the derived categories of modules over a certain family A_m of graded rings, and Floer cohomology of Lagrangian intersections in the symplectic manifolds which are the Milnor fibres of simple singularities of type A_m. We show that each of these two rather different objects encodes the topology of curves on an (m+1)-punctured disc. We prove that the braid group B_{m+1} acts faithfully on the derived category of A_m-modules and that it injects into the symplectic mapping class group of Milnor fibers. The philosophy behind our results is as follows. Using Floer cohomology, one should be able to associate to the Milnor fibre a triangulated category (its construction has not been carried out in detail). This triangulated category should contain a full subcategory which is equivalent, up to a slight difference in the grading, to the derived category of A_m-modules. The full embedding would connect the two occurrences of the braid group, thus explaining the similarity between them.


title: Finite Quantum Groupoids and Their Applications

abstract: We give a survey of the theory of finite quantum groupoids (weak Hopf algebras), including foundations of the theory and applications to finite depth subfactors, dynamical deformations of quantum groups, and invariants of knots and 3-manifolds.


title: On the Existence and Temperedness of Cusp Forms for SL(3,Z)

abstract: We develop a partial trace formula which circumvents some technical difficulties in computing the Selberg trace formula for the quotient $SL_3({\Z})\backslash SL_3({\R})/SO_3({\R})$. As applications, we establish the Weyl asymptotic law for the discrete Laplace spectrum and prove that almost all of its cusp forms are tempered at infinity. The technique shows there are non-lifted cusp forms on $SL_3({\Z})\backslash SL_3({\R})/SO_3({\R})$ as well as non-self-dual ones. A self-contained description of our proof for $SL_2({\Z})\backslash \U$ is included to convey the main new ideas. Heavy use is made of truncation and the Maass-Selberg relations.


title: Finite Difference Approximation of Free Discontinuity Problems

abstract: We approximate functionals depending on the gradient of $u$ and on the behaviour of $u$ near the discontinuity points, by families of non-local functionals where the gradient is replaced by finite differences. We prove pointwise convergence, $\Gamma$-convergence, and a compactness result which implies, in particular, the convergence of minima and minimizers.


title: On the derived invariance of cohomology theories for coalgebras

abstract: We study the derived invariance of the cohomology theories $Hoch^*$, $H^*$ and $HC^*$ associated to coalgebras over a field. We prove a theorem characterizing derived equivalences. As particular cases, it describes the two following situations: 1) $f:C\to D$ a quasi-isomorphism of differential graded coalgebras, 2) the existence of a "cotilting" bicomodule ${}_CT_D$. In these two cases we construct a derived-Morita equivalence context, and consequently we obtain isomorphisms $Hoch^*(C)\cong\Hoch^*(D)$ and $H^*(C)\cong H^*(D)$. Moreover, when we have a coassociative map inducing an isomorphism $H^*(C)\cong H^*(D)$ (for example when there is a quasi-isomorphism $f:C\to D$), we prove that $HC^*(C)\cong HC^*(D)$.


title: Coherence in Substructural Categories

abstract: It is proved that MacLane's coherence results for monoidal and symmetric monoidal categories can be extended to some other categories with multiplication; namely, to relevant, affine and cartesian categories. All results are formulated in terms of natural transformations equipped with ``graphs'' (g-natural transformations), and corresponding morphism theorems are given as consequences. Using these results, some basic relations between the free categories of these classes are obtained.


title: A new classification of links and some calculations using it

abstract: A new classification theorem for links by the authors and Roger Fenn leads to computable link invariants. As an illustration we distinguish the left and right trefoils and recover the result of Carter et al that the 2-twist-spun trefoil is not isotopic to its orientation reverse. We sketch the proof the classification theorem. Full details will appear elsewhere


title: Identification of Berezin-Toeplitz deformation quantization

abstract: We give a complete identification of the deformation quantization which was obtained from the Berezin-Toeplitz quantization on an arbitrary compact Kaehler manifold. The deformation quantization with the opposite star-product proves to be a differential deformation quantization with separation of variables whose classifying form is explicitly calculated. Its characteristic class (which classifies star-products up to equivalence) is obtained. The proof is based on the microlocal description of the Szegoe kernel of a strictly pseudoconvex domain given by Boutet de Monvel and Sjoestrand.

categories: math.QA math-ph math.AG math.CV math.MP math.SG quant-ph


title: Analytic continuation and resonance-free regions for Sturm-Liouville pote ntials with power decay

abstract: We are concerned with the Sturm-Liouville problem on the half line. We show that when the potential $q$ is subject only to power decay at infinity the $L^2$ solution may be continued into a sector of the so-called un-physical sheet. This gives rise to resonance free regions and the numerical estimation of resonances outside these regions.


title: Amalgamation bases for nil-2 groups of odd exponent

abstract: We study the strong, weak, and special amalgamation bases in the varieties of nilpotent groups of class two and exponent n, where n is odd. The main result is a characterization of the special amalgamation bases for these varieties. We also characterize the weak and strong bases. For special amalgamation bases, we show that there are groups which are special bases in varieties of finite exponent but not in the variety of all nil-2 groups, whereas for weak and strong bases we show this is not the case. We also show that in these varieties, as well as the variety of all nil-2 groups, a group has an absolute closure (in the sense of Isbell) if and only if it is already absolutely closed, i.e. if and only if it is a special amalgamation base.


title: Who Wins Domineering on Rectangular Boards?

abstract: Using mostly elementary considerations, we find out who wins the game of Domineering on all rectangular boards of width 2, 3, 5, and 7. We obtain bounds on other boards as well, and prove the existence of polynomial-time strategies for playing on all boards of width 2, 3, 4, 5, 7, 9, and 11. We also comment briefly on toroidal and cylindrical boards.


title: One-Dimensional Peg Solitaire

abstract: We solve the problem of one-dimensional peg solitaire. In particular, we show that the set of configurations that can be reduced to a single peg forms a regular language, and that a linear-time algorithm exists for reducing any configuration to the minimum number of pegs.


title: Symmetry Groups and Equivalence Transformations in the Nonlinear Donnell-Mushtari-Vlasov Theory for Shallow Shells

abstract: In the case of transversely only loaded shallow shells, the nonlinear Donnell-Mushtari-Vlasov theory for large deflection of isotropic thin elastic shells leads to a system of two coupled nonlinear forth-order partial differential equations known as Marguerre's equations. This system involves two arbitrary elements -- the curvature tensor of the shell middle-surface and the function of transversal load per unit surface area. In the present note, the point symmetry groups of Marguerre's equations are established, the corresponding group classification problem being solved. It is shown that Marguerre's equations are equivalent to the von Karman equations for large deflection of plates in the time-independent case and in the time-dependent case as well. It is also observed that the same holds true in respect of the field equations for anisotropic shallow shells.


title: Octonionic Hermitian Matrices with Non-Real Eigenvalues

abstract: We extend previous work on the eigenvalue problem for Hermitian octonionic matrices by discussing the case where the eigenvalues are not real, giving a complete treatment of the 2x2 case, and summarizing some prelimenary results for the 3x3 case.


title: Determinants of Hankel Matrices

abstract: The purpose of this paper is to compute asymptotically Hankel determinants for weights that are supported in a semi-infinite interval.The main idea is to reduce the problem to determinants of other operators whose determinant asymptotics are well known.


title: New Ideas for Resolution of Singularities in Arbitrary Characteristic

abstract: This is the manuscript for Proceedings of International Conference and Workshop on Valuation Theory held at University of Saskachewan, Canada in 1999. I have succeeded in showing that any two-dimensional hypersurface singularities of germs of varieties in any characteristic can be resolved by iterated monoidal transformations with centers in smooth subvarieties. The new proof for the two-dimensional case depends on new ideas. Ideas are essentially different from Abhyankar's one in 1956 and Lipman's one in 1978. It seems to be possible to generalize the new proof into higher dimensional cases, if we add several ideas further. In this article I try to explain my new ideas rather than partial result I explained at the conference.


title: The theorem of Mather on generic projections for singular varieties

abstract: The theorem of Mather on generic projections of smooth algebraic varieties is also proved for the singular ones.


title: Local calibrations for minimizers of the Mumford-Shah functional with rectilinear discontinuity sets

abstract: Using a calibration method, we prove that, if $w$ is a function which satisfies all Euler conditions for the Mumford-Shah functional on a two-dimensional open set $\Omega$, and the discontinuity set of $w$ is a segment connecting two boundary points, then for every point $(x_0, y_0)$ of $\Omega$ there exists a neighbourhood $U$ of $(x_0, y_0)$ such that $w$ is a minimizer of the Mumford-Shah functional on $U$ with respect to its own boundary values on $\partial U$.


title: Cohomology of the variational bicomplex on the infinite order jet space

abstract: We obtain the cohomology of the variational bicomplex on the infinite order jet space of a smooth fiber bundle in the class of exterior forms of finite jet order. This provides a solution of the global inverse problem of the calculus of variations of finite order on fiber bundles.


title: Unitary spherical highest weight representations

abstract: In this paper we give a classification of the $H$-spherical unitary highest weight representations of a hermitian Lie group $G$.


title: Mixing times for Markov chains on wreath products and related homogeneous spaces

abstract: We develop a method for analyzing the mixing times for a quite general class of Markov chains on the complete monomial group G \wr S_n (the wreath product of a group G with the permutation group S_n) and a quite general class of Markov chains on the homogeneous space (G \wr S_n) / (S_r \times S_{n - r}). We derive an exact formula for the L^2 distance in terms of the L^2 distances to uniformity for closely related random walks on the symmetric groups S_j for 1 \leq j \leq n or for closely related Markov chains on the homogeneous spaces S_{i + j} / (S_i \times S_j) for various values of i and j, respectively. Our results are consistent with those previously known, but our method is considerably simpler and more general.


title: An Algebra of Skew Primitive Elements

abstract: We study the various term operations on the set of skew primitive elements of Hopf algebras, generated by skew primitive semi-invariants of an Abelian group of grouplike elements. All 1-linear binary operations are described and trilinear and quadrilinear operations are given a detailed treatment. Necessary and sufficient conditions for the existence of multilinear operations are specified in terms of the property of particular noncommutative polynomials being linearly dependent and of one arithmetic condition. We dub the conjecture that this condition implies, in fact, the linear dependence of the polynomials in question and so is itself sufficient (a proof of this conjecture see in "An existence condition for multilinear quantum operations," Journal of Algebra, 217, 1999, 188-228).


title: Invariants of Knots and 3-manifolds from Quantum Groupoids

abstract: We use categories of representations of finite dimensional quantum groupoids (weak Hopf algebras) to construct ribbon and modular categories that give rise to invariants of knots and 3-manifolds.


title: On the consistency of $P=NP$ with fragments of ZFC whose own consistency strength can be measured by an ordinal assignment

abstract: We formulate the $P<NP$ hypothesis in the case of the satisfiability problem as a $\Pi ^0_2$ sentence, out of which we can construct a partial recursive function $f_{\neg A}$ so that $f_{\neg A}$ is total if and only if $P < NP$. We then show that if $f_{\neg A}$ is total, then it isn't ${\cal T}$--provably total (where ${\cal T}$ is a fragment of ZFC that adequately extends PA and whose consistency is of ordinal order). Follows that the negation of $P < NP$, that is, $P = NP$, is consistent with those ${\cal T}$.


title: Graph Theoretic Construction of Discrete Groups over p-adic Fields

abstract: This paper is originally designed as a part of revision of the author's preprint math.AG/9908174 "P-adic Schwarzian triangle groups of Mumford type". Recently, Yves Andr'e pointed out a flaw in that preprint; more precisely, Proposition II there was not correct, and consequently, as he pointed out, some triangle groups are missing (but only in p=2,3,5). I apologize to the readers, and will release the other part soon by the original title. In this paper, we concentrate on the constructive part, but more systematically and in more general situation. More precisely, this paper presents a complete criterion for an abstract tree of groups to be realized in the context of p-adic uniformization. This criterion provides a practical way of constructing finitely generated discrete subgroups in PGL(2,K) over a p-adic field K. In the end of this paper, we will exhibit concrete examples of such construction, which in particular shows that there exist infinitely many triangle groups.


title: On universal minimal compact G-spaces

abstract: For every topological group G one can define the universal minimal compact G-space X=M_G characterized by the following properties: (1) X has no proper closed G-invariant subsets; (2) for every compact G-space Y there exists a G-map X-->Y. If G is the group of all orientation-preserving homeomorphisms of the circle S^1, then M_G can be identified with S^1 (V. Pestov). We show that the circle cannot be replaced by the Hilbert cube or a compact manifold of dimension >1. This answers a question of V. Pestov. Moreover, we prove that for every topological group G the action of G on M_G is not 3-transitive.


title: Siegel coordinates and moduli spaces for morphisms of abelian varieties

abstract: We describe the moduli spaces of morphisms between polarized complex abelian varieties. The discrete invariants, derived from a Poincare' decomposition of morphisms, are the types of polarizations and of lattice homomorphisms occurring in the decomposition. For a given type of morphisms the moduli variety is irreducible, and is obtained from a product of Siegel spaces modulo the action of a discrete group.


title: Wheeling: A diagrammatic analogue of the Duflo isomorphism

abstract: We construct and prove a diagrammatic version of the Duflo isomorphism between the invariant subalgebra of the symmetric algebra of a Lie algebra and the center of the universal enveloping algebra. This version implies the original for metrized Lie algebras (Lie algebras with an invariant non-degenerate bilinear form). As an application of this isomorphism, we will compute the Kontsevich integral of the unknot and the Hopf link to all orders. At the core of the proof, we use an elementary property of the Hopf link which can be summarized by the equation ``1+1=2'' in abacus arithmetic: doubling one component of the Hopf link is equivalent to taking the connected sum of two Hopf links. This property of the Hopf link turns out, when suitably interpreted, to be exactly the property required for the Duflo map to be multiplicative. To compute the Kontsevich integral of the unknot, we use a property of the unknot that can be summarized by ``n * 0 = 0'': the n-fold connected cabling of the unknot is again an unknot.


title: Standard modules of quantum affine algebras

abstract: We give a proof of the cyclicity conjecture of Akasaka-Kashiwara, for simply laced types, via quiver varieties. We get also an algebraic characterization of the standard modules.


title: Topology of billiard problems, II

abstract: We give topological lower bounds on the number of periodic and closed trajectories in strictly convex smooth billiards. We use variational reduction admitting a finite group of symmetries and apply topological approach based on equivariant Morse and Lusternik - Schnirelman theories. The paper continues results published in math.DG/9911226 and math.DG/0006049


title: On the converse to a theorem of Atiyah and Bott

abstract: Let G be a complex reductive group and let C be a smooth curve of genus at least one. We prove a converse to a theorem of Atiyah-Bott concerning the stratification of the space of holomorphic G-bundles on C. In case the genus of C is one, we establish that one has a stratification in the strong sense. The paper concludes with a characterization of the minimally unstable strata in case G is simple.


title: Virasoro algebra and wreath product convolution

abstract: We present a group theoretic construction of the Virasoro algebra in the framework of wreath products. This can be regarded as a counterpart of a geometric construction of Lehn in the theory of Hilbert schemes of points on a surface.


title: Epsilon constants and Arakelov Euler characteristics

abstract: We conjecture that the logarithm of the absolute value of the constant in the functional equation of the Hasse-Weil L-function of a variety X over Z is equal to a certain Arakelov de Rham Euler characteristic of X. This generalizes the fact that the constant in the functional equation of the zeta function of a number field is the square root of the discriminant of its ring of integers. We show that this conjecture is equivalent to Bloch's conjecture which expresses the conductor as the degree of a localized Chern class of the differentials. We prove both of these conjectures in the case of "tame" reduction.


title: Absolutely Abnormal Numbers

abstract: Despite the fact that almost all real numbers are absolutely normal---that is, the digits in their expansions to any base occur in all possible configurations with the expected frequency---not one specific example of an absolutely normal number is known. In this note we investigate the opposite extreme, numbers that are normal to no base whatsoever, and we succeed in writing down explicitly such a number.


title: On the fermionc formula and the Kirillov-Reshetikhin conjecture

abstract: The fermionic formula conjectured by Kirillov and Reshetikhin describes the decomposition (as a module for $U_q(\frak g)$) of a tensor product of multiples of of fundamental representations $W(m\lambda_i)$ of the corresponding quantum affine algebras. In this paper, we show that the conjecture is true for the modules W(m\lambda_i), if $i$ is such that the corresponding simple root occurs in the highest root of the simple Lie algebra with multiplicity at most 2. In particular, the conjecture is established for all but a few nodes for the exceptional algebras.


title: Coherent Bicartesian and Sesquicartesian Categories

abstract: Coherence is here demonstrated for sesquicartesian categories, which are categories with nonempty finite products and arbitrary finite sums, including the empty sum, where moreover the first and the second projection from the product of the initial object with itself are the same. (Every bicartesian closed category, and, in particular, the category Set, is such a category.) This coherence amounts to the existence of a faithful functor from categories of this sort freely generated by sets of objects to the category of relations on finite ordinals, and it yields a very easy decision procedure for equality of arrows. Restricted coherence holds also for bicartesian categories where, in addition to this equality for projections, we have that the first and the second injection to the sum of the terminal object with itself are the same. The printed version of this paper (in: R. Kahle et al. eds, Proof Theory in Computer Science, Lecture Notes in Computer Science, vol. 2183, Springer, Berlin, 2001, pp. 78-92) and versions previously posted here purported to prove unrestricted coherence for the bicartesian categories mentioned above. Lemma 5.1 of these versions, on which the proof of coherence for sesquicartesian categories relied too, is however not correct. The present version of the paper differs from the previous ones also in terminology.


title: Symmetries and reversing symmetries of toral automorphisms

abstract: Toral automorphisms, represented by unimodular integer matrices, are investigated with respect to their symmetries and reversing symmetries. We characterize the symmetry groups of GL(n,Z) matrices with simple spectrum through their connection with unit groups in orders of algebraic number fields. For the question of reversibility, we derive necessary conditions in terms of the characteristic polynomial and the polynomial invariants. We also briefly discuss extensions to (reversing) symmetries within affine transformations, to PGL(n,Z) matrices, and to the more general setting of integer matrices beyond the unimodular ones.


title: Gauge techniques in time and frequency domain TLM

abstract: Typical features of the Transmission Line Matrix (TLM) algorithm in connection with stub loading techniques and prone to be hidden in common frequency domain formulations are elucidated within the propagator approach to TLM. In particular, the latter reflects properly the perturbative character of the TLM scheme and its relation to gauge field models. Internal 'gauge' degrees of freedom are made explicit in the frequency domain by introducing the complex nodal S-matrix as a function of operators that act on external or internal fields or virtually couple the two. As a main benefit, many techniques and results gained in the time domain thus generalize straight away. The recently developed deflection method for algorithm synthesis, which is extended in this paper, or the non-orthogonal node approximating Maxwell's equations, for instance, become so at once available in the frequency domain. In view of applications in computational plasma physics, the TLM model of a relativistic charged particle current coupled to the Maxwell field is treated as a prototype.


title: Stability of $L^\infty$ solutions for hyperbolic systems with coinciding shocks and rarefactions

abstract: We consider a hyperbolic system of conservation laws u_t + f(u)_x = 0 and u(0,\cdot) = u_0, where each characteristic field is either linearly degenerate or genuinely nonlinear. Under the assumption of coinciding shock and rarefaction curves and the existence of a set of Riemann coordinates $w$, we prove that there exists a semigroup of solutions $u(t) = \mathcal{S}_t u_0$, defined on initial data $u_0 \in L^\infty$. The semigroup $\mathcal{S}$ is continuous w.r.t. time and the initial data $u_0$ in the $L^1_{\text{loc}}$ topology. Moreover $\mathcal{S}$ is unique and its trajectories are obtained as limits of wave front tracking approximations.


title: Epsilon constants and equivariant Arakelov Euler characteristics

abstract: We study equivariant Arakelov-Euler characteristics of hermitian sheaves on arithmetic varieties which support a tame action by a finite group G. The tameness of the group action allows us to produce an equivariant Arakelov-Euler characteristic in a particularly fine "projective" arithmetic class group. We then show that the equivariant Arakelov-Euler characteristics of various complexes of differentials determine the epsilon constants of the L-functions of the motives obtained from the arithmetic variety using symplectic representations of the group G. Our results may be viewed firstly as a higher dimensional version of the Cassou-Nogu\`{e}s Taylor characterization of symplectic Artin root numbers in terms of the hermitian structure of rings of integers, and secondly as a signed equivariant version of Bloch's conductor formula.


title: On the genera of X_0(N)

abstract: Let g_0(N) be the genus of the modular curve X_0(N). We record several properties of the sequence {g_0(N)}. Even though the average size of g_0(N) is 1.25N/pi^2, a random positive integer has probability zero of being a value of g_0(N). Also, if N is a random positive integer then g_0(N) is odd with probability one. The smallest non-negative integer not occuring as g_0(N) for any N is 150; the smallest such odd integer is 49267.


title: Correlation functions for symmetrized increasing subsequences

abstract: We show that the correlation functions associated to symmetrized increasing subsequence problems can be expressed as pfaffians of certain antisymmetric matrix kernels, thus generalizing the result of math.RT/9907127 for the unsymmetrized case.


title: Ergodicity of Mapping Class Group Actions on Representation Varieties, I. Closed Surfaces

abstract: We prove that the mapping class group of a closed surface acts ergodically on connected components of the representation variety corresponding to a connected compact Lie group.


title: Equivariant Resolution of Points of Indeterminacy

abstract: We prove an equivariant version of Hironaka's theorem on elimination of points of indeterminacy. Our arguments rely on canonical resolution of singularities.


title: Compactly supported wavelets and representations of the Cuntz relations, II

abstract: We show that compactly supported wavelets in L^2(R) of scale N may be effectively parameterized with a finite set of spin vectors in C^N, and conversely that every set of spin vectors corresponds to a wavelet. The characterization is given in terms of irreducible representations of orthogonality relations defined from multiresolution wavelet filters.


title: Fusion rules for the charge conjugation orbifold

abstract: We completely determine the fusion rules for the vertex operator algebra $V_L^+$ for a rank one even lattice $L$.


title: A Note on Closed Geodesics for a Class of non-compact Riemannian Manifolds

abstract: We prove the existence of multiple closed geodesics on non-compact cylindrica manifolds.


title: Multiresolution wavelet analysis of Bessel functions of scale $\nu +1$

abstract: We identify multiresolution subspaces giving rise via Hankel transforms to Bessel functions. They emerge as orthogonal systems derived from geometric Hilbert-space considerations, the same way the wavelet functions from a multiresolution scaling wavelet construction arise from a scale of Hilbert spaces. We study the theory of representations of the C*-algebra O_{\nu+1} arising from this multiresolution analysis.


title: Generalized vertex algebras generated by parafermion-like vertex operators

abstract: It is proved that for a vector space W, any set of parafermion-like vertex operators on W in a certain canonical way generates a generalized vertex algebra in the sense of [DL2] with W as a natural module. This result generalizes a result of [Li2]. As an application, generalized vertex algebras are constructed from Lepowsky-Wilson's Z-algebras of any nonzero level.


title: The second cohomology of small irreducible modules for simple algebraic groups

abstract: Let G be a simple, simply connected and connected algebraic group over an algebraically closed field of characteristic p>0, and let V be a rational G-module such that dim V <= p. According to a result of Jantzen, V is completely reducible, and H^1(G,V)=0. In this paper we show that H^2(G,V) = 0 unless some composition factor of V is a non-trivial Frobenius twist of the adjoint representation of G.