title: The algebra of discrete torsion

abstract: We analyze the algebraic structures of G--Frobenius algebras which are the algebras associated to global group quotient objects. Here G is any finite group. These algebras turn out to be modules over the Drinfeld double of the group ring k[G]. We furthermore prove that discrete torsion is a universal group action of H^2(G,k^*) on G--Frobenius algebras by isomorphisms of the underlying linear structure. These morphisms are realized explicitly by taking the tensor product with twisted group rings. This gives an algebraic realization of discrete torsion and allows for a treatment analogous to the theory of projective representations of groups, group extensions and twisted group ring modules. Lastly, we identify another set of discrete universal transformations among G--Frobenius algebras pertaining to their super--structure and classified by Hom(G,Z/2Z).


title: Recurrence and ergodicity in unital *-algebras

abstract: Results concerning recurrence and ergodicity are proved in an abstract Hilbert space setting based on the proof of Khintchine's recurrence theorem for sets, and on the Hilbert space characterization of ergodicity. These results are carried over to a non-commutative *-algebraic setting using the GNS-construction. This generalizes the corresponding measure theoretic results, in particular a variation of Khintchine's Theorem for ergodic systems, where the image of one set overlaps with another set, instead of with itself.


title: Hypersurfaces of bounded Cohen--Macaulay type

abstract: Let R = k[[x_0,...,x_d]]/(f), where k is a field and f is a non-zero non-unit of the formal power series ring k[[x_0,...,x_d]]. We investigate the question of which rings of this form have bounded Cohen--Macaulay type, that is, have a bound on the multiplicities of the indecomposable maximal Cohen--Macaulay modules. As with finite Cohen--Macaulay type, if the characteristic is different from two, the question reduces to the one-dimensional case: The ring R has bounded Cohen--Macaulay type if and only if R is isomorphic to k[[x_0,...,x_d]]/(g+x_2^2+...+x_d^2), where g is an element of k[[x_0,x_1]] and k[[x_0,x_1]]/(g) has bounded Cohen--Macaulay type. We determine which rings of the form k[[x_0,x_1]]/(g) have bounded Cohen--Macaulay type.


title: A simple separable C*-algebra not isomorphic to its opposite algebra

abstract: We give an example of a simple separable C*-algebra which is not isomorphic to its opposite algebra. Our example is nonnuclear and stably finite, has real rank zero and stable rank one, and has a unique tracial state. It has trivial K_1, and its K_0-group is order isomorphic to a countable subgroup of the real numbers.


title: Crossed products of the Cantor set by free minimal actions of Z^d

abstract: Let d be a positive integer, let X be the Cantor set, and let Z^d act freely and minimally on X. We prove that the crossed product C* (Z^d, X) has stable rank one, real rank zero, and cancellation of projections, and that the order on K_0 (C* (Z^d, X)) is determined by traces. We obtain the same conclusion for the C*-algebras of various kinds of aperiodic tilings.


title: Direct limit decomposition for C*-algebras of minimal diffeomorphisms

abstract: This is a survey article describing the proof that the crossed product C^* (Z, M, h) of a compact smooth manifold M by a minimal diffeomorphism h of M is isomorphic to a direct limit of recursive subhomogeneous C*-algebras.


title: When are crossed products by minimal diffeomorphisms isomorphic?

abstract: This is a survey which discusses the isomorphism problem for both C* and smooth crossed products by minimal diffeomorphisms. For C* crossed products, examples demonstrate the failure of the obvious analog of the Giordano-Putnam-Skau Theorem on minimal homeomorphisms of the Cantor set. For smooth crossed products, there are many open problems.


title: Quantum spin coverings and statistics

abstract: SL_q(2) at odd roots of unity q^l =1 is studied as a quantum cover of the complex rotation group SO(3,C), in terms of the associated Hopf algebras of (quantum) polynomial functions. We work out the irreducible corepresentations, the decomposition of their tensor products and a coquasitriangular structure, with the associated braiding (or statistics). As an example, the case l=3 is discussed in detail.


title: Verification of Atiyah's conjecture for some nonplanar configurations with dihedral symmetry

abstract: Atiyah's conjecture concerning configurations of N points in the Euclidean three-space is verified for the following nonplanar configurations: The first m points lie on a line L and the remaining n=N-m (>2) points are the vertices of a regular n-gon whose plane is perpendicular to L and whose centroid is on L.


title: Singularities and Enriched Cycles

abstract: We introduce graded, enriched characteristic cycles as a method for encoding Morse modules of strata with respect to a constructible complex of sheaves. Using this new device, we obtain results for arbitrary complex analytic functions on arbitrarily singular complex analytic spaces.


title: Derived division functors and mapping spaces

abstract: The normalized cochain complex of a simplicial set N^*(Y) is endowed with the structure of an E_{infinity} algebra. More specifically, we prove in a previous article that N^*(Y) is an algebra over the Barratt-Eccles operad. According to M. Mandell, under reasonable completeness assumptions, this algebra structure determines the homotopy type of Y. In this article, we construct a model of the mapping space Map(X,Y). For that purpose, we extend the formalism of Lannes' T functor in the framework of E_{infinity} algebras. Precisely, in the category of algebras over the Barratt-Eccles operad, we have a division functor -oslash N_(X) which is left adjoint to the functor Hom_F(N_*(X),-). We prove that the associated left derived functor -oslash^L N_*(X) is endowed with a quasi-isomorphism N^*(Y) oslash^L N_*(X) --> N^* Map(X,Y).


title: Cappell-Shaneson's 4-dimensional s-cobordism

abstract: In 1987 S Cappell and J Shaneson constructed an s-cobordism H from the quaternionic 3-manifold Q to itself, and asked whether H or any of its covers are trivial product cobordism? In this paper we study H, and in particular show that its 8-fold cover is the product cobordism from S^3 to itself. We reduce the triviality of H to a question about the 3-twist spun trefoil knot in S^4, and also relate this to a question about a Fintushel-Stern knot surgery.


title: Fusion and fission in graph complexes

abstract: We analyze a functor from cyclic operads to chain complexes first considered by Getzler and Kapranov and also Markl. This functor is a generalization of the graph homology considered by Kontsevich, which was defined for the three operads Comm, Assoc, and Lie. More specifically we show that these chain complexes have a rich algebraic structure in the form of families of operations defined by fusion and fission. These operations fit together to form uncountably many Lie-infinity and co-Lie-infinity structures. In particular, the chain complexes have a bracket and cobracket which are compatible in the Lie bialgebra sense on a certain natural subcomplex.


title: Identity of Proofs Based on Normalization and Generality

abstract: In general proof theory there are two approaches to the question of identity criteria for proofs. The first approach, which stems from Prawitz, Kreisel and Lambek, and is based on normalization of proofs, gives good results in intuitionistic, but not in classical logic. The second approach, which stems from Lambek, Mac Lane and Kelly, and is inspired by the generality of proofs, seems to be more promissing in classical logic.


title: Non-trivial 1-classes in the homology of the real moduli spaces M-bar_{0,n} and related structures

abstract: We give lower bounds for the rank of the first homology group of the real points of the Deligne-Mumford-Knudsen compactification of stable n-pointed curves of genus 0,which coincides with the Chow quotient (RP^1)^n//PGL(2,R).The study has connections with spectral geometry and combinatorics.


title: On vector bundles destabilized by Frobenius pull-back

abstract: Let X be an irreducible smooth projective curve of genus at least two over an algebraically closed field k of characteristic p>0. In this paper we study the natural stratification, defined using the absolute Frobenius of X, on the moduli space of vector bundles on X of suitable rank. In characteristic two we provide a complete classification of rank two semi-stable vector bundles whose Frobenius pull-back is not semi-stable. We also obtain fairly good information about the strata of the Frobenius stratification, including the irreducibility and the dimension of each non-empty Frobenius stratum. In particular we show that the locus of Frobenius destabilized bundles has dimension 3g-4 in the moduli space of semi-stable bundles of rank two. We also construct stable bundles that are destabilized by Frobenius in the following situations: characteristic p=2 and rank four, (2) characteristic p=rank=3, (3) characteristic p=rank=5 and g at least three. We also explore (in any characteristic) the connection between Frobenius destabilized bundles and (pre)-opers, this approach allows us to reinterpret some of our results in terms of pre-opers and also allows us to construct Frobenius destablised bundles from certain pre-opers (or opers). The other result we obtain is (for characteristic two): we show that the Gunning bundle descends under Frobenius when genus g is even. If g is odd, then the Gunning bundle twisted by any odd degree line bundle also descends.


title: Intersection numbers of twisted cycles and the correlation functions of the conformal field theory II

abstract: We evaluate the intersection numbers of loaded cycles and twisted forms associated with an n-fold Selberg-type integral. The result is deeply related with the geometry of the configuration space of n+3 points in the projective line.


title: Auslander-Reiten quivers and the Coxeter complex

abstract: Let Q be a quiver of type ADE. We construct the corresponding Auslander-Reiten quiver as a topological complex inside the Coxeter complex associated with the underlying Dynkin diagram. We use the notion of chamber weights coming from the theory of the canonical basis of quantized envelopping algebras, and show this set has a special linearity property in our setting. Finally, we consider A_n case, and describe how Auslander-Reiten quivers correspond to particular wiring diagrams.


title: Recovering an Algebraic Curve Using its Projections From Different Points. Applications to Static and Dynamic Computational Vision

abstract: We study how an irreducible closed algebraic curve X embedded in CP^3 can be recovered using its projections from points onto embedded projective planes. The different embeddings are unknown. The only input is the defining equation of each projected curve. We show how both the embeddings and the curve in CP^3 can be recovered modulo some actions of the group of projective transformations of CP^3. For two projections, we show how in a generic situation, a characteristic matrix of the two embeddings can be recovered. We also establish the minimal number of irreducible algebraic curves required to compute this characteristic matrix up to a finite-fold ambiguity, as a function of their degree and genus. Then we use this matrix to recover the class of the couple of maps and as a consequence to recover the curve. Then we consider another problem. N projections, with known projections operators and N >> 1, are considered as an input and we want to recover the curve. The recovery can be done by linear computations in the dual space and in the Grassmannian of lines in CP^3. A closely related question is also considered. Each point of a finite closed subset of an irreducible algebraic curve, is projected onto a plane from a different point. The projections operators are known. We show when and how the recovery of the algebraic curve is possible, in function of the degree of the curve of minimal degree generated by the centers of projection. A second part is devoted to applications to computer vision. The results in this paper solve a long standing problem in computer vision that could not have been solved without algebraic-geometric methods.


title: Singular limit laminations, Morse index, and positive scalar curvature

abstract: For any 3-manifold M and any nonnegative integer g, we give here examples of metrics on M each of which has a sequence of embedded minimal surfaces of genus g and without Morse index bounds. On any spherical space form S^3/Gamma we construct such a metric with positive scalar curvature. More generally we construct such a metric with Scal>0 (and such surfaces) on any 3-manifold which carries a metric with Scal>0. In all but one of these examples the Hausdorff limit will be a singular minimal lamination. The singularities being in each case exactly two points lying on a closed leaf (the leaf is a strictly stable sphere).


title: A Riemannian mapping type Theorem in higher dimensions, Part I: the conformally flat case with umbilic boundary

abstract: In this paper we prove that every Riemannian metric on a locally conformally flat manifold with umbilic boundary can be conformally deformed to a scalar flat metric having constant mean curvature. This result can be seen as a generalization to higher dimensions of the well known Riemann mapping Theorem in the plane.


title: There are no stable points for continuum-wise expansive homeomorphisms

abstract: We obtain some results about continuum-wise expansive homeomorphisms, such as non-existence of stable points and presence of non-trivial connected components within the local stable and unstable sets. These facts have been of importance in theorems of classification of expansive homeomorphisms. They are achieved now, however, by new and self contained techniques that hold on more general settings.


title: On the regularity of CR mappings in higher codimension

abstract: We give a proof of the regularity of Holder CR homeomorphisms of strictly pseudo convex CR manifolds of higher codimension.


title: Asymptotics of polynomials and eigenfunctions

abstract: We review some recent results on asymptotic properties of polynomials of large degree, of general holomorphic sections of high powers of positive line bundles over Kahler manifolds, and of Laplace eigenfunctions of large eigenvalue on compact Riemannian manifolds. We describe statistical patterns in the zeros, critical points and L^p norms of random polynomials and holomorphic sections, and the influence of the Newton polytope on these patterns. For eigenfunctions, we discuss L^p norms and mass concentration of individual eigenfunctions and their relation to dynamics of the geodesic flow.


title: Copolarity of isometric actions

abstract: We introduce a new integral invariant for isometric actions of compact Lie groups, the copolarity. Roughly speaking, it measures how far from being polar the action is. We generalize some results about polar actions in this context. In particular, we develop some of the structural theory of copolarity k representations, we classify the irreducible representations of copolarity one, and we relate the copolarity of an isometric action to the concept of variational completeness in the sense of Bott and Samelson.


title: Construction of p-adic Hurwitz spaces

abstract: Moduli spaces for Galois covers of p-adic Mumford curves by Mumford curves are constructed using Herrlich's Teichmuller spaces, Andre's orbifold fundamental groups, and Kato's graphs of groups encoding ramification data of charts for Mumford orbifolds.


title: Geometric Proofs of Horn and Saturation Conjectures

abstract: We provide a geometric proof of the Schubert calculus interpretation of the Horn conjecture, and show how the saturation conjecture follows from it. The geometric proof gives a strengthening of Horn and saturation conjectures. We also establish transversality theorems for Schubert calculus in non-zero characteristic. Some parts of the version posted in Nov 2002 (concerning explicit invariants constructed from Schubert calculus) have been removed from this version. They have appeared separately in IMRN 2004, no. 69, pages 3709--3721 " Invariant theory of GL(n) and Intersection theory of Grassmannians"


title: The Geometry of Momentum

abstract: Although the idea of the momentum map associated with a symplectic action of a group is already contained in work of Lie, the geometry of momentum maps was not studied extensively until the 1960's. Centering around the relation between symmetries and conserved quantities, the study of momentum maps was very much alive at the end of the 20th century and continues to this day, with the creation of new notions of symmetry. A uniform framework for all these momentum maps is still to be found; groupoids should play an important role in such a framework.


title: General Relativistic Shock-Waves Propagating at the Speed of Light

abstract: We investigate shock-wave solutions of the Einstein equations in the case when the speed of propagation is equal to the speed of light. The work extends the shock matching theory of Smoller and Temple, which characterizes solutions of the Einstein equations when the spacetime metric is only Lipschitz continuous across a hypersurface, to the lightlike case. After a brief introduction to general relativity, we develop the extension of a shock matching theory after introducing a previously known generalization of the second fundamental form by Barrabes and Israel. In the development of the theory we demonstrate that the matching of the generalized second fundamental form alone is not a sufficient condition for conservation conditions to hold across the interface. We then use this theory to construct a new exact solution of the Einstein equations that can be interpreted as an outgoing spherical shock wave that propagates at the speed of light. The solution is constructed by matching a Friedman Robertson Walker (FRW) metric, which is a geometric model for the universe, to a Tolman Oppenheimer Volkoff (TOV) metric, which models a static isothermal spacetime. The sound speeds, on each side of the shock, are constant and sub-luminous. Furthermore, the pressure and density are smaller at the leading edge of the shock, which is consistent with the Lax entropy condition in classical gas dynamics. However, the shock speed is greater than all the characteristic speeds. The solution also yields a surprising result in that the solution is not equal to the limit of previously known subluminous solutions as they tend to the speed of light.


title: Strongly irreducible surface automorphisms

abstract: A surface automorphism is strongly irreducible if every essential simple closed curve in the surface has nontrivial geometric intersection with its image. We show that a three-manifold admits only finitely many inequivalent surface bundle structures with strongly irreducible monodromy.


title: On zero mass solutions of viscous conservation laws

abstract: In the paper, we consider the large time behavior of solutions to the convection-diffusion equation u_t - Delta u + nabla cdot f(u) = 0 in R^n times [0,infinity), where f(u) ~ u^q as u --> 0. Under the assumption that q >= 1+1/(n+beta) and the initial condition u_0 satisfies: u_0 in L^1(R^n), integral_{R^n} u_0(x) dx = 0, and |e^{t Delta}u_0|_{L^1(R^n)} <= Ct^{-beta/2} for fixed beta in (0,1), all t>0, and a constant C, we show that the L^1-norm of the solution to the convection-diffusion equation decays with the rate t^{-beta/2} as t --> infinity. Moreover, we prove that, for small initial conditions, the exponent q^* = 1+1/(n+beta) is critical in the following sense. For q > q^* the large time behavior in L^p(R^n), 1 <= p <= infinity, of solutions is described by self-similar solutions to the linear heat equation. For q = q^*, we prove that the convection-diffusion equation with f(u) = u|u|^{q^*-1} has a family of self-similar solutions which play an important role in the large time asymptotics of general solutions.


title: Witten's top Chern class on the moduli space of higher spin curves

abstract: This paper is a sequel to math.AG/0011032. Its goal is to show that Witten's "top Chern class" constructed in loc.cit. satisfies all the axioms of math.AG/9905034.


title: The fundamental group's structure of the complement of some configurations of real line arrangements

abstract: In this paper, we give a fully detailed exposition of computing fundamental groups of complements of line arrangements using the Moishezon-Teicher technique for computing the braid monodromy of a curve and the Van-Kampen theorem which induces a presentation of the fundamental group of the complement from the braid monodromy of the curve. For example, we treated the cases where the arrangement has t multiple intersection points and the rest are simple intersection points. In this case, the fundamental group of the complement is a direct sum of infinite cyclic groups and t free groups. Hence, the fundamental groups in these cases is ``big''. These calculations will be useful in computing the fundamental group of Hirzebruch covering surfaces.


title: Decay of correlations in one-dimensional dynamics

abstract: We consider multimodal C^3 interval maps f satisfying a summability condition on the derivatives D_n along the critical orbits which implies the existence of an absolutely continuous f -invariant probability measure mu. If f is non-renormalizable, mu is mixing and we show that the speed of mixing (decay of correlations) is strongly related to the rate of growth of the sequence D_n as n tends to infinity . We also give sufficient conditions for mu to satisfy the Central Limit Theorem. This applies for example to the quadratic Fibonacci map which is shown to have subexponential decay of correlations.


title: On homomorphism spaces of metrizable groups

abstract: For two not necessarily commutative topological groups G and T, let H(G,T) denote the space of all continuous homomorphisms from G to T with the compact-open topology. We prove that if G is metrizable and T is compact then H(G,T) is a k-space. As a consequence we obtain that if G_1 is a dense subgroup of G then H(G_1,T) is homeomorphic to H(G,T), and if G is separable h-complete, then the natural map G --> C(H(G,T),T) is open onto its image.


title: Analytic continuation of the resolvent of the Laplacian on SL(3)/SO(3)

abstract: In this paper we continue our program of extending the methods of geometric scattering theory to encompass the analysis of the Laplacian on symmetric spaces of rank greater than one and their geometric perturbations. In our previous work we described the resolvent, and specifically the asymptotic behavior of the Green's function, on SL(3)/SO(3) using methods from three-particle scattering. Here we extend the technique of complex scaling to symmetric spaces to show that the resolvent continues analytically across the spectrum.


title: Combinatorial properties of Thompson's group F

abstract: We study some combinatorial properties of the word metric of Thompson's group F in the standard two generator finite presentation. We explore connections between the tree pair diagram representing an element w of F, its normal form in the infinite presentation, its word length, and minimal length representatives of it. We estimate word length in terms of the number and type of carets in the tree pair diagram and show sharpness of those estimates. In addition we explore some properties of the Cayley graph of F with respect to the two generator finite presentation. Namely, we exhibit the form of `dead end' elements in this Cayley graph, and show that it has no `deep pockets'. Finally, we discuss a simple method for constructing minimal length representatives for strictly positive or negative words.


title: Kummer theory of abelian varieties and reductions of Mordell-Weil groups

abstract: Let A be an abelian variety over a number field F with End(A/F) commutative. Let S be a subgroup of A(F) and let x be a point of A(F). Suppose that for almost all places v of F the reduction of x modulo v lies in the reduction of S modulo v. In this paper we prove that x must then lie in S + A(F)_tors. This provides a partial answer to a generalization (due to W. Gajda) of the support problem of Erdos.


title: Geometry of the tetrahedron space

abstract: Let X^{circ} be the space of all labeled tetrahedra in P^{3}. In [BGS] we constructed a smooth symmetric compactification X-tilde of X^{circ}. In this article we show that the complement X-tilde smallsetminus X^{circ} is a divisor with normal crossings, and we compute the cohomology ring H^*(X-tilde;Q).


title: Double bubbles in the 3-torus

abstract: We present a conjecture, based on computational results, on the area minimizing way to enclose and separate two arbitrary volumes in the flat cubic 3-torus. For comparable small volumes, we prove that an area minimizing double bubble in the 3-torus is the standard double bubble from R^3.


title: Sur les "Espaces de Sonine" associes par de Branges a la transformation de Fourier

abstract: Nous avons obtenu des formules explicites representant les fonctions E(z) apparaissant dans la theorie des ``Espaces de Sonine'' associes par de Branges a la transformation de Fourier.


title: On coseparable and biseparable corings

abstract: A relationship between coseparable corings and separable non-unital rings is established. In particular it is shown that an A-coring C has an associative A-balanced product. A Morita context is constructed for a coseparable coring with a grouplike element. Biseparable corings are defined, and a conjecture relating them to Frobenius corings is proposed.


title: Growth and Percolation on the Uniform Infinite Planar Triangulation

abstract: A construction as a growth process for sampling of the uniform infinite planar triangulation (UIPT), defined in a previous paper, is given. The construction is algorithmic in nature, and is an efficient method of sampling a portion of the UIPT. By analyzing the progress rate of the growth process we show that a.s. the UIPT has growth rate r^4 up to polylogarithmic factors, confirming heuristic results from the physics literature. Additionally, the boundary component of the ball of radius r separating it from infinity a.s. has growth rate r^2 up to polylogarithmic factors. It is also shown that the properly scaled size of a variant of the free triangulation of an m-gon converges in distribution to an asymmetric stable random variable of type 1/2. By combining Bernoulli site percolation with the growth process for the UIPT, it is shown that a.s. the critical probability p_c=1/2 and that at p_c percolation does not occur.


title: Topological Quantum Field Theory for Calabi-Yau threefolds and G_2 manifolds

abstract: We introduce a homology theory whose Euler characteristics counts ASD bundles over four dimensional co-associative submanifolds in (almost) G_2 manifolds. As a TQFT, in relative situations, we have the Fukaya-Floer category of Lagrangians intersection in the moduli space of special Lagrangian submanifolds in CY threefolds.


title: The many faces of alternating-sign matrices

abstract: I give a survey of different combinatorial forms of alternating-sign matrices, starting with the original form introduced by Mills, Robbins and Rumsey as well as corner-sum matrices, height-function matrices, three-colorings, monotone triangles, tetrahedral order ideals, square ice, gasket-and-basket tilings and full packings of loops.


title: On the quotient ring by diagonal harmonics

abstract: For a Weyl group W and its reflection representation mathfrak{h}, we find the character and Hilbert series for a quotient ring of C[mathfrak{h} oplus mathfrak{h}^*] by an ideal containing the W--invariant polynomials without constant term. This confirms conjectures of Haiman. The proof makes use of rational Cherednik algebras, as studied by Etingof and Ginzburg, and others.


title: Counterexamples for Local Isometric Embedding

abstract: We construct smooth metrics on 2-manifold with nonpositive Gauss curvature which cannot be (C^3) locally isometrically embedded in R^3. Moreover, the Gauss curvature of the metric can be made negative except for one point.


title: A Diagonal Representation of Quantum Density Matrix Using q-Boson Oscillator Coherent States

abstract: A q-analogue of Sudarshan's diagonal representation of the Quantum Mechanical density matrix is obtained using q-boson coherent states. Earlier result of Mehta and Sudarshan on the self reproducing property of rho(z',z) is also generalized and a self-consistent self-reproducing kernel {K-tilde}(z',z) is constructed.


title: Sufficient Conditions for the Inversion Formula for the k-plane Radon Transform in R^n

abstract: The inversion theorem for the k-plane Radon transform in R^n is often stated for Schwartz functions, and lately for smooth functions on R^n fulfilling that f(x)=O(|x|^{-N}) for some N>n. In this paper it will be shown, that it suffices to require that f is locally Holder continuous and f(x)=O(|x|^{-N}) for some N>k (N not necessarily an integer), and that a slightly weaker inversion formula holds when f with the same decay as before is only continuous.


title: On Bond Portfolio Management

abstract: This paper describes a new method of bond portfolio optimization based on stochastic string models of correlation structure in bond returns. The paper shows how to approximate correlation function of bond returns, compute the optimal portfolio allocation using Wiener-Hopf factorization, and check whether a collection of bonds presents arbitrage opportunities.


title: On a Linear Property of Bilinearly Defined Sets in $\mathbb{R}^n$

abstract: Certain types of bilinearly defined sets in $\mathbb{R}^n$ exhibit a higher degree of linearity than what is apparent by inspection.


title: Aperiodic linearly repetitive Delone sets are densely repetitive

abstract: We show that aperiodic linearly repetitive Delone sets are densely repetitive. This confirms a conjecture of Lagarias and Pleasants.


title: Geodesic laminations with closed ends on surfaces and Morse index; Kupka-Smale metrics

abstract: We give in this paper bounds for the Morse indices of a large class of simple geodesics on a surface with a generic metric. To our knowledge these bounds are the first that use only the generic hypothesis on the metric.


title: Completion of Semirings

abstract: A semiring can be ``completed'' (i.e., embedded into a semiring in which all infinite sums are defined and satisfy some reasonable properties) iff this semiring can be naturally partially ordered. This construction is ``natural'' (a left adjoint to the forgetful functor), and quite straightforward.


title: Conformal dimension and Gromov hyperbolic groups with 2-sphere boundary

abstract: Suppose G is a Gromov hyperbolic group, and the boundary at infinity of G is quasisymmetrically homeomorphic to an Ahlfors Q-regular metric 2-sphere Z with Ahlfors regular conformal dimension Q. Then G acts discretely, cocompactly, and isometrically on hyperbolic 3-space.


title: A Morera type theorem in the strip

abstract: We prove the following result. Let f be a continuous function in the closed infinite strip in complex plane. Suppose the restriction of f to every circle inscribed in the strip extends holomorphically inside the circle. Then f is holomorphic in the open strip.


title: Arnoux-Rauzy Subshifts: Linear Recurrence, Powers, and Palindromes

abstract: We consider Arnoux-Rauzy subshifts $X$ and study various combinatorial questions: When is $X$ linearly recurrent? What is the maximal power occurring in $X$? What is the number of palindromes of a given length occurring in $X$? We present applications of our combinatorial results to the spectral theory of discrete one-dimensional Schr\"odinger operators with potentials given by Arnoux-Rauzy sequences.


title: Finite dimensional representations of rational Cherednik algebras

abstract: A complete classification and character formulas for finite-dimensional irreducible representations of the rational Cherednik algebra of type A is given. Less complete results for other types are obtained. Links to the geometry of affine flag manifolds and Hilbert schemes are discussed.


title: Resolvent estimates for 2 dimensional perturbations of plane Couette Flow

abstract: We present results concerning resolvent estimates for the linear operator associated with the system of differential equations governing perturbations of the Couette flow. We prove estimates on the L_2 norm of the resolvent of this operator showing this norm to be proportional to the Reynolds number R for a region of the unstable half plane. For the remaining region, we show that the problem can be reduced to estimating the solution of a homogeneous ordinary differential equation with non-homogeneous boundary conditions. Numerical approximations indicate that the norm of the resolvent is proportional to R in the whole region of interest.


title: Coideal subalgebras in quantum affine algebras

abstract: We introduce two subalgebras in the type A quantum affine algebra which are coideals with respect to the Hopf algebra structure. In the classical limit q -> 1 each subalgebra specializes to the enveloping algebra U(k), where k is a fixed point subalgebra of the loop algebra over gl_N with respect to a natural involution corresponding to the embedding of the orthogonal or symplectic Lie algebra into gl_N. We also give an equivalent presentation of these coideal subalgebras in terms of generators and defining relations which have the form of reflection-type equations. We provide evaluation homomorphisms from these algebras to the twisted quantized enveloping algebras introduced earlier by Gavrilik and Klimyk and by Noumi. We also construct an analog of the quantum determinant for each of the algebras and show that its coefficients belong to the center of the algebra. Their images under the evaluation homomorphism provide a family of central elements of the corresponding twisted quantized enveloping algebra.


title: An Infinitary version of Sperner's lemma

abstract: We prove an extension of the well-known combinatorial-topological lemma of E. Sperner to the case of infinite-dimensional cubes. It is obtained as a corollary to an infinitary extension of the Lebesgue Covering Dimension Theorem.


title: Weakly multiplicative coactions of quantized function algebras

abstract: A condition is identified which guarantees that the coinvariants of a coaction of a Hopf algebra on an algebra form a subalgebra, even though the coaction may fail to be an algebra homomorphism. A Hilbert Theorem (finite generation of the subalgebra of coinvariants) is obtained for such coactions of a cosemisimple Hopf algebra. This is applied to two adjoint coactions of quantized function algebras of classical groups on the associated FRT bialgebra. Provided that the Hopf algebra is cosemisimple and coquasitriangular, the algebras of coinvariants form two finitely generated, commutative, graded subalgebras which have the same Hilbert series. Consequently, the cocommutative elements and the S^2-cocommutative elements in the Hopf algebra form finitely generated subalgebras. A Hopf algebra monomorphism from the quantum general linear group to Laurent polynomials over the quantum special linear group is found and used to explain the strong relationship between the corepresentation (and coinvariant) theories of these quantum groups.


title: Versal unfoldings for linear retarded functional differential equations

abstract: We consider parametrized families of linear retarded functional differential equations (RFDEs) projected onto finite-dimensional invariant manifolds, and address the question of versality of the resulting parametrized family of linear ordinary differential equations. A sufficient criterion for versality is given in terms of readily computable quantities. In the case where the unfolding is not versal, we show how to construct a perturbation of the original linear RFDE (in terms of delay differential operators) whose finite-dimensional projection generates a versal unfolding. We illustrate the theory with several examples, and comment on the applicability of these results to bifurcation analyses of nonlinear RFDEs.


title: Galois symmetries of fundamental groupoids and noncommutative geometry

abstract: We define motivic iterated integrals on the affine line, and give a simple proof of the formula for the coproduct in the Hopf algebra of they make. We show that it encodes the group law in the automorphism group of certain non-commutative variety. We relate the coproduct with the coproduct in the Hopf algebra of decorated rooted planar trivalent trees - a planar decorated version of the Hopf algebra defined by Connes and Kreimer. As an application we derive explicit formulas for the coproduct in the motivic multiple polylogarithm Hopf algebra. We give a criteria for a motivic iterated integral to be unramified at a prime ideal, and use it to estimate from above the space spanned by the values of iterated integrals. In chapter 7 we discuss some general principles relating Feynman integrals and mixed motives.


title: On the resolvent technique for stability of plane Couette flow

abstract: We discuss the application of the resolvent technique to prove stability of plane Couette flow. Using this technique, we derive a threshold amplitude for perturbations that can lead to turbulence in terms of the Reynolds number. Our main objective is to show exactly how much control one should have over the perturbation to assure stability via this technique.


title: Quasideterminants

abstract: The determinant is a main organizing tool in commutative linear algebra. In this review we present a theory of the quasideterminants defined for matrices over a division algebra. We believe that the notion of quasideterminants should be one of main organizing tools in noncommutative algebra giving them the same role determinants play in commutative algebra.


title: Good Local Bounds for Simple Random Walks

abstract: We give a local central limit theorem for simple random walks on Z^d, including Gaussian error estimates. The detailed proof combines standard large deviation techniques with Cramer-Edgeworth expansions for lattice distributions.


title: Cell-like resolutions preserving cohomological dimensions

abstract: We prove that for every compactum X with dim_Z X <= n >= 2 there is a cell-like resolution r: Z --> X from a compactum Z onto X such that dim Z <= n and for every integer k and every abelian group G such that dim_G X <= k >= 2 we have dim_G Z <=k. The latter property implies that for every simply connected CW-complex K such that e-dim X <= K we also have e-dim Z <= K.


title: Universal acyclic resolutions for finitely generated coefficient groups

abstract: We prove that for every compactum X and every integer $n \geq 2$ there are a compactum Z of $\dim \leq n$ and a surjective $UV^{n-1}$-map $r: Z \lo X$ having the property that: for every finitely generated abelian group G and every integer $k \geq 2$ such that $\dim_G X \leq k \leq n$ we have $\dim_G Z \leq k$ and r is G-acyclic, or equivalently: for every simply connected CW-complex K with finitely generated homotopy groups such that $\edim X \leq K$ we have $\edim Z \leq K$ and r is K-acyclic. (A space is K-acyclic if every map from the space to K is null-homotopic. A map is K-acyclic if every fiber is K-acyclic.)


title: Stable endomorphism algebras of modules over special biserial algebras

abstract: We prove that the stable endomorphism algebra of a module without self-extensions over a special biserial algebra is a gentle algebra. In particular, it is again special biserial. As a consequence, any algebra which is derived equivalent to a gentle algebra is gentle.


title: Pseudoholomorphic Strips in Symplectisations I: Asymptotic Behavior

abstract: This paper is part of a larger program, the investigation of the Chord Problem in three dimensional contact geometry. The main tool will be pseudoholomorphic strips in the symplectisation of a three dimensional contact manifold with two totally real submanifolds $L_0,L_1$ as boundary conditions. The submanifolds $L_0$ and $L_1$ do not intersect transversally. The subject of this paper is to study the asymptotic behavior of such pseudoholomorphic strips.


title: Ring theoretic properties of quantum grassmannians

abstract: The m x n quantum grassmannian, G_q(m,n), is the subalgebra of the algebra of m x n quantum matrices that is generated by the maximal m x m quantum minors. Several properties of G_q(m,n) are established. In particular, a basis of G_q(m,n) is obtained, and it is shown that G_q(m,n) is a noetherian domain of Gelfand-Kirillov dimension m(n-m)+1. The algebra G_q(m,n) is identified as the subalgebra of coinvariants of a natural left coaction of the m x m quantum special linear group on the algebra of m x n quantum matrices and it is shown that G_q(m,n) is a maximal order.


title: Arc-presentations of links. Monotonic simplification

abstract: We prove that any arc-presentation of the unknot admits a monotonic simplification by elementary moves; this yields a simple algorithm for recognizing the unknot. We obtain similar results for split links and composite links.


title: Hecke algebras with unequal parameters

abstract: These are notes for the Aisenstadt lectures given in may/june 2002 at CRM, Montreal, enlarged and updated in 2014 by taking into account the recent results of Elias and Williamson on Soergel bimodules. The main object is the study of Iwahori-Hecke algebras arising from reductive groups over finite or p-adic fields. We try to extend various results known in the equal parameter case to the case of not necessarily equal parameters.


title: Toric codes over finite fields

abstract: In this note, a class of error-correcting codes is associated to a toric variety associated to a fan defined over a finite field $\fff_q$, analogous to the class of Goppa codes associated to a curve. For such a ``toric code'' satisfying certain additional conditions, we present an efficient decoding algorithm for the dual of a Goppa code. Many examples are given. For small $q$, many of these codes have parameters beating the Gilbert-Varshamov bound. In fact, using toric codes, we construct a $(n,k,d)=(49,11,28)$ code over $\fff_8$, which is better than any other known code listed in Brouwer's on-line tables for that $n$ and $k$.


title: Spaces of coinvariants and fusion product II. Affine sl_2 character formulas in terms of Kostka polynomials

abstract: In this paper, we continue our study of the Hilbert polynomials of coinvariants begun in our previous work math.QA/0205324 (paper I). We describe the sl_n-fusion products for symmetric tensor representations following the method of Feigin and Feigin, and show that their Hilbert polynomials are A_{n-1}-supernomials. We identify the fusion product of arbitrary irreducible sl_n-modules with the fusion product of their resctriction to sl_{n-1}. Then using the equivalence theorem from paper I and the results above for sl_3, we give a fermionic formula for the Hilbert polynomials of a class of affine sl_2-coinvariants in terms of the level-restricted Kostka polynomials. The coinvariants under consideration are a generalization of the coinvariants studied in [FKLMM]. Our formula differs from the fermionic formula established in [FKLMM] and implies the alternating sum formula conjectured in [FL] for this case.


title: Topological representations of matroids

abstract: There is a one-to-one correspondence between geometric lattices and the intersection lattices of arrangements of homotopy spheres. When the arrangements are essential and fully partitioned, Zaslavsky's enumeration of the cells of the arrangement still holds. An application of the theory shows that all minimal cellular resolutions of matroid Steiner ideals are bounded subcomplexes of homotopy sphere arrangements of the given matroid. As a result the Betti numbers of the ideal are computed and seen to be equivalent to Stanley's formula in the special case of face ideals of independence complexes of matroids.


title: On some sequences of functions and their applications in Physics

abstract: We state and prove a Lemma in 1 variable Calculus, that justifies some arguments previously used to ilustrate non-uniqueness of some generalized physical quantities.


title: On a Poisson-Lie analogue of the classical dynamical Yang-Baxter equation for self-dual Lie algebras

abstract: We derive a generalization of the classical dynamical Yang-Baxter equation (CDYBE) on a self-dual Lie algebra $\cal G$ by replacing the cotangent bundle T^*G in a geometric interpretation of this equation by its Poisson-Lie (PL) analogue associated with a factorizable constant r-matrix on $\cal G$. The resulting PL-CDYBE, with variables in the Lie group G equipped with the Semenov-Tian-Shansky Poisson bracket based on the constant r-matrix, coincides with an equation that appeared in an earlier study of PL symmetries in the WZNW model. In addition to its new group theoretic interpretation, we present a self-contained analysis of those solutions of the PL-CDYBE that were found in the WZNW context and characterize them by means of a uniqueness result under a certain analyticity assumption.


title: On diffeomorphisms deleting weakly compacta in Banach spaces

abstract: We prove that if X is an infinite-dimensional Banach space with C^p smooth partitions of unity, then X and X\K are C^p diffeomorphic, for every weakly compact subset K of X.


title: A dimension formula for Ekedahl-Oort strata

abstract: We study the Ekedahl-Oort stratification on moduli spaces of PEL type. The strata are indexed by cosets in a Weyl group. The main result of this paper is that the dimension of a stratum equals the length of the corresponding Weyl group element. We also discuss some explicit examples.


title: The equivariant Lefschetz fixed point theorem for proper cocompact G-manifolds

abstract: Suppose one is given a discrete group G, a cocompact proper G-manifold M, and a G-self-map f of M. Then we introduce the equivariant Lefschetz class of f, which is globally defined in terms of cellular chain complexes, and the local equivariant Lefschetz class of f, which is locally defined in terms of fixed point data. We prove the equivariant Lefschetz fixed point theorem, which says that these two classes agree. As a special case, we prove an equivariant Poincare-Hopf Theorem, computing the universal equivariant Euler characteristic in terms of the zeros of an equivariant vector field, and also obtain an orbifold Lefschetz fixed point theorem. Finally, we prove a realization theorem for universal equivariant Euler characteristics.


title: The maximal order property for quantum determinantal rings

abstract: We develop a method of reducing the size of quantum minors in the algebra of n x n quantum matrices. The method is used to show that quantum determinantal factor rings of n x n quantum matrices over the complex numbers are maximal orders, when the parameter q is transcendental over the rational numbers.


title: Equivariant Euler characteristics and K-homology Euler classes for proper cocompact G-manifolds

abstract: Let G be a countable discrete group and let M be a smooth proper cocompact G-manifold without boundary. The Euler operator defines via Kasparov theory an element, called the equivariant Euler class, in the equivariant K-homology of M. The universal equivariant Euler characteristic of M, which lives in a group U^G(M), counts the equivariant cells of M, taking the component structure of the various fixed point sets into account. We construct a natural homomorphism from U^G(M) to the equivariant KO-homology of M. The main result of this paper says that this map sends the universal equivariant Euler characteristic to the equivariant Euler class. In particular this shows that there are no `higher' equivariant Euler characteristics. We show that, rationally, the equivariant Euler class carries the same information as the collection of the orbifold Euler characteristics of the components of the L-fixed point sets M^L, where L runs through the finite cyclic subgroups of G. However, we give an example of an action of the symmetric group S_3 on the 3-sphere for which the equivariant Euler class has order 2, so there is also some torsion information.


title: Nonstandard Graphs

abstract: From any given sequence of finite or infinite graphs, a nonstandard graph is constructed. The procedure is similar to an ultrapower construction of an internal set from a sequence of subsets of the real line, but now the individual entities are the vertices of the graphs instead of real numbers. The transfer principle is then invoked to extend several graph-theoretic results to the nonstandard case. After incidences and adjacencies between nonstandard vertices are defined, several formulas regarding numbers of vertices and edges, and nonstandard versions of Eulerian graphs, Hamiltonian graphs, and a coloring theorem are established for these nonstandard graphs.


title: Secant Varieties of Grasmann Varieties

abstract: In this paper we discuss the dimensions of the (higher) secant varieties to the Grassmann varieties, embedded via the Plucker embeddings. We use Terracini's Lemma and the duality in the exterior algebra of a finite dimensional vector space to translate the problem into that of finding the dimension of a graded piece of a " fat" ideal in the exterior algebra. Among other things, our methods prove that (apart from the chordal varieties to the Grassmannians of lines) all the chordal varieties of Grassmannians have the expected dimension. We also discuss some Grassmannians with deficient secant varieties, giving new proofs that G(3,7) and G(3,9) are of this type. We also find a new Grassmannian, namely G(4,8) with deficient secant varieties.


title: Automated tuning of bifurcations via feedback

abstract: The present paper studies a feedback regulation problem, which may be interpreted as an adaptive control problem, but has not yet been studied in the control literature. The problem, which arises in at least two different biological applications (Hopf bifurcations in the auditory system, and neural integrators used to maintain persistent neural activity), is that of tuning a parameter so as to bring it to a value at which a bifurcation takes place.


title: Symmetric Functions in Noncommuting Variables

abstract: Consider the algebra Q<<x_1,x_2,...>> of formal power series in countably many noncommuting variables over the rationals. The subalgebra Pi(x_1,x_2,...) of symmetric functions in noncommuting variables consists of all elements invariant under permutation of the variables and of bounded degree. We develop a theory of such functions analogous to the ordinary theory of symmetric functions. In particular, we define analogs of the monomial, power sum, elementary, complete homogeneous, and Schur symmetric functions as will as investigating their properties.


title: On a theorem of Kontsevich

abstract: In two seminal papers M. Kontsevich introduced graph homology as a tool to compute the homology of three infinite dimensional Lie algebras, associated to the three operads `commutative,' `associative' and `Lie.' We generalize his theorem to all cyclic operads, in the process giving a more careful treatment of the construction than in Kontsevich's original papers. We also give a more explicit treatment of the isomorphisms of graph homologies with the homology of moduli space and Out(F_r) outlined by Kontsevich. In [`Infinitesimal operations on chain complexes of graphs', Mathematische Annalen, 327 (2003) 545-573] we defined a Lie bracket and cobracket on the commutative graph complex, which was extended in [James Conant, `Fusion and fission in graph complexes', Pac. J. 209 (2003), 219-230] to the case of all cyclic operads. These operations form a Lie bi-algebra on a natural subcomplex. We show that in the associative and Lie cases the subcomplex on which the bi-algebra structure exists carries all of the homology, and we explain why the subcomplex in the commutative case does not.


title: Remarks on q-calculus and integrability

abstract: Relations between differential calculi, quantum groups, integrable systems, and q-analysis are studied. Some new Hirota type formulas are established for qKP along with variations on classical Hirota formulas.


title: Sur l'existence d'une prescription d'ordre naturelle projectivement invariante

abstract: P.Lecomte has proposed to take into account the covariant derivatives used to build ordering prescriptions for the naturality of transformation properties and has conjectured that there exists an natural ordering prescription for differential operators of any orders between density bundles which in addition is invariant under projective changes of the covariant derivatives. We prove this conjecture by constructing a projectively invariant lift of a torsion-free connexion to a torsion-free connexion on (the positive part of) the total space of the bundle of all $a$-densities for nonzero $a$, by lifting the symbols in a projectively invariant way (they turn out to be in bijection to the space of all $\real^+$-equivariant divergence-free symmetric tensor fields on the total space), and by using the standard ordering procedure (`all the covariant derivatives to the right') on the total space. For Ricci-flat manifolds we show that this ordering prescription coincides --with the appropiate replacements-- with an explicit formula in $\real^m$ obtained by Duval, Lecomte and Ovsienko.


title: Extensions of a Dualizing Complex by its Ring: Commutative Versions of a Conjecture of Tachikawa

abstract: Let $(R,\fm,k)$ be a commutative noetherian local ring with dualizing complex $\dua R$, normalized by $\Ext^{\depth(R)}_R(k,\dua R)\cong k$. Partly motivated by a long standing conjecture of Tachikawa on (not necessarily commutative) $k$-algebras of finite rank, we conjecture that if $\Ext^n_R(\dua R,R)=0$ for all $n>0$, then $R$ is Gorenstein, and prove this in several significant cases.


title: The Jacobian Conjecture as a Problem of Perturbative Quantum Field Theory

abstract: The Jacobian conjecture is an old unsolved problem in mathematics, which has been unsuccessfully attacked from many different angles. We add here another point of view pertaining to the so called formal inverse approach, that of perturbative quantum field theory.

categories: math.CO cond-mat.stat-mech hep-th math-ph math.AC math.MP math.RA


title: A Physicist's Proof of the Lagrange-Good Multivariable Inversion Formula

abstract: We provide yet another proof of the classical Lagrange-Good multivariable inversion formula using techniques of quantum field theory.

categories: math.CO cond-mat.stat-mech hep-th math-ph math.MP


title: Stein extensions of Riemann symmetric spaces and some generalization

abstract: It was proved by Huckleberry that the Akhiezer-Gindikin domain is included in the ``Iwasawa domain'' using complex analysis. But we can see that we need no complex analysis to prove it. In this paper, we generalize the notions of the Akhiezer-Gindikin domain and the Iwasawa domain for two associated symmetric subgroups in real Lie groups and prove the inclusion. Moreover, by the symmetry of two associated symmetric subgroups, we also give a direct proof of the known fact that the Akhiezer-Gindikin domain is included in all cycle spaces.


title: Connectivity of the coset poset

abstract: Topological concepts may be applied to any poset via the simplicial complex of finite chains. The coset poset C(G) of a finite group G (consisting of all cosets of all proper subgroups of G, ordered by inclusion) was introduced by Kenneth S. Brown in his study of the probabilistic zeta function P(G,s), and Brown's results motivate the study of the homotopy type of C(G). After a detailed introduction to basic simplicial topology and homotopy theory for finite posets (Chapter 2), we examine the connectivity of the coset poset (Chapter 3). Of particular interest is the fundamental group, and we provide various conditions under which C(G) is or is not simply connected. In particular, we classify direct products with simply connected coset posets. In Chapter 4, we treat several specific examples, including A_5 and PSL(2,7). We prove that both of these groups have simply connected coset posets, and in fact determine the precise homotopy type of C(A_5). This chapter also includes a detailed determination of all subgroups of the groups PSL(2,p), p prime (following Burnside). The final chapter discusses conjectures and directions for further research.


title: Construction of Gel'fand-Dorfman Bialgebras from Classical R-Matrices

abstract: Novikov algebras are algebras whose associators are left-symmetric and right multiplication operators are mutually commutative. A Gel'fand-Dorfman bialgebra is a vector space with a Lie algebra structure and a Novikov algebra structure, satisfying a certain compatibility condition. Such a bialgebraic structure corresponds to a certain Hamiltonian pairs in integrable systems. In this article, we present a construction of Gel'fand-Dorfman bialgebras from certain classical R-matrices on Lie algebras. In particular, we construct such R-matrices from certain abelian subalgebras of Lie algebras. As a result, we show that there exist nontrivial Novikov algebra structures on any finite-dimensional nonzero Lie algebra over an algebraically closed field with characteristic 0 or $p>5$ such that they form a Gel'fand-Dorfman bialgebra


title: Multiplication maps of linear systems on smooth projective toric surfaces

abstract: Let X be a smooth projective toric surface and L and M two line bundles on X. If L is ample and M is generated by global sections, then we show that the natural map from H^0(X,L) tensor H^0(X,M) to H^0(X, L tensor M) is surjective. We also consider a generalization to the case when M is an arbitrary line bundle with h^0(X,M) > 0.


title: Zero cycles on generic hypersurfaces of large degree

abstract: We show that given a smooth projective variety X over C with dim(X) > 2, an ample line bundle O(1) on X and an integer n > 1, any n distinct points on a generic hypersurface of degree d in X are linearly independent in CH_0(X) if d >> 0. This generalizes a result of C. Voisin.


title: Torelli's theorem for high degree symmetric products of curves

abstract: We show that two smooth projective curves C_1 and C_2 of genus g which have isomorphic symmetric products are isomorphic unless g=2. This extends a theorem of Martens.


title: Disks that are double spiral staircases

abstract: What are the possible shapes of various things and why? For instance, when a closed wire or a frame is dipped into a soap solution and is raised up from the solution, the surface spanning the wire is a soap film. What are the possible shapes of soap films and why? Or, for instance, why is DNA like a double spiral staircase? ``What..?'' and ``why..?'' are fundamental questions, and when answered, help us understand the world we live in. Soap films, soap bubles, and surface tension were extensively studied by the Belgian physicist and inventor (the inventor of the stroboscope) Joseph Plateau in the first half of the nineteenth century. At least since his studies, it has been known that the right mathematical model for soap films are minimal surfaces -- the soap film is in a state of minimum energy when it is covering the least possible amount of area. We will discuss here the answer to the question: ``What are the possible shapes of embedded minimal disks in $\RR^3$ and why?''.


title: The Locally Fine Coreflection and Normal Covers in the Products of Partition-complete Spaces

abstract: We prove that the countable product of supercomplete spaces having a countable closed cover consisting of partition-complete subspaces is supercomplete with respect to its metric-fine coreflection. Thus, countable products of sigma-partition-complete paracompact spaces are again paracompact. On the other hand, we show that in arbitrary products of partition-complete paracompact spaces, all normal covers can be obtained via the locally fine coreflection of the product of fine uniformities.


title: The ring of arithmetical functions with unitary convolution: the [n]-truncation

abstract: We study a certain truncation of the ring of arithmetical functions with unitary convolution, consisting of functions vanishing on arguments >n. The truncations are artinian monomial quotients of a polynomial ring in finitely many indeterminates, and are isomorphic to the ``artinified'' Stanley-Reisner rings of certain simplicial complexes.


title: Recursive Synthesis and the Foundations of Mathematics

abstract: This paper presents mathematics as a general science of computation in a way different from the tradition. It is based on the radical philosophical standpoint according to which the content, meaning and justification of experience lies in its precise formulation. The requirement on precise, formal content discloses the relational structure of (mathematical) experience, and gives a new meaning to the `ideal' objects beyond concrete forms. The paper also provides a systematic reason why set theory represents an ultimate stage in mathematical technology.


title: Stratified fibre bundles

abstract: A stratified bundle is a fibered space in which strata are classical bundles and in which attachment of strata is controlled by a structure category of fibers. Well known results on fibre bundles are shown to be true for stratified bundles; namely the pull back theorem, the bundle theorem and the principal bundle theorem.


title: K-theory of stratified vector bundles

abstract: We show that the Atiyah-Hirzebruch K-theory of spaces admits a canonical generalization for stratified spaces. For this we study algebraic constructions on stratified vector bundles. In particular the tangent bundle of a stratified manifold is such a stratified vector bundle.


title: Homotopy and homology of fibred spaces

abstract: We study fibred spaces with fibres in a structure category $\V$ and we show that cellular approximation, Blakers--Massey theorem, Whitehead theorems, obstruction theory, Hurewicz homomorphism, Wall finiteness obstruction, and Whitehead torsion theorem hold for fibred spaces. For this we introduce the cohomology of fibred spaces.


title: Symmetric periodic orbits for the n-body problem: some preliminary results

abstract: We show the existence of some infinite families of periodic solutions of the planar Newtonian n-body problem --with positive masses-- which are symmetric with respect to suitable actions of finite groups (under a strong--force assumption, or just numerically). The method is by minimizing a discretization of the action functional under symmetry constraints.


title: A remark on mapping tori of free group endomorphisms

abstract: We observe that the results of Feighn-Handel and Geoghegan-Mihalik-Sapir-Wise about coherence and Hopficity of mapping tori of injective endomorphisms of free groups extend to non-injective endomorphisms.


title: Discrete curves in CP1 and the Toda lattice

abstract: In this paper we investigate flows on discrete curves in $\C^2$, $\CP^1$, and $\C$. A novel interpretation of the one dimensional Toda lattice hierarchy and reductions thereof as flows on discrete curves will be given.


title: R-operator, co-product and Haar-measure for the modular double of U_q(sl(2,R))

abstract: A certain class of unitary representations of U_q(sl(2,R)) has the property of being simultanenously a representation of U_{tilde{q}}(sl(2,R)) for a particular choice of tilde{q}(q). Faddeev has proposed to unify the quantum groups U_q(sl(2,R)) and U_{tilde{q}}(sl(2,R)) into some enlarged object for which he has coined the name ``modular double''. We study the R-operator, the co-product and the Haar-measure for the modular double of U_q(sl(2,R)) and establish their main properties. In particular it is shown that the Clebsch-Gordan maps constructed in [PT2] diagonalize this R-operator.


title: Sections of Serre fibrations with low-dimensional fibers

abstract: It was proved by H. Whitney in 1933 that it is possible to mark a point in all curves in a continuous way. The main result of this paper extends the Whitney theorem to dimensions 2 and 3. Namely, we prove that it is possible to choose a point continuously in all two-dimensional surfaces sufficiently close to a given surface, and in all 3-manifolds sufficiently close to a given 3-manifold.


title: Spectrum of a weakly hypercyclic operator meets the unit circle

abstract: It is shown that every component of the spectrum of a weakly hypercyclic operator meets the unit circle. The proof is based on the lemma that a sequence of vectors in a Banach space whose norms grow at geometrical rate doesn't have zero in its weak closure.


title: pi_*-kernels of Lie groups

abstract: We study the group of homotopy classes of self maps of compact Lie groups which induce the trivial homomorphism on homotopy groups. We completely determine the groups for SU(3) and Sp(2). We investigate these groups for simple Lie groups in the cases when Lie groups are p-regular or quasi p-regular. We apply our results to the groups of self homotopy equivalences.


title: Non-semisimple Lie algebras with Levi factor \frak{so}(3), \frak{sl}(2,R) and their invariants

abstract: We analyze the number N of functionally independent generalized Casimir invariants for non-semisimple Lie algebras \frak{s}\overrightarrow{% oplus}_{R}\frak{r} with Levi factors isomorphic to \frak{so}(3) and \frak{sl}(2,R) in dependence of the pair (R,\frak{r}) formed by a representation R of \frak{s} and a solvable Lie algebra \frak{r}. We show that for any dimension n >= 6 there exist Lie algebras \frak{s}\overrightarrow{\oplus}_{R}\frak{r} with non-trivial Levi decomposition such that N(\frak{s}% \overrightarrow{oplus}_{R}\frak{r}) = 0.


title: Non Standard Metric Products

abstract: We consider a fairly general class of natural non standard metric products and classify those amongst them, which yield a product of certain type (for instance an inner metric space) for all possible choices of factors of this type (inner metric spaces). We further prove the additivity of the Minkowski rank for a large class of metric products.


title: Hyperbolic Rank of Products

abstract: Generalizing results due to Brady and Farb we prove the existence of a bilipschitz embedded manifold of pinched negative curvature and dimension m_1+m_2-1 in the product X:=X_1^{m_1} times X_2^{m_2} of two Hadamard manifolds X_i^{m_i} of dimension m_i with pinched negative curvature. Combining this result with a Theorem by Buyalo and Schroeder we prove the additivity of the hyperbolic rank for products of manifolds with pinched negative curvature.


title: The monoidal Eilenberg-Moore construction and bialgebroids

abstract: Monoidal functors U:C --> M with left adjoints determine, in a universal way, monoids T in the category of oplax monoidal endofunctors on M. Such monads will be called bimonads. Treating bimonads as abstract "quantum groupoids" we derive Tannaka duality between left adjointable monoidal functors and bimonads. Bialgebroids, i.e., Takeuchi's x_R-bialgebras, appear as the special case when T has also a right adjoint. Street's 2-category of monads then leads to a natural definition of the 2-category of bialgebroids.


title: On spectral representation of coalgebras and Hopf algebroids

abstract: In this paper we establish a duality between etale Lie groupoids and a class of non-necessarily commutative algebras with a Hopf algebroid structure. For any etale Lie groupoid G over a manifold M, the groupoid algebra C_c(G) of smooth functions with compact support on G has a natural coalgebra structure over C_c(M) which makes it into a Hopf algebroid. Conversely, for any Hopf algebroid A over C_c(M) we construct the associated spectral etale Lie groupoid G_sp(A) over M such that G_sp(C_c(G)) is naturally isomorphic to G. Both these constructions are functorial, and C_c is fully faithful left adjoint to G_sp. We give explicit conditions under which a Hopf algebroid is isomorphic to the Hopf algebroid C_c(G) of an etale Lie groupoid G. We also demonstrate that an analogous duality exists between sheaves on M and a class of coalgebras over C_c(M).


title: On the structure of C*-algebras generated by the components of polar decompositions

abstract: In the present paper we study the structure of C^*-algebras generated by the components of the polar decompositions of operators in Hilbert space satisfying certain commutation relations.


title: The Weak and Strong Lefschetz Properties for Artinian K-Algebras

abstract: Let A = bigoplus_{i >= 0} A_i be a standard graded Artinian K-algebra, where char K = 0. Then A has the Weak Lefschetz property if there is an element ell of degree 1 such that the multiplication times ell : A_i --> A_{i+1} has maximal rank, for every i, and A has the Strong Lefschetz property if times ell^d : A_i --> A_{i+d} has maximal rank for every i and d. The main results obtained in this paper are the following. 1) EVERY height three complete intersection has the Weak Lefschetz property. (Our method, surprisingly, uses rank two vector bundles on P^2 and the Grauert-Mulich theorem.) 2) We give a complete characterization (including a concrete construction) of the Hilbert functions that can occur for K-algebras with the Weak or Strong Lefschetz property (and the characterization is the same one). 3) We give a sharp bound on the graded Betti numbers (achieved by our construction) of Artinian K-algebras with the Weak or Strong Lefschetz property and fixed Hilbert function. This bound is again the same for both properties. Some Hilbert functions in fact FORCE the algebra to have the maximal Betti numbers. 4) EVERY Artinian ideal in K[x,y] possesses the Strong Lefschetz property. This is false in higher codimension.


title: New Einstein Metrics on 8#(S^2 times S^3)

abstract: We show that #8(S^2 times S^3) admits two 8-dimensional complex families of inequivalent non-regular Sasakian-Einstein structures. These are the first known non-regular Sasakian-Einstein metrics on this 5-manifold.


title: Submanifold averaging in riemannian and symplecitc geometry

abstract: We give a construction to obtain canonically an ``isotropic average'' of given $C^1$-close isotropic submanifolds of a symplectic manifold. To do so we use an improvement of Weinstein's submanifold averaging theorem (obtained in collaboration with H. Karcher) and apply ``Moser's trick''. We also present an application to Hamiltonian group actions.


title: Fock space representations of quantum affine algebras and generalized Lascoux-Leclerc-Thibon algorithm

abstract: We construct the Fock space representations of classical quantum affine algebras using combinatorics of Young walls. We also show that the crystal graphs of the Fock space representations can be realized as the abstract crystal consisting of proper Young walls. Finally, we give a generalized version of Lascoux-Leclerc-Thibon algorithm for computing the global bases of the basic representations of classical quantum affine algebras.


title: Generalized Hantzsche-Wendt Flat Manifolds

abstract: We study the family of closed Riemannian n-manifolds with holonomy group isomorphic to $Z_2^{n-1}$, which we call generalized Hantzsche-Wendt manifolds. We prove results on their structures, compute some invariants, and find relations between them, illustrated in graph connecting the family.


title: The prime geodesic theorem for higher rank spaces

abstract: The prime geodesic theorem for regular geodesics in a higher rank locally symmetric space is proved. An application to class numbers is given. The proof relies on a Lefschetz formula that is based on work of Andreas Juhl.


title: Severi, Scorza varieties and Jordan algebras

abstract: The Severi and Scorza varieties are the limiting cases of a theorem of Zak conjectured by Hartshorne. Zak also classified the Severi and Scorza varieties. Surprisingly enough, there are only 4 Severi varieties, one for each dimension 2,4,8 and 16 and they are homogeneous and very strongly linked with the 4 rank-3 Jordan algebras. In this article, I give several variations of Zak's classification theorem, proving a priori the homogeneity of Scorza varieties, and showing how it is possible to give a Jordan structure to the ambient space of a Scorza variety.


title: Locally conformal Kaehler reduction

abstract: We define reduction of locally conformal Kaehler manifolds, considered as conformal Hermitian manifolds, and we show its equivalence with an unpublished construction given by Biquard and Gauduchon. We show the compatibility between this reduction and Kaehler reduction of the universal cover. By a recent result of Kamishima and the second author, in the Vaisman case (that is, when a metric in the conformal class has parallel Lee form) if the manifold is compact its universal cover comes equipped with the structure of Kaehler cone over a Sasaki compact manifold. We show the compatibility between our reduction and Sasaki reduction, hence describing a subgroup of automorphisms whose action causes reduction to bear a Vaisman structure. Then we apply this theory to construct a wide class of Vaisman manifolds.


title: Extension-orthogonal components of nilpotent varieties

abstract: Let Q be a Dynkin quiver, and let P(Q) be the corresponding preprojective algebra. Let I be a set of pairwise different indecomposable irreducible components of varieties of P(Q)-modules such that generically there are no extensions between these components. We show that the number of elements in I is at most the number of positive roots of Q. Furthermore, we give a module theoretic interpretation of Leclerc's counterexample to a conjecture of Berenstein and Zelevinsky.


title: Obtaining a New Representation for the Golden Ratio by Solving a Biquadratic Equation

abstract: In the present work we show how different ways to solve biquadratic equations can lead us to different representations of its solutions. A particular equation which has the golden ratio and its reciprocal as solutions is shown as an example.


title: Galois theory and a new homotopy double groupoid of a map of spaces

abstract: The authors have used generalised Galois Theory to construct a homotopy double groupoid of a surjective fibration of Kan simplicial sets. Here we apply this to construct a new homotopy double groupoid of a map of spaces, which includes constructions by others of a 2-groupoid, cat^1-group or crossed module. An advantage of our construction is that the double groupoid can give an algebraic model of a foliated bundle.


title: Loewner's equation in noncommutative probability

abstract: Using concepts of noncommutative probability we show that the Loewner's evolution equation can be viewed as providing a map from paths of measures to paths of probability measures. We show that the fixed point of the Loewner map is the convolution semigroup of the semicircle law in the chordal case, and its multiplicative analogue in the radial case. We further show that the Loewner evolution ``spreads out'' the distribution and that it gives rise to a Markov process.


title: On the Oscillations of Multiplicative Functions Taking Values +/- 1

abstract: For completely multiplicative functions f(n) taking values 1 and -1, under certain conditions on f(n) we show that f(n) changes sign at least x exp(-7(log log x)sqrt(log x)) times as n runs through the integers <= x.


title: Invariants of Legendrian knots in circle bundles

abstract: Let E be a circle bundle over a Riemann surface that supports a contact structure transverse to the fibers. This paper presents a combinatorial definition of a differential graded algebra (DGA) that is an invariant of Legendrian knots in E. The invariant generalizes Chekanov's combinatorial DGA invariant of Legendrian knots in the standard contact 3-space using ideas from Eliashberg, Givental, and Hofer's contact homology. The main difficulty lies in dealing with what are ostensibly 1-parameter families of generators for the DGA; these are solved using ``Morse-Bott'' techniques. As an application, the invariant is used to distinguish two Legendrian knots that are smoothly isotopic, realize a non-trivial homology class, but are not Legendrian isotopic.


title: A Convexity property for the SO(2,C)-double coset decomposition of SL(2,C) and applications to spherical functions

abstract: We make a fine study of the SO(2,C)-double coset decomposition in SL(2,C) and give a full description of the intersection of the various cells with the complex crown Xi of SL(2,R)/SO(2). A non-linear convexity theorem is proved and applications to analytically continued spherical functions are given.


title: Generalized Serre--Tate Ordinary Theory

abstract: We study a generalization of Serre--Tate theory of ordinary abelian varieties and their deformation spaces. This generalization deals with abelian varieties equipped with additional structures. The additional structures can be not only an action of a semisimple algebra and a polarization, but more generally the data given by some ``crystalline Hodge cycles'' (a $p$-adic version of a Hodge cycle in the sense of motives). Compared to Serre--Tate ordinary theory, new phenomena appear in this generalized context. We give an application of this theory to the existence of ``good'' integral models of those Shimura varieties whose adjoints are products of simple, adjoint Shimura varieties of $D_l^{\bf H}$ type with $l\ge 4$.


title: Canonical modules of Rees algebras

abstract: We compute the canonical class of certain Rees algebras. Our formula generalizes that of Herzog and Vasconcelos. Its proof relies on the fact that the formation of the canonical module commutes with subintersections in important cases. As an application we treat the classical determinantal ideals and the corresponding algebras of minors.


title: On two conjectures concerning convex curves

abstract: We recall two basic conjectures on the developables of convex projective curves, prove one of them and disprove the other in the firdt nontrivial case of curves in RP^3. Namely, we show that i) the tangent developable surface of any convex curve in RP^3 has 'degree' 4 and ii) construct an example of 4 tangent lines to a convex curve in RP^3 such that no real line intersects all four of them.


title: On a stratification defined by real roots of polynomials

abstract: We consider the family of polynomials $P(x,a)=x^n+a_1x^{n-1}+... +a_n$, $x,a_i\in {\bf R}$, and the stratification of ${\bf R}^n\cong \{(a_1,... ,a_n)|a_i\in {\bf R}\}$ defined by the multiplicity vector of the real roots of $P$. We prove smoothness of the strata and a transversality property of their tangent spaces.


title: Linear statistics for zeros of Riemann's zeta function

abstract: We consider a smooth counting function of the scaled zeros of the Riemann zeta function, around height T. We show that the first few moments tend to the Gaussian moments, with the exact number depending on the statistic considered.


title: Topological Borsuk problem

abstract: Classical Borsuk problem asks about the minimal number of closed subsets of smaller diameter necessary to partition every compact in the Euclidean space. Topological version of the Borsuk problem is discussed.


title: On the representation theory of Galois and Atomic Topoi

abstract: We elaborate on the representation theorems of topoi as topoi of discrete actions of various kinds of localic groups and groupoids. We introduce the concept of "proessential point" and use it to give a new characterization of pointed Galois topoi. We establish a hierarchy of connected topoi: [1. essentially pointed Atomic = locally simply connected], [2. proessentially pointed Atomic = pointed Galois], [3. pointed Atomic]. These topoi are the classifying topos of, respectively: 1. discrete groups, 2. prodiscrete localic groups, and 3. general localic groups. We analyze also the unpoited version, and show that for a Galois topos, may be pointless, the corresponding groupoid can also be considered, in a sense, the groupoid of "points". In the unpointed theories, these topoi classify, respectively: 1. connected discrete groupoids, 2. connected (may be pointless) prodiscrete localic groupoids, and 3. connected groupoids with discrete space of objects and general localic spaces of hom-sets, when the topos has points (we do not know the class of localic groupoids that correspond to pointless connected atomic topoi). We comment and develop on Grothendieck's galois theory and its generalization by Joyal-Tierney, and work by other authors on these theories.


title: Another Simple Proof of a Theorem of Chandler Davis

abstract: In 1957, Chandler Davis proved that unitarily invariant convex functions on the space of hermitian matrices are precisely those which are convex and symmetrically invariant on the set of diagonal matrices. We give a simple perturbation theoretic proof of this result. (Davis' argument was also very short, though based on completely different ideas).


title: Hereditary topological diagonalizations and the Menger-Hurewicz Conjectures

abstract: We consider the question, which of the major classes defined by topological diagonalizations of open or Borel covers is hereditary. Many of the classes in the open case are not hereditary already in ZFC, and none of them is provably hereditary. This is contrasted with the Borel case, where some of the classes are provably hereditary. Two of the examples are counter-examples of sizes d$ and b, respectively, to the Menger and Hurewicz Conjectures, and one of them answers a question of Steprans on perfectly meager sets.


title: Knot signature functions are independent

abstract: To each unit complex number with positive imaginary part there is defined a Tristram-Levine knot signature function. The set of all such signature functions is linearly independent as a set of functions defined on the set of all knots. The set of averaged signature functions forms a linearly independent set of homomorophisms on the knot concordance group. However, for each unit root of an Alexander polynomial, there is a slice knot with nonvanishing signature at that root and its conjugate, and nowhere else. These results hold for knots in all odd dimension.


title: Cyclic covers of rings with rational singularities

abstract: We examine some recent work of Phillip Griffith on \'etale covers and fibered products from the point of view of tight closure theory. While it is known that cyclic covers of Gorenstein rings with rational singularities are Cohen-Macaulay, we show this is not true in general in the absence of the Gorenstein hypothesis. Specifically, we show that the canonical cover of a $\mathbb Q$-Gorenstein ring with rational singularities need not be Cohen-Macaulay.


title: Singularities of codimension two mean curvature flow of symplectic surfaces

abstract: We prove that for a mean curvature flow of a compact symplectic surface in a compact Kaehler-Einstein surface, the tangent cone at the first blow-up time consists of a finite union of more than two 2-planes in $R^4$ which are complex in a complex structure on $R^4$.


title: Choosing roots of polynomials smoothly, II

abstract: We show that the roots of any smooth curve of polynomials with only real roots can be parametrized twice differentiably (but not better).


title: Cluster algebras II: Finite type classification

abstract: This paper continues the study of cluster algebras initiated in math.RT/0104151. Its main result is the complete classification of the cluster algebras of finite type, i.e., those with finitely many clusters. This classification turns out to be identical to the Cartan-Killing classification of semisimple Lie algebras and finite root systems, which is intriguing since in most cases, the symmetry exhibited by the Cartan-Killing type of a cluster algebra is not at all apparent from its geometric origin. The combinatorial structure behind a cluster algebra of finite type is captured by its cluster complex. We identify this complex as the normal fan of a generalized associahedron introduced and studied in hep-th/0111053 and math.CO/0202004. Another essential combinatorial ingredient of our arguments is a new characterization of the Dynkin diagrams.


title: Linear statistics of low-lying zeros of L--functions

abstract: We consider linear statistics of the scaled zeros of Dirichlet $L$--functions, and show that the first few moments converge to the Gaussian moments. The number of Gaussian moments depends on the particular statistic considered. The same phenomenon is found in Random Matrix Theory, where we consider linear statistics of scaled eigenphases for matrices in the unitary group. In that case the higher moments are no longer Gaussian. We conjecture that this also happens for Dirichlet $L$--functions.


title: On Twisted Subgroups and Bol Loops of Odd Order

abstract: In the spirit of Glauberman's fundamental work in B-loops and Moufang loops, we prove Cauchy and strong Lagrange theorems for Bol loops of odd order. We also establish necessary conditions for the existence of a simple Bol loop of odd order, conditions which should be useful in the development of a Feit-Thompson theorem for Bol loops. Bol loops are closely related to Aschbacher's twisted subgroups, and we survey the latter in some detail, especially with regard to the so-called Aschbacher radical.


title: Semigroups of left quotients - the layered approach

abstract: A subsemigroup S of a semigroup Q is a left order in Q and Q is a semigroup of left quotients of S if every element of Q can be expressed as a# b where a and b are elements of S and if, in addition, every element of S that is square cancellable lies in a subgroup of Q. Here a# denotes the inverse of a in a subgroup of Q. We say that a left order S is straight in Q if in the above definition we can insist that a is related to b by Green's relation R in Q. A complete characterisation of straight left orders in terms of embeddable *-pairs is available. In this paper we adopt a different approach, based on partial order decompositions of semigroups. Such decompositions include semilattice decompositions and decompositions of a semigroup into principal factors or principal *-factors. We determine when a semigroup that can be decomposed into straight left orders is itself a straight left order. This technique gives a unified approach to obtaining many of the early results on characterisations of straight left orders.


title: Lower bounds for quasianalytic functions, I. How to control smooth functions?

abstract: Consider a class of functions of one real variable with the following uniqueness property: if a function f(x) from the class vanishes on a set of positive measure, then f is the zero function. In many instances, we would like to have a quantitative version of this property, e.g. a lower bound for f(x) outside a small exceptional set. Such estimates are well-known and useful for polynomials and analytic functions. In this work we prove similar results for the Denjoy-Carleman and the Bernstein classes of quasianalytic functions.


title: Strongly exposed points in the ball of the Bergman space

abstract: We investigate which boundary points in the closed unit ball of the Bergman space of integrable holomorphic functions on the unit disc are strongly exposed. This requires study of the Bergman projection and its kernel, the annihilator of Bergman space. We show that all polynomials in the boundary of the unit ball are strongly exposed.


title: HKR characters and higher twisted sectors

abstract: This is the writeup of an expository talk. It is intended as an introduction to the work of Hopkins, Kuhn, and Ravenel on generalized group characters, which seems to fit very well with the theory of what physicists call higher twisted sectors in the theory of orbifolds.


title: On Non-intersecting Arithmetic Progressions

abstract: We prove that if one has k non-intersecting arithmetic progressions of integers, with common differences 2 <= q_1,...,q_k <= x, then k < x exp((-1/6 + o(1)) sqrt(log x loglog x)). This improves a result of Szemeredi and Erdos.


title: Non-amenable finitely presented torsion-by-cyclic groups

abstract: We construct a finitely presented non-amenable group without free non-cyclic subgroups thus providing a finitely presented counterexample to von Neumann's problem. Our group is an extension of a group of finite exponent n >> 1 by a cyclic group, so it satisfies the identity [x,y]^n = 1.


title: (2+1)-dimensional topological quantum field theory from subfactors and Dehn surgery formula for 3-manifold invariants

abstract: In this paper, we establish the general theory of (2+1)-dimensional topological quantum field theory (in short, TQFT) with a Verlinde basis. It is a consequence that we have a Dehn surgery formula for 3-manifold invariants for this kind of TQFT's. We will show that Turaev-Viro-Ocneanu unitary TQFT's obtained from subfactors satisfy the axioms of TQFT's with Verlinde bases. Hence, in a Turaev-Viro-Ocneanu TQFT, we have a Dehn surgery formula for 3-manifolds. It turns out that this Dehn surgery formula is nothing but the formula of the Reshetikhin-Turaev invariant constructed from a tube system, which is a modular category corresponding to the quantum double construction of a C^*-tensor category. In the forthcoming paper, we will exbit computations of Turaev-Viro-Ocneanu invariants for several ``basic 3-manifolds ''. In Appendix, we discuss the relationship between the system of M_{infinity}-M_{infinity} bimodules arising from the asymptotic inclusion M V M^{op} subset M_{infinity} constructed from N subset M and the tube system obtained from a subfactor N subset M.


title: Geometric Crystal and Tropical R for D^(1)_n

abstract: We construct a geometric crystal for the affine Lie algebra D^{(1)}_n in the sense of Berenstein and Kazhdan. Based on a matrix realization including a spectral parameter, we prove uniqueness and explicit form of the tropical R, the birational map that intertwines products of the geometric crystals. The tropical R commutes with geometric Kashiwara operators and satisfies the Yang-Baxter equation. It is subtraction-free and yields a piecewise linear formula of the combinatorial R for crystals upon ultradiscretization.


title: Local Solutions of the Dynamic Programming Equations and the Hamilton Jacobi Bellman PDE

abstract: We present methods for locally solving the Dynamic Programming Equations (DPE) and the Hamilton Jacobi Bellman (HJB) PDE that arise in the infinite horizon optimal control problem. The method for solving the DPE is the discrete time version of Al'brecht's procedure for locally approximating the solution of the HJB. We also prove the existence of the smooth solutions to the DPE that has the same Taylor series expansions as the formal solutions. Our procedure for solving the HJB PDE numerically begins with Al'brecht's local solution as the initial approximation and uses some Lyapunov criteria to piece together polynomial estimates. The polynomials are generated using the method in the Cauchy-Kovalevskaya Theorem.


title: Singularities of the 2-dimensional moduli spaces of stable sheaves on K3 surfaces

abstract: We consider the singuralities of 2-dimensional moduli spaces of semi-stable sheaves on K3 surfaces. We show that the moduli space is normal, in particular the singuralities are rational double points. We also describe the exceptional locus on the resolution in terms of exceptional sheaves.


title: Computations of Turaev-Viro-Ocneanu invariants of 3-manifolds from subfactors

abstract: In this paper, we establish a rigorous correspondence between the two tube algebras, that one comes from the Turaev-Viro-Ocneanu TQFT introduced by Ocneanu and another comes from the sector theory introduced by Izumi, and construct a canonical isomorphism between the centers of the two tube algebras, which is a conjugate linear isomorphism preserving the products of the two algebras and commuting with the actions of SL(2,Z). Via this correspondence and the Dehn surgery formula, we compute Turaev-Viro-Ocneanu invariants from several subfactors for basic 3-manifolds including lens spaces and Brieskorn 3-manifolds by using Izumi's data written in terms of sectors.


title: On the Dynamics of G-Solenoids. Applications to Delone Sets

abstract: A G-solenoid is a laminated space whose leaves are copies of a single Lie group G, and whose transversals are totally disconnected sets. It inherits a G-action and can be considered as dynamical system. Free Z^d-actions on the Cantor set as well as a large class of tiling spaces possess such a structure of G-solenoid. We show that a G-solenoid can be seen as a projective limit of branched manifolds modeled on G. This allows us to give a topological description of the transverse invariant measures associated with a G-solenoid in terms of a positive cone in the projective limit of the dim(G)-homology groups of these branched manifolds. In particular we exhibit a simple criterion implying unique ergodicity. A particular attention is paid to the case when the Lie group $G$ is the group of affine orientation preserving isometries of the Euclidean space or its subgroup of translations.


title: Polynomial Solutions to Difference Equations Connected to Painleve' II-VI

abstract: Polynomials related to rational solutions of Painleve' equations satisfy certain difference equations. Conditions are given to acertain that all solutions really are polynomials.


title: On semi-global invariants for focus-focus singularities

abstract: This article gives a classification, up to symplectic equivalence, of singular Lagrangian foliations given by a completely integrable system of a 4-dimensional symplectic manifold, in a full neighbourhood of a singular leaf of focus-focus (=nodal) type.


title: Taylor and Lyubeznik Resolutions via Grobner Bases

abstract: Taylor presented an explicit resolution for arbitrary monomial ideals. Later, Lyubeznik found that already a subcomplex defines a resolution. We show that the Taylor resolution may be obtained by repeated application of the Schreyer Theorem from the theory of Grobner bases, whereas the Lyubeznik resolution is a consequence of Buchberger's chain criterion. Finally, we relate Froberg's contracting homotopy for the Taylor complex to normal forms with respect to our Grobner bases and use it to derive a splitting homotopy that leads to the Lyubeznik complex.


title: A Combinatorial Approach to Involution and delta-Regularity I: Involutive Bases in Polynomial Algebras of Solvable Type

abstract: General revision. In particular the parts concerning involutive bases over rings have been significantly changed. In addition some proofs have been improved.


title: Fundamental groups of some quadric-line arrangements

abstract: In this paper we obtain presentations of fundamental groups of the complements of three quadric-line arrangements in P^2. The first arrangement is a smooth quadric Q with n tangent lines to Q, and the second one is a quadric Q with n lines passing through a point p not in Q. The last arrangement consists of a quadric Q with n lines passing through a point p in Q.


title: Spectrum as the Support of Functional Calculus

abstract: We investigate the new definition of analytic functional calculus in the terms of representation theory of SL2(R). We avoid any usage of its algebraic homomorphism property and replace it by the demand to be an intertwining operator. The related notion of spectrum and spectral mapping theorem are given. The construction is illustrated by a simple example of calculus and spectrum of non-normal n x n matrix. Keywords: Functional calculus, spectrum, intertwining operator, spectral mapping theorem, jet spaces.


title: A Combinatorial Approach to Involution and delta-Regularity II: Structure Analysis of Polynomial Modules with Pommaret Base

abstract: Substantial changes in many parts of the paper. In particular, significantly expanded treatment of monomial ideals and of Castelnuovo-Mumford regularity. Also relation between delta-regularity and Noether normalisation now treated.


title: On the Cohomology of the spaces of differential operators acting on skewsymmetric tensor fields or on forms, as modules of the Lie algebra of vector fields

abstract: The space of differential operators acting on skewsymmetric tensor fields or on smooth forms of a smooth manifold are representations of its Lie algebra of vector fields. We compute the first cohomology spaces of these representations and show how they are related to the cohomology with coefficients in ther space of smooth functions of the manifold.


title: Locales, the locally fine construction and formal spaces

abstract: We investigate the connection between the spatiality of locale products and the earlier studies of the author on the locally fine coreflection of the products of uniform spaces. After giving a historical introduction and indicating the connection between spatiality and the locally fine construction, we indicate how the earlier results directly solve the first of the two open problems announced in the thesis of T. Plewe. Finally, we establish a general isomorphism between the covering monoids of the localic product of topological (completely regular) spaces and the locally fine coreflection of the corresponding product of (fine) uniform spaces. Additionally, paper relates the recent studies on formal topology and uniform spaces by showing how the transitivity of covering relations corresponds to the locally fine construction.


title: On the Vector valued Fourier Transform And Compatibility of Operators

abstract: Let $\mathbb{G}$ be a locally compact abelian group and let $1<p\leq 2$. $\mathbb{G}^{'}$ is the dual group of $\mathbb{G}$, and $p^{'}$ the conjugate exponent of $p$. An operator $T$ between Banach spaces $X$ and $Y$ is said to be compatible with the Fourier transform $F^{\mathbb{G}}$ if $F^{\mathbb{G}}\otimes T: L_p(\mathbb{G})\otimes X\to L_{p^{'}}(\mathbb{G}^{'})\otimes Y $ admits a continuous extension $[F^{\mathbb{G}},T]:[L_p(\mathbb{G}),X]\to [L_{p^{'}}(\mathbb{G}^{'}),Y]$. $\mathcal{FT}_p^{\mathbb{G}}$ denotes the set of such $T$'s. We show that $\mathcal{FT}_p^{\mathbb{R}\times\mathbb{G}}=\mathcal{FT}_p^{\mathbb{Z}\times\m athbb{G}} =\mathcal{FT}_p^{\mathbb{Z}^n \times\mathbb{G}}$ for any $\mathbb{G}$ and positive integer $n$. And if the factor group of $\mathbb{G}$ with respect to its component of the identity element is a direct sum of a torsion free group and a finite group with discrete topology then $\mathcal{FT}_p^{\mathbb{G}}=\mathcal{FT}_p^{\mathbb{Z}}$ .