title: Hermitian Characteristics of Nilpotent Elements

abstract: We define and study several equivariant stratifications of the isotropy and coisotropy representations of a parabolic subgroup in a complex reductive group.


title: Virtual Transfer Factors

abstract: The Langlands-Shelstad transfer factor is a function defined on some reductive groups over a p-adic field. Near the origin of the group, it may be viewed as a function on the Lie algebra. For classical groups, its values have the form q^c s, where s is -1, 0, or 1, q is the cardinality of the residue field, and c is a rational number. The function s partitions the Lie algebra into three subsets. This article shows that this partition into three subsets is independent of the p-adic field in the following sense. We define three universal objects (virtual sets in the sense of Quine) such that for any p-adic field F of sufficiently large residue characteristic, the F-points of these three virtual sets form the partition. The theory of arithmetic motivic integration associates a virtual Chow motive with each of the three virtual sets. The construction in this article achieves the first step in a long program to determine the (still conjectural) virtual Chow motives that control the behavior of orbital integrals.


title: Inertial manifolds on squeezed domains

abstract: Let $\Omega$ be an arbitrary smooth bounded domain in $\R^2$ and $\epsilon>0$ be arbitrary. Squeeze $\Omega$ by the factor $\epsilon$ in the $y$-direction to obtain the squeezed domain $\Omega_\epsilon=\{(x,\epsilon y)\mid (x,y)\in\Omega \}$. In this paper we study the family of reaction-diffusion equations $$ \alignedat 2 u_t&=\Delta u+f(u),&\quad &t>0, (x,y)\in\Omega_\epsilon \partial_{\nu_\epsilon} u&=0,& & t>0, (x,y)\in\partial\Omega_\epsilon,\endalignedat\tag $E_\epsilon$ $$ where $f$ is a dissipative nonlinearity of polynomial growth. In a previous paper we showed that, as $\epsilon\to 0$, the equations $(E_\epsilon)$ have a limiting equation which is an abstract semilinear parabolic equation defined on a closed linear subspace of $H^1(\Omega)$. We also proved that the family ${\Cal A}_\epsilon$ of the corresponding attractors is upper semicontinuous at $\epsilon=0$. In this paper we prove that, if $\Omega$ satisfies some natural assumptions, then the limiting equation can be characterized as a reaction-diffusion equation on a finite topological graph. Moreover, there is a family $\Cal M_\epsilon$ of inertial $C^1$-manifolds for $(E_\epsilon)$, of some fixed finite dimension $\nu$, and, as $\epsilon\to 0$, the flow on $\Cal M_\epsilon$ converges in the $C^1$-sense to the limit flow on $\Cal M_0$.


title: Topological Hochschild cohomology and generalized Morita equivalence

abstract: We explore two constructions in homotopy category with algebraic precursors in the theory of noncommutative rings and homological algebra, namely the Hochschild cohomology of ring spectra and Morita theory. The present paper provides an extension of the algebraic theory to include the case when $M$ is not necessarily a progenerator. Our approach is complementary to recent work of Dwyer and Greenlees and of Schwede and Shipley. A central notion of noncommutative ring theory related to Morita equivalence is that of central separable or Azumaya algebras. For such an Azumaya algebra A, its Hochschild cohomology HH^*(A,A) is concentrated in degree 0 and is equal to the center of A. We introduce a notion of topological Azumaya algebra and show that in the case when the ground S-algebra R is an Eilenberg-Mac Lane spectrum of a commutative ring this notion specializes to classical Azumaya algebras. A canonical example of a topological Azumaya R-algebra is the endomorphism R-algebra F_R(M,M) of a finite cell R-module. We show that the spectrum of mod 2 topological K-theory KU/2 is a nontrivial topological Azumaya algebra over the 2-adic completion of the K-theory spectrum widehat{KU}_2. This leads to the determination of THH(KU/2,KU/2), the topological Hochschild cohomology of KU/2. As far as we know this is the first calculation of THH(A,A) for a noncommutative S-algebra A.


abstract: We prove the existence of a local smooth Levi decomposition for smooth Poisson structures and Lie algebroids near a singular point. In the appendix of this paper, we show an abstract Nash-Moser normal form theorem, which generalizes our Levi decomposition result and which may be helpful in the study of other smooth normal form problems.


title: Lattice structure for orientations of graphs

abstract: Earlier researchers have studied the set of orientations of a connected finite graph $G$, and have shown that any two such orientations having the same flow-difference around all closed loops can be obtained from one another by a succession of local moves of a simple type. Here I show that the set of orientations of $G$ having the same flow-differences around all closed loops can be given the structure of a distributive lattice. The construction generalizes partial orderings that arise in the study of alternating sign matrices. It also gives rise to lattices for the set of degree-constrained factors of a bipartite planar graph; as special cases, one obtains lattices that arise in the study of plane partitions and domino tilings. Lastly, the theory gives a lattice structure to the set of spanning trees of a planar graph.


title: The p-adic height pairings of Coleman-Gross and of Nekovar

abstract: We prove that the p-adic height pairing of Nekovar, considered for algebraic curves, gives the p-adic height pairing of Coleman and Gross, defined using Coleman integration.


title: A resolution (minimal model) of the PROP for bialgebras

abstract: This paper is concerned with a minimal resolution of the PROP for bialgebras. We prove a theorem about the form of this resolution (Theorem 15) and give, in Section 5, a lot of explicit formulas for the differential. Our minimal model contains all information about the deformation theory of bialgebras and related cohomology. Algebras over this minimal model are strongly homotopy bialgebras, that is, homotopy invariant versions of bialgebras.


title: A generating function of the number of homomorphisms from a surface group into a finite group

abstract: A generating function of the number of homomorphisms from the fundamental group of a compact oriented or non-orientable surface without boundary into a finite group is obtained in terms of an integral over a real group algebra. We calculate the number of homomorphisms using the decomposition of the group algebra into irreducible factors. This gives a new proof of the classical formulas of Frobenius, Schur, and Mednykh.


title: A Survey of Algebraic Extensions of Commutative, Unital Normed Algebras

abstract: We describe the role of algebraic extensions in the theory of commutative, unital normed algebras, with special attention to uniform algebras. We shall also compare these constructions and show how they are related to each other.


title: Symbolic dynamics and relatively hyperbolic groups

abstract: We study the action of a relatively hyperbolic group on its boundary, by methods of symbolic dynamics. Under a condition on the parabolic subgroups, we show that this dynamical system is finitely presented. We give examples where this condition is satisfied, including geometrically finite kleinian groups.


title: Dimension of Families of Determinantal Schemes

abstract: A scheme $X\subset \PP^{n+c}$ of codimension $c$ is called {\em standard determinantal} if its homogeneous saturated ideal can be generated by the maximal minors of a homogeneous $t \times (t+c-1)$ matrix and $X$ is said to be {\em good determinantal} if it is standard determinantal and a generic complete intersection. Given integers $a_0,a_1,...,a_{t+c-2}$ and $b_1,...,b_t$ we denote by $W(\underline{b};\underline{a})\subset \Hi ^p(\PP^{n+c})$ (resp. $W_s(\underline{b};\underline{a})$) the locus of good (resp. standard) determinantal schemes $X\subset \PP^{n+c}$ of codimension $c$ defined by the maximal minors of a $t\times (t+c-1)$ matrix $(f_{ij})^{i=1,...,t}_{j=0,...,t+c-2}$ where $f_{ij}\in k[x_0,x_1,...,x_{n+c}]$ is a homogeneous polynomial of degree $a_j-b_i$. In this paper we address the following three fundamental problems : To determine (1) the dimension of $W(\underline{b};\underline{a})$ (resp. $W_s(\underline{b};\underline{a})$) in terms of $a_j$ and $b_i$, (2) whether the closure of $W(\underline{b};\underline{a})$ is an irreducible component of $\Hi ^p(\PP^{n+c})$, and (3) when $\Hi ^p(\PP^{n+c})$ is generically smooth along $W(\underline{b};\underline{a})$. Concerning question (1) we give an upper bound for the dimension of $W(\underline{b};\underline{a})$ (resp. $W_s(\underline{b};\underline{a})$) which works for all integers $a_0,a_1,...,a_{t+c-2}$ and $b_1,...,b_t$, and we conjecture that this bound is sharp. The conjecture is proved for $2\le c\le 5$, and for $c\ge 6$ under some restriction on $a_0,a_1,...,a_{t+c-2}$ and $b_1,...,b_t$. For questions (2) and (3) we have an affirmative answer for $2\le c \le 4$ and $n\ge 2$, and for $c\ge 5$ under certain numerical assumptions.


title: On perpetuities related to the size-biased distributions

abstract: We study perpetuities of a special type related to the size-biased distributions. Necessary and sufficient conditions of their existence and uniqueness are obtained. A crucial point in proving all results is a close connection between perpetuities treated in the paper and fixed points of so-called Poisson shot noise transforms.


title: Counting Meromorphic Functions with Critical Points of Large Multiplicities

abstract: We study the number of meromorphic functions on a Riemann surface with given critical values and prescribed multiplicities of critical points and values. When the Riemann surface is $\CP^1$ and the function is a polynomial, we give an elementary way of finding this number. In the general case, we show that, as the multiplicities of critical points tend to infinity, the asymptotic for the number of meromorphic functions is given by the volume of some space of graphs glued from circles. We express this volume as a matrix integral.


title: A refinement of the simple connectivity at infinity of groups

abstract: We give another proof for a result of Brick stating that the simple connectivity at infinity is a geometric property of finitely presented groups. This allows us to define the rate of vanishing of $\p1i$ for those groups which are simply connected at infinity. Further we show that this rate is linear for cocompact lattices in nilpotent and semi-simple Lie groups, and in particular for fundamental groups of geometric 3-manifolds.


title: On fixed points of Poisson shot noise transforms

abstract: Distributional fixed points of a Poisson shot noise transform (for nonnegative, nonincreasing response functions bounded by 1) are characterized. The tail behavior of fixed points is described. Typically they have either exponential moments or their tails are proportional to a power function, with exponent greater than -1. The uniqueness of fixed points is also discussed. Finally, it is proved that in most cases fixed points are absolutely continuous, apart from the possible atom at zero.


title: Crossed products and entropy of automorphisms

abstract: Let A be an exact C^*-algebra, let G be a locally compact group, and let (A,G,\alpha) be a C*-dynamical system. Each automorphism \alpha_g induces a spatial automorphism Ad_{\lamba_g} on the reduced crossed product A\times_\alpha G. In this paper we examine the question, first raised by E. Stormer, of when the topological entropies of \alpha_g and Ad_{\alpha_g} coincide. This had been answered by N. Brown for the particular case of discrete abelian groups. Using different methods, we extend his result to a wider class of groups called locally [FIA]^-. This class includes all abelian groups, both discrete and continuous, as well as all compact groups.


title: Critical points of master functions and flag varieties

abstract: We consider critical points of master functions associated with integral dominant weights of Kac-Moody algebras and introduce a generating procedure constructing new critical points starting from a given one. The set of all critical points constructed from a given one is called a population. We formulate a conjecture that a population is isomorphic to the flag variety of the Langlands dual Kac-Moody algebra and prove the conjecture for algebras $sl_{N+1}, so_{2N+1}$, and $sp_{2N}$. We show that populations associated with a collection of integral dominant $sl_{N+1}$-weights are in one to one correspondence with intersection points of suitable Schubert cycles in a Grassmannian variety.


title: Combinatorial properties of stable spin curves

abstract: The geometry of the moduli space of stable spin curves is studied, with emphasis on its combinatorial properties. In this context, the standard graph theoretic framework is not just a book-keeping device: some purely combinatorial results are proved, having moduli theoretic applications. In particular, certain strata of the moduli space of stable curves are characterized by a (finite) set of integers, measuring the non-reducedness of the scheme of spin curves, and definable in purely graph-theoretical terms.


title: The Operator Hilbert Space OH and TYPE III von Neumann Algebras

abstract: We prove that the operator Hilbert space OH does not embed completely isomorphically into the predual of a semi-finite von Neumann algebra. This complements Junge's recent result that it admits such an embedding in the non semi-finite case.


title: Computation in Coxeter groups II. Minimal roots

abstract: In the recent paper (Casselman, 2001) I described how a number of ideas due to Fokko du Cloux and myself could be incorporated into a reasonably efficient program to carry out multiplication in arbitrary Coxeter groups. At the end of that paper I discussed how this algorithm could be used to build the reflection table of minimal roots, which could in turn form the basis of a much more efficient multiplication algorithm. In this paper, following a suggestion of Bob Howlett, I explain how results due to Brigitte Brink can be used to construct the minimal root reflection table directly and more efficiently.


title: On choosing and bounding probability metrics

abstract: When studying convergence of measures, an important issue is the choice of probability metric. In this review, we provide a summary and some new results concerning bounds among ten important probability metrics/distances that are used by statisticians and probabilists. We focus on these metrics because they are either well-known, commonly used, or admit practical bounding techniques. We summarize these relationships in a handy reference diagram, and also give examples to show how rates of convergence can depend on the metric chosen.


title: Regular closed classes of permutations

abstract: Machines whose main purpose is to permute and sort data are studied. The sets of permutations that can arise are analysed by means of finite automata and avoided pattern techniques. Conditions are given for these sets being enumerated by rational generating functions.


title: Torsion of Drinfeld modules and equicharacteristic unimodular Galois covers

abstract: We prove that the groups PSL(r,q^d) can be realized F_q(T)-regularly as Galois groups over the purely transcendental field F_q(T)(t_1,...,t_{r-1}) if r is even and r/2 is coprime to q^d-1. The method is to use twisted moduli schemes of Drinfeld modules (a la Shih). If one has sufficient control over modular forms, it can be made into an algorithm to find explicit equations. We do this for PSL(2,q^2) using Drinfeld modular forms.


title: Degenerated third order linear recurrences

abstract: We study a) the limit of the ratio of two consecutive terms in such a sequence and b) the limit of the ratio of two terms in which one has a lag equal to 2. In the general case limit a) does not exist but we have two limiting values depending on the parity of the index. And these limits depend on the initial conditions. Limit b) exists and does not depend on the the initial conditions. Finally we seek the set of initial conditions for which this limit exists (that is, the two limiting values coincide) and obtain this limit.


title: OPE-Algebras

abstract: In hep-th/0010293 Kapustin and Orlov introduce the notion of an OPE-algebra and propose that it formalizes conformal field theories in the same way as vertex algebras formalize chiral algebras, i.e. the subalgebras of holomorphic fields of conformal field theories. In this thesis we study the question which concepts and results of the general theory of vertex algebras can be extended to OPE-algebras.


title: Modularity on vertex operator algebras arising from semisimple primary vectors

abstract: In this article, using an idea of the physics superselection principal, we study a modularity on vertex operator algebras arising from semisimple primary vectors. We generalizes the theta functions on vertex operator algebras and prove that the internal automorphisms do not change the genus one twisted conformal blocks.


title: The universal order one invariant of framed knots in most S^1-bundles over orientable surfaces

abstract: It is well-known that self-linking is the only Z valued Vassiliev invariant of framed knots in S^3. However for most 3-manifolds, in particular for the total spaces of S^1-bundles over an orientable surface F not S^2, the space of Z-valued order one invariants is infinite dimensional. We give an explicit formula for the order one invariant I of framed knots in orientable total spaces of S^1-bundles over an orientable not necessarily compact surface F not S^2. We show that if F is not S^2 or S^1 X S^1, then I is the universal order one invariant, i.e. it distinguishes every two framed knots that can be distinguished by order one invariants with values in an Abelian group.


title: On the singular braid monoid of an orientable surface

abstract: In this paper we show that the singular braid monoid of an orientable surface can be embedded in a group. The proof is purely topological, making no use of the monoid presentation.


title: The Hilton-Eckmann argument for cup-products

abstract: We present a simple extension of the classical Hilton-Eckmann argument classically used to prove that the endomorphism monoid of the unit object in a monoidal category is commutative. It allows us to recover in a uniform way well-known results on the graded-commutativity of cup products defined on the cohomology theories attached to various algebraic structures, as well as some more recent results.


title: Maps to spaces in the genus of infinite quaternionic projective space

abstract: Spaces in the genus of infinite quaternionic projective space which admit essential maps from infinite complex projective space are classified. In these cases the sets of homotopy classes of maps are described explicitly. These results strengthen the classical theorem of McGibbon and Rector on maximal torus admissibility for spaces in the genus of infinite quaternionic projective space. An interpretation of these results in the context of Adams-Wilkerson embedding in integral $K$-theory is also given.


title: Moduli space of filtered lambda-ring structures over a filtered ring

abstract: Motivated by recent works on the genus of classifying spaces of compact Lie groups, here we study the set of filtered $\lambda$-ring structures over a filtered ring from a purely algebraic point of view. From a global perspective, we first show that this set has a canonical topology compatible with the filtration on the given filtered ring. For power series rings $R \llbrack x \rrbrack$, where $R$ is between $\bZ$ and $\bQ$, with the $x$-adic filtration, we mimic the construction of the Lazard ring in formal group theory and show that the set of filtered $\lambda$-ring structures over $R \llbrack x \rrbrack$ is canonically isomorphic to the set of ring maps from some ``universal'' ring $U$ to $R$. From a local perspective, we demonstrate the existence of uncountably many mutually non-isomorphic filtered $\lambda$-ring structures over some filtered rings, including rings of dual numbers over binomial domains, (truncated) polynomial and powers series rings over torsionfree $\bQ$-algebras.


title: A K-theoretic refinement of topological realization of unstable algebras

abstract: In this paper we propose and partially carry out a program to use $K$-theory to refine the topological realization problem of unstable algebras over the Steenrod algebra. In particular, we establish a suitable form of algebraic models for $K$-theory of spaces, called $\psi^p$-algebras, which give rise to unstable algebras by taking associated graded algebras mod $p$. The aforementioned problem is then split into (i) the \emph{algebraic} problem of realizing unstable algebras as mod $p$ associated graded of $\psi^p$-algebras and (ii) the \emph{topological} problem of realizing $\psi^p$-algebras as $K$-theory of spaces. Regarding the algebraic problem, a theorem shows that every connected and even unstable algebra can be realized. We tackle the topological problem by obtaining a $K$-theoretic analogue of a theorem of Kuhn and Schwartz on the so-called Realization Conjecture.


title: Unstable $K$-cohomology algebra is filtered lambda-ring

abstract: Boardman, Johnson, and Wilson gave a precise formulation for an unstable algebra over a generalized cohomology theory. Modifying their definition slightly in the case of complex K-theory by taking into account its periodicity, we prove that an unstable algebra for complex $K$-theory is precisely a filtered $\lambda$-ring, and vice versa.


title: The K-group of R-constructible Sheaves

abstract: Let Z be a smooth projective manifold. In these notes I will prove that the K-group of R-constructible sheaves is isomorphic to the free abelian group with one generator for each open semialgebraic subset $U$ (which I will denote by the same letter) modulo the Mayer-Vietoris relations: U + V - U^V - UvV = 0. I will prove it by showing that both groups in question are isomorphic to the group of all integer-valued semialgebraic functions on Z.


title: Computads and slices of operads

abstract: For a given $\omega$-operad $A$ on globular sets we introduce a sequence of symmetric operads on $Set$ called slices of $A$ and show how the connected limit preserving properties of slices are related to the property of the category of $n$-computads of $A$ being a presheaf topos.


title: Explicit construction of a Chern-Moser connection for CR manifolds of codimension two

abstract: In the present paper we suggest an explicit construction of a Cartan connection for an elliptic or hyperbolic CR manifold M of dimension six and codimension two, i.e. a pair (P, w), consisting of a principal bundle P over M and of a Cartan connection form w on P, satisfying the following property: the (local) CR transformations of M are in one to one correspondence with the (local) automorphisms of P which preserve w. For any point x in M, this construction determines an explicit immersion of the stability subalgebra Lie(aut(M)_x) into the Lie algebra Lie(H) of the structure group H of P.


title: Galois cohomology of certain field extensions and the divisible case of Milnor-Kato conjecture

abstract: We prove the "divisible case" of the Milnor-Bloch-Kato conjecture (which is the first step of Voevodsky's proof of this conjecture for arbitrary prime l) in a rather clear and elementary way. Assuming this conjecture, we construct a 6-term exact sequence of Galois cohomology with cyclotomic coefficients for any finite extension of fields whose Galois group has an exact quadruple of permutational representations over it. Examples include cyclic groups, dihedral groups, the biquadratic group Z/2\times Z/2, and the symmetric group S_4. Several exact sequences conjectured by Bloch-Kato, Merkurjev-Tignol, and Kahn are proven in this way. In addition, we introduce a more sophisticated version of the classical argument known as "Bass-Tate lemma". Some results about annihilator ideals in Milnor rings are deduced as corollaries.


title: A Hopf operad of forests of binary trees and related finite-dimensional algebras

abstract: The theme of this article is the algebraic combinatorics of leaf-labeled rooted binary trees and forests of such trees. The structure of a Hopf operad is defined on the vector spaces spanned by forests of leaf-labeled, rooted, binary trees. An explicit formula for the coproduct and its dual product is given, using a poset on forests.


title: On the structure of Banach algebras associated with automorphisms. 2. Operators with measurable coefficients

abstract: In the present paper we continue the study of the structure of a Banach algebra B(A, T_g) generated by a certain Banach algebra $A$ of operators acting in a Banach space $D$ and a group {T_g}_{g \in G} of isometries of D such that T_g A T^{-1}_g = A. We investigate the interrelations between the existence of the expectation of B(A, T_g) onto $A$, metrical freedom of the automorphisms of A induced by T_g and the dual action of the group G on B(A, T_g). The results obtained are applied to the description of the structure of Banach algebras generated by 'weighted composition operators' acting in Lebesgue spaces.


title: On the structure of Banach algebras associated with automorphisms

abstract: In the present paper we study the structure of a Banach algebra B(A, T_g) generated by a certain Banach algebra $A$ of operators acting in a Banach space D and a group {T_g}_{g \in G} of isometries of D such that T_g A T^{-1}_g = A. We investigate the interrelations between the existence of the expectation of B(A, T_g) onto A, topological freedom of the automorphisms of A induced by T_g and the dual action of the group G on B(A, T_g). The results obtained are applied to the description of the structure of Banach algebras generated by 'weighted composition operators' acting in various spaces.


title: The topological version of free entropy

abstract: Notions of topological free entropy and of free capacity are introduced in the $C^*$-algebra context. Basic properties, basic problems and connections to potential theory and random matrix theory are discussed.


title: Symmetric polynomials vanishing on the shifted diagonals and Macdonald polynomials

abstract: For each pair (k,r) of positive integers with r>1, we consider an ideal I^(k,r)_n of the ring of symmetric polynomials in n variables. The ideal I_n^(k,r) has a basis consisting of Macdonald polynomials P(x_1,...,x_n;q,t) at t^{k+1}q^{r-1}=1, and is a deformed version of the one studied earlier in the context of Jack polynomials. In this paper we give a characterization of I^(k,r)_n in terms of explicit zero conditions on the k-codimensional shifted diagonals of the form x_{2}=tq^{s_1}x_1,...,x_{k+1}=tq^{s_k}x_k. The ideal I^(k,r)_n may be viewed as a deformation of the space of correlation functions of an abelian current of the affine Lie algebra \hat{sl_r}. We give a brief discussion about this connection.


title: Analytic order of singular and critical points

abstract: We deal with the following closely related problems: (i) For a germ of a reduced plane analytic curve, what is the minimal degree of an algebraic curve with a singular point analytically equivalent (isomorphic) to the given one? (ii) For a germ of a holomorphic function in two variables with an isolated critical point, what is the minimal degree of a polynomial, equivalent to the given function up to a local holomorphic coordinate change? Classically known estimates for such a degree $d$ in these questions are $\sqrt{\mu}+1\le d\le \mu+1$, where $\mu$ is the Milnor number. Our result in both the problems is $d\le a\sqrt{\mu}$ with an absolute constant $a$. As a corollary, we obtain asymptotically proper sufficient conditions for the existence of algebraic curves with prescribed singularities on smooth algebraic surfaces.


title: Large N dualities and transitions in geometry

abstract: The focus of these lectures is the Gopakumar-Vafa's insight that ``Large N dualities'' (relating gauge theories and closed strings) are realized, in certain cases, by "transition in geometry". In their pivotal 1998 example, the gauge theory is SU(N) Chern-Simons theory on S^3, for large N, and the transition is the "conifold" transition between two Calabi--Yau varieties. Much progress has been made to support Gopakumar and Vafa's conjecture, including the lift of the transition to a transformation between 7-manifolds with G_2 holonomy. In another direction, this set up brings us to consider the uncharted territory of "open Gromov-Witten invariants". The lectures, hence the notes, were prepared for an audience of beginning graduate students, in mathematics and physics, whom we hope to get interested in this subject. Because most of the material presented in these lectures comes from the physics literature, we aimed to build a bridge for the mathematicians towards the physics papers on the subject.


title: The Interlace Polynomial of a Graph

abstract: Motivated by circle graphs, and the enumeration of Euler circuits, we define a one-variable ``interlace polynomial'' for any graph. The polynomial satisfies a beautiful and unexpected reduction relation, quite different from the cut and fuse reduction characterizing the Tutte polynomial. It emerges that the interlace graph polynomial may be viewed as a special case of the Martin polynomial of an isotropic system, which underlies its connections with the circuit partition polynomial and the Kauffman brackets of a link diagram. The graph polynomial, in addition to being perhaps more broadly accessible than the Martin polynomial for isotropic systems, also has a two-variable generalization that is unknown for the Martin polynomial. We consider extremal properties of the interlace polynomial, its values for various special graphs, and evaluations which relate to basic graph properties such as the component and independence numbers.


title: Invariants of finite Hopf algebras

abstract: This paper extends classical results in the invariant theory of finite groups and finite group schemes to the actions of finite Hopf algebras on commutative rings.


title: A mechanical model for the transportation problem

abstract: We describe a mechanical device which can be used as an analog computer to solve the transportation problem. In practice this device is simulated by a numerical algorithm. Tests show that this algorithm is 60 times faster than a current subroutine (NAG library) for an average 1000 x 1000 problem. Its performance is even better for degenerate problems in which the weights take only a small number of integer values.


title: Dirac Operator on the Standard Podles Quantum Sphere

abstract: Using principles of quantum symmetries we derive the algebraic part of the real spectral triple data for the standard Podle\'s quantum sphere: equivariant representation, chiral grading $\gamma$, reality structure $J$ and the Dirac operator $D$, which has bounded commutators with the elements of the algebra and satisfies the first order condition.


title: Extensions of C*-algebras by partial isometries

abstract: In the present paper we study the structure of C*-$algebras generated by a certain *-algebra A and a partial isometry inducing an endomorphism of A.


title: Best Choice from the Planar Poisson Process

abstract: Various best-choice problems related to the planar homogeneous Poisson process in finite or semi-infinite rectangle are studied. The analysis is largely based on properties of the one-dimensional box-area process associated with the sequence of records. We prove a series of distributional identities involving exponential and uniform random variables, and resolve the Petruccelli-Porosinski-Samuels paradox on coincidence of asymptotic values in certain discrete-time optimal stopping problems.


title: Spectral convergence of manifold pairs

abstract: We investigate the spectra of a family of pairs (M_i,A_i) consisting of a complete Riemannian manifold M_i and a closed subset A_i and which converge in the Lipschitz topology to a pair (M,A). This is used to construct manifolds of bounded curvature, nonempty essential spectrum, infinitely many eigenvalues below the essential spectrum and with an arbitrary number of such eigenvlues of arbitrarily high multiplicity.


title: Examples for nonequivalence of symplectic capacities

abstract: We construct an open bounded star-shaped set in R^4 whose cylindrical capacity is strictly bigger than its proper displacement energy.


title: Automorphism sheaves, spectral covers, and the Kostant and Steinberg sections

abstract: Kostant constructed a section from the adjoint quotient morphism of a simple Lie algebra to the open set of regular elements, and Steinberg constructed such a section for the adjoint quotient of a simply connected and simple algebraic group. In this paper, we show that all sections of the adjoint quotient are conjugate via a morphism from the adjoint quotient to the group. In particular, the sections constructed via the parabolic construction are conjugate either to the Kostant section or to the Steinberg section. The method of proof consists in studying automorphism sheaves of certain principle bundles over faamilies of cuspidal or nodal plane cubic curves.


title: A Two-Variable Interlace Polynomial

abstract: We introduce a new graph polynomial in two variables. This ``interlace'' polynomial can be computed in two very different ways. The first is an expansion analogous to the state space expansion of the Tutte polynomial; the significant differences are that our expansion is over vertex rather than edge subsets, and the rank and nullity employed are those of an adjacency matrix rather than an incidence matrix. The second computation is by a three-term reduction formula involving a graph pivot; the pivot arose previously in the study of interlacement and Euler circuits in four-regular graphs. We consider a few properties and specializations of the two-variable interlace polynomial. One specialization, the ``vertex-nullity interlace polynomial'', is the single-variable interlace graph polynomial we studied previously, closely related to the Tutte-Martin polynomial on isotropic systems previously considered by Bouchet. Another, the ``vertex-rank interlace polynomial'', is equally interesting. Yet another specialization of the two-variable polynomial is the independent-set polynomial.


title: Cells in quantum affine sl_n

abstract: We study Lusztig's theory of cells for quantum affine $\mathfrak{sl}_n$. Using the geometric construction of the quantum group due to Lusztig and Ginzburg--Vasserot, we describe explicitly the two-sided cells, the number of left cells in a two--sided cell, and the asymptotic algebra, verifying conjectures of Lusztig.


title: Holomorphic disks and knot invariants

abstract: We define a Floer-homology invariant for knots in an oriented three-manifold, closely related to the holomorphic disk Floer homologies for three-manifolds defined in an earlier paper. We set up basic properties of these invariants, including an Euler characteristic calculation, behaviour under connected sums. Then, we establish a relationship with $HF^+$ for surgeries along the knot. Applications include calculation of $HF^+$ of three-manifolds obtained by surgeries on some special knots in $S^3$, and also calculation of $HF^+$ for certain simple three-manifolds which fiber over the circle.


title: Orthogonality preserving transformations on indefinite inner product spaces: Generalization of Uhlhorn's version of Wigner's theorem

abstract: We present an analogue of Uhlhorn's version of Wigner's theorem on symmetry transformations for the case of indefinite inner product spaces. This significantly generalizes a result of Van den Broek. The proof is based on our main theorem, which describes the form of all bijective transformations on the set of all rank-one idempotents of a Banach space which preserve zero products in both directions.


title: Relative hyperbolicity and Artin groups

abstract: Let $G=<a_1,..., a_n | a_ia_ja_i... = a_ja_ia_j..., i<j>$ be an Artin group and let $m_{ij}=m_{ji}$ be the length of each of the sides of the defining relation involving $a_i$ and $a_j$. We show if all $m_{ij}\ge 7$ then $G$ is relatively hyperbolic in the sense of Farb with respect to the collection of its two-generator subgroups $<a_i, a_j>$ for which $m_{ij}<\infty$.


title: Local automorphisms of operator algebras on Banach spaces

abstract: In this paper we extend a result of Semrl stating that every 2-local automorphism of the full operator algebra on a separable infinite dimensional Hilbert space is an automorphism. In fact, besides separable Hilbert spaces, we obtain the same conclusion for the much larger class of Banach spaces with Schauder bases. The proof rests on an analogous statement concerning the 2-local automorphisms of matrix algebras of which statement we present a short proof. The need to get such a proof was formulated in Semrl's paper.


title: Classification of Irreducible integrable modules for toroidal Lie-algebras with finite dimensional weight spaces

abstract: Toroidal Lie algebras are universal central extentions of the finite dimensional simple Lie algbera tensored with Laurent Polynomials in several commuteing variables. In this paper we classify irreducible integrable modules for Toroidal Lie algebras with finite dimensional wieght spaces. They are tensor product of evaluation modules for the finite dimensional Lie algebra when the center acts by zero. In the case when the center acts nontrivially they are tensor product of evalution representations of the underlying affine Lie algebra twisted by an automorphism of the Toroidal Lie algebras. The automorphisms come from genaral linear group with integer integers whose determinant 1 or -1.


title: (Bi-)Cohen-Macaulay simplicial complexes and their associated coherent sheaves

abstract: Via the BGG correspondence a simplicial complex Delta on [n] is transformed into a complex of coherent sheaves on P^n-1. We show that this complex reduces to a coherent sheaf F exactly when the Alexander dual Delta^* is Cohen-Macaulay. We then determine when both Delta and Delta^* are Cohen-Macaulay. This corresponds to F being a locally Cohen-Macaulay sheaf. Lastly we conjecture for which range of invariants of such Delta it must be a cone.


title: Counting real rational functions with all real critical values

abstract: We study the number of real rational degree n functions (considered up to linear fractional transformations of the independent variable) with a given set of 2n-2 distinct real critical values. We present a combinatorial reformulation of this number and pose several related questions.


title: On good filtration dimensions for standardly stratified algebras

abstract: $\nabla$-good filtration dimensions of modules and of algebras are introduced by Parker for quasi-hereditary algebras. These concepts are now generalized to the setting of standardly stratified algebras. Let $A$ be a standardly stratified algebra. The $\bar{\nabla}$-good filtration dimension of $A$ is proved to be the projective dimension of the characteristic module of $A$. Several characterizations of $\bar{\nabla}$-good filtration dimensions and $\bar{\Delta}$-good filtration dimensions are given for properly stratified algebras. Finally we give an application of these results to the global dimensions of quasi-hereditary algebras with exact Borel subalgebra.


title: On Bochner-Krall orthogonal polynomial systems

abstract: In this paper we address the classical question going back to S. Bochner and H.L. Krall to describe all systems {p_{n}(x)} of orthogonal polynomials (OPS) which are the eigenfunctions of some finite order differential operator, i.e. satisfy the equation \sum_{k=1}^{N}a_{k}(x)y^{(k)}(x)=\la_{n} y(x) (1). Such systems of orthogonal polynomials are called Bochner-Krall OPS (or BKS for short) and their spectral differential operators are accordingly called Bochner-Krall operators (or BK-operators for short). We say that a BKS has compact type if it is orthogonal with respect to a compactly supported positive measure on the real line. It is well-known that the order N of any BK-operator should be even and every coefficient a_{k}(x) must be a polynomial of degree at most k. Below we show that the leading coefficient of a compact type BK-operator is of the form ((x - a)(x-b))^{N/2}. This settles the special case of the general conjecture of describing the leading terms of all BK-operators. New results on the asymptotic distribution of zeros of polynomial eigenfunctions for a spectral problem (1) are the main ingredient in the proofs.


title: The Bernstein Problem in the Heisenberg Group

abstract: We establish the following theorem of Bernstein type for the first Heisenberg group: Let S be a C^2 connected H-minimal surface which is a graph over some plane P, then S is either a non-characteristic vertical plane, or its generalized seed curve satisfies a type of constant curvature condition.


title: Fine Structure of Class Groups $\cl^{(p)}\Q(\z_n)$ and the Kervaire--Murthy Conjectures II

abstract: There is an Mayer-Vietoris exact sequence involving the Picard group of the integer group ring $\Z C_{p^n}$ where $C_{p^n}$ is the cyclic group of order $p^n$ and $\zeta_{n-1}$ is a primitive $p^n$-th root of unity. The "unknown" part of the sequence is a group. $V_n$. $V_n$ splits as $V_n\cong V_n^+\oplus V_n^-$ and $V_n^-$ is explicitly known. $V_n^+$ is a quotient of an in some sense simpler group $\mathcal{V}_n$. In 1977 Kervaire and Murthy conjectured that for semi-regular primes $p$, $V_n^+ \cong \mathcal{V}_n^+ \cong \cl^{(p)}(\Q (\zeta_{n-1}))\cong (\mathbb{Z}/p^n \mathbb{Z})^{r(p)}$, where $r(p)$ is the index of regularity of $p$. Under an extra condition on the prime $p$, Ullom calculated $V_n^+$ in 1978 in terms of the Iwasawa invariant $\lambda$ as $V_n^+ \cong (\mathbb{Z}/p^n \mathbb{Z})^{r(p)}\oplus (\mathbb{Z}/p^{n-1} \mathbb{Z})^{\lambda-r(p)}$. In the previous paper we proved that for all semi-regular primes, $\mathcal{V}_n^+\cong \cl^{(p)}(\Q (\zeta_{n-1}))$ and that these groups are isomorphic to \[(\mathbb{Z}/p^n \mathbb{Z})^{r_0}\oplus (\mathbb{Z}/p^{n-1} \mathbb{Z})^{r_1-r_0} \oplus \hdots \oplus (\mathbb{Z}/p \mathbb{Z})^{r_{n-1}-r_{n-2}} \] for a certain sequence $\{r_k\}$ (where $r_0=r(p)$). Under Ulloms extra condition it was proved that \[V_n^+ \cong \mathcal{V}_n^+ \cong \cl^{(p)}(\Q(\z_{n-1})) \cong (\mathbb{Z}/p^n \mathbb{Z})^{r(p)}\oplus (\mathbb{Z}/p^{n-1}\mathbb{Z})^{\lambda-r(p)}.\] In the present paper we prove that Ullom's extra condition is valid for all semi-regular primes and it is hence shown that the above result holds for all semi-regular primes.


title: Noncommutative Smooth Models

abstract: We determine the central simple algebras D over a functionfield K of trancendence degree two which admit a model of smooth Cayley-Hamilton algebras. This happens if and only if there is a smooth model S of K such that the ramification divisor of a maximal S-order in D is a disjoint union of smooth curves. Further, we prove that the Brauer-Severi fibration of smooth models which are in addition maximal orders is a flat morphism and determine the number of irreducible components of the fibers.


title: Computation and Homotopical Applications of Induced Crossed Modules

abstract: We explain how the computation of induced crossed modules allows the computation of certain homotopy 2-types and, in particular, second homotopy groups. We discuss various issues involved in computing induced crossed modules and give some examples and applications.


title: Non-semi-regular quantum groups coming from number theory

abstract: In this paper, we study C*-algebraic quantum groups obtained through the bicrossed product construction. Examples using groups of adeles are given and they provide the first examples of locally compact quantum groups which are not semi-regular: the crossed product of the quantum group acting on itself by translations does not contain any compact operator. We describe all corepresentations of these quantum groups and the associated universal C*-algebras. On the way, we provide several remarks on C*-algebraic properties of quantum groups and their actions.


title: Criteria for Irrationality of Euler's Constant

abstract: By modifying Beukers' proof of Apery's theorem that zeta(3) is irrational, we derive criteria for irrationality of Euler's constant, gamma. For n > 0, we define a double integral I(n) and a positive integer S(n), and prove that if d(n) = LCM(1,...,n), then the fractional part of logS(n) is given by {logS(n)} = d(2n)I(n), for all n sufficiently large, if and only if gamma is a rational number. A corollary is that if {logS(n)} > 1/2^n infinitely often, then gamma is irrational. Indeed, if the inequality holds for a given n (we present numerical evidence for 0 < n < 2500 and n = 10000) and gamma is rational, then its denominator does not divide the product d(2n)Binomial(2n,n). We prove a new combinatorial identity in order to show that a certain linear form in logarithms is in fact logS(n). A by-product is a rapidly converging asymptotic formula for gamma, used by P. Sebah to compute it correct to 18063 decimals.


title: Strebel differentials on stable curves and Kontsevich's proof of Witten's conjecture

abstract: We define Strebel differentials for stable complex curves, prove the existence and uniqueness theorem that generalizes Strebel's theorem for smooth curves, prove that Strebel differentials form a continuous family over the moduli space of stable curves, and show how this construction can be applied to clarify a delicate point in Kontsevich's proof of Witten's conjecture.


title: Positive rational solutions to $x^y = y^{mx}$: a number-theoretic excursion

abstract: We give a light-hearted look at the topic in the title. Most solutions are in semi-boring parametric families, but some are sporadic and come from Thue equations. One amusing example is m = 2, x = (4/5)^128, y = (4/5)^125.


title: Near-group categories

abstract: We consider the possibility of semisimple tensor categories whose fusion rule includes exactly one noninvertible simple object. Conditions are given for the existence or nonexistence of coherent associative structures for such fusion rules, and an explicit construction of matrix solutions to the pentagon equations in the cases where we establish existence. Many of these also support (braided) commutative and tortile structures and we indicate when this is possible. Small examples are presented in detail.


title: On finite-dimensional maps

abstract: Let $f\colon X\to Y$ be a perfect surjective map of metrizable spaces. It is shown that if $Y$ is a $C$-space (resp., $\dim Y\leq n$ and $\dim f\leq m$), then the function space $C(X,\uin^{\infty})$ (resp., $C(X,\uin^{2n+1+m})$) equipped with the source limitation topology contains a dense $G_{\delta}$-set $\mathcal{H}$ such that $f\times g$ embeds $X$ into $Y\times\uin^{\infty}$ (resp., into $Y\times\uin^{2n+1+m}$) for every $g\in\mathcal{H}$. Some applications of this result are also given.


title: Grope Cobordism and Feynman Diagrams

abstract: We explain how the usual algebras of Feynman diagrams behave under the grope degree introduced in "Grope cobordism of classical knots." We show that the Kontsevich integral rationally classifies grope cobordisms of knots in 3-space when the ``class'' is used to organize gropes. This implies that the grope cobordism equivalence relations are highly nontrivial in dimension three. We also show that the class is not a useful organizing complexity in four dimensions since only the Arf invariant survives. In contrast, measuring gropes according to ``height'' does lead to very interesting four-dimensional information (Cochran-Orr-Teichner). Finally, several low degree calculations are explained, in particular we show that S-equivalence is the same relation as grope cobordism based on the smallest tree with an internal vertex.


title: Periods of abelian varieties

abstract: We prove various characterizations of the period torsor of abelian varieties. This is the submitted version.


title: Finite subset spaces of S^1

abstract: Given a topological space X denote by exp_k(X) the space of non-empty subsets of X of size at most k, topologised as a quotient of X^k. This space may be regarded as a union over 0 < l < k+1 of configuration spaces of l distinct unordered points in X. In the special case X=S^1 we show that: (1) exp_k(S^1) has the homotopy type of an odd dimensional sphere of dimension k or k-1; (2) the natural inclusion of exp_{2k-1}(S^1) h.e. S^{2k-1} into exp_2k(S^1) h.e. S^{2k-1} is multiplication by two on homology; (3) the complement exp_k(S^1)-exp_{k-2}(S^1) of the codimension two strata in exp_k(S^1) has the homotopy type of a (k-1,k)-torus knot complement; and (4) the degree of an induced map exp_k(f): exp_k(S^1)-->exp_k(S^1) is (deg f)^[(k+1)/2] for f: S^1-->S^1. The first three results generalise known facts that exp_2(S^1) is a Moebius strip with boundary exp_1(S^1), and that exp_3(S^1) is the three-sphere with exp_1(S^1) inside it forming a trefoil knot.


title: The Kadison-Singer problem in discrepancy theory

abstract: We give a combinatorial form of the Kadison-Singer problem, a famous problem in C*-algebra. This combinatorial problem, which has several minor variations, is a discrepancy question about vectors in C^n. Some partial results can be easily deduced from known facts in discrepancy theory.


title: Operator algebras associated with the Klein-Gordon position representation in relativistic quantum mechanics

abstract: We initiate a mathematically rigorous study of Klein-Gordon position operators in single-particle relativistic quantum mechanics. Although not self-adjoint, these operators have real spectrum and enjoy a limited form of spectral decomposition. The associated C*-algebras are identifiable as crossed products. We also introduce a variety of non self-adjoint operator algebras associated with the Klein-Gordon position representation; these algebras are commutative and continuously (but not homeomorphically) embeddable in corresponding function algebras. Several open problems are indicated.


title: Bounds for the Entropy of Graded Algebras

abstract: Newman, Schneider and Shalev defined the entropy of a graded associative algebra A as H(A) = \limsup_{n \to \infty} \sqrt[n]{a_n}, where a_n is the vector space dimension of the n'th homogeneous component. When A is the homogeneous quotient of a finitely generated free associative algebra, they showed that H(A) \le \sqrt{a_2}. Using some results of Friedland on the maximal spectral radius of 0-1 matrices with a prescribed number of ones, we improve on this bound.


title: Problems in foliations and laminations of 3-manifolds

abstract: This is a problem list in the theory of foliations and laminations of 3-manifolds. The focus is on the relationship of foliations and laminations with other aspects of 3-manifold topology, especially with the Thurston theory of geometric structures. This problem list is not meant to be comprehensive; rather it focusses on research areas that currently seem (to the author) particularly promising.


title: Virtual crystals and Kleber's algorithm

abstract: Kirillov and Reshetikhin conjectured what is now known as the fermionic formula for the decomposition of tensor products of certain finite dimensional modules over quantum affine algebras. This formula can also be extended to the case of $q$-deformations of tensor product multiplicities as recently conjectured by Hatayama et al. (math.QA/9812022 and math.QA/0102113). In its original formulation it is difficult to compute the fermionic formula efficiently. Kleber (q-alg/9611032 and math.QA/9809087) found an algorithm for the simply-laced algebras which overcomes this problem. We present a method which reduces all other cases to the simply-laced case using embeddings of affine algebras. This is the fermionic analogue of the virtual crystal construction by the authors, which is the realization of crystal graphs for arbitrary quantum affine algebras in terms of those of simply-laced type.


title: Very simple representations: variations on a theme of Clifford

abstract: We discuss a certain class of absolutely irreducible group representations that behave nicely under the restriction to normal subgroups and subalgebras. These representations proved to be useful for the construction of abelian varieties with small endomorphism rings.


title: K-theory and derived equivalences

abstract: We show that if two rings have equivalent derived categories then they have the same algebraic K-theory. Similar results are given for G-theory, and for a large class of abelian categories.


title: Regularity Properties of Constrained Set-Valued Mappings

abstract: In these notes, we present a general result concerning the Lipschitz regularity of a certain type of set-valued maps often found in constrained optimization and control problems. The class of multifunctions examined in this paper is characterized by means of a set of Lipschitz continuous constraint functions defined on some Lipschitz manifold. The proof of the regularity result for this class of multifunctions is based on a quantitative version of the Implicit Function Theorem for Lipschitzian maps which provides estimates for the neighborhoods where the implicit map can be defined.


title: Hechler's theorem for the meager ideal

abstract: We prove the following theorem: For a partially ordered set Q such that every countable subset has a strict upper bound, there is a forcing notion satisfying ccc such that, in the forcing model, there is a basis of the meager ideal of the real line which is order-isomorphic to Q with respect to set-inclusion. This is a variation of Hechler's classical result in the theory of forcing.


title: On the non-3-colourability of random graphs

abstract: We show that for c >= 2.4682, a random graph on n vertices with c n (1+o(1)) edges almost surely has no 3-colouring. This improves on the current best upper bound of 2.4947.


title: E-theory is a special case of KK-theory

abstract: Let A and B be $C^*$-algebras, A separable, and B $\sigma$-unital and stable. It is shown that there are natural isomorphisms $E(A,B)=KK(SA,Q(B))=[SA,Q(B)\otimes K]$, where $SA=C_0(0,1)\otimes A$, $[\cdot,\cdot]$ denotes the set of homotopy classes of *-homomorphisms, $Q(B) = M(B)/B$ is the generalized Calkin algebra and K denotes the $C^*$-algebra of compact operators.


title: Some stable vector bundles with reducible theta divisors

abstract: Let C be a curve of genus g and L a line bundle of degree 2g on C . Let M be the kernel of the evaluation map from the trivial bundle with fibre H^0(C,L) into L . We show that when L is general enough, the rank g bundle M and its exterior powers are stable and admit a reducible theta divisor.


title: Sampling from a couple of positively correlated beta variates

abstract: We know that the marginals in a Dirichlet distribution are beta variates exhibiting a negative correlation. But we can construct two linear combinations of such marginals in such a way to obtain a positive correlation. We discuss the restrictions that are to be imposed on the parameters to accomplish such a result. In the case the sampling from the Dirichlet distribution is performed through a generalization of Johnk's method we discuss the efficiency of the algorithm implementing the method.


title: Anderson Localization for Time Periodic Random Schr\"odinger operators

abstract: We prove that at large disorder, Anderson localization in $\Z^d$ is stable under localized time-periodic perturbations by proving that the associated quasi-energy operator has pure point spectrum. The formulation of this problem is motivated by questions of Anderson localization for non-linear Schr\"odinger equations.


title: On the irreducibility of the two variable zeta-function for curves over finite fields

abstract: In [P] R. Pellikaan introduced a two variable zeta-function for a curve over a finite field and proved that it is a rational function. Here we show that its denominator is absolutely irreducible. This is motivated by work of J. Lagarias and E. Rains on an analogous two variable zeta-funtion for number fields.


title: Galois extensions of braided tensor categories and braided crossed G-categories

abstract: We show that the author's notion of Galois extensions of braided tensor categories [22], see also [3], gives rise to braided crossed G-categories, recently introduced for the purposes of 3-manifold topology [31]. The Galois extensions C \rtimes S are studied in detail, and we determine for which g in G non-trivial objects of grade g exist in C \rtimes S.


title: Elliptic curves and rank-2 vector bundles on the prime Fano threefold of genus 7

abstract: According to Mukai, any prime Fano threefold X of genus 7 is a linear section of the spinor tenfold in the projectivized half-spinor space of Spin(10). It is proven that the moduli space of stable rank-2 vector bundles with Chern classes c_1=1,c_2=5 on a generic X is isomorphic to the curve of genus 7 obtained by taking an orthogonal linear section of the spinor tenfold. This is an inverse of Mukai's result on the isomorphism of a non-abelian Brill--Noether locus on a curve of genus 7 to a Fano threefold of genus 7. An explicit geometric construction of both isomorphisms and a similar result for K3 surfaces of genus 7 are given.


title: A purity theorem for abelian schemes

abstract: We prove a purity theorem for abelian schemes in arbitrary unramified mixed characteristic (0,p). The case p=2 is completely new and the case p>2 fixes several errors in the literature.


title: Newton Method on Riemannian Manifolds: Covariant Alpha-Theory

abstract: In this paper we study quantitative aspects of Newton method for finding zeros of mappings f: M_n -> R^n and vector fields X: M_x -> TM_n


title: Functions from $R^2$ to $R^2$: a study in nonlinearity

abstract: We study the geometry of functions from the plane to the plane. For a large special class we are able to count preimages and compute them. Both numerical and theoretical aspects are discussed. Some of the tools used are Whitney's classification of critical points, rotation numbers, covering maps and continuation methods.


title: Scalar curvature, moment maps and the Deligne Pairing

abstract: In this paper, we the improve the bound for the moment map derivative proved by Donaldson in his recent proof of the Hilbert-Mumford stability of complex manifolds with constant scalar curvature. The proof depends on the identification of Donaldson's symplectic form with the curvature of a certain Deligne pairing.


title: Generalized Calabi-Yau manifolds

abstract: A geometrical structure on even-dimensional manifolds is defined which generalizes the notion of a Calabi-Yau manifold and also a symplectic manifold. Such structures are of either odd or even type and can be transformed by the action of both diffeomorphisms and closed 2-forms. In the special case of six dimensions we characterize them as critical points of a natural variational problem on closed forms, and prove that a local moduli space is provided by an open set in either the odd or even cohomology.


title: Lagrangian Pairs and Lagrangian Orthogonal Matroids

abstract: Represented Coxeter matroids of types $C_n$ and $D_n$, that is, symplectic and orthogonal matroids arising from totally isotropic subspaces of symplectic or (even-dimensional) orthogonal spaces, may also be represented in buildings of type $C_n$ and $D_n$, respectively. Indeed, the particular buildings involved are those arising from the flags or oriflammes, respectively, of totally isotropic subspaces. There are also buildings of type $B_n$ arising from flags of totally isotropic subspaces in odd-dimensional orthogonal space. Coxeter matroids of type $B_n$ are the same as those of type $C_n$ (since they depend only upon the reflection group, not the root system). However, buildings of type $B_n$ are distinct from those of the other types. The matroids representable in odd dimensional orthogonal space (and therefore in the building of type $B_n$) turn out to be a special case of symplectic (flag) matroids, those whose top component, or Lagrangian matroid, is a union of two Lagrangian orthogonal matroids. These two matroids are called a Lagrangian pair, and they are the combinatorial manifestation of the ``fork'' at the top of an oriflamme (or of the fork at the end of the Coxeter diagram of $D_n$). Here we give a number of equivalent characterizations of Lagrangian pairs, and prove some rather strong properties of them.


title: Modular invariance of vertex operator algebras satisfying C_2-cofiniteness

abstract: We show that C_2-cofiniteness is enough to prove a modular invariance property of vertex operator algebras without assuming the semisimplicity of Zhu algebra. For example, if a VOA V=\oplus_{m=0}^{\infty}V_m is C_2-cofinite, then the space spanned by generalized characters of V-modules is invariant under the action of SL_2(\Z). In this case, the central charge and conformal weights are all rational numbers. Namely, a VOA satisfying C_2-cofiniteness is a rational conformal field theory in a sense. We also show that C_2-cofiniteness is equivalent to the condition that every weak module is an \N-graded weak module which is a direct sum of generalized eigenspaces of L(0).


title: Higher correlations of divisor sums related to primes III: k-correlations

abstract: We obtain the general k-correlations for a short divisor sum related to primes.


title: Quasi finite loop spaces are manifolds

abstract: It is an old conjecture, that finite $H$-spaces are homotopy equivalent to manifolds. Here we prove that this conjecture is true for loop spaces. Actually, we show that every quasi finite loop space is equivalent to a stably parallelizable manifold. The proof is conceptual and relies on the theory of p-compact groups. On the way we also give a complete classification of all simple 2-compact groups of rank 2.


title: Rooted trees and an exponential-like series

abstract: This paper deals with a group of generalized power series associated to any augmented operad, focusing on the case of the PreLie operad. The solution of flow equations using the pre-Lie structure on vector fields on an affine space gives rise to an interesting element of this group, which deserves to be called the PreLie exponential.


title: Classification of some simple graded pre-Lie algebras of growth one

abstract: We classify a class of infinite-dimensional simple graded pre-Lie algebras on the graded vector space underlying the algebra of Laurent polynomials, with a specific form for the product.


title: On a Theorem of Lenstra and Schoof

abstract: We give a detailed proof of Theorem 1.15 from a well-known paper "Primitive normal bases for finite fields" by H.W. Lenstra Jr. and R.J. Schoof. We are not aware of any other proofs. Let $L/K$ be a finite-dimensional Galois field extension and $B$ the set of all normal bases of this extension. Theorem 1.15 describes the group of all $\gamma$ in the multiplicative group of $L$ such that $\gamma B = B$.


title: An algorithm to find vertical tori in small Seifert fiber spaces

abstract: We give an algorithm to find vertical essential tori in small Seifert fiber spaces with infinite fundamental groups. This implies that there are algorithms to decide whether a 3-manifold is a Seifert fiber space.


title: Tiling the (n^2,1)-De Bruijn graph with n coassociative coalgebras

abstract: We construct via usual graph theory a class of associative dialgebras as well as a class of coassociative L-coalgebras. Tiling of the (n^2,1)-De bruijn graphs are also obtained and constructions of cubical trialgebras, (notion defined by J-L. Loday and M. Ronco) are given. We also obtain splitting of associative products into several ones.


title: Diagonals on the Permutahedra, Multiplihedra and Associahedra

abstract: We construct an explicit diagonal \Delta_P on the permutahedra P. Related diagonals on the multiplihedra J and the associahedra K are induced by Tonks' projection P --> K and its factorization through J. We introduce the notion of a permutahedral set Z and lift \Delta_P to a diagonal on Z. We show that the double cobar construction \Omega^2(C_*(X)) is a permutahedral set; consequently \Delta_P lifts to a diagonal on \Omega^2(C_*(X)). Finally, we apply the diagonal on K to define the tensor product of A_\infty-(co)algebras in maximal generality.


title: The equivariant Toda lattice, II

abstract: Applying recent ideas of Carlet, Dubrovin and Zhang (to appear), who, following a suggestion of Eguchi and Yang (hep-th/9407134), study the logarithm of the Lax operator of the Toda lattice, we show that the equivariant Toda lattice introduced in math.AG/0207025 is a Hamiltonian integrable system.


title: Real loci of symplectic reductions

abstract: Let $M$ be a compact, connected symplectic manifold with a Hamiltonian action of a compact $n$-dimensional torus $T$. Suppose that $M$ is equipped with an anti-symplectic involution $\sigma$ compatible with the $T$-action. The real locus of $M$ is the fixed point set $M^\sigma$ of $\sigma$. Duistermaat introduced real loci, and extended several theorems of symplectic geometry to real loci. In this paper, we extend another classical result of symplectic geometry to real loci: the Kirwan surjectivity theorem. In addition, we compute the kernel of the real Kirwan map. These results are direct consequences of techniques introduced by Tolman and Weitsman. In some examples, these results allow us to show that a symplectic reduction $M/ /T$ has the same ordinary cohomology as its real locus $(M/ /T)^{\sigma_{red}}$, with degrees halved. This extends Duistermaat's original result on real loci to a case in which there is not a natural Hamiltonian torus action.


title: The nilpotence conjecture in K-theory of toric varieties

abstract: It is shown that all nontrivial elements in higher $K$-groups of toric varieties over a class of regular rings are annihilated by iterations of the natural Frobenius type endomorphisms. This is a higher analog of the triviality of vector bundles on affine toric varieties.


title: Bounds on leaves of one-dimensional foliations

abstract: Let X be a variety over an algebraically closed field, \eta:\Omega^1_X\to L a one-dimensional singular foliation, and C\subseteq X a projective leaf of \eta. We prove that 2p_a(C)-2=\deg(L|C)+\lambda(C)-\deg(C\cap S) where p_a(C) is the arithmetic genus, where \lambda(C) is the colength in the dualizing sheaf of the subsheaf generated by the K\"ahler differentials, and where S is the singular locus of \eta. We bound \lambda(C) and \deg(C\cap S), and then improve and extend some recent results of Campillo, Carnicer, and de la Fuente, and of du Plessis and Wall.


title: On reduction of Hilbert-Blumenthal varieties

abstract: Let $O_F$ be the ring of integers of a totally real field $F$ of degree $g$. We study the reduction of the moduli space of separably polarized abelian $O_F$-varieties of dimension $g$ modulo $p$ for a fixed prime $p$. The invariants and related conditions for the objects in the moduli space are discussed. We construct a scheme-theoretic stratification by $a$-numbers on the Rapoport locus and study the relation with the slope stratification. In particular, we recover the main results of Goren and Oort [GO, J. Alg. Geom. 2000] on the stratifications when $p$ is unramified in $O_F$. We also prove the strong Grothendieck conjecture for the moduli space in some restricted cases, particularly when $p$ is totally ramified in $O_F$.


title: The Resultant of an Unmixed Bivariate System

abstract: This paper gives an explicit method for computing the resultant of any sparse unmixed bivariate system with given support. We construct square matrices whose determinant is exactly the resultant. The matrices constructed are of hybrid Sylvester and B\'ezout type. We make use of the exterior algebra techniques of Eisenbud, Fl{\o}ystad, and Schreyer.


title: Compactification of the Bruhat-Tits building of PGL by seminorms

abstract: We construct a compactification of the Bruhat-Tits building associated to the group PGL(V) which can be identified with the space of homothety classes of seminorms on V endowed with the topology of pointwise convergence. Then we define a continuous map from the projective space to this compactification which extends the reduction map from Drinfeld's p-adic symmetric domain to the building.


title: Continuous Invariants of Isolated Hypersurface Singularities

abstract: Mather and Yau showed that an isolated complex hypersurface singularity is completely determined by its moduli algebra. It is shown, for the simple elliptic singularities, how to construct continuous invariants from the moduli algebras and, hence, associate invariants to the singularities themselves.


title: K-theory of virtually poly-surface groups

abstract: In this paper we generalize the notion of strongly poly-free group to a larger class of groups, we call them strongly poly-surface groups and prove that the Fibered Isomorphism Conjecture of Farrell and Jones corresponding to the stable topological pseudoisotopy functor is true for any virtually strongly poly-surface group. A consequence is that the Whitehead group of a torsion free subgroup of any virtually strongly poly-surface group vanishes.


title: The fibered isomorphism conjecture for complex manifolds

abstract: In this paper we show that the fibered isomorphism conjecture of Farrell and Jones corresponding to the stable topological pseudoisotopy functor is true for the fundamental groups of a large class of complex manifolds. A consequence of this result is that the Whitehead group, reduced projective class groups and the negative K-groups of the fundamental group of these manifolds vanish whenever the fundamental group is torsion free. We also prove the same results for a class of real manifolds.


title: Maximally irregularly fibred surfaces of general type

abstract: We generalise a method of Xiao Gang to construct 'prototypes' of fibred surfaces with maximal irregularity without being a product. This enables us, in the case of fibre genus g=3 to describe the possible singular fibres and to calculate the invariants of these surfaces. We also prove structure theorems on the moduli space for fibred surfaces with fibre genus g=2 and g=3.


title: Topology of 3-manifolds and a class of groups

abstract: This paper grew out of an attempt to find a suitable finite sheeted covering of an aspherical 3-manifold so that the cover either has infinite or trivial first homology group. With this motivation we define a new class of groups. These groups are in some sense eventually perfect. We prove results giving several classes of examples of groups which do (not) belong to this class. Also we prove some elementary results on these groups and state two conjectures. A direct application of one of the conjectures to the virtual Betti number conjecture of Thurston is mentioned.


title: Affine $\Lambda$-buildings, ultrapowers of Lie groups and Riemannian symmetric spaces: an algebraic proof of the Margulis conjecture

abstract: In this paper, we give a general group-theoretic construction of affine $\RR$-buildings, and more generally, of affine $\Lambda$-buildings, associated to semisimple Lie groups over nonarchimedean real closed fields. The construction of Kleiner-Leeb using the asymptotic cone of a Riemannian symmetric space appears as a special case. The explicit knowledge of the building arising here as the asymptotic cone simplifies the proof of the Margulis conjecture due to Kleiner-Leeb.


title: O(n) invariant solutions of Abreu's equation

abstract: We consider a fourth order partial differential equation in n-dimensional space introduced by Abreu in the context of K\"{a}hler metrics on toric orbifolds. Similarity solutions depending only on the radial coordinate in R^n are determined in terms of a second order ordinary differential equation. A local asymptotic analysis of solutions in the neighbourhood of singular points is carried out. The integrability (or otherwise) of Abreu's equation is discussed.


title: Yang-Mills connections over manifolds with Grassmann structure

abstract: Let M be a manifold with Grassmann structure, i.e. with an isomorphism of the cotangent bundle T^*M\cong E\otimes H with the tensor product of two vector bundles E and H. We define the notion of a half-flat connection \nabla^W in a vector bundle W\to M as a connection whose curvature F\in S^2E\otimes\wedge^2 H\otimes W \subset\wedge^2 T^*M\otimes W. Under appropriate assumptions, for example, when the Grassmann structure is associated with a quaternionic Kaehler structure on M, half-flatness implies the Yang-Mills equations. Inspired by the harmonic space approach, we develop a local construction of (holomorphic) half-flat connections \nabla^W over a complex manifold with (holomorphic) Grassmann structure equipped with a suitable linear connection. Any such connection \nabla^W can be obtained from a prepotential by solving a system of linear first order ODEs. The construction can be applied, for instance, to the complexification of hyper-Kaehler manifolds or more generally to hyper-Kaehler manifolds with admissible torsion and to their higher-spin analogues. It yields solutions of the Yang-Mills equations.


title: The Dixmier-Douady Class of Groupoid Crossed Products

abstract: We give a formula for the Dixmier-Douady class of a continuous-trace groupoid crossed product that arises from an action of a locally trivial, proper, principal groupoid on a bundle of elementary $C^*$-algebras that satisfies Fell's condition.


title: Symmetric polynomials vanishing on the diagonals shifted by roots of unity

abstract: For a pair of positive integers (k,r) with r>1 such that k+1 and r-1 are relatively prime, we describe the space of symmetric polynomials in variables x_1,...,x_n which vanish at all diagonals of codimension k of the form x_i=tq^{s_i}x_{i-1}, i=2,...,k+1, where t and q are primitive roots of unity of orders k+1 and r-1.


title: Analysis of the horizontal Laplacian for the Hopf fibration

abstract: We study the horizontal Laplacian $\Delta^H$ associated to the Hopf fibration $S^3\to S^2$ with arbitrary Chern number $k$. We use representation theory to calculate the spectrum, describe the heat kernel and obtain the complete heat trace asymptotics of $\Delta^H$. We express the Green functions for associated Poisson semigroups and obtain bounds for their contraction properties and Sobolev inequalities for $\Delta^H$. The bounds and inequalities improve as $|k|$ increases.


title: Ordinal Distances in Transfinite Graphs

abstract: An ordinal-valued metric taking its values in the set of all countable ordinals can be assigned to a metrizable set of nodes in a transfinite graph. Then, a variety of results concerning nodal eccentricities, radii, diameters, centers, peripheries, and blocks can be extended to transfinite graphs.


title: Representations of Yangians associated with skew Young diagrams

abstract: The Yangian of the Lie algebra $gl_N$ has a distinguished family of irreducible finite-dimensional representations, called elementary representations. They are parametrized by pairs, consisting of a skew Young diagram and a complex number. Each of these representations has an explicit realization, it extends the classical realization of the irreducible polynomial representations of $gl_N$ by means of the Young symmetrizers. We explicitly construct analogues of these elementary representations for the twisted Yangian, which corresponds to the Lie algebra $so_N$. Our construction provides solutions to several open problems in the classical representation theory. In particular, we obtain analogues of the Young symmetrizers for the Brauer centralizer algebra.


title: On a Class of Type II$_1$ Factors with Betti Numbers Invariants

abstract: We prove that a type II$_1$ factor $M$ can have at most one Cartan subalgebra $A$ satisfying a combination of rigidity and compact approximation properties. We use this result to show that within the class $\Cal H \Cal T$ of factors $M$ having such Cartan subalgebras $A \subset M$, the Betti numbers of the standard equivalence relation associated with $A \subset M$ ([G2]), are in fact isomorphism invariants for the factors $M$, $\beta^{^{HT}}_n(M), n\geq 0$. The class $\Cal H\Cal T$ is closed under amplifications and tensor products, with the Betti numbers satisfying $\beta^{^{HT}}_n(M^t)= \beta^{^{HT}}_n(M)/t, \forall t>0$, and a K{\"u}nneth type formula. An example of a factor in the class $\Cal H\Cal T$ is given by the group von Neumann factor $M=L(\Bbb Z^2 \rtimes SL(2, \Bbb Z))$, for which $\beta^{^{HT}}_1(M) = \beta_1(SL(2, \Bbb Z)) = 1/12$. Thus, $M^t \not\simeq M, \forall t \neq 1$, showing that the fundamental group of $M$ is trivial. This solves a long standing problem of R.V. Kadison. Also, our results bring some insight into a recent problem of A. Connes and answer a number of open questions on von Neumann algebras.


title: On several varieties of cacti and their relations

abstract: Motivated by string topology and the arc operad, we introduce the notion of quasi-operads and consider four (quasi)-operads which are different varieties of the operad of cacti. These are cacti without local zeros (or spines) and cacti proper as well as both varieties with fixed constant size one of the constituting loops. Using the recognition principle of Fiedorowicz, we prove that spineless cacti are equivalent as operads to the little discs operad. It turns out that in terms of spineless cacti Cohen's Gerstenhaber structure and Fiedorowicz' braided operad structure are given by the same explicit chains. We also prove that spineless cacti and cacti are homotopy equivalent to their normalized versions as quasi-operads by showing that both types of cacti are semi-direct products of the quasi-operad of their normalized versions with a re-scaling operad based on R>0. Furthermore, we introduce the notion of bi-crossed products of quasi-operads and show that the cacti proper are a bi-crossed product of the operad of cacti without spines and the operad based on the monoid given by the circle group S^1. We also prove that this particular bi-crossed operad product is homotopy equivalent to the semi-direct product of the spineless cacti with the group S^1. This implies that cacti are equivalent to the framed little discs operad. These results lead to new CW models for the little discs and the framed little discs operad.


title: Arc Operads and Arc Algebras

abstract: Several topological and homological operads based on families of projectively weighted arcs in bounded surfaces are introduced and studied. The spaces underlying the basic operad are identified with open subsets of a compactification due to Penner of a space closely related to Riemann's moduli space. Algebras over these operads are shown to be Batalin-Vilkovisky algebras, where the entire BV structure is realized simplicially. Furthermore, our basic operad contains the cacti operad up to homotopy, and it similarly acts on the loop space of any topological space. New operad structures on the circle are classified and combined with the basic operad to produce geometrically natural extensions of the algebraic structure of BV algebras, which are also computed.


title: Dual canonical bases, quantum shuffles and q-characters

abstract: Rosso and Green have shown how to embed the positive part $U_q(n)$ of a quantum enveloping algebra $U_q(g)$ in a quantum shuffle algebra. In this paper we study some properties of the image of the dual canonical basis $B^*$ of $U_q(n)$ under this embedding $\Phi$. This is motivated by the fact that when $g$ is of type $A_r$, the elements of $\Phi(B^*)$ are $q$-analogues of irreducible characters of the affine Iwahori-Hecke algebras attached to the groups $GL(m)$ over a $p$-adic field.


title: Maps between non-commutative spaces

abstract: We examine maps between noncommutative projective spaces. A surjection of graded rings A-->A/J induces a closed immersion Proj(A/J)-->Proj(A). A homomorphism f:A-->B between graded rings induces an affine map U --> Proj(A) from a non-empty open subspace U of Proj(B). If A^{(n)} is the n-th Veronese subalgebra of a graded ring A there is a map Proj(A)-->Proj(A^{(n)}); we identify open subspaces on which this map is an isomorphism. Applying these results when A is (a quotient of) a weighted polynomial ring produces a non-commutative resolution of (a closed subscheme of) a weighted projective space.


title: Classification of graded Hecke algebras for complex reflection groups

abstract: The graded Hecke algebra for a finite Weyl group is intimately related to the geometry of the Springer correspondence. A construction of Drinfeld produces an analogue of a graded Hecke algebra for any finite subgroup of GL(V). This paper classifies all the algebras obtained by applying Drinfeld's construction to complex reflection groups. By giving explicit (though nontrivial) isomorphisms, we show that the graded Hecke algebras for finite real reflection groups constructed by Lusztig are all isomorphic to algebras obtained by Drinfeld's construction. The classification shows that there exist algebras obtained from Drinfeld's construction which are not graded Hecke algebras as defined by Lusztig for real as well as complex reflection groups.


title: Linearly Independent Products of Rectangularly Complementary Schur Functions

abstract: Fix a rectangular Young diagram R, and consider all the products of Schur functions s(mu) s(mu^c), where mu and mu^c run over all (unordered) pairs of partitions which are complementary with respect to R. Theorem: The self-complementary products, s(mu)^2 where mu=mu^c, are linearly independent of all other s(mu) s(mu^c). Conjecture: The products s(mu) s(mu^c) are all linearly independent.


title: On Thin Sets of Primes Expressible as Sumsets

abstract: Suppose that P is an infinite set of primes such that P = A + B + C, where A,B,C are sets with at least two elements. We show that if P(x) > c x/log^d x (where P(x) = the number of elements of P that are <= x), and if A,B,C is a "regular" triple of sets, then either |A+B| <= d, or |B+C| <= d, or |A+C| <= d.


title: Knots with unique minimal genus Seifert surface and depth of knots

abstract: We describe a procedure for creating infinite families of hyperbolic knots having unique minimal genus Seifert surface. A large subset of these knots have the further property that the surface cannot be the sole compact leaf of a depth one foliation of the knot exterior.


title: Derivations of Orthosymplectic Lie Superalgebras

abstract: In this paper we describe the derivations of orthosymplectic Lie superalgebras over a superring. In particular, we derive sufficient conditions under which the derivations can be expressed as a semidirect product of inner and outer derivations. We then present some examples for which these conditions hold.


title: Existence of Ramanujan primes for GL(3)

abstract: In this Note we show that given any cusp form \pi on GL(3) over the rationals, there exist an infinite number of primes p which are Ramanujan for \pi, i.e., that the local components \pi_p are tempered for an infinite number of p. It turns out that the key structural device which is needed is the degree 8 adjoint L-function of \pi.


title: Algebras of invariant differential operators on unit sphere bundles over two-point homogeneous Riemannian spaces

abstract: Let $G$ be the identity component of the isometry group for an arbitrary curved two-point homogeneous space $M$. We consider algebras of $G$-invariant differential operators on bundles of unit spheres over $M$. The generators of this algebra and the corresponding relations for them are found. The connection of these generators with two-body problem on two-point homogeneous spaces is discussed.


title: Cyclic Cohomology, Quantum group Symmetries and the Local Index Formula for SUq(2)

abstract: We analyse the noncommutative space underlying the quantum group SUq(2) from the spectral point of view which is the basis of noncommutative geometry, and show how the general theory developped in our joint work with H. Moscovici applies to the specific spectral triple defined by Chakraborty and Pal. This provides the pseudo-differential calculus, the Wodzciki-type residue, and the local cyclic cocycle giving the index formula. The cochain whose coboundary is the difference between the original Chern character and the local one is given by the remainders in the rational approximation of the logarithmic derivative of the Dedekind eta function. This specific example allows to illustrate the general notion of locality in NCG. The formulas computing the residue are "local". Locality by stripping all the expressions from irrelevant details makes them computable. The key feature of this spectral triple is its equivariance, i.e. the $SU_q(2)$-symmetry. We shall explain how this leads naturally to the general concept of invariant cyclic cohomology in the framework of quantum group symmetries.


title: Asymptotics of the transition probabilities of the simple random walk on self-similar graphs

abstract: It is shown explicitly how self-similar graphs can be obtained as `blow-up' constructions of finite cell graphs $\hat C$. This yields a larger family of graphs than the graphs obtained by discretising continuous self-similar fractals. For a class of symmetrically self-similar graphs we study the simple random walk on a cell graph $\hat C$, starting in a vertex $v$ of the boundary of $\hat C$. It is proved that the expected number of returns to $v$ before hitting another vertex in the boundary coincides with the resistance scaling factor. Using techniques from complex rational iteration and singularity analysis for Green functions we compute the asymptotic behaviour of the $n$-step transition probabilities of the simple random walk on the whole graph. The results of Grabner and Woess for the Sierpi\'nski graph are generalised to the class of symmetrically self-similar graphs and at the same time the error term of the asymptotic expression is improved. Finally we present a criterion for the occurrence of oscillating phenomena of the $n$-step transition probabilities.


title: Isomonodromy transformations of linear systems of difference equations

abstract: We introduce and study isomonodromy transformations of the matrix linear difference equation Y(z+1)=A(z)Y(z) with polynomial (or rational) A(z). Our main result is a construction of an isomonodromy action of Z^{m(n+1)-1} on the space of coefficients A(z) (here m is the size of matrices and n is the degree of A(z)). The (birational) action of certain rank n subgroups can be described by difference analogs of the classical Schlesinger equations, and we prove that for generic initial conditions these difference Schlesinger equations have a unique solution. We also show that both the classical Schlesinger equations and the Schlesinger transformations known in the isomonodromy theory, can be obtained as limits of our action in two different limit regimes. Similarly to the continuous case, for m=n=2 the difference Schlesinger equations and their q-analogs yield discrete Painleve equations; examples include dPII, dPIV, dPV, and q-PVI.


title: R-Matrix Structure of Hitchin System in Tyurin Parameterization

abstract: We present a classical $r$-matrix for the Hitchin system without marked points on an arbitrary non-degenerate algebraic curve of genus $g\ge 2$ using Tyurin parameterization of holomorphic vector bundles.


title: Random walks that avoid their past convex hull

abstract: We introduce planar random walk conditioned to avoid its past convex hull, and we show that it escapes at a positive limsup speed. Experimental results show that fluctuations from a limiting direction are on the order of n^(3/4). This behavior is also observed for the extremal investor, a natural financial model related to the planar walk.


title: Resonances associated to a closed hyperbolic trajectory in dimension 2

abstract: We consider resonances in the semi-classical limit, generated by a single closed hyperbolic orbit, for an operator on ${\bf R}^2$. We determine all such resonancess in a domain independent of the semi-classical parameter As an application we determine all resonances generated by a saddle point in a fixed disc around the critical energy.


title: Applications of canonical relations in generic differential geometry

abstract: Conflict sets are loci of intersecting wavefronts emanating from $l$ different surfaces. We show that generically conflict sets are Legendrian: locally they admit the structure of wavefronts. Simple stable singularities for this problem in $\R^n$ occur when $0 \leq n-l \leq 4$. Other related sets, such as kite curves and centre sets are also defined and discussed. Throughout canonical relations are used as an essential tool to carry out several of these geometrical constructions.


title: Heegaard Floer homology and alternating knots

abstract: In an earlier paper, we introduced a knot invariant for a null-homologous knot K in an oriented three-manifold Y, which is closely related to the Heegaard Floer homology of Y. In this paper we investigate some properties of these knot homology groups for knots in the three-sphere. We give a combinatorial description for the generators of the chain complex and their gradings. With the help of this description, we determine the knot homology for alternating knots, showing that in this special case, it depends only on the signature and the Alexander polynomial of the knot (generalizing a result of Rasmussen for two-bridge knots). Applications include new restrictions on the Alexander polynomial of alternating knots.


title: Quantum SU(2) faithfully detects mapping class groups modulo center

abstract: The Jones-Witten theory gives rise to representations of the (extended) mapping class group of any closed surface Y indexed by a semi-simple Lie group G and a level k. In the case G=SU(2) these representations (denoted V_A(Y)) have a particularly simple description in terms of the Kauffman skein modules with parameter A a primitive 4r-th root of unity (r=k+2). In each of these representations (as well as the general G case), Dehn twists act as transformations of finite order, so none represents the mapping class group M(Y) faithfully. However, taken together, the quantum SU(2) representations are faithful on non-central elements of M(Y). (Note that M(Y) has non-trivial center only if Y is a sphere with 0, 1, or 2 punctures, a torus with 0, 1, or 2 punctures, or the closed surface of genus = 2.) Specifically, for a non-central h in M(Y) there is an r_0(h) such that if r>= r_0(h) and A is a primitive 4r-th root of unity then h acts projectively nontrivially on V_A(Y). Jones' [J] original representation rho_n of the braid groups B_n, sometimes called the generic q-analog-SU(2)-representation, is not known to be faithful. However, we show that any braid h not= id in B_n admits a cabling c = c_1,...,c_n so that rho_N (c(h)) not= id, N=c_1 + ... + c_n.


title: Nilpotent orbits over ground fields of good characteristic

abstract: Let X be an F-rational nilpotent element in the Lie algebra of a connected and reductive group G defined over the ground field F. Suppose that the Lie algebra has a non-degenerate invariant bilinear form. We show that the unipotent radical of the centralizer of X is F-split. This property has several consequences. When F is complete with respect to a discrete valuation with either finite or algebraically closed residue field, we deduce a uniform proof that G(F) has finitely many nilpotent orbits in Lie(G)(F). When the residue field is finite, we obtain a proof that nilpotent orbital integrals converge. Under some further (fairly mild) assumptions on G, we prove convergence for arbitrary orbital integrals on the Lie algebra and on the group. The convergence of orbital integrals in the case where F has characteristic 0 was obtained by Deligne and Ranga Rao (1972).


title: The Graph of Monomial Ideals

abstract: There is a natural infinite graph whose vertices are the monomial ideals in a polynomial ring. The definition involves Gr\"obner bases or the action of an algebraic torus. We present algorithms for computing the (affine schemes representing) edges in this graph. We study the induced subgraphs on multigraded Hilbert schemes and on square-free monomial ideals. In the latter case, the edges correspond to generalized bistellar flips.


title: Open books and configurations of symplectic surfaces and erratum

abstract: We study neighborhoods of configurations of symplectic surfaces in symplectic 4-manifolds. We show that suitably `positive' configurations have neighborhoods with concave boundaries and we explicitly describe open book decompositions of the boundaries supporting the associated negative contact structures. This is used to prove symplectic nonfillability for certain contact 3-manifolds and thus nonpositivity for certain mapping classes on surfaces with boundary. Similarly, we show that certain pairs of contact 3-manifolds cannot appear as the disconnected convex boundary of any connected symplectic 4-manifold. Our result also has the potential to produce obstructions to embedding specific symplectic configurations in closed symplectic 4-manifolds and to generate new symplectic surgeries. From a purely topological perspective, the techniques in this paper show how to construct a natural open book decomposition on the boundary of any plumbed 4-manifold. Erratum (added December 2003): We correct the main theorem and its proof. As originally stated, the theorem gave conditions on a configuration of symplectic surfaces in a symplectic 4-manifold under which we could construct a model neighborhood with concave boundary and describe explicitly the open book supporting the contact structure on the boundary. The statement should have included constraints on the areas of the surfaces.


title: The first Mayr-Meyer ideal

abstract: This paper gives a complete primary decomposition of the first, that is, the smallest, Mayr-Meyer ideal, its radical, and the intersection of its minimal components. The particular membership problem which makes the Mayr-Meyer ideals' complexity doubly exponential in the number of variables is here examined also for the radical and the intersection of the minimal components. It is proved that for the first Mayr-Meyer ideal the complexity of this membership problem is the same as for its radical. This problem was motivated by a question of Bayer, Huneke and Stillman.


title: Geodesic laminations revisited

abstract: The Bratteli diagram is an infinite graph which reflects the structure of projections in a C*-algebra. We prove that every strictly ergodic unimodular Bratteli diagram of rank 2g+m-1 gives rise to a minimal geodesic lamination with the m-component principal region on a surface of genus g greater or equal to 1. The proof is based on the Morse theory of the recurrent geodesics on the hyperbolic surfaces.


title: Arithmetic Macaulayfication of projective schemes

abstract: In this paper, we study arithmetic Macaulayfication of projective schemes and Rees algebras of ideals. We give a necessary and sufficient condition for a nonsingular projective scheme to have an arithmetic Macaulayfication. If the scheme is not necessarily nonsingular, we show that our condition give a sufficient condition for the existence of an arithmetic Macaulayfication. We also study truncated Rees algebra of an ideal. We show that the truncated Rees algebra R_\lambda(I) of an ideal I is alway Cohen-Macaulay for \lambda large enough in some important situations.


title: Powers of ample divisors and syzygies of projective varieties

abstract: Suppose X is a projective variety, which needs not be smooth, and L an ample divisor on X. We show that there are integers c and b such that for any nonnegative integer p, L^d is normally generated and embeds X as a variety who defining ideal has linear syzygies upto the p-th step (i.e. L^d has property N_p) for all d >= cp + b.


title: On contractions of quantum orthogonal groups

abstract: The standard Faddeev quantization of the simple groups is modified in such a way that the quantum analogs of the nonsemisimple groups are obtained by contractions. The contracted quantum groups are regarded as the algebras of noncommutative functions generated by elements $J_{ik}t_{ik},$ where $J_{ik}$ are some products of generators of the algebra ${\bf D}(\iota)$ and $t_{ik}$ are the noncommutative generators of guantum group. Possible contractions of quantum orthogonal groups essentially depend on the choice of primitive elements of the Hopf algebra. All such choices are considered for quantum group $SO_{q}(N;C)$ and all allowed contractions in Cayley--Klein scheme are described. The quantum deformations of the complex kinematical groups have been investigated as a contractions of $SO_q(5;C).$ The quantum Euclead $E_q(4;C)$ and Newton $N_q(4;C)$ groups with unchanged deformation parameter as well as Newton group $N_v(4;C)$ with transformed deformation parameter are obtained. But there is no quantum analog of the (complex) Galilei group $G(1,3).$ According to correspondence principle a new physical theory must include an old one as a particular case. For space-time symmetries this principle is realized as the chain of contractions of the kinematical groups: $$ S^{\pm}(1,3)\stackrel{K \to 0}{\longrightarrow} P(1,3)\stackrel{c \to \infty}{\longrightarrow}G(1,3). $$ As it was mentioned above there is no quantum deformation of the complex Galilei group in the standard Cayley--Klein scheme, therefore it is not possible to construct the quantum analog of the full chain of contractions of the (1+3) kinematical groups even at the level of a complex groups.


title: Jacobian pairs

abstract: We study meromorphic jacobian pairs, i.e., pairs of polynomials in one variable, with coefficients meromorphic series in a second variable, whose jacobian relative to the two variables depends only on the second variable. We pose two meromorphic jacobian conjectures about such pairs, one of which is in terms of an invariant of the pair which we call the beta invariant. These conjectures are shown to imply the bivariate algebraic jacobian conjecture which predicts that two bivariate polynomials generate the polynomial ring if their jacobian is a nonzero constant. As another technique for studying the jacobian conjecture we revisit the Newton polygon.