title: Asymptotic formula for a partition function of reversible coagulation -fragmentation processes

abstract: We construct a probability model seemingly unrelated to the considered stochastic process of coagulation and fragmentation. By proving for this model the local limit theorem, we establish the asymptotic formula for the partition function of the equilibrium measure for a wide class of parameter functions of the process. This formula proves the conjecture stated in [dgg] for the above class of processes. The method used goes back to A.Khintchine.


title: A characterization of certain Shimura curves in the moduli stack of abelian varieties

abstract: Let f:X-->Y be a semi-stable family of complex abelian varieties over a curve Y of genus q, and smooth over the complement of s points. If F(1,0) denotes the non-flat (1,0) part of the corresponding variation of Hodge structures, the Arakelov inequalities say that 2deg(F(1,0)) is bounded from above by g=rank(F(1,0))(2q-2+s). We show that for s>0 families reaching this bound are isogenous to the g-fold product of a modular family of elliptic curves, and a constant abelian variety. For s=0, if the flat part of the VHS is defined over the rational numbers, the family is isogeneous to the g-fold product of a family h:Z-->Y, and a constant abelian variety. In this case, h:Z-->Y is obtained from the corestriction of a quaternion algebra A, defined over a totally real numberfield F, and ramified over all infinite places but one. In case the flat part of the VHS is not defined over the rational numbers, we determine the structure of the VHS.


title: Real entire functions with real zeros and a conjecture of Wiman

abstract: If f is a real entire function and ff" has only real zeros then f belongs to the Laguerre-Polya class, the closure of the set of real polynomials with real zeros. This result completes a long line of development originating from a conjecture of Wiman in 1914.


title: Autonomous Integral Functionals with Discontinuous Nonconvex Integrands: Lipschitz Regularity of Minimizers, DuBois-Reymond Necessary Conditions, and Hamilton-Jacobi Equations

abstract: This paper is devoted to the autonomous Lagrange problem of the calculus of variations with a discontinuous Lagrangian. We prove that every minimizer is Lipschitz continuous if the Lagrangian is coercive and locally bounded. The main difference with respect to the previous works in the literature is that we do not assume that the Lagrangian is convex in the velocity. We also show that, under some additional assumptions, the DuBois-Reymond necessary condition still holds in the discontinuous case. Finally, we apply these results to deduce that the value function of the Bolza problem is locally Lipschitz and satisfies (in a generalized sense) a Hamilton-Jacobi equation.


title: Conformal Invariance and Stochastic Loewner Evolution Predictions for the 2D Self-Avoiding Walk - Monte Carlo Tests

abstract: Simulations of the self-avoiding walk (SAW) are performed in a half-plane and a cut-plane (the complex plane with the positive real axis removed) using the pivot algorithm. We test the conjecture of Lawler, Schramm and Werner that the scaling limit of the two-dimensional SAW is given by Schramm's Stochastic Loewner Evolution (SLE). The agreement is found to be excellent. The simulations also test the conformal invariance of the SAW since conformal invariance would imply that if we map the walks in the cut-plane into the half plane using the conformal map z -> sqrt(z), then the resulting walks will have the same distribution as the SAW in the half plane. The simulations show excellent agreement between the distributions.


title: Nonresonant smooth integrable Hamiltonian systems which don't admit a local smooth Birkhoff normal form

abstract: This small note has been withdrawn by the author. The main result of the note, with a corrected proof written in collaboration with a collegue, will be part of a joint work.


title: The equivariant Gromov-Witten theory of P^1

abstract: We express all equivariant Gromov-Witten invariants of the projective line as matrix elements of explicit operators acting in the Fock space. As a consequence, we prove the equivariant theory is governed by the 2-Toda hierarchy of Ueno and Takasaki. This is the second in a sequence of three papers devoted to the Gromov-Witten theory of nonsingular target curves (the first paper of the series is math.AG/0204305).


title: Characterization of the set of "ergodic directions" in the Novikov's problem of quasi-electrons orbits in normal metals

abstract: Novikov's problem of semiclassical orbits of quasi-electrons in a normal metal leads to a correspondance between 3-ply periodic functions in R and fractals in R P^2. These fractals are the complement of infinitely many open sets labeled by integer 2-cycles of T^3. Here we present a characterization of the fractal points in terms of the open sets labels.


title: On the unicity of braidings of quasitriangular Lie bialgebras

abstract: Any quantization of a quasitriangular Lie bialgebra g gives rise to a braiding of the dual Poisson-Lie formal group G^*. We show that this braiding always coincides with the Weinstein-Xu braiding. We also define the lifts of the classical r-matrix r as certain functions on G^* x G^*, prove their existence and uniqueness using co-Hochschild cohomology arguments and show that the lift can be expressed in terms of r by universal formulas.


title: Random matrix theory and discrete moments of the Riemann zeta function

abstract: We calculate the discrete moments of the characteristic polynomial of a random unitary matrix, evaluated a small distance away from an eigenangle. Such results allow us to make conjectures about similar moments for the Riemann zeta function, and provide a uniform approach to understanding moments of the zeta function and its derivative.


title: A general statement of the functional equation for the Riemann zeta-function

abstract: A formal description of a functional analysis approach to the Riemann zeta-functional equation that provides in principle an infinity of different proofs based on work by the author on the existence of dilation-invariant unitary operators in L2 of the positive real line.


title: An integral generalization of the Gusein-Zade--Natanzon theorem

abstract: A few years ago N.A'Campo invented a construction of a link from a real curve immersed into a disk. In the case of the curve originating from the real morsification method the link is isotopic to the link of the corresponding singularity. There are some curves which do not occur in the singularity theory. In this article we describe the Casson invariant of A'Campo's knots as a J^{+/-}-type invariant of the immersed curves. Thus we get an integral generalization of the Gusein-Zade--Natanzon theorem which says that the Arf invariant of a singularity is equal to J^{-}/2(mod 2) of the corresponding immersed curve. It turns out that this invariant is a second order invariant of the mixed J^{+}- and J^{-}-types.


title: The AF structure of non commutative toroidal Z/4Z orbifolds

abstract: For any irrational theta and rational number p/q such that q|qtheta-p|<1, a projection e of trace q|qtheta-p| is constructed in the the irrational rotation algebra A_theta that is invariant under the Fourier transform. (The latter is the order four automorphism U mapped to V, V mapped to U^{-1}, where U, V are the canonical unitaries generating A_theta.) Further, the projection e is approximately central, the cut down algebra eA_theta e contains a Fourier invariant q x q matrix algebra whose unit is e, and the cut downs eUe, eVe are approximately inside the matrix algebra. (In particular, there are Fourier invariant projections of trace k|qtheta-p| for k=1,...,q.) It is also shown that for all theta the crossed product A_theta rtimes Z_4 satisfies the Universal Coefficient Theorem. (Z_4 := Z/4Z.) As a consequence, using the Classification Theorem of G. Elliott and G. Gong for AH-algebras, a theorem of M. Rieffel, and by recent results of H. Lin, we show that A_theta rtimes Z_4 is an AF-algebra for all irrational theta in a dense G_delta.


title: Braid Monodromy of Special Curve

abstract: In this article, we compute the braid monodromy of two algebraic curves defined over R. These two curves are of complex level not bigger than 6, and they are unions of lines and conics. We use two different techniques for computing their braid monodromies. These results will be applied to computations of fundamental groups of their complements in C^2 and C PP^2.


title: Un domaine de Fatou-Bieberbach \a plusieurs feuillets

abstract: We propose, within the context of the dynamics of a holomorphic germ in CI^N, a definition of 'attracting basin' of a fixed point. We prove that the inverse germ of an endomorphism of CI^N with a repulsive fixed point in 0, satisfying a supplementary technical hypothesis, admits an attracting basin which could be described as a Fatou-Bieberbach domain 'with many leaves'.


title: Rigorous analysis of discontinuous phase transitions via mean-field bounds

abstract: We consider a variety of nearest-neighbor spin models defined on the d-dimensional hypercubic lattice Z^d. Our essential assumption is that these models satisfy the condition of reflection positivity. We prove that whenever the associated mean-field theory predicts a discontinuous transition, the actual model also undergoes a discontinuous transition (which occurs near the mean-field transition temperature), provided the dimension is sufficiently large or the first-order transition in the mean-field model is sufficiently strong. As an application of our general theory, we show that for d sufficiently large, the 3-state Potts ferromagnet on Z^d undergoes a first-order phase transition as the temperature varies. Similar results are established for all q-state Potts models with q>=3, the r-component cubic models with r>=4 and the O(N)-nematic liquid-crystal models with N>=3.


title: G-Structure on the cohomology of Hopf algebras

abstract: We prove that Ext^*_A(k,k) is a Gerstenhaber algebra, where A is a Hopf algebra. In case A=D(H) is the Drinfeld double of a finite dimensional Hopf algebra H, our results implies the existence of a Gerstenhaber bracket on H^*_{GS}(H,H). This fact was conjectured by R. Taillefer in math.KT0207154. The method consists in identifying Ext^*_A(k,k) as a Gerstenhaber subalgebra of H^*(A,A) (the Hochschild cohomology of A).


title: A Laplace operator and harmonics on the quantum complex vector space

abstract: The aim of this paper is to study the q-Laplace operator and q-harmonic polynomials on the quantum complex vector space generated by z_i,w_i, i=1,2,...,n, on which the quantum group GL_q(n) (or U_q(n)) acts. The q-harmonic polynomials are defined as solutions of the equation Delta_qp=0, where p is a polynomial in z_i,w_i, i=1,2,...,n, and the q-Laplace operator Delta_q is determined in terms of q-derivatives. The q-Laplace operator Delta_q commutes with the action of GL_q(n). The projector H_{m,m'}: A_{m,m'} --> H_{m,m'} is constructed, where A_{m,m'} and H_{m,m'} are the spaces of homogeneous (of degree m in z_i and of degree m' in w_i) polynomials and homogeneous q-harmonic polynomials, respectively. By using these projectors, a q-analogue of the classical zonal spherical and associated spherical harmonics are constructed. They constitute an orthogonal basis of H_{m,m'}. A q-analogue of separation of variables is given. The quantum algebra U_q(gl_n), acting on H_{m,m'}, determines an irreducible representation of U_q(gl_n). This action is explicitly constructed. The results of the paper lead to the dual pair (U_q(sl_2), U_q(gl_n)) of quantum algebras.


title: Mumford curves with maximal automorphism group

abstract: The maximal number of automorphisms of a Mumford curve over a non-archimedean valued field of positive characteristic is known. In this note, the unique family of curves that attains this bound in genus not equal to 5,6,7 or 8 is explicitly determined, as is its automorphism group.


title: Mumford curves with maximal automorphism group II: Lame type groups in genus 5-8

abstract: A Mumford curve of genus g=5,6,7 or 8 over a non-archimedean field of characteristic p (such that if p=0, the residue field characteristic exceeds 5) has at most 12(g-1) automorphisms. In this paper, all curves that attain this bound and their automorphism groups (called of Lame type) are explicitly determined.


title: A study on radial basis function and quasi-Monte Carlo methods

abstract: The radial basis function (RBF) and quasi Monte Carlo (QMC) methods are two very promising schemes to handle high-dimension problems with complex and moving boundary geometry due to the fact that they are independent of dimensionality and inherently meshless. The two strategies are seemingly irrelevant and are so far developed independently. The former is largely used to solve partial differential equations (PDE), neural network, geometry generation, scattered data processing with mathematical justifications of interpolation theory [1], while the latter is often employed to evaluate high-dimension integration with the Monte Carlo method (MCM) background [2]. The purpose of this communication is to try to establish their intrinsic relationship on the grounds of numerical integral. The kernel function of integral equation is found the key to construct efficient RBFs. Some significant results on RBF construction, error bound and node placement are also presented. It is stressed that the RBF is here established on integral analysis rather than on the sophisticated interpolation and native space analysis.


title: Some recent advances on the RBF

abstract: This paper aims to survey our recent work relating to the radial basis function (RBF) and its applications to numerical PDEs. We introduced the kernel RBF involving general pre-wavelets and scale-orthogonal wavelets RBF. A dimension-independent RBF error bound was also conjectured. The centrosymmetric structure of RBF interpolation matrix under symmetric sample knots was pointed out. On the other hand, we introduced the boundary knot method via nonsingular general solution and dual reciprocity principle and the boundary particle method via multiple reciprocity principle. By using the Green integral we developed a domain-type Hermite RBF scheme called the modified Kansa method, which significantly reduces calculation errors around boundary. To circumvent the Gibbs phenomenon, the least square RBF collocation scheme was presented. All above discretization schemes are meshfree, symmetric, spectral convergent, integration-free and mathematically very simple. The numerical validations are also briefly presented.


title: Stability of some unilateral free-discontinuity problems in two-dimensional domains

abstract: The purpose of this paper is to study the stability of some unilateral free-discontinuity problems, under perturbations of the discontinuity sets in the Hausdorff metric.


title: Smooth order singularities

abstract: In this paper we give methods to classify the central singularities of Cayley-Hamilton smooth orders up to smooth equivalence in arbitrary central dimension. We prove that there is just one type in dimension 3 (the conifold singularity), three types in dimension 4, ten types in dimension 5 and 53 types in dimension 6. As the classification in dimension 5 and 6 is xy-pic intensive, we refer for the details to the full version of this paper, available at ftp://wins.uia.ac.be/pub/preprints/02/SOSfull.pdf


title: Isolated singularities, smooth orders and Auslander regularity

abstract: In this note we prove that a smooth order satisfying the reverse geometric engineering of singularities conditions in stringtheory (in any compactifying dimension) is Auslander regular. Moreover, we classify the etale local structure of smooth orders over an isolated central singularity.


title: A class of C^*-algebras generalizing both graph algebras and homeomorphism C^*-algebras I, fundamental results

abstract: We introduce a new class of C^*-algebras, which is a generalization of both graph algebras and homeomorphism C^*-algebras. This class is very large and also very tractable. We prove the so-called gauge-invariant uniqueness theorem and the Cuntz-Krieger uniqueness theorem, and compute the K-groups of our algebras.


title: Canonical projections of irregular algebraic surfaces

abstract: A good canonical projection of a surface $S$ of general type is a morphism to the 3-dimensional projective space P^3 given by 4 sections of the canonical line bundle. To such a projection one associates the direct image sheaf F of the structure sheaf of S, which is shown to admit a certain length 1 symmetrical locally free resolution. The structure theorem gives necessary and sufficient conditions for such a length 1 locally free symmetrical resolution of a sheaf F on P^3 in order that $Spec (mathcal F)$ yield a canonically projected surface of general type. The result was found in 1983 by the first author in the regular case, and the main ingredient here for the irregular (= non Cohen-Macaulay) case is to replace the use of Hilbert resolutions with the use of Beilinson's monads. Most of the paper is devoted then to the analysis of irregular canonical surfaces with p_g=4 and low degree (the analysis in the regular case had been initiated by F. Enriques). For q=1 we classify completely the (irreducible) moduli space for the minimal value K^2=12. We also study other moduli spaces, q=2, K^2=18, and q=3, K^2=12. The last family is provided by the divisors in a (1,1,2) polarization on some Abelian 3-fold. A remarkable subfamily is given by the pull backs, under a 2-isogeny, of the theta divisor of a p.p.Abelian 3-fold: for those surfaces the canonical map is a double cover of a canonical surface (i.e., such that its canonical map is birational). The canonical image is a sextic surface with a plane cubic as double curve, and moreover with an even set of 32 nodes as remaining singular locus. Our method allows to write the equations of these transcendental objects, but not yet to construct new ones by computer algebra.


title: Symplectic structures of algebraic surfaces and deformation

abstract: Friedman and Morgan made the "speculation" that deformation equivalence and diffeomorphism should coincide for algebraic surfaces. Counterexamples, for the hitherto open case of surfaces of general type, have been given in the last years by Manetti, by Kharlamov-Kulikov and in my cited article. For the latter much simpler examples, it was shown that there are surfaces $S$ which are not deformation equivalent to their complex conjugate. However, by Seiberg-Witten theory, any (oriented) diffeomorphism of minimal surfaces carries the canonical class K to + K or to - K, and deformation equivalence implies the existence of a diffeomorphism carrying K to +K. In fact, as observed by a referee, the bulk of the proof was to show that our surfaces have no selfhomeomorphism carrying K to - K (the same for the K-K surfaces). In this note we show that Manetti's surfaces provide indeed a counterexample to the reinforced conjecture, since they are symplectomorphic. Our result is that a surface of general type has a canonical symplectic structure (up to symplectomorphism) which is invariant for deformation and for certain degenerations to normal surfaces. Since moreover no simply connected counterexamples to the conjecture are known, we provide explicit families of 1-connected surfaces, which are obtained by glueing together two fixed manifolds with boundary, are not deformation equivalent, but are homeomorphic under a homeomorphism carrying K to +K. We also give as application the existence of symplectically equivalent, but not deformation equivalent cuspidal plane curves.


title: Bimodule deformations, Picard groups and contravariant connections

abstract: We study deformations of invertible bimodules and the behavior of Picard groups under deformation quantization. While K_0-groups are known to be stable under formal deformations of algebras, Picard groups may change drastically. We identify the semiclassical limit of bimodule deformations as contravariant connections and study the associated deformation quantization problem. Our main focus is on formal deformation quantization of Poisson manifolds by star products.


title: The Sphere-Packing Problem

abstract: A brief report on recent work on the sphere-packing problem.


title: Rational curves on hypersurfaces of low degree, II

abstract: This is a continuation of "Rational curves on hypersurfaces of low degree", math.AG/0203088. We prove that if d^2+d+1 < n and d > 2, then for a general hypersurface X_d in P^n of degree d, for each degree e the space of rational curves of degree e on X is itself a rationally connected variety.


title: On the Root Ambiguity in the Complete Solution to the Most General Fifth Degree Polynomial

abstract: Starting from the solution to Bring's equation the root ambiguity is removed from the solution to the quintic equation. This gives the five complex roots of the quintic equation as indicated by Gauss's Fundamental Theorem of Algebra.r


title: Maximin setting for investment problems and fixed income management with observable but non-predictable parameters

abstract: We study optimal investment problem for a diffusion market consisting of a finite number of risky assets (for example, bonds, stocks and options). Risky assets evolution is described by Ito's equation, and the number of risky assets can be larger than the number of driving Brownian motions. We assume that the risk-free rate, the appreciation rates and the volatility of the stocks are all random; they are not necessary adapted to the driving Brownian motion, and their distributions are unknown, but they are supposed to be currently observable. Admissible strategies are based on current observations of the stock prices and the aforementioned parameters. The optimal investment problem is stated as a problem with a maximin performance criterion. This criterion is to ensure that a strategy is found such that the minimum of utility over all distributions of parameters is maximal. Then the maximin problem is solved for a very general case via solution of a linear parabolic equation.


title: Optimal portfolio selection and compression in an incomplete market

abstract: We investigate an optimal investment problem with a general performance criterion which, in particular, includes discontinuous functions. Prices are modeled as diffusions and the market is incomplete. We find an explicit solution for the case of limited diversification of the portfolio, i.e. for the portfolio compression problem. By this we mean that an admissible strategies may include no more than m different stocks concurrently, where m may be less than the total number n of available stocks.


title: A note on the generalized Weierstrass representation

abstract: The study of the relation between the Weierstrass inducing formulae for constant mean curvature surfaces and the completely integrable euclidean nonlinear sigma-model suggests a connection among integrable sigma -models in a background and other type of surfaces. We show how a generalization of the Weierstrass representation can be achieved and we establish a connection with the Weingarten surfaces. We suggest also a possible generalization for two-dimensional surfaces immersed in a flat space R^8 with Euclidean metric.


title: On the degeneration, regeneration and braid monodromy of $T \times T$

abstract: This paper is the first in a series of three papers concerning the surface T times T. In this paper we study the degeneration of T times T and the regeneration of its degenerated object. We study the braid monodromy and its regeneration.


title: A geometric proof of Conn's linearization theorem for analytic Poisson structures

abstract: We give a geometric proof of Conn's linearization theorem for analytic Poisson structures, without using the fast convergence method.


title: An invariant of tangle cobordisms

abstract: We prove that the construction of our previous paper math.QA/0103190 yields an invariant of tangle cobordisms.


title: Clustering in coagulation -fragmentation processes, random combinatorial structures and additive number systems: Asymptotic formulae and limiting laws

abstract: We develop a unified approach to the problem of clustering in the three different fields of applications, as indicated in the title the paper. The approach is based on Khintchine's probabilistic method that grew out of the Darwin-Fawler method in statistical physics. Our main result is the derivation of asymptotic formulae for probabilities of clusters (= groups) of certain sizes as the number of particles goes to infinity. Based on these formulae we prove the zero-one law for the distribution of the largest cluster and establish the threshold function in the phase transition from 0 to 1 in the above law.


title: A note on Jets of Entire Curves in Semi-Abelian Varieties

abstract: We prove a product decomposition of the Zariski closure of the jet lifts of a holomorphic map f from C into a semi-abelian variety A, provided that f is of finite order. On the other hand, by giving an example of such a map f into a three dimensional abelian variety we show that this product decomposition does not hold in general; there was a gap in the proofs of some articles which claimed that such a product decomposition is always true.


title: A homological estimate for the Thurston norm

abstract: We establish a new homological lower bound for the Thurston norm on 1-cohomology of 3-manifolds. This generalizes previous results of C. McMullen, S. Harvey, and the author. We also establish an analogous lower bound for 1-cohomology of 2-dimensional CW-complexes.


title: q-Index on braided non-commutative spheres

abstract: To some Hecke symmetries (i.e. Yang-Baxter braidings of Hecke type) we assign algebras called braided non-commutative spheres. For any such algebra, we introduce and compute a q-analog of the Chern-Connes index. Unlike the standard Chern-Connes index, ours is based on the so-called categorical trace specific for a braided category in which the algebra in question is represented.


title: Classification of exceptional log Del Pezzo surfaces with delta=1

abstract: The exceptional log Del Pezzo surfaces with delta=1 are classified.


title: Classification of log Enriques surfaces with delta=1

abstract: Log Enriques surfaces with delta=1 are classified.


title: On Low-Dimensional Locally Compact Quantum Groups

abstract: Continuing our research on extensions of locally compact quantum groups, we give a classification of all cocycle matched pairs of Lie algebras in small dimensions and prove that all of them can be exponentiated to cocycle matched pairs of Lie groups. Hence, all of them give rise to locally compact quantum groups by the cocycle bicrossed product construction. We also clarify the notion of an extension of locally compact quantum groups by relating it to the concept of a closed normal quantum subgroup and the quotient construction. Finally, we describe the infinitesimal objects of locally compact quantum quantum groups with 2 and 3 generators - Hopf *-algebras and Lie bialgebras.


title: Stable reductive varieties I: Affine varieties

abstract: The motivation of this work is to construct an analog of compactified moduli of abelian varieties and toric pairs in the case of non-commutative algebraic group G. We introduce a class of "stable reductive varieties" which contain connected reductive groups and their equivariant compactifications, and is closed under flat reduced degenerations. We classify them all, describe their degenerations, and establish a connection between these varieties and "reductive semigroups" which we also define. Finally, we construct a Hilbert scheme of embedded G-varieties by applying and generalizing a construction of Haiman and Sturmfels. The second version adds some cosmetic changes.


title: How close are pth powers in the Nottingham group?

abstract: Let F be a field of characteristic p > 0 and let g, h be elements of the Nottingham group N(F) such that g has depth k and gh^{-1} has depth n >= k. We find the best possible lower bound for the depth of g^ph^{-p}.


title: Stable reductive varieties II: Projective case

abstract: We construct a moduli space of stable projective pairs with a nontrivial action of a connected reductive group. These stable reductive pairs are higher-dimensional analogs of stable n-pointed curves and generalize to the non-commutative case a functorial compactification of moduli of abelian varieties, and of toric pairs. We prove that, confirming a prediction of log Minimal Program, stable reductive pairs have semi log canonical singularities. Final version, to appear in Advances of Math.


title: Compatible Discrete Series

abstract: Several very interesting results connecting the theory of abelian ideals of Borel subalgebras, some ideas of D. Peterson relating the previous theory to the combinatorics of affine Weyl groups, and the theory of discrete series are stated in a recent paper (\cite{Ko2}) by B. Kostant. In this paper we provide proofs for most of Kostant's results extending them to $ad$-nilpotent ideals and develop one direction of Kostant's investigation, the compatible discrete series.


title: Iterating random functions on a finite set

abstract: Let f_1,f_2,..., be functions chosen independently and uniformly from the set of all functions from a set of cardinality n into itself. Let g_t be the composition of the first t functions, and let T be the smallest t for which g_t is constant. We find the limiting distribution of T/n, as n --> infinity.


title: The fundamental group of the complement of the branch curve of T times T in C^2

abstract: This paper is the second in a series of three papers concerning the surface T times T, where T is a complex torus. We compute the fundamental group of the branch curve of the surface in C^2, using the van Kampen Theorem and the braid monodromy factorization of the curve.


title: Four Lectures on Noncommutative Dynamics

abstract: These lectures concern basic aspects of the theory of semigroups of endomorphisms of type $I$ factors that relate to causal dynamics, dilation theory, and the problem of classifying $E_0$-semigroups up to cocycle conjugacy. We give only a few proofs here; full details can be found in the author's upcoming monograph {\em Noncommutative Dynamics and $E$-semigroups}, to be published in the Springer series Monographs in Mathematics.


title: Frobenius Modules and Hodge Asymptotics

abstract: We exhibit a direct correspondence between the potential defining the H^{1,1} small quantum module structure on the cohomology of a Calabi-Yau manifold and the asymptotic data of the A-model variation of Hodge structure. This is done in the abstract context of polarized variations of Hodge structure and Frobenius modules.


title: Computing special values of motivic L-functions

abstract: We present an algorithm to compute values L(s) and derivatives of L-functions of motivic origin numerically to required accuracy. Specifically, the method applies to any L-series whose Gamma-factor is a product of any number of Gamma-functions Gamma((s+l(j))/2) with complex l(j), not necessarily distinct. The algorithm relies on the known (or conjectural) functional equation for L(s).


title: The Eckman-Hilton argument and higher operads

abstract: The classical Eckmann-Hilton argument shows that two monoid structures on a set, such that one is a homomorphism for the other, coincide and, moreover, the resulting monoid is commutative. This argument immediately gives a proof of the commutativity of the higher homotopy groups. A reformulation of this argument in the language of higher categories is: suppose we have a one object, one arrow 2-category, then its $Hom$-set is a commutative monoid. A similar argument due to A.Joyal and R.Street shows that a one object, one arrow tricategory is `the same' as a braided monoidal category. In this paper we begin to investigate how one can extend this argument to arbitrary dimension. We provide a simple categorical scheme which allows us to formalise the Eckman-Hilton type argument in terms of the calculation of left Kan extensions in an appropriate 2-category. Then we apply this scheme to the case of $n$-operads in the author's sense and classical symmetric operads. We demonstrate that there exists a functor of symmetrisation $Sym_n$ from a certain subcategory of $n$-operads to the category of symmetric operads such that the category of one object, one arrow, . . ., one $(n-1)$-arrow algebras of $A$ is isomorphic to the category of algebras of $Sym_n(A)$. Under some mild conditions, we present an explicit formula for $Sym_n(A)$ which involves taking the colimit over a remarkable categorical symmetric operad. We will consider some applications of the methods developed to the theory of $n$-fold loop spaces in the second paper of this series.


title: Matricial quantum Gromov-Hausdorff distance

abstract: We develop a matricial version of Rieffel's Gromov-Hausdorff distance for compact quantum metric spaces within the setting of operator systems and unital C*-algebras. Our approach yields a metric space of ``isometric'' unital complete order isomorphism classes of metrized operator systems which in many cases exhibits the same convergence properties as those in the quantum metric setting, as for example in Rieffel's approximation of the sphere by matrix algebras using Berezin quantization. Within the metric subspace of metrized unital C*-algebras we establish the convergence of sequences which are Cauchy with respect to a larger Leibniz distance, and we also prove an analogue of the precompactness theorems of Gromov and Rieffel.


title: Crystal bases for quantum affine algebras and combinatorics of Young walls

abstract: In this paper, we give a realization of crystal bases for quantum affine algebras using some new combinatorial objects which we call the Young walls. The Young walls consist of colored blocks with various shapes that are built on the given ground-state wall and can be viewed as generalizations of Young diagrams. The rules for building Young walls and the action of Kashiwara operators are given explicitly in terms of combinatorics of Young walls. The crystal graphs for basic representations are characterized as the set of all reduced proper Young walls. The characters of basic representations can be computed easily by counting the number of colored blocks that have been added to the ground-state wall.


title: Equivariant Bloch-Kato conjecture and non-abelian Iwasawa Main Conjecture

abstract: This is a contribution to the ICM 2002. We explain the relation between the (equivariant) Bloch-Kato conjecture for special values of L-functions and the Main Conjecture of (non-abelian) Iwasawa theory. On the way we will discuss briefly the case of Dirichlet characters in the abelian case. We will also discuss how "twisting" in the non-abelian case would allow to reduce the general conjecture to the case of number fields. This is one the main motivations for a non-abelian Main Conjecture.


title: Singular measures and convolution operators

abstract: We show that in the study of certain convolution operators, functions can be replaced by measures without changing the size of the constants appearing in weak type (1,1) inequalities. As an application, we prove that the best constants for the centered Hardy-Littlewood maximal operator associated to parallelotopes do not decrease with the dimension.


title: Fine Structure of Class Groups of Prime Power Cyclotomic Fields and the Kervaire-Murthy Conjectures

abstract: In 1977 Kervaire and Murthy presented three conjectures regarding $K_0 \mathbb{Z} C_{p^n}$, where $C_{p^n}$ is the cyclic group of order $p^n$ and $p$ is a semi-regular prime. The Mayer-Vietoris exact sequence provides the following short exact sequence $$0\to V_n\to \pic (\mathbb{Z} C_{p^n})\to \cl \mathbb{Q} (\zeta_{n-1})\times \pic (\mathbb{Z} C_{p^{n-1}})\to 0$$ where $\zeta_{n-1}$ is a primitive $p^n$-th root of unity. The group $V_n$ that injects into $\pic \mathbb{Z} C_{p^n}\cong\tilde{K}_0\mathbb{Z} C_{p^n}$, is a canonical quotient of an in some sense simpler group $\mathcal{V}_n$. Both groups split in a ``positive'' and ``negative'' part. While $V_n^-$ is well understood there is still no complete information on $V_n^+$. Kervaire and Murthy showed that $K_0 \Z C_{p^n}$ and $V_n$ are tightly connected to class groups of cyclotomic fields. They conjectured that $V_n^+\cong (\mathbb{Z}/p^n \mathbb{Z})^{r(p)}$, where $r(p)$ is the index of regularity of the prime $p$ and that $\mathcal{V}_n^+\cong V_n^+$, and moreover, $\char\mathcal{V}_n^+\cong \cl^{(p)} \mathbb{Q} (\zeta_{n-1})$, the $p$-part of the class group. In the present paper we calculate $\mathcal{V}_n^+$ and prove that $\char \mathcal{V}_n^+\cong \cl^{(p)} \mathbb{Q}(\zeta_{n-1})$ for all semi-regular primes which also gives us the structure of $\cl^{(p)} \mathbb{Q}(\z_{n-1})$ as an abelian group. Moreover we conclude that all three Kervaire and Murthy conjectures hold is equivalent to that the Iwasawa invariant $\lambda$ equals $r(p)$ and that this also implies that the Iwasawa invariant $\nu$ equals $r(p)$.


title: Griffiths-Harris rigidity of compact Hermitian symmetric spaces

abstract: I show that any complex manifold that resembles a rank two compact Hermitian symmetric space (other than a quadric hypersurface) to order two at a general point must be an open subset of such a space.


title: On a nonlinear elliptic system from Maxwell-Chern-Simons vortex theory

abstract: We define an abstract nonlinear elliptic system, admitting a variational structure, and including the vortex equations for some Maxwell-Chern-Simons gauge theories as special cases. We analyze the asymptotic behavior of its solutions, and we provide a general simplified framework for the asymptotics previously derived in those special cases. As a byproduct of our abstract formulation, we also find some new qualitative properties of solutions.


title: Multiple Description Vector Quantization with Lattice Codebooks: Design and Analysis

abstract: The problem of designing a multiple description vector quantizer with lattice codebook Lambda is considered. A general solution is given to a labeling problem which plays a crucial role in the design of such quantizers. Numerical performance results are obtained for quantizers based on the lattices A_2 and Z^i, i=1,2,4,8, that make use of this labeling algorithm. The high-rate squared-error distortions for this family of L-dimensional vector quantizers are then analyzed for a memoryless source with probability density function p and differential entropy h(p) < infty. For any a in (0,1) and rate pair (R,R), it is shown that the two-channel distortion d_0 and the channel 1 (or channel 2) distortions d_s satisfy lim_{R -> infty} d_0 2^(2R(1+a)) = (1/4) G(Lambda) 2^{2h(p)} and lim_{R -> infty} d_s 2^(2R(1-a)) = G(S_L) 2^2h(p), where G(Lambda) is the normalized second moment of a Voronoi cell of the lattice Lambda and G(S_L) is the normalized second moment of a sphere in L dimensions.


title: Addendum and correction to: Homology cylinders: an enlargement of the mapping class group

abstract: In a previous paper [Homology cylinders: an enlargement of the mapping class group, Algebr. Geom. Topol. 1 (2001) 243--270, arXiv:math.GT/0010247], a group H_g of homology cylinders over the oriented surface of genus g is defined. A filtration of H_g is defined, using the Goussarov-Habiro notion of finite-type. It is erroneously claimed that this filtration essentially coincides with the relative weight filtration. The present note corrects this error and studies the actual relation between the two filtrations.


title: On Kissing Numbers in Dimensions 32 to 128

abstract: An elementary construction using binary codes gives new record kissing numbers in dimensions from 32 to 128.


title: A Note on Optimal Unimodular Lattices

abstract: The highest possible minimal norm of a unimodular lattice is determined in dimensions n <= 33. There are precisely five odd 32-dimensional lattices with the highest possible minimal norm (compared with more than 8*10^20 in dimension 33). Unimodular lattices with no roots exist if and only if n >= 23, n not = 25.


title: Young wall realization of crystal graphs for U_q(C_n^{(1)})

abstract: We give a realization of crystal graphs for basic representations of the quantum affine algebra U_q(C_n^{(1)}) using combinatorics of Young walls. The notion of splitting blocks plays a crucial role in the construction of crystal graphs.


title: The Shadow Theory of Modular and Unimodular Lattices

abstract: It is shown that an n-dimensional unimodular lattice has minimal norm at most 2[n/24] +2, unless n = 23 when the bound must be increased by 1. This result was previously known only for even unimodular lattices. Quebbemann had extended the bound for even unimodular lattices to strongly N-modular even lattices for N in {1,2,3,5,6,7,11,14,15,23} ... (*), and analogous bounds are established here for odd lattices satisfying certain technical conditions (which are trivial for N = 1 and 2). For N > 1 in (*), lattices meeting the new bound are constructed that are analogous to the ``shorter'' and ``odd'' Leech lattices. These include an odd associate of the 16-dimensional Barnes-Wall lattice and shorter and odd associates of the Coxeter-Todd lattice. A uniform construction is given for the (even) analogues of the Leech lattice, inspired by the fact that (*) is also the set of square-free orders of elements of the Mathieu group M_{23}.


title: Morita Equivalence of Cherednik Algebras

abstract: We classify the rational Cherednik algebras H_c(W) (and their spherical subalgebras) up to isomorphism and Morita equivalence in case when W is the symmetric group and `c' is a generic parameter value.


title: Products of hyperbolic metric spaces

abstract: Let (X_i,d_i), i=1,2, be proper geodesic hyperbolic metric spaces. We give a general construction for a ``hyperbolic product'' X_1{times}_h X_2 which is itself a proper geodesic hyperbolic metric space and examine its boundary at infinity.


title: Groups of germs of analytic diffeomorphisms in (C^2,0)

abstract: Let G a group of germs of analytic diffeomorphisms in (C^2,0). We find some remarkable properties supposing that G is finite, linearizable, abelian nilpotent and solvable. In particular, if the group is abelian and has a generic dicritic diffeomorphisms, then the group is a subgroup of a 1-parametric group. In addition, we study the topological behaviour of the orbits of a dicritic diffeomorphisms. Last, we find some invariants in order to know when two diffeomorphisms are formally conjugates.


title: The Curvature and Index of Completely Positive Maps

abstract: We study conjugacy invariants for completely positive maps that are inspired by the concept of curvature introduced for commuting d-tuples of contractions by Arveson


title: On Mumford Orbifolds

abstract: Formulae for the number of branch points of one-dimensional orbifolds defined over a non-archimedean local field and uniformisable by discrete projective linear groups are given. They depend only on the uniformising group. The method of equivariant pasting reveals the possible relative position of the branch points.


title: Comparison of different goodness-of-fit tests

abstract: Various distribution free goodness-of-fit test procedures have been extracted from literature. We present two new binning free tests, the univariate three-region-test and the multivariate energy test. The power of the selected tests with respect to different slowly varying distortions of experimental distributions are investigated. None of the tests is optimum for all distortions. The energy test has high power in many applications and is superior to the chi^2 test.


title: Cohomology of convex cocompact groups and invariant distributions on limit sets

abstract: This paper contains a thorough investigation of invariant distributions supported on limit sets of discrete groups acting convex cocompactly on symmetric spaces of negative curvature. It can be considered as a continuation of math.DG/9810146. Based on this investigation we provide proofs of the Hodge theoretic results for the cohomology of real hyperbolic manifolds announced in math.DG/0009038, improve the bounds for the critical exponents obtained by Corlette for the quaternionic and the Cayley case, compute the L^2-cohomology for the corresponding locally symmetric spaces, prove a version of the Harder-Borel conjecture for real hyperbolic manifolds, and compute higher cohomology groups with coefficients in hyperfunctions supported on the limit set.


title: Diagrammatic unknotting of knots and links in the projective space

abstract: In the classical knot theory there is a well-known notion of descending diagram. From an arbitrary diagram one can easily obtain, by some crossing changes, a descending diagram which is a diagram of the unknot or unlink. In this paper the notion of descending diagram for knots and links in the real space is extended to the case of nonoriented knots and links in the projective space. It is also shown that this notion cannot be extended to oriented links.


title: Towards the Baum-Connes' Analytical Assembly Map for the Actions of Discrete Quantum Groups

abstract: Given an action of a discrete quantum group (in the sense of Van Daele, Kustermans and Effros-Ruan) ${\cal A}$ on a $C^*$-algebra ${\cal C}$, satisfying some regularity assumptions resembling the proper $\Gamma$-compact action for a classical discrete group $\Gamma$ on some space, we are able to construct canonical maps $\mu^i_r$ (\$\mu_i$ respectively) ($i=0,1$) from the ${\cal A}$-equivariant K-homology groups $KK_i^{{\cal A}}({\cal C}, C |)$ to the K-theory groups $K_i(\hat{{\cal A}_r})$ ($K_i(\hat{{\cal A}})$ respectively), where $\hat{{\cal A}_r}$ and $\hat{{\cal A}}$ stand for the quantum analogues of the reduced and full group $C^*$-algebras (c.f. [11],[6]). We follow the steps of the construction of the classical Baum-Connes map, although in the context of quantum group the nontrivial modular property of the invariant weights (and the related fact that the square of the antipode is not identity) has to be taken into serious consideration, making it somewhat tricky to guess and prove the correct definitions of relevant Hilbert module structures.


title: A Geometric Characterization of Extremal Sets in ell_p Spaces

abstract: We give a geometric characterization of extremal sets in ell_p spaces that generalizes our previous result for such sets in Hilbert spaces.


title: Hurwitz spaces of triple coverings of elliptic curves and moduli spaces of abelian threefolds

abstract: We prove that the moduli spaces A_3(D) of polarized abelian threefolds with polarizations of types D=(1,1,2), (1,2,2), (1,1,3) or (1,3,3) are unirational. The result is based on the study of families of simple coverings of elliptic curves of degree 2 or 3 and on the study of the corresponding period mappings associated with holomorphic differentials with trace 0. In particular we prove the unirationality of the Hurwitz space H_{3,A}(Y) which parameterizes simply branched triple coverings of an elliptic curve Y with determinants of the Tschirnhausen modules isomorphic to A^{-1}.


title: The development of the princial genus theorem

abstract: In this article we sketch the development of the principal genus theorem from its conception by Gauss in the case of binary quadratic forms to the cohomological formulation of the principal genus theorem of class field theory by Emmy Noether.


title: Imaginary quadratic fields with Cl_2(k) = (2,2,2)

abstract: In this article we classify the complex quadratic number fields k with 2-class group of type (2,2,2) whose Hilbert 2-class fields have a 2-class group of rank 2, and then determine the length of their 2-class field towers.


title: Recovering l-adic representations

abstract: We consider the problem of recovering l-adic representations from a knowledge of the character values at the Frobenius elements associated to l-adic representations constructed algebraically out of the original representations. These results generalize earlier results in of the author concerning refinements of strong multiplicity one for $l$-adic represntations, and a result of Ramakrishnan recovering modular forms from a knowledge of the squares of the Hecke eigenvalues. For example, we show that if the characters of some tensor or symmetric powers of two absolutely irreducible l-adic representation with the algebraic envelope of the image being connected, agree at the Frobenius elements corresponding to a set of places of positive upper density, then the representations are twists of each other by a finite order character.


title: Semistable abelian varieties with small division fields

abstract: Let $A$ be a semistable abelian variety defined over ${\bf Q}$ with bad reduction only at one prime $p$. Let $L= {\bf Q}(A[\ell])$ be the $\ell$-division field of $A$ for a prime $\ell$ not equal to $p$ and let $F={\bf Q}(\mu_\ell)$ be the cyclotomic field generated by the group of $\ell^{th}$-roots of unity. We study the varieties $A$ for which $H={\rm Gal(L/F)}$ is "small" in the sense that $H$ is an $\ell$-group or, more generally, that $H$ is nilpotent. We show that if $\ell=2$ or 3 and $H$ is nilpotent then the reduction of $A$ at $p$ is totally toroidal, so its conductor is $p^{\dim A}$. The Jacobian of the modular curve $X_0(41)$ is a simple semistable abelian variety of dimension 3, with bad reduction only at $p=41$ and the Galois group of its 2-division field is a 2-group. For $\ell=2$, 3 or 5, there exist elliptic curves $E$ of prime conductor such that ${\bf Q}(E[\ell]) = {\bf Q}(\mu_{2 \ell})$. We characterize the abelian varieties that are isogenous to products $E^d$.


title: Local-global problem for Drinfeld modules

abstract: Let K be a function field and let (f) be a principal prime ideal of the ring A, which is a subring of K. Let phi: A --> K {tau} be a Drinfeld module. In this paper we consider the problem whether a point P in K which is a phi(f)-fold locally at each place v of K, i.e., for each v there is a Q in K_v such that phi(f).P = Q, is also a phi(f)-fold globally. We also discuss the same problem in the context of elliptic curves, where it is much simpler.


title: Simple proofs of classical explicit reciprocity laws on curves using determinant groupoids over an artinian local ring

abstract: The notion of determinant groupoid is a natural outgrowth of the theory of the Sato Grassmannian and thus well-known in mathematical physics. We briefly sketch here a version of the theory of determinant groupoids over an artinian local ring, taking pains to put the theory in a simple concrete form suited to number-theoretical applications. We then use the theory to give a simple proof of a reciprocity law for the Contou-Carr\`{e}re symbol. Finally, we explain how from the latter to recover various classical explicit reciprocity laws on nonsingular complete curves over an algebraically closed field, namely sum-of-residues-equals-zero, Weil reciprocity, and an explicit reciprocity law due to Witt. Needless to say, we have been much influenced by the work of Tate on sum-of-residues-equals-zero and the work of Arbarello-DeConcini-Kac on Weil reciprocity. We also build in an essential way on a previous work of the second-named author.


title: Self-Dual Codes

abstract: Self-dual codes are important because many of the best codes known are of this type and they have a rich mathematical theory. Topics covered in this survey include codes over F_2, F_3, F_4, F_q, Z_4, Z_m, shadow codes, weight enumerators, Gleason-Pierce theorem, invariant theory, Gleason theorems, bounds, mass formulae, enumeration, extremal codes, open problems. There is a comprehensive bibliography.


title: A Group-Theoretic Framework for the Construction of Packings in Grassmannian Spaces

abstract: By using totally isotropic subspaces in an orthogonal space Omega^{+}(2i,2), several infinite families of packings of 2^k-dimensional subspaces of real 2^i-dimensional space are constructed, some of which are shown to be optimal packings. A certain Clifford group underlies the construction and links this problem with Barnes-Wall lattices, Kerdock sets and quantum-error-correcting codes.


title: A Family of Optimal Packings in Grassmannian Manifolds

abstract: A remarkable coincidence has led to the discovery of a family of packings of (m^2+m-2) m/2-dimensional subspaces of m-dimensional space, whenever m is a power of 2. These packings meet the ``orthoplex bound'' and are therefore optimal.


title: Packing Lines, Planes, etc.: Packings in Grassmannian Space

abstract: This paper addresses the question: how should N n-dimensional subspaces of m-dimensional Euclidean space be arranged so that they are as far apart as possible? The results of extensive computations for modest values of N, n, m are described, as well as a reformulation of the problem that was suggested by these computations. The reformulation gives a way to describe n-dimensional subspaces of m-space as points on a sphere in dimension (m-1)(m+2)/2, which provides a (usually) lower-dimensional representation than the Pluecker embedding, and leads to a proof that many of the new packings are optimal. The results have applications to the graphical display of multi-dimensional data via Asimov's "Grand Tour" method.


title: Quaternionic Monge-Ampere equations

abstract: The main result of this paper is the existence and uniqueness of solution of the Dirichlet problem for quaternionic Monge-Ampere equations in quaternionic strictly pseudoconvex bounded domains in H^n. We continue the study of the theory of plurisubharmonic functions of quaternionic variables started by the author at [2].


title: On the diagram of 132-avoiding permutations

abstract: The diagram of a 132-avoiding permutation can easily be characterized: it is simply the diagram of a partition. Based on this fact, we present a new bijection between 132-avoiding and 321-avoiding permutations. We will show that this bijection translates the correspondences between these permutations and Dyck paths given by Krattenthaler and by Billey-Jockusch-Stanley, respectively, to each other. Moreover, the diagram approach yields simple proofs for some enumerative results concerning forbidden patterns in 132-avoiding permutations.


title: The Lie algebra cohomology of jets

abstract: Let g be a finite-dimensional complex semi simple Lie algebra. We present a new calculation of the continuous cohomology of the Lie algebra z g[[z]]. In particular, we shall give an explicit formula for the Laplacian on the Lie algebra cochains, from which we can deduce that the cohomology in each dimension is a finite-dimensional representation of g which contains any irreducible representation of g at most once.


title: Exchanging the places p and infinity in the Leopoldt conjecture

abstract: The Leopoldt conjecture is concerned with the image of the global units in the local units at the primes dividing p. In the definition of the global units the infinite place is distinguished. Exchanging p and infinity in the formulation one gets a new conjecture. It predicts that certain vectors should be linearly independent over the reals whose components are arguments of conjugates of Weil numbers. Using Baker's result on linear forms in logarithms we prove part of this new conjecture in certain abelian situations.


title: The Mathematical Universe in a Nutshell

abstract: The mathematical universe discussed here gives models of possible structures our physical universe can have.


title: Classification of Weil-Petersson Isometries

abstract: This paper contains two main results. The first is the existence of an equivariant Weil-Petersson geodesic in Teichmueller space for any choice of pseudo-Anosov mapping class. As a consequence one obtains a classification of the elements of the mapping class group as Weil-Petersson isometries which is parallel to the Thurston classification. The second result concerns the asymptotic behavior of these geodesics. It is shown that geodesics that are equivariant with respect to independent pseudo-Anosov's diverge. It follows that subgroups of the mapping class group which contain independent pseudo-Anosov's act in a reductive manner with respect to the Weil-Petersson geometry. This implies an existence theorem for equivariant harmonic maps to the metric completion.


title: Remarks on a conjecture of Gromov and Lawson

abstract: Gromov and Lawson conjectured that a closed spin manifold M of dimension n with fundamental group pi admits a metric with positive scalar curvature if and only if an associated element in KO_n(B pi) vanishes. In this note we present counter examples to the `if' part of this conjecture for groups pi which are torsion free and whose classifying space is a manifold with negative curvature (in the Alexandrov sense).


title: Anchored vector bundles and algebroids

abstract: Inspired by recent works of Zang Liu, Alan Weinstein and Ping Xu, we introduce the notions of CC algebroids and non asymmetric Courant algebroids and study these structures. It is shown that CC algebroids of rank greater than 3 are the same as Courant algebroids up to a constant factor, though the definition of CC algebroids is much simpler than that of Courant algebroids,requiring only 2 axioms instead of 5. The situation is similar to that of Lie algebroids, where in the usual definition used by all of he experts there is a redundant axiom, e.g.[GG,KO1,KO2,MK,PL]. Non asymmetric Courant algebroids are shown to be nothing but (pseudo)clan bundles (in the sense of E.B. Vinberg-Katz) which arise in affine geometry of convex bounded domains. The study of CC algebroids and non asymmetric Courant algebroids involves the cohomology theory of Koszul-Vinberg algebras and their modules.


title: Non Weierstrass Numerical Semigroups of Genus g >= 10

abstract: This paper has been withdrawn by the authors, due a gap in the proof of the main Theorem.


title: Rational semimodules over the max-plus semiring and geometric approach of discrete event systems

abstract: We introduce rational semimodules over semirings whose addition is idempotent, like the max-plus semiring, in order to extend the geometric approach of linear control to discrete event systems. We say that a subsemimodule of the free semimodule S^n over a semiring S is rational if it has a generating family that is a rational subset of S^n, S^n being thought of as a monoid under the entrywise product. We show that for various semirings of max-plus type whose elements are integers, rational semimodules are stable under the natural algebraic operations (union, product, direct and inverse image, intersection, projection, etc). We show that the reachable and observable spaces of max-plus linear dynamical systems are rational, and give various examples.


title: Hochschild and cyclic homology of a family of Auslander algebras

abstract: In this paper, we compute the Hochschild and cyclic homologies of the Auslander algebras of the Taft algebras. We also describe the first Chern character for the Taft algebras and for their Auslander algebras.


title: The pluripolar hull of the graph of a holomorphic function with polar singularities

abstract: We study the pluripolar hull of the graph of a holomorphic function f, defined on a domain D in the complex plane outside a polar set A of D. This leads to a theorem that describes under what conditions f is nowhere extendable over A, while the graph of f over D \ A is NOT complete pluripolar.


title: Packing Planes in Four Dimensions and Other Mysteries

abstract: How should you choose a good set of (say) 48 planes in four dimensions? More generally, how do you find packings in Grassmannian spaces? In this article I give a brief introduction to the work that I have been doing on this problem in collaboration with A. R. Calderbank, J. H. Conway, R. H. Hardin, E. M. Rains and P. W. Shor. We have found many nice examples of specific packings (70 4-spaces in 8-space, for instance), several general constructions, and an embedding theorem which shows that a packing in Grassmannian space G(m,n) is a subset of a sphere in R^D, where D = (m+2)(m-1)/2, and leads to a proof that many of our packings are optimal. There are a number of interesting unsolved problems.


title: Steepest descent on real flag manifolds

abstract: Real flag manifolds are the isotropy orbits of noncompact symmetric spaces $G/K$. Any such manifold $M$ enjoys two very peculiar geometric properties: It carries a transitive action of the (noncompact) Lie group $G$, and it is embedded in euclidean space as a taut submanifold. The aim of the paper is to link these two properties by showing that the gradient flow of any height function is a one-parameter subgroup of $G$, where the gradient is defined with respect to a suitable homogeneous metric $s$ on $M$; this generalizes the Kaehler metric on adjoint orbits (the so-called complex flag manifolds).


title: Estimates on the Spectrum of Fractals Arising From Affine Iterations

abstract: In the first section we review recent results on the harmonic analysis of fractals generated by iterated function systems with emphasis on spectral duality. Classical harmonic analysis is typically based on groups whereas the fractals are most often not groups. We show that nonetheless those fractals that come from iteration of affine mappings in R^d have a spectral duality which is instead based on approximation and a certain dual affine system on the Fourier transform side. The present work is based on iteration of frame estimates (which have been studied earlier for regions in R^d). Our emphasis is on new results regarding the interplay between the limit-fractal on the one hand, and on the other the corresponding regions in R^d which generate iterated function systems of contractive affine mappings. As an application of our frame results, we obtain a classification of a certain type of spectral pairs.


title: How to Evolve Safe Control Strategies

abstract: Autonomous space vehicles need adaptive control strategies that can accommodate unanticipated environmental conditions. The evaluation of new strategies can often be done only by actually trying them out in the real physical environment. Consequently, a candidate control strategy must be deemed safe--i.e., it won't damage any systems--prior to being tested online. How to do this efficiently has been a challenging problem. We propose using evolutionary programming in conjunction with a formal verification technique (called model checking) to evolve candidate control strategies that are guaranteed to be safe for implementation and evaluation.


title: A Kawamata-Viehweg Vanishing Theorem on compact Kahler manifolds

abstract: We prove a Kawamata-Viehweg vanishing theorem on a normal compact Kahler space X: if L is a nef line bundle with numerical dimension at least equal to 2, then the q-th cohomology group of K_X+L vanishes for q at least equal to the dimension of X minus 1. As an application, a special case of the abundance conjecture for minimal Kahler threefolds is proven: if X is a minimal Kahler threefold (in the usual sense that K_X is nef), then the Kodaira dimension kappa(X) is nonnegative.


title: Derangements in simple and primitive groups

abstract: We investigate the proportion of fixed point free permutations (derangements) in finite transitive permutation groups. This article is the first in a series where we prove a conjecture of Shalev that the proportion of such elements is bounded away from zero for a simple finite group. In fact, there are much stronger results. This article focuses on finite Chevalley groups of bounded rank. We also discuss derangements in algebraic groups and in more general primitive groups. These results have applications in questions about probabilistic generation of finite simple groups and maps between varieties over finite fields.


title: On the Isomorphic Embedding of Rectangular Grids in n-cubes

abstract: All previously published work on isomorphic grid embeddings into n-cubes has been restricted to binary n-cubes. This paper describes a straightforward method for embedding a A x B grid isomorphically into a k-ary n-cube with k>2.


title: A Localization Argument for Characters of Reductive Lie Groups: An Introduction and Examples

abstract: In this article I describe my recent geometric localization argument dealing with actions of NONcompact groups which provides a geometric bridge between two entirely different character formulas for reductive Lie groups and answers the question posed in [Sch]. A corresponding problem in the compact group setting was solved by N.Berline, E.Getzler and M.Vergne in [BGV] by an application of the theory of equivariant forms and, particularly, the fixed point integral localization formula. This localization argument seems to be the first successful attempt in the direction of building a similar theory for integrals of differential forms, equivariant with respect to actions of noncompact groups. I will explain how the argument works in the SL(2,R) case, where the key ideas are not obstructed by technical details and where it becomes clear how it extends to the general case. The general argument appears in [L]. I put every effort to make this article broadly accessible. Also, although this article mentions characteristic cycles of sheaves, I do not assume that the reader is familiar with this notion.


title: Metrics of positive curvature with conic singularities on the sphere

abstract: A simple proof is given of the necessary and sufficient condition on a triple of positive numbers A,B,C for the existence of a conformal metric of constant positive curvature on the sphere, with three conic singularities of total angles A,B,C. The same condition is necessary and sufficient for the triple A,B,C to be interior angles of a spherical triangular membrane.


title: A new proof of a theorem of Ivanov and Schupp

abstract: The object of this note is to give a very short proof of the following theorem of Ivanov and Schupp. Let H be a finitely generated subgroup of a free group F and the index [F:H] infinite. Then there exists a nontrivial normal subgroup N of F such that N cap H = {1}.


title: Finiteness of rigid cohomology with coefficients

abstract: We prove that for any field k of characteristic p>0, any separated scheme X of finite type over k, and any overconvergent F-isocrystal E over X, the rigid cohomology H^i(X, E) and rigid cohomology with compact supports H^i_c(X,E) are finite dimensional vector spaces. We also establish Poincare duality and the Kunneth formula with coefficients. The arguments use a pushforward construction in relative dimension 1, based on a relative version of Crew's conjecture on the quasi-unipotence of certain p-adic differential equations.


title: Addenda/Corrigenda: Fixed Points and Two-cycles of the Discrete Logarithm

abstract: The abstract of the original paper was as follows: We explore some questions related to one of Brizolis: does every prime p have a pair (g,h) such that h is a fixed point for the discrete logarithm with base g? We extend this question to ask about not only fixed points but also two-cycles. Campbell and Pomerance have not only answered the fixed point question for sufficiently large p but have also rigorously estimated the number of such pairs given certain conditions on g and h. We attempt to give heuristics for similar estimates given other conditions on g and h and also in the case of two-cycles. These heuristics are well-supported by the data we have collected, and seem suitable for conversion into rigorous estimates in the future.


title: On the concept of normal shift in non-metric geometry

abstract: Theory of Newtonian dynamical systems admitting normal shift of hypersurfaces was first developed for the case of Riemannian manifolds. Recently it was generalized for manifolds geometric equipment of which is given by some regular Lagrangian or, equivalently, by some regular Hamiltonian dynamical system. In present paper we consider further generalization of this theory for the case, when geometry of manifold is given by generalized Legendre transformation.


title: Remarks on the Schwarzian Derivatives and the Invariant Quantization by means of a Finsler Function

abstract: Let $(M,F)$ be a Finsler manifold. We construct a 1-cocycle on $\Diff(M)$ with values in the space of differential operators acting on sections of some bundles, by means of the Finsler function $F.$ As an operator, it has several expressions: in terms of the Chern, Berwald, Cartan or Hashiguchi connection, although its cohomology class does not depend on them. This cocycle is closely related to the conformal Schwarzian derivatives introduced in our previous work. The second main result of this paper is to discuss some properties of the conformally invariant quantization map by means of a Sazaki (type) metric on the slit bundle $TM\backslash 0$ induced by $F.$


title: The toric Hilbert scheme of a rank two lattice is smooth and irreducible

abstract: The toric Hilbert scheme of a lattice L in Z^n is the multigraded Hilbert scheme parameterizing all ideals in k[x_1,...,x_n] with Hilbert function value one for every degree in the grading monoid N^n/L. In this paper we show that if L is two-dimensional, then the toric Hilbert scheme of L is smooth and irreducible. This result is false for lattices of dimension three and higher as the toric Hilbert scheme of a rank three lattice can be reducible.


title: Jacobi groupoids and generalized Lie bialgebroids

abstract: Jacobi groupoids are introduced as a generalization of Poisson and contact groupoids and it is proved that generalized Lie bialgebroids are the infinitesimal invariants of Jacobi groupoids. Several examples are discussed.


title: Cluster algebras and Poisson geometry

abstract: We introduce a Poisson variety compatible with a cluster algebra structure and a compatible toric action on this variety. We study Poisson and topological properties of the union of generic orbits of this toric action. In particular, we compute the number of connected components of the union of generic toric orbits for cluster algebras over real numbers. As a corollary we compute the number of connected components of refined open Bruhat cells in Grassmanians G(k,n) over real numbers.


title: Eigenvalue estimates for submanifolds with locally bounded mean curvature

abstract: We give lower bounds for the first Dirichilet eigenvalues for domains in submanifolds with locally bounded mean curvatures. These bounds depend on the injectivity radius, sectional curvature (upperbound) of the ambient space and on the mean curvature of the submanifold. For submanifolds fo Hadamard manifolds these lower bounds depend only on the dimension and mean curvature of the submanifold.


title: Parametric Backlund transformations I: Phenomenology

abstract: We begin an exploration of parametric Backlund transformations for hyperbolic Monge-Ampere systems. We compute invariants for such transformations and explore the behavior of four examples regarding their invariants, symmetries, and conservation laws. We prove some preliminary results and indicate directions for further research.


title: Nondegeneracy of the Lie algebra aff(n)

abstract: We show that $\mathfrak{aff}(n)$, the Lie algebra of affine transformations of ${\mathbb R}^n,$ is formally and analytically nondegenerate in the sense of A. Weinstein. This means that every analytic (resp., formal) Poisson structure vanishing at a point with a linear part corresponding to $\mathfrak{aff}(n)$ is locally analytically (resp., formally) linearizable.


title: Representations of reductive groups over finite rings

abstract: We discuss a cohomological construction of representations of a reductive group over the ring of power series over a finite field modulo the r-th power of the maximal ideal. The case r=1 goes back to Deligne and the author. The case where r is greater than 1 was given without proof in the author's work in 1977. Here we supply the proofs and give some further results.


title: Fast Elliptic Curve Arithmetic and Improved Weil Pairing Evaluation

abstract: We present an algorithm which speeds scalar multiplication on a general elliptic curve by an estimated 3.8 % to 8.5 % over the best known general methods when using affine coordinates. This is achieved by eliminating a field multiplication when we compute 2P+Q from given points P, Q on the curve. We give applications to simultaneous multiple scalar multiplication and to the Elliptic Curve Method of factorization. We show how this improvement together with another idea can speed the computation of the Weil and Tate pairings by up to 7.8 %.


title: What is a virtual link?

abstract: Several authors have recently studied virtual knots and links because they admit invariants arising from R-matrices. We prove that every virtual link is uniquely represented by a link L in S X I, a thickened, compact, oriented surface S, such that the link complement (S X I) - L has no essential vertical cylinder.


title: Theta constants associated to coverings of P^1 branching at 8 points

abstract: We construct automorphic forms on the 5-dimensional complex ball which give the inverse of the period map for cyclic 4-ple coverings of the complex projective line branching at eight points with branching index (1/4,...,1/4).


title: Operads up to Homotopy and Deformations of Operad Maps

abstract: From the `cofree' cooperad $T'(A[-1])$ on a collection $A$ together with a differential, we construct an $L_\infty$-algebra structure on the total space $\bigoplus_nA(n)$ that descends to coinvariants. We use this construction to define an $L_\infty$-algebra controlling deformations of the operad $P$ under $Q$ from a cofibrant resolution for an operad $Q$, and an operad map $Q\longrightarrow P$. Starting from a diffent cofibrant resolution one obtains a quasi isomorohic $L_\infty$-algebra. This approach unifies Markl's cotangent cohomology of operads and the approaches to deformation of $Q$-algebras by Balavoine, and Kontsevich and Soibelman.


title: Nonlinear hyperbolic equations in surface theory: integrable discretizations and approximation results

abstract: A numerical scheme is developed for solution of the Goursat problem for a class of nonlinear hyperbolic systems with an arbitrary number of independent variables. Convergence results are proved for this difference scheme. These results are applied to hyperbolic systems of differential-geometric origin, like the sine-Gordon equation describing the surfaces of the constant negative Gaussian curvature (K-surfaces). In particular, we prove the convergence of discrete K--surfaces and their Backlund transformations to their continuous counterparts. This puts on a firm basis the generally accepted belief (which however remained unproved untill this work) that the classical differential geometry of integrable classes of surfaces and the classical theory of transformations of such surfaces may be obtained from a unifying multi-dimensional discrete theory by a refinement of the coordinate mesh-size in some of the directions


title: Quantum affine reflection algebras of type d_n^(1) and reflection matrices

abstract: Quantum affine reflection algebras are coideal subalgebras of quantum affine algebras that lead to trigonometric reflection matrices (solutions of the boundary Yang-Baxter equation). In this paper we use the quantum affine reflection algebras of type d_n^(1) to determine new n-parameter families of non-diagonal reflection matrices. These matrices describe the reflection of vector solitons off the boundary in d_n^(1) affine Toda field theory. They can also be used to construct new integrable vertex models and quantum spin chains with open boundary conditions.


title: On smallest triangles

abstract: Pick n points independently at random in R^2, according to a prescribed probability measure mu, and let D^n_1 <= D^n_2 <= ... be the areas of the binomial n choose 3 triangles thus formed, in non-decreasing order. If mu is absolutely continuous with respect to Lebesgue measure, then, under weak conditions, the set {n^3 D^n_i : i >= 1} converges as n --> infinity to a Poisson process with a constant intensity c(mu). This result, and related conclusions, are proved using standard arguments of Poisson approximation, and may be extended to functionals more general than the area of a triangle. It is proved in addition that, if mu is the uniform probability measure on the region S, then c(mu) <= 2/|S|, where |S| denotes the area of S. Equality holds in that c(mu) = 2/|S| if S is convex, and essentially only then. This work generalizes and extends considerably the conclusions of a recent paper of Jiang, Li, and Vitanyi.


title: L^p norms of eigenfunctions in the completely integrable case

abstract: The eigenfunctions e^{i \lambda x} of the Laplacian on a flat torus have uniformly bounded L^p norms. In this article, we prove that for every other quantum integrable Laplacian, the L^p norms of the joint eigenfunctions must blow up at a rate \gg \lambda^{p-2/4p - \epsilon} for every \epsilon >0 as \lambda \to \infty.


title: Permutations Which Avoid 1243 and 2143, Continued Fractions, and Chebyshev Polynomials

abstract: Several authors have examined connections between permutations which avoid 132, continued fractions, and Chebyshev polynomials of the second kind. In this paper we prove analogues of some of these results for permutations which avoid 1243 and 2143. Using tools developed to prove these analogues, we give enumerations and generating functions for permutations which avoid 1243, 2143, and certain additional patterns. We also give generating functions for permutations which avoid 1243 and 2143 and contain certain additional patterns exactly once. In all cases we express these generating functions in terms of Chebyshev polynomials of the second kind.


title: Quantum torsors and Hopf-Galois objects

abstract: We prove that every faithfully flat Hopf-Galois object is a quantum torsor in the sense of Grunspan.


title: Dirac Cohomology for the Cubic Dirac Operator

abstract: Using the cubic Dirac operator and an extended notion of Dirac cohomology we generalize results of Huang-Pandzic, which appeared in JAMS (Sept. 6, 2001 electronic) on a conjecture of D. Vogan


title: Semistable divisorial contractions

abstract: The semistable minimal model program is a special case of the minimal model program concerning 3-folds fibred over a curve and birational morphisms preserving this structure. We classify semistable divisorial contractions which contract the exceptional divisor to a normal point of a fibre. Our results can be applied to describe compact moduli spaces of surfaces.


title: Relations between the ranks and cranks of partitions

abstract: New identities and congruences involving the ranks and cranks of partitions are proved. The proof depends on a new partial differential equation connecting their generating functions.


title: A Poisson structure on compact symmetric spaces

abstract: We present some basic results on a natural Poisson structure on any compact symmetric space. The symplectic leaves of this structure are related to the orbits of the corresponding real semisimple group on the complex flag manifold.


title: Crepant Resolutions of C^n/A_1(n) and Flops of n-Folds for n = 4,5

abstract: In this article, we determine the explicit toric variety structure of $\hl^{A_1(n)}(\CZ^n)$ for $n=4,5$, where $A_1(n)$ is the special diagonal group of all order 2 elements. Through the toric data of $\hl^{A_1(n)}(\CZ^n)$, we obtain certain toric crepant resolutions of $\CZ^n/A_1(n)$, and the different crepant resolutions are connected by flops of $n$-folds for $n=4,5$.


title: Value distribution and spectral theory of Schrodinger operators with L^2-sparse potentials

abstract: We apply the methods of value distribution theory to the spectral asymptotics of Schrodinger operators with L^2-sparse potentials.


title: On group theoretical Hopf algebras and exact factorization of finite groups

abstract: We show that a semisimple Hopf algebra A is group theoretical if and only if its Drinfeld double is a twisting of the Dijkgraaf-Pasquier-Roche quasi-Hopf algebra D^{omega}(Sigma), for some finite group Sigma and some 3-cocycle omega on Sigma. We show that semisimple Hopf algebras obtained as bicrossed products from an exact factorization of a finite group Sigma are group theoretical. We also describe their Drinfeld double as a twisting of D^{omega}(Sigma), for an appropriate 3-cocycle omega coming from the Kac exact sequence.


title: How many operators do there exist on a Banach space?

abstract: We present partial results to the following question: Does every infinite dimensional Banach space have an infinite dimensional subspace on which one can define an operator which is not a compact perturbation of a scalar multiplication?


title: Curves D y^2 = x^3 - x of odd analytic rank

abstract: For nonzero rational D, which may be taken to be a squarefree integer, let E_D be the elliptic curve Dy^2=x^3-x over Q arising in the "congruent number" problem. It is known that the L-function of E_D has sign -1, and thus odd analytic rank, if and only if |D| is congruent to 5, 6, or 7 mod 8. For such D, we expect by the conjecture of Birch and Swinnerton-Dyer that the arithmetic rank of each of these curves E_D is odd, and therefore positive. We prove that E_D has positive rank for each D such that |D| is in one of the above congruence classes mod 8 and also satisfies |D|<10^6. Our proof is computational: we use the modular parametrization of E_1 or E_2 to construct a rational point P_D on each E_D from CM points on modular curves, and compute P_D to enough accuracy to usually distinguish it from any of the rational torsion points on E_D. In the 1375 cases in which we cannot numerically distinguish P_D from a torsion point of E_D, we surmise that P_D is in fact a torsion point but that E_D has rank 3, and prove that the rank is positive by searching for and finding a non-torsion rational point. We also report on the conjectural extension to |D|<10^7 of the list of curves E_D whose analytic rank is odd and greater than 1, which raises several new questions.


title: Strong gamma-sets and other singular spaces

abstract: Whereas the Gerlits-Nagy gamma-property is strictly weaker than the Galvin-Miller strong gamma-property, the corresponding strong notions for the Menger, Hurewicz, Rothberger, Gerlits-Nagy (*), Arkhangel'skii and Sakai properties are equivalent to the original ones. The main result is that almost each of these properties admits the game theoretic characterization suggested by the stronger notion. We also solve a related problem of Kocinac and Scheepers, and answer a question of Iliadis.


title: Neighborhoods of Analytic Varieties in Complex Manifolds

abstract: The systematic study of neighborhoods of analytic varieties was started by H. Grauert in his celebrated article 1962. In that article he considers a manifold X and a negatively embedded submanifold A subset X. He introduces n-neighborhood, n in N, of A and studies when an isomorphism of two n-neighborhoods can be extended to an isomorphism of (n+1)-neighborhoods. He observes that obstructions to this extension problem lie in the first cohomology group of certain sheaves involving the normal bundle of A in X. Using a version of Kodaira vanishing theorem he shows that for a large n these cohomology groups vanish and so he concludes that the germ of a negatively embedded manifold A depends only on a finite neighborhood of it. These methods are generalized to a germ of an arbitrary negatively embedded divisor A by Hironaka, Rossi and Laufer. In the case where A is a Riemann surface embedded in a two dimensional manifold, by using Serre duality we can say exactly which finite neighborhood of A determines the embedding. This isa first draft of an expository article about negatively embedded varieties. The text is mainly based on Grauert's paper, but we have used also the contributions of subsequent authors; for instance the Artin's criterion on the existence of convergent solutions is used instead of Grauert's geometrical methods. Our principal aim is to extend this study to the germ of foliated neighborhoods and singularities. In the first steps we will consider the most simple foliations which are transversal foliations. Next, foliations with tangencies and Poincare type singularities will be considered.


title: Addendum to ``Defects for ample divisors of abelian varieties, Schwarz lemma, and hyperbolic hypersurfaces of low degrees,'' Amerian Journal of Mathematics 119 (1997), 1139-1172

abstract: This is an addendum to our earlier paper on the defect of an ample divisor of an abelian variety. It modifies an argument of the original paper to handle one difficulty there. At the same time the modification improves the result in the original paper by replacing the counting function by one truncated at a multiplicity given by an explicit function of the dimension of the abelian variety and the Chern number of the divisor.


title: Curves of every genus with many points, II: Asymptotically good families

abstract: We resolve a 1983 question of Serre by constructing curves with many points of every genus over every finite field. More precisely, we show that for every prime power q there is a positive constant c_q with the following property: for every non-negative integer g, there is a genus-g curve over F_q with at least c_q * g rational points over F_q. Moreover, we show that there exists a positive constant d such that for every q we can choose c_q = d * (log q). We show also that there is a constant c > 0 such that for every q and every n > 0, and for every sufficiently large g, there is a genus-g curve over F_q that has at least c*g/n rational points and whose Jacobian contains a subgroup of rational points isomorphic to (Z/nZ)^r for some r > c*g/n.


title: Macdonald functions associated to complex reflection groups

abstract: Let W be the complex reflection group G(e,1,n). In the author's previous paper, Hall-Littlewood functions associated to W were introduced. In the special case where W is a Weyl group of type B_n, they are closely related to Green polynomials of finite classical groups. In this paper, we introduce a two variables version of the above Hall-Littlewood functions, as a generalization of Macdonald functions associated to symmetric groups. A generalization of Macdonald operators is also constructed, and we characterize such functions by making use of Macdonald operators, assuming a certain conjecture.


title: A coincidence theorem for holomorphic maps to G/P

abstract: We show that any two holomorhpic maps, not both of which are constant, from a generalized Hopf manifold to its base must have a coincidence. We prove a similar result for holomorphic maps from a generalized Calabi-Eckmann manifold.


title: An infinite family of tight, not semi-fillable contact three-manifolds

abstract: We prove that an infinite family of virtually overtwisted tight contact structures discovered by Honda on certain circle bundles over surfaces admit no symplectic semi-fillings. The argument uses results of Mrowka, Ozsvath and Yu on the translation-invariant solutions to the Seiberg-Witten equations on cylinders and the non-triviality of the Kronheimer-Mrowka monopole invariants of symplectic fillings.


title: Diffraction and Palm measure of point processes

abstract: Using the Palm measure notion, we prove the existence of the diffraction measure of all stationary and ergodic point processes. We get precise expressions of those measures in the case of specific processes : stochastic subsets of Z^d, sets obtained by the ``cut-and-project'' method.


title: Notes on toric varieties

abstract: These notes survey some basic results in toric varieties over a field with examples and applications. A computer algebra package (written by the second author) is described which deals with both affine and projective toric varieties in any number of dimensions (written in both the software packages MAGMA and GAP). Among other things, the package implements a desingularization procedure for affine toric varieties, constructs some error-correcting codes associated with toric varieties, and computes the Riemann-Roch space of a divisor on a toric variety.


title: Large intervals in the clone lattice

abstract: We give three examples of large intervals in the lattice of (local) clones on an infinite set X, by exhibiting clones C_1, C_2, C_3 such that: (1) the interval [C_1, O] in the lattice of local clones is (as a lattice) isomorphic to {0,1,2, ...} under the divisibility relation, (2) the interval [C_2, O] in the lattice of local clones is isomorphic to the congruence lattice of an arbitrary semilattice, (3) the interval [C_3, O] in the lattice of all clones is isomorphic to the lattice of all filters on X. These examples explain the difficulty of obtaining a satisfactory analysis of the clone lattice on infinite sets. In particular, (1) shows that the lattice of local clones is not dually atomic.


title: The F-signature and strong F-regularity

abstract: We show that the F-signature of a local ring of characteristic p, defined by Huneke and Leuschke, is positive if and only if the ring is strongly F-regular.


title: Real C*-Algebras, United K-Theory, and the Kunneth Formula

abstract: We define united K-theory for real C*-algebras, generalizing Bousfield's topological united K-theory. United K-theory incorporates three functors -- real K-theory, complex K-theory, and self-conjugate K-theory -- and the natural transformations among them. The advantage of united K-theory over ordinary K-theory lies in its homological algebraic properties, which allow us to construct a Kunneth-type, non-splitting, short exact sequence whose middle term is the united K-theory of the tensor product of two real C*-algebras A and B which holds as long as the complexification of A is in the bootstrap category. Since united K-theory contains ordinary K-theory, our sequence provides a way to compute the K-theory of the tensor product of two real C*-algebras. As an application, we compute the united K-theory of the tensor product of two real Cuntz algebras. Unlike in the complex case, it turns out that the isomorphism class of the tensor product O_{k+1} otimes O_{l+1} is not determined solely by the greatest common divisor of k and l. Hence we have examples of non-isomorphic, simple, purely infinite, real C*-algebras whose complexifications are isomorphic.


title: Computing Instanton Numbers of Curve Singularities

abstract: We present an algorithm for computing instanton numbers of curve singularities. A comparison is made between these and some other invariants of curve singularities. The algorithm has been implemented in the symbolic computer algebra program Macaulay2, and can be downloaded from http://www.math.nmsu.edu/\~{}iswanson/instanton.m2.}


title: Ideals of the cohomology rings of Hilbert schemes and their applications

abstract: We study the ideals of the rational cohomology ring of the Hilbert scheme X^{[n]} of n points on a smooth projective surface X. As an application, for a large class of smooth quasi-projective surfaces X, we show that every cup product structure constant of H^*(X^{[n]}) is independent of n; moreover, we obtain two sets of ring generators for the cohomology ring H^*(X^{[n]}). Similar results are established for the Chen-Ruan orbifold cohomology ring of the symmetric product. In particular, we prove a ring isomorphism between H^*(X^{[n]}, C) and H^*_{orb}(X^{[n]}/S_n, C) for a large class of smooth quasi-projective surfaces with numerically trivial canonical class.


title: A remark on Schubert cells and duality of orbits on flag manifolds

abstract: It is known that the closure of an arbitrary K_c-orbit on a flag manifold is expressed as a product of a closed K_c-orbit and a Schubert cell ([M2], [Sp]). We already applied this fact to the duality of orbits on flag manifolds ([GM]). We refine here this result and and give its new applications to the study of domains arising from the duality.


title: Topological lower bounds for the chromatic number: A hierarchy

abstract: This paper is a study of ``topological'' lower bounds for the chromatic number of a graph. Such a lower bound was first introduced by Lov\'asz in 1978, in his famous proof of the \emph{Kneser conjecture} via Algebraic Topology. This conjecture stated that the \emph{Kneser graph} $\KG_{m,n}$, the graph with all $k$-element subsets of $\{1,2,...,n\}$ as vertices and all pairs of disjoint sets as edges, has chromatic number $n-2k+2$. Several other proofs have since been published (by B\'ar\'any, Schrijver, Dolnikov, Sarkaria, Kriz, Greene, and others), all of them based on some version of the Borsuk--Ulam theorem, but otherwise quite different. Each can be extended to yield some lower bound on the chromatic number of an arbitrary graph. (Indeed, we observe that \emph{every} finite graph may be represented as a generalized Kneser graph, to which the above bounds apply.) We show that these bounds are almost linearly ordered by strength, the strongest one being essentially Lov\'asz' original bound in terms of a neighborhood complex. We also present and compare various definitions of a \emph{box complex} of a graph (developing ideas of Alon, Frankl, and Lov\'asz and of \kriz). A suitable box complex is equivalent to Lov\'asz' complex, but the construction is simpler and functorial, mapping graphs with homomorphisms to $\Z_2$-spaces with $\Z_2$-maps.


title: Face numbers of 4-Polytopes and 3-Spheres

abstract: In this paper, we discuss f- and flag-vectors of 4-dimensional convex polytopes and cellular 3-spheres. We put forward two crucial parameters of fatness and complexity: Fatness F(P) := (f_1+f_2-20)/(f_0+f_3-10) is large if there are many more edges and 2-faces than there are vertices and facets, while complexity C(P) := (f_{03}-20)/(f_0+f_3-10) is large if every facet has many vertices, and every vertex is in many facets. Recent results suggest that these parameters might allow one to differentiate between the cones of f- or flag-vectors of -- connected Eulerian lattices of length 5 (combinatorial objects), -- strongly regular CW 3-spheres (topological objects), -- convex 4-polytopes (discrete geometric objects), and -- rational convex 4-polytopes (whose study involves arithmetic aspects). Further progress will depend on the derivation of tighter f-vector inequalities for convex 4-polytopes. On the other hand, we will need new construction methods that produce interesting polytopes which are far from being simplicial or simple -- for example, very ``fat'' or ``complex'' 4-polytopes. In this direction, I will report about constructions (from joint work with Michael Joswig, David Eppstein and Greg Kuperberg) that yield -- strongly regular CW 3-spheres of arbitrarily large fatness, -- convex 4-polytopes of fatness larger than 5.048, and -- rational convex 4-polytopes of fatness larger than 5-epsilon.


title: Matrices autosimilaires

abstract: We describe a class of matrices whose determinants are trivial to compute. A nice example of such a matrix is given by considering the symmetric matrix with entries {i+j choose i} (mod 2) in {0,1}, 0 <= i,j < n the binomial coefficients modulo 2 represented by {0,1}. The determinant of the above matrix is then closely related to the Thue-Morse sequence counting digits modulo 2 of binary integers.


title: Explicit Inversion for Two Brownian-Type Matrices

abstract: We present explicit inverses of two Brownian--type matrices, which are defined as Hadamard products of certain already known matrices. The matrices under consideration are defined by $3n-1$ parameters and their lower Hessenberg form inverses are expressed analytically in terms of these parameters. Such matrices are useful in the theory of digital signal processing and in testing matrix inversion algorithms.


title: Classification of two-orbit varieties

abstract: A two-orbit variety is a normal complete complex algebraic variety on which a reductive complex algebraic group acts with exactly two orbits. The aim of this paper is to give the classification of all two-orbit varieties and to prove Luna's conjecture, namely that two-orbit varieties are spherical.


title: On the Elliptic Genus of Generalised Kummer Varieties

abstract: Borisov and Libgober recently proved a conjecture of Dijkgraaf, Moore, Verlinde, and Verlinde on the elliptic genus of a Hilbert scheme of points on a surface. We show how their result can be used together with our work on complex genera of generalised Kummer varieties to deduce a formula for the elliptic genus of a generalised Kummer variety.


title: Subrings invariant under endomorphisms

abstract: Let S and R be the rings of regular functions on affine algebraic varieties over a field of characteristic 0, R be embedded as a subring in S, and F : S --> S be an endomorphism such that F(R) subset R. Suppose that every ideal of height 1 in R generates a proper ideal in S, and the spectrum of R has no selfintersection points. We show that if F is an automorphism so is F|_R : R --> R. When R and S have the same transcendence degree then the fact that F|_R is an automorphisms implies that F is an automorphism.


title: An upper bound for a Hilbert polynomial on quaternionic Kahler manifolds

abstract: In this article we prove an upper bound for a Hilbert polynomial on quaternionic Kaehler manifolds of positive scalar curvature. As corollaries we obtain bounds on the quaternionic volume and the degree of the associated twistor space. Moreover the article contains some details on differential equations of finite type. Part of it is used in the proof of the main theorem.


title: A de Rham theorem for symplectic quotients

abstract: We introduce a de Rham model for stratified spaces arising from symplectic reduction. It turns out that the reduced symplectic form and its powers give rise to well-defined cohomology classes, even on a singular symplectic quotient.