title: Uniform Closure of Dual Banach Algebras

abstract: We give a characterization of the ''uniform closure'' of the dual of a $C^{*}$-algebra. Some applications in harmonic analysis are given.


title: Harmonic Analysis on Double Coset Spaces

abstract: We prove the existance and uniqueness of quasi-invariant measure on double cost space $K\backslash G/H$ and study the Fourier and Fourier-Stieltjes algebras of these spaces.


title: An Involution on the Quantum Cohomology Ring of the Grassmannian

abstract: For a Fano manifold M, complex conjugation defines a real involution on the quantum cohomology ring. For the Grassmannian we identify this involution with an explicit transformation on Schubert classes defined over the integers. It is a composition of a power of the cyclic action recently defined by Agnihotri and Woodward with Poincare duality. The existence of the involution has been observed independently and from a different point of view by Postnikov (math.CO/0205165).


title: On the uniformization of algebraic curves

abstract: Based on Burnside's parametrization of the algebraic curve $y^2=x^5-x$ we provide remaining attributes of its uniformization: Fuchsian equations and their solutions, accessory parameters, monodromies, conformal maps, fundamental polygons, etc. As a generalization, we construct the zero genus uniformization of arbitrary curves. For hyperelliptic curves all the objects of the theory are explicitly described. We consider a large number of examples and, briefly, applications: Abelian integrals, metrics of Poincare, differential equations of the Jacobi--Chazy and Picard--Fuchs type, and others.


title: Relations for annihilating fields of standard modules for affine Lie algebras

abstract: J. Lepowsky and R. L. Wilson initiated the approach to combinatorial Rogers-Ramanujan type identities via the vertex operator constructions of representations of affine Lie algebras. In a joint work with Arne Meurman this approach is developed further in the framework of vertex operator algebras. The main ingredients of that construction are defining relations for standard modules and relations among them. The arguments involve both representation theory and combinatorics, the final results hold only for affine Lie algebras $A_1^{(1)}$ and $A_2^{(1)}$. In the present paper some of those arguments are formulated and extended for general affine Lie algebras. The main result is a kind of rank theorem, guaranteeing the existence of combinatorial relations among relations, provided that certain purely combinatorial quantities are equal to dimensions of certain representation spaces. Although the result holds in quite general setting, applications are expected mainly for standard modules of affine Lie algebras.


title: Generalized blob algebras and alcove geometry

abstract: This article develops an alcove geometric approach to the representation theory of certain affine Hecke algebra quotients generalizing the blob algebra; and gives an exposition of some new representations of these algebras.


title: Large Eddy Simulation of Turbulent Channel Flows by the Rational LES Model

abstract: The rational large eddy simulation (RLES) model is applied to turbulent channel flows. This approximate deconvolution model is based on a rational (subdiagonal Pade') approximation of the Fourier transform of the Gaussian filter and is proposed as an alternative to the gradient (also known as the nonlinear or tensor-diffusivity) model. We used a spectral element code to perform large eddy simulations of incompressible channel flows at Reynolds numbers based on the friction velocity and the channel half-width Re{sub tau} = 180 and Re{sub tau} = 395. We compared the RLES model with the gradient model. The RLES results showed a clear improvement over those corresponding to the gradient model, comparing well with the fine direct numerical simulation. For comparison, we also present results corresponding to a classical subgrid-scale eddy-viscosity model such as the standard Smagorinsky model.


title: Representations de l'algebre de Lie conforme sur l'espace des densites tensorielles sur la sphere

abstract: We consider the space of tensor densities on the n-dimensional sphere with degree lambda (or, equivalently, of conformal densities with degree lambda). This space is a module over the group of diffeomorphisms, and consequently over the Lie algebra of vector fields, on the sphere, and we first prove that as a module over the conformal group, it is infinitesimally equivalent to an induced module from the principal series, precisely from the nonunitary spherical series on the space of smooth functions on the sphere. In function of lambda,(g,K)-simple and unitary submodules of the space of tensor densities are therefore classified.


title: On a Question of Craven and a Theorem of Belyi

abstract: In this elementary note we prove that a polynomial with rational coefficients divides the derivative of some polynomial which splits in $\Q$ if and only if all of its irrational roots are real and simple. This provides an answer to a question posed by Thomas Craven. Similar ideas also lead to a variation of the proof of Belyi's theorem that every algebraic curve defined over an algebraic number field admits a map to $P^1$ which is only ramified above three points. As it turned out, this variation was noticed previously by G. Belyi himself and Leonardo Zapponi.


title: Noncommutative projective curves and quantum loop algebras

abstract: We generalize a theorem of Kapranov by showing that the Hall algebra of the category of coherent sheaves on a weighted projective line (over a finite field) provides a realization of the (quantized) enveloping algebra of a certain nilpotent subalgebra of the affinization of the correponding Kac-Moody algebra. In particular this yieds a geometric realization of the quantized enveloping algebra of 2-toroidal (or elliptic) algebras of types D_4, E_6, E_7 or E_8 in terms of weighted projective lines of genus one.


title: Normality of nilpotent varieties in $E_6$

abstract: We determine which nilpotent orbits in $E_6$ have normal closure and which do not. We also verify a conjecture about small representations in rings of functions on nilpotent orbit covers for type $E_6$.


title: Higher order Jordan Osserman Pseudo-Riemannian manifolds

abstract: We study the higher order Jacobi operator in pseudo-Riemannian geometry. We exhibit a family of manifolds so that this operator has constant Jordan normal form on the Grassmannian of subspaces of signature (r,s) for certain values of (r,s). These pseudo-Riemannian manifolds are new and non-trivial examples of higher order Osserman manifolds.


title: Quasi-homogeneous linear systems on $\mathbb{P}^2$ with base points of multiplicity 5

abstract: In this paper we consider linear systems of $\mathbb{P}^2$ with all but one of the base points of multiplicity 5. We give an explicit way to evaluate the dimensions of such systems.


title: On linear systems of curves on rational scrolls

abstract: In this paper we prove a conjecture on the dimension of linear systems, with base points of multiplicity 2 and 3, on an Hirzebruck surface.


title: The fundamental group of a Galois cover of CP^1 X T

abstract: Let T be the complex projective torus, and X the surface CP^1 X T. Let X_Gal be its Galois cover with respect to a generic projection to CP^2. In this paper we compute the fundamental group of X_Gal, using the degeneration and regeneration techniques, the Moishezon-Teicher braid monodromy algorithm and group calculations. We show that pi_1(X_Gal) = Z^10.


title: Embedding, compression and fiberwise homotopy theory

abstract: Given Poincare spaces M and X, we study the possibility of compressing embeddings of M x I in X x I down to embeddings of M in X. This results in a new approach to embedding in the metastable range both in the smooth and Poincare duality categories.


title: Quasi-exact solvability of Inozemtsev models

abstract: Finite-dimensional spaces which are invariant under the action of the Hamiltonian of the BC_N Inozemtsev model are introduced, and it is shown that higher commuting operators also preserve the finite-dimensional spaces. The relationship between the finite-dimensional spaces of the BC_N Inozemtsev models and the theta-type invariant spaces of the BC_N Ruijsenaars models is clarified. The degeneration of the BC_N Inozemtsev models and the correspondence of their invariant spaces are considered.


title: Order Ideals and a Generalized Krull Height Theorem

abstract: Let N be a finitely generated module over a Noetherian local ring (R,m). We give criteria for the height of the order ideal N^*(x) of an element x \in N to be bounded by the rank of N. The Generalized Principal Ideal Theorem of Bruns, Eisenbud and Evans says that this inequality always holds if x \in mN, but if x is a minimal generator the question is more subtle; for example, when R is graded and N represents a vector bundle on Proj R, the question is connected with the vanishing of the top chern class. We show that the inequality does hold if the hypothesis x \in mN becomes true after first extending scalars to some local domain and then factoring out torsion. We also give conditions under which it holds in terms of residual intersections and integral closures of modules. We derive information about order ideals that leads to bounds on the heights of trace ideals of modules--even in circumstances where we do not have the expected bounds for the heights of the order ideals.


title: Comparisons between periodic, analytic and local cyclic cohomology

abstract: We compute periodic, analytic and local cyclic cohomology for convolution algebras of compact Lie groups in order to exhibit differences between these theories. A surprising result is that the periodic and analytic cyclic cohomology of the smooth convolution algebras differ, although these algebras have finite homological dimension.


title: Common hypercyclic vectors for composition operators

abstract: We study the existence of a common hypercyclic vector for different families of composition operators.


title: A geometric inequality for circle packings

abstract: A geometric inequality among three triangles, originating in circle packing problems, is introduced. In order to prove it, we reduce the original formulation to the nonnegativity of a particular polynomial in four real indeterminates. Techniques based on sum of squares decompositions, semidefinite programming, and symmetry reduction are then applied to provide an easily verifiable nonnegativity certificate.


title: Discrete Tomography: Reconstruction under periodicity constraints

abstract: This paper studies the problem of reconstructing binary matrices that are only accessible through few evaluations of their discrete X-rays. Such question is prominently motivated by the demand in material science for developing a tool for the reconstruction of crystalline structures from their images obtained by high-resolution transmission electron microscopy. Various approaches have been suggested for solving the general problem of reconstructing binary matrices that are given by their discrete X-rays in a number of directions, but more work have to be done to handle the ill-posedness of the problem. We can tackle this ill-posedness by limiting the set of possible solutions, by using appropriate a priori information, to only those which are reasonably typical of the class of matrices which contains the unknown matrix that we wish to reconstruct. Mathematically, this information is modelled in terms of a class of binary matrices to which the solution must belong. Several papers study the problem on classes of binary matrices on which some connectivity and convexity constraints are imposed. We study the reconstruction problem on some new classes consisting of binary matrices with periodicity properties, and we propose a polynomial-time algorithm for reconstructing these binary matrices from their orthogonal discrete X-rays.


title: On strict suns in $\ell^\infty(3)$

abstract: A subset M of a normed linear space X is said to be a {\it strict sun} if, for every point $x\in X\setminus M$, the set of its nearest points from~$M$ is non-empty and if $y\in M$ is a nearest point from M to x, then y is a nearest point from M to all points from the ray $\{\lambda x+(1- \lambda)y | \lambda>0\}$. In the paper there obtained a geometrical characterisation of strict suns in $\ell^\infty(3)$.


title: Integrable $\hat{\mathfrak{sl}_2}$-modules as infinite tensor products

abstract: Using the fusion product of the representations of the Lie algebra $\mathfrak{sl}_2$ we construct a set of the integrable highest weight $\hat{\mathfrak{sl}_2}$-modules $L^D$, depending on the vector $D\in\mathbb{N}^{k+1}$. In a special cases of $D$ our modules are isomorphic to the irreducible $\hat{\mathfrak{sl}_2}$-modules $L_{i,k}$. We construct a basis of the $L^D$ and study the decomposition of $L^D$ on the irreducible components. We also write a formulas for the characters of $L^D$.


title: Which Singular K3 Surfaces Cover an Enriques Surface

abstract: We determine the necessary and sufficient conditions on the entries of the intersection matrix of the transcendental lattice of a K3 surface for the K3 surface to doubly cover an Enriques surface.


title: A branching law for subgroups fixed by an involution and a noncompact analogue of the Borel-Weil theorem

abstract: We give a branching law for subgroups fixed by an involution. As an application we give a generalization of the Cartan-Helgason theorem and a noncompact analogue of the Borel-Weil theorem.


title: The multiplicative unitary as a basis for duality

abstract: The classical duality theory associates to an abelian group a dual companion. Passing to a non-abelian group, a dual object can still be defined, but it is no longer a group. The search for a broader category which should include both the groups and their duals, points towards the concept of quantization. Classically, the regular representation of a group contains the complete information about the structure of this group and its dual. In this article, we follow Baaj and Skandalis and study duality starting from an abstract version of such a representation: the multiplicative unitary. We suggest extra conditions which will replace the regularity and irreducibility of the multiplicative unitary. From the proposed structure of a "quantum group frame", we obtain two objects in duality. We equip these objects with certain group-like properties, which make them into candidate quantum groups. We consider the concrete example of the quantum az+b-group, and discuss how it fits into this framework. Finally, we construct the crossed product of a quantum group frame with a locally compact group.


title: Multiplier Hopf *-algebras with positive integrals: A laboratory for locally compact quantum groups

abstract: Any multiplier Hopf *-algebra} with positive integrals gives rise to a locally compact quantum group (in the sense of Kustermans and Vaes). As a special case of such a situation, we have the compact quantum groups (in the sense of Woronowicz) and the discrete quantum groups (as introduced by Effros and Ruan). In fact, the class of locally compact quantum groups arising from such multiplier Hopf *-algebras} is self-dual. The most important features of these objects are (1) that they are of a purely algebraic nature and (2) that they have already a great complexity, very similar to the general locally compact quantum groups. This means that they can serve as a good model for the general objects, at least from the purely algebraic point of view. They can therefore be used to study various aspects of the general case, without going into the more difficult technical aspects, due to the complicated analytic structure of a general locally compact quantum group. In this paper, we will first recall the notion of a multiplier Hopf *-algebra} with positive integrals. Then we will illustrate how these {\it algebraic quantum groups} can be used to gain a deeper understanding of the general theory. An important tool will be the Fourier transform. We will also concentrate on certain actions and how they behave with respect to this Fourier transform. On the one hand, we will study this in a purely algebraic context while on the other hand, we will also pass to the Hilbert space framework.


title: Quiver varieties and fusion products for sl_2

abstract: We construct the fusion product of finite-dimensional sl_2-modules in the homology of (or in the space of constructible functions on) a certain subvariety L_l(w_1, ..., w_r) of Nakajima's tensor product variety L(w_1,..., w_r). We also give a combinatorial description of the irreducible components of this subvariety using the notions of graphical calculus and crossingless matches for sl_2.


title: D-equivalence and K-equivalence

abstract: Let $X$ and $Y$ be smooth projective varieties over $\mathbb{C}$. They are called {\it $D$-equivalent} if their derived categories of bounded complexes of coherent sheaves are equivalent as triangulated categories, while {\it $K$-equivalent} if they are birationally equivalent and the pull-backs of their canonical divisors to a common resolution coincide. We expect that the two equivalences coincide at least for birationally equivalent varieties. We shall provide a partial answer to the above problem in this paper.


title: Wide partitions, Latin tableaux, and Rota's basis conjecture

abstract: Say that mu is a ``subpartition'' of an integer partition lambda if the multiset of parts of mu is a submultiset of the parts of lambda, and define an integer partition lambda to be ``wide'' if for every subpartition mu of lambda, mu >= mu' in dominance order (where mu' denotes the conjugate or transpose of mu). Then Brian Taylor and the first author have conjectured that an integer partition lambda is wide if and only if there exists a tableau of shape lambda such that (1) for all i, the entries in the ith row of the tableau are precisely the integers from 1 to lambda_i inclusive, and (2) for all j, the entries in the jth column of the tableau are pairwise distinct. This conjecture was originally motivated by Rota's basis conjecture and, if true, yields a new class of integer multiflow problems that satisfy max-flow min-cut and integrality. Wide partitions also yield a class of graphs that satisfy ``delta-conjugacy'' (in the sense of Greene and Kleitman), and the above conjecture implies that these graphs furthermore have a completely saturated stable set partition. We present several partial results, but the conjecture remains very much open.


title: Real representations of semisimple Lie algebras have Q-forms

abstract: We prove that each real semisimple Lie algebra G has a Q-form, such that every real representation of G can be realized over the rational numbers Q. This was previously proved by M.S.Raghunathan (and rediscovered by P.Eberlein) in the special case where G is compact.


title: Symplectic or contact structures on Lie Groups

abstract: We study left invariant contact forms and left invariant symplectic forms on Lie groups. We give the classification of all symplectic structures on nilpotent Lie algebras up the dimension 6.


title: On a universality property of some abelian Polish groups

abstract: We show that every abelian Polish group is the topological factor-group of a closed subgroup of the full unitary group of a separable Hilbert space with the strong operator topology. It follows that all orbit equivalence relations induced by abelian Polish group actions are Borel reducible to some orbit equivalence relations induced by actions of the unitary group.


title: A purely infinite AH-algebra and an application to AF-embeddability

abstract: We show that there exists a purely infinite AH-algebra. The AH-algebra arises as an inductive limit of C*-algebras of the form C_0([0,1),M_k) and it absorbs the Cuntz algebra O_\infty tensorially. Thus one can reach an O_\infty-absorbing C*-algebra as an inductive limit of the finite and elementary C*-algebras C_0([0,1),M_k). As an application we give a new proof of a recent theorem of Ozawa that the cone over any separable exact C*-algebra is AF-embeddable, and we exhibit a concrete AF-algebra into which this class of C*-algebras can be embedded.


title: Stringy invariants of normal surfaces

abstract: The stringy Euler number and E-function of Batyrev for log terminal singularities can in dimension 2 also be considered for a normal surface singularity with all log discrepancies nonzero in its minimal log resolution. Here we obtain a structure theorem for resolution graphs with respect to log discrepancies, implying that these stringy invariants can be defined in a natural way, even when some log discrepancies are zero, and more precisely for all normal surface singularities which are not log canonical. We also show that the stringy E-functions of log terminal surface singularities are polynomials (with rational powers) with nonnegative coefficients, yielding well defined (rationally graded) stringy Hodge numbers.


title: Quantization of Poisson families and of twisted Poisson structures

abstract: We describe a deformation quantization of a modification of Poisson geometry by a closed 3-form. Under suitable conditions it gives rise to a stack of algebras. The basic object used for this aim is a kind of families of Poisson structures given by a Maurer-Cartan equation; they are easily quantized using Kontsevich's Formality theorem.


title: Poincare duality quivers

abstract: The purpose of this paper was to give an algebraic analog of Poincare duality. But there is a mistake in the proof of the main theorem. It will be corrected as soon as possible.


title: A law of large numbers for random walks in random mixing environments

abstract: We prove a law of large numbers for a class of multidimensional random walks in random environments where the environment satisfies appropriate mixing conditions, which hold when the environment is a weak mixing field in the sense of Dobrushin and Shlosman. Our result holds if the mixing rate balances moments of some random times depending on the path. It applies in the non-nestling case, but we also provide examples of nestling walks that satisfy our assumptions. The derivation is based on an adaptation, using coupling, of the regeneration argument of Sznitman-Zerner.


title: Equivariant Operators between some Modules of the Lie Algebra of Vector Fields

abstract: The space D(k,p) of differential operators of order at most k, from the differential forms of degree p of a smooth manifold M into the functions of M, is a module over the Lie algebra of vector fields of M, when it's equipped with the natural Lie derivative. In this paper, we compute all equivariant i.e. intertwining operators from D(k,p) into D(k',p') and conclude that the preceding modules of differential operators are never isomorphic. We also answer a question of P. Lecomte, who observed that the restriction to D(k,p) of some homotopy operator, introduced in one of his works, is equivariant for small values of k and p.


title: Toric Fano varieties with divisorial contractions to curves

abstract: In this paper, we obtain a complete classification of smooth toric Fano varieties equipped with extremal contractions which contract divisors to curves for any dimension. As an application, we obtain a complete classification of smooth projective toric varieties which can be equivariantly blown-up to Fano along curves.


title: The Lattice of N-Run Orthogonal Arrays

abstract: If the number of runs in a (mixed-level) orthogonal array of strength 2 is specified, what numbers of levels and factors are possible? The collection of possible sets of parameters for orthogonal arrays with N runs has a natural lattice structure, induced by the ``expansive replacement'' construction method. In particular the dual atoms in this lattice are the most important parameter sets, since any other parameter set for an N-run orthogonal array can be constructed from them. To get a sense for the number of dual atoms, and to begin to understand the lattice as a function of N, we investigate the height and the size of the lattice. It is shown that the height is at most [c(N-1)], where c= 1.4039... and that there is an infinite sequence of values of N for which this bound is attained. On the other hand, the number of nodes in the lattice is bounded above by a superpolynomial function of N (and superpolynomial growth does occur for certain sequences of values of N). Using a new construction based on ``mixed spreads'', all parameter sets with 64 runs are determined. Four of these 64-run orthogonal arrays appear to be new.


title: Framed and oriented links of codimension 2

abstract: We discuss the relationship between the m-th homotopy group of the one-point union of r copies of the two-dimensional sphere and the m-th homotopy group of the one-point union of r+1 copies of the Thom space of the oriented two-dimensional universal vector bundle. Using a suitably choosen isomorphism between them a forgetful homomorphism is computed by evaluating on factors of the Hilton splitting.


title: Some Canonical Sequences of Integers

abstract: Extending earlier work of R. Donaghey and P. J. Cameron, we investigate some canonical "eigen-sequences" associated with transformations of integer sequences. Several known sequences appear in a new setting: for instance the sequences (such as 1, 3, 11, 49, 257, 1531, ...) studied by T. Tsuzuku, H. O. Foulkes and A. Kerber in connection with multiply transitive groups are eigen-sequences for the binomial transform. Many interesting new sequences also arise, such as 1, 1, 2, 26, 152, 1144, ..., which shifts one place left when transformed by the Stirling numbers of the second kind, and whose exponential generating function satisfies A'(x) = A(e^x -1) + 1.


title: Linear Systems of Plane Curves with a Composite Number of Base Points of Equal Multiplicity

abstract: We extend the range of linear systems of plane curves for which it is known that the dimension is equal to the expected dimension. We use a degeneration technique due to C. Ciliberto and R. Miranda. From our result we deduce, as a Corollary, a theorem due to Evain on homogeneous systems of curves through a number of base points given by a power of 4.


title: On Asymmetric Coverings and Covering Numbers

abstract: An asymmetric covering D(n,R) is a collection of special subsets S of an n-set such that every subset T of the n-set is contained in at least one special S with |S| - |T| <= R. In this paper we compute the smallest size of any D(n,1) for n <= 8. We also investigate ``continuous'' and ``banded'' versions of the problem. The latter involves the classical covering numbers C(n,k,k-1), and we determine the following new values: C(10,5,4) = 51, C(11,7,6,) =84, C(12,8,7) = 126, C(13,9,8)= 185 and C(14,10,9) = 259. We also find the number of nonisomorphic minimal covering designs in several cases.


title: Properness of minimal surfaces with bounded curvature

abstract: We show that immersed minimal surfaces of $\mathbb{R}^{3}$ with bounded curvature and proper self intersections are proper. We also show that the restriction of the immersing map to a wide component is always proper. When the immersing map is injective the whole surface is a wide component. Prior to these results it was only known that injectively immersed minimal surfaces with bounded curvature were proper.


title: Hyperbolic manifolds with convex boundary

abstract: Let $(M, \partial M)$ be a compact 3-manifold with boundary, which admits a convex co-compact hyperbolic metric. We consider the hyperbolic metrics on $M$ such that the boundary is smooth and strictly convex. We show that the induced metrics on the boundary are exactly the metrics with curvature $K>-1$, and that the third fundamental forms of $\dr M$ are exactly the metrics with curvature $K<1$, for which contractible closed geodesics have length $L>2\pi$. Each is obtained exactly once. Other related results describe existence and uniqueness properties for other boundary conditions, when the metric which is achieved on $\dr M$ is a linear combination of the first, second and third fundamental forms.


title: Non-commutative geometry, dynamics, and infinity-adic Arakelov geometry

abstract: In Arakelov theory a completion of an arithmetic surface is achieved by enlarging the group of divisors by formal linear combinations of the ``closed fibers at infinity''. Manin described the dual graph of any such closed fiber in terms of an infinite tangle of bounded geodesics in a hyperbolic handlebody endowed with a Schottky uniformization. In this paper we consider arithmetic surfaces over the ring of integers in a number field, with fibers of genus $g\geq 2$. We use Connes' theory of spectral triples to relate the hyperbolic geometry of the handlebody to Deninger's Archimedean cohomology and the cohomology of the cone of the local monodromy $N$ at arithmetic infinity as introduced by the first author of this paper.


title: Drift in phase space: a new variational mechanism with optimal diffusion time

abstract: We consider non-isochronous, nearly integrable, a-priori unstable Hamiltonian systems with a (trigonometric polynomial) $O(\mu)$-perturbation which does not preserve the unperturbed tori. We prove the existence of Arnold diffusion with diffusion time $ T_d = O((1/ \mu) \log (1/ \mu))$ by a variational method which does not require the existence of ``transition chains of tori'' provided by KAM theory. We also prove that our estimate of the diffusion time $T_d $ is optimal as a consequence of a general stability result derived from classical perturbation theory.


title: Proper Affine Hyperspheres which fiber over Projective Special Kaehler Manifolds

abstract: We show that the natural S^1-bundle over a projective special Kaehler manifold carries the geometry of a proper affine hypersphere endowed with a Sasakian structure. The construction generalizes the geometry of the Hopf-fibration $\Sr^{2n+1} \longrightarrow \CP^n$ in the context of projective special Kaehler manifolds. As an application we have that a natural circle bundle over the Kuranishi moduli space of a Calabi-Yau threefold is a Lorentzian proper affine hypersphere.


title: Polynomial representatives of Schubert classes in QH^*(G/B)

abstract: We show how the quantum Chevalley formula for G/B, as stated by Peterson and proved rigorously by Fulton and Woodward, combined with ideas of Fomin, S. Gelfand and Postnikov, leads to a formula which describes polynomial representatives of the Schubert cohomology classes in the canonical presentation of QH^*(G/B) in terms of generators and relations.


title: Knots and Contact Geometry II: Connected Sums

abstract: We study the behavior of Legendrian and transverse knots under the operation of connected sums. As a consequence we show that there exist Legendrian knots that are not distinguished by any known invariant. Moreover, we classify Legendrian knots in some non-Legendrian simple knot types.


title: Graded Rings and Equivariant Sheaves on Toric Varieties

abstract: In this note we derive a formalism for describing equivariant sheaves over toric varieties. This formalism is a generalization of a correspondence due to Klyachko, which states that equivariant vector bundles on toric varieties are equivalent to certain sets of filtrations of vector spaces. We systematically construct the theory from the point of view of graded ring theory and this way we clarify earlier constructions of Kaneyama and Klyachko. We also connect the formalism to the theory of fine-graded modules over Cox' homogeneous coordinate ring of a toric variety. As an application we construct minimal resolutions of equivariant vector bundles of rank two on toric surfaces.


title: Representations of Double Affine Lie algebras

abstract: We study representations of the double affine Lie algebra associated to a simple Lie algebra. We construct a family of indecomposable integrable representations and identify their irreducible quotients. We also give a condition for the indecomposable modules to be irreducible, this is analogous to a result in the representation theory of quantum affine algebras. Finally, in the last section of the paper, we show, by using the notion of fusion product, that our modules are generically reducible.


title: Special functions, KZ type equations and Representation theory

abstract: This paper is a set of lecture notes of my course "Special functions, KZ type equations, and representation theory" given at MIT during the spring semester of 2002. The notes do not contain new results, and are an exposition (mostly without proofs) of various published results in this area, illustrated by the simplest nontrivial examples. Some references are given at the end of each lecture, but their list is not complete; the reader is referred to the original articles for proofs and for complete references.


title: The locus of curves with prescribed automorphism group

abstract: Let G be a finite group, and $g \geq 2$. We study the locus of genus g curves that admit a G-action of given type, and inclusions between such loci. We use this to study the locus of genus g curves with prescribed automorphism group G. We completely classify these loci for g=3 (including equations for the corresponding curves), and for $g \leq 10$ we classify those loci corresponding to "large" G.


title: Symmetric Ornstein-Uhlenbeck Semigroups and their Generators

abstract: We provide necessary and sufficient conditions for a Hilbert space-valued Ornstein-Uhlenbeck process to be reversible with respect to its invariant measure $\mu$. For a reversible process the domain of its generator in $L^p(\mu )$ is characterized in terms of appropriate Sobolev spaces thus extending the Meyer equivalence of norms to any symmetric Ornstein-Uhlenbeck operator. We provide also a formula for the size of the spectral gap of the generator. Those results are applied to study the Ornstein-Uhlenbeck process in a chaotic environment. Necessary and sufficient conditions for a transition semigroup $(R_t)$ to be compact, Hilbert-Schmidt and strong Feller are given in terms of the coefficients of the Ornstein-Uhlenbeck operator. We show also that the existence of spectral gap implies a smoothing property of $R_t$ and provide an estimate for the (appropriately defined) gradient of $R_t\phi$. Finally, in the Hilbert-Schmidt case, we show that for any $\phi\in L^p(\mu)$ the function $R_t\phi$ is an (almost) classical solution of a version of the Kolmogorov equation.


title: A new factorization property of the selfdecomposable probability measures

abstract: We prove that the convolution of a selfdecomposable distribution with its background driving law is again selfdecomposable if and only if the background driving law is s-selfdecomposable. We will refer to this as the factorization property of a selfdecomposable distribution; let L^f denote the set of all these distributions. The algebraic structure and various characterizations of L^f are studied. Some examples are discussed, the most interesting one being given by the Levy stochastic area integral. A nested family of subclasses L^f_n, n\ge 0, (or a filtration) of the class L^f is given.


title: Coherent systems and Brill-Noether theory

abstract: Let $C$ be a curve of genus $g\geq 2$. A coherent system on $C$ consists of a pair $(E,V)$ where $E$ is an algebraic vector bundle of rank $n$ and degree $d$ and $V$ is a subspace of dimension $k$ of sections of $E$. The stability of the coherent systems depend on a parameter $\tau$. We study the variation of the moduli space of coherent systems when we move the parameter. As an application, we analyse the cases $k=1,2,3$ and $n=2$ explicitly. For small values of $\tau$, the moduli space of coherent systems is related to the Brill-Noether loci, the subspaces of the moduli space of stable bundles consisting of those bundles with a prescribed number of sections. The study of coherent systems is applied to find the dimension, irreducibility, and in some cases, the Picard group, of the Brill-Noether loci with $k\leq 3$.


title: Rational homotopy groups of generalised symmetric spaces

abstract: We obtain explicit formulas for the rational homotopy groups of generalised symmetric spaces, i.e., the homogeneous spaces for which the isotropy subgroup appears as the fixed point group of some finite order automorphism of the group. In particular, this gives explicit formulas for the rational homotopy groups of all classical compact symmetric spaces.


title: Spectral estimates for periodic Jacobi matrices

abstract: We obtain bounds for the spectrum and for the total width of the spectral gaps for Jacobi matrices on $\ell^2(\Z)$ of the form $(H\psi)_n= a_{n-1}\psi_{n-1}+b_n\psi_n+a_n\psi_{n+1}$, where $a_n=a_{n+q}$ and $b_n=b_{n+q}$ are periodic sequences of real numbers. The results are based on a study of the quasimomentum $k(z)$ corresponding to $H$. We consider $k(z)$ as a conformal mapping in the complex plane. We obtain the trace identities which connect integrals of the Lyapunov exponent over the gaps with the normalised traces of powers of $H$.


title: Moduli for Equivariant Vector Bundles of Rank Two on Smooth Toric Surfaces

abstract: We give a complete classification of equivariant vector bundles of rank two over smooth complete toric surfaces and construct moduli spaces of such bundles. This note is a direct continuation of an earlier note where we developed a general description of equivariant sheaves on toric varieties. Here we give a first application of that description.


title: Integral affine structures on spheres and torus fibrations of Calabi-Yau toric hypersurfaces I

abstract: We describe in purely combinatorial terms dual pairs of integral affine structures on spheres which come from the conjectural metric collapse of mirror families of Calabi-Yau toric hypersurfaces. The same structures arise on the base of a special Lagrangian torus fibration in the Strominger-Yau-Zaslow conjecture. We study the topological torus fibration in the large complex structure limit and show that it coincides with our combinatorial model.


title: A Categorical Approach to Imprimitivity Theorems for C*-Dynamical Systems

abstract: Imprimitivity theorems provide a fundamental tool for studying the representation theory and structure of crossed-product C*-algebras. In this work, we show that the Imprimitivity Theorem for induced algebras, Green's Imprimitivity Theorem for actions of groups, and Mansfield's Imprimitivity Theorem for coactions of groups can all be viewed as natural equivalences between various crossed-product functors among certain equivariant categories. The categories involved have C*-algebras with actions or coactions (or both) of a fixed locally compact group G as their objects, and equivariant equivalence classes of right-Hilbert bimodules as their morphisms. Composition is given by the balanced tensor product of bimodules. The functors involved arise from taking crossed products; restricting, inflating, and decomposing actions and coactions; inducing actions; and various combinations of these. Several applications of this categorical approach are also presented, including some intriguing relationships between the Green and Mansfield bimodules, and between restriction and induction of representations.


title: Ergodic actions of semisimple Lie groups on compact principal bundles

abstract: Let G = SL(n,R) (or, more generally, let G be a connected, noncompact, simple Lie group). For any compact Lie group K, it is easy to find a compact manifold M, such that there is a volume-preserving, connection-preserving, ergodic action of G on some smooth, principal K-bundle P over M. Can M can be chosen independent of K? We show that if M = H/L is a homogeneous space, and the action of G on M is by translations, then P must also be a homogeneous space H'/L'. Consequently, there is a strong restriction on the groups K that can arise over this particular M.


title: Spaces of coinvariants and fusion product I. From equivalence theorem to Kostka polynomials

abstract: The fusion rule gives the dimensions of spaces of conformal blocks in the WZW theory. We prove a dimension formula similar to the fusion rulefor spaces of coinvariants of affine Lie algebras g^. An equivalence of filtered spaces is established between spaces of coinvariants of two objects: highest weight g^-modules and tensor products of finite-dimensional evaluation representations of g\otimes\C[t]. In the sl_2 case we prove that their associated graded spaces are isomorphic to the spaces of coinvariants of fusion products, and that their Hilbert polynomials are the level-restricted Kostka polynomials.


title: On Successive Approximations To The Choice Problem and Logic

abstract: This paper studies the formation of logical operations from pre-logical processes. We are concerned with the reasons for certain mental processes taking form of logical reasoning and the underlying drives for consolidation of logical operations in human mind. Starting from Piaget's approach to Logic (Piaget, 1956) we discuss whether the evolutionary adaptation can be such a driving force and whether the limits of human mind can result in the standard system of logical operations. The paper demonstrates that the classical two-valued propositional logic can begin from a method of successive approximations applied to a decision-making problem within a framework of Subject-in-an-environment survival. The presented results shed a new light on the known model of human choice by Lefebvre (Lefebvre, 1991, 1995).


title: Complexity of triangulations of the projective space

abstract: It is known that any two triangulations of a compact 3-manifold are related by finite sequences of certain local transformations. We prove here an upper bound for the length of a shortest transformation sequence relating any two triangulations of the 3-dimensional projective space, in terms of the number of tetrahedra.


title: Heegaard splittings, the virtually Haken conjecture and Property tau

abstract: We examine three key conjectures in 3-manifold theory: the virtually Haken conjecture, the positive virtual b_1 conjecture and the virtually fibred conjecture. We explore the interaction of these conjectures with the following seemingly unrelated areas: eigenvalues of the Laplacian, and Heegaard splittings. We first give a necessary and sufficient condition, in terms of spectral geometry, for a finitely presented group to have a finite index subgroup with infinite abelianisation. For negatively curved 3-manifolds, we show that this is equivalent to a statement about generalised Heegaard splittings. We also formulate a conjecture about the behaviour of Heegaard genus under finite covers which, together with a conjecture of Lubotzky and Sarnak about Property tau, would imply the virtually Haken conjecture for hyperbolic 3-manifolds. Along the way, we prove a number of unexpected theorems about 3-manifolds. For example, we show that for any closed 3-manifold that fibres over the circle with pseudo-Anosov monodromy, any cyclic cover dual to the fibre of sufficiently large degree has an irreducible, weakly reducible Heegaard splitting. Also, we establish lower and upper bounds on the Heegaard genus of the congruence covers of an arithmetic hyperbolic 3-manifold, which are linear in volume.


title: A surgery view of boundary links

abstract: A celebrated theorem of Kirby identifies the set of closed oriented connected 3-manifolds with the set of framed links in $S^3$ modulo two moves. We give a similar description for the set of knots (and more generally, boundary links) in homology 3-spheres. As an application, we define a noncommutative version of the Alexander polynomial of a boundary link. Our surgery view of boundary links is a key ingredient in a construction of a rational version of the Kontsevich integral, which is described in subsequent work. The current version fixes minor typographical errors.


title: Diagrams of divide links

abstract: Recently N.A'Campo suggested a construction of a link from a generic immersion of a curve into a 2-disk. It is tightly related to the singularity theory. In this paper, we give a simple procedure to draw a diagram of the link from a picture of the curve.


title: Green's generic syzygy conjecture for curves of even genus lying on a K3 surface

abstract: We consider the generic Green conjecture on syzygies of a canonical curve, and particularly the following reformulation thereof: {\it For a smooth projective curve $C$ of genus $g$ in characteristic 0, the condition ${\rm Cliff} C>l$ is equivalent to the fact that $K_{g-l'-2,1}(C,K_C)=0, \forall l'\leq l$.} We propose a new approach, which allows up to prove this result for generic curves $C$ of genus $g(C)$ and gonality ${\rm gon(C)}$ in the range $$\frac{g(C)}{3}+1\leq {\rm gon(C)}\leq\frac{g(C)}{2}+1.$$


title: Continuous Ramsey theory on Polish spaces and covering the plane by functions

abstract: We investigate the Ramsey theory of continuous pair-colorings on complete, separable metric spaces, and apply the results to the problem of covering a plane by functions. The homogeneity number hm(c) of a pair-coloring c:[X]^2 -> 2 is the number of c-homogeneous subsets of X needed to cover X. We isolate two continuous pair-colorings on the Cantor space 2^omega, c_min and c_max, which satisfy hm(c_min)\le hm(c_max) and prove: 1. For every Polish space X and every continuous pair-coloring c:[X]^2 -> 2 with hm(c) uncountable: hm(c)= hm(c_min) or hm(c)=hm(c_max) 2. There is a model of set theory in which hm(c_min)=aleph_1 and hm(c_max)=aleph_2 (The consistency of hm(c_min) = 2^aleph0 and of hm(c_max) < 2^aleph0 is known) We prove that hm(c_min) is equal to the covering number of (2^omega)^2 by graphs of Lipschitz functions and their reflections on the diagonal. An iteration of an optimal forcing notion associated to c_min gives: There is a model of set theory in which 1. R^2 is coverable by aleph1 graphs and reflections of graphs of continuous real functions; 2. R^2 is not coverable by aleph1 graphs and reflections of graphs of Lipschitz real functions.


title: Asymptotic behavior of polynomials orthonormal on a homogeneous set

abstract: Let $E$ be a homogeneous compact set, for instance a Cantor set of positive length. Further let $\sigma$ be a positive measure with $\text{supp}(\sigma)=E$. Under the condition that the absolutely continuous part of $\sigma$ satisfies a Szeg\"o--type condition we give an asymptotic representation, on and off the support, for the polynomials orthonormal with respect to $\sigma$. For the special case that $E$ consists of a finite number of intervals and that $\sigma$ has no singular component this is a nowaday well known result of Widom. If $E=[a,b]$ it becomes a classical result due to Szeg\"o and in case that there appears in addition a singular component, it is due to Kolmogorov--Krein. In fact the results are presented for the more general case that the orthogonality measure may have a denumerable set of mass--points outside of $E$ which are supposed to accumulate on $E$ only and to satisfy (together with the zeros of the associated Stieltjes function) the free--interpolation Carleson--type condition. Up to the case of a finite number of mass points this is even new for the single interval case. Furthermore, as a byproduct of our representations, we obtain that the recurrence coefficients of the orthonormal polynomials behave asymptotically almost periodic. Or in other words the Jacobi matrices associated with the above discussed orthonormal polynomials are compact perturbations of a one--sided restriction of almost periodic Jacobi matrices with homogeneous spectrum. Our main tool is a theory of Hardy spaces of character--automorphic functions and forms on Riemann surfaces of Widom type, we use also some ideas of scattering theory for one--dimensional Schr\"odinger equations.


title: Orthogonal polynomials in several variables. I

abstract: In this paper we introduce and discuss some classes of orthogonal polynomials in several non-commuting variables. The emphasis is on a non-commutative version of the orthogonal polynomials on the real line. We introduce recurrence equations for these polynomials, Christoffel-Darboux formulas, and Jacobi type matrices.


title: FRT Construction and Equipped Quantum Linear Spaces

abstract: We show there exists a rigid monoidal category formed out by quantum linear spaces with an additional structure, such that FRT bialgebras and corresponding rectangular generalizations are its internal coEnd and coHom objects, respectively. This enable us to think of them as the coordinate rings of a quantum space of homomorphisms that preserve the mentioned structure. The well known epimorphisms between FRT bialgebras and quantum semigroups (defined by Manin) translate into `inclusions' of quantum spaces, as the space of endomorphisms of a metric linear space V is included in gl(V). Our study is developed for conic quantum spaces.


title: Yang-Baxter maps and integrable dynamics

abstract: The hierarchy of commuting maps related to a set-theoretical solution of the quantum Yang-Baxter equation (Yang-Baxter map) is introduced. They can be considered as dynamical analogues of the monodromy and/or transfer-matrices. The general scheme of producing Yang-Baxter maps based on matrix factorisation is discussed in the context of the integrability problem for the corresponding dynamical systems. Some examples of birational Yang-Baxter maps coming from the theory of the periodic dressing chain and matrix KdV equation are discussed.


title: Galois action on class groups

abstract: It is well known that the Galois group of an extension puts constraints on the structure of the relative ideal class groups. Using only basic parts of the theory of group representations, we give a unified approach to such results.


title: Weil-etale motivic cohomology

abstract: We study Weil-etale cohomology, introduced by Lichtenbaum for varieties over finite fields. In the first half of the paper we give an explicit description of the base change from Weil-etale cohomology to etale cohomology. As a consequence, we get a long exact sequence relating Weil-etale cohomology to etale cohomology, show that for finite coefficients the cohomology theories agree, and with rational coefficients a Weil-etale cohomology group is the direct sum of two etale cohomology groups. In the second half of the paper we restrict ourselves to Weil-etale cohomology of the motivic complex. We show that for smooth projective varieties over finite fields, finite generation of Weil-etale cohomology is equivalent to Weil-etale cohomology being an integral model of l-adic cohomology, and also equivalent to the conjunction of Tate's conjecture and (rational) equality of rational and numerical equivalence. We give several examples where these conjectures hold, and express special values of zeta functions in terms of Weil-etale cohomology.


title: Independence of l in Lafforgue's theorem

abstract: Let X be a smooth curve over a finite field of characteristic p, let l be a prime number different from p, and let L be an irreducible lisse l-adic sheaf on X whose determinant is of finite order. By a theorem of Lafforgue, for each prime number l' different from p, there exists an irreducible lisse l'-adic sheaf L' on X which is compatible with L, in the sense that at every closed point x of X, the characteristic polynomials of Frobenius at x for L and L' are equal. We prove an "independence of l" assertion on the fields of definition of these irreducible l'-adic sheaves L' : namely, that there exists a number field F such that for any prime number l' different from p, the l'-adic sheaf L' above is defined over the completion of F at one of its l'-adic places.


title: The index of projective families of elliptic operators

abstract: An index theory for projective families of elliptic pseudodifferential operators is developed. The topological and the analytic index of such a family both take values in twisted K-theory of the parametrizing space, X. The main result is the equality of these two notions of index when the twisting class is in the torsion subgroup of H^3(X;Z). The Chern character of the index class is then computed.


title: Relative Hitchin--Kobayashi correspondences for principal pairs

abstract: A principal pair consists of a holomorphic principal $G$-bundle together with a holomorphic section of an associated Kaehler fibration. Such objects support natural gauge theoretic equations coming from a moment map condition, and also admit a notion of stability based on Geometric Invariant Theory. The Hitchin--Kobayashi correspondence for principal pairs identifies stability as the condition for the existence of solutions to the equations. In this paper we generalize these features in a way which allows the full gauge group of the principal bundle to be replaced by certain proper subgroups. Such a generalization is needed in order to use principal pairs as a general framework for describing augmented holomorphic bundles. We illustrate our results with applications to well known examples.


title: Letters of a Bi-Rationalist IV: Geometry of log flips

abstract: For a birational log Fano contraction, it is conjectured an inequality between the dimension of its exceptional locus and the minimal log discrepancy over the locus. The conjecture follows from the existence of the flip for the contraction and another conjecture about the maximum of minimal log discripancy in given dimension; in particular, it holds in small dimensions (up to 4), and some special cases. It is illustrated by some examples.


title: Luttinger surgery along Lagrangian tori and non-isotopy for singular symplectic plane curves

abstract: We discuss the properties of a certain type of Dehn surgery along a Lagrangian torus in a symplectic 4-manifold, known as Luttinger's surgery, and use this construction to provide a purely topological interpretation of a non-isotopy result for symplectic plane curves with cusp and node singularities due to Moishezon.


title: An Illuminating Counterexample

abstract: We give a visually appealing counterexample to the proposition that unbiased estimators are better than biased estimators.


title: Invariant ideals of twisted crossed products

abstract: We prove a result concerning the inclusion of non-trivial invariant ideals inside non-trivial ideals of a twisted crossed product. We will also give results concerning the primeness and simplicity of crossed products of twisted actions of locally compact groups on $C^*$-algebras.


title: Invariant tensor fields and orbit varieties for finite algebraic transformation groups

abstract: Let $X$ be a smooth algebraic variety endowed with an action of a finite group $G$ such that there exists the geometric quotient $\pi_X:X\to X/G$. We characterize rational tensor fields $\tau$ on $X/G$ such that the {\it pull back} of $\tau $ is regular on $X$: these are precisely all $\tau$ such that $\operatorname{div}_{R_{X/G}}(\tau)\ge 0$ where $R_{X/G}$ is the {\it reflection divisor} of $X/G$ and $\operatorname{div}_{R_{X/G}}(\tau)$ is the {\it $R_{X/G}$-divisor} of $\tau$. We give some applications, in particular to the generalization of Solomon's theorem. In the last section we show that if $V$ is a finite dimensional vector space and $G$ a finite subgroup of $\operatorname{GL}(V)$, then each automorphism $\psi$ of $V/G$ admits a biregular lift $\phi: V\to V$ provided that $\psi$ maps the regular stratum to itself and $\psi_*(R_{X/G})=R_{X/G}$.


title: Duality of Hopf $C^*$-algebras

abstract: In this paper, we study the duality theory of Hopf $C^*$-algebras in a general ``Hilbert-space-free'' framework. Our particular interests are the ``full duality'' and the ``reduced duality''. In order to study the reduced duality, we define the interesting notion of Fourier algebra of a general Hopf $C^*$-algebra.


title: A solution of one J. Bourgain's problem

abstract: It is proved that there exists a separable reflexive Banach space W that contains an isomorphic image of every separable superreflexive Banach space. This gives the affirmative answer on one J. Bourgain's question


title: Weighted Grassmannians

abstract: Many classes of projective algebraic varieties can be studied in terms of graded rings. Gorenstein graded rings in small codimension have been studied recently from an algebraic point of view, but the geometric meaning of the resulting structures is still relatively poorly understood. We discuss here the weighted projective analogs of homogeneous spaces such as the Grassmannian Gr(2,5) and orthogonal Grassmannian OGr(5,10) appearing in Mukai's linear section theorem for Fano 3-folds, and show how to use these as ambient spaces for weighted projective constructions. This is a first sketch of a subject that we expect to have many interesting future applications.


title: Surface group representations, Higgs bundles, and holomorphic triples

abstract: Using the $L^2$ norm of the Higgs field as a Morse function, we study the moduli spaces of $U(p,q)$-Higgs bundles over a Riemann surface. We require that the genus of the surface be at least two, but place no constraints on $(p,q)$. A key step is the identification of the function's local minima as moduli spaces of holomorphic triples. We prove that these moduli spaces of triples are irreducible and non-empty. Because of the relation between flat bundles and fundamental group representations, we can interpret our conclusions as results about the number of connected components in the moduli space of semisimple $PU(p,q)$-representations. The topological invariants of the flat bundles bundle are used to label components. These invariants are bounded by a Milnor-Wood type inequality. For each allowed value of the invariants satisfying a certain coprimality condition, we prove that the corresponding component is non-empty and connected. If the coprimality condition does not hold, our results apply to the irreducible representations.


title: A solution of one Problem of Lindenstrauss and Rosenthal on Subspace Homogeneous and Quotient Homogeneous Banach Spaces with Application to the Approximation Problem and to the Schroeder - Bernstein Problem

abstract: In article is constructed a wide couple of pairwice non-isomorphic separable superreflexive Banach spaces E that are subspace homogeneous. Their conjugates are quotient homogeneous. None of this couple neither isomorphic to its Cartesian square nor has the approximation property. At the same time, any such E is isomorphic to E+ E+ W for some Banach space W and, hence, solves the Schroeder - Bernstein problem.


title: Semi-Riemannian submersions with totally umbilic fibres

abstract: We get obstructions to existence of semi-Riemannian submersions with totally umbilic fibres.


title: U(1)-invariant special Lagrangian 3-folds in C^3 and special Lagrangian fibrations

abstract: This is a survey of the author's series of three papers math.DG/0111324, math.DG/0111326, math.DG/0204343 using analysis to investigate special Lagrangian 3-folds (SL 3-folds) in C^3 invariant under the U(1)-action (z_1,z_2,z_3) --> (gz_1,g^{-1}z_2,z_3) for unit complex numbers g, and their sequel math.DG/0011179 on special Lagrangian fibrations and the SYZ Conjecture. We briefly present the main results of these four long papers, giving some explanation and motivation, but no proofs. The aim is to make the results and ideas accessible to String Theorists and others who have an interest in special Lagrangian 3-folds and fibrations, but have no desire to read pages of technical analysis. Let N be an SL 3-fold in C^3 invariant under the U(1)-action above. Then |z_1|^2-|z_2|^2=2a on N for some real number a. Locally, N can be written as a kind of graph of functions u,v : R^2 --> R satisfying a nonlinear Cauchy-Riemann equation depending on a, so that u+iv is like a holomorphic function of x+iy. When a=0 the equations may have singular points where u,v are not differentiable, which leads to analytic difficulties. We prove existence and uniqueness results for solutions u,v on domains S in R^2 with boundary conditions, including singular solutions. We study their singularities, giving a rough classification by multiplicity and type. We prove the existence of large families of fibrations of open subsets of C^3 by U(1)-invariant SL 3-folds, including singular fibres. Finally, we use these fibrations as local models to draw conclusions about the SYZ Conjecture on Mirror Symmetry of Calabi-Yau 3-folds.


title: What is Stochastic Independence?

abstract: The notion of a tensor product with projections or with inclusions is defined. It is shown that the definition of stochastic independence relies on such a structure and that independence can be defined in an arbitrary category with a tensor product with inclusions or projections. In this context, the classifications of quantum stochastic independence by Muraki, Ben Ghorbal, and Sch\"urmann become classifications of the tensor products with inclusions for the categories of algebraic probability spaces and non-unital algebraic probability spaces. The notion of a reduction of one independence to another is also introduced. As examples the reductions of Fermi independence and boolean, monotone, and anti-monotone independence to tensor independence are presented.


title: Integral moments of L-functions

abstract: We give a new heuristic for all of the main terms in the integral moments of various families of primitive L-functions. The results agree with previous conjectures for the leading order terms. Our conjectures also have an almost identical form to exact expressions for the corresponding moments of the characteristic polynomials of either unitary, orthogonal, or symplectic matrices, where the moments are defined by the appropriate group averages. This lends support to the idea that arithmetical L-functions have a spectral interpretation, and that their value distributions can be modeled using Random Matrix Theory. Numerical examples show good agreement with our conjectures.


title: A Localization Argument for Characters of Reductive Lie Groups

abstract: This article provides a geometric bridge between two entirely different character formulas for reductive Lie groups and answers the question posed by W.Schmid 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 article (besides its representation-theoretical significance) provides a whole family of examples where it is possible to localize integrals to fixed points with respect to an action of a NONcompact group. Moreover, a localization argument given here is not specific to the particular setting considered in this article and can be extended to a more general situation. There is a broadly accessible article [L] which explains 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.


title: Size of families of curves with large automorphism group in positive characteristic

abstract: This paper has been withdrawn by the author. The main result is wrong, as M.Matignon and C. Lehr provided a counterexample to it.


title: Hyperbolic constant mean curvature one surfaces: Spinor representation and trinoids in hypergeometric functions

abstract: We present a global representation for surfaces in 3-dimensional hyperbolic space with constant mean curvature 1 (CMC-1 surfaces) in terms of holomorphic spinors. This is a modification of Bryant's representation. It is used to derive explicit formulas in hypergeometric functions for CMC-1 surfaces of genus 0 with three regular ends which are asymptotic to catenoid cousins (CMC-1 trinoids).


title: On modular forms arising from a differential equation of hypergeometric type

abstract: Modular and quasimodular solutions of specific second order differential equation in the upper-half plane which originates from a study of supersingular j-invariants are given explicitly. A characterization of the differential equation is also discussed.


title: On Knots with trivial Alexander polynomial

abstract: We use the 2-loop term of the Kontsevich integral to show that there are (many) knots with trivial Alexander polynomial which don't have a Seifert surface whose genus equals the rank of the Seifert form. This is one of the first applications of the Kontsevich integral to intrinsically 3-dimensional questions in topology. Our examples contradict a lemma of Mike Freedman, and we explain what went wrong in his argument and why the mistake is irrelevant for topological knot concordance. References updated.


title: Quasimodular solutions of a differential equation of hypergeometric type

abstract: Solutions which are quasimodular forms to a second order differential equation attached to a triangular group are explicitly described in terms of certain orthogonal polynomials.


title: Idempotent (Asymptotic) Mathematics and the Representation Theory

abstract: A brief survey of some basic ideas of the so-called Idempotent Mathematics is presented; an "idempotent" version of the representation theory is discussed. The Idempotent Mathematics can be treated as a result of a dequantization of the traditional mathematics over numerical fields in the limit of the vanishing "imaginary Planck constant"; there is a correspondence, in the spirit of N. Bohr's correspondence principle, between constructions and results in traditional mathematics over the fields of real and complex numbers and similar constructions and results over idempotent semirings. In particular, there is an "idempotent" version of the theory of linear representations of groups. Some basic concepts and results of the "idempotent" representation theory are presented. In the framework of this theory the well-known Legendre transform can be treated as an idempotent version of the traditional Fourier transform. Some unexpected versions of the Engel theorem are given.


title: Nuclear semimodules and kernel theorems in idempotent analysis. An algebraic approach

abstract: In this note we describe conditions under which, in idempotent functional analysis, linear operators have integral representations in terms of idempotent integral of V. P. Maslov. We define the notion of nuclear idempotent semimodule and describe idempotent analogs of the classical kernel theorems of L. Schwartz and A. Grothendieck. Our results provide a general description of a class of subsemimodules of the semimodule of all bounded functions with values in the Max-Plus algebra where some kind of kernel theorem holds, thus addressing an open problem posed by J. Gunawardena. Previously, some theorems on integral representations were obtained for a number of specific semimodules consisting of continuous or bounded functions taking values mostly in the Max-Plus algebra. In this work, a rather general case of semimodules over boundedly complete idempotent semirings is considered.


title: Expansive Motions and the Polytope of Pointed Pseudo-Triangulations

abstract: We introduce the polytope of pointed pseudo-triangulations of a point set in the plane, defined as the polytope of infinitesimal expansive motions of the points subject to certain constraints on the increase of their distances. Its 1-skeleton is the graph whose vertices are the pointed pseudo-triangulations of the point set and whose edges are flips of interior pseudo-triangulation edges. For points in convex position we obtain a new realization of the associahedron, i.e., a geometric representation of the set of triangulations of an n-gon, or of the set of binary trees on n vertices, or of many other combinatorial objects that are counted by the Catalan numbers. By considering the 1-dimensional version of the polytope of constrained expansive motions we obtain a second distinct realization of the associahedron as a perturbation of the positive cell in a Coxeter arrangement. Our methods produce as a by-product a new proof that every simple polygon or polygonal arc in the plane has expansive motions, a key step in the proofs of the Carpenter's Rule Theorem by Connelly, Demaine and Rote (2000) and by Streinu (2000).


title: The Lie algebra splitg2 with Mathematica using Zorn's matrices

abstract: We will obtain in this paper a generic expression of any element in athe Lie algebra of the derivations of the split octonions a over an arbitrary field. For this purpose, we will use the Zorn's matrices. We will also compute the multiplication table of this Lie algebra.


title: Analysis of Zeta Functions, Multiple Zeta Values, and Related Integrals

abstract: In this work, we begin to uncover the architecture of the general family of zeta functions and multiple zeta values as they appear in the theory of integrable systems and conformal field theory. One of the key steps in this process is to recognize the roles that zeta functions play in various arenas using transform methods. Other logical connections are provided by the the appearance of the Drinfeld associator, Hopf algebras, and techniques of conformal field theory and braid groups. These recurring themes are subtly linked in a vast scheme of a logically woven tapestry. An immediate application of this framework is to provide an answer to a question of Kontsevich regarding the appearance of Drinfeld type integrals and in particular, multiple zeta values in: a) Drinfeld's work on the KZ equation and the associator; b) Etingof-Kazhdan's quantization of Poisson-Lie algebras; c) Tamarkin's proof of formality theorems; d) Kontsevich's quantization of Poisson manifolds. Combinatorial arguments relating Feynman diagrams to Selberg integrals, multiple zeta values, and finally Poisson manifolds provide an additional step in this framework. Along the way, we provide additional insight into the various papers and theorems mentioned above. This paper represents an overall introduction to work currently in progress. More details to follow. See our paper Math.QA/[ ] for a proof of the Connes Kreimer Conjecture.


title: Selberg Integrals, Multiple Zeta Values and Feynman Diagrams

abstract: We prove that there is an isomorphism between the Hopf Algebra of Feynman diagrams and the Hopf algebra corresponding to the Homogenous Multiple Zeta Value ring H in C<<X,Y>> . In other words, Feynman diagrams evaluate to Multiple Zeta Values in all cases. This proves a recent conjecture of Connes-Kreimer, and others including Broadhurst and Kontsevich. The key step of our theorem is to present the Selberg integral as discussed in Terasoma [22] as a Functional from the Rooted Trees Operad to the Hopf algebra of Multiple Zeta Values. This is a new construction which provides illumination to the relations between zeta values, associators, Feynman diagrams and moduli spaces. An immediate implication of our Main Theorem is that by applying Terasoma's result and using the construction of our Selberg integral-rooted trees functional, we prove that the Hermitian matrix integral as discussed in Mulase [18] evaluates to a Multiple Zeta Value in all 3 cases: Asymptotically, the Limit as N goes to infinity, and in general. Furthermore, this construction provides for a positive resolution to Goncharov's conjecture (see [7] pg. 30). The Selberg integral functional can be extended to map the special values to depth m multiple polylogarithms on X.


title: The distribution of values of L(1,chi_d)

abstract: In this paper we investigate the distribution of values of L(1,chi) as chi ranges over primitive real characters. In particular we focus on the extent to which this distribution may be approximated by "random Euler products." Our work also establishes a recent conjecture of Montgomery and Vaughan on the frequency of large (or small) values of L(1,chi).


title: Inversion of bilateral basic hypergeometric series

abstract: We present a new matrix inverse with applications in the theory of bilateral basic hypergeometric series. Our matrix inversion result is directly extracted from an instance of Bailey's very-well-poised 6-psi-6 summation theorem, and involves two infinite matrices which are not lower-triangular. We combine our bilateral matrix inverse with known basic hypergeometric summation theorems to derive, via inverse relations, several new identities for bilateral basic hypergeometric series.


title: Proof of Goldbach's Conjecture

abstract: After certain subsets of Natural numbers called Range and Row are defined, we assume (1) there is a function that can produce prime numbers and (2) each even number greater than 2, like A, can be represented as the sum of n prime numbers. We show this by DC(A)less than or equal to n. Each Row is similar to each other in properties,(so is each Range). It is proven that in an arbitrary Row for any even number greater than 2, DC(A)=2, that is to say, each prime number greater than two is the sum of two prime numbers. So Goldbach's conjecture is proved.


title: Infinite-dimensional Lie superalgebras and hook Schur functions

abstract: Making use of a Howe duality involving the infinite-dimensional Lie superalgebra $\hgltwo$ and the finite-dimensional group $GL_l$ we derive a character formula for a certain class of irreducible quasi-finite representations of $\hgltwo$ in terms of hook Schur functions. We use the reduction procedure of $\hgltwo$ to $\hat{gl}_{n|n}$ to derive a character formula for a certain class of level 1 highest weight irreducible representations of $\hat{gl}_{n|n}$, the affine Lie superalgebra associated to the finite-dimensional Lie superalgebra $gl_{n|n}$. These modules turn out to form the complete set of integrable $\hat{gl}_{n|n}$-modules of level 1. We also show that the characters of all integrable level 1 highest weight irreducible $\hat{gl}_{m|n}$-modules may be written as a sum of products of hook Schur functions.


title: Cells and representations of right-angled Coxeter groups

abstract: We study Kazhdan-Lusztig cells and the corresponding representations of right-angled Coxeter groups and Hecke algebras associated to them. In case of the infinite groups generated by reflections in the hyperbolic plane about the sides of right-angled polygons we obtain an explicit description of the left and two-sided cells. In particular, we prove that there are infinitely many left cells but they all form only three two-sided cells.


title: Howe Duality and Combinatorial Character Formula for Orthosymplectic Lie superalgebras

abstract: We study the Howe dualities involving the reductive dual pairs $(O(d),spo(2m|2n))$ and $(Sp(d),osp(2m|2n))$ on the (super)symmetric tensor of $\C^d\otimes\C^{m|n}$. We obtain complete decompositions of this space with respect to their respective joint actions. We also use these dualities to derive a character formula for these irreducible representations of $spo(2m|2n)$ and $osp(2m|2n)$ that appear in these decompositions.


title: Lipschitzian Estimates in Discrete-Time Constrained Stochastic Optimal Control

abstract: This paper is devoted to the analysis of a finite horizon discrete-time stochastic optimal control problem, in presence of constraints. We study the regularity of the value function which comes from the dynamic programming algorithm. We derive accurate estimates of the Lipschitz constant of the value function, by means of a regularity result of the multifunction that defines the admissible control set. In the last section we discuss an application to an optimal asset-allocation problem.


title: Inference by Conversion

abstract: This paper has been withdrawn by the authors.


title: Generalized function algebras as sequence space algebras

abstract: A topological description of various generalized function algebras over corresponding basic locally convex algebras is given. The framework consists of algebras of sequences with appropriate ultra(pseudo)metrics defined by sequences of exponential weights. Such an algebra with embedded Dirac's delta distribution induces discrete topology on the basic space. This result is in analogy to Schwartz' impossibility result concerning multiplication of distributions.


title: On quartics with three-divisible sets of cusps

abstract: We study the geometry and codes of quartic surfaces with many cusps. We apply Gr\"obner bases to find examples of various configurations of cusps on quartics.


title: Abstract harmonic analysis, homological algebra, and operator spaces

abstract: In 1972, B. E. Johnson proved that a locally compact group $G$ is amenable if and only if certain Hochschild cohomology groups of its convolution algebra $L^1(G)$ vanish. Similarly, $G$ is compact if and only if $L^1(G)$ is biprojective: In each case, a classical property of $G$ corresponds to a cohomological propety of $L^1(G)$. Starting with the work of Z.-J. Ruan in 1995, it has become apparent that in the non-commutative setting, i.e. when dealing with the Fourier algebra $A(G)$ or the Fourier-Stieltjes algebra $B(G)$, the canonical operator space structure of the algebras under consideration has to be taken into account: In analogy with Johnson's result, Ruan characterized the amenable locally compact groups $G$ through the vanishing of certain cohomology groups of $A(G)$. In this paper, we give a survey of historical developments, known results, and current open problems.


title: The operator amenability of uniform algebras

abstract: We prove a quantized version of a theorem by M. V. Sheinberg: A uniform algebra equipped with its canonical, i.e. minimal, operator space structure is operator amenable if and only if it is a commutative $C^\ast$-algebra.


title: Noether

abstract: We give a short biographical sketch of Emmy Noether.


title: Common transversals and tangents to two lines and two quadrics in P^3

abstract: We solve the following geometric problem, which arises in several three-dimensional applications in computational geometry: For which arrangements of two lines and two spheres in R^3 are there infinitely many lines simultaneously transversal to the two lines and tangent to the two spheres? We also treat a generalization of this problem to projective quadrics: Replacing the spheres in R^3 by quadrics in projective space P^3, and fixing the lines and one general quadric, we give the following complete geometric description of the set of (second) quadrics for which the 2 lines and 2 quadrics have infinitely many transversals and tangents: In the nine-dimensional projective space P^9 of quadrics, this is a curve of degree 24 consisting of 12 plane conics, a remarkably reducible variety.


title: Generalization of Schensted insertion algorithm to the cases of hooks and semi-shuffles

abstract: Given an rc-graph $R$ of permutation $w$ and an rc-graph $Y$ of permutation $v$, we provide an insertion algorithm, which defines an rc-graph $R\leftarrow Y$ in the case when $v$ is a shuffle with the descent at $r$ and $w$ has no descents greater than $r$ or in the case when $v$ is a shuffle, whose shape is a hook. This algorithm gives a combinatorial rule for computing the generalized Littlewood-Richardson coefficients $c^{u}_{wv}$ in the two cases mentioned above.


title: On the moment map for the variety of Lie algebras

abstract: Let V be the vector space of all skew-symmetric (non-associative) complex algebras of dimension n and L the algebraic subset of V of all Lie algebras. We consider the moment map for the action of GL(n) on the projective space P(V) and study the critical points of the functional F:square norm of the moment map, in order to understand the stratification of L defined by the negative gradient flow of F. We obtain a description of the critical points which lie in L in terms of those which are nilpotent, as well as the minima and maxima of F on L. A characterization of the critical points modulo isomorphism, as the finite union of categorical quotients of suitable actions is considered, and some applications to the study of L are given.


title: Seiberg-Witten-Floer Homology and Gluing Formulae

abstract: This paper gives a detailed construction of Seiberg-Witten-Floer homology for a closed oriented 3-manifold with a non-torsion $\spinc$ structure. Gluing formulae for certain 4-dimensional manifolds splitting along an embedded 3-manifold are obtained.


title: The smallest degree sum that yields potentially $C_k$-graphical sequence

abstract: In this paper we consider a variation of the classical Tur\'{a}n-type extremal problems. Let $S$ be an $n$-term graphical sequence, and $\sigma(S)$ be the sum of the terms in $S$. Let $H$ be a graph. The problem is to determine the smallest even $l$ such that any $n$-term graphical sequence $S$ having $\sigma(S)\ge l$ has a realization containing $H$ as a subgraph. Denote this value $l$ by $\sigma(H, n)$. We show $\sigma(C_{2m+1}, n)=m(2n-m-1)+2$, for $m\ge 3$, $n\ge 3m$; $\sigma(C_{2m+2}, n)=m(2n-m-1)+4$, for $m\ge 3, n\ge 5m-2$.


title: Explicit equivariant quantization on (co)adjoint orbits of $GL(n,\C)$

abstract: We present an explicit $\U_h\bigl(gl(n,\C)\bigr)$-equivariant quantization on coadjoint orbits of $GL(n,\C)$. It forms a two-parameter family quantizing the Poisson pair of the reflection equation and Kirillov-Kostant-Souriau brackets.


title: A Lower Bound for the Number of Edges in a Graph Containing No Two Cycles of the Same Length

abstract: In 1975, P. Erd\"{o}s proposed the problem of determining the maximum number $f(n)$ of edges in a graph of $n$ vertices in which any two cycles are of different lengths. In this paper, it is proved that $$f(n)\geq n+32t-1$$ for $t=27720r+169 (r\geq 1)$ and $n\geq{6911/16}t^{2}+{514441/8}t-{3309665/16}$. Consequently, $\liminf\sb {n \to \infty} {f(n)-n \over \sqrt n} \geq \sqrt {2 + {2562 \over 6911}}.$


title: Toric Varieties as Spectra of Homogeneous Prime Ideals

abstract: We describe the construction of a class of toric varieties as spectra of homogeneous prime ideals.


title: The norm of a relation, separating functions and representations of marked quivers

abstract: Numerical functions, which characterize Dynkin schemes, Coxeter graphs and tame marked quivers, are considered.


title: Duality and Representations for New Exotic Bialgebras

abstract: We find the exotic matrix bialgebras which correspond to the two non-triangular nonsingular 4x4 R-matrices in the classification of Hietarinta, namely, R_{S0,3} and R_{S1,4}. We find two new exotic bialgebras S03 and S14 which are not deformations of the of the classical algebras of functions on GL(2) or GL(1|1). With this we finalize the classification of the matrix bialgebras which unital associative algebras generated by four elements. We also find the corresponding dual bialgebras of these new exotic bialgebras and study their representation theory in detail. We also discuss in detail a special case of R_{S1,4} in which the corresponding algebra turns out to be a special case of the two-parameter quantum group deformation GL_{p,q}(2).


title: Spinning deformations of rational maps

abstract: We analyze a real one-parameter family of quasiconformal deformations of a hyperbolic rational map known as {\em spinning}. We show that under fairly general hypotheses, the limit of spinning either exists and is unique, or else converges to infinity in the moduli space of rational maps of a fixed degree. When the limit exists, it has either a parabolic fixed point, or a pre-periodic critical point in the Julia set, depending on the combinatorics of the data defining the deformation. The proofs are soft and rely on two ingredients: the construction of a Riemann surface containing the closure of the family, and an analysis of the geometric limits of some simple dynamical systems. An interpretation in terms of Teichm\"uller theory is presented as well.


title: The Cheeger constant of simply connected, solvable Lie groups

abstract: We show that the Cheeger isoperimetric constant of a solvable simply connected Lie group $G$ with Lie algebra $\G$ is $h(G)=\max_{H\in\G,||H||=1} \tr(\ad (H))$.


title: Algebras of p-adic distributions and admissible representations

abstract: Let G be a compact, locally L-analytic group, where L is a finite extension of Qp. Let K be a discretely valued extension field of L. We study the algebra D(G,K) of K-valued locally analytic distributions on G, and apply our results to the locally analytic representation theory of G in vector spaces over K. Our objective is to lay a useful and powerful foundation for the further study of such representations. We show that the noncommutative, nonnoetherian ring D(G,K) "behaves" like the ring of functions on a rigid Stein space, and that (at least when G is Qp-analytic) it is a faithfully flat extension of its subring K\otimes Zp[[G]], where Zp[[G]] is the completed group ring of G. We use this point of view to describe an abelian subcategory of D(G,K) modules that we call coadmissible. We say that a locally analytic representation V of G is admissible if its strong dual is coadmissible as D(G,K)-module. For noncompact G, we say V is admissible if its strong dual is coadmissible as D(H,K) module for some compact open subgroup H. In this way we obtain an abelian category of admissible locally analytic representations. These methods allow us to answer a number of questions raised in our earlier papers on p-adic representations; for example we show the existence of analytic vectors in the admissible Banach space representations of G that we studied in "Banach space representations ...", Israel J. Math. 127, 359-380 (2002). Finally we construct a dimension theory for D(G,K), which behaves for coadmissible modules like a regular ring, and show that smooth admissible representations are zero dimensional.


title: Mixed toric residues and Calabi-Yau complete intersections

abstract: Using Cayley trick, we define the notions of mixed toric residues and mixed Hessians associated with $r$ Laurent polynomials $f_1,...,f_r$.We conjecture that the values of mixed toric residues on the mixed Hessians are determined by mixed volumes of the Newton polytopes of $f_1,...,f_r$. Using mixed toric residues, we generalize our Toric Residue Mirror Conjecture to the case of Calabi-Yau complete intersections in Gorenstein toric Fano varieties obtained from nef-partitions of reflexive polytopes.


title: The Lie algebra f4(Os) (split f4) with Mathematica

abstract: We present in this paper all the details for a complete description of the Lie algebra a in the split case at any characteristic. We finish with the determination of the expression of a generic element of this algebra. First of all is necessary to implement its quadratic Jordan structure (see the O. Loss' server http://mathematik.uibk.ac.at/jordan for our preprint). We write in this file only the computational details.


title: Structure in the classical knot concordance group

abstract: We provide new information about the structure of the abelian group of topological concordance classes of knots in $S^3$. One consequence is that there is a subgroup of infinite rank consisting entirely of knots with vanishing Casson-Gordon invariants but whose non-triviality is detected by $L^{(2)}$ signatures.


title: Approximation Properties for Non-commutative L_p-Spaces Associated with Discrete Groups

abstract: Let $1 < p < \infty$. It is shown that if $G$ is a discrete group with the approximation property introduced by Haagerup and Kraus, then the non-commutative $L_p(VN(G))$ space has the operator space approximation property. If, in addition, the group von Neumann algebra $VN(G)$ has the QWEP, i.e. is a quotient of a $C^*$-algebra with Lance's weak expectation property, then $L_p(VN(G))$ actually has the completely contractive approximation property and the approximation maps can be chosen to be finite-rank completely contractive multipliers on $L_p(VN(G))$. Finally, we show that if $G$ is a countable discrete group having the approximation property and $VN(G)$ has the QWEP, then $L_p(VN(G))$ has a very nice local structure, i.e. it is a $\mathcal C\OL_p$ space and has a completely bounded Schauder basis.


title: On ${\OL}_{\infty}$ structure of nuclear $C^*$-algebras

abstract: We study the local operator space structure of nuclear $C^*$-algebras. It is shown that a $C^*$-algebra is nuclear if and only if it is an $\OL_{\infty, \la}$ space for some (and actually for every) $\la > 6$. The $\OL_\infty$ constant $\lambda$ provides an interesting invariant \[ \OL_\infty (\A) = \inf\{\la: ~ \A ~{\rm is ~ an} ~ {\OL}_{\infty, \la} ~ {\rm space}\} \] for nuclear $C^*$-algebras. Indeed, if $\A$ is a nuclear $C^*$-algebra, then we have $1\le \OL_\infty (\A) \le 6$, and if $\A$ is a unital nuclear $C^*$-algebra with $\OL_{\infty} (\A) \le (\frac {1+{\sqrt 5}}2)^{\frac 12}$, we show that $\A$ must be stably finite. We also investigate the connection between the rigid $\OL_{\infty, 1^+}$ structure and the rigid complete order $\OL_{\infty, 1^+}$ structure on $C^*$-algebras, where the latter structure has been studied by Blackadar and Kirchberg in their characterization of strong NF $C^*$-algebras. Another main result of this paper is to show that these two local structrues are actually equivalent on unital nuclear $C^*$-algebras. We obtain this by showing that if a unital (nuclear) $C^*$-algebra is a rigid ${\OL}_{\infty, 1^+}$ space, then it is inner quasi-diagonal, and thus is a strong NF algebra. It is also shown that if a unital (nuclear) $C^*$-algebra is an ${\OL}_{\infty, 1^+}$ space, then it is quasi-diagonal, and thus is an NF algebra.


title: Doob's inequality for non-commutative martingales

abstract: Let $1\le p<\8$ and $(x_n)_{\nen}$ be a sequence of positive elements in a non-commutative $L_p$ space and $(E_n)_{\nen}$ be an increasing sequence of conditional expectations, then the $L_p$ norm of \sum_n E_n(x_n) can be estimated by c_p times the $L_p$ norm of \sum_n x_n. This inequality is due to Burkholder, Davis and Gundy in the commutative case. By duality, we obtain a version of Doob's maximal inequality for $1<p\le \8$.


title: Symmetric iterated Betti numbers

abstract: We define a set of invariants of a homogeneous ideal $I$ in a polynomial ring called the symmetric iterated Betti numbers of $I$. For $I_{\Gamma}$, the Stanley-Reisner ideal of a simplicial complex $\Gamma$, these numbers are the symmetric counterparts of the exterior iterated Betti numbers of $\Gamma$ introduced by Duval and Rose. We show that the symmetric iterated Betti numbers of an ideal $I$ coincide with those of a particular reverse lexicographic generic initial ideal $\Gin(I)$ of $I$, and interpret these invariants in terms of the associated primes and standard pairs of $\Gin(I)$. We verify that for an ideal $I=I_\Gamma$ the extremal Betti numbers of $I_\Gamma$ are precisely the extremal (symmetric or exterior) iterated Betti numbers of $\Gamma$. We close with some results and conjectures about the relationship between symmetric and exterior iterated Betti numbers of a simplicial complex.


title: Irreducibility and Smoothness of the moduli space of mathematical 5--instantons over ${\mathbb P}_3$

abstract: We prove that the space of mathematical instantons with second Chern class 5 over ${\mathbb P}_3$ is smooth and irreducible. Unified and simple proofs for the same statements in case of second Chern class $\leq 4$ are contained.


title: First neighbourhood of the diagonal, and geometric distributions

abstract: We describe the geometric notion of distribution in synthetic terms, utilizing the notion of "first neighbourhood of the diagonal" from algebraic geometry. We characterize involutive distributions in combinatorial terms.


title: Every orientable 3-manifold is a B\Gamma

abstract: We show that every orientable 3-manifold is a classifying space B\Gamma where \Gamma is a groupoid of germs of homeomorphisms of R. This follows by showing that every orientable 3-manifold M admits a codimension one foliation F such that the holonomy cover of every leaf is contractible. The F we construct can be taken to be C^1 but not C^2. The existence of such an F answers positively a question posed by Tsuboi [Classifying spaces for groupoid structures, notes from minicourse at PUC, Rio de Janeiro (2001)], but leaves open the question of whether M = B\Gamma for some C^\infty groupoid \Gamma.


title: Minimal Atomic Complexes

abstract: Hu, Kriz and May recently reexamined ideas implicit in Priddy's elegant homotopy theoretic construction of the Brown-Peterson spectrum at a prime p. They discussed May's notions of nuclear complexes and of cores of spaces, spectra, and commutative S-algebras. Their most striking conclusions, due to Hu and Kriz, were negative: cores are not unique up to equivalence, and BP is not a core of MU considered as a commutative S-algebra, although it is a core of MU considered as a p-local spectrum. We investigate these ideas further, obtaining much more positive conclusions. We show that nuclear complexes have several non-obviously equivalent characterizations. Up to equivalence, they are precisely the irreducible complexes, the minimal atomic complexes, and the Hurewicz complexes with trivial mod p Hurewicz homomorphism above the Hurewicz dimension, which we call complexes with no mod p detectable homotopy. Unlike the notion of a nuclear complex, these other notions are all invariant under equivalence. This simple and conceptual criterion for a complex to be minimal atomic allows us to prove that many familiar spectra, such as ko, eo_2, and BoP at the prime 2, all BP<n> at any prime p, and the indecomposable wedge summands of the suspension spectra of $CP^\infty$ and $HP^\infty$ at any prime p are minimal atomic.


title: Fourth order equations of critical Sobolev growth. Energy function and solutions of bounded energy in the conformally flat case

abstract: In this paper we study the energy function associated to fourth order equations of critical growth on smooth compact conformally flat manifolds of dimension greater or equal than 5.


title: Compact embeddings and indefinite semilinear elliptic problems

abstract: Our purpose is to find positive solutions $u \in D^{1,2}(\rz^N)$ of the semilinear elliptic problem $-\laplace u = h(x) u^{p-1}$ for $2<p$. The function $h$ may have an indefinite sign. Key ingredients are a $h$-dependent concentration-compactness Lemma and a characterization of compact embeddings of $D^{1,2}(\rz^N)$ into weighted Lebesgue spaces.


title: Existence and Nonexistence of Positive Solutions of Indefinite Elliptic Problems in $\rz^N$

abstract: Our purpose is to find positive solutions $u \in D^{1,2}(\rz^N)$ of the semilinear elliptic problem $-\laplace u - \lambda V(x) u = h(x) u^{p-1}$ for $2<p$. The functions $V$ and $h$ may have an indefinite sign and the linearized operator need not to have a first (principal) eigenvalue, e.g. we allow $V\equiv 1$. We give precise existence and nonexistence criteria, which depend on $\lambda$ and on the growth of $h^{-}$ and $h^{+}/V^+$. Existence theorems are obtained by constrained minimization. The mountain pass theorem leads to a second solution.


title: Maximal Complexifications of Certain Riemannian Homogeneous Manifolds

abstract: A characterization of maximal domains of existence of adapted complex structures for Riemannian homogeneous manifolds under certain extensibility assumptions on their geodesic flow is given. This is applied to generalized Heisenberg groups and naturally reductive Riemannian homogeneous spaces. As an application it is shown that the case of generalized Heisenberg groups yields examples of maximal domains of definition for the adapted complex structure which are are neither holomorphically separable, nor holomorphically convex.


title: The slicing number of a knot

abstract: An open question asks if every knot of 4-genus g_s can be changed into a slice knot by g_s crossing changes. A counterexample is given.


title: On D. Peterson's comparison formula for Gromov-Witten invariants

abstract: We prove a formula of Dale Peterson comparing genus zero Gromov-Witten invariants of $G/P$ to those of $G/B$ using results of Atiyah-Bott and Ramanathan on canonical reductions of principal bundles.


title: C*-Algebras, Approximately Proper Equivalence Relations, and Thermodynamic Formalism

abstract: We introduce a non-commutative generalization of the notion of (approximately proper) equivalence relation and propose the construction of a "quotient space". We then consider certain one-parameter groups of automorphisms of the resulting C*-algebra and prove the existence of KMS states at every temperature. In a model originating from Thermodynamics we prove that these states are unique as well. We also show a relationship between maximizing measures (the analogue of the Aubry-Mather measures for expanding maps) and ground states. In the last section we explore an interesting example of phase transitions.


title: On the Topology of Foliations with a First Integral

abstract: The main objective of this article is to study the topology of the fibers of a generic rational function of the type $F^p/G^q$ in the projective space of dimension two. We will prove that the action of the monodromy group on a single Lefschetz vanishing cycle $\delta$ generates the first homology group of a generic fiber of $F^p/G^q$. In particular, we will prove that for any two Lefschetz vanishing cycles $\delta_0$ and $\delta_1$ in a regular compact fiber of $F^p/G^q$, there exists a monodromy $h$ such that $h(\delta_0)=\pm \delta_1$.


title: The space of unipotently supported class functions on a finite reductive group

abstract: We determine the Lusztig restrictions on the space of class functions with a unipotent support on a finite reductive group. In particular we give a simple expression for the Lusztig restrictions of the generalized Green functions and we describe the Lusztig restrictions of the generalized Gelfand-Graev representations. We make explicit computations for the Gelfand-Graev representations associated to the subregular unipotent class. In the case of SLn we show that the computations can be reduced to the case of GLn' for various n'.