title: Floer cohomology and disc instantons of Lagrangian torus fibers in Fano toric manifolds

abstract: In this paper, we first provide an explicit description of {\it all} holomorphic discs (``disc instantons'') attached to Lagrangian torus fibers of arbitrary compact toric manifolds, and prove their Fredholm regularity. Using this, we compute Fukaya-Oh-Ohta-Ono's (FOOO's) obstruction (co)chains and the Floer cohomology of Lagrangian torus fibers of Fano toric manifolds. In particular specializing to the formal parameter $T^{2\pi} = e^{-1}$, our computation verifies the folklore that FOOO's obstruction (co)chains correspond to the Landau-Ginzburg superpotentials under the mirror symmetry correspondence, and also proves the prediction made by K. Hori about the Floer cohomology of Lagrangian torus fibers of Fano toric manifolds. The latter states that the Floer cohomology (for the parameter value $T^{2\pi} = e^{-1}$) of all the fibers vanish except at a finite number, the Euler characteristic of the toric manifold, of base points in the momentum polytope that are critical points of the superpotential of the Landau-Ginzburg mirror to the toric manifold. In the latter cases, we also prove that the Floer cohomology of the corresponding fiber is isomorphic to its singular cohomology. We also introduce a restricted version of the Floer cohomology of Lagrangian submanifolds, which is a priori more flexible to define in general, and which we call the {\it adapted Floer cohomology}. We then prove that the adapted Floer cohomology of any non-singular torus fiber of Fano toric manifolds is well-defined, invariant under the Hamiltonian isotopy and isomorphic to the Bott-Morse Floer cohomology of the fiber.


title: Extensions of Normed Algebras

abstract: We review and analyse techniques from the literature for extending a normed algebra, A to a normed algebra, B, so that B has interesting or desirable properties which A may lack. For example, B might include roots of monic polynomials over A. These techniques have been important historically for constructing examples in the theory of Banach algebras. We construct new examples in this way. Elsewhere we contribute to the related programme of determining which properties of an algebra are shared by certain extensions of it. Similarly, we consider the relations between the topological spaces, M(A) and M(B), of closed, maximal ideals of A and B respectively. For example, it is shown that if B is one of the types of 'algebraic extensions' of A constructed in the thesis and M(B) has trivial first Cech-cohomology group then so has M(A). The invertible group of a normed algebra is studied in Chapter 4; it is shown that if a Banach algebra, A, has dense invertible group then so has every integral extension of A. The context for this work is also explained: some new results characterising trivial uniform algebras by means of approximation by invertible elements are given. We show how these results partially answer a famous, open problem of Gelfand. Results in Chapter 4 lead to the conjecture that a uniform algebra is trivial if the group of exponentials of its elements is dense in the algebra. We investigate this conjecture in Chapter 5. In the search for a counterexample, we construct and establish some properties of `logarithmic extensions' of a regular uniform algebra.


title: A locally symmetric Kaehler Einstein structure on the cotangent bundle of a space form

abstract: We obtain a locally symmetric Kaehler Einstein structure on the cotangent bundle of a Riemannian manifold of negative constant sectional curvature. Similar results are obtained on a tube around zero section in the cotangent bundle, in the case of a Riemannian manifold of positive constant sectional curvature. The obtained Kaehler Einstein structures cannot have constant holomorphic sectional curvature.


title: Double categories and quantum groupoids

abstract: We give the construction of a class of weak Hopf algebras (or quantum groupoids) associated to a matched pair of groupoids and certain cocycle data. This generalizes a now well-known construction for Hopf algebras, first studied by G. I. Kac in the sixties. Our approach is based on the notion of double groupoids, as introduced by Ehresmann.


title: Hilbert space representations of cross product algebras II

abstract: In this paper, we study and classify Hilbert space representations of cross product *-algebras of the quantized enveloping algebra $U_q(e_2)$ with the coordinate algebras $O(E_q(2))$ of the quantum motion group and $O(\C_q)$ of the complex plane, and of the quantized enveloping algebra $U_q(su_{1,1})$ with the coordinate algebras $O(SU_q(1,1))$ of the quantum group $SU_q(1,1)$ and $O(U_q)$ of the quantum disc. Invariant positive functionals and the corresponding Heisenberg representations are explicitely described.


title: Von Neumann Modules, Intertwiners and Self-Duality

abstract: We apply the ideas of Muhly, Skeide and Solel [MSS03] of considering von Neumann B-modules as intertwiner spaces for representations of B' to obtain a new, simple and self-contained proof for self-duality of von Neumann modules. This simplifies also the approach of [MSS03].


title: Commutants of von Neumann Modules, Representations of B^a(E) and Other Topics Related to Product Systems of Hilbert Modules

abstract: We review some of our results from the theory of product systems of Hilbert modules. We explain that the product systems obtained from a CP-semigroup in a paper by Bhat and Skeide and in a paper by Muhly and Solel are commutants of each other. Then we use this new commutant technique to construct product systems from E_0-semigroups on B^a(E) where E is a strongly full von Neumann module. (This improves the construction from a paper by Skeide for Hilbert modules where existence of a unit vector is required.) Finally, we point out that the Arveson system of a CP-semigroup constructed by Powers from two spatial E_0-semigroups is the product of the corresponding spatial Arveson systems as defined (for Hilbert modules) in a paper by Skeide. It need not coincide with the tensor product of Arveson systems.


title: Pseudodifferential forms and supermechanics

abstract: We investigate (pseudo)differential forms in the framework of supergeometry. Definitions, basic properties and Cartan calculus (DeRham differential, Lie derivative, inner product, Hodge operator) are presented; the symplectic supermechanics (even and odd) is formulated; and the question of quantization is discussed. In the framework of supermechanics, we investigate also classical Hamiltonian systems converting to SUSY-QM after quantization.


title: A geometric view of rational Landen transformations

abstract: In this paper, a geometric interpretation is provided of a new rational Landen transformation. The convergence of its iterates is also established.


title: Expected length of the longest common subsequence for large alphabets

abstract: We consider the length L of the longest common subsequence of two randomly uniformly and independently chosen n character words over a k-ary alphabet. Subadditivity arguments yield that the expected value of L, when normalized by n, converges to a constant C_k. We prove a conjecture of Sankoff and Mainville from the early 80's claiming that C_k\sqrt{k} goes to 2 as k goes to infinity.


title: Gerbes on quantum groups

abstract: We discuss an approach to quantum gerbes over quantum groups in terms of q-deformation of transition functions for a loop group bundle. The case of the quantum group SUq(2) is treated in some detail.


title: Extraordinary dimension of maps

abstract: We establish a characterization of the extraordinary dimension of perfect maps between metrizable spaces.


title: Asymptotic hitting time for a simple evolutionary model of protein folding

abstract: We consider two versions of a simple evolutionary algorithm model for protein folding at temperature zero: the (1+1)-EA on the LeadingOnes problem. In this schematic model, the structure of the protein, which is encoded as a bit-string of length n, is evolved to its native conformation through a stochastic pathway of sequential contact bindings. We study the asymptotic behavior of the hitting time, in the mean case scenario, under two different mutations: the one flip which flips a unique bit chosen uniformly at random in the bit-string, and the Bernoulli flip which flips each bit in the bit-string independently with probability c/n. For each algorithm we prove a law of large numbers, a central limit theorem and compare the performance of the two models.


title: Approximations of the Brownian Rough Path with Applications to Stochastic Analysis

abstract: A geometric p-rough path can be seen to be a genuine path of finite p-variation with values in a Lie group equipped with a natural distance. The group and its distance lift (R^{d},+,0) and its Euclidean distance. This approach allows us to easily get a precise modulus of continuity for the Enhanced Brownian Motion (the Brownian Motion and its Levy Area). As a first application, extending an idea due to Millet & Sanz-Sole, we characterize the support of the Enhanced Brownian Motion (without relying on correlation inequalities). Secondly, we prove Schilder's theorem for this Enhanced Brownian Motion. As all results apply in Hoelder (and stronger) topologies, this extends recent work by Ledoux, Qian, Zhang (2002). Lyons' fine estimates in terms of control functions allow us to show that the Ito map is still continuous in the topologies we introduced. This provides new and simplified proofs of the Stroock-Varadhan support theorem and the Freidlin-Wentzell theory. It also provides a short proof of modulus of continuity for diffusion processes along old results by Baldi.


title: Some observations on the simplex

abstract: We investigate the space of simplices in Euclidean Space


title: Operator synthesis. I. Synthetic sets, bilattices and tensor algebras

abstract: The interplay between the invariant subspace theory and spectral synthesis for locally compact abelian group discovered by Arveson is extended to include other topics as harmonic analysis for Varopoulos algebras and approximation by projection-valued measures. We propose a ''coordinate'' approach which nevertheless does not use the technique of pseudo-integral operators, as well as a coordinate free one which allows to extend to non-separable spaces some important results and constructions of [W.Arveson, Operator Alegebras and Invariant subspaces, Ann. of Math. (2) 100 (1974)] and solve some problems posed there.


title: The odd-dimensional Goldberg Conjecture

abstract: An odd-dimensional version of the Goldberg conjecture was formulated and proved by Boyer and Galicki, using an orbifold analogue of Sekigawa's formulas, and an approximation argument of K-contact structures with quasi-regular ones. We provide here another proof of this result and give some applications.


title: Constrained Brownian motion: Fluctuations away from circular and parabolic barriers

abstract: Motivated by the polynuclear growth model, we consider a Brownian bridge b(t) with b(\pm T)=0 conditioned to stay above the semicircle c_T(t)=\sqrtT^2-t^2. In the limit of large T, the fluctuation scale of b(t)-c_T(t) is T^{1/3} and its time-correlation scale is T^{2/3}. We prove that, in the sense of weak convergence of path measures, the conditioned Brownian bridge, when properly rescaled, converges to a stationary diffusion process with a drift explicitly given in terms of Airy functions. The dependence on the reference point t=\tau T, \tau\in(-1,1), is only through the second derivative of c_T(t) at t=\tau T. We also prove a corresponding result where instead of the semicircle the barrier is a parabola of height T^{\gamma}, \gamma>1/2. The fluctuation scale is then T^{(2-\gamma)/3}. More general conditioning shapes are briefly discussed.


title: Multiplicative models for configuration spaces of algebraic varieties

abstract: W. Fulton and R. MacPherson described a Sullivan dg-algebra model for the space of n-configurations of labeled points in a smooth compact complex algebraic variety X. I. Kriz then gave a simpler model that depends only on the cohomology ring of X. We construct an even simpler and substantially smaller model for this configuration space. Using this smaller model, we also define another, new dg-algebra model, for the space of n-configurations in the variety X with a point removed. Following an idea of V.G. Drinfel'd, we endow the collection of these new "punctured" models with a simplicial bigraded differential algebra structure.


title: Hyper-symplectic structures on integrable systems

abstract: We prove that an integrable system over a symplectic manifold, whose symplectic form is covariantly constant w.r.t. the Gauss-Manin connection, carries a natural hyper-symplectic structure. Moreover, a special Kaehler structure is induced on the base manifold.


title: Independence and Product Systems

abstract: Starting from elementary considerations about independence and Markov processes in classical probability we arrive at the new concept of conditional monotone independence (or operator-valued monotone independence). With the help of product systems of Hilbert modules we show that monotone conditional independence arises naturally in dilation theory.


title: Weak enriched categories - Categories enrichies faibles

abstract: This thesis is devoted to the proof of a theorem showing the existence of a closed model category structure for weakly enriched categories. It requires first of all the definitions of weakly enriched categories and equivalences of weakly enriched categories such that these definitions recover some existing notions of higher order weak categories, for example Segal categories, Tamsamani n-categories and strict n-categories. In order to prove our theorem, we elaborate a theory of plans for cell addition following the approach of the small object argument a la Quillen. We conclude this work with the proof that our theorem recovers the case of Segal categories. This last result requires a fundamental groupoid-geometric realization adjunction between Segal groupoids and topological spaces.


title: Smoothness of Equisingular Families of Curves

abstract: Francesco Severi showed that equisingular families of plane nodal curves are T-smooth, i.e. smooth of the expected dimension, whenever they are non-empty. For families with more complicated singularities this is no longer true. Given a divisor D on a smooth projective surface it thus makes sense to look for conditions which ensure that the family V of irreducible curves in the linear system |D| with precisely r singular points of types S1,...,Sr is T-smooth. Considering different surfaces including the projective plane, general surfaces in projective 3-space, products of curves and geometrically ruled surfaces, we produce a sufficient condition of the type gamma_a(S1)+...+gamma_a(Sr) < c*(D-K)^2, where gamma_a is some invariant of the singularity type and c is some constant. This generalises the results obtained by Greuel, Lossen and Shustin in math.AG/9903179 for the plane case, combining their methods and the method of Bogomolov instability, used by Chiantini and Sernesi in alg-geom/9602012. For many singularity types the $gamma_a$-invariant leads to essentially better conditions than the invariants previously used, and for most classes of geometrically ruled surfaces our results are the first known for T-smoothness at all.


title: Open-string vertex algebras, tensor categories and operads

abstract: We introduce notions of open-string vertex algebra, conformal open-string vertex algebra and variants of these notions. These are ``open-string-theoretic,'' ``noncommutative'' generalizations of the notions of vertex algebra and of conformal vertex algebra. Given an open-string vertex algebra, we show that there exists a vertex algebra, which we call the ``meromorphic center,'' inside the original algebra such that the original algebra yields a module and also an intertwining operator for the meromorphic center. This result gives us a general method for constructing open-string vertex algebras. Besides obvious examples obtained from associative algebras and vertex (super)algebras, we give a nontrivial example constructed from the minimal model of central charge c=1/2. We establish an equivalence between the associative algebras in the braided tensor category of modules for a suitable vertex operator algebra and the grading-restricted conformal open-string vertex algebras containing a vertex operator algebra isomorphic to the given vertex operator algebra. We also give a geometric and operadic formulation of the notion of grading-restricted conformal open-string vertex algebra, we prove two isomorphism theorems, and in particular, we show that such an algebra gives a projective algebra over what we call the ``Swiss-cheese partial operad.''


title: A Positive Mass Theorem for Spaces with Asymptotic SUSY Compactification

abstract: We prove a positive mass theorem for spaces which asymptotically approach a flat Euclidean space times a Calabi-Yau manifold (or any special honolomy manifold except the quaternionic K\"ahler). This is motivated by the very recent work of Hertog-Horowitz-Maeda.


title: Geometric Aspects of Frame Representations of Abelian Groups

abstract: We consider frames arising from the action of a unitary representation of a discrete countable abelian group. We show that the range of the analysis operator can be determined by computing which characters appear in the representation. This allows one to compare the ranges of two such frames, which is useful for determining similarity and also for multiplexing schemes. Our results then partially extend to Bessel sequences arising from the action of the group. We apply the results to sampling on bandlimited functions and to wavelet and Weyl-Heisenberg frames. This yields a sufficient condition for two sampling transforms to have orthogonal ranges, and two analysis operators for wavelet and Weyl-Heisenberg frames to have orthogonal ranges. The sufficient condition is easy to compute in terms of the periodization of the Fourier transform of the frame generators.


title: The Geometry of Sampling on Unions of Lattices

abstract: In this short note we show two results concerning sampling translation invariant subspaces of $\ltwod$ on unions of lattices. The first result shows that the sampling transform on a union of lattices is a constant times an isometry if and only if the sampling transform on each individual lattice is so. The second result demonstrates that the sampling transforms of two unions of lattices on two bands have orthogonal ranges if and only if correspondingly the sampling transforms of each pair of lattices have orthogonal ranges. We then consider sampling on shifted lattices.


title: Convexity in the Figure Eight Solution to the Three-Body Problem

abstract: The figure eight is a remarkable solution to the Newtonian three-body problem in which the three equal masses chase each around a planar curve having the qualitative shape and symmetries of a figure eight. Here we prove that each lobe of this eight is convex.


title: On the integral cohomology of smooth toric varieties

abstract: Let $X_\Sigma$ be a smooth, not necessarily compact toric variety. We show that a certain complex, defined in terms of the fan $\Sigma$, computes the integral cohomology of $X_\Sigma$, including the module structure over the homology of the torus. In some cases we can also give the product. As a corollary we obtain that the cycle map from Chow groups to integral Borel-Moore homology is split injective for smooth toric varieties. Another result is that the differential algebra of singular cochains on the Borel construction of $X_\Sigma$ is formal.


title: Tropical Convexity

abstract: The notions of convexity and convex polytopes are introduced in the setting of tropical geometry. Combinatorial types of tropical polytopes are shown to be in bijection with regular triangulations of products of two simplices. Applications to phylogenetic trees are discussed. Theorem 29 and Corollary 30 in the paper, relating tropical polytopes to injective hulls, are incorrect. See the erratum at http://www.math.uiuc.edu/documenta/vol-09/vol-09-eng.html .


title: Simplicity of the reduced C-*-algebras of certain Coxeter groups

abstract: Let (G,S) be a finitely generated Coxeter group, such that the Coxeter system is indecomposable and the canonical bilinear form is indefinite but non-degenerate. We show that the reduced C-*-algebra of G is simple with unique normalised trace. For an arbitrary finitely generated Coxeter group we prove the validity of a Haagerup inequality: There exist constants C>0 and a natural number L such that for a function f in l^2(G) supported on elements of length n with respect to the generating set S: || f * h || <= C(n+1)^{3/2 L} || f || || h ||, forall h in l^2(G).


title: Restricted algebras on inverse semigroups I, representation theory

abstract: The relation between representations and positive definite functions is a key concept in harmonic analysis on topological groups. Recently this relation has been studied on topological groupoids. This is the first in a series of papers in which we have investigated a similar relation on inverse semigroups. We use a new concept of "restricted" representations and study the restricted semigroup algebras and corresponding $C^*$-algebras.


title: Restricted algebras on inverse semigroups II, positive definite functions

abstract: The relation between representations and positive definite functions is a key concept in harmonic analysis on topological groups. Recently this relation has been studied on topological groupoids. This is the second in a series of papers in which we have investigated the concept of "restricted" positive definite functions and their relation with representations.


title: Restricted algebras on inverse semigroups III, Fourier algebra

abstract: The Fourier and Fourier-Stieltjes algebras $A(G)$ and $B(G)$ of a locally compact group $G$ are introduced and studied in 60's by Piere Eymard in his PhD thesis. If $G$ is a locally compact abelian group, then $A(G)\simeq L^1(\hat{G})$, and $B(G)\simeq M(\hat{G})$, via the Fourier and Fourier-Stieltjes transforms, where $\hat{G}$ is the Pontryagin dual of $G$. Recently these algebras are defined on a (topological or measured) groupoid and have shown to share many common features with the group case. This is the last in a series of papers in which we have investigated a "restricted" form of these algebras on a unital inverse semigroup $S$.


title: Tannaka-Krein duality for compact groupoids I, representation theory

abstract: In a series of papers, we have shown that from the representatio theory of a compact groupoid one can reconstruct the groupoid using the procedure similar to the Tannaka-Krein duality for compact groups. In this part we study continuous representations of compact groupoids. We show that irreducible representations have finite dimensional fibres. We prove the Schur's lemma, Gelfand-Raikov theorem and Peter-Weyl theorem for compact groupoids.


title: Tannaka-Krein duality for compact groupoids II, Fourier transform

abstract: In a series of papers, we have shown that from the representation theory of a compact groupoid one can reconstruct the groupoid using the procedure similar to the Tannaka-Krein duality for compact groups. In this part we study the Fourier and Fourier-Plancherel transforms and prove the Plancherel theorem for compact groupoids. We also study the central functions in the algebra of square integrable functions on the isotropy groups.


title: Tannaka-Krein duality for compact groupoids III, duality theory

abstract: In a series of papers, we have shown that from the \repn theory of a compact groupoid one can reconstruct the groupoid using the procedure similar to the Tannaka-Krein duality for compact groups. In this part we introduce the Tannaka groupoid of a compact groupoid and show how to recover the original groupoid from its Tannaka groupoid.


title: The Double Bubble Problem on the Flat Two-Torus

abstract: We characterize the perimeter-minimizing double bubbles on all flat two-tori and, as corollaries, on the flat infinite cylinder and the flat infinite strip with free boundary. Specifically, we show that there are five distinct types of minimizers on flat two-tori, depending on the areas to be enclosed.


title: Homology of powers of regular ideals

abstract: For a commutative ring R with an ideal I, generated by a finite regular sequence, we construct differential graded algebras which provide R-free resolutions of I^s and of R/I^s for s>0 and which generalise the Koszul resolution. We derive these from a certain multiplicative double complex. By means of a Cartan-Eilenberg spectral sequence we express Tor_*^R(R/I,R/I^s) and Tor_*^R(R/I, I^s) in terms of exact sequences and find that they are free as R/I-modules. Except for R/I, their product structure turns out to be trivial; instead, we consider an exterior product. The paper is based on ideas by Andrew Baker; it is written in view of applications to algebraic topology.


title: Simplicial Trees are Sequentially Cohen-Macaulay

abstract: This paper uses dualities between facet ideal theory and Stanley-Reisner theory to show that the facet ideal of a simplicial tree is sequentially Cohen-Macaulay. The proof involves showing that the Alexander dual (or the cover dual, as we call it here) of a simplicial tree is a componentwise linear ideal. We conclude with additional combinatorial properties of simplicial trees.


title: Growth diagrams, Domino insertion and Sign-imbalance

abstract: We study some properties of domino insertion, focusing on aspects related to Fomin's growth diagrams. We give a self-contained proof of the semistandard domino-Schensted correspondence given by Shimozono and White, bypassing the connections with mixed insertion entirely. The correspondence is extended to the case of a nonempty 2-core and we give two dual domino-Schensted correspondences. We use our results to settle Stanley's `2^{n/2}' conjecture on sign-imbalance and to generalise the domino generating series of Kirillov, Lascoux, Leclerc and Thibon.


title: Fixed Points of Torus Action and Cohomology Ring of Toric Varieties

abstract: Let X be a smooth simplicial toric variety. Let Z be the set of T-fixed points of X. We construct a filtration for A(Z), the ring of complex-valued functions on Z, such that Gr A(Z) is isomorphic to the cohomology algebra of X. This is the explanation of the general results of Carrell and Liebermann on the cohomology of T-varities, in the case of toric varieties. We give an explicit isomorphism between Gr A(Z) and Brion's description of the polytope algebra.


title: The metric space of geodesic laminations on a surface: I

abstract: We consider the space of geodesic laminations on a surface, endowed with the Hausdorff metric d_H and with a variation of this metric called the d_log metric. We compute and/or estimate the Hausdorff dimensions of these two metrics. We also relate these two metrics to another metric which is combinatorially defined in terms of train tracks.


title: The metric space of geodesic laminations on a surface II: small surfaces

abstract: We continue our investigation of the space of geodesic laminations on a surface, endowed with the Hausdorff topology. We determine the topology of this space for the once-punctured torus and the 4-times-punctured sphere. For these two surfaces, we also compute the Hausdorff dimension of the space of geodesic laminations, when it is endowed with the natural metric which, for small distances, is -1 over the logarithm of the Hausdorff metric. The key ingredient is an estimate of the Hausdorff metric between two simple closed geodesics in terms of their respective slopes.


title: Opers on the projective line, flag manifolds and Bethe Ansatz

abstract: We consider the problem of diagonalization of the hamiltonians of the Gaudin model, which is a quantum chain model associated to a simple Lie algebra. The hamiltonians of this model act on the tensor product of finite-dimensional representations of this Lie algebra. We show that the eigenvalues of the Gaudin hamiltonians are encoded by the so-called "opers" on the projective line, associated to the Langlands dual Lie algebra. These opers have regular singularities at the marked points with prescribed residues and trivial monodromy representation. The Bethe Ansatz is a procedure to construct explicitly the eigenvectors of the generalized Gaudin hamiltonians. We show that each solution of the Bethe Ansatz equations defines what we call a "Miura oper" on the projective line. Moreover, we show that the space of Miura opers is a union of copies of the flag manifold (of the dual group), one for each oper. This allows us to prove that all solutions of the Bethe Ansatz equations, corresponding to a fixed oper, are in one-to-one correspondence with the points of an open dense subset of the flag manifold. The Bethe Ansatz equations can be written for an arbitrary Kac-Moody algebra, and we prove an analogue of the last result in this more general setting. For the Lie algebras of types A,B,C similar results were obtained by other methods by I.Scherbak and A.Varchenko and by E.Mukhin and A.Varchenko.


title: Some Boas-Bellman Type Inequalities in 2-Inner Product Spaces

abstract: Some inequalities in 2-inner product spaces generalizing Bessel's result that are similar to the Boas-Bellman inequality from inner product spaces, are given. Applications for determinantal integral inequalities are also provided.


title: A hyperfinite inequality for free entropy dimension

abstract: If $X, Y,$ and $Z$ are finite sets of selfadjoint elements in a tracial von Neumann algebra and $X$ generates a hyperfinite von Neumann algebra, then $\delta_0(X \cup Y \cup Z) \leq \delta_0(X \cup Y) + \delta_0(X \cup Z) - \delta_0(X).$ We draw several corollaries from this inequality.


title: Rees Algebras of Conormal Modules

abstract: We deal with classes of prime ideals whose associated graded ring is isomorphic to the Rees algebra of the conormal module in order to describe the divisor class group of the Rees algebra and to examine the normality of the conormal module.


title: Reverses of Schwarz, Triangle and Bessel Inequalities in Inner Product Spaces

abstract: Reverses of Schwarz, triangle and Bessel inequalities in inner product spaces that improve some earlier results are pointed out. They are applied to obtain new Gruss type inequalities in inner product spaces. Some natural applications for integral inequalities are also pointed out.


title: Parabolic isometries of CAT(0) spaces and CAT(0) dimensions

abstract: We study discrete groups from the view point of a dimension gap in connection to CAT(0) geometry. Developing studies by Brady-Crisp and Bridson, we show that there exist finitely presented groups of geometric dimension 2 which do not act properly on any proper CAT(0) spaces of dimension 2 by isometries, although such actions exist on CAT(0) spaces of dimension 3. Another example is the fundamental group, G, of a complete, non-compact, complex hyperbolic manifold M with finite volume, of complex-dimension n > 1. The group G is acting on the universal cover of M, which is isometric to H^n_C. It is a CAT(-1) space of dimension 2n. The geometric dimension of G is 2n-1. We show that G does not act on any proper CAT(0) space of dimension 2n-1 properly by isometries. We also discuss the fundamental groups of a torus bundle over a circle, and solvable Baumslag-Solitar groups.


title: Moduli space and structure of noncommutative 3-spheres

abstract: We analyse the moduli space and the structure of noncommutative 3-spheres. We develop the notion of central quadratic form for quadratic algebras, and prove a general algebraic result which considerably refines the classical homomorphism from a quadratic algebra to a cross-product algebra associated to the characteristic variety and lands in a richer cross-product. It allows to control the $C^\ast$-norm on involutive quadratic algebras and to construct the differential calculus in the desired generality. The moduli space of noncommutative 3-spheres is identified with equivalence classes of pairs of points in a symmetric spaceof unitary unimodular symmetric matrices. The scaling foliation of the moduli space is identified to the gradient flow of the character of a virtual representation of SO(6). Its generic orbits are connected components of real parts of elliptic curves which form a net of biquadratic curves with 8 points in common. We show that generically these curves are the same as the characteristic variety of the associated quadratic algebra. We then apply the general theory of central quadratic forms to show that the noncommutative 3-spheres admit a natural ramified covering $\pi$ by a noncommutative 3-dimensional nilmanifold. This yields the differential calculus. We then compute the Jacobian of the ramified covering $\pi$ by pairing the direct image of the fundamental class of the noncommutative 3--dimensional nilmanifold with the Chern character of the defining unitary and obtain the answer as the product of a period (of an elliptic integral) by a rational function...

categories: math.QA gr-qc hep-th math-ph math.AG math.MP math.OA


title: Symplectic tori in rational elliptic surfaces

abstract: Let E(1)_p denote the rational elliptic surface with a single multiple fiber f_p of multiplicity p. We construct an infinite family of homologous non-isotopic symplectic tori representing the primitive class [f_p] in E(1)_p when p>1. As a consequence, we get infinitely many non-isotopic symplectic tori in the fiber class of the rational elliptic surface E(1) (complex projective plane blown-up at nine branch points of a generic pencil of cubic curves). We also show how these tori can be non-isotopically and symplectically embedded in many other symplectic 4-manifolds.


title: Kernel of the variation operator and periodicity of the open books

abstract: We consider a parallelizable $2n$-manifold $F$ which has the homotopy type of the wedge product of $n$-spheres and show that the group of pseudo-isotopy classes of orientation preserving diffeomorphisms that keep the boundary $\partial F$ pointwise fixed and induce the trivial variation operator is a central extension of the group of all homotopy $(2n+1)$-spheres by $H_n\bigl(F; S\pi_n(SO(n))\bigr)$. Then we apply this result to study the periodicity properties of branched cyclic covers of manifolds with simple open book decompositions and extend the previous results of Durfee, Kauffman and Stevens to dimensions 7 and 15.


title: On the structure of the Schr\"odinger propagator

abstract: We discuss the form of the propagator $U(t)$ for the time-dependent Schr\"odinger equation on an asyptotically Euclidean, or, more generally, asymptotically conic, manifold with no trapped geodesics. In the asymptotically Euclidean case, if $\chi \in \mathcal{C}_0^\infty$, and with $\mathcal{F}$ denoting Fourier transform, $\mathcal{F}\circ e^{-ir^2/2t} U(t) \chi$ is a Fourier integral operator for $t\neq 0.$ The canonical relation of this operator is a ``sojourn relation'' associated to the long-time geodesic flow. This description of the propagator follows from its more precise characterization as a ``scattering fibered Legendrian,'' given by the authors in a previous paper and sketched here. A corollary is a propagation of singularities theorem that permits a complete description of the wavefront set of a solution to the Schr\"odinger equation, restricted to any fixed nonzero time, in terms of the oscillatory behavior of its initial data. We discuss two examples which illustrate some extremes of this propagation behavior.


title: Fundamental Domains in Lorentzian Geometry

abstract: We consider discrete subgroups Gamma of the simply connected Lie group SU~(1,1), the universal cover of SU(1,1), of finite level, i.e. the subgroup intersects the centre of SU~(1,1) in a subgroup of finite index, this index is called the level of the group. The Killing form induces a Lorentzian metric of constant curvature on the Lie group SU~(1,1). The discrete subgroup Gamma acts on SU~(1,1) by left translations. We describe the Lorentz space form SU~(1,1)/Gamma by constructing a fundamental domain F for Gamma. We want F to be a polyhedron with totally geodesic faces. We construct such F for all Gamma satisfying the following condition: The image of Gamma in PSU(1,1) has a fixed point u in the unit disk of order larger than the index of Gamma. The construction depends on the group Gamma and on the orbit Gamma(u) of the fixed point u.


title: Markov bases of binary graph models

abstract: This paper is concerned with the topological invariant of a graph given by the maximum degree of a Markov basis element for the corresponding graph model for binary contingency tables. We describe a degree four Markov basis for the model when the underlying graph is a cycle and generalize this result to the complete bipartite graph $K_{2,n}$. We also give a combinatorial classification of degree two and three Markov basis moves as well as a Buchberger-free algorithm to compute moves of arbitrary given degree. Finally, we compute the algebraic degree of the model when the underlying graph is a forest.


title: Quantum Groups at Roots of Unity and Modularity

abstract: For each compact, simple, simply-connected Lie group and each integer level we construct a modular tensor category from a quotient of a certain subcategory of the category of representations of the corresponding quantum group. We determine when at fractional levels the corresponding category is modular. We also give a quantum version of the Racah formula for the decomposition of the tensor product. This work relies on developing the basic representation theory of quantum groups at roots of unity, including Harish-Chandra's Theorem. It generalizes previous work which applied only to fractional levels or only to the projective form of the group.


title: More rigorous results on the Kauffman-Levin model of evolution

abstract: The purpose of this note is to provide proofs for some facts about the NK model of evolution proposed by Kauffman and Levin. In the case of normally distributed fitness summands, some of these facts have been previously conjectured and heuristics given. In particular, we provide rigorous asymptotic estimates for the number of local fitness maxima in the case when K is unbounded. We also examine the role of the individual fitness distribution and find the model to be quite robust with respect to this.


title: Complex Forms of Quaternionic Symmetric Spaces

abstract: This is a complete classification of the complex forms of quaternionic symmetric spaces


title: Glauber Dynamics on Trees and Hyperbolic Graphs

abstract: We study continuous time Glauber dynamics for random configurations with local constraints (e.g. proper coloring, Ising and Potts models) on finite graphs with $n$ vertices and of bounded degree. We show that the relaxation time (defined as the reciprocal of the spectral gap $|\lambda_1-\lambda_2|$) for the dynamics on trees and on planar hyperbolic graphs, is polynomial in $n$. For these hyperbolic graphs, this yields a general polynomial sampling algorithm for random configurations. We then show that if the relaxation time $\tau_2$ satisfies $\tau_2=O(1)$, then the correlation coefficient, and the mutual information, between any local function (which depends only on the configuration in a fixed window) and the boundary conditions, decays exponentially in the distance between the window and the boundary. For the Ising model on a regular tree, this condition is sharp.


title: Injectivity of the Double Fibration Transform for Cycle Spaces of Flag Domains

abstract: The basic setup consists of a complex flag manifold $Z=G/Q$ where $G$ is a complex semisimple Lie group and $Q$ is a parabolic subgroup, an open orbit $D = G_0(z) \subset Z$ where $G_0$ is a real form of $G$, and a $G_0$--homogeneous holomorphic vector bundle $\mathbb E \to D$. The topic here is the double fibration transform ${\cal P}: H^q(D;{\cal O}(\mathbb E)) \to H^0({\cal M}_D;{\cal O}(\mathbb E'))$ where $q$ is given by the geometry of $D$, ${\cal M}_D$ is the cycle space of $D$, and $\mathbb E' \to {\cal M}_D$ is a certain naturally derived holomorphic vector bundle. Schubert intersection theory is used to show that ${\cal P}$ is injective whenever $\mathbb E$ is sufficiently negative.


title: An uncertainty principle for cyclic groups of prime order

abstract: Let $G$ be a finite abelian group, and let $f: G \to \C$ be a complex function on $G$. The uncertainty principle asserts that the support $\supp(f) := \{x \in G: f(x) \neq 0\}$ is related to the support of the Fourier transform $\hat f: G \to \C$ by the formula $$ |\supp(f)| |\supp(\hat f)| \geq |G|$$ where $|X|$ denotes the cardinality of $X$. In this note we show that when $G$ is the cyclic group $\Z/p\Z$ of prime order $p$, then we may improve this to $$ |\supp(f)| + |\supp(\hat f)| \geq p+1$$ and show that this is absolutely sharp. As one consequence, we see that a sparse polynomial in $\Z/p\Z$ consisting of $k+1$ monomials can have at most $k$ zeroes. Another consequence is a short proof of the well-known Cauchy-Davenport inequality.


title: Der rechnende Dichter (The calculating poet)

abstract: A small and unsystematic selection of my favorite appearances of mathematicians and mathematics in German literature. It includes classic and romantic (Lessing, Goethe, Wezel, F. Schlegel, Kleist, Novalis, Grillparzer, Heine), modern (Wedekind, Doeblin, Morgenstern, Musil, Brecht, Eich), as well as post-modern authors (Hans-Magnus Enzensberger, Volker Braun, Botho Strauss).


title: Blocking sets in small finite linear spaces

abstract: We classify all finite linear spaces on at most 15 points admitting a blocking set. There are no such spaces on 11 or fewer points, one on 12 points, one on 13 points, two on 14 points, and five on 15 points. The proof makes extensive use of the notion of the weight of a point in a 2-coloured finite linear space, as well as the distinction between minimal and non-minimal 2-coloured finite linear spaces. We then use this classification to draw some conclusions on two open problems on the 2-colouring of configurations of points.


title: Representation rings of quantum groups

abstract: Generators and relations are given for the subalgebra of cocommutative elements in the quantized coordinate rings of the classical groups, where the deformation parameter q is transcendental. This is a ring theoretic formulation of the well known fact that the representation theory of the quantized group is completely analogous to its classical counterpart. The subalgebras of cocommutative elements in the corresponding FRT-bialgebras (defined by Faddeev, Reshetikhin, and Takhtadzhyan) are explicitly determined, using a bialgebra embedding of the FRT-bialgebra into the tensor product of the quantized coordinate ring and the one-variable polynomial ring. A parallel analysis of the subalgebras of adjoint coinvariants is carried out as well, yielding similar results with similar proofs. The basic adjoint coinvariants are interpreted as quantum traces of representations of the corresponding quantized universal enveloping algebra.


title: A locally symmetric Kaehler Einstein structure on a tube in the nonzero cotangent bundle of a space form

abstract: We obtain a locally symmetric Kaehler Einstein structure on a tube in the nonzero cotangent bundle of a Riemannian manifold of positive constant sectional curvature. The obtained Kaehler Einstein structure cannot have constant holomorphic sectional curvature.


title: Cohomological quotients and smashing localizations

abstract: The quotient of a triangulated category modulo a subcategory was defined by Verdier. Motivated by the failure of the telescope conjecture, we introduce a new type of quotients for any triangulated category which generalizes Verdier's construction. Slightly simplifying this concept, the cohomological quotients are flat epimorphisms, whereas the Verdier quotients are Ore localizations. For any compactly generated triangulated category S, a bijective correspondence between the smashing localizations of S and the cohomological quotients of the category of compact objects in S is established. We discuss some applications of this theory, for instance the problem of lifting chain complexes along a ring homomorphism. This is motivated by some consequences in algebraic K-theory and demonstrates the relevance of the telescope conjecture for derived categories. Another application leads to a derived analogue of an almost module category in the sense of Gabber-Ramero. It is shown that the derived category of an almost ring is of this form.


title: Deformations of the generalised Picard bundle

abstract: Let X be a non-singular algebraic curve of genus at least 3 and let M denote the moduli space of stable vector bundles of rank n and fixed determinant of degree d with n and d coprime. For any semistable bundle E over X, we can pull E back to XxM, tensor with a universal bundle and take the direct image W(E) on M. If the degree of E is sufficiently large, this direct image is locally free and we call it a generalised Picard bundle. In this paper we prove an inversion formula allowing us to recover E from W(E) and compute the space of infinitesimal deformations of W(E). We also identify a family of deformations which is locally complete and frequently globally complete as well. The paper as a whole is a generalisation of results of Kempf and Mukai on Picard bundles over the Jacobian of X.


title: Notes on matrices and calculus

abstract: These notes concern linear transformations on R^n and C^n, exponentials of linear transformations, and some related geometric questions.


title: Positively expansive homeomorphisms of compact spaces

abstract: We give a new and elementary proof showing that a homeomorphism of a compact metric space is positively expansive if and only if the space is finite.


title: Special cycles and derivatives of Eisenstein series

abstract: This article sketches relations among algebraic cycles for the Shimura varieties defined by arithmetic quotients of symmetric domains for O(n,2), theta functions, values and derivatives of Eisenstein series and values and derivatives of certain L-functions. In the geometric case, results of joint work with John Millson imply that the generating functions for the classes in cohomology of certain algebraic cycles of codimension r are Siegel modular forms of genus r and weight n/2+1. A result of Borcherds shows that, for r=1, the same is true for the generating function for the classes of such divisors in the Chow group. By the Siegel-Weil formula, the generating function for the volumes of codimension r cycles coincides with a value of a Siegel-Eisenstein series of genus r. In particular, this gives an interpretation of the Fourier coefficients of these Eisenstein series as volumes of algebraic cycles. The second part of the paper discusses the possible analogues of these results in the arithmetic case, where the special values of derivatives of Eisenstein series arise. In this case, the Fourier coefficients of such derivatives are should be the heights (arithmetic volumes) of certain cycles on integral models of the O(n,2) type Shimura varieties. Relations of this sort would yield relations between central derivatives of certain L-functions and height pairings. The case of curves on a Siegel 3-fold and of the central derivative of a triple product L-function are discussed.


title: Modular forms and arithmetic geometry

abstract: This article describes results of joint work with Michael Rapoport and Tonghai Yang. First, we construct an modular form \phi(\tau) of weight 3/2 valued in the arithmetic Chow group of the arithmetic surface M attached toa Shimura curve over Q. The q-expansion of this function is an analogue of the Hirzebruch-Zagier generating function for the cohomology classes of curves on a Hilbert modular surface. This`arithmetic theta function' is used to define an `arithmetic theta lift' from modular forms of weight 3/2 to the arithmetic Chow group of M. For integers t_1 and t_2 with t_1t_2 not a square, the (t_1,t_2)-Fourier coefficient of the height pairing <\phi(\tau_1),\phi(\tau_2)> coincides with the (t_1,t_2)-Fourier coefficient of the restriction to the diagonal of the central derivative of a certain Eisenstein series of weight 3/2 and genus 2. Using this fact and results about the doubling integral for forms of weight 3/2, we prove that the arithmetic theta lift of a Hecke eigenform f is nonzero if and only if there is no local obstruction (theta dichotomy) and the standard Hecke L-function L(s,F) of the corresponding newform F of weight 2 has nonvanishing derivative, L'(1,F)\ne0, at the center of symmetry. This is an analogue of a result of Waldspurger according to which the classical Shimura lift of such a form is nonzero if and only if there is no local obstruction and L(1,F)\ne0. Detailed proofs will be given elsewhere.


title: Distance and bridge position

abstract: J. Hempel's definition of the distance of a Heegaard surface generalizes to a complexity for a knot which is in bridge position with respect to a Heegaard surface. Our main result is that the distance of a knot in bridge position is bounded above by twice the genus, plus the number of boundary components, of an essential surface in the knot complement. As a consequence knots constructed via sufficiently high powers of pseudo-Anosov maps have minimal bridge presentations which are thin.


title: A categorical construction of 2-dimensional extended Topological Quantum Field Theory

abstract: In this paper we propose a naive construction of 2-dimensional extended topological quantum field theories (TQFTs), which can be further generalized to the higher-dimension extended TQFTs.


title: Cubulating spaces with walls

abstract: We describe a correspondence between spaces with walls and CAT(0) cube complexes.


title: Gaudin's model and the generating function of the Wronski map

abstract: We consider the Gaudin model associated to a point z in C^n with pairwise distinct coordinates and to the subspace of singular vectors of a given weight in the tensor product of irreducible finite-dimensional sl_2-representations, [G]. The Bethe equations of this model provide the critical point system of a remarkable rational symmetric function. Any critical orbit determines a common eigenvector of the Gaudin hamiltonians called a Bethe vector. In [ReV], it was shown that for generic z the Bethe vectors span the space of singular vectors, i.e. that the number of critical orbits is bounded from below by the dimension of the space of singular vectors. The upper bound by the same number is one of the main results of [SV]. In the present paper we get this upper bound in another, ``less technical'', way. The crucial observation is that the symmetric function defining the Bethe equations can be interpreted as the generating function of the map sending a pair of complex polynomials into their Wronski determinant: the critical orbits determine the preimage of a given polynomial under this map. Within the framework of the Schubert calculus, the number of critical orbits can be estimated by the intersection number of special Schubert classes. Relations to the sl_2 representation theory [F] imply that this number is the dimension of the space of singular vectors. We prove also that the spectrum of the Gaudin hamiltonians is simple for generic z.


title: Zur Entartung gezuegelter Gruppenoperationen auf Kurven (Degeneration of restrained group actions on curves)

abstract: An action of a finite group on a smooth projective curve over an algebraically closed field of positive characteristic is called restrained, if all second ramification groups are trivial (e.g., every group action on an ordinary curve is restrained). When the ramification indices satisfy certain numerical criteria, we construct a degenerating equivariant quasi-projective family to which the given curve belongs, and which in a sense is the unique building block for all such restrained equivariant families that ramify above a fixed set of points. The result is used to inductively study automorphisms of ordinary curves.


title: Non-Archimedean regulator maps and special values of L-functions

abstract: We define an analogue of the `Real' Deligne cohomology group at a prime of semi-stable or good reduction of a variety. We also define regulator maps to this group and formulate a conjecture about the image. This allows us to formulate a non-Archimedian version of Beilinson's Hodge-D-conjecture, S-integral and function field versions of Beilinson's global conjectures as well as a precise special value conjecture in the function field case. Finally we give a few examples where these conjectures are known to be true.


title: The n-dimensional Cube--A New Way to Prove the Fermat's Last Theorem

abstract: By studying the n-dimensional cube, the author finds a new way, and use it to proves that the indefinite equation $x^n+y^n=z^n(n=>3)$ has no any solutions of positive integers.


title: Hecke eigenvalues of Siegel modular forms (mod p) and of algebraic modular forms

abstract: In a letter to Tate (published in Israel J. Math. in 1996), J.-P. Serre proves that the systems of Hecke eigenvalues given by modular forms (mod p) are the same as the ones given by locally constant functions on an adelic double coset space constructed from the endomorphism algebra of a supersingular elliptic curve. We generalize this result to Siegel modular forms, proving that the systems of Hecke eigenvalues given by Siegel modular forms (mod p) are the same as the ones given by algebraic modular forms (mod p) on a quaternionic unitary group, as defined by Gross in Israel J. Math. in 1999. The correspondence is obtained by restricting to the superspecial locus of the moduli space of abelian varieties.


title: Duality Theorems for Infinite Braided Hopf Algebras

abstract: Let $H$ be an infinite-dimensional braided Hopf algebra and assume that the braiding is symmetric on $H$ and its quasi-dual $H^d$. We prove the Blattner-Montgomery duality theorem, namely we prove $$ (R # H)# H^{d} \cong R \otimes (H # H^{d}) \hbox {as algebras in braided tensor category} {\cal C}.$$ In particular, we present two duality theorems for infinite braided Hopf algebras in the Yetter-Drinfeld module category.


title: The Cross Curvature Flow of 3-manifolds with Negative Sectional Curvature

abstract: We introduce a geometric evolution equation for 3-manifolds with sectional curvature of one sign which is in some sense dual to the Ricci flow. On a closed 3-manifold with negative sectional curvature, we establish short time existence and a pair of monotonicity formulas for solutions to the flow. One of these formulas shows that, provided the solution exists for all time, the metric approaches hyperbolic in an integral sense. Long time existence is still an open problem.


title: Loop-erased random walk on a torus in dimensions 4 and above

abstract: Sharp estimates for the length of loop erased random walk between two vertices on the [n]^d -torus, d > 4, are established. The mean length is order n^{d/2} . In dimension 4 we have only an upper bound.


title: Three dimensional divisorial extremal neighborhoods

abstract: Revised version. Proper credits added. In this paper we study divisorial extremal neighborhoods f:Y-->X, such that X is a cAn type three dimensional terminal singularity, and C=f(E) is a smooth curve, where E is the f-exceptional divisor. We view a divisorial extremal neighborhood as a one-parameter smoothing of certain surface singularities, and based on this we give a classification of such neighborhoods.


title: Random walks on the torus with several generators

abstract: Our paper gives bounds for the rate of convergence for a class of random walks on the d-dimensional torus generated by a set of n vectors in R^d/Z^d. We give bounds on the discrepancy distance from Haar measure; our lower bound holds for all such walks, and if the generators arise from the rows of a "badly approximable" matrix, then there is a corresponding upper bound. The bounds are sharp for walks on the circle.


title: Lectures on four-dimensional Dehn twists

abstract: These are notes from the 2003 C.I.M.E. summer school "symplectic 4-manifolds and algebraic surfaces". They cover the same material as the author's (by now ancient) Ph.D. thesis.


title: Submanifolds of generalized complex manifolds

abstract: The main goal of our paper is the study of several classes of submanifolds of generalized complex manifolds. Along with the generalized complex submanifolds defined by Gualtieri and Hitchin (we call these ``generalized Lagrangian submanifolds'' in our paper), we introduce and study three other classes of submanifolds. For generalized complex manifolds that arise from complex (resp., symplectic) manifolds, all three classes specialize to complex (resp., symplectic) submanifolds. In general, however, all three classes are distinct. We discuss some interesting features of our theory of submanifolds, and illustrate them with a few nontrivial examples. We then support our ``symplectic/Lagrangian viewpoint'' on the submanifolds introduced by Gualtieri and Hitchin by defining the ``generalized complex category'', modelled on the constructions of Guillemin-Sternberg and Weinstein. We argue that our approach may be useful for the quantization of generalized complex manifolds.


title: Strictly semi-transitive operator algebras

abstract: An algebra A of operators on a Banach space X is called strictly semi-transitive if for all non-zero x,y in X there exists an operator S in A such that Sx=y or Sy=x. We show that if A is norm-closed and strictly semi-transitive, then every A-invariant linear subspace is norm-closed. Moreover, Lat A is totally and well ordered by reverse inclusion. If X is complex and A is transitive and strictly semi-transitive, then A is WOT-dense in L(X). It is also shown that if A is an operator algebra on a complex Banach space with no invariant operator ranges, then A is WOT-dense in L(X). This generalizes a similar result for Hilbert spaces proved by Foias.


title: A class of nonassociative algebras

abstract: In this paper we consider all these nonassociative algebras defined by the action of invariant subspaces of the symmetric group $\Sigma_3$ on the associator of the considered laws.


title: Filtrations and completions of certain positive level modules of affine algebras

abstract: We define a filtration indexed by the integers on the tensor product of an integrable highest weight module and a loop module for a quantum affine algebra. We prove that the filtration is either trivial or strictly decreasing and give sufficient conditions for this to happen. In the first case we prove that the module is irreducible and in the second case we prove that the intersection of all the modules is zero, thus allowing us to define the completed tensor product. In certain special cases, we identify the subsequent quotients of filtration. These are certain highest weight integrable modules and the multiplicity and the highest weight are the same as that obtained by decomposing the tensor product of the highest weight crystal bases with the crystal bases of a loop module.


title: A Geometric Proof of the Hecke Conjecture

abstract: Beginning from the resolution of the Dirichlet L function, using the inner product formula between two infinite-dimensional vectors in the complex space, the author proved the baffling problem--Hecke conjecture.


title: A generalization and a new proof of Plotkin's reduction theorem

abstract: It is known that Plotkin's reduction theorem is very important for his theory of universal algebraic geometry [arXiv:math. GM/0210187], [arXiv:math. GM/0210194]. It turns out that this theorem can be generalized to arbitrary categories containing two special objects and in this case its proof becomes considerable more simple. This new proof and applications are the subject of the present paper.


title: Sur l'espace des modules des fibres vectoriels de rang 3 sur une courbe de genre 2 et la cubique de Coble

abstract: In this thesis we have proved a conjecture about the moduli space SU_X(3) of semi-stable rank 3 vector bundles with trivial determinant on a genus 2 curve X, due to I. Dolgachev. Given X a smooth projective curve of genus 2, and the embedding of the jacobian JX into |3\Theta|, A. Coble proved, at the begining of XX century, that there exists a unique cubic hypersurface C in |3\Theta|* \simeq P^8, JX[3]-invariant and singular along JX. On the other hand, we have a map of degree 2 from SU_X(3) over |3\Theta|, ramified along a sextic hypersurface B. The Dolgachev's conjecture affirms that the sextic B is the dual variety of the Coble's cubic C.


title: A Morse complex for infinite dimensional manifolds - Part I

abstract: In this paper and in the forthcoming Part II we introduce a Morse complex for a class of functions f defined on an infinite dimensional Hilbert manifold M, possibly having critical points of infinite Morse index and coindex. The idea is to consider an infinite dimensional subbundle - or more generally an essential subbundle - of the tangent bundle of M, suitably related with the gradient flow of f. This Part I deals with the following questions about the intersection W of the unstable manifold of a critical point x and the stable manifold of another critical point y: finite dimensionality of W, possibility that different components of W have different dimension, orientatability of W and coherence in the choice of an orientation, compactness of the closure of W, classification, up to topological conjugacy, of the gradient flow on the closure of W, in the case dim W=2.


title: An excursion into geometric analysis

abstract: This is a guided tour through some selected topics in geometric analysis. We have chosen to illustrate many of the basic ideas as they apply to the theory of minimal surfaces. This is, in part, because minimal surfaces is, if not the oldest, then certainly one of the oldest areas of geometric analysis dating back to Euler's work in the 1740's and in fact many of the basic ideas in geometric analysis originated in the study of minimal surfaces. In any case, the ideas apply to a variety of different fields and we will mention some of these as we go along.


title: Prime Ends and Local Connectivity

abstract: Let U be a simply connected domain on the Riemann sphere whose complement K contains more than one point. We establish a characterization of local connectivity of K at a point in terms of the prime ends whose impressions contain this point. Invoking a result of Ursell and Young, we obtain an alternative proof of a theorem of Torhorst, which states that the impression of a prime end of $U$ contains at most two points at which $K$ is locally connected.


title: A formula for the central value of certain Hecke L-functions

abstract: Let N = 1 mod 4 be the negative of a prime, K=Q(sqrt{N}) and O_K its ring of integers. Let D be a prime ideal in O_K of prime norm congruent to 3 modulo 4. Under these assumptions, there exists Hecke characters $\psi_{\D}$ of K with conductor $(\D)$ and infinite type $(1,0)$. Their L-series L(\psi_\D,s)$ are associated to a CM elliptic curve E(N,\D) defined over the Hilbert class field of $K$. We will prove a Waldspurger-type formula for L(\psi_\D,s) of the form L(\psi_\D,1) = \Omega \sum_{[\A],I} r(\D,[\A],I) m_{[\A],I}([\D]) where the sum is over class ideal representatives I of a maximal order in the quaternion algebra ramified at |N| and infinity and [\A] are class group representatives of $K$. An application of this formula for the case N=-7 will allow us to prove the non-vanishing of a family of L-series of level $7|D|$ over $K$.


title: Junction of elastic plates and beams (Preliminary version)

abstract: We consider the linearized elasticity system in a multidomain of the three dimensional space. This multidomain is the union of a horizontal plate, with fixed cross section and small thickness "h", and of a vertical beam with fixed height and small cross section of radius "r". The lateral boundary of the plate and the top of the beam are assumed to be clamped. When "h" and "r" tend to zero simultaneously, with "r" much greater than the square of "h", we identify the limit problem. This limit problem involves six junction conditions.


title: Meromorphic functions with three singular values

abstract: The minimal possible rate of growth of a meromorphic function with three critical values is found.


title: Local Stable Manifold for the Bidirectional Discrete-Time Dynamics

abstract: We show the existence of a local stable manifold for a bidirectional discrete-time nondiffeomorphic nonlinear Hamiltonian dynamics. This is the case where zero is a closed loop eigenvalue and therefore the Hamiltonian matrix is not invertible. In addition, we show the eigenstructure and the symplectic properties of the mixed direction nonlinear Hamiltonian dynamics. We extend the Local Stable Manifold Theorem for the nonlinear discrete-time Hamiltonian map with a hyperbolic fixed point. As a consequence, we show the existence of a local solution to the Dynamic Programming Equations, the equations corresponding to the discrete-time optimal control problem.


title: Sally modules of ${\mathfrak m}$-primary ideals in local rings

abstract: Given a local Noetherian ring $(R, {\mathfrak m})$ of dimension $d>0$ and infinite residue field, we study the invariants $($dimension and multiplicity$)$ of the Sally module $S_J(I)$ of any ${\mathfrak m}$-primary ideal $I$ with respect to a minimal reduction $J$. As a by-product we obtain an estimate for the Hilbert coefficients of ${\mathfrak m}$ that generalizes a bound established by J. Elias and G. Valla in a local Cohen-Macaulay setting. We also find sharp estimates for the multiplicity of the special fiber ring ${\mathcal F}(I)$, which recover previous bounds established by C. Polini, W.V. Vasconcelos and the author in the local Cohen-Macaulay case. Great attention is also paid to Sally modules in local Buchsbaum rings.


title: Some Reverses of the Cauchy-Bunyakovsky-Schwarz Inequality in 2-Inner Product Spaces

abstract: In this paper, some reverses of the Cauchy-Bunyakovsky-Schwarz inequality in 2-inner product spaces are given. Using this framework, some applications for determinantal integral inequalities are also provided.


title: Dense Edge-Magic Graphs and Thin Additive Bases

abstract: We study s(k,n), the maximum size of A+A where A is a k-subset of [n]. A few known functions from additive number theory can be expressed via s(k,n). For example, our estimates of s(k,n) imply new bounds on the maximum size of quasi-Sidon sets, a problem posed by Erdos and Freud [J. Number Th.38 (1991) 196-205]. Also, applications to so-called edge-magic labellings of graphs are given.


title: Computational Techniques for Simulating Natural Convection in Three-Dimensional Enclosures with Tetrahedral Finite Elements

abstract: This article discusses computational techniques for simulating natural convection in three-dimensional domains using finite element methods with tetrahedral elements. These techniques form a new numerical procedure for this kind of problems. In this procedure, the treatment of advection by a wave equation approach is extended to three-dimensional unstructured meshes with tetrahedra. Numerical results of natural convection of an incompressible Newtonian fluid in a cubical enclosure at Rayleigh numbers in the range $10^3$ to $10 ^6$ are obtained and they are in good agreement with those in literature obtained by other methods.


title: Twisted Fourier-Mukai transforms and bundles on non-Kahler elliptic surfaces

abstract: In this paper, we study holomorphic rank-2 vector bundles on non-K\" ahler elliptic surfaces. Our main tool for analysing these bundles is of course the spectral cover. However, given the non-K\"{a}hler condition, the elliptic surfaces we are considering do not have sections and gerbes naturally arise in this context. The spectral construction presented in this paper is a modification of the Fourier-Mukai transform for elliptic fibrations without a section. After examining some of the properties of this Fourier-Mukai transform, we give a complete classification of vector bundles on these surfaces.


title: On Some Gronwall Type Inequalities Involving Iterated Integrals

abstract: In this paper, some new Gronwall type inequalities involving iterated integrals are given.


title: Orbifold Riemann-Roch for threefolds with an application to Calabi-Yau geometry

abstract: We prove an orbifold Riemann--Roch formula for a polarized 3--fold (X,D). As an application, we construct new families of projective Calabi--Yau threefolds.


title: Covering Relations and Non-autonomous Perturbations of ODEs

abstract: Covering relations are a topological tool for detecting periodic orbits, symbolic dynamics and chaotic behavior for autonomous ODE. We extend the method of the covering relations onto systems with a time dependent perturbation. As an example we apply the method to non-autonomous perturbations of the R\"{o}ssler equations to show that for small perturbation they posses symbolic dynamics.


title: New Entropy and other state functions from analysis of open system Carnot cycle

abstract: A first principles analysis of an open system thermodynamical Carnot cycle is provided, and the results are compared to those proposed by Gibbs for open systems. The Kelvin-Clausius statement concerning heat transfer for reversible cycles is taken as an axiom, from which several rigorous theorems are proven.An equation is derived that resembles a Gibbs-Duhem relation relating convected entropies, from which two distinguishable forms of entropy are proven to exist for such systems, which questions prevailing developments which presume a singular or characteristic entropic form which couple all work and heat flows, such as in Onsager first order thermodynamics. In particular, a closed path undergone by the system does not return to the environment to the initial state for one of these entropic forms. The Biot assertion that the entropy contribution due to diathermal heat transfer does not form a state function is therefore contradicted and a local entropy is shown to exist. Several other new composite state functions for work and heat flow are shown to exist for open systems. From Gibbs' results, it is suggested that the ensuing chemical potentials used routinely may possibly ignore heat effects. The functions developed here are suitable for application since the functions are proven to exist, rather than presumed to exist.


title: From wall spaces to CAT(0) cube complexes

abstract: We explain how to adapt a construction of M. Sageev's to construct a proper action on a CAT(0) cube complex starting from a proper action on a wall space, and use this to deduce that if G is a group containing an amenable subgroup H of super-polynomial growth and G acts properly on a space with walls then there are arbitrarily large families of walls in the wall space which pairwise cross.


title: A Scaling Limit for t-Schur Measures

abstract: We introduce a generalization of the Schur measure. And we give a combinatorial interpretation to this generalized measure and prove that a scaling limit for this measure is given by the Tracy-Widom distribution.


title: De Rham model for string topology

abstract: A De Rham model for string topology based on the theory of iterated integrals is presented.


title: k-workers in a Circular Warehouse -- A random walk on a circle, without passing

abstract: We consider the problem of stochastic flow of multiple particles traveling on a closed loop, with a constraint that particles move without passing. We use a Markov chain description that reduces the problem to a generalized random walk on a hyperplane (with boundaries). By expressing positions via a moving reference frame, the geometry of the no-passing criteria is greatly simplified, with the resultant condition expressible as the coordinate system planes which bound the first orthant. To determine state transition probabilities, we decompose transitions into independent events and construct a digraph representation in which calculating transition probability is reduced to a shortest path determination on the digraph. The resultant decomposition digraph is self-converse, and we exploit that property to establish the necessary symmetries to find the stationary density for the process.


title: How violent are fast controls for Schroedinger and plate vibrations ?

abstract: Given a time T>0 and a region Omega on a compact Riemannian manifold M, we consider the best constant, denoted C_{T,Omega}, in the observation inequality for the Schroedinger evolution group of the Laplacian Delta with Dirichlet boundary condition: for all f in L^2(M), ||f||_{L^2(M)} \leq C_{T,Omega} ||exp(itDelta)f||_{L^2((0,T)xOmega)}. We investigate the influence of the geometry of Omega on the growth of C_{T,Omega} as T tends to 0. By duality, C_{T,Omega} is also the controllability cost of the free Schroedinger equation on M with Dirichlet boundary condition in time T by interior controls on Omega. It relates to hinged vibrating plates as well. We emphasize a tool of wider scope: the control transmutation method. We prove that C_{T,Omega} grows at least like exp(d^2/4T), where d is the largest distance of a point in M from Omega, and at most like exp(alpha L^2/T), where L is the length of the longest generalized geodesic in M which does not intersect Omega, and alpha is a constant in ]0,4[ (it is the growth rate of the controllability cost in a similar one dimensional problem). We also deduce such upper bounds on product manifolds for some control regions which are not intersected by all geodesics.


title: Random probability measures via Polya sequences: revisiting the Blackwell-MacQueen urn scheme

abstract: Sufficient conditions are developed for a class of generalized Polya urn schemes ensuring exchangeability. The extended class includes the Blackwell-MacQueen Polya urn and the urn schemes for the two-parameter Poisson-Dirichlet process and finite dimensional Dirichlet priors among others.


title: Some notes about matrices, 2

abstract: Here we briefly discuss lattices in Euclidean spaces and spaces of lattices, which are basic objects that can be described in terms of matrices and are important settings in classical analysis.


title: Some notes about matrices, 3

abstract: Here we briefly describe some topics along the lines of projective spaces and related geometric constructions connected to linear algebra, which provide fundamental examples in classical geometry and analysis.


title: Spectral triples for AF C*-algebras and metrics on the Cantor set

abstract: An AF C*-algebra has a natural filtration as an increasing sequence of finite dimensional C*-algebras. We show that it is possible to construct a Dirac operator which relates to this filtration in a natural way and which will induce a metric for the weak*-topology on the state space of the algebra. In the particular case of a UHF C*-algebra, the construction can be made in a way, which relates directly to the dimensions of the increasing sequence of subalgebras.The algebra of continuous functions on the Cantor set is an approximately finite dimensional C*-algebra and our investigations show, when applied to this algebra, that the proposed Dirac operators have good classical interpretations and lead to an, apparently, new way of constructing a representative for a Cantor set of any given Hausdorff dimension. At the end of the paper we study the finite dimensional full matrix algebras over the complex numbers, and show that the operation of transposition on matrices yields a spectral triple which has the property that it's metric on the state space is exactly the norm distance.This result is then generalized to arbitrary unital C*-algebras.


title: Multipliers between two operator spaces

abstract: In a recent survey paper we introduced one-sided multipliers between two different operator spaces. Here we give some basic theory for these maps.


title: The Calculus of One-Sided $M$-Ideals and Multipliers in Operator Spaces

abstract: The theory of one-sided $M$-ideals and multipliers of operator spaces is simultaneously a generalization of classical $M$-ideals, ideals in operator algebras, and aspects of the theory of Hilbert $C^*$-modules and their maps. Here we give a systematic exposition of this theory; a reference tool for `noncommutative functional analysts' who may encounter a one-sided $M$-ideal or multiplier in their work.


title: Maximal divisorial ideals and t-maximal ideals

abstract: We give conditions for a maximal divisorial ideal to be t-maximal and show with examples that, even in a completely integrally closed domain, maximal divisorial ideals need not be t-maximal.


title: A Harmonic Analysis Solution to the Static Basket Arbitrage Problem

abstract: We consider the problem of computing upper and lower bounds on the price of a European basket call option, given prices on other similar baskets. We focus here on an interpretation of this program as a generalized moment problem. Recent results by Berg & Maserick (1984), Putinar & Vasilescu (1999) and Lasserre (2001) on harmonic analysis on semigroups, the K-moment problem and its applications to optimization, allow us to derive tractable necessary and sufficient conditions for the absence of static arbitrage between basket straddles, hence between basket calls and puts.


title: Normalizing Heegaard-Scharlemann-Thompson Splittings

abstract: We define a Heegaard-Scharlemann-Thompson (HST) splitting of a 3-manifold M to be a sequence of pairwise-disjoint, embedded surfaces, {F_i}, such that for each odd value of i, F_i is a Heegaard splitting of the submanifold of M cobounded by F_{i-1} and F_{i+1}. Our main result is the following: Suppose M (\neq B^3 or S^3) is an irreducible submanifold of a triangulated 3-manifold, bounded by a normal or almost normal surface, and containing at most one maximal normal 2-sphere. If {F_i} is a strongly irreducible HST splitting of M then we may isotope it so that for each even value of i the surface F_i is normal and for each odd value of i the surface F_i is almost normal. We then show how various theorems of Rubinstein, Thompson, Stocking and Schleimer follow from this result. We also show how our results imply the following: (1) a manifold that contains a non-separating surface contains an almost normal one, and (2) if a manifold contains a normal Heegaard surface then it contains two almost normal ones that are topologically parallel to it.


title: Flows that are sums of hamiltonian cycles in Cayley graphs on abelian groups

abstract: If X is any connected Cayley graph on any finite abelian group, we determine precisely which flows on X can be written as a sum of hamiltonian cycles. (This answers a question of Brian Alspach.) In particular, if the degree of X is at least 5, and X has an even number of vertices, then the flows that can be so written are precisely the even flows, that is, the flows f, such that the sum of the edge-flows of f is divisible by 2. On the other hand, there are examples of degree 4 in which not all even flows can be written as a sum of hamiltonian cycles. Analogous results were already known, from work of Alspach, Locke, and Witte, for the case where X is cubic, or has an odd number of vertices.


title: On the Castelnuovo-Mumford regularity of connected curves

abstract: In this paper we prove the Eisenbud-Goto conjecture for connected curves. We also investigate the structure of connected curves for which this bound is optimal. In particular, we construct connected curves of arbitrarily high degree in projective 4-space having maximal regularity, but no extremal secants. We also show that any connected curve in projective 3-space of degree at least 5 that has no linear components and has maximal regularity has an extremal secant.


title: Some remarks on the elliptic Harnack inequality

abstract: This note gives three short results concerning the elliptic Harnack inequality (EHI), in the context of random walks on graphs. The first is that the EHI implies polynomial growth of the number of points in balls, and the second that the EHI is equivalent to an annulus type Harnack inequality for Green's functions. The third result uses the lamplighter group to give a counterexample concerning the relation of coupling with the EHI.


title: Maps That Take Lines to Circles, in Dimension 4

abstract: We list all analytic diffeomorphisms between an open subset of the 4-dimensional projective space and an open subset of the 4-dimensional sphere that take all line segments to arcs of round circles. These are the following: restrictions of the quaternionic Hopf fibrations and projections from a hyperplane to a sphere from some point. We prove this by finding the exact solutions of the corresponding system of partial differential equations.


title: Purity for Similarity Factors

abstract: Two Azumaya algebras with involutions are considered over a regular local ring. It is proved that if they are isomorphic over the quotient field, then they are isomorphic too. In particular, if two quadratic spaces over such a ring are similar over its quotient field, then these two spaces are similar already over the ring. The result is a consequence of a purity theorem for similarity factors proved in this text and the known fact that rationally isomorphic hermitian spases are locally isomorphic.


title: On the size of $k$-fold sum and product sets of integers

abstract: We prove the following theorem: for all positive integers $b$ there exists a positive integer $k$, such that for every finite set $A$ of integers with cardinality $|A| > 1$, we have either $$ |A + ... + A| \geq |A|^b$$ or $$ |A \cdot ... \cdot A| \geq |A|^b$$ where $A + ... + A$ and $A \cdot ... \cdot A$ are the collections of $k$-fold sums and products of elements of $A$ respectively. This is progress towards a conjecture of Erd\"os and Szemer\'edi on sum and product sets.


title: Hecke curves and Hitchin discriminant

abstract: Let $C$ be a smooth projective curve of genus $g\geq 4$ over the complex numbers and ${\cal SU}^s_C(r,d)$ be the moduli space of stable vector bundles of rank $r$ with a fixed determinant of degree $d$. In the projectivized cotangent space at a general point $E$ of ${\cal SU}^s_C(r,d)$, there exists a distinguished hypersurface ${\cal S}_E$ consisting of cotangent vectors with singular spectral curves. In the projectivized tangent space at $E$, there exists a distinguished subvariety ${\cal C}_E$ consisting of vectors tangent to Hecke curves in ${\cal SU}^s_C(r,d)$ through $E$. Our main result establishes that the hypersurface ${\cal S}_E$ and the variety ${\cal C}_E$ are dual to each other. As an application of this duality relation, we prove that any surjective morphism ${\cal SU}^s_C(r,d) \to {\cal SU}^s_{C'}(r,d)$, where $C'$ is another curve of genus $g$, is biregular. This confirms, for ${\cal SU}^s_C(r,d)$, the general expectation that a Fano variety of Picard number 1, excepting the projective space, has no non-trivial self-morphism and that morphisms between Fano varieties of Picard number 1 are rare. The duality relation also gives simple proofs of the non-abelian Torelli theorem and the result of Kouvidakis-Pantev on the automorphisms of ${\cal SU}^s_C(r,d)$.


title: A minimum principle for Lyapunov exponents and a higher-dimensional version of a Theorem of Mane'

abstract: We consider compact invariant sets \Lambda for C^{1} maps in arbitrary dimension. We prove that if \Lambda contains no critical points then there exists an invariant probability measure with a Lyapunov exponent \lambda which is the minimum of all Lyapunov exponents for all invariant measures supported on \Lambda. We apply this result to prove that \Lambda is uniformly expanding if every invariant probability measure supported on \Lambda is hyperbolic repelling. This generalizes a well known theorem of Mane' to the higher-dimensional setting.


title: Optimization Strategies in Complex Systems

abstract: We consider a class of combinatorial optimization problems that emerge in a variety of domains among which: condensed matter physics, theory of financial risks, error correcting codes in information transmissions, molecular and protein conformation, image restoration. We show the performances of two algorithms, the``greedy'' (quick decrease along the gradient) and the``reluctant'' (slow decrease close to the level curves) as well as those of a``stochastic convex interpolation''of the two. Concepts like the average relaxation time and the wideness of the attraction basin are analyzed and their system size dependence illustrated.


title: A construction of $C^*$-algebras from $C^*$-correspondences

abstract: We introduce a method to define $C^*$-algebras from $C^*$-correspondences. Our construction generalizes Cuntz-Pimsner algebras, crossed products by Hilbert $C^*$-modules, and graph algebras.


title: Kinematic Wave Models of Network Vehicular Traffic

abstract: The kinematic wave theory, originally proposed by (Lighthill and Whitham, 1955b; Richards, 1956), has been a good candidate for studying vehicular traffic. In this dissertation, we study kinematic wave models of network traffic, which are expected to be theoretically rigorous, numerically reliable, and computationally efficient. For traffic systems with inhomogeneous links, merges, diverges, or mixed-type vehicles, we study the kinematic waves in their Riemann solutions and develop numerical solution methods of the Godunov type and the supply-demand type. For a network traffic system, we propose a multi-commodity kinematic wave (MCKW) model and an implementation of it. The model observes First-In-First-Out principle in the order of a time interval and is numerically convergent. Further, we apply this simulation model to study equilibrium states and periodic waves in road networks. Finally, we summarize our work and discuss future research directions.


title: The smallest Dirac eigenvalue in a spin-conformal class and cmc-immersions

abstract: Let us fix a conformal class $[g_0]$ and a spin structure $\sigma$ on a compact manifold $M$. For any $g\in [g_0]$, let $\lambda^+_1(g)$ be the smallest positive eigenvalue of the Dirac operator $D$ on $(M,g,\sigma)$. In a previous paper we have shown that $$\lambda_{min}(M,g_0,\sigma):=\inf_{g\in [g_0]} \lambda_1^+(g)\vol(M,g)^{1/n}>0.$$ In the present article, we enlarge the conformal class by certain singular metrics. We will show that if $\lambda_{min}(M,g_0,\sigma)<\lambda_{min}(S^n)$, then the infimum is attained on the enlarged conformal class. For proving this, we have to solve a system of semi-linear partial differential equations involving a nonlinearity with critical exponent: $$D\phi= \lambda |\phi|^{2/(n-1)}\phi.$$ The solution of this problem has many analogies to the solution of the Yamabe problem. However, our reasoning is more involved than in the Yamabe problem as the eigenvalues of the Dirac operator tend to $+\infty$ and $-\infty$. Using the Weierstra\ss{} representation, the solution of this equation in dimension 2 provides a tool for constructing new periodic constant mean curvature surfaces.


title: Norm Estimates for the Difference Between Bochner's Integral and the Convex Combination of Function's Values

abstract: Norm estimates are developed between the Bochner integral of a vector-valued function in Banach spaces having the Radon-Nikodym property and the convex combination of function values taken on a division of the interval [a,b].


title: A counterexample to a weak-type estimate for potential spaces and tangential approach regions

abstract: We show that for every nontrivial potential space $L^{1}_{K}(\mathbb{R}^{n})$, there exists an approach region for which the associated maximal function is of weak-type, but the boundedness for the completed region is false, which is in contrast with the nontangential case.


title: Computing multi-point Seshadri constants on P2

abstract: Working over the complex field and formalizing and sharpening approaches introduced by several authors, we give a method for verifying when a divisor on a blow up of P^2 at general points is nef. The method is useful both theoretically and when doing computer computations. The main application is to obtain significantly improved explicit lower bounds for multipoint Seshadri constants on P^2.


title: Enumeration of concave integer partitions

abstract: An integer partition \lambda of n corresponds, via its Ferrers diagram, to an artinian monomial ideal I of colength n in the polynomial ring on two variables. If the partition \lambda corresponds to an integrally closed ideal we call \lambda concave. We study generating functions for the number of concave partitions, unrestricted or with at most r parts.


title: 2-cosemisimplicial objects in a 2-category, permutohedra and deformations of pseudofunctors

abstract: In this paper we take up again the deformation theory for $K$-linear pseudofunctors initiated in a previous work (Adv. Math. 182 (2004) 204-277). We start by introducing a notion of a 2-cosemisimplicial object in an arbitrary 2-category and analyzing the corresponding coherence question, where the permutohedra make their appearence. We then describe a general method to obtain cochain complexes of K-modules from (enhanced) 2-cosemisimplicial objects in the 2-category ${\bf Cat}_K$ of small $K$-linear categories and prove that the deformation complex introduced in the above mentioned work can be obtained by this method from a 2-cosemisimplicial object that can be associated to the pseudofunctor. Finally, using a generalization to the context of $K$-linear categories of the deviation calculus introduced by Markl and Stasheff for $K$-modules (J. Algebra 170 (1994) 122), it is shown that the obstructions to the integrability of an $n^{th}$-order deformation of a pseudofunctor indeed correspond to cocycles in the third cohomology group, a question which remained open in our previous work.


title: Quadratic Siegel Disks with Rough Boundaries

abstract: In the quadratic family (the set of polynomials of degree 2), Petersen and Zakeri proved the existence of Siegel disks whose boundaries are Jordan curves, but not quasicircles. In their examples, the critical point is contained in the curve. In the first part, we prove the existence of quadratic examples that do not contain the critical point. In the second part, using a more abstract point of view (suggested by Avila), we show that we can control quite precisely the degree of regularity of the boundary of the quadratic Siegel disks we create by perturbations. For instance there exists examples where the boundary is C^n but not C^{n+1}.


title: On the localization formula in equivariant cohomology

abstract: We give two generalizations of the Atiyah-Bott-Berline-Vergne localization theorem for the equivariant cohomology of a torus action: 1) replacing the torus action by a compact connected Lie group action, 2) replacing the manifold having a torus action by an equivariant map. This provides a systematic method for calculating the Gysin homomorphism in ordinary cohomology of an equivariant map. As an example, we recover a formula of Akyildiz-Carrell for the Gysin homomorphism of flag manifolds.


title: Probabilistic Events and Physical Reality: A Complete Algebra of Probability

abstract: This contribution derives from a rather extensive study on the foundations of probability. We start by discussing critically the two main models of the random event in Probability Theroy and cast light over a number of incongruities. We conclude that the argument of probability is the critical knot of the probability foundations and put forward the structure of levels for the partially determinate event. The structural model enables us to define the prabability and to attune its subjective and objective interpretations.


title: Mirror Symmetry via Logarithmic Degeneration Data I

abstract: This paper is the first arising from our project announced in math.AG/0211094, "Affine manifolds, log structures, and mirror symmetry." We aim to study mirror symmetry by studying the log structures of Illusie-Fontaine and Kato on degenerations of Calabi-Yau manifolds. The basic idea is that one can associate to certain sorts of degenerations of Calabi-Yau manifolds a log Calabi-Yau space, which is a log structure on the degenerate fibre. Then many statements about mirror symmetry which one hopes to be true for the general fibre should first be proved for this log CY space. In this paper we begin by discussing affine manifolds with singularities. Given such an affine manifold along with a polyhedral decomposition, we show how to construct a scheme consisting of a union of toric varieties. In certain non-degenerate cases, we can also construct log structures on these schemes. Conversely, given certain sorts of degenerations, one can build an affine manifold with singularities structure on the dual intersection complex of the degeneration. Mirror symmetry is then obtained as a discrete Legendre transform on these affine manifolds, thus providing an algebro-geometrization of the Strominger-Yau-Zaslow conjecture. The deepest result of this paper shows an isomorphism between log complex moduli of a log CY space and log Kahler moduli of its mirror.


title: The Orchard Morphism

abstract: We describe and prove uniqueness of a natural homomorphism between some groups associated to finite sets.


title: Dynamics of the Automorphism Group of the GL(2,R)-Characters of a Once-puncutred Torus

abstract: Let pi be a free group of rank 2. Its outer automorphism group Out(pi) acts on the space of equivalence classes of representations in Hom(pi, SL(2,C)). Let SLm(2,R) denote ths subset of GL(2,R) consisting of matrices of determinant -1 and let ISL(2,R) denote the subgroup (SL(2,R) union i SLm(2,R)) of SL(2,C). The representation space Hom(pi, ISL(2,R)) has four connected components, three of which consist of representations that send at least on generator of pi to iSLm(2,R). We investigate the dynamics of the Out(pi)-action on these components. The group Out(pi) is commensurable with the group Gamma of automorphisms of the polynomial kappa(x,y,z) = -x^2 - y^2 + z^2 + xyz -2. We show that for -14 < c < 2, the action of Gamma is ergodic on the level sets kappa^(-1)(c). For c < -14 the group Gamma acts properly and freely on an open subset OmegaMc of kappa^(-1)(c) and acts ergodically on the complement of OmegaMc. We construct an algorithm which determines, in polynomial time, if a point (x,y,z) in R^3 is Gamma-equivalent to a point in OmegaMc or in its complement. Conjugacy classes of ISL(2,R)-representations identify with R^3 via an appropriate restriction of the Fricke character map. Corresponding to the Fricke spaces of the once-punctures Klein bottle and the once-punctured Moebius band are Gamma-invariant open subsets OmegaK and OmegaM respectively. We give an explicit parametrization of OmegaK and OmegaM as subsets of R^3 and we show that OmegaM has a non-empty intersection with kappa^(-1)(c) if and only if c<-14, while OmegaK has a non-empty intersection with kappa^(-1)(c) if and only if c>6.


title: Linear systems on generic K3 surfaces

abstract: In this paper we prove the equivalence of two conjectures on linear systems through fat points on a generic K3 surface. The first conjecture is exactly as Segre conjecture on the projective plane. Whereas the second characterizes such linear system and can be compared to the Gimigliano-Harbourne-Hirschowitz conjecture.


title: Symmetric functions and random partitions

abstract: These are (not updated) notes from the lectures I gave at the NATO ASI ``Symmetric Functions 2001'' at the Isaac Newton Institute in Cambridge (June 25 -- July 6, 2001). Their goal is an informal introduction to asymptotic combinatorics related to partitions.


title: Random trees and moduli of curves

abstract: These are (not updated) notes from the lectures I gave in St.Petersburg in July of 2001. Their goal is to give an expository account of the proof of Kontsevich's combinatorial formula for intersections on moduli spaces of curves following math.AG/0101147.


title: On rational homotopy of four-manifolds

abstract: We give explicit formulas for the ranks of the third and fourth homotopy groups of all oriented closed simply-connected four manifolds in terms of their second Betti numbers. We also show that the rational homotopy type of these manifolds is classified by their rank and signature.


title: Boundary triples and Weyl functions for singular perturbations of self-adjoint operators

abstract: Given the symmetric operator $A_N$ obtained by restricting the self-adjoint operator $A$ to $N$, a linear dense set, closed with respect to the graph norm, we determine a convenient boundary triple for the adjoint $A_N^*$ and the corresponding Weyl function. These objects provide us with the self-adjoint extensions of $A_N$ and their resolvents.


title: The comparsion principle for viscosity solutions of fully nonlinear subelliptic equations in Carnot groups

abstract: For any Carnot group $\bf G$ and a bounded domain $\Omega\subset \bf G$, we prove that viscosity solutions in $C(\bar\Om)$ of the fully nonlinear subelliptic equation $F(u,\nabla_h u, \nabla^2_h u)=0$ are unique when $F\in C(R\times R^m\times {\Cal S}(m))$ satisfies (i) $F$ is degenerate subelliptic and decreasing in $u$ or (ii) $F$ is uniformly subelliptic and nonincreasing in $u$. This extends Jensen's uniqueness theorem from the Euclidean space to the sub-Riemannian setting of the Carnot group.


title: Viscosity convex functions on Carnot groups

abstract: We prove that any locally bounded from below, upper semicontinuous v-convex function in any Carnot group is h-convex.


title: Discrete Green's functions for products of regular graphs

abstract: Discrete Green's functions are the inverses or pseudo-inverses of combinatorial Laplacians. We present compact formulas for discrete Green's functions, in terms of the eigensystems of corresponding Laplacians, for products of regular graphs with or without boundary. Explicit formulas are derived for the cycle, torus, and 3-dimensional torus, as is an inductive formula for the $t$-dimensional torus with $n$ vertices, from which the Green's function can be completely determined in time $O(t n^{2-1/t}\log{n})$. These Green's functions may be used in conjunction with diffusion-like problems on graphs such as electric potential, random walks, and chip-firing games or other balancing games.