title: A geometric spectral theory for n-tuples of self-adjoint operators in a finite von Neumann algebra: II

abstract: Given an n-tuple {b_1, ..., b_n} of self-adjoint operators in a finite von Neumann algebra M and a faithful, normal tracial state tau on M, we define a map Psi from M to R^{n+1} by Psi(a) = (tau(a), tau(b_1a), ..., tau(b_na)). The image of the positive part of the unit ball under Psi is called the spectral scale of {b_1, .., b_n} relative to tau and is denoted by B. In a previous paper with Nik Weaver we showed that the geometry of B reflects spectral data for real linear combinations of the operators {b_1, .., b_n}. For example, we showed that an exposed face in B is determined by a certain pair of spectral projections of a real linear combination of {b_1, .., b_n}. In the present paper we extend this study to faces that are not exposed. We completely describe the structure of arbitrary faces of B in terms of {b_1, .., b_n} and tau. We also study faces of convex, compact sets that are exposed by more than one hyperplane of support. Although many of the conclusions of this study involve too much notation to fit nicely in an abstract, there are two results that give their flavor very well. Let N be the algebra generated by {b_1, ..., b_n} and the identity. Theorem 6.1: If the set of extreme points of B is countable, then N is abelian. Corollary 5.6: B has a finite number of extreme points if and only if N is abelian and finite dimensional.


title: Elliptic functions and equations of modular curves

abstract: Let $p\ge 5$ be a prime. We show that the space of weight one Eisenstein series defines an embedding into $\PP^{(p-3)/2}$ of the modular curve $X_1(p)$ for the congruence group $\Gamma_1(p)$ that is scheme-theoretically cut out by explicit quadratic equations.


title: Scattering theory for conformally compact metrics with variable curvature at infinity

abstract: We develop the scattering theory of general conformally compact metrics. For low frequencies, the domain of the scattering matrix is shown to be frequency dependent. In particular, generalized eigenfunctions exhibit L^2 decay in directions where the asymptotic curvature is sufficiently negative. The scattering matrix is shown to be a pseudodifferential operator. For generic frequency in this part of the continuous spectrum, we give an explicit construction of the resolvent kernel.


title: Symplectomorphism groups and almost complex structures

abstract: This paper studies groups of symplectomorphisms of ruled surfaces for symplectic forms with varying cohomology class. This class is characterized by the ratio R of the size of the base to that of the fiber. By considering appropriate spaces of almost complex structures, we investigate how the topological type of these groups changes as R increases. If the base is a sphere, this changes precisely when R passes an integer, and for general bases it stabilizes as R goes to infinity. Our results extend and make more precise some of the conclusions of Abreu--McDuff concerning the rational homotopy type of these groups for rational ruled surfaces.


title: Symplectic Structures on Fiber Bundles

abstract: Let $\pi: P\to B$ be a locally trivial fiber bundle over a connected CW complex $B$ with fiber equal to the closed symplectic manifold $(M,\om)$. Then $\pi$ is said to be a symplectic fiber bundle if its structural group is the group of symplectomorphisms $\Symp(M,\om)$, and is called Hamiltonian if this group may be reduced to the group $\Ham(M,\om)$ of Hamiltonian symplectomorphisms. In this paper, building on prior work by Seidel and Lalonde, McDuff and Polterovich, we show that these bundles have interesting cohomological properties. In particular, for many bases $B$ (for example when $B$ is a sphere, a coadjoint orbit or a product of complex projective spaces) the rational cohomology of $P$ is the tensor product of the cohomology of $B$ with that of $M$. As a consequence the natural action of the rational homology $H_k(\Ham(M))$ on $H_*(M)$ is trivial for all $M$ and all $k > 0$. Added: The erratum makes a small change to Theorem 1.1 concerning the characterization of Hamiltonian bundles.


title: Geometrical properties of sections of Buchsbaum-Rim sheaves

abstract: In this survey article we want to discuss a way of constructing arithmetically Gorenstein varieties of high codimension. Consider kernel sheaves B_G of general, generically surjective morphisms G between decomposable bundles on P^n. The top-dimensional part of the zero-locus of a regular section of B_G is Gorenstein if B_G has odd rank. We show how to implement the construction method in the computer algebra system Singular and produce some examples of Gorenstein curves and threefolds in P^6. Finally, we investigate a class of sheaves B_G, where the degeneracy locus of G does not have the expected codimension.


title: Cohomological properties of ruled symplectic structures

abstract: This survey presents some recent results by the authors and Polterovich on the topological properties of ruled symplectic manifolds. The bundle M \to P \to B that is associated with a ruled manifold has the group of Hamiltonian symplectomorphisms of M as structure group if the base is simply connected. Thus information about Hamiltonian bundles gives stability results for ruled structures as well as obstructions to their existence.


title: The Bennequin number of n-trivial closed n-braids is negative

abstract: A famous result of Bennequin states that for any braid representative of the unknot the Bennequin number is negative. We will extend this result to all n-trivial closed n-braids. This is a class of infinitely many knots closed under taking mirror images. Our proof relies on a non-standard parametrization of the Homfly polynomial.


title: Generalized Umemura polynomials

abstract: We introduce and study generalized Umemura polynomials $U_{n,m}^{(k)}(z,w;a,b)$ which are a natural generalization of the Umemura polynomials $U_n(z,w;a,b)$ related to Painlev\'e $VI$ equation. We will show that if $a=b$, or $a=0$, or $b=0$ then polynomials $U_{n,m}^{(0)}(z,w;a,b)$ generate solutions to Painlev\'e $VI$. We will describe a connection between polynomials $U_{n,m}^{(0)}(z,w;a,0)$ and certain Umemura polynomials $U_k(z,w;\alpha,\beta)$.


title: Uniform Exponential Growth of Polycyclic Groups

abstract: We prove that polycyclic groups are of polynomial growth or of uniform exponential growth.


title: The Modular Tree of Pythagorus

abstract: The Pythagorean triples have the structure of a ternary rooted tree; the tree is based on the Cayley graph of a free subgroup of the modular group


title: The fourth skein module and the Montesinos-Nakanishi conjecture for 3-algebraic links

abstract: We study the concept of the fourth skein module of 3-manifolds, that is a skein module based on the skein relation b_0L_0 + b_1L_1 + b_2L_2 + b_3L_3 = 0 and a framing relation L^{(1)} = aL, where a, b_0, b_3 are invertible. We introdule the concept of n-algebraic tangles (and links) and analyze the skein module for 3-algebraic links. As a byproduct we prove the Montesinos-Nakanishi 3-move conjecture for 3-algebraic links (including 3-bridge links).


title: Higher direct images of Lagrangian fibrations

abstract: We prove that the higher direct images of the dualizing sheaf of a Lagrangian fibration between smooth projective manifolds are isomorphic to the cotangent bundles of base space. As a corollary, we obtain that every Hodge number of the base space of a fibre space of an irreducible symplectic manifold is the same to that of a projective space if the base space is smooth.


title: Abelian varieties over finite fields with a specified characteristic polynomial modulo l

abstract: We estimate the fraction of isogeny classes of abelian varieties over a finite field which have a given characteristic polynomial P(T) modulo l. As an application we find the proportion of isogeny classes of abelian varieties with a rational point of order l.


title: Distribution of Values of Real Quadratic Zeta Functions

abstract: The author has previously extended the theory of regular and irregular primes to the setting of arbitrary totally real number fields. It has been conjectured that the Bernoulli numbers, or alternatively the values of the Riemann zeta function at odd negative integers, are evenly distributed modulo p for every p. This is the basis of a well-known heuristic, given by Siegel, for estimating the frequency of irregular primes. So far, analyses have shown that if Q(\sqrt{D}) is a real quadratic field, then the values of the zeta function \zeta_{D}(1-2m)=\zeta_{Q(\sqrt{D})}(1-2m) at negative odd integers are also distributed as expected modulo p for any p. However, it has proven to be very computationally intensive to calculate these numbers for large values of m. In this paper, we present the alternative of computing \zeta_{D}(1-2m) for a fixed value of D and a large number of different m.


title: Comparison of algorithms to calculate quadratic irregularity of prime numbers

abstract: In previous work, the author has extended the concept of regular and irregular primes to the setting of arbitrary totally real number fields k_{0}, using the values of the zeta function \zeta_{k_{0}} at negative integers as our ``higher Bernoulli numbers''. In the case where k_{0} is a real quadratic field, Siegel presented two formulas for calculating these zeta-values: one using entirely elementary methods and one which is derived from the theory of modular forms. (The author would like to thank Henri Cohen for suggesting an analysis of the second formula.) We briefly discuss several algorithms based on these formulas and compare the running time involved in using them to determine the index of k_{0}-irregularity (more generally, ``quadratic irregularity'') of a prime number.


title: On the algebraicization of certain Stein manifolds

abstract: To every real analytic Riemannian manifold M there is associated a complex structure on a neighborhood of the zero section in the real tangent bundle of M. This structure can be uniquely specified in several ways, and is referred to as a Grauert tube. We say that a Grauert tube is entire if the complex structure can be extended to the entire tangent bundle. We prove here that the complex manifold given by an entire Grauert tube is, in a canonical way, an affine algebraic variety. In the special case M = the 2-sphere, we show that any entire Grauert tube associated to a metric (not necessarily round) on M must be algebraically biholomorphic to the Grauert tube of the round metric, that is, the non-singular quadric surface in complex affine 3-space. (This second result has been discovered independently by B. Totaro.)


title: Symplectic rigidity for Anosov hypersurfaces

abstract: We show, using standard results in length spectrum rigidity and symplectic homology, that if the unit tangent bundles of two compact surfaces of negative curvature are exact symplectomorphic, then the underlying surfaces are isometric, and hence the disk bundles are symplectomorphic smoothly up to the boundaries. Motivated by the work of Eliashberg and Hofer on unseen symplectic boundaries, we try to extend the above result to other classes of domains in (co)tangent bundles of surfaces. The domains we can treat consist of those bounded by deformations of negatively curved unit cotangent bundles through boundaries with Anosov characteristic (Reeb) flows. We show that if two such are exact symplectomorphic, then the two domains are symplectomorphic by a diffeomorphism smooth up to the boundary. Furthermore, if two such surfaces have the same marked length spectrum then they are connected by a 1-parameter family of domains bounded by hypersurfaces with smoothly time preserving conjugate Reeb flows by a smooth family of Hamiltonian diffeomorphisms. A few counterexamples to easy generalizations are given.


title: Versal deformations and superpotentials for rational curves in smooth threefolds

abstract: The versal deformation space of a smooth rational curve in a smooth complex threefold is explicitly computed under certain hypotheses. Under an additional hypothesis, the versal deformation space is then shown to be the variety of critical points of a holomorphic function, the superpotential, as predicted by the consideration of D-branes in string theory.


title: Spherical harmonic polynomials for higher bundles

abstract: We give a method of decomposing bundle-valued polynomials compatible with the action of the Lie group $Spin(n)$, where important tools are $Spin(n)$-equivariant operators and their spectral decompositions. In particular, the top irreducible component is realized as an intersection of kernels of these operators.


title: Critical behavior of the massless free field at the depinning transition

abstract: We consider the d-dimensional massless free field localized by a delta-pinning of strength e. We study the asymptotics of the variance of the field, and of the decay-rate of its 2-point function, as e goes to zero, for general Gaussian interactions. Physically speaking, we thus rigorously obtain the critical behavior of the transverse and longitudinal correlation lengths of the corresponding d+1-dimensional effective interface model in a non-mean-field regime. We also describe the set of pinned sites at small e, for a broad class of d-dimensional massless models.

categories: math.PR cond-mat.stat-mech math-ph math.MP


title: Realcompactness and Banach-Stone theorems

abstract: For realcompact spaces X and Y we give a complete description of the linear biseparating maps between spaces of vector-valued continuous functions on X and Y, where special attention is paid to spaces of vector-valued bounded continuous functions. These results are applied to describe the linear isometries between spaces of vector-valued bounded continuous and uniformly continuous functions.


title: On Level Zero Representations of Quantized Affine Algebras

abstract: We study the properties of level zero modules over quantized affine algebras. The proof of the conjecture on the cyclicity of tensor products by Akasaka and the present author is given. Several properties of modules generated by extremal vectors are proved. The weights of a module generated by an extremal vector are contained in the convex hull of the Weyl group orbit of the extremalweight. The universal extremal weight module with level zero fundamental weight as an extremal weight is irreducible, and isomorphic to the affinization of an irreducible finite-dimensional module.


title: Noncommutative pressure and the variational principle in Cuntz-Krieger-type C*-algebras

abstract: We define a notion of dynamical pressure at a self-adjoint element for a contractive completely positive self-map of an exact C*-algebra which adopts Voiculescu's approximation approach to noncommutative entropy and extends the Voiculescu-Brown topological entropy and Neshveyev-Stormer unital-nuclear pressure. A variational inequality bounding the pressure below by the free energies with respect to the Sauvageot-Thouvenot entropy is established in two stages via the introduction of a local state approximation entropy, whose associated free energies function as an intermediate term. Pimsner C*-algebras furnish a framework for investigating the variational principle, which asserts the equality of the pressure and the supremum of the free energies over all dynamically invariant states. In one direction we extend Brown's result on the constancy of the Voiculescu-Brown entropy upon passing to the crossed product, and in another we show that the pressure of a self-adjoint element over the Markov subshift underlying the canonical map on a Cuntz-Kreiger algebra is equal to its classical pressure. The latter result is extended to a more general setting comprising an expanded class of Cuntz-Krieger-type Pimsner algebras, leading to the variational principle for self-adjoint elements in a diagonal subalgebra. Equilibrium states are constructed from KMS states under certain conditions in the case of Cuntz-Krieger algebras.


title: Novikov-Morse theory for dynamical systems

abstract: The present paper contains an interpretation and generalization of Novikov's theory of Morse type inequalities for 1-forms in terms of Conley's theory for dynamical systems.


title: Representations of fundamental groups of algebraic manifolds and their restrictions to fibers of a fibration

abstract: We use pluriharmonic maps to study representations of fundamental groups of algebraic manifolds. This approach is functorial in the sense that the restriction of such a map to a fiber of a fibration remains pluriharmonic, and on this basis, we can investigate the relation between the properties of the original representation and what can be inferred by restricting it to the fibers of a fibration.


title: Lelong numbers with respect to regular plurisubharmonic weights

abstract: Generalized Lelong numbers of plurisubharmonic functions with respect to plurisubharmonic weights (due to Demailly) are specified for weights with multicircled asymptotics. Explicit formulas for these values are obtained in terms of the directional Lelong numbers of the functions and the Newton diagrams of the weights. An extension of Demailly's approximation theorem is proved as well.


title: Apollonian Circle Packings: Geometry and Group Theory I. The Apollonian Group

abstract: Apollonian circle packings arise by repeatedly filling the interstices between four mutually tangent circles with further tangent circles. We observe that there exist Apollonian packings which have strong integrality properties, in which all circles in the packing have integer curvatures and rational centers such that (curvature)$\times$(center) is an integer vector. This series of papers explain such properties. A {\em Descartes configuration} is a set of four mutually tangent circles with disjoint interiors. We describe the space of all Descartes configurations using a coordinate system $\sM_\DD$ consisting of those $4 \times 4$ real matrices $\bW$ with $\bW^T \bQ_{D} \bW = \bQ_{W}$ where $\bQ_D$ is the matrix of the Descartes quadratic form $Q_D= x_1^2 + x_2^2+ x_3^2 + x_4^2 -{1/2}(x_1 +x_2 +x_3 + x_4)^2$ and $\bQ_W$ of the quadratic form $Q_W = -8x_1x_2 + 2x_3^2 + 2x_4^2$. There are natural group actions on the parameter space $\sM_\DD$. We observe that the Descartes configurations in each Apollonian packing form an orbit under a certain finitely generated discrete group, the {\em Apollonian group}. This group consists of $4 \times 4$ integer matrices, and its integrality properties lead to the integrality properties observed in some Apollonian circle packings. We introduce two more related finitely generated groups, the dual Apollonian group and the super-Apollonian group, which have nice geometrically interpretations. We show these groups are hyperbolic Coxeter groups.


title: Symplectic geometry and the uniqueness of Grauert tubes

abstract: A compact real analytic Riemannian manifold M admits a canonical complexification with plurisubharmonic exhaustion function satisfying the homogeneous complex Monge-Ampere equation, called a Grauert tube. From the point of view of complex analysis, several authors have considered whether a given complex manifold can arise in more than one way from this construction. We show that given a compact M and a finite exhaustion, the underlying Riemannian structure is unique. The proof uses the technique of holomorphic disks spanning two exact Lagrangian submanifolds of the cotangent bundle of M, and Schwarz reflection.


title: Bounded cohomology and non-uniform perfection of mapping class groups

abstract: Using the existence of certain symplectic submanifolds in symplectic 4-manifolds, we prove an estimate from above for the number of singular fibers with separating vanishing cycles in minimal Lefschetz fibrations over surfaces of positive genus. This estimate is then used to deduce that mapping class groups are not uniformly perfect, and that the map from their second bounded cohomology to ordinary cohomology is not injective.


title: Symplectic Floer homology and the mapping class group

abstract: We consider symplectic Floer homology in the lowest nontrivial dimension, that is to say, for area-preserving diffeomorphisms of surfaces. Particular attention is paid to the quantum cap product; we show that it distinguishes the trivial element of the mapping class group from any nontrivial one.


title: Apollonian Circle Packings: Geometry and Group Theory II. Super-Apollonian Group and Integral Packings

abstract: Apollonian circle packings arise by repeatedly filling the interstices between four mutually tangent circles with further tangent circles. Such packings can be described in terms of the Descartes configurations they contain. It observed there exist infinitely many types of integral Apollonian packings in which all circles had integer curvatures, with the integral structure being related to the integral nature of the Apollonian group. Here we consider the action of a larger discrete group, the super-Apollonian group, also having an integral structure, whose orbits describe the Descartes quadruples of a geometric object we call a super-packing. The circles in a super-packing never cross each other but are nested to an arbitrary depth. Certain Apollonian packings and super-packings are strongly integral in the sense that the curvatures of all circles are integral and the curvature$\times$centers of all circles are integral. We show that (up to scale) there are exactly 8 different (geometric) strongly integral super-packings, and that each contains a copy of every integral Apollonian circle packing (also up to scale). We show that the super-Apollonian group has finite volume in the group of all automorphisms of the parameter space of Descartes configurations, which is isomorphic to the Lorentz group $O(3, 1)$.


title: Radicals and Plotkin's problem concerning geometrically equivalent groups

abstract: If G and X are groups and N is a normal subgroup of X, then the G-closure of N in X is the normal subgroup X^G= bigcap{kerphi|phi:X-> G, with N subseteq kerphi} of X . In particular, 1^G = R_G X is the G-radical of X. Plotkin calls two groups G and H geometrically equivalent, written G H, if for any free group F of finite rank and any normal subgroup N of F the G-closure and the H-closure of N in F are the same. Quasiidentities are formulas of the form (bigwedge_{i<=n}w_i=1 -> w =1) for any words w, w_i (i<=n) in a free group. Generally geometrically equivalent groups satisfy the same quasiidentiies. Plotkin showed that nilpotent groups G and H satisfy the same quasiidenties if and only if G and H are geometrically equivalent. Hence he conjectured that this might hold for any pair of groups. We provide a counterexample.


title: Outer Automorphism Groups of Ordered Permutation Groups

abstract: An infinite linearly ordered set (S,<=) is called doubly homogeneous if its automorphism group A(S) acts 2-transitively on it. We show that any group G arises as outer automorphism group G cong Out(A(S)) of the automorphism group A(S), for some doubly homogeneous chain (S,<=).


title: Countable structure does not have a free uncountable automorphism group

abstract: Solecki proved that the group of automorphisms of a countable structure cannot be an uncountable free abelian group. See more in Just, Shelah and Thomas math.LO/0003120 where as a by product we can say something on on uncountable structures. We prove here the following Theorem: If A is a countable model, then Aut(M) cannot be a free uncountable group.


title: The strict order property and generic automorphisms

abstract: If T is an model complete theory with the strict order property, then the theory of the models of T with an automorphism has no model companion.


title: Fields, towers of function fields meeting asymptotic bounds, and basis constructions for algebraic-geometric codes

abstract: In this work, we use the notion of ``symmetry'' of functions for an extension $K/L$ of finite fields to produce extensions of a function field $F/K$ in which almost all places of degree one split completely. Then we introduce the notion of ``quasi-symmetry'' of functions for $K/L$, and demonstrate its use in producing extensions of $F/K$ in which all places of degree one split completely. Using these techniques, we are able to restrict the ramification either to one chosen rational place, or entirely to non-rational places. We then apply these methods to the related problem of building asymptotically good towers of function fields. We construct examples of towers of function fields in which all rational places split completely throughout the tower. We construct Abelian towers with this property also. Furthermore, all of the above are done explicitly, ie., we give generators for the extensions, and equations that they satisfy. We also construct an integral basis for a set of places in a tower of function fields meeting the Drinfeld-Vladut bound using the discriminant of the tower localized at each place. Thus we are able to obtain a basis for a collection of functions that contains the set of regular functions in this tower. Regular functions are of interest in the theory of error-correcting codes as they lead to an explicit description of the code associated to the tower by providing the code's generator matrix.


title: A family of *-algebras allowing Wick ordering: Fock representations and universal enveloping $C^*$-algebras

abstract: We consider an abstract Wick ordering as a family of relations on elements a_i and define *-algebras by these relations. The relations are given by a fixed operator T:h\otimes h --> h \otimes h, where h is one-particle space, and they naturally define both a *-algebra and an inner-product space H_T, <.,.>_T. If a_i^* denotes the adjoint, i.e., <a_i\phi,\psi>_T=<\phi,a_i^*\psi>_T, then we identify when <.,.>_T is positive semidefinite (the positivity question). In the case of deformations of the CCR-relations (the q_{ij}-CCR and the twisted CCR's), we work out the universal C*-algebras A, and we prove that, in these cases, the Fock representations of the A's are faithful.


title: On positivity of the Kadison constant and noncommutative Bloch theory

abstract: In an earlier paper, we established a natural connection between the Baum-Connes conjecture and noncommutative Bloch theory, viz. the spectral theory of projectively periodic elliptic operators on covering spaces. We elaborate on this connection here and provide significant evidence for a fundamental conjecture in noncommutative Bloch theory on the non-existence of Cantor set type spectrum. This is accomplished by establishing an explicit lower bound for the Kadison constant of twisted group C*-algebras in a large number of cases, whenever the multiplier is rational.


title: The mapping class group of a genus two surface is linear

abstract: In this paper we construct a faithful representation of the mapping class group of the genus two surface into a group of matrices over the complex numbers. Our starting point is the Lawrence-Krammer representation of the braid group B_n, which was shown to be faithful by Bigelow and Krammer. We obtain a faithful representation of the mapping class group of the n-punctured sphere by using the close relationship between this group and B_{n-1}. We then extend this to a faithful representation of the mapping class group of the genus two surface, using Birman and Hilden's result that this group is a Z_2 central extension of the mapping class group of the 6-punctured sphere. The resulting representation has dimension sixty-four and will be described explicitly. In closing we will remark on subgroups of mapping class groups which can be shown to be linear using similar techniques.


title: Helly-type Theorems for Plane Convex Curves

abstract: Families of translates and homothets of strictly convex curves are proven to possess Helly-type properties generalizing those of a circle. Weaker results are shown for arbitrary convex curves.


title: Chains of twists for symplectic Lie algebras

abstract: Serious difficulties arise in the construction of chains of twists for symplectic Lie algebras. Applying the canonical chains of extended twists to deform the Hopf algebras U(sp(N)) one is forced to deal only with improper chains (induced by the U(sl(N)) subalgebras). In the present paper this problem is solved. For chains of regular injections the sets of maximal extended jordanian twists F_{E,k} are considered. We prove that there exists for U(sp(N)) the twist F_{B,k} composed of the factors F_{E,k}. It is demonstrated that the twisting procedure deforms the space of the primitive subalgebra sp(N-1). The recursive algorithm for such deformation is found. This construction generalizes the results obtained for orthogonal classical Lie algebras and demonstrates the universality of primitivization effect for regular chains of subalgebras. For the chain of maximal length the twists F_{B,k,max} become full, their carriers contain the Borel subalgebra B(sp(N)). Using such twisting procedures one can obtain the explicit quantizations for a wide class of classical r-matrices. As an example the full chain of extended twists for U(sp(3)) is considered.


title: Rank one discrete valuations of $k((X_1,...X_n))$

abstract: In this paper we study the rank one discrete valuations of $k((X_1,... ,X_n))$ whose center in $k\lcor\X\rcor$ is the maximal ideal $(\X)$. In sections 2 to 6 we give a construction of a system of parametric equations describing such valuations. This amounts to finding a parameter and a field of coefficients. We devote section 2 to finding an element of value 1, that is, a parameter. The field of coefficients is the residue field of the valuation, and it is given in section 5. The constructions given in these sections are not effective in the general case, because we need either to use the Zorn's lemma or to know explicitly a section $\sigma$ of the natural homomorphism $R_v\to\d$ between the ring and the residue field of the valuation $v$. However, as a consequence of this construction, in section 7, we prove that $k((\X))$ can be embedded into a field $L((\Y))$, where the {\em ``extended valuation'' is as close as possible to the usual order function}.


title: Basics of the b-calculus

abstract: R. B. Melrose's b-calculus provides a framework for dealing with problems of partial differential equations that arise in singular or degenerate geometric situations. This article is a somewhat informal short course introducing many of the basic ideas of this world, assuming little more than a basic analysis and manifold background. As examples, classical pseudodifferential operators on manifolds and b-pseudodifferential (also known as totally characteristic) operators on manifolds with boundary are discussed.


title: The structure of Chip Firing Games and related models

abstract: In this paper, we study the dynamics of sand grains falling in sand piles. Usually sand piles are characterized by a decreasing integer partition and grain moves are described in terms of transitions between such partitions. We study here four main transition rules. The more classical one, introduced by Brylawski (1973) induces a lattice structure $L_B (n)$ (called dominance ordering) between decreasing partitions of a given integer n. We prove that a more restrictive transition rule, called SPM rule, induces a natural partition of L_B (n) in suborders, each one associated to a fixed point for SPM rule. In the second part, we extend the SPM rule in a natural way and obtain a model called Chip Firing Game (Goles and Kiwi, 1993). We prove that this new model has interesting properties: the induced order is a lattice, a natural greedoid can be associated to the model and it also defines a strongly convergent game. In the last section, we generalize the SPM rule in another way and obtain other lattice structure parametrized by some t: L(n,t), which form for -n+2 <= t <= n a decreasing sequence of lattices. For each t, we characterize the fixed point of L(n,t) and give the value of its maximal sized chain's lenght. We also note that L(n,-n+2) is the lattice of all compositions of n.


title: Random Delaunay triangulations and metric uniformization

abstract: In this paper a new connection between the discrete conformal geometry problem of disk pattern construction and the continuous conformal geometry problem of metric uniformization is presented. In a nutshell, we discuss how to construct disk patterns by optimizing an objective function, which turns out to be intimately related to hyperbolic volume. With the use of random Delaunay triangulations we then average this objective function to construct an objective function on the metrics conformal to a fixed one. Finally using this averaged objective function we may reprove the uniformization theorem in two dimensions.


title: On the relation of the monomial group with other algebraic structures

abstract: It is shown in what way monomial group connects Abelian group Z^{n} and total linear group GL(n). It is shown that any subgroup of Abelian group Z^{n} induces subgroup of monomial group $S_{2}\wr S_n}$, which in its turn induces corresponding subgroup of GL_{n}(R).


title: On the chiral ring of Calabi-Yau hypersurfaces in toric varieties

abstract: We study the B-model chiral ring of Calabi-Yau hypersurfaces in Batyrev's mirror construction. The main result is an explicit description of a subring of the chiral ring of semiample regular (transversal to torus orbits) Calabi-Yau hypersurfaces. This subring includes the marginal operators and contains all information about the correlation functions used by physicists. Computation of the chiral ring passes through a description of cohomology of semiample hypersurfaces. Here, we develop the techniques for calculating of the cohomology of resolutions.


title: Elementary Transversality in the Schubert calculus in any Characteristic

abstract: We give a characteristic-free proof that general codimension-1 Schubert varieties meet transversally in a Grassmannian and in some related varieties. Thus the corresponding intersection numbers computed in the Chow (and quantum Chow) rings of these varieties are enumerative in all characteristics. We show that known transversality results do not apply to these enumerative problems, emphasizing the need for additional theoretical work on transversality. The method of proof also strengthens some results in real enumerative geometry.


title: An example of a non acyclic Koszul complex of a module

abstract: In his paper "Residues of a Pfaff system relative to an invariant subscheme" in Trans. Amer. Math. Soc. 352, 2000, 4019-4035, F. Sancho de Salas defines the universal Koszul complex of a module $M$ over a sheaf of rings $\mathcal{O}$ as ${\rm Kos}(M)=\Lambda (M)\otimes_{\mathcal{O}}S(M)$, where $\Lambda (M)$ and $S(M)$ stand for the exterior and symmetric algebras of $M$, endowed with the usual differential, and he conjectures (Conjecture 2.3.) that ${\rm Kos}(M)$ is always acyclic. We give here an example of a non acyclic Koszul complex ${\rm Kos}(M)$.


title: A proof of the Tsygan formality conjecture for chains

abstract: We extend the Kontsevich formality $L_\infty$-morphism $\U\colon T^\ndot_\poly(\R^d)\to\D^\ndot_\poly(\R^d)$ to an $L_\infty$-morphism of an $L_\infty$-modules over $T^\ndot_\poly(\R^d)$, $\hat \U\colon C_\ndot(A,A)\to\Omega^\ndot(\R^d)$, $A=C^\infty(\R^d)$. The construction of the map $\hat \U$ is given in Kontsevich-type integrals. The conjecture that such an $L_\infty$-morphism exists is due to Boris Tsygan \cite{Ts}. As an application, we obtain an explicit formula for isomorphism $A_*/[A_*,A_*]\simto A/\{A,A\}$ ($A_*$ is the Kontsevich deformation quantization of the algebra $A$ by a Poisson bivector field, and $\{{,}\}$ is the Poisson bracket). We also formulate a conjecture extending the Kontsevich theorem on the cup-products to this context. The conjecture implies a generalization of the Duflo formula, and many other things.


title: Verma-type Modules for Quantum Affine Lie Algebras

abstract: Let g be an untwisted affine Kac-Moody algebra and M_J(lambda) a Verma-type module for g with J-highest integral weight lambda. We construct quantum Verma-type modules M_J^q(lambda) over the quantum group U_q(g), investigate their properties and show that M_J^q(lambda) is a true quantum deformation of M_J(\l) in the sense that the weight structure is preserved under the deformation. We also analyze the submodule structure of quantum Verma-type modules.


title: Zariski theorems and diagrams for braid groups

abstract: Empirical properties of generating systems for complex reflection groups and their braid groups have been observed by Orlik-Solomon and Brou\'e-Malle-Rouquier, using Shephard-Todd classification. We give a general existence result for presentations of braid groups, which partially explains and generalizes the known empirical properties. Our approach is invariant-theoretic and does not use the classification. The two ingredients are Springer theory of regular elements and a Zariski-like theorem.


title: Apollonian Circle Packings: Geometry and Group Theory III. Higher Dimensions

abstract: This paper gives $n$-dimensional analogues of the Apollonian circle packings in parts I and II. We work in the space $\sM_{\dd}^n$ of all $n$-dimensional oriented Descartes configurations parametrized in a coordinate system, ACC-coordinates, as those $(n+2) \times (n+2)$ real matrices $\bW$ with $\bW^T \bQ_{D,n} \bW = \bQ_{W,n}$ where $Q_{D,n} = x_1^2 +... + x_{n+2}^2 - \frac{1}{n}(x_1 +... + x_{n+2})^2$ is the $n$-dimensional Descartes quadratic form, $Q_{W,n} = -8x_1x_2 + 2x_3^2 + ... + 2x_{n+2}^2$, and $\bQ_{D,n}$ and $\bQ_{W,n}$ are their corresponding symmetric matrices. There are natural actions on the parameter space $\sM_{\dd}^n$. We introduce $n$-dimensional analogues of the Apollonian group, the dual Apollonian group and the super-Apollonian group. These are finitely generated groups with the following integrality properties: the dual Apollonian group consists of integral matrices in all dimensions, while the other two consist of rational matrices, with denominators having prime divisors drawn from a finite set $S$ depending on the dimension. We show that the the Apollonian group and the dual Apollonian group are finitely presented, and are Coxeter groups. We define an Apollonian cluster ensemble to be any orbit under the Apollonian group, with similar notions for the other two groups. We determine in which dimensions one can find rational Apollonian cluster ensembles (all curvatures rational) and strongly rational Apollonian sphere ensembles (all ACC-coordinates rational).


title: The Rotation Class of a Flow

abstract: Generalizing a construction of A. Weil, we introduce a topological invariant for flows on compact, connected, finite dimensional, abelian, topological groups. We calculate this invariant for some examples and compare the invariant with other flow invariants.


title: A functional-analytic theory of vertex (operator) algebras, II

abstract: For a finitely-generated vertex operator algebra of central charge c, a locally convex topological completion is constructed. We construct on the completion a structure of an algebra over the operad of the c/2-th power of the determinant line bundle over the moduli space of genus-zero Riemann surfaces with ordered analytically parametrized boundary components. In particular, the completion is a module for the semi-group of the c/2-th power of the determinant line bundle over the moduli space of conformal equivalence classes of annuli with analytically parametrized boundary components. The results in Part I for Z-graded vertex algebras are also reformulated in terms of the framed little disk operad. Using May's recognition principle for double loop spaces, one immediate consequence of such operadic formulations is that the compactly generated spaces corresponding to (or the k-ifications of) the locally convex completions constructed in Part I and in the present paper have the weak homotopy types of double loop spaces. We also generalize the results above to locally-grading-restricted conformal vertex algebras and to modules.


title: Annular Dehn fillings

abstract: We show that if a simple 3-manifold $M$ has two Dehn fillings at distance $\Delta \geq 4$, each of which contains an essential annulus, then $M$ is one of three specific 2-component link exteriors in $S^3$. One of these has such a pair of annular fillings with $\Delta = 5$, and the other two have pairs with $\Delta = 4$.


title: A matrix model for quantum SL_2

abstract: We describe a topological ribbon Hopf algebra whose elements are sequences of matrices. The algebra is a quantum version of U(sl_2).


title: A Lecture about classification of Lorentzian Kac-Moody algebras of the rank three

abstract: This is the announcement and partly the review of our results about classification of Lorentzian Kac-Moody algebras of the rank three. One of our results gives the classification of Lorentzian Kac-Moody algebras with denominator identity functions which are holomorphic reflective automorphic forms with respect to paramodular groups. Almost all of them were found in our paper ``Automorphic forms and Lorentzian Kac-Moody algebras. Parts I, II'', Intern. J. Math. 9 (1998), 153-275. Our main result gives classification of all reflective meromorphic automorphic products with respect to paramodular groups. This is mainly a presentation of our lectures given during the Workshop: ``Applications to Quantum Field Theory'', October 23 - 27, 2000, in the Newton Mathematical Institute at Cambridge.


title: The Kauffman bracket skein as an algebra of observables

abstract: We prove that the Kauffman bracket skein algebra of a cylinder over a surface with boundary, defined over complex numbers, is isomorphic to the observables of an appropriate lattice gauge field theory.


title: Dromion perturbation for the Davey-Stewartson-1 equations

abstract: The perturbation of the dromion of the Davey-Stewartson-1 equation is studied over the large time.


title: Dynamical Weyl groups and applications

abstract: Following a preceding paper of Tarasov and the second author, we define and study a new structure, which may be regarded as the dynamical analogue of the Weyl group for Lie algebras and of the quantum Weyl group for quantized enveloping algebras. We give some applications of this new structure.


title: Transmutation kernels for the little q-Jacobi function transform

abstract: The little q-Jacobi function transform depends on three parameters. An explicit expression as a sum of two very-well-poised 8W7-series is derived for the dual transmutation kernel (a kind of non-symmetric Poisson kernel) relating little q-Jacobi function transforms for different parameter sets. A product formula for the dual transmutation kernel is obtained. For the inverse transform the transmutation kernel is given as a 3\phi2-series, and a product formula as a finite sum is derived. The transmutation kernel gives rise to intertwining operators for the second order hypergeometric q-difference operator, which generalise the intertwining operators arising from a Darboux factorisation.


title: Generalized Metrical Multi-Time Lagrange Geometry of Physical Field

abstract: The paper developes a geometrization of a Kronecker $h$-regular vertical fundamental metrical d-tensor $G^{(\alpha)(\beta)}_{(i)(j)}$ on the jet fibre bundle of order one $J^1(T,M)$. This geometrization gives a mathematical model for both gravitational and electromagnetic field theory, in a general setting. In this context, the Einstein and Maxwell equations are described.


title: Scattering on stratified media: the micro-local properties of the scattering matrix and recovering asymptotics of perturbations

abstract: The fixed energy scattering matrix is defined on a perturbed stratified medium, and for a class of perturbations, its main part is shown to be a Fourier integral operator on the sphere at infinity. This is facilitated by developing a refined limiting absorption principle. The symbol of the scattering matrix is shown to determine the asymptotics of a large class of perturbations.


title: The classification of exceptional Dehn surgeries on 2-bridge knots

abstract: We will classify all exceptional Dehn surgeries on 2-bridge knots according to whether they produce reducible, toroidal, or small Seifert fibered manifolds.


title: Incompressible surfaces in link complements

abstract: We generalize a theorem of Finkelstein and Moriah and show that if a link $L$ has a $2n$-plat projection satisfying certain conditions, then its complement contains some closed essential surfaces. In most cases these surfaces remain essential after any totally nontrivial surgery on $L$.


title: Completely tubing compressible tangles and standard graphs in genus one 3-manifolds

abstract: We prove a conjecture of Menasco and Zhang that if a tangle is completely tubing compressible then it consists of at most two families of parallel strands. This is related to problems of graphs in 3-manifold. A 1-vertex graph $\Gamma$ in a 3-manifold $M$ with a genus 1 Heegaard splitting is standard if it consists of one or two parallel sets of core curves lying in the Heegaard splitting solid tori of $M$ in the standard way. The above conjecture then follows from the theorem which says that a 1-vertex graph in $M$ is standard if and only if the exteriors of all its nontrivial subgraphs are handlebodies.


title: Compatible sequences and a slow Winkler percolation

abstract: Two infinite 0-1 sequences are called compatible when it is possible to cast out 0's from both in such a way that they become complementary to each other. Answering a question of Peter Winkler, we show that if the two 0-1-sequences are random i.i.d. and independent from each other, with probability p of 1's, then if p is sufficiently small they are compatible with positive probability. The question is equivalent to a certain dependent percolation with a power-law behavior: the probability that the origin is blocked at distance n but not closer decreases only polynomially fast and not, as usual, exponentially.


title: Maximal abelian subalgebras of O_n

abstract: We consider maximal abelian subalgebras of O_n which are invariant to the standard circle action.


title: Double Schubert polynomials and degeneracy loci for the classical groups

abstract: We propose a theory of double Schubert polynomials P_w(X,Y) for the Lie types B, C, D which naturally extends the family of Lascoux of Schutzenberger in type A. These polynomials satisfy positivity, orthogonality, and stability properties, and represent the classes of Schubert varieties and degeneracy loci of vector bundles. When w is a maximal Grassmannian element of the Weyl group, P_w(X,Y) can be expressed in terms of Schur-type determinants and Pfaffians, in analogy with the type A formula of Kempf and Laksov. An example, motivated by quantum cohomology, shows that there are no Chern class formulas for degeneracy loci of ``isotropic morphisms'' of bundles.


title: Periodic orbits of Hamiltonian flows near symplectic extrema

abstract: For Hamiltonian flows we establish the existence of periodic orbits on a sequence of level sets approaching a Bott-nondegenerate symplectic extremum of the Hamiltonian. As a consequence, we show that a charge on a compact manifold with a nondegenerate (i.e. symplectic) magnetic field has periodic orbits on a sequence of energy levels converging to zero.


title: Newton polygon and string diagram

abstract: In this work, we discuss graph like image of curves under moment maps and their relation with the Newton polygon of the curve, which has applications to Lagrangian torus fibration of Calabi-Yau manifolds.


title: On the Deligne-Simpson problem

abstract: The Deligne-Simpson problem is formulated like this: give necessary and sufficient conditions for the choice of the conjugacy classes $C_j\subset SL(n,{\bf C})$ or $c_j\subset sl(n,{\bf C})$ so that there exist irreducible $(p+1)$-tuples of matrices $M_j\in C_j$ or $A_j\in c_j$ satisfying the equality $M_1... M_{p+1}=I$ or $A_1+... +A_{p+1}=0$. We solve the problem for generic eigenvalues with the exception of the case of matrices $M_j$ when the greatest common divisor of the numbers $\Sigma_{j,l}(\sigma)$ of Jordan blocks of a given matrix $M_j$, with a given eigenvalue $\sigma$ and of a given size $l$ (taken over all $j$, $\sigma$, $l$) is $>1$. Generic eigenvalues are defined by explicit algebraic inequalities. For such eigenvalues there exist no reducible $(p+1)$-tuples. The matrices $M_j$ and $A_j$ are interpreted as monodromy operators of regular linear systems and as matrices-residua of fuchsian ones on Riemann's sphere.


title: Differential forms and smoothness of quotients by reductive groups

abstract: In this paper we give smoothness criterions for a good quotient Y of a smooth variety X by a reductive group G. Our results partially answer a question raised by J. Fogarty in the case where G is a finite group. They also give a converse to a theorem of M. Brion, telling that invariant horizontal differential forms on X and differential forms on Y are isomorphic under the assumption that Y is smooth. The proof of our criterion rely on a new description of the dualizing sheaf of Y established in this article.


title: Some examples related to the Deligne-Simpson problem

abstract: We consider the variety of $(p+1)$-tuples of matrices $M_j$ from given conjugacy classes from $GL(n,{\bf C})$ such that $M_1... M_{p+1}=I$. This variety is connected with the Deligne-Simpson problem and the matrices $M_j$ are interpreted as monodromy operators of regular systems on Riemann's sphere. We consider among others cases when the dimension of the variety is higher than the expected one due to the presence of $(p+1)$-tuples with non-trivial centralizers.


title: Random Delaunay triangulations, the Thurston-Andreev theorem, and metric uniformization

abstract: In this thesis a connection between the worlds of discrete and continuous conformal geometry is explored. Specifically, a disk pattern production theroem is proved using an energy which measures how ``uniform'' the angle data of a triangulation is, see also math.DG/0002150. Then this energy is averaged over all the Delaunay triangulation of a Riemannian surface to form an energy measuring how ``uniform'' a metric is, see also math.DG/0010316.


title: Arnold's Diffusion in nearly integrable isochronous Hamiltonian systems

abstract: We consider the problem of Arnold's diffusion for nearly integrable isochronous Hamiltonian systems. We prove a shadowing theorem which improves the known estimates for the diffusion time. We also develop a new method for measuring the splitting of the separatrices. As an application we justify, for three time scales systems, that the splitting is correctly predicted by the Poincar\'e-Melnikov function.


title: The Castelnuovo-Mumford regularity of an integral variety of a vector field on projective space

abstract: The Castelnuovo-Mumford regularity r of a complex, projective variety V is an upper bound for the degrees of the hypersurfaces necessary to cut out V. In this note we give a bound for r when V is left invariant by a vector field on the ambient projective space. More precisely, assume V is arithmetically Cohen-Macaulay, for instance, a complete intersection. Assume as well that V projects to a normal-crossings hypersurface, which is the case when V is a curve with at most ordinary nodes. Then we show that r<m+s+2, where s is the dimension of V and m is the degree of the vector field. Our method consists of using first central projections to reduce the problem to when V is a hypersurface, and then bounds given by Brunella and Mendes.


title: Recurrence of Distributional Limits of Finite Planar Graphs

abstract: Suppose that $G_j$ is a sequence of finite connected planar graphs, and in each $G_j$ a special vertex, called the root, is chosen randomly-uniformly. We introduce the notion of a distributional limit $G$ of such graphs. Assume that the vertex degrees of the vertices in $G_j$ are bounded, and the bound does not depend on $j$. Then after passing to a subsequence, the limit exists, and is a random rooted graph $G$. We prove that with probability one $G$ is recurrent. The proof involves the Circle Packing Theorem. The motivation for this work comes from the theory of random spherical triangulations.


title: A one-dimensional embedding complex

abstract: We give the first explicit computations of rational homotopy groups of spaces of "long knots" in Euclidean spaces. We define a spectral sequence which converges to these rational homotopy groups whose E^1 term is defined in terms of braid Lie algebras. For odd k we establish a vanishing line for this spectral sequence, show the Euler characteristic of the rows of this E^1 term is zero, and make calculations of E^2 in a finite range.


title: 3-manifolds which are spacelike slices of flat spacetimes

abstract: We continue work initiated in a 1990 preprint of Mess giving a geometric parameterization of the moduli space of classical solutions to Einstein's equations in 2+1 dimensions with cosmological constant 0 or -1 (the case +1 has been worked out in the interim by the present author). In this paper we make a first step toward the 3+1-dimensional case by determining exactly which closed 3-manifolds M^3 arise as spacelike slices of flat spacetimes, and by finding all possible holonomy homomorphisms pi_1(M^3) to ISO(3,1).


title: Trilinear relations between the tetrahedron volumes in a cluster

abstract: We prove elegant trilinear formulas connecting products of volumes of Euclidean tetrahedra with vertices taken from a given set of 6 points. We propose a way for generalizing those formulas.


title: Enumeration of ad-nilpotent $\frak b$-ideals for simple Lie algebras

abstract: We provide explicit formulas for the number of ad-nilpotent ideals of a Borel subalgebra of a complex simple Lie algebra having fixed class of nilpotence.


title: Transform\'ee de Mellin des int\'egrales-fibres associ\'ees aux singularit\'es isol\'ees d'intersection coml\`ete quasihomog\`ene

abstract: The Mellin transform of fibre integral is calculated for certain isolated singularities of quasihomogeneous complete intersections (especially the unimodal singualrities of the list by Giusti and Wall). We show the property of symmetry between spectra of Gauss-Manin and shed light on the lattice structure of poles of the Mellin transform by means of topological data of the singularity. As an application, Hodge numbers of the Milnor fibre are expressed by counting the spectra of Gauss-Manin.


title: Uniformly Generating Distribution Functions for Discrete Random Variables

abstract: An algorithm is presented which, with optimal efficiency, solves the problem of uniform random generation of distribution functions for an n-valued random variable.


title: On the Fu/v cik spectrum with indefinite weights

abstract: This paper is devoted to the study of the Fu/v cik spectrum with indefinite weights in the one-dimensional case.


title: Fu/v cik Spectrum for the Neumann Problem with Indefinite Weights

abstract: We obtain a description of the Fu\v{c}ik spectrum associated to the one-dimensional asymmetric problem with indefinite weights $Lu = am(t)u^+ - bn(t)u^-$ in $]T_1, T_2[$, $u'(T_1) = 0 = u'(T_2)$, where $L$ is a Sturm-Liouville operator. Our approach is based on the shooting method.


title: On certain automorphisms of sets of partial isometries

abstract: Under the mild condition of continuity at a single point we describe all the bijections of the set of all partial isometries on a Hilbert space which preserve the order and the orthogonality in both directions. Moreover, we present a natural analogue of Wigner's theorem on quantum mechanical symmetries for the set of all rank-1 partial isometries.


title: Transformations on the set of all n-dimensional subspaces of a Hilbert space preserving principal angles

abstract: Wigner's classical theorem on symmetry transformations plays a fundamental role in quantum mechanics. It can be formulated, for example, in the following way: Every bijective transformation on the set L of all 1-dimensional subspaces of a Hilbert space H which preserves the angle between the elements of L is induced by either a unitary or an antiunitary operator on H. The aim of this paper is to extend Wigner's result from the 1-dimensional case to the case of n-dimensional subspaces of H with n fixed.


title: Some characterizations of the automorphisms of $B(H)$ and $C(X)$

abstract: We present some nonlinear characterizations of the automorphisms of the operator algebra $B(H)$ and the function algebra $C(X)$ by means of their spectrum preserving properties.


title: A Wigner-type theorem in Banach spaces

abstract: We obtain an anlogue of Wigner's classical theorem on symmetries for Banach spaces. The proof is based on a result from the theory of linear preservers. Moreover, we present two other Wigner-type results for finite dimensional linear spaces over general fields.


title: Algebraic construction of Witten's top Chern class

abstract: We give a construction of Witten's "top Chern class" on the compactified moduli space of curves with higher spin structures and show that it satisfies most of the axioms proposed in math.AG/9905034.


title: Isospectral pairs of metrics on balls, spheres, and other manifolds with different local geometries

abstract: The first isospectral pairs of metrics are constructed on balls and spheres. This long standing problem, concerning the existence of such pairs, has been solved by a new method called "Anticommutator Technique." Among the wide range of such pairs, the most striking examples are provided on (4k-1)-dimensional spheres, where k > 2. One of these metrics is homogeneous (since it is the metric on the geodesic sphere of a 2-point homogeneous space), while the other is locally inhomogeneous. These examples demonstrate the surprising fact that no information about the isometries is encoded in the spectrum of Laplacian acting on functions. In other words, "The group of isometries, even the local homogeneity property, is lost to the "Non-Audible" in the debate of "Audible versus Non-Audible Geometry"."


title: A cornucopia of isospectral pairs of metrics on spheres with different local geometries

abstract: This article concludes the comprehensive study started in [Sz5], where the first non-trivial isospectral pairs of metrics are constructed on balls and spheres. These investigations incorporate 4 different cases since these balls and spheres are considered both on 2-step nilpotent Lie groups and on their solvable extensions. In [Sz5] the considerations are completely concluded in the ball-case and in the nilpotent-case. The other cases were mostly outlined. In this paper the isospectrality theorems are completely established on spheres. Also the important details required about the solvable extensions are concluded in this paper. A new so called anticommutator technique is developed for these constructions. This tool is completely different from the other methods applied in the field so far. It brought a wide range of new isospectrality examples. Those constructed on geodesic spheres of certain harmonic manifolds are particularly striking. One of these spheres is homogeneous (since it is the geodesic sphere of a 2-point homogeneous space) while the other spheres, although isospectral to the previous one, are not even locally homogeneous. This shows how little information is encoded about the geometry (for instance, about the isometries) in the spectrum of Laplacian acting on functions.


title: Three mathematical faces of SU(2) - spin networks

abstract: Spin networks are at the core of quantum gravity. Our aim is to plug the mathematical community at large into the procedures turn to create a finite quantum theory of general relativity. For this, because of the different cultural backgraund, we would like to change the tack: to relate discrete (combinatorial) objects to the standard "contineous" geometry.


title: Finite quantum groupoids and inclusions of finite type

abstract: Bialgebroids, separable bialgebroids, and weak Hopf algebras are compared from a categorical point of view. Then properties of weak Hopf algebras and their applications to finite index and finite depth inclusions of von Neumann algebras are shortly reviewed. A hint is given at a duality between bialgebroid actions and abstract inclusions in 2-categories.


title: Braided Near-group Categories

abstract: A near-group category is an additively semisimple category with a product such that all but one of the simple objects is invertible. We classify braided structures on near-group categories, and give explicit numerical formulas for their associativity and commutativity morphisms.


title: On the Distribution of Conjugate Points along semi-Riemannian Geodesics

abstract: Helfer in [Pacific J. Math. 164/2 (1994), p. 321--350] was the first to produce an example of a spacelike Lorentzian geodesic with a continuum of conjugate points. In this paper we show the following result: given an interval $[a,b]$ of $IR$ and any closed subset $F$ of $IR$ contained in $]a,b]$, then there exists a Lorentzian manifold $(M,g)$ and a spacelike geodesic $\gamma:[a,b]\to M$ such that $\gamma(t)$ is conjugate to $\gamma(a)$ along $\gamma$ iff $t\in F$.


title: Index Growth of hypersurfaces with constant mean curvature

abstract: In this paper we give the precise index growth for the embedded hypersurfaces of revolution with constant mean curvature (cmc) 1 in $\R^{n}$ (Delaunay unduloids). When $n=3$, using the asymptotics result of Korevaar, Kusner and Solomon, we derive an explicit asymptotic index growth rate for finite topology cmc 1 surfaces with properly embedded ends. Similar results are obtained for hypersurfaces with cmc bigger than 1 in hyperbolic space.


title: Clifford algebras obtained by twisting of group algebras

abstract: We investigate the construction and properties of Clifford algebras by a similar manner as our previous construction of the octonions, namely as a twisting of group algebras of Z_2^n by a cocycle. Our approach is more general than the usual one based on generators and relations. We obtain in particular the periodicity properties and a new construction of spinors in terms of left and right multiplication in the Clifford algebra.


title: Homological mirror symmetry and torus fibrations

abstract: In this paper we discuss two major conjectures in Mirror Symmetry: Strominger-Yau-Zaslow conjecture about torus fibrations, and the homological mirror conjecture (about an equivalence of the Fukaya category of a Calabi-Yau manifold and the derived category of coherent sheaves on the dual Calabi-Yau manifold). Our point of view on the origin of torus fibrations is based on the standard differential-geometric picture of collapsing Riemannian manifolds as well as analogous considerations for Conformal Field Theories. It seems to give a description of mirror manifolds much more transparent than the one in terms of D-branes. Also we make an attempt to prove the homological mirror conjecture using the torus fibrations. In the case of abelian varieties, and for a large class of Lagrangian submanifolds, we obtain an identification of Massey products on the symplectic and holomorphic sides. Tools used in the proof are of a mixed origin: not so classical Morse theory, homological perturbation theory and non-archimedean analysis.

categories: math.SG hep-th math-ph math.AG math.DG math.MP math.QA


title: On algebraic fiber spaces over varieties of maximal Albanese dimension

abstract: We study algebraic fiber spaces $f:X \longrightarrow Y$ where $Y$ is of maximal Albanese dimension. In particular we give an effective version a theorem of Kawamata: If $P_m(X)=1$ for some $m \ge 2$, then the Albanese map of $X$ is surjective. Combining this with \cite{CH} it follows that $X$ is birational to an abelian variety if and only if $P_2(X)=1$ and $q(X)= \text{\rm dim} (X)$.


title: Factorisation faible des applications birationnelles [d'apr\`es Abramovich, Karu, Matsuki, W{\l}odarczyk et Morelli]

abstract: Dans cet expos\'e, nous expliquons le r\'esultat suivant d\'emontr\'e r\'ecemment par Abramovich, Karu, Matsuki et W{\l}odarczyk : toute application birationnelle entre deux vari\'et\'es alg\'ebriques compl\`etes et lisses sur un corps alg\'ebriquement clos de caract\'eristique nulle se factorise en une suite finie d'\'eclatements et de contractions de centres lisses. Ce r\'esultat n'aurait sans doute pas vu le jour sans la d\'emonstration de son analogue dans le cadre de la g\'eom\'etrie torique par Morelli et W{\l}odarczyk au milieu des ann\'ees 90. La d\'emonstration donn\'ee par Abramovich, Karu, Matsuki et W{\l}odarczyk est une r\'eduction au cas torique, nous en donnons les grandes \'etapes.


title: Complex Numbers in n Dimensions

abstract: This monograph presents a detailed analysis of hypercomplex numbers in 2, 3 and 4 dimensions, then presents the properties of hypercomplex numbers in 5 and 6 dimensions. It continues with a detailed analysis of hypercomplex numbers in n dimensions, and two distinct systems of commutative complex numbers are described, of polar and planar types. Exponential forms of n-complex numbers are given in each case, which depend on geometric variables. Azimuthal angles, which are cyclic variables, appear in these forms at the exponent, and this leads to the concept of residue for path integrals of n-complex functions. The exponential function of an n-complex number is expanded in terms of functions called in this paper cosexponential functions, which are generalizations to n dimensions of the circular and hyperbolic sine and cosine functions. The factorization of n-complex polynomials is discussed. The essence of this monograph is the interplay between the algebraic, the geometric and the analytic facets of the relations.


title: A h-principle for open relations invariant under foliated isotopies

abstract: This paper presents a natural extension to foliated spaces of the following result due to Gromov : the h-principle for open, invariant differential relations is valid on open manifolds. The definition of openness for foliated spaces adopted here involves a certain type of Morse functions. Consequences concerning the problem of existence of regular Poisson structures, the original motivation for this work, are presented.


title: Orthogonal polynomials associated with root systems

abstract: Let R and S be two irreducible root systems spanning the same vector space and having the same Weyl group W, such that S (but not necessarily R) is reduced. For each such pair (R,S) we construct a family of W-invariant orthogonal polynomials in several variables, whose coefficients are rational functions of parameters $q,t_1,t_2,...,t_r$, where r (=1,2 or 3) is the number of W-orbits in R. For particular values of these parameters, these polynomials give the values of zonal spherical functions on real and p-adic symmetric spaces. Also when R=S is of type $A_n$, they conincide with the symmetric polynomials described in I. G. Macdonald, Symmetric Functions and Hall Polynomials, 2nd edition, Oxford University Press (1995), Chapter VI.


title: A non-automatic (!) application of Gosper's algorithm evaluates a determinant from tiling enumeration

abstract: We evaluate the determinant $\det_{1\leq i,j\leq n}(\binom{x+y+j}{x-i+2j}-\binom{x+y+j}{x+i+2j})$, which gives the number of lozenge tilings of a hexagon with cut off corners. A particularly interesting feature of this evaluation is that it requires the proof of a certain hypergeometric identity which we accomplish by using Gosper's algorithm in a non-automatic fashion.


title: Multi-parameter deformations of the module of symbols of differential operators

abstract: The space of symbols of differential operators on a smooth manifold (i.e., the space of symmetric contravariant tensor fields) is naturally a module over the Lie algebra of vector fields. We study, in the case of $\bf R^n$ with $n\geq2$, multi-parameter formal deformations of this module. The space of linear differential operators on $\bf R^n$ provides an important class of such formal deformations; we show, however, that the whole space of deformations is much larger.


title: Monodromy groups of irregular elliptic surfaces

abstract: Monodromy groups, i.e. the groups of isometries of the intersection lattice L_X:=H_2/torsion generated by the monodromy action of all deformation families of a given surface, have been computed in math.AG/0006231 for any minimal elliptic surface with p_g>q=0. New and refined methods are now employed to address the cases of minimal elliptic surfaces with p_g+1>q>0. To this end we find explicit families such that any isometry is in the group generated by their monodromies or does not respect the invariance of the canonical class or the spinor norm. The monodromy action is moreover shown to act by the full symplectic group on the first homology modulo torsion.


title: Transformations of compact locally conformally K\"ahler manifolds

abstract: We characterize compact locally conformally K\"ahler (l.c.K.) manifolds under the assumption of a purely conformal, holomorphic circle action. As an application, we determine the structure of the compact l.c.K. manifolds with parallel Lee form. We introduce the Lee-Cauchy-Riemann (LCR) transformations as a class of diffeomorphisms preserving the specific $G$-structure of l.c.K. manifolds. Then we characterize the Hopf manifolds, up to holomorphic isometry, as compact l.c.K. manifolds admitting a certain closed LCR action of $\mathbb{C}^*$.


title: L^2 curvature and volume renormalization of AHE metrics on 4-manifolds

abstract: This paper relates the boundary term in the Chern-Gauss-Bonnet formula on 4-manifolds M with the renormalized volume V, as defined in the AdS/CFT correspondence, for asymptotically hyperbolic Einstein metrics on M. In addition, we compute and discuss the differential or variation dV of V, or equivalently the variation of the L^2 norm of the Weyl curvature, on the space of such Einstein metrics.


title: Intrinsic Volumes of the Brownian Motion Body

abstract: Motivated from Gaussian processes, we derive the intrinsic volumes of the infinite--dimensional Brownian motion body. The method is by discretization to a class of orthoschemes. Numerical support is offered for a conjecture of Sangwine-Yager, and another conjecture is offered on the rate of decay of intrinsic volume sequences.


title: Hilbert modules over locally C*-algebras

abstract: In the present paper the notion of a Hilbert module over a locally C*-algebra is discussed and some results are obtained on this matter. In particular, we give a detailed proof of the known result that the set of adjointable endomorphisms of such modules is itself a locally C*-algebra.


title: First-hit analysis of algorithms for computing quadratic irregularity

abstract: The author has previously extended the theory of regular and irregular primes to the setting of arbitrary totally real number fields. It has been conjectured that the Bernoulli numbers, or alternatively the values of the Riemann zeta function at odd negative integers, are evenly distributed modulo p for every p. This is the basis of a well-known heuristic given by Siegel for estimating the frequency of irregular primes. So far, analyses have shown that if Q(\sqrt{D}) is a real quadratic field, then the values of the zeta function \zeta_{D}(1-2m)=\zeta_{Q(\sqrt{D})}(1-2m) at negative odd integers are also distributed as expected modulo p for any p. We use this heuristic to predict the computational time required to find quadratic analogues of irregular primes with a given order of magnitude. We also discuss alternative ways of collecting large amounts of data to test the heuristic.


title: Exotic structures and adjunction inequality

abstract: We reprove and strengthen some old difficult theorems of 4-manifolds by the aid of recently discovered modern tools, which involve contact structures on 3-manifolds, compact Stein domains, etc.


title: Dehn fillings creating essential spheres and tori

abstract: Let $M$ be a simple 3-manifold with a toral boundary component. It is known that if two Dehn fillings on $M$ along the boundary produce a reducible manifold and a toroidal manifold, then the distance between the filling slopes is at most three. This paper gives a remarkably short proof of this result.


title: P^2-reducing and toroidal Dehn fillings

abstract: We study the situation where we have two exceptional Dehn fillings on a given hyperbolic 3-manifold. We consider two cases that one filling creates a projective plane, and the other creates an essential torus or a Klein bottle, and give the best possible upper bound on the distance between two fillings for each case.


title: Polar and coisotropic actions on Kaehler manifolds

abstract: The main result of this paper is that a polar action on a compact irreducible homogeneous Kaehler manifold is coisotropic. This is then used to give new examples of polar actions and to classify coisotropic and polar actions on quadrics.


title: Statistical analysis of the inhomogeneous telegrapher's process

abstract: We consider a problem of estimation for the telegrapher's process on the line, say X(t), driven by a Poisson process with non constant rate. It turns out that the finite-dimensional law of the process X(t) is a solution to the telegraph equation with non constant coefficients. We give the explicit law P(theta) of the process X(t) for a parametric class of intensity functions for the Poisson process. We propose an estimator for the parameter theta of P(theta) and we discuss its properties as a first attempt to apply statistics to these models.


title: Oriented Lagrangian Orthogonal Matroid Representations

abstract: In this paper we extend the theory of oriented matroids to Lagrangian orthogonal matroids and their representations, and give a completely natural transformation from a representation of a classical oriented matroid to a representation of the same oriented matroid considered as a Lagrangian orthogonal matroid. Classical concepts of orientation and this extension may both be thought of as stratifications of thin Schubert cells into unions of connected components.


title: Some families of special Lagrangian tori

abstract: We give a simple proof of the local version of a result of R. Bryant, stating that any 3-dimensional Riemannian manifold can be isometrically embedded as a special Lagrangian submanifold in a Calabi-Yau manifold. We refine the theorem proving that a certain class of one-parameter families of metrics on a 3-torus can be isometrically embedded in a Calabi-Yau manifold as a one-parameter family of special Lagrangian submanifolds. We use our examples of one-parameter families to show that the semi-flat metric on the mirror manifold proposed be N. Hitchin is not necessarily Ricci-flat in dimension 3.


title: Stokes Matrices and Poisson Lie Groups

abstract: We point out, and draw some consequences of, the fact that the Poisson Lie group G* dual to G=GL_n(C) (with its standard complex Poisson structure) may be identified with a certain moduli space of meromorphic connections on the unit disc having an irregular singularity at the origin. The Riemann-Hilbert map for such connections, taking the Stokes data, induces a holomorphic map from the dual of the Lie algebra of G to the Poisson Lie group G*. The main result is that this map is Poisson. First this leads to new, more direct, proofs of theorems of Duistermaat and Ginzburg-Weinstein (enabling one to reduce Kostant's non-linear convexity theorem, involving the Iwasawa projection, to the linear convexity theorem, involving the `diagonal part'). Secondly we obtain a new approach to the braid group invariant Poisson structure on Dubrovin's local moduli space of semisimple Frobenius manifolds: it is induced from the standard Poisson structure on G*.


title: Gromov-Hausdorff Distance for Quantum Metric Spaces

abstract: By a quantum metric space we mean a C^*-algebra (or more generally an order-unit space) equipped with a generalization of the Lipschitz seminorm on functions which is defined by an ordinary metric. We develop for compact quantum metric spaces a version of Gromov-Hausdorff distance. We show that the basic theorems of the classical theory have natural quantum analogues. Our main example involves the quantum tori, $A_{\th}$. We show, for consistently defined ``metrics'', that if a sequence $\{\th_n\}$ of parameters converges to a parameter $\th$, then the sequence $\{A_{\th_n}\}$ of quantum tori converges in quantum Gromov-Hausdorff distance to $A_{\th}$.


title: Two-Parameter Quantum Groups and Drinfel'd Doubles

abstract: We investigate two-parameter quantum groups corresponding to the general linear and special linear Lie algebras gl_n and sl_n. We show that these quantum groups can be realized as Drinfel'd doubles of certain Hopf subalgebras with respect to Hopf pairings. Using the Hopf pairing, we construct a corresponding R-matrix and a quantum Casimir element. We discuss isomorphisms among these quantum groups and connections with multiparameter quantum groups.


title: A Diagonal on the Associahedra

abstract: Let C_*(K) denote the cellular chains on the Stasheff associahedra. We construct an explicit combinatorial diagonal \Delta : C_*(K) --> C_*(K) \otimes C_*(K); consequently, we obtain an explicit diagonal on the A_\infty-operad. We apply the diagonal \Delta to define the tensor product of A_\infty-(co)algebras in maximal generality.


title: Computing the rational torsion of an elliptic curve using Tate normal form

abstract: It is a classical result (apparently due to Tate) that all elliptic curves with a torsion point of order n ($4 \leq n \leq 10$, or n = 12) lie in a one-parameter family. However, this fact does not appear to have been used ever for computing the torsion of an elliptic curve. We present here a extremely down-to-earth algorithm using the existence of such a family.


title: 2-extensions with many points

abstract: We give defining equations for function fields over finite fields with many rational places. They are obtained from composita of quadratic extensions of the rational function field.


title: Lattice polytopes with distinct pair-sums

abstract: Let P be a lattice polytope in R^n, and let P \cap Z^n = {v_1,...,v_N}. If the N + \binom N2 points 2v_1,...,2v_N; v_1+v_2,...v_{N-1}+v_N are distinct, we say that P is a "distinct pair-sum" or "dps" polytope. We show that, if P is a dsp polytope in R^n, then N \le 2^n, and, for every n, we construct dps polytopes in R^n which contain 2^n lattice points. We also discuss the relation between dps polytopes and the study of sums of squares of real polynomials.


title: Differentiable Cohomology of Gauge Groups

abstract: We give a definition of differentiable cohomology of a Lie group G (possibly infinite-dimensional) with coefficients in any abelian Lie group. This differentiable cohomology maps both to the cohomology of the group made discrete and to Lie algebra cohomology. We show that the secondary characteristic classes of Beilinson lead to differentiable cohomology classes with coefficients in C*. These may be viewed as an enrichment of the Chern-Simons differential forms. By transgression, classes in differentiable cohomology of a Lie group G lead to differentiable cohomology classes for gauge groups Map(M,G). These classes generalize the central extensions of loop groups. We also discuss holomorphic cohomology of complex Lie groups as the natural place to construct secondary classes. We present several conjectures relating the above cohomology classes to the differential forms of Bott-Shulman-Stasheff.


title: On The Geometric Monodromy Of The Milnor Fibre

abstract: In this paper we show that the geometric monodromy $\phi$ of the Milnor fibre, has finite order q if and only if the operator $\phi^q_*$ acts trivially on the homology. The proof is based on the classical methods of surgery.


title: Finsler Metrics of Constant Positive Curvature on the Lie Group $s^3$

abstract: Guided by the Hopf fibration, we single out a family (indexed by a positive constant K) of right invariant Riemannian metrics on the Lie group $S^3$. Using the Yasuda-Shimada theorem as an inspiration, we determine for each K>1 a privileged right invariant Killing field of constant length. Each such Riemannian metric pairs with the corresponding Killing field to produce a y-global and {\it explicit} Randers metric on $S^3$. Using the machinery of spray curvature and Berwald's formula for it, we prove directly that the said Randers metric has constant positive flag curvature K, as predicted by the Yasuda-Shimada theorem. We also explain why this family of Finslerian space forms is NOT projectively flat.


title: Restricted single or double signed patterns

abstract: Let $E_n^r=\{[\tau]_a=(\tau_1^{(a_1)},...,\tau_n^{(a_n)})| \tau\in S_n,\ 1\leq a_i\leq r\}$ be the set of all signed permutations on the symbols 1,2,...,n with signs 1,2,...,r. We prove, for every 2-letter signed pattern $[\tau]_a$, that the number of $[\tau]_a$-avoiding signed permutations in $E_n^r$ is given by the formula $\sum\limits_{j=0}^n j!(r-1)^j{n\choose j}^2$. Also we prove that there are only one Wilf class for r=1, four Wilf classes for r=2, and six Wilf classes for $r\geq 3$.


title: Arrangements, Milnor Fibers and Polar Curves

abstract: We describe a new relation between the topology of hyperplane arrangements, Milnor fibers and global polar curves, via the affine Lefschetz theory developped by A. N\'emethi. In particular, we improve some results due to Orlik and Terao (see Math. Ann. 301(1995)) and complete/clarify a proof by Randell concerning the minimality of hyperplane arrangements (see math.AT/0011101).


title: Induced representations of affine Hecke algebras and canonical bases of quantum groups

abstract: A criterion of irreducibility for induction products of evaluation modules of type A affine Hecke algebras is given. It is derived from multiplicative properties of the canonical basis of a quantum deformation of the Bernstein-Zelevinsky ring.


title: Une formule de Plancherel pour l'alg`ebre de Hecke d'un groupe r'eductif p-adique

abstract: We show a matrix Paley-Wiener theorem for the Hecke algebra of a p-adic group. The proof is based on an analogue of Harish-Chandra's Plancherel formula.


title: Generalized fixed point algebras and square-integrable group actions

abstract: We analzye Rieffel's construction of generalized fixed point algebras in the setting of group actions on Hilbert modules. Let G be a locally compact group acting on a C*-algebra B. We construct a Hilbert module F over the reduced crossed product of G and B, using a pair (E, R), where E is an equivariant Hilbert module over B and R is a dense subspace of E with certain properties. The generalized fixed point algebra is the C*-algebra of compact operators on F. Any Hilbert module over the reduced crossed product arises by this construction for a pair (E, R) that is unique up to isomorphism. A necessary condition for the existence of R is that E be square-integrable. The consideration of square-integrable representations of Abelian groups on Hilbert space shows that this condition is not sufficient and that different choices for R may yield different generalized fixed point algebras. If B is proper in Kasparov's sense, there is a unique R with the required properties. Thus the generalized fixed point algebra only depends on E.


title: A universal weasel without large cardinals in V

abstract: We prove in the theory "ZFC + there is no inner model with a Woodin cardinal" that there is a universal weasel. This shows in particular that one doesn't have to assume the existence of large cardinals in V to prove the existence of some such weasel.


title: The Generalized Method of Exhaustion

abstract: The method of exhaustion is generalized to a simple formula that can be used to integrate functions under very general conditions, provided that the integral exists. Both a geometric proof (following the usual procedure for the method of exhaustion) and an independent algebraic proof are provided. Applications provided as examples include use of the formula to generate new series for common functions as well as computing the group velocity distribution resulting from waves diffracted from an aperture.


title: Classification of simple $C^*$-algebras of tracial topological rank zero

abstract: We give a classification theorem for unital separable simple nuclear $C^*$-algebras with tracial topological rank zero which satisfy the Universal Coefficient Theorem. We prove that if $A$ and $B$ are two such $C^*$-algebras and $$ (K_0(A), K_0(A)_+, [1_A], K_1(A)) $$ $$ \cong (K_0(B), K_0(B)_+, [1_B], K_1(B)), $$ then $A\cong B.$


title: A symplectic proof of Seiberg-Witten blow-up formula

abstract: withdrawn by authors


title: The eigenvectors of the right-justified Pascal triangle

abstract: We find the eigenvalues and eigenvectors of the n by n matrix with (i,j) entry \binom(i-1,n-j), establishing a conjecture of Peele and Stanica. Curiously, the eigenvectors can be chosen to form a matrix which is its own inverse.


title: Minuscule representations, invariant polynomials, and spectral covers

abstract: Given a minuscule representation of a simple Lie algebra, we find an algebraic model for the action of a regular element and show that these models can be glued together over the adjoint quotient, viewed as the set of all regular conjugacy classes of the Lie algebra. There are partial results in the case of a quasiminuscule representation, and a conjecture in the case of a general irreducible finite-dimensional representation. The method of proof is to relate the question to a problem concerning holomorphic principal bundles over cuspidal cubic curves.


title: Representations of distributive semilattices in ideal lattices of various algebraic structures

abstract: We study the relationships among existing results about representations of distributive semilattices by ideals in dimension groups, von Neumann regular rings, C*-algebras, and complemented modular lattices. We prove additional representation results which exhibit further connections with the scattered literature on these different topics.


title: Irreducible subfactors derived from Popa's construction for non-tracial states

abstract: For an inclusion of the form $\Bbb C\subseteq M_n(\Bbb C)$, where $M_n(\Bbb C)$ is endowed with a state with diagonal weights $\lambda=(\lambda_1, ..., \lambda_n)$, we use Popa's construction, for non-tracial states, to obtain an irreducible inclusion of $II_1$ factors, $N^\lambda(Q)\subseteq M^\lambda(Q) $ of index $\sum \frac{1}{\lambda_i}$. $M^\lambda(Q)$ is identified with a subfactor inside the centralizer algebra of the canonical free product state on $Q\star M_N(\Bbb C)$. Its structure is described by ``infinite'' semicircular elements as in \cite{Ra3}. The irreducible subfactor inclusions obtained by this method are similar to the first irreducible subfactor inclusions, of index in $[4,\infty)$ constructed in \cite {Po1}, starting with the Jones' subfactors inclusion $R^s\subseteq R$, $s>4$. In the present paper, since the inclusion we start with has a simpler structure, it is easier to control the algebra structure of the subfactor inclusions.


title: Orbit reduction of exterior differential systems, and group-invariant variational problems

abstract: For For a given PDE system, or an exterior differential system possessing a Lie group of internal symmetries the orbit reduction procedure is introduced. It is proved that the solutions of the reduced exterior differential system are in one-to-one correspondence with the moduli space of regular solutions of the prolongation of the original system. The isomorphism between the local characteristic cohomology of the reduced unconstrained jet space and the Lie algebra cohomology of the symmetry group is established. The group-invariant Euler-Lagrange equations of an invariant variational problem are described as a composition of the Euler-Lagrange operators on the reduced jet space and certain other differential operators on the reduced jet space. The practical algorithm of computing these operators is given.


title: Central Simple Poisson Algebras

abstract: In this paper, we determine the isomorphism classes of the central simple Poisson algebras introduced earlier by the second author. The Lie algebra structures of these Poisson algebras are in general not finitely-graded.


title: Surfaces with many nodes

abstract: We describe smooth rational projective algebraic surfaces over an algebraically closed field of characteristic different from 2 which contain $n \ge \b_2-2$ disjoint smooth rational curves with self-intersection -2, where $\b_2$ is the second Betti number. In the last section this is applied to the study of minimal complex surfaces of general type with $p_g = 0$ and $K^2 = 8, 9$ which admit an automorphism of order 2.


title: Mellin transform of Whittaker functions

abstract: In this note we show that for an arbitrary semisimple Lie group and any admissible irreducible Banach representation the Mellin transforms of Whittaker functions extend to meromorphic functions. We locate the possible poles.


title: A new property of absorbed diffusions

abstract: We consider stochastic diffusion processes absorbed at the boundary of a domain. It is shown that there exist initial distributions which ensure a given decreasing of density of the absorbed process.


title: The Morse Index Theorem in semi-Riemannian Geometry

abstract: We prove a semi-Riemannian version of the celebrated Morse Index Theorem for geodesics in semi-Riemannian manifolds; we consider the general case of both endpoints variable on two submanifolds. The key role of the theory is played by the notion of the {\em Maslov index} of a semi-Riemannian geodesic, which is a homological invariant and it substitutes the notion of geometric index in Riemannian geometry. Under generic circumstances, the Maslov index of a geodesic is computed as a sort of {\em algebraic count} of the conjugate points along the geodesic. For non positive definite metrics the index of the index form is always infinite; in this paper we prove that the space of all variations of a given geodesic has a {\em natural} splitting into two infinite dimensional subspaces, and the Maslov index is given by the difference of the index and the coindex of the restriction of the index form to these subspaces. In the case of variable endpoints, two suitable correction terms, defined in terms of the endmanifolds, are added to the equality. Using appropriate change of variables, the theory is entirely extended to the more general case of {\em symplectic differential systems}, that can be obtained as linearizations of the Hamilton equations.


title: The approach of St"ohr-Voloch to the Hasse-Weil bound with applications to optimal curves and plane arcs

abstract: This is an expository paper concerning topics on rational points of curves defined over finite fields based on a paper by St"ohr and Voloch.


title: On the mixing time of simple random walk on the super critical percolation cluster

abstract: We study the robustness under perturbations of mixing times, by studying mixing times of random walks in percolation clusters inside boxes in $\Z^d$. We show that for $d \geq 2$ and $p > p_c(\Z^d)$, the mixing time of simple random walk on the largest cluster inside $\{-n,...,n\}^d$ is $\Theta(n^2)$ - thus the mixing time is robust up to constant factor.


title: Some Comparisons for Gaussian Processes

abstract: Extensions and variants are given for the well-known comparison principle for Gaussian processes based on ordering by pairwise distance.


title: Kustin--Miller unprojection without complexes

abstract: Gorenstein projection plays a key role in birational geometry; the typical example is the linear projection of a del Pezzo surface of degree d to one of degree d-1, but variations on the same idea provide many of the classical and modern birational links between Fano 3-folds. The inverse operation is the Kustin--Miller unprojection theorem (A. Kustin and M. Miller, Constructing big Gorenstein ideals from small ones, J. Algebra 85 (1983) 303--322), which constructs "more complicated" Gorenstein rings starting from "less complicated" ones (increasing the codimension by 1). We give a clean statement and proof of their theorem, using the adjunction formula for the dualising sheaf in place of their complexes and Buchsbaum--Eisenbud exactness criterion. Our methods are scheme theoretic and work without any mention of the ambient space. They are thus not restricted to the local situation, and are well adapted to generalisations. The final section contains examples, and discusses briefly the applications to graded rings and birational geometry that motivate this study.


title: Hartogs-Bochner type theorem in projective space

abstract: We prove the following Hartogs-Bochner type theorem: Let $M$ be a connected $C^2$ hypersurface of $P_n(\mathbb{C})$ ($n\geq 2$) which divides $P_n(\mathbb{C})$ in two connected open sets $\Omega_1$ and $\Omega_2$. Then there exists $i \in \{1,2\}$ such that $C^{1}$ CR functions defined on $M$ extends holomorphically to $\Omega_i$.


title: On the dimension of discrete valuations of k((X1,...,Xn))

abstract: Let $v$ be a rank-one discrete valuation of the field $k((\X))$. We know, after \cite{Bri2}, that if $n=2$ then the dimension of $v$ is 1 and if $v$ is the usual order function over $k((\X))$ its dimension is $n-1$. In this paper we prove that, in the general case, the dimension of a rank-one discrete valuation can be any number between 1 and $n-1$.


title: Equisingular Deformations of Plane Curve and of Sandwiched Singularities

abstract: Let $C$ be an isolated plane curve singularity, and $(C,l)$ be a decorated curve. In this article we compare the equisingular deformations of $C$ and the sandwiched singularity $X(C,l)$. We will prove that for $l \gg 0$ the functor of equisingular deformations of $C$ and $(C,l)$ are equivalent. From this we deduce a proof of a formula for the dimension of the equisingular stratum. Furthermore we will show how compute the equisingularity ideal of the curve singularity $C$, given the minimal (good) resolution of $C$.


title: Arbres de Hurwitz et automorphismes d'ordre p des disques et des couronnes p-adiques formels

abstract: Let R be a complete discrete valuation ring of mixed characteristics (0,p). Given an order p-automorphism of a formal disc (or annulus) over R, we describe the minimal semi-stable model for which the specialisations of fixed points are distincts and lie in the smooth locus of the special fiber. The description leads to a combinatorial object called Hurwitz tree. Our main result is a necessary and sufficient condition for a Hurwitz tree to arise from an order p-automorphism.


title: A `nice' bijection for a content formula for skew semistandard Young tableaux

abstract: Based on Sch\"utzenberger's evacuation and a modification of jeu de taquin, we give a bijective proof of an identity connecting the generating function of reverse semistandard Young tableaux with bounded entries with the generating function of all semistandard Young tableaux. This solves Exercise 7.102 b of Richard Stanley's book `Enumerative Combinatorics 2'.


title: On the tautological ring of $\bar{M}_{g,n}$

abstract: We prove that the dimension 0 part of the tautological ring of the moduli space of stable pointed curves is one-dimensional. This provides the first genus-free evidence for a conjecture of Faber and Pandharipande that the tautological ring of the moduli space is Gorenstein, answering in the affirmative a question of Hain and Looijenga.


title: Morse theory, Milnor fibers and minimality of hyperplane arrangements

abstract: Through the study of Morse theory on the associated Milnor fiber, we show that complex hyperplane arrangement complements are minimal. That is, the complement of a complex hyperplane arrangement has the homotopy type of a CW complex in which the number of p-cells equals the p-th betti number.


title: Analogues of Lehmer's conjecture in positive characteristic

abstract: Let $C$ be a smooth projective irreducible curve defined over a finite field $\mathbb{F}_q$ and $K=\mathbb{F}_q(C)$. Let $A\subset K$ be the ring of functions regular outside a fixed place $\infty$ of $K$. Let $\phi:A\to\text{End}(\mathbb{G}_a)$ be a Drinfeld $A$-module of rank $r$ defined over a finite extension $L$ of $K$ and $\hat{h}_{\phi}$ its canonical height. Given a non-torsion point $\alpha$ of $\phi$ of degree $d$ over $K$, we prove that $\hat{h}_{\phi}(\alpha)\ge 1/d$. A similar statement is proved for the canonical height of a point of infinite order of a non-constant semi-stable elliptic curve defined over $K$, with the absolute constant 1 replaced by a constant depending on the elliptic curve.


title: Algebraic structures behind Hilbert schemes and wreath products

abstract: In this paper we review various strikingly parallel algebraic structures behind Hilbert schemes of points on surfaces and certain finite groups called the wreath products. We explain connections among Hilbert schemes, wreath products, infinite-dimensional Lie algebras, and vertex algebras. As an application we further describe the cohomology ring structure of the Hilbert schemes. We organize this exposition around several general principles which have been supported by various works on these subjects.