title: Homotopy theory of diagrams

abstract: In this paper we develop homotopy theoretical methods for studying diagrams. In particular we explain how to construct homotopy colimits and limits in an arbitrary model category. The key concept we introduce is that of a model approximation. Our key result says that if a category admits a model approximation then so does any diagram category with values in this category. From the homotopy theoretical point of view categories with model approximations have similar properties to those of model categories. They admit homotopy categories (localizations with respect to weak equivalences). They also can be used to construct derived functors by taking the analogs of fibrant and cofibrant replacements. A category with weak equivalences can have several useful model approximations. We take advantage of this possibility and in each situation choose one that suits our needs. In this way we prove all the fundamental properties of the homotopy colimit and limit: Fubini Theorem (the homotopy colimit -respectively limit- commutes with itself), Thomason's theorem about diagrams indexed by Grothendieck constructions, and cofinality statements. Since the model approximations we present here consist of certain functors "indexed by spaces", the key role in all our arguments is played by the geometric nature of the indexing categories.


title: A Small-Gain Theorem with Applications to Input/Output Systems, Incremental Stability, Detectability, and Interconnections

abstract: A general ISS-type small-gain result is presented. It specializes to a small-gain theorem for ISS operators, and it also recovers the classical statement for ISS systems in state-space form. In addition, we highlight applications to incrementally stable systems, detectable systems, and to interconnections of stable systems.


title: Asymptotic representation theory and Riemann-Hilbert problem

abstract: We show how the Riemann-Hilbert problem can be used to compute correlation kernels for determinantal point processes arising in different models of asymptotic combinatorics and representation theory. The Whittaker kernel and the discrete Bessel kernel are computed as examples.


title: Classical dynamical r-matrices, Poisson homogeneous spaces, and Lagrangian subalgebras

abstract: Jiang-Hua Lu showed that any dynamical r-matrix for the pair $(g,u)$ naturally induces a Poisson homogeneous structure on $G/U$. She also proved that if $g$ is complex simple, $u$ is its Cartan subalgebra and $r$ is quasitriangular, then this correspondence is in fact 1-1. In the present paper we find some general conditions under which the Lu correspondence is 1-1. Then we apply this result to describe all triangular Poisson homogeneous structures on $G/U$ for a simple complex group $G$ and its reductive subgroup $U$ containing a Cartan subgroup.


title: Heterotic String Data and Theta Functions

abstract: The data required for heterotic string theory with gauge group G, which for anomaly cancellation reasons must either be E8 x E8 or Spin(32)/Z2, consist of the following: a ten-dimensional space-time X and a principal G-bundle P. The fields in the theory consist of: a metric on X, a connection on P and a B-field which is, roughly speaking, a two-form on X. As in a gauge theory, these fields are considered up to gauge equivalence. This means that the connection is considered up to bundle isomorphism, that the metric is considered up to diffeomorphism equivalence, and that the two-form B is considered up to equivalence by adding exact two-forms. The fact that B has a gauge invariance implies that it is not in fact a globally defined two-form but rather must be given as a gerbe-like object. The purpose of this paper is to give a precise definition of the mathematical nature of the B-field following the recent work of Freed and then to work out a description of the moduli space of 8-dimensional Euclidean invariant classical solutions to the string Equations of Motion in the case when space-time is compactified along a two-torus.


title: Almost global existence for quasilinear wave equations in three space dimensions

abstract: We prove almost global existence for multiple speed quasilinear wave equations with quadratic nonlinearities in three spatial dimensions. We prove new results both for Minkowski space and also for nonlinear Dirichlet-wave equations outside of star shaped obstacles. The results for Minkowski space generalize a classical theorem of John and Klainerman. Our techniques only uses the classical invariance of the wave operator under translations, spatial rotations, and scaling. We exploit the $O(|x|^{-1})$ decay of solutions of the wave equation as opposed to the more difficult $O(|t|^{-1})$ decay. Accordingly, a key step in our approach is to prove a pointwise estimate of solutions of the wave equations that gives $O(1/t)$ decay of solutions of the inhomomogeneous linear wave equation based in terms of $O(1/|x|)$ estimates for the forcing term.


title: Nowhere-zero harmonic spinors and their associated self-dual 2-forms

abstract: Let M be a closed oriented 4-manifold, with Riemannian metric g, and a spin^C structure induced by an almost-complex structure \omega. Each connection A on the determinant line bundle induces a unique connection \nabla^A, and Dirac operator \D^A on spinor fields. Let \sigma: W^+ --> \Lambda^+ be the natural squaring map, taking self-dual (= positive) spinors to self-dual 2-forms. In this paper, we characterize the self-dual 2-forms that are images of self-dual spinor fields through \sigma. They are those \alpha for which (off zeros) c_1(\alpha) = c_1(\omega), where c_1(\alpha) is a suitably defined Chern class. We also obtain the formula: || \phi ||^2 D^A \phi = i (2 d^* \sigma(\phi) + < \nabla^A \phi, i \phi >)* \phi. Using these, we establish a bijective correspondence between: {Kahler forms \alpha compatible with a metric scalar-multiple of g, and with c_1(\alpha) = c_1(\omega)} and {gauge classes of pairs (\phi, A), with \nabla^A \phi = 0}, as well as a bijective correspondence between: {Symplectic forms \alpha compatible with a metric conformal to g, and with c_1(\alpha) = c_1(\omega)} and {gauge classes of pairs (\phi, A), with D^ A \phi = 0, and < \nabla^A \phi, i \phi > = 0, and \phi nowhere-zero}.


title: Noncommutative cohomology and electromagnetism on $C_q[SL_2]$ at roots of unity

abstract: We compute the noncommutative de Rham cohomology for the finite-dimensional q-deformed coordinate ring $C_q[SL_2]$ at odd roots of unity and with its standard 4-dimensional differential structure. We find that $H^1$ and $H^3$ have three additional modes beyond the generic $q$-case where they are 1-dimensional, while $H^2$ has six additional modes. We solve the spin-0 and Maxwell theory on $C_q[SL_2]$ including a complete picture of the self-dual and anti-self dual solutions and of Lorentz and temporal gauge fixing. The system behaves in fact like a noncompact space with self-propagating modes (i.e., in the absence of sources). We also solve with examples of `electric' and `magnetic' sources including the biinvariant element $\theta\in H^1$ which we find can be viewed as a source in the local (Minkowski) time-direction (i.e. a uniform electric charge density).


title: Affine varieties with equivalent cylinders

abstract: A well-known cancellation problem asks when, for two algebraic varieties $V_1, V_2 \subseteq {\bf C}^n$, the isomorphism of the cylinders $V_1 \times {\bf C}$ and $V_2 \times {\bf C}$ implies the isomorphism of $V_1$ and $V_2$. In this paper, we address a related problem: when the equivalence (under an automorphism of ${\bf C}^{n+1}$) of two cylinders $V_1 \times {\bf C}$ and $V_2 \times {\bf C}$ implies the equivalence of their bases $V_1$ and $V_2$ under an automorphism of ${\bf C}^n$? We concentrate here on hypersurfaces and show that this problem establishes a strong connection between the Cancellation conjecture of Zariski and the Embedding conjecture of Abhyankar and Sathaye. We settle the problem for a large class of polynomials. On the other hand, we give examples of equivalent cylinders with inequivalent bases (those cylinders, however, are not hypersurfaces). Another result of interest is that, for an arbitrary field $K$, the equivalence of two polynomials in $m$ variables under an automorphism of $K[x_1,..., x_n], n \ge m,$ implies their equivalence under a tame automorphism of $K[x_1,..., x_{2n}]$.


title: Length spectra and p-spectra of compact flat manifolds

abstract: We study the length, weak length and complex length spectrum of closed geodesics of a compact flat Riemannian manifold, comparing length-isospectrality with isospectrality of the Laplacian acting on p-forms. Using integral roots of the Krawtchouk polynomials, we give many pairs of p-isospectral flat manifolds having different lengths of closed geodesics and in some cases, different injectivity radius and different first eigenvalue. We prove a Poisson summation formula relating the p-eigenvalue spectrum with the lengths of closed geodesics. As a consequence we show that the spectrum determines the lengths of closed geodesics and, by an example, that it does not determine the complex lengths. Furthermore we show that orientability is an audible property for flat manifolds. We give a variety of examples, for instance, a pair of isospectral (resp. Sunada isospectral) manifolds with different length spectra and a pair with the same complex length spectra and not p-isospectral for any p, or else p-isospectral for only one value of p different from 0.


title: Dirac submanifolds and Poisson involutions

abstract: Dirac submanifolds are a natural generalization in the Poisson category for symplectic submanifolds of a symplectic manifold. In a certain sense they correspond to symplectic subgroupoids of the symplectic groupoid of the given Poisson manifold. In particular, Dirac submanifolds arise as the stable locus of a Poisson involution. In this paper, we provide a general study for these submanifolds including both local and global aspects. In the second part of the paper, we study Poisson involutions and the induced Poisson structures on their stable locuses. We discuss the Poisson involutions on a special class of Poisson groups, and more generally Poisson groupoids, called symmetric Poisson groups (and symmetric Poisson groupoids). Many well-known examples, including the standard Poisson group structures on semi-simple Lie groups, Bruhat Poisson structures on compact semi-simple Lie groups, and Poisson groupoids connecting with dynamical $r$-matrices of semi-simple Lie algebras are symmetric, so they admit a Poisson involution. For symmetric Poisson groups, the relation between the stable locus Poisson structure and Poisson symmetric spaces is discussed. As a consequence, we show that the Dubrovin-Ugaglia-Boalch-Bondal Poisson structure on the space of Stokes matrices $U_{+}$ appearing in Dubrovin's theory of Frobenius manifolds is indeed a Poisson symmetric space for the Poisson group $B_{+}*B_{-}$.


title: Arithmetic Multivariate Descartes' Rule

abstract: Let L be any number field or $\mathfrak{p}$-adic field and consider F:=(f_1,...,f_k) where f_i is in L[x_1,...,x_n]\{0} for all i and there are exactly m distinct exponent vectors appearing in f_1,...,f_k. We prove that F has no more than 1+(cmn(m-1)^2 log m)^n geometrically isolated roots in L^n, where c is an explicit and effectively computable constant depending only on L. This gives a significantly sharper arithmetic analogue of Khovanski's Theorem on Fewnomials and a higher-dimensional generalization of an earlier result of Hendrik W. Lenstra, Jr. for the case of a single univariate polynomial. We also present some further refinements of our new bounds and briefly discuss the complexity of finding isolated rational roots.


title: Approximating L^2-signatures by their compact analogues

abstract: :Let G be a group together with an descending nested sequence of normal subgroups G=G_0, G_1, G_2 G_3, ... of finite index [G:G_k] such the intersection of the G_k-s is the trivial group. Let (X,Y) be a compact 4n-dimensional Poincare' pair and p: (\bar{X},\bar{Y}) \to (X,Y) be a G-covering, i.e. normal covering with G as deck transformation group. We get associated $G/_k$-coverings (X_k,Y_k) \to (X,Y). We prove that sign^{(2)}(\bar{X},\bar{Y}) = lim_{k\to\infty} \frac{sign(X_k,Y_k)}{[G : G_k]}, where sign or sign^{(2)} is the signature or L^2-signature, respectively, and the convergence of the right side for any such sequence (G_k)_k is part of the statement.


title: Curvature, Covering Spaces, and Seiberg-Witten Theory

abstract: The Yamabe invariant Y(M) of a smooth compact manifold is roughly the supremum of the scalar curvatures of unit-volume constant-scalar-curvature Riemannian metrics g on M. (To be precise, one only considers those constant-scalar-curvature metrics which are Yamabe minimizers, but this technicality does not, e.g. affect the sign of the answer.) In this article, it is shown that many 4-manifolds M with Y(M) < 0 have have finite covering spaces \tilde{M} with Y(\tilde{M}) > 0.


title: Lagrangian submanifolds in Hyperkahler manifolds, Legendre transformation

abstract: We develop the foundation of the complex symplectic geometry of Lagrangian subvarieties in a hyperkahler manifold. We establish a characterization, a Chern number inequality, topological and geometrical properties of Lagrangian submanifolds. We discuss a category of Lagrangian subvarieties and its relationship with the theory of Lagrangian intersection. We also introduce and study extensively a normalized Legendre transformation of Lagrangian subvarieties under a birational transformation of projective hyperkahler manifolds. We give a Plucker type formula for Lagrangian intersections under this transformation.


title: Computing Small 1-Homological Models for Commutative Differential Graded Algebras

abstract: We use homological perturbation machinery specific for the algebra category [P. Real. Homological Perturbation Theory and Associativity. Homology, Homotopy and Applications vol. 2, n. 5 (2000) 51-88] to give an algorithm for computing the differential structure of a small 1--homological model for commutative differential graded algebras (briefly, CDGAs). The complexity of the procedure is studied and a computer package in Mathematica is described for determining such models.


title: Computation of Cohomology Operations on Finite Simplicial Complexes

abstract: We propose a method for calculating cohomology operations for finite simplicial complexes. Of course, there exist well--known methods for computing (co)homology groups, for example, the reduction algorithm consisting in reducing the matrices corresponding to the differential in each dimension to the Smith normal form, from which one can read off (co)homology groups of the complex, or the incremental algorithm (due to Edelsbrunner et al.) for computing Betti numbers. However, there is a gap in the literature concerning general methods for computing cohomology operations. For a given finite simplicial complex K, we sketch a procedure including the computation of some primary and secondary cohomology operations and the $A_{\infty}$--algebra structure on the cohomology of K. This method is based on the transcription of the reduction algorithm mentioned above, in terms of a special type of algebraic homotopy equivalences, called a contraction, of the (co)chain complex of K to a "minimal" (co)chain complex M(K). For instance, whenever the ground ring is a field or the (co)homology of K is free, then M(K) is isomorphic to the (co)homology of K. Combining this contraction with the combinatorial formulae for Steenrod reduced $p$th powers at cochain level developed in \cite{GR99} and \cite{Gon00}, these operations at cohomology level can be computed. Finally, a method for calculating Adem secondary cohomology operations $\Phi_q: Ker(Sq^2H^q(K))\ra H^{q+3}(K)/Sq^2H^q(K)$ is showed.


title: Mathematical Structures Defined by Identities

abstract: We propound the thesis that there is a limitation to the number of possible structures which are axiomatically endowed with identities involving operations. In the case of algebras with a binary operation satisfying a formally reducible (to be explained) identity between two n-iterates of the operation, it is established that the frequency of such algebras goes to zero as n tends to infinity. This is proved by a suitable ordering and labeling of the expressions (words) of the corresponding free algebra and the formation of a series of tableaux whose entries are the labels. The tableaux reveal surprising symmetry properties, stated in terms of the Catalan numbers and their partitions. As a result of the defining identity and the tableaux all iterates of order higher than n fall into equivalence classes of semantically equal ones. Classnumbers depending on the tableaux are calculated for all algebras of order n = 3 (and partially for n = 4). Certain classnumbers are invariants in the sense that for algebras of same order they are equal. Algebras with several operations of any arity are considered. A generalization of Catalan numbers depending on homorphisms of the structure is proposed and corresponding generating functions set up. As an example of this, a kind of skein polynomials are constructed characterizing the formal build-up of iterates. As no distinction is made between the various algebras, isomorphic or not, which are models of the identity the results can also be formulated in terms of varieties with signature the identity in question.


title: The syntomic regulator for K-theory of fields

abstract: We define complexes analogous to Goncharov's complexes for the K-theory of discrete valuation rings of characteristic zero. Under suitable assumptions in K-theory, there is a map from the cohomology of those complexes to the K-theory of the ring. In case the ring is the localization of the ring of integers in a number field, there are no assumptions necessary. We compute the composition of our map to the K-theory with the syntomic regulator. The result can be described in terms of a p-adic polylogarithm. Finally, we apply our theory in order to compute the regulator to syntomic cohomology on Beilinson's cyclotomic elements. The result is again given by the p-adic polylogarithm. This last result is related to one by Somekawa and generalizes work by Gros.


title: Introductory Topics in Distributions over Binary Test Functions

abstract: We note with B2 the Boole algebra with two elements. We define for the R->B2 functions the limits, the derivatives, the differentiability, the test functions, the integrals. We also define the distributions over the space of these test functions, the regular and the singular distributions, the support sets of the distributions. We also define for the RxR->{0,1} functions the test functions and the distributions over them. The direct product of the distributions is presented, as well as the convolution algebras of distributions. Generalizations of the binary test functions and of the distributions over them are given.


title: Introductory Topics in Binary Set Functions

abstract: Let X be a non-empty set and U a ring of subsets of X. The countable additive functions U->{0,1} are called measures. The paper gives some definitions (derivable measures, the Lebesgue-Stieltjes measures) and properties of these functions, its purpose being that of reconstruction of the measure theory within this frame, by analogy with the real measure theory. We mention the special case of the Riemann integrals.


title: Conformal Schwarzian derivatives and conformally invariant quantization

abstract: Let $(M,g)$ be a pseudo-Riemannian manifold. We propose a new approach for defining the conformal Schwarzian derivatives. These derivatives are 1-cocycles on the group of diffeomorphisms of $M$ related to the modules of linear differential operators. As operators, these derivatives do not depend on the rescaling of the metric $g.$ In particular, if the manifold $(M,g)$ is conformally flat, these derivatives vanish on the conformal group $\Og(p+1,q+1),$ where $\mathrm{dim} (M)=p+q.$ This work is a continuation of [1,4] where the Schwarzian derivative was defined on a manifold endowed with a projective connection.


title: The Chord Construction

abstract: Let F be a smooth plane curve of degree 3. Let \gb be an element in Pic(F)[2]-{0}. Let us define F':={\ol{p(p+\gb)}|p in F}\subset(P^2)^*. In this note we show that F' is a smooth embedding of F/\gb. Moreover, let \gb' be the generator of Pic(F)/\gb, and let p in F be a flex, then \ol{p(p+\gb)}+\gb' is a flex on F'. We present two proofs.


title: Explicit Hilbert spaces for certain unipotent representations III

abstract: We consider the groups G which arise from real semisimple Jordan algebras via the Tits-Koecher-Kantor construction. Such a G is characterized by the fact that it admits a parabolic subgroup P=LN which is conjugate to its opposite, and for which the nilradical N is abelian. In this situation, the Levi component L has a finite number of orbits on N; and each orbit carries a measure which transforms by a character under L. By Mackey theory the space of L2-functions on each orbit carries a natural irreducible unitary representation of P, and we consider the following two problems: (1) Extend this representation of P to a unitary representation of G. (2) Decompose tensor products of the resulting representations.


title: Explicit determination of the images of the Galois representations attached to abelian surfaces with End(A)=\Z

abstract: We give an effective version of a result reported by Serre asserting that the images of the Galois representations attached to an abelian surface with $\End(A)= \mathbb{Z}$ are as large as possible for almost every prime. Our algorithm depends on the truth of Serre's conjecture for two dimensional odd irreducible Galois representations. Assuming this conjecture we determine the finite set of primes with exceptional image.


title: On Cebotarev sets

abstract: In this paper we define a topology with sufficiently good properties on the set of prime ideals of a number field.


title: Modules over Iwasawa algebras

abstract: Let $p$ be a prime number, and $G$ a compact $p$-adic Lie group. We recall that the Iwasawa algebra $\Lambda(G)$ is defined to be the completed group ring of $G$ over the ring of $p$-adic integers. Interesting examples of finitely generated modules over $\Lambda(G),$ in which $G$ is the image of Galois in the automorphism group of a $p$-adic Galois representation, abound in arithmetic geometry. The study of such $\Lambda(G)$-modules arising from arithmetic geometry can be thought of as a natural generalization of Iwasawa theory. One of the cornerstones of classical Iwasawa theory is the fact that, when $G$ is the additive group of $p$-adic integers, a good structure theory for finitely generated $\Lambda(G)$-modules is known, up to pseudo-isomorphism. The aim of the present paper is to extend as much as possible of this commutative structure theory to the non-commuta tive case.


title: Computation of Galois groups associated to the 2-class towers of some quadratic fields

abstract: The $p$-group generation algorithm from computational group theory is used to obtain information about large quotients of the pro-2 group $G = \text{Gal} (k^{nr,2}/k)$ for $k = \mathbb{Q}(\sqrt{d})$ with $d = -445, -1015, -1595, -2379$. In each case we are able to narrow the identity of $G$ down to one of a finite number of explicitly given finite groups. From this follow several results regarding the corresponding 2-class tower. This is a revised version of ANT-0302.


title: The homology of string algebras I

abstract: We show that string algebras are `homologically tame' in the following sense: First, the syzygies of arbitrary representations of a finite dimensional string algebra $\Lambda$ are direct sums of cyclic representations, and the left finitistic dimensions, both little and big, of $\Lambda$ can be computed from a finite set of cyclic left ideals contained in the Jacobson radical. Second, our main result shows that the functorial finiteness status of the full subcategory $\Cal P$ consisting of the finitely generated left $\Lambda$-modules of finite projective dimension is completely determined by a finite number of, possibly infinite dimensional, string modules -- one for each simple $\Lambda$-module -- which are algorithmically constructible from quiver and relations of $\Lambda$. Namely, $\Cal P$ is contravariantly finite in $\Lambda$-mod precisely when all of these string modules are finite dimensional, in which case they coincide with the minimal $\Cal P$-approximations of the corresponding simple modules. Yet, even when $\Cal P$ fails to be contravariantly finite, these `characteristic' string modules encode, in an accessible format, all desirable homological information about $\Lambda$-mod.


title: Topology on the spaces of orderings of groups

abstract: A natural topology on the space of left orderings of an arbitrary semi-group is introduced. It is proved that this space is compact and that for free abelian groups it is homeomorphic to the Cantor set. An application of this result is a new proof of the existence of universal Grobner bases.


title: Flexible polyhedra in the Minkowski 3-space

abstract: Given a polyhedral surface, assume that it is prohibited to change the shape and size of any face but it is permissible to change the dihedral angles between the faces. A polyhedral surface is said to be flexible if it is possible to change its shape under the above restrictions. We prove that flexible polyhedral surfaces without boundary do exist in the Minkowski 3-space and each of them preserves the (inclosed) volume and the (total) mean curvature during a flex. To prove the latter result, we introduce the notion of the angle between two arbitrary non-null nonzero vectors in the Minkowski plane. The latter notion may be of some independent interest.


title: About periodic solutions of a planar system modelling neural activity

abstract: We derived explicit symbolic expressions for the first, second, and third Lyapunov coefficients of the complex focus of a planar system modelling activity of a neural network. The analysis of these expressions allowed us to obtain new results about the number and location of limit cycles in the model.


title: Cherednik algebras and differential operators on quasi-invariants

abstract: We develop representation theory of the rational Cherednik algebra H associated to a finite Coxeter group W in a vector space h. It is applied to show that, for integral values of parameter `c', the algebra H is simple and Morita equivalent to D(h)#W, the cross product of W with the algebra of polynomial differential operators on h. We further study an algebra Q of quasi-invariant polynomials on h introduced by Chalykh, Feigin, and Veselov [CV], [FV], such that C[h]^W \subset Q \subset C[h]. We prove that the algebra D(Q) of differential operators on quasi-invariants is a simple algebra, Morita equivalent to D(h). The subalgebra D(Q)^W of W-invariant operators turns out to be isomorphic to the spherical subalgebra eHe \subset H. We also show that D(Q) is generated, as an algebra, by Q and its `Fourier dual Q*, and that D(Q) is a rank one projective (Q-Q*)-module (via multiplication-action on D(Q) on opposite sides).


title: Appendix to a paper of Maisner and Nart

abstract: We prove that there is no genus-2 curve over F_q whose Jacobian has characteristic polynomial of Frobenius equal to x^4 + (1 - 2q) x^2 + q^2. Maisner and Nart had observed (by direct computation) that this was true for all q less than 65.


title: Curves and line bundles on Del Pezzo surfaces

abstract: We extend the results of Pareschi on the constancy of the gonality and Clifford index of smooth curves in a complete linear system on Del Pezzo surfaces of degrees $\geq 2$ to the case of Del Pezzo surfaces of degree 1, where we explicitly classify the cases where the gonality and Clifford index are not constant. We also classify all cases of exceptional curves on Del Pezzo surfaces, which turn out to be the smooth plane curves and some other cases with Clifford dimension 3. Moreover, the property of being exceptional holds for all curves in the complete linear system. Furthermore, we relate the Clifford index and gonality of smooth curves in $|L|$ to the higher order embedding properties of $|L+K_S|$. More precisely, we show that for a nef line bundle $L$ on a Del Pezzo surface, $L+K_S$ is birationally $k$-very ample if and only if all the smooth curves in $|L|$ have gonality $\geq k+2$, and we also find numerical criteria for birational $k$-very ampleness.


title: Spin in the q-Deformed Poincare Algebra

abstract: We investigate spin as algebraic structure within the q-deformed Poincare algebra, proceeding in the same manner as in the undeformed case. The q-Pauli-Lubanski vector, the q-spin Casimir, and the q-little algebras for the massless and the massive case are constructed explicitly.


title: Notes on universal algebra

abstract: These are notes of a mini-course given at Dennisfest in June 2001. The goal of these notes is to give a self-contained survey of deformation quantization, operad theory, and graph homology. Some new results related to "String Topology" and cacti are announced in Section 2.7.


title: Involutions of double affine Hecke algebras

abstract: The main aim of the paper is to formulate and prove a result about the structure of double affine Hecke algebras which allows its two commutative subalgebras to play a symmetric role. This result is essential for the theory of intertwiners of double affine Hecke algebras.


title: Sample path properties of the stochastic flows

abstract: We consider a stochastic flow driven by a finite dimensional Brownian motion. We show that almost every realization of such a flow exhibits strong statistical properties such as the exponential convergence of an initial measure to the equilibrium state and the central limit theorem. The proof uses new estimates of the mixing rates of the multipoint motion.


title: Spacing of zeros of Hecke L-functions and the class number problem

abstract: We derive strong and effective lower bounds for the class number h(q) of the imaginary quadratic field Q(\sqrt{-q}), conditionally subject to the existence of many small (subnormal) gaps between zeros of the L-function associated with a character of the class group associated with this field. In particular, we prove that if the gap between consecutive zeros of the L-function is somewhat smaller than the average for sufficiently many pairs of zeros on the critical line, then h >> \sqrt q (log q)^{-A} for some constant A > 0. For the trivial character, the L-function is the Dedekind zeta-function of the number field and so contains the Riemann zeta-function as a factor. Thus, as a corollary to our main result, we prove that this lower bound for h follows from the hypothesis that there are sufficiently many pairs of adjacent zeros of the Riemann zeta-function on the critical line whose spacing is slightly smaller than 1/2 of the average spacing.


title: Real zeros of quadratic Dirichlet L-functions

abstract: We show that for a positive proportion of real primitive Dirichlet characters chi, the associated Dirichlet L-function L(s,chi) has no zeros on the positive real axis. Prior to this it was not known whether or not there were infinitely many L-functions (from any family) with no positive real zeros.


title: Conservation Laws in Cellular Automata

abstract: If X is a discrete abelian group and B a finite set, then a cellular automaton (CA) is a continuous map F:B^X-->B^X that commutes with all X-shifts. If g is a real-valued function on B, then, for any b in B^X, we define G(b) to be the sum over all x in X of g(b_x) (if finite). We say g is `conserved' by F if G is constant under the action of F. We characterize such `conservation laws' in several ways, deriving both theoretical consequences and practical tests, and provide a method for constructing all one-dimensional CA exhibiting a given conservation law.


title: Subspaces with equal closure

abstract: We take a unifying and new approach toward polynomial and trigonometric approximation in an arbitrary number of variables, resulting in a precise and general ready-to-use tool that anyone can easily apply in new situations of interest. The key idea is to show, in considerable generality, that a module, which is generated over the polynomials or trigonometric functions by some set, necessarily has the same closure as the module which is generated by this same set, but now over the compactly supported smooth functions. The particular properties of the ambient space or generating set are to a large degree irrelevant. This translation -- which goes in fact beyond modules -- allows us, by what is now essentially a straightforward check of a few properties, to replace many classical results by more general and stronger statements of a hitherto unknown type. As a side result, we also obtain a new integral criterion for multidimensional measures to be determinate. At the technical level, we use quasi-analytic classes in several variables and we show that two well-known families of one-dimensional weights are essentially equal. The method can be formulated for Lie groups and this interpretation shows that many classical approximation theorems are "actually" theorems on the unitary dual of n-dimensional real space. Polynomials then correspond to the universal enveloping algebra.


title: Boundary volume and length spectra of Riemannian manifolds: What the middle degree Hodge spectrum doesn't reveal

abstract: Let $M$ be a $2m$-dimensional compact Riemannian manifold. We show that the spectrum of the Hodge Laplacian acting on $m$-forms does not determine whether the manifold has boundary, nor does it determine the lengths of the closed geodesics. Among the many examples are a projective space and a hemisphere that have the same Hodge spectrum on 1-forms, and hyperbolic surfaces, mutually isospectral on 1-forms, with different injectivity radii. The Hodge $m$-spectrum also does not distinguish orbifolds from manifolds.


title: Any smooth plane quartic can be reconstructed from its bitangents

abstract: In this paper, we present two related results on curves of genus 3. The first gives a bijection between the classes of the following objects: * Smooth non-hyperelliptic curves C of genus 3, with a choice of an element a in Jac(C)[2]-{0}, such that the cover C/|K_C+a|^* does not have an intermediate factor; up to isomorphism. * Plane curves E,Q in P^2 and an element in b' in Pic(E)[2]-{0}, where E,Q are of degrees 3,2, the curve E is smooth and Q,E intersect transversally ; up to projective transformations. We discuss the degenerations of this bijection, and give an interpretation of the bijection in terms of Abelian varieties. Next, we give an application of this correspondence: An EXPLICIT proof of the reconstructability of ANY smooth plane quartic from its bitangents.


title: Twisted Vertex Operators and A-D-E Representations

abstract: In this paper, we study the algebra of twisted vertex operators over an even integral ${\mathbf Z}_2$-lattice, and give a kind of systematic construction of fundamental representations for affine Lie algebras of type $A$, $D$, $E$ with their irreducible decompositions.


title: Determinate multidimensional measures, the extended Carleman theorem and quasi-analytic weights

abstract: We prove in a direct fashion that a multidimensional probability measure is determinate if the higher dimensional analogue of Carleman's condition is satisfied. In that case, the polynomials, as well as certain proper subspaces of the trigonometric functions, are dense in the associated L_p spaces for all finite p. In particular these three statements hold if the reciprocal of a quasi-analytic weight has finite integral under the measure. We give practical examples of such weights, based on their classification. As in the one dimensional case, the results on determinacy of measures supported on R^n lead to sufficient conditions for determinacy of measures supported in a positive convex cone, i.e. the higher dimensional analogue of determinacy in the sense of Stieltjes.


title: Fisher Information inequalities and the Central Limit Theorem

abstract: We give conditions for an O(1/n) rate of convergence of Fisher information and relative entropy in the Central Limit Theorem. We use the theory of projections in L2 spaces and Poincare inequalities, to provide a better understanding of the decrease in Fisher information implied by results of Barron and Brown. We show that if the standardized Fisher information ever becomes finite then it converges to zero.


title: A conditional Entropy Power Inequality for dependent variables

abstract: We provide a condition under which a version of Shannon's Entropy Power Inequality will hold for dependent variables. We provide information inequalities extending those found in the independent case.


title: Some remarks on q-deformed multiple polylogarithms

abstract: We introduce general q-deformed multiple polylogarithms which even in the dilogarithm case differ slightly from the deformation usually discussed in the literature. The merit of the deformation as suggested, here, is that q-deformed multiple polylogarithms define an algebra, then (as in the undeformed case). For the special case of q-deformed multiple zeta-values, we show that there exists even a noncommutative and noncocommutative Hopf algebra structure which is a deformation of the commutative Hopf algebra structure which one has in the classical case. Finally, we discuss the possible correspondence between q-deformed multiple polylogarithms and a noncommutative and noncocommutative self-dual Hopf algebra recently introduced by the author as a quantum analog of the Grothendieck-Teichmueller group.


title: Laplace and Schr\"odinger operators on regular metric trees: the discrete spectrum case

abstract: The Schr\"odinger operator on a metric tree is a family of ordinary differential operators on its edges complemented by certain matching conditions at the vertices. The regular trees are highly symmetric. This allows one to construct an orthogonal decomposition of the space L_2 on the tree which reduces the Schr\"odinger operator with any symmetric weight. Using this decomposition, we analyse the spectrum of such operators, including the free Laplacian, under various assumptions about the tree and the potential.


title: Approximate Distribution of Hitting Probabilities for a Regular Surface with Compact Support in 2D

abstract: Generalizing the well-known relations on characteristic functions on a plane to the case of a one-dimensional regular surface (curve) with compact support, we establish implicit equations for these functions. Introducing an approximation, we solve the combinatorial problems and reduce these equations to a set of linear equations for a finite number of unknown functions. Imposing natural conditions, we obtain a closed system of linear equations which can be solved for a given surface. Its solutions can be used to calculate the distribution of hitting probabilities for a regular surface with compact support. In order to verify the accuracy of the approximate distribution of hitting probabilities, numerical analysis is being made for a chosen surface.


title: Amenability and co-amenability of algebraic quantum groups

abstract: We define concepts of amenability and co-amenability for algebraic quantum groups in the sense of A. Van Daele. We show that co-amenability of an algebraic quantum group always implies amenability of its dual. Various necessary and/or sufficient conditions for amenability or co-amenability are obtained. Co-amenability is shown to have interesting consequences for the modular theory in the case that the algebraic quantum group is of compact type.


title: Amenability and co-amenability of algebraic quantum groups II

abstract: We continue our study of the concepts of amenability and co-amenability for algebraic quantum groups in the sense of A. Van Daele and our investigation of their relationship with nuclearity and injectivity. One major tool for our analysis is that every non-degenerate *-representation of the universal C*-algebra associated to an algebraic quantum qroup has a unitary generator which may be described in a concrete way.


title: On amenability and co-amenability of algebraic quantum groups and their corepresentations

abstract: We introduce and study several amenability properties for unitary corepresentations and *-representations of algebraic quantum groups, which may be used to characterize amenability or co-amenability of such groups. As a background for this study, we also investigate the involved tensor C*-categories.


title: A topological obstruction to existence of quaternionic Plucker map

abstract: We prove the following statement motivated by the quaternionic linear algebra: there is no continuous map from the quaternionic Grassmannian to the quaternionic projective space such that the pull back of the first Pontryagin class of the tautological bundle over the projective space is equal to the first Pontryagin class of the tautological bundle over the Grassmannian.


title: Canonical rings of surfaces whose canonical system has base points

abstract: In this paper we propose an approach to investigate the canonical rings of surfaces of general type whose canonical system has isolated base points and yields a birational map onto its image. We apply then the method in the concrete case of surfaces with $K^2=7$ and $p_g=4$, where we give three different descriptions of the canonical ring (under the presence of base points). The main result in the paper consists in showing an explicit deformation of the above canonical rings to the canonical rings of surfaces whose canonical system has no base points (the latter were already classified by the second author). That such a deformation should exist was claimed by F. Enriques and holds true by abstract deformation theory and dimension counts. Our deformation is explicitly gotten by writing the equations of the canonical ring as the (4x4)-Pfaffians of an antisymmetric and extrasymmetric (6x6)-matrix. Deforming the matrix, we get, for $t \neq 0$, that the Pfaffians reduce to the (4x4)-Pfaffians of an antisymmetric (5x5)-matrix. This type of deformation of a Gorenstein ring of codimension 4 to a Gorenstein ring of codimension 3 had already been introduced by Duncan Dicks and Miles Reid.


title: Applications of Commutator-Type Operators to $p$-Groups

abstract: For a p-group G admitting an automorphism $\phi$ of order $p^n$ with exactly $p^m$ fixed points such that $\phi^{p^{n-1}}$ has exactly $p^k$ fixed points, we prove that G has a fully-invariant subgroup of m-bounded nilpotency class with $(p,n,m,k)$-bounded index in G. We also establish its analogue for Lie p-rings. The proofs make use of the theory of commutator-type operators.


title: Range characterization of the cosine transform on higher Grassmannians

abstract: We characterize the range of the cosine transform on real Grassmannians in terms of the decomposition under the action of the special orthogonal group SO(n). Also a geometric interpretation of its image is given. The non- Archimedean analogues are discussed.


title: Additivity of Bridge Number of Knots

abstract: We provide a new proof of the following results of H. Schubert: If K is a satellite knot with companion J and pattern L that lies in a solid torus T in which it has index k, then the bridge numbers satisfy the following: 1) The bridge number of K is greater than or equal to the product of k and the bridge number of J; 2) If K is a composite knot (this is the case k = 1), then the bridge number of K is one less than the sum of the bridge numbers of J and L.


title: Complex crowns of Riemannian symmetric spaces and non-compactly causal symmetric spaces

abstract: In this paper we define a distinguished boundary for the complex crowns $\Xi\subeq G_\C /K_\C$ of non-compact Riemannian symmetric spaces $G/K$. The basic result is that affine symmetric spaces of $G$ can appear as a component of this boundary if and only if they are non-compactly causal symmetric spaces.


title: Generalized domino-shuffling

abstract: The problem of counting tilings of a plane region using specified tiles can often be recast as the problem of counting (perfect) matchings of some subgraph of an Aztec diamond graph A_n, or more generally calculating the sum of the weights of all the matchings, where the weight of a matching is equal to the product of the (pre-assigned) weights of the constituent edges (assumed to be non-negative). This article presents efficient algorithms that work in this context to solve three problems: finding the sum of the weights of the matchings of a weighted Aztec diamond graph A_n; computing the probability that a randomly-chosen matching of A_n will include a particular edge (where the probability of a matching is proportional to its weight); and generating a matching of A_n at random. The first of these algorithms is equivalent to a special case of Mihai Ciucu's cellular complementation algorithm and can be used to solve many of the same problems. The second of the three algorithms is a generalization of not-yet-published work of Alexandru Ionescu, and can be employed to prove an identity governing a three-variable generating function whose coefficients are all the edge-inclusion probabilities; this formula has been used as the basis for asymptotic formulas for these probabilities, but a proof of the generating function identity has not hitherto been published. The third of the three algorithms is a generalization of the domino-shuffling algorithm described by Elkies, Kuperberg, Larsen and Propp; it enables one to generate random ``diabolo-tilings of fortresses'' and thereby to make intriguing inferences about their asymptotic behavior.


title: Four-Weight Spin Models and Jones Pairs

abstract: We introduce and discuss Jones pairs. These provide a generalization and a new approach to the four-weight spin models of Bannai and Bannai. We show that each four-weight spin model determines a ``dual'' pair of association schemes.


title: Fluctuations in the composite regime of a disordered growth model

abstract: We continue to study a model of disordered interface growth in two dimensions. The interface is given by a height function on the sites of the one--dimensional integer lattice and grows in discrete time: (1) the height above the site $x$ adopts the height above the site to its left if the latter height is larger, (2) otherwise, the height above $x$ increases by 1 with probability $p_x$. We assume that $p_x$ are chosen independently at random with a common distribution $F$, and that the initial state is such that the origin is far above the other sites. Provided that the tails of the distribution $F$ at its right edge are sufficiently thin, there exists a nontrivial composite regime in which the fluctuations of this interface are governed by extremal statistics of $p_x$. In the quenched case, the said fluctuations are asymptotically normal, while in the annealed case they satisfy the appropriate extremal limit law.


title: Asymptotics of the Fourier and Laplace transforms in weighted spaces of analytic functions

abstract: We study the asymptotics near the origin of the Fourier transform in weighted Hardy spaces of analytic functions in the upper half-plane, and of the Laplace transform in weighted spaces of entire functions of zero exponential type. These results are applied to two closely related problems posed by E. Dyn'kin: we find the asymptotics of the depth of zero in non-quasianalytic Denjoy-Carleman classes, and of the exact Levinson-Sjoberg majorant.


title: An inequality for the h-invariant in instanton Floer theory

abstract: In math.DG/9903083 (henceforth referred to as EA) we defined an integer invariant $h(Y)$ for oriented integral homology 3-spheres $Y$ which only depends on the rational homology cobordism class of $Y$ and is additive under connected sums. In this paper we establish lower bounds for $h(Y)$ when $Y$ is the boundary of a smooth, compact, oriented 4-manifold with $b_2^+=1$. As applications, we give an upper bound for how much $h$ changes under -1 surgery on knots in terms of the slice genus of the knot, and compute $h$ for a family of Brieskorn spheres. This paper contains, in revised form, most of the material from v1 of EA that was left out in the final version of that paper. In particular, Theorem 1 of the present paper is virtually the same as Theorem 1 of v1 of EA. The proof is also essentially the same, but the exposition has been improved, with more details.


title: Lines on algebraic varieties

abstract: A variety $X$ is covered by lines if there exist a finite number of lines contained in $X$ passing through each general point. I prove two theorems. Theorem 1:Let $X^n\subset P^M$ be a variety covered by lines. Then there are at most $n!$ lines passing through a general point of $X$. Theorem 2:Let $X^n\subsetP^{n+1}$ be a hypersurface and let $x\in X$ be a general point. If the set of lines having contact to order $k$ with $X$ at $x$ is of dimension greater than expected, then the lines having contact to order $k$ are actually contained in $X$.


title: Resultants and Chow forms via Exterior Syzygies

abstract: Given a sheaf on a projective space P^n we define a sequence of canonical and easily computable Chow complexes on the Grassmannians of planes in P^n, generalizing the Beilinson monad on P^n. If the sheaf has dimension k, then the Chow form of the associated k-cycle is the determinant of the Chow complex on the Grassmannian of planes of codimension k+1. Using the theory of vector bundles and the canonical nature of the complexes we are able to give explicit determinantal and Pfaffian formulas for resultants in some cases where no polynomial formulas were known. For example, the Horrocks-Mumford bundle gives rise to a polynomial formula for the resultant of five homogeneous forms of degree eight in five variables.


title: Francia's flip and derived categories

abstract: We extend some of the results of Bondal-Orlov on the equivalence of derived categories to the case of orbifolds by using the category of coherent orbifold sheaves.


title: Quantum groups, differential calculi and the eigenvalues of the Laplacian

abstract: We study *-differential calculi over compact quantum groups in the sense of S.L. Woronowicz. Our principal results are the construction of a Hodge operator commuting with the Laplacian, the derivation of a corresponding Hodge decomposition of the calculus of forms, and, for Woronowicz' first calculus, the calculation of the eigenvalues of the Laplacian


title: On the images of modular and geometric three-dimensional Galois represetations

abstract: We address the problem of the determination of the images of three-dimensional geometric and modular Galois representations. In the modular case the existence of these representations is only conjectural. We give conditions to ensure that the images are as large as possible for almost every prime. We compute some examples and stress the applications to inverse Galois theory.


title: Singularites symplectiques

abstract: Soit (V,o) une singularit\'e symplectique isol\'ee de dimension au moins 6 et soit p : $X\longrightarrow V$ l'\'eclatement normalis\'e de o dans V. On suppose que le diviseur $p^{-1}(o)$ est r\'eduit, globalement \`a croisements normaux et qu'il a au moins deux composantes irr\'eductibles. Alors (V,o) est analytiquement isomorphe au quotient de l'espace affine par le groupe cyclique d'ordre 3 pour une action convenable de celui-ci. Le cas o\`u le lieu exceptionnel n'a qu'une seule composante irr\'eductible est traite par Beauville (Symplectic singularities, Invent. Math., 139 (2000))


title: Larson-Sweedler Theorem and the Role of Grouplike Elements in Weak Hopf Algebras

abstract: We extend the Larson-Sweedler theorem to weak Hopf algebras by proving that a finite dimensional weak bialgebra is a weak Hopf algebra iff it possesses a non-degenerate left integral. We show that the category of modules over a weak Hopf algebra is autonomous monoidal with semisimple unit and invertible modules. We also reveal the connection of invertible modules to left and right grouplike elements in the dual weak Hopf algebra. Defining distinguished left and right grouplike elements we derive the Radford formula for the fourth power of the antipode in a weak Hopf algebra and prove that the order of the antipode is finite up to an inner automorphism by a grouplike element in the trivial subalgebra A^T of the underlying weak Hopf algebra A.


title: Adiabatic decomposition of the zeta-determinant and Scattering theory

abstract: We discuss the decomposition of the zeta-determinant of the square of the Dirac operator into contributions coming from the different parts of the manifold. The easy case was worked in the previous paper of authors. Due to the assumptions made on the operators in the previous paper, we were able to avoid the presence of the small eigenvalues which provide the large time contibution to the determinant. In the present work we analyze the general case. We offer a detailed analysis of the contribution made by the small eigenvalues.


title: Hilbert schemes and W algebras

abstract: We construct geometrically the generating fields of a W algebra which acts irreducibly on the direct sum of the cohomology rings of the Hilbert schemes of n points on a projective surface for all n. We compute explicitly the commutators among a set of linear basis elements of the W algebra, and identify this algebra with a $W_{1+\infty}$-type algebra. A precise formula of certain Chern character operators, which is essential for the construction of the W algebra, is established in terms of the Heisenberg algebra generators. In addition, these Chern character operators are proved to be the zero-modes of vertex operators.


title: Directed homotopy theory, I. The fundamental category

abstract: Directed Algebraic Topology is beginning to emerge from various applications. The basic structure we shall use for such a theory, a 'd-space', is a topological space equipped with a family of 'directed paths', closed under some operations. This allows for 'directed homotopies', generally non reversible, represented by a cylinder and cocylinder functors. The existence of 'pastings' (colimits) yields a geometric realisation of cubical sets as d-spaces, together with homotopy constructs which will be developed in a sequel. Here, the 'fundamental category' of a d-space is introduced and a 'Seifert - van Kampen' theorem proved; its homotopy invariance rests on 'directed homotopy' of categories. In the process, new shapes appear, for d-spaces but also for small categories, their elementary algebraic model. Applications of such tools are briefly considered or suggested, for objects which model a directed image, or a portion of space-time, or a concurrent process.


title: Presheaves of triangulated categories and reconstruction of schemes

abstract: To any triangulated category with tensor product $(K,\otimes)$, we associate a topological space $Spc(K,\otimes)$, by means of thick subcategories of $K$, a la Hopkins-Neeman-Thomason. Moreover, to each open subset $U$ of $Spc(K,\otimes)$, we associate a triangulated category $K(U)$, producing what could be thought of as a presheaf of triangulated categories. Applying this to the derived category $(K,\otimes):=(D^{perf}(X),\otimes^L)$ of perfect complexes on a noetherian scheme $X$, the topological space $Spc(K,\otimes)$ turns out to be the underlying topological space of $X$; moreover, for each open $U\subset X$, the category $K(U)$ is naturally equivalent to $D^{perf}(U)$. As an application, we give a method to reconstruct any reduced noetherian scheme $X$ from its derived category of perfect complexes $D^{perf}(X)$, considering the latter as a tensor triangulated category with $\otimes^L$.


title: Growth of maps, distortion in groups and symplectic geometry

abstract: In the present paper we study two sequences of real numbers associated to a symplectic diffeomorphism: the uniform norm of the differential of its n-th iteration and the word length of its n-th iteration. In the latter case we assume that our diffeomorphism lies in a finitely generated group of symplectic diffeomorphisms. We find lower bounds on the growth rates of these sequences in a number of situations. These bounds depend on the symplectic geometry of the manifold rather than on the specific choice of a diffeomorphism. They are obtained by using recent results of Schwarz on Floer homology. Applications to the Zimmer program are presented. We prove non-existence of certain non-linear symplectic representations for finitely generated groups including some lattices and Baumslag-Solitar groups.


title: On Algebraic Hyperbolicity of Log Varieties

abstract: Fix a very general hypersurface D in P^n of degree at least 2n + 1 and we show that the complement P^n - D does not contain any algebraic torus C^*.


title: On the Canonical Ring of Covers of Surfaces of Minimal Degree

abstract: Let f be a generically finite morphism from X to Y. The purpose of this paper is to show how the O_Y algebra structure on the push forward of O_X controls algebro-geometric aspects of X like the ring generation of graded rings associated to X and the very ampleness of line bundles on X. As the main application of this we prove some new results for certain regular surfaces X of general type. Precisely, we find the degrees of the generators of the canonical ring of X when the canonical morphism of X is a finite cover of a surface of minimal degree. These results complement results of Ciliberto [Ci] and Green [G]. The techniques of this paper also yield different proofs of some earlier results, such as Noether's theorem for certain kinds of curves and some results on Calabi-Yau threefolds that had appeared in [GP2].


title: Around Hilbert-Arnold Problem

abstract: This lectures notes consists of four lectures. The first lecture discusses questions around Hilbert-Arnold Problem which is naturally arises from Quantitative Hilbert 16-th problem. In the second lecture we outline author's solution of a weak form of Local Hilbert-Arnold Problem. This solution provides an independent proof of Ilyashenko-Yakovenko Finiteness Theorem. The third lecture discusses question of existence of a_P-stratification of Thom and presents a simple geometric proof of existence of such a stratification for polynomial functions, which was originally proven by Hironaka. The forth lecture gives application of Grigoriev-Yakovenko's construction to the problem of growth of the number of periodic points and the problem of bifurcation of spacial polycycles. The latter problem naturally generalizes Local Hilbert-Arnold Problem.


title: A geometric approach to Standard Monomial Theory

abstract: We obtain a geometric construction of a ``standard monomial basis'' for the homogeneous coordinate ring associated with any ample line bundle on any flag variety. This basis is compatible with Schubert varieties, opposite Schubert varieties, and unions of intersections of these varieties. Our approach relies on vanishing theorems and a degeneration of the diagonal ; it also yields a standard monomial basis for the multi-homogeneous coordinate rings of flag varieties of classical type.


title: Regularity of certain vertex operator algebras with two generators

abstract: For every $m \in {\C} \setminus \{0, -2\}$ and every nonnegative integer $k$ we define the vertex operator (super)algebra $D_{m,k}$ having two generators and rank $ \frac{3 m}{m + 2}$. If $m$ is a positive integer then $D_{m,k}$ can be realized as a subalgebra of a lattice vertex algebra. In this case, we prove that $D_{m,k}$ is a regular vertex operator (super)algebra and find the number of inequivalent irreducible modules.


title: Cohomogeneity-one G2-structures

abstract: G2-manifolds with a cohomogeneity-one action of a compact Lie group G are studied. For G simple, all solutions with holonomy G2 and weak holonomy G2 are classified. The holonomy G2 solutions are necessarily Ricci-flat and there is a one-parameter family with SU(3)-symmetry. The weak holonomy G2 solutions are Einstein of positive scalar curvature and are uniquely determined by the simple symmetry group. During the proof the equations for G2-symplectic and G2-cosymplectic structures are studied and the topological types of the manifolds admitting such structures are determined. New examples of compact G2-cosymplectic manifolds and complete G2-symplectic structures are found.


title: Reshetikhin-Turaev invariants of Seifert 3-manifolds and a rational surgery formula

abstract: We calculate the RT-invariants of all oriented Seifert manifolds directly from surgery presentations. We work in the general framework of an arbitrary modular category as in [V. G. Turaev, Quantum invariants of knots and 3--manifolds, de Gruyter Stud. Math. 18, Walter de Gruyter (1994)], and the invariants are expressed in terms of the S- and T-matrices of the modular category. In another direction we derive a rational surgery formula, which states how the RT-invariants behave under rational surgery along framed links in arbitrary closed oriented 3-manifolds with embedded colored ribbon graphs. The surgery formula is used to give another derivation of the RT-invariants of Seifert manifolds with orientable base.


title: Self-Adjunctions and Matrices

abstract: It is shown that the multiplicative monoids of Temperley-Lieb algebras generated out of the basis are isomorphic to monoids of endomorphisms in categories where an endofunctor is adjoint to itself. Such a self-adjunction is found in a category whose arrows are matrices, and the functor adjoint to itself is based on the Kronecker product of matrices. This self-adjunction underlies the orthogonal group case of the Brauer representation of the Brauer centralizer algebra.


title: Nouvelles statistiques de partitions pour les q-nombres de Stirling de seconde espece

abstract: Steingrimsson has recently introduced a partition analogue of Foata-Zeilberger's mak statistic for permutations and conjectured that its generating function is equal to the classical q-Stirling numbers of second kind. In this paper we prove a generalization of Steingrimsson's conjecture.


title: The Lie algebra structure on the first Hochschild cohomology group of a monomial algebra

abstract: We study the Lie algebra structure of the first Hochschild cohomology group of a finite dimensional monomial algebra A, in terms of the combinatorics of its quiver, in any characteristic. This allows us also to examine the identity component of the algebraic group of outer automorphisms of A in characteristic zero. Criteria for the (semi-)simplicity, the solvability, the reductivity, the commutativity and the nilpotency are given.


title: Abstraction and Application in Adjunction

abstract: The postulates of comprehension and extensionality in set theory are based on an inversion principle connecting set-theoretic abstraction and the property of having a member. An exactly analogous inversion principle connects functional abstraction and application to an argument in the postulates of the lambda calculus. Such an inversion principle arises also in two adjoint situations involving a cartesian closed category and its polynomial extension. Composing these two adjunctions, which stem from the deduction theorem of logic, produces the adjunction connecting product and exponentiation, i.e. conjunction and implication.


title: The universal Euler characteristic for varieties of characteristic zero

abstract: Using the weak factorization theorem we give a simple presentation for the value group of the universal Euler characteristic with compact support for varieties of characteristic zero and describe the value group of the universal Euler characteristic of pairs. This gives a new proof for the existence of natural Euler characteristics with values in the Grothendieck group of Chow motives. A generalization of the presentation to the relative setting allows us to define duality and the six operations.


title: The dynamical zeta function and transfer operators for the Kac-Baker model

abstract: The Kac-Baker model describes a 1-dim. classical lattice spin system with exponentially fast decaying two body interaction. The model was introduced by M. Kac and G. Baker to investigate the phenomenon of phase transition in systems with weak long-range interactions like van der Waals gas. Ruelle's dynamical zeta function for this model can be expressed in terms of Fredholm determinants of two transfer operators and hence is a meromorphic function. One of the two operators, found by M. Kac, is an integral operator with symmetric kernel acting in the Hilbert space of square integrable functions on the line. The other one is Ruelle's transfer operator acting in some Banach space of holomorphic observables of the system. In this paper we show how the Kac operator can be explicitly related basically through the Segal-Bargmann transform to the Ruelle operator restricted to a certain Segal-Bargmann space of entire functions in the complex plane. This allows us to show that Ruelle's zeta function for the Kac-Baker model has infinitely many "non-trivial" zeros on the real axis. In a special case we can show the existence of also infinitely many "trivial" zeros on the line Re s = ln 2 in the complex s-plane. Hence some kind of Riemann hypothesis seems to hold for this dynamical zeta function.


title: The signature of a toric variety

abstract: We identify a combinatorial quantity (the alternating sum of the h-vector) defined for any simple polytope as the signature of a toric variety. This quantity was introduced by Charney and Davis in their work, which in particular showed that its non-negativity is closely related to a conjecture of Hopf on the Euler characteristic of a non-positively curved manifold. We prove positive (or non-negative) lower bounds for this quantity under geometric hypotheses on the polytope. These hypotheses lead to ampleness (or weaker conditions) for certain line bundles on toric divisors, and then the lower bounds follow from calculations using the Hirzebruch Signature Formula. Moreoever, we show that under these hypotheses on the polytope, the i-th L-class of the corresponding toric variety is (-1)^i times an effective class for any i.


title: Observations on Lickorish knotting of contractible 4-manifolds

abstract: Lickorish has constructed large families of contractible 4--manifolds that have knotted embeddings in the 4--sphere and has also shown that every finitely presented perfect group with balanced presentation occurs as the fundamental group of the complement of a knotted contractible manifold. Here we make a few observations regarding Lickorish's construction, showing how to extend it to construct contractible 4--manifolds which have an infinite number of knotted embeddings and also to construct knotted embeddings of the Mazur manifold for which the complement has trivial fundamental group.


title: $K_0$ of purely infinite simple regular rings

abstract: We extend the notion of a purely infinite simple C*-algebra to the context of unital rings, and we study its basic properties, specially those related to K-Theory. For instance, if $R$ is a purely infinite simple ring, then $K_0(R)^+= K_0(R)$, the monoid of isomorphism classes of finitely generated projective $R$-modules is isomorphic to the monoid obtained from $K_0(R)$ by adjoining a new zero element, and $K_1(R)$ is the abelianization of the group of units of $R$. We develop techniques of construction, obtaining new examples in this class in the case of von Neumann regular rings, and we compute the Grothendieck groups of these examples. In particular, we prove that every countable abelian group is isomorphic to $K_0$ of some purely infinite simple regular ring. Finally, some known examples are analyzed within this framework.


title: A Prime Orbit Theorem for Self-Similar Flows and Diophantine Approximation

abstract: Assuming some regularity of the dynamical zeta function, we establish an explicit formula with an error term for the prime orbit counting function of a suspended flow. We define the subclass of self-similar flows, for which we give an extensive analysis of the error term in the corresponding prime orbit theorem.


title: Frobenius pull-back and stability of vector bundles in characteristic 2

abstract: Let X be a smooth projective curve of genus g>1 over an algebraically closed field of characteristic 2. Pull-back by the (absolute) Frobenius on X only defines a rational morphism on the moduli scheme of rank-2 vector bundles on X, because the Frobenius pull-back may destory stability of a vector bundle. This paper introduces and studies a Harder-Narasimhan type stratification on the moduli scheme and proves that the family of semi-stable rank-2 vector bundles (with a fixed degree) whose Frobenius pull-back are not semi-stable is parameterized by an irreducible subscheme of dimension 3g-4.


title: Shot noise distributions and selfdecomposability

abstract: Stationary (limiting) distributions of shot noise processes, with exponential response functions, form a large subclass of positive selfdecomposable distributions that we illustrate by many examples. These shot noise distributions are described among selfdecomposable ones via the regular variation at zero of their distribution functions. However, slow variation at the origin of (an absolutely continuous) distribution function is incompatible with selfdecomposability and this is shown in three examples.


title: $L^2$ cohomology of Manifolds with flat ends

abstract: We give a topological interpretation of the space of $L^2$-harmonic forms on Manifold with flat ends. It is an answer to an old question of J. Dodziuk. We also give a Chern-Gauss-Bonnet formula for the $L^2$-Euler characteristic of some of these Manifolds. These results are applications of general theorems on complete Riemannian Manifold whose Gauss-Bonnet operator is non-parabolic at infinity.


title: The Fundamental Group of an Algebraic Stack

abstract: We define the notion of fundamental group of an algebraic stack, prove a comparison theorem between the fundamental group of a stack over the complex numbers and that of the associated analytic orbifold, show that this notion coincides with that defined with simplicial schemes by Oda and finally prove some short exact sequences involving these groups.


title: Tangencial base points on algebraic stacks

abstract: The notion of tangencial base point is well-known for schemes in characteristic zero. We show that the definition in terms of Puiseux series generalizes to the case of Deligne--Mumford stacks, over a field of arbitrary characteristic. We then apply this construction to moduli spaces of smooth curves, generalizing a result of Ihara-Nakamura.


title: Theoreme de Van Kampen pour les champs algebriques

abstract: We define a category whose objects are finite etale coverings of an algebraic stack and prove that it is a Galois category and that it allows one to compute the fundamental group of the stack. We then prove a Van Kampen theorem for algebraic stacks whose simplest form reads: Let U and V be open substacks of an algebraic stack X with X = U \union V, let P be a set of base points, at least one in each connected component of X, U, V and U \inter V, then pi_1(X,P) is the amalgamated sum of pi_1(U,P) and pi_1(V,P) over pi_1(U \inter V, P).


title: Symplectically harmonic cohomology of nilmanifolds

abstract: This paper can be considered as an extension to our paper [On symplectically harmonic forms on six-dimensional nilmanifolds, Comment. Math. Helv. 76 (2001), n 1, 89-109]. Also, it contains a brief survey of recent results on symplectically harmonic cohomology.


title: Residual intersection theory with reducible schemes

abstract: We develop a formula (Theorem 5.1) which allows to compute top Chern classes of vector bundles on the vanishing locus $V(s)$ of a section of this bundle. This formula particularly applies in the case when $V(s)$ is the union of locally complete intersections giving the individual contribution of each component and their mutual intersections. We conclude with applications to the enumeration of rational curves in complete intersections in projective space.


title: Generalized Riemann-Hilbert Transmission and Boundary Value Problems, Fredholm Pairs and Bordisms

abstract: We present classical and generalized Riemann-Hilbert problem in several contexts arising from $K$-theory and bordism theory. The language of Fredholm pairs turns out to be useful and unavoidable. We propose an abstract formulation of a notion of bordism in the context of Hilbert spaces equipped with splittings.


title: Inverse spectral problem for analytic plane domains I: Balian-Bloch trace formula

abstract: We give a rigorous version of the classical Balian-Bloch trace formula, a semiclassical expansion around a periodic reflecting ray of the (regularized) resolvent of the Dirichlet Laplacian on a bounded smooth plane domain. It is equivalent to the Poisson relation (or wave trace formula) between spectrum and closed geodesics. We view it primarily as a computational device for explicitly calculating wave trace invariants. Its effectiveness will be illustrated in subsquent articles in the series in which concrete inverse spectral results are proved.


title: Inverse spectral problem for analytic plane domains II: $\Z_2$-symmetric domains

abstract: This is part of a series of papers on the inverse spectral problem for bounded analytic plane domains. Here, we use the trace formula established in the first paper (`Balian-Bloch trace formula') to explicitly calculate wave trace invariants associated to bouncing ball orbits and dihedral rays. We use these invariants to prove that simply connected bounded analytic plane domains with one symmetry (which reverses a bouncing ball orbit of fixed length L) are spectrally determined in this class.


title: Automatic structures for torus link groups

abstract: A general result of Epstein and Thurston implies that all link groups are automatic, but the proof provides no explicit automaton. Here we show that the groups of all torus links are groups of fractions of so-called Garside monoids, i.e., roughly speaking, monoids with a good theory of divisibility, which allows us to reprove that those groups are automatic, but, in addition, gives a completely explicit description of the involved automata, thus partially answering a question of D.F.Holt.


title: Phase retrieval by iterated projections

abstract: Several strategies in phase retrieval are unified by an iterative "difference map" constructed from a pair of elementary projections and a single real parameter $\beta$. For the standard application in optics, where the two projections implement Fourier modulus and object support constraints respectively, the difference map reproduces the "hybrid" form of Fienup's input-output map for $\beta = 1$. Other values of $\beta$ are equally effective in retrieving phases but have no input-output counterparts. The geometric construction of the difference map illuminates the distinction between its fixed points and the recovered object, as well as the mechanism whereby stagnation is avoided. When support constraints are replaced by object histogram or atomicity constraints, the difference map lends itself to crystallographic phase retrieval. Numerical experiments with synthetic data suggest that structures with hundreds of atoms can be solved.


title: An isomorphism between polynomial eigenfunctions of the transfer operator and the Eichler cohomology for modular groups

abstract: For the group PSL(2,Z) it is known that there is an isomorphism between polynomial eigenfunctions of the transfer operator for the geodesic flow and the Eichler cohomology in the theory of modular forms. In a recent paper by Chang and Mayer it is indicated that such an isomorphism exists as well for certain subgroups of PSL(2,Z). We prove this and provide some evidence by computer aided algebraic calculations that such an isomorphism exists for all principal congruence subgroups and all congruence subgroups of Hecke type.


title: Matrix Integrals and Feynman Diagrams in the Kontsevich Model

abstract: We review some relations occurring between the combinatorial intersection theory on the moduli spaces of stable curves and the asymptotic behavior of the 't Hooft-Kontsevich matrix integrals. In particular, we give an alternative proof of the Witten-Di Francesco-Itzykson-Zuber theorem --which expresses derivatives of the partition function of intersection numbers as matrix integrals-- using techniques based on diagrammatic calculus and combinatorial relations among intersection numbers. These techniques extend to a more general interaction potential.


title: Analysis on the minimal representation of O(p,q) -- I. Realization via conformal geometry

abstract: This is the first in a series of papers devoted to an analogue of the metaplectic representation, namely, the minimal unitary representation of an indefinite orthogonal group; this representation corresponds to the minimal nilpotent coadjoint orbit in the philosophy of Kirillov-Kostant. We begin by applying methods from conformal geometry of pseudo-Riemannian manifolds to a general construction of an infinite-dimensional representation of the conformal group on the solution space of the Yamabe equation. By functoriality of the constructions, we obtain different models of the unitary representation, as well as giving new proofs of unitarity and irreducibility. The results in this paper play a basic role in the subsequent papers, where we give explicit branching formulae, and prove unitarization in the various models.


title: Homotopy quantum field theories and tortile structures

abstract: We study a variation of Turaev's homotopy quantum field theories using 2-categories of surfaces. We define the homotopy surface 2-category of a space $X$ and define an $\cS_X$-structure to be a monoidal 2-functor from this to the 2-category of idempotent-complete additive $k$-linear categories. We initiate the study of the algebraic structure arising from these functors. In particular we show that, under certain conditions, an $\cS_X$-structure gives rise to a lax tortile $\pi$-category when the background space is an Eilenberg-Maclane space $X=K(\pi,1)$, and to a tortile category with lax $\pi_2X$-action when the background space is simply-connected.


title: Analysis on the minimal representation of O(p,q) -- II. Branching laws

abstract: This is a second paper in a series devoted to the minimal unitary representation of O(p,q). By explicit methods from conformal geometry of pseudo-Riemannian manifolds, we find the branching law corresponding to restricting the minimal unitary representation to natural symmetric subgroups. In the case of purely discrete spectrum we obtain the full spectrum and give an explicit Parseval-Plancherel formula, and in the general case we construct an infinite discrete spectrum.


title: Analysis on the minimal representation of O(p,q) -- III. ultrahyperbolic equations on R^{p-1,q-1}

abstract: For the group O(p,q) we give a new construction of its minimal unitary representation via Euclidean Fourier analysis. This is an extension of the q = 2 case, where the representation is the mass zero, spin zero representation realized in a Hilbert space of solutions to the wave equation. The group O(p,q) acts as the Moebius group of conformal transformations on R^{p-1, q-1}, and preserves a space of solutions of the ultrahyperbolic Laplace equation on R^{p-1, q-1}. We construct in an intrinsic and natural way a Hilbert space of ultrahyperbolic solutions so that O(p,q) becomes a continuous irreducible unitary representation in this Hilbert space. We also prove that this representation is unitarily equivalent to the representation on L^2(C), where C is the conical subvariety of the nilradical of a maximal parabolic subalgebra obtained by intersecting with the minimal nilpotent orbit in the Lie algebra of O(p,q).


title: On asymptotic dimension of groups acting on trees

abstract: We prove the following theorem: Let $\pi$ be the fundamental group of a finite graph of groups with finitely generated vertex groups $G_v$ having asdim $G_v\le n$ for all vertices $v$. Then asdim$\pi\le n+1$. This gives the best possible estimate for the asymptotic dimension of an HNN extension and the amalgamated product.


title: Infinity Algebras, Cohomology and Cyclic Cohomology, and Infinitesimal Deformations

abstract: An A-infinity algebra is given by a codifferential on the tensor coalgebra of a (graded) vector space. An associative algebra is a special case of an A-infinity algebra, determined by a quadratic codifferential. The notions of Hochschild and cyclic cohomology generalize from associative to A-infinity algebras, and classify the infinitesimal deformations of the algebra, and those deformations preserving an invariant inner product, respectively. Similarly, an L-infinity algebra is given by a codifferential on the exterior coalgebra of a vector space, with Lie algebras being special cases given by quadratic codifferentials. There are natural definitions of cohomology and cyclic cohomology, generalizing the usual Lie algebra cohomology and cyclic cohomology, which classify deformations of the algebra and those which preserve an invariant inner product. This article explores the definitions of these infinity algebras, their cohomology and cyclic cohomology, and the relation to their infinitesimal deformations.


title: HyperK\"ahler Manifolds and Birational Transformations

abstract: In this paper we study the birational geometry of HyperKaehler manifolds by combining the method of minimal model program and the traditional approach of symplectic geometry.


title: Cohomology of Restricted Lie Algebras

abstract: In this dissertation, we investigate the cohomology theory of restricted Lie algebras. The representation theory of restricted Lie algebras is reviewed including a description of the restricted universal enveloping algebra. In the case of an abelian restricted Lie algebra, we construct an augmented complex of free modules over the enveloping algebra that is exact in dimensions less than p and hence define the cohomology theory of these algebras in dimension less than p. In the non-abelian case, we explicitly construct cochain spaces for any coefficient module in dimensions less than 3, and give explicit formulas for the coboundary operators in these dimensions. The corresponding notions of the usual algebraic interpretations of ordinary low dimensional cohomology are defined and we show that our restricted cohomology spaces encode this information as well.


title: A Geometric characterization of Arithmetic Varieties

abstract: A result of Belyi can be stated as follows. Every curve defined over a number field can be expressed as a cover of the projective line with branch locus contained in a rigid divisor. We define the notion of geometrically rigid divisors in surfaces and then show that every surface defined over a number field can be expressed as a cover of the projective plane with branch locus contained in a geometrically rigid divisor in the plane. The main result is the characterisation of arithmetically defined divisors in the plane as geometrically rigid divisors in the plane.


title: Quiver varieties and Hilbert schemes

abstract: In this note we give an explicit geometric description of some of the Nakajima's quiver varieties. More precisely, we show that the $\Gamma$-equivariant Hilbert scheme $X^{\Gamma[n]}$ and the Hilbert scheme $X_\Gamma^{[n]}$ (where $X=\C^2$, $\Gamma\subset SL(\C^2)$ is a finite subgroup, and $X_\Gamma$ is a minimal resolution of $X/\Gamma$) are quiver varieties for the affine Dynkin graph, corresponding to $\Gamma$ via the McKay correspondence, the same dimension vectors, but different parameters $\zeta$ (for earlier results in this direction see [4, 12, 13]). In particular, it follows that the varieties $X^{\Gamma[n]}$ and $X_\Gamma^{[n]}$ are diffeomorphic. Computing their cohomology (in the case $\Gamma=\Z/d\Z$) via the fixed points of $(\C^*\times\C^*)$-action we deduce the following combinatorial identity: the number $UCY(n,d)$ of uniformly coloured in d colours Young diagrams consisting of nd boxes coincides with the number $CY(n,d)$ of collections of d Young diagrams with the total number of boxes equal to n.


title: Limiting modular symbols and the Lyapunov spectrum

abstract: This paper consists of variations upon the theme of limiting modular symbols. Topics covered are: an expression of limiting modular symbols as Birkhoff averages on level sets of the Lyapunov exponent of the shift of the continued fraction, a vanishing theorem depending on the spectral properties of a generalized Gauss-Kuzmin operator, the construction of certain non-trivial homology classes associated to non-closed geodesics on modular curves, certain Selberg zeta functions and C^* algebras related to shift invariant sets.


title: The Continuous Hochschild Cochain Complex of a Scheme

abstract: Let X be a separated finite type scheme over a noetherian base ring K. There is a complex C(X) of topological O_X-modules on X, called the complete Hochschild chain complex of X. To any O_X-module M - not necessarily quasi-coherent - we assign the complex Hom^{cont}_X(C(X),M) of continuous Hochschild cochains with values in M. Our first main result is that when X is smooth over K there is a functorial isomorphism between the complex of continuous Hochschild cochains and RHom_{X2}(O_X,M), in the derived category D(Mod(O_{X2})). The second main result is that if X is smooth of relative dimension n and n! is invertible in K, then the standard map from Hochschild chains to differential forms induces a decomposition of Hom^{cont}_X(C(X),M) in derived category D(Mod(O_X)). When M = O_X this is the precisely the quasi-isomorphism underlying the Kontsevich Formality Theorem. Combining the two results above we deduce a decomposition of the global Hochschild cohomology with values in M.


title: Symplectic action around loops in $\text{Ham}(M)$

abstract: Let $\text{Ham(M)}$ be the group of Hamiltonian symplectomorphisms of a quantizable, compact, symplectic manifold $(M,\omega)$. We prove the existence of an action integral around loops in $\text{Ham(M)}$, and determine the value of this action integral on particular loops when the manifold is a coadjoint orbit.


title: The obstruction to excision in K-theory and in cyclic homology

abstract: Let $f:A \to B$ be a ring homomorphism of not necessarily unital rings and $I\triangleleft A$ an ideal which is mapped by f isomorphically to an ideal of B. The obstruction to excision in K-theory is the failure of the map between relative K-groups $K_*(A:I) \to K_*(B:f(I))$ to be an isomorphism; it is measured by the birelative groups $K_*(A,B:I)$. We show that these are rationally isomorphic to the corresponding birelative groups for cyclic homology up to a dimension shift. In the particular case when A and B are $\Q$-algebras we obtain an integral isomorphism.


title: Feynman diagrams and the KdV hierarchy

abstract: The generating series of the intersection numbers of the stable cohomology classes on moduli spaces of curves satisfies the string equation and a KdV hierarchy. Kontsevich's original proof of this result uses a matrix model and the matrix Airy equation. Witten then recasted Kontsevich's results in terms of Virasoro algebras, by means of an ingenious mixture of Feynman diagrams techniques and integrations by parts with some "rather formidable choice" of the integrands. In this note we show how Witten's formidable choices can be bartered for standard Feynman diagram manipulations, as soon as one suitably enlarges the class of Feynman diagrams occurring in the proof.


title: Wild nonabelian Hodge theory on curves

abstract: On a complex curve, we establish a correspondence between integrable connections with irregular singularities, and Higgs bundles such that the Higgs field is meromorphic with poles of any order. The moduli spaces of these objects are obtained by fixing at each singularity the polar part of the connection. We prove that they carry hyperKahler metrics, which are complete when the residue of the connection if semisimple.


title: Thinning genus two Heegaard spines in the 3-sphere

abstract: We study trivalent graphs in $S^{3}$ whose closed complement is a genus two handlebody. We show that such a graph, when put in thin position, has a simple (i. e. non-loop) level edge.


title: The Continuous Wavelet Transform and Symmetric Spaces

abstract: The continuous wavelet transform has become a widely used tool in applied science during the last decade. In this article we discuss some generalizations coming from actions of closed subgroups of $\mathrm{GL}(n,\mathbb{R})$ acting on $\mathbb{R}^n$. In particular, we propose a way to invert the wavelet transform in the case where the stabilizer of a generic point in $\mathbb{R}^n$ is not compact, but a symmetric subgroup, a case that has not previously been discussed in the literature.


title: Power sums and Homfly skein theory

abstract: The Murphy operators in the Hecke algebra H_n of type A are explicit commuting elements, whose symmetric functions are central in H_n. In [Skein theory and the Murphy operators, J. Knot Theory Ramif. 11 (2002), 475-492] I defined geometrically a homomorphism from the Homfly skein C of the annulus to the centre of each algebra H_n, and found an element P_m in C, independent of n, whose image, up to an explicit linear combination with the identity of H_n, is the m-th power sum of the Murphy operators. The aim of this paper is to give simple geometric representatives for the elements P_m, and to discuss their role in a similar construction for central elements of an extended family of algebras H_{n,p}.


title: Milnor numbers, Spanning Trees, and the Alexander-Conway Polynomial

abstract: We study relations between the Alexander-Conway polynomial $\nabla_L$ and Milnor higher linking numbers of links from the point of view of finite-type (Vassiliev) invariants. We give a formula for the first non-vanishing coefficient of $\nabla_L$ of an m-component link L all of whose Milnor numbers $\mu_{i_1... i_p}$ vanish for $p\le n$. We express this coefficient as a polynomial in Milnor numbers of L. Depending on whether the parity of n is odd or even, the terms in this polynomial correspond either to spanning trees in certain graphs or to decompositions of certain 3-graphs into pairs of spanning trees. Our results complement determinantal formulas of Traldi and Levine obtained by geometric methods.


title: Trapped modes in a waveguide with a thick obstacle

abstract: We consider two-dimensional waveguide with a rectangular obstacle symmetric about the axis of the waveguie. We study the behaviour of the Neumann eigenvalues located below the first threshold when the sides of the obstacle approach the edges of the waveguide. We show that only one of the eigenvalues converge to the first threshold, and the rate of convergence depends on whether the length of the obstacle divided by the width of the waveguide is integer or not.


title: Gauss-Bonnet type theorems in any dimension

abstract: Given a construction of smooth homotopy class invariants of smooth immersions $M^n\to R^{n+k}$. The particular case of $k=1, n\ge 1$ is a sequence of non-zero integrals, where the $n=2$ term is the Gauss-Bonnet integral


title: Distribution of the traces of Frobenius on elliptic curves over function fields

abstract: Let C be a smooth irreducible projective curve defined over a finite field $\mathbb{F}_{q}$ of q elements of characteristic p>3 and $K=\mathbb{F}_{q}(C)$ its function field and $\phi_{\mathcal{E}}:\mathcal{E}\to C$ the minimal regular model of $\mathbf{E}/K$. For each $P\in C$ denote $\mathcal{E}_P=\phi^{-1}_{\mathcal{E}}(P)$. The elliptic curve $E/K$ has good reduction at $P\in C$ if and only if $\mathcal{E}_P$ is an elliptic curve defined over the residue field $\kappa_P$ of $P$. This field is a finite extension of $\mathbb{F}_q$ of degree $\deg(P)$. Let $t(\mathcal{E}_P)=q^{\deg(P)}+1-#\mathcal{E}_P(\kappa_P)$ be the trace of Frobenius at P. By Hasse-Weil's theorem (cf. [10, Chapter V, Theorem 2.4]), $t(\mathcal{E}_P)$ is the sum of the inverses of the zeros of the zeta function of $\mathcal{E}_P$. In particular, $|t(\mathcal{E}_P)|\le 2q^{\deg(P)}$. Let $C_0\subset C$ be the set of points of C at which $E/K$ has good reduction and $C_0(\mathbb{F}_{q^k})$ the subset of $\mathbb{F}_{q^k}$-rational points of $C_0$. We discuss the following question. Let $k\ge 1$ and t be integers and suppose $|t|\le 2q^{k/2}$. Let $\pi(k,t)=#\{P\in C_0(\mathbb{F}_{q^k}) | t(\mathcal{E}_P)=t\}$. How big is $\pi(k,t)$?


title: Counting cycles and finite dimensional Lp norms

abstract: We obtain sharp bounds for the number of n--cycles in a finite graph as a function of the number of edges, and prove that the complete graph is optimal in more ways than could be imagined. We prove sharp estimates on both the sum of k-th powers of the coordinates and the Lk norm subject to the constraints that the sum of squares of the coordinates is fixed, and that the sum of the coordinates vanishes.


title: Flow Stability of Patchy Vector Fields and Robust Feedback Stabilization

abstract: The paper is concerned with patchy vector fields, a class of discontinuous, piecewise smooth vector fields that were introduced in AB to study feedback stabilization problems. We prove the stability of the corresponding solution set w.r.t. a wide class of impulsive perturbations. These results yield the robusteness of patchy feedback controls in the presence of measurement errors and external disturbances.


title: A semi-local trace identity and the Riemann hypothesis for function fields

abstract: The asymptotic trace formula of A. Connes is restated in a semi-local form, thus showing that the difficulties in giving a direct proof do not lie in the change of topology when transgressing from finitely many places to infinitely many.


title: Stability Rates for Patchy Vector Fields

abstract: The paper is concerned with the stability of the set of trajectories of a vector field, in the presence of impulsive perturbations. Patchy vector fields are discontinuous, piecewise smooth vector fields that were introduced in AB to study feedback stabilization problems. For patchy vector fields in the plane, with polygonal patches in generic position, we show that the distance between a perturbed trajectory and an unperturbed one is of the same order of magnitude as the impulsive forcing term.


title: On the uniform hyperbolicity of some nonuniformly hyperbolic systems

abstract: We give sufficient conditions for the uniform hyperbolicity of certain nonuniformly hyperbolic dynamical systems. In particular, we show that local diffeomorphisms that are nonuniformly expanding on sets of total probability are necessarily uniformly expanding. We also present a version of this result for diffeomorphisms with nonuniformly hyperbolic sets.


title: Lectures on special Lagrangian geometry

abstract: We introduce special Lagrangian submanifolds in C^m and in (almost) Calabi-Yau manifolds, and survey recent results on singularities of special Lagrangian submanifolds, and their application to the SYZ Conjecture. The paper is aimed at graduate students in Geometry, String Theorists, and others wishing to learn the subject. Special Lagrangian m-folds in C^m are defined, and ways of constructing them described. 'Almost Calabi-Yau manifolds' (a generalization of Calabi-Yau manifolds useful in special Lagrangian geometry) are introduced, and the deformation theory, obstruction theory, and moduli spaces of compact special Lagrangian m-folds in (almost) Calabi-Yau m-folds are explained. Then we consider singular special Lagrangian submanifolds which are locally modelled on special Lagrangian cones with an isolated singularity at 0. Compact singular special Lagrangian submanifolds of this type have a well-behaved deformation theory, and can often be realized as limits of families of compact, nonsingular special Lagrangian submanifolds. Applications of this to the SYZ Conjecture and Mirror Symmetry of Calabi-Yau 3-folds are discussed.


title: On infinite dimensional grassmannians and their quantum deformations

abstract: An algebraic approach is developed to define and study infinite dimensional grassmannians. Using this approach a quantum deformation is obtained for both the ind-variety union of all finite dimensional grassmannians, and the Sato grassmannian introduced by Sato. They are both quantized as homogeneous spaces, that is together with a coaction of a quantum infinite dimensional group. At the end, an infinite dimensional version of the first theorem of invariant theory is discussed for both the infinite dimensional special linear group and its quantization.


title: On algebraic supergroups and quantum deformations

abstract: We give the definitions of affine algebraic supervariety and affine algebraic group through the functor of points and we relate them to the other definitions present in the literature. We study in detail the algebraic supergroup $SL(m|n)$ and give explicitly the Hopf algebra structure of the algebra representing its functor of points. At the end we give also the quantization of $SL(m|n)$ together with its coactions on suitable quantum spaces according to Manin's philosophy.


title: The representation category of the quantum group of a non-degenerate bilinear form

abstract: We show that the representation category of the quantum group of a non-degenerate bilinear form is monoidally equivalent to the representation category of the quantum group SL_q(2), for a well chosen non-zero parameter q. The main ingredient for the proof of this result is the direct and explicit construction of an appropriate Hopf bigalois extension. Then we get, in characteristic zero, a full description of cosemisimple Hopf algebras whose representation semi-ring is isomorphic to the one of SL(2).


title: Eigenvalue asymptotics of perturbed periodic Dirac systems in the slow-decay limit

abstract: A perturbation decaying to 0 at infinity and not too irregular at 0 introduces at most a discrete set of eigenvalues into the spectral gaps of a one-dimensional Dirac operator on the half-line. We show that the number of these eigenvalues in a compact subset of a gap in the essential spectrum is given by a quasi-semiclassical asymptotic formula in the slow-decay limit, which for power-decaying perturbations is equivalent to the large-coupling limit. This asymptotic behaviour elucidates the origin of the dense point spectrum observed in spherically symmetric, radially periodic three-dimensional Dirac operators.