title: Hessians of Spectral Zeta Functions

abstract: Let M be a compact manifold without boundary. Associated to a metric g on M there are various Laplace operators, for example the de Rham Laplacian on forms and the conformal Laplacian on functions. For a general Laplace type operator we consider its spectral zeta function Z(s). For a fixed value of s we calculate the hessian of Z(s) with respect to the metric and show that it is given by a pseudodifferential operator T(s)=U(s)+V(s) where U(s) is polyhomogeneous of degree n-2s and V(s) is polyhomogeneous of degree 2. The operators U(s) and V(s) are meromorphic in s. The symbol expansion of U(s) is computable from the symbol of the Laplacian and we give an explicit formula for the principal symbol. Our analysis extends to describe the hessian of the kth order derivative of Z(s) with respect to s, in particular to the hessian of Z'(0).


title: Hessian of the zeta function for the Laplacian on forms

abstract: Let M be a compact closed n-dimensional manifold. Given a Riemannian metric on M, we consider the zeta function Z(s) for the de Rham Laplacian and the Bochner Laplacian on p-forms. The hessian of Z(s) with respect to variations of the metric is given by a pseudodifferential operator T(s). When the real part of s is less than n/2-1, we compute the principal symbol of T(s). This can be used to determine whether the general critical metric for Z(s) or one of its s derivatives has finite index, or whether it is an essential saddle point.


title: Heegaard gradient of Seifert fibered 3-manifold

abstract: The infimal Heegaard gradient of a compact 3-manifold was defined and studied by Marc Lackenby in an approach toward the well-known virtually Haken conjecture. As instructive examples, we consider Seifert fibered 3-manifolds, and show that a Seifert fibered 3-manifold has zero infimal Heegaard gradient if and only if it virtually fibers over the circle or over a surface other than the 2-sphere. For a collection of finite coverings of a Seifert fibered 3-manifold, a necessary and sufficient condition to have zero infimal Heegaard gradient is also given.


title: Entropies, convexity, and functional inequalities

abstract: Our aim is to provide a short and self contained synthesis which generalise and unify various related and unrelated works involving what we call Phi-Sobolev functional inequalities. Such inequalities related to Phi-entropies can be seen in particular as an inclusive interpolation between Poincare and Gross logarithmic Sobolev inequalities. In addition to the known material, extensions are provided and improvements are given for some aspects. Stability by tensor products, convolution, and bounded perturbations are addressed. We show that under simple convexity assumptions on Phi, such inequalities hold in a lot of situations, including hyper-contractive diffusions, uniformly strictly log-concave measures, Wiener measure (paths space of Brownian Motion on Riemannian Manifolds) and generic Poisson space (includes paths space of some pure jumps Levy processes and related infinitely divisible laws). Proofs are simple and relies essentially on convexity. We end up by a short parallel inspired by the analogy with Boltzmann-Shannon entropy appearing in Kinetic Gases and Information Theories.


title: Homotopy types of the components of spaces of embeddings of compact polyhedra into 2-manifolds

abstract: Suppose M is a connected PL 2-manifold and X is a compact connected subpolyhedron of M (X \neq 1pt, a closed 2-manifold). Let E(X, M) denote the space of topological embeddings of X into M with the compact-open topology and let E(X, M)_0 denote the connected component of the inclusion i_X : X \subset M in E(X, M). In this paper we classify the homotopy type of E(X, M)_0 in term of the subgroup G = Im[{i_X}_\ast : \pi_1(X) \to \pi_1(M)]. We show that if G is not a cyclic group and M \neq T^2, T^2 then E(X, M)_0 \simeq \ast, if G is a nontrivial cyclic group and M \neq P^2, T^2, K^2 then E(X, M)_0 \simeq S^1, and when G = 1, if X is an arc or M is orientable then E(X, M)_0 \simeq ST(M) and if X is not an arc and M is nonorientable then E(X, M)_0 \simeq ST(\tilde{M}). Here S^1 is the circle, T^2 is the torus, P^2 is the projective plane and K^2 is the Klein bottle. The symbol ST(M) denotes the tangent unit circle bundle of M with respect to any Riemannian metric of M and \tilde{M} denotes the orientation double cover of M.


title: Essential coordinate components of characteristic varieties

abstract: In this note we give an algebraic and topological interpretation of essential coordinate components of characteristic varieties and illustrate their importance with an example.


title: Belavin Elliptic R-Matrices and Exchange Algebras

abstract: We study Zamolodchikov algebras whose commutation relations are described by Belavin matrices defining a solution of the Yang-Baxter equation (Belavin $R$-matrices). Homomorphisms of Zamolodchikov algebras into dynamical algebras with exchange relations and also of algebras with exchange relations into Zamolodchikov algebras are constructed. It turns out that the structure of these algebras with exchange relations depends substantially on the primitive $n$th root of unity entering the definition of Belavin $R$-matrices.


title: On Near-MDS Elliptic Codes

abstract: The main conjecture on maximum distance separable (MDS) codes states that, execpt for some special cases, the maximum length of a q-ary linear MDS code is q+1. This conjecture does not hold true for near maximum distance separable codes because of the existence of q-ary near MDS elliptic codes having length bigger than q+1. An interesting related question is whether a near MDS elliptic code can be extended to a longer near MDS code. Our results are some non-extendability results and an alternative and simpler construction for certain known near MDS elliptic codes.


title: Glauber versus Kawasaki for spectral gap and logarithmic Sobolev inequalities of some unbounded conservative spin systems

abstract: Inspired by the recent results of C. Landim, G. Panizo and H.-T. Yau [LPY] on spectral gap and logarithmic Sobolev inequalities for unbounded conservative spin systems, we study uniform bounds in these inequalities for Glauber dynamics of Hamiltonian of the form V(x_1) + ... + V(x_n) + V(M-x_1 -...-x_n), (x_1,...,x_n) in R^n Specifically, we examine the case V is strictly convex (or small perturbation of strictly convex) and, following [LPY], the case V is a bounded perturbation of a quadratic potential. By a simple path counting argument for the standard random walk, uniform bounds for the Glauber dynamics yields, in a transparent way, the classical L^{-2} decay for the Kawasaki dynamics on d-dimensional cubes of length L. The arguments of proofs however closely follow and make heavy use of the conservative approach and estimates of [LPY], relying in particular on the Lu-Yau martingale decomposition and clever partitionings of the conditional measure.


title: A cocycle for the comultiplication on the quantum SU(2) group

abstract: For the family Delta_q, q in [0,1), of the SU_q(2)-comultiplications on the C*-algebra A\cong C(SU_q(2)), we show that there exist unitary operators Omega_q such that Delta_q(x)=Omega_q Delta_0(x) (Omega_q)* for x in A.


title: Orderable 3-manifold groups

abstract: We investigate the orderability properties of fundamental groups of 3-dimensional manifolds. Many 3-manifold groups support left-invariant orderings, including all compact P^2-irreducible manifolds with positive first Betti number. For seven of the eight geometries (excluding hyperbolic) we are able to characterize which manifolds' groups support a left-invariant or bi-invariant ordering. We also show that manifolds modelled on these geometries have virtually bi-orderable groups. The question of virtual orderability of 3-manifold groups in general, and even hyperbolic manifolds, remains open, and is closely related to conjectures of Waldhausen and others.


title: Control of Spatially Heterogeneous and Time-Varying Cellular Reaction Networks: A New Summation Law

abstract: A hallmark of a plethora of intracellular signaling pathways is the spatial separation of activation and deactivation processes that potentially results in precipitous gradients of activated proteins. The classical Metabolic Control Analysis (MCA), which quantifies the influence of an individual process on a system variable as the control coefficient, cannot be applied to spatially separated protein networks. The present paper unravels the principles that govern the control over the fluxes and intermediate concentrations in spatially heterogeneous reaction networks. Our main results are two types of the control summation theorems. The first type is a non-trivial generalization of the classical theorems to systems with spatially and temporally varying concentrations. In this generalization, the process of diffusion, which enters as the result of spatial concentration gradients, plays a role similar to other processes such as chemical reactions and membrane transport. The second summation theorem is completely novel. It states that the control by the membrane transport, the diffusion control coefficient multiplied by two, and a newly introduced control coefficient associated with changes in the spatial size of a system (e.g., cell), all add up to one and zero for the control over flux and concentration. Using a simple example of a kinase/phosphatase system in a spherical cell, we speculate that unless active mechanisms of intracellular transport are involved, the threshold cell size is limited by the diffusion control, when it is beginning to exceed the spatial control coefficient significantly.


title: Noncritical holomorphic functions on Stein manifolds

abstract: We prove that every Stein manifold X of dimension n admits [(n+1)/2] holomorphic functions with pointwise independent differentials, and this number is maximal for every n. In particular, X admits a holomorphic function without critical points; this extends a result of Gunning and Narasimhan from 1967 who constructed such functions on open Riemann surfaces. Furthermore, every surjective complex vector bundle map from the tangent bundle TX onto the trivial bundle of rank q < n=dim X is homotopic to the differential of a holomorphic submersion of X to C^q. It follows that every complex subbundle E in the tangent bundle TX with trivial quotient bundle TX/E is homotopic to the tangent bundle of a holomorphic foliation of X. If X is parallelizable, it admits a submersion to C^{n-1} and nonsingular holomorphic foliations of any dimension; the question whether such X also admits a submersion (=immersion) in C^n remains open. Our proof involves a blend of techniques (holomorphic automorphisms of Euclidean spaces, solvability of the di-bar equation with uniform estimates, Thom's jet transversality theorem, Gromov's convex integration method). A result of possible independent interest is a lemma on compositional splitting of biholomorphic mappings close to the identity (Theorem 4.1).


title: Some remarks on sign-balanced and maj-balanced posets

abstract: Let P be a poset with elements 1,2,...,n. We say that P is sign-balanced if exactly half the linear extensions of P (regarded as permutations of 1,2,...,n) are even permutations, i.e., have an even number of inversions. This concept first arose in the work of Frank Ruskey, who was interested in the efficient generation of all linear extensions of P. We survey a number of techniques for showing that posets are sign-balanced, and more generally, computing their "imbalance." There are close connections with domino tilings and, for certain posets, a "domino generalization" of Schur functions due to Carre and Leclerc. We also say that P is maj-balanced if exactly half the linear extensions of P have even major index. We discuss some similarities and some differences between sign-balanced and maj-balanced posets.


title: Recent developments in algebraic combinatorics

abstract: A survey of three recent developments in algebraic combinatorics: (1) the Laurent phenomenon, (2) Gromov-Witten invariants and toric Schur functions, and (3) toric h-vectors and intersection cohomology. This paper is a continuation of "Recent progress in algebraic combinatorics" (math.CO/0010218), which dealt with three other topics.


title: An introduction to Heisenberg groups

abstract: This is brief and hopefully friendly, with basic notions, a few different perspectives, and references with more information in various directions.


title: A general Hilbert-Mumford Criterion

abstract: We provide a Hilbert-Mumford Criterion for actions of reductive groups $G$ on $Q$-factorial complex varieties. The result allows to construct open subsets admitting a good quotient by $G$ from certain maximal open subsets admitting a good quotient by a maximal torus of $G$. As an application, we show how to obtain all invariant open subsets with good quotient for a given $G$-action on a complete $Q$-factorial toric variety.


title: Central limit theorem and stable laws for intermittent maps

abstract: In the setting of abstract Markov maps, we prove results concerning the convergence of renormalized Birkhoff sums to normal laws or stable laws. They apply to one-dimensional maps with a neutral fixed point at 0 of the form $x+x^{1+\alpha}$, for $\alpha\in (0,1)$. In particular, for $\alpha>1/2$, we show that the Birkhoff sums of a H\"older observable $f$ converge to a normal law or a stable law, depending on whether $f(0)=0$ or $f(0)\not=0$. The proof uses spectral techniques introduced by Sarig, and Wiener's Lemma in noncommutative Banach algebras.


title: The support problem for abelian varieties

abstract: Let $A$ be an abelian variety over a number field $K$. If $P$ and $Q$ are $K$-rational points of $A$ such that the order of the reduction of $Q$ divides that of $P$ for all but finitely many primes of the ring of integers of $K$, then there exists a $K$-endomorphism $\phi$ of $A$ and a positive integer $k$ such that $kQ = \phi(P)$.


title: The Kernel of the Equivariant Kirwan Map and the Residue Formula

abstract: Using the notion of equivariant Kirwan map, as defined by Goldin, we prove that -- in the case of Hamiltonian torus actions with isolated fixed points -- Tolman and Weitsman's description of the kernel of the Kirwan map can be deduced directly from the residue theorem of Jeffrey and Kirwan. A characterization of the kernel of the Kirwan map in terms of residues of one variable (i.e. associated to Hamiltonian circle actions) is obtained.


title: Quaternions, polarizations and class numbers

abstract: We study abelian varieties $A$ with multiplication by a totally indefinite quaternion algebra over a totally real number field and give a criterion for the existence of principal polarizations on them in pure arithmetic terms. Moreover, we give an expression for the number $\pi_0(A)$ of isomorphism classes of principal polarizations on $A$ in terms of relative class numbers of CM fields by means of Eichler's theory of optimal embeddings. As a consequence, we exhibit simple abelian varieties of any even dimension admitting arbitrarily many non-isomorphic principal polarizations. On the other hand, we prove that $\pi_0(A)$ is uniformly bounded for simple abelian varieties of odd square-free dimension.


title: Some topics concerning harmonic analysis on metric spaces

abstract: In this brief survey we give an introduction to some aspects of "atoms" on metric spaces and their connection with linear operators.


title: A character formula for certain representations of loop groups based on non-simply connected Lie groups

abstract: I calculate characters of certain representations of loop groups based on non simply connected Lie groups. This gives a generalization of the Kac-Weyl character formula.


title: A few aspects of analysis on metric spaces

abstract: These are some basic notes concerning Holder and Lipschitz classes on metric spaces.


title: Some remarks concerning potentials on different spaces

abstract: The "potentials" being considered are analogues of classical Riesz potentials of order 1, and the idea is to look at how they might map L^p spaces into Sobolev spaces in various settings.


title: Splitting algebras, Symmetric functions and Galois Theory

abstract: We present a theory for splitting algebras of monic polynomials over rings, and apply the results to symmetric functions, and Galois theory. Our main result is that the ring of invariants of a splitting algebra under the symmetric group almost always is the ring of coefficients.


title: Poset Edge-Labellings and Left Modularity

abstract: It is known that a graded lattice of rank n is supersolvable if and only if it has an EL-labelling where the labels along any maximal chain are exactly the numbers 1,2,...,n without repetition. These labellings are called S_n EL-labellings, and having such a labelling is also equivalent to possessing a maximal chain of left modular elements. In the case of an ungraded lattice, there is a natural extension of S_n EL-labellings, called interpolating labellings. We show that admitting an interpolating labelling is again equivalent to possessing a maximal chain of left modular elements. Furthermore, we work in the setting of a general bounded poset as all the above results generalize to this case. We conclude by applying our results to show that the lattice of non-straddling partitions, which is not graded in general, has a maximal chain of left modular elements.


title: Non-commutative matrix integrals and representation varieties of surface groups in a finite group

abstract: A graphical expansion formula for non-commutative matrix integrals with values in a finite-dimensional real or complex von Neumann algebra is obtained in terms of ribbon graphs and their non-orientable counterpart called Moebius graphs. The contribution of each graph is an invariant of the topological type of the surface on which the graph is drawn. As an example, we calculate the integral on the group algebra of a finite group. We show that the integral is a generating function of the number of homomorphisms from the fundamental group of an arbitrary closed surface into the finite group. The graphical expansion formula yields a new proof of the classical theorems of Frobenius, Schur and Mednykh on these numbers.


title: On the number of rational points of a plane algebraic curve

abstract: The number of rational points of a plane non-singular algebraic curve X defined over a finite field is computed, provided that the generic point of X is not an inflexion and that X is Frobenius non-classical with respect to conics.


title: Correspondences between K3 surfaces

abstract: In this paper we show that there is a correspondence between some $K3$ surfaces with non-isometric transcendental lattices constructed as a twist of the transcendental lattice of the Jacobian of a generic genus 2 curve. Moreover, we show the existence of a correspondence between a general $K3$ surface with $\rho =17$ and a Kummer surface having transcendental lattices $\QQ$-Hodge isomorphic.


title: On the CAT(0) dimension of 2-dimensional Bestvina-Brady groups

abstract: Let K be a 2-dimensional finite flag complex. We study the CAT(0) dimension of the `Bestvina-Brady group', or `Artin kernel', Gamma_K. We show that Gamma_K has CAT(0) dimension 3 unless K admits a piecewise Euclidean metric of non-positive curvature. We give an example to show that this implication cannot be reversed. Different choices of K lead to examples where the CAT(0) dimension is 3, and either (i) the geometric dimension is 2, or (ii) the cohomological dimension is 2 and the geometric dimension is not known.


title: First order asymptotics of matrix integrals ; a rigorous approach towards the understanding of matrix models

abstract: We investigate the limit behaviour of the spectral measures of matrices following the Gibbs measure for the Ising model on random graphs, Potts model on random graphs, matrices coupled in a chain model or induced QCD model. For most of these models, we prove that the spectral measures converge almost surely and describe their limit via solutions to an Euler equation for isentropic flow with negative pressure $p(\rho)=-3^{-1}\pi^2 \rho^3$.


title: On arrangements of the roots of a hyperbolic polynomial and of one of its derivatives

abstract: We consider real monic {\em hyperbolic} polynomials in one real variable, i.e. polynomials having only real roots. Call {\em hyperbolicity domain} $\Pi$ of the family of polynomials $P(x,a)=x^n+a_1x^{n-1}+... +a_n$, $a_i,x\in {\bf R}$, the set $\{a\in {\bf R}^n| P $is hyperbolic $\}$. The paper studies a stratification of $\Pi$ defined by the arrangement of the roots of $P$ and $P^{(k)}$, where $2\leq k\leq n-1$. We prove that the strata are smooth contractible real algebraic varieties.


title: Orthomodular Lattices and Quantales

abstract: Let $L$ be a complete orthomodular lattice. There is a one to one correspondence between complete boolean subalgebras of $L$ contained in the center of $L$ and endomorphisms $j$ of $L$ satisfying the Borceux-Van den Bossche conditions.


title: A Numerical Approach for Designing Unitary Space Time Codes with Large Diversity

abstract: A numerical approach to design unitary constellation for any dimension and any transmission rate under non-coherent Rayleigh flat fading channel.


title: Some remarks about homeomorphisms, "energy", and so on

abstract: This paper briefly discusses some questions with analytical and topological aspects, with hopefully some useful references on both sides.


title: Happy fractals and some aspects of analysis on metric spaces

abstract: By a "happy fractal" we mean a metric space with bounded geometry in the sense of a doubling condition and a lot of paths of finite length, so that any pair of points can be connected by a path whose length is less than or equal to a constant times the distance between the two points. In these notes we consider some examples, related notions, and other aspects of analysis on metric spaces. This includes Lipschitz functions of some positive order and the special class of functions known as "atoms" which are related to singular integral operators.


title: Rational homotopy stability for the spaces of rational maps

abstract: Let $\Hol_{x_0}^{{\bf n}} (\C\P^1, X)$ be the space of based holomorphic maps of degree ${\bf n}$ from $\C\P^1$ into a simply connected algebraic variety $X$. Under some condition we prove that the map $\map \Hol_{x_0}^{{\bf n}} (\C\P^1, X). \Hol_{x_0}^{d{\bf n}} (\C\P^1, X).$ obtained by compositing $f \in \Hol_{x_0}^{{\bf n}} (\C\P^1, X)$ with $g(z)=z^d, z \in \C\P^1$ induces rational homotopy equivalence up to some dimension, which tends to infinity as the degree grows.


title: Geometric rationality of equal-rank Satake compactifications

abstract: Satake has constructed compactifications of symmetric spaces D=G/K which (under a condition called geometric rationality by Casselman) yield compactifications of the corresponding locally symmetric spaces. The different compactifications depend on the choice of a representation of G. One example is the Baily-Borel-Satake compactification of a Hermitian locally symmetric space; Baily and Borel proved this is always geometrically rational. Satake compactifications for which all the real boundary components are equal-rank symmetric spaces are a natural generalization of the Baily-Borel-Satake compactification. Recent work (see math.RT/0112250, math.RT/0112251) indicates that this is the natural setting for many results about cohomology of compactifications of locally symmetric spaces. In this paper we prove any Satake compactification for which all the real boundary components are equal-rank symmetric spaces is geometrically rational aside from certain rational rank 1 or 2 exceptions; we completely analyze geometric rationality for these exceptional cases. The proof uses Casselman's criterion for geometric rationality. We also prove that a Satake compactification is geometrically rational if the representation is defined over the rational numbers.


title: Superinjective Simplicial Maps of Complexes of Curves and Injective Homomorphisms of Subgroups of Mapping Class Groups

abstract: Let $S$ be a closed, connected, orientable surface of genus at least 3, $\mathcal{C}(S)$ be the complex of curves on $S$ and $Mod_S^*$ be the extended mapping class group of $S$. We prove that a simplicial map, $\lambda: \mathcal{C}(S) \to \mathcal{C}(S)$, preserves nondisjointness (i.e. if $\alpha$ and $\beta$ are two vertices in $\mathcal{C}(S)$ and $i(\alpha, \beta) \neq 0$, then $i(\lambda(\alpha), \lambda(\beta)) \neq 0$) iff it is induced by a homeomorphism of $S$. As a corollary, we prove that if $K$ is a finite index subgroup of $Mod_S^*$ and $f: K \to Mod_S^*$ is an injective homomorphism, then $f$ is induced by a homeomorphism of $S$ and $f$ has a unique extension to an automorphism of $Mod_S^*$.


title: Quantum ergodicity of boundary values of eigenfunctions

abstract: Suppose that Omega is a bounded, piecewise smooth Euclidean domain. We prove that the boundary values (Cauchy data) of eigenfunctions of the Laplacian on Omega with various boundary conditions are quantum ergodic if the classical billiard map (on the ball bundle of the boundary of Omega) is ergodic. Our proof is based on the classical observation that the boundary value of an interior eigenfunction is an eigenfunction of an operator F_h on the boundary of Omega, where h^{-2} is equal to the eigenvalue. In the case of the Neumann boundary condition, F_h is the boundary integral operator induced by the double layer potential. We show that F_h is a semiclassical Fourier integral operator quantizing the billiard map plus a `small' remainder. We then use the quantum dyanmics defined by F_h at the boundary to prove the result, much as the quantum dynamics generated by the wave group were exploited in the work of Zelditch-Zworski (1996). Novelties include the facts that F_h is not unitary and (consequently) the boundary values are equidistributed by measures which are not invariant under the billiard map and which depend on the boundary conditions.


title: Classification of operator algebraic conformal field theories

abstract: We give an exposition on the current status of classification of operator algebraic conformal field theories. We explain roles of complete rationality and alpha-induction for nets of subfactors in such a classification and present the current classification result, a joint work with R. Longo, for the case with central charge less than 1, where we have a complete classification list consisting of the Virasoro nets, their simple current extensions of index 2, and four exceptionals. Two of the four exceptionals appear to be new.


title: Another universal differential equation

abstract: I construct a new universal differential equation (B), in the sense of Rubel. That is, its solutions approximate to arbitrary accuracy any continuous function on any interval of the real line.


title: Some explicit badly approximable pairs

abstract: I consider the Diophantine approximation problem of sup-norm simultaneous rational approximation with common denominator of a pair of irrational numbers, and compute explicitly some pairs with large approximation constant. One of these pairs is the most badly approximable pair yet computed.


title: Stable rank of graph algebras. Type I graph algebras and their limits

abstract: For an arbitrary countable directed graph E we show that the only possible values of the stable rank of the associated Cuntz-Krieger algebra C*(E) are 1, 2 or \infty. Explicit criteria for each of these three cases are given. We characterize graph algebras of type I, and graph algebras which are inductive limits of C*-algebras of type I. We also show that a gauge-invariant ideal of a graph algebra is itself isomorphic to a graph algebra.


title: Double crossed products of locally compact quantum groups

abstract: For a matched pair of locally compact quantum groups, we construct the double crossed product as a locally compact quantum group. This construction generalizes Drinfeld's quantum double construction. We study C*-algebraic properties of these double crossed products and several links between double crossed products and bicrossed products. In an appendix, we study the Radon-Nikodym derivative of a weight under a quantum group action, following Yamanouchi and obtain, as a corollary, a new characterization of closed quantum subgroups.


title: Short rational generating functions for lattice point problems

abstract: We prove that for any fixed d the generating function of the projection of the set of integer points in a rational d-dimensional polytope can be computed in polynomial time. As a corollary, we deduce that various interesting sets of lattice points, notably integer semigroups and (minimal) Hilbert bases of rational cones, have short rational generating functions provided certain parameters (the dimension and the number of generators) are fixed. It follows then that many computational problems for such sets (for example, finding the number of positive integers not representable as a non-negative integer combination of given coprime positive integers a_1 ... a_d admit polynomial time algorithms. We also discuss a related problem of computing the Hilbert series of a ring generated by monomials.


title: Exceptional surgery and boundary slopes

abstract: Let X be a norm curve in the SL(2,C)-character variety of a knot exterior M. Let t = || b || / || a || be the ratio of the Culler-Shalen norms of two distinct non-zero classes a, b in H_1(\partial M, Z). We demonstrate that either X has exactly two associated strict boundary slopes \pm t, or else there are strict boundary slopes r_1 and r_2 with |r_1| > t and |r_2| < t. As a consequence, we show that there are strict boundary slopes near cyclic, finite, and Seifert slopes. We also prove that the diameter of the set of strict boundary slopes can be bounded below using the Culler-Shalen norm of those slopes.


title: Double Integrals for Euler's Constant and ln(4/Pi) and an Analog of Hadjicostas's Formula

abstract: We give analogs for Euler's constant and ln(4/Pi) of the well-known double integrals for zeta(2) and zeta(3). We also give a series for ln(4/Pi) which reveals it to be an "alternating Euler constant."


title: The coefficient field in the nilpotence conjecture for toric varieties

abstract: The main result of the work ``The nilpotence conjecture in K-theory of toric varieties'' is extended to all coefficient fields of characteristic 0, thus covering the class of genuine toric varieties.


title: Algebraicity of cyclotomic Weil Hodge cycles

abstract: Please forget our result!! I would like to apologize that there are a fatal mistake in the proof of the algebraicity of Weil Hodge cycles. See contents for the reason. So please forget about the result of algebraicity.


title: A nonterminating 8-phi-7 summation for the root system C_r

abstract: Using multiple q-integrals and a determinant evaluation, we establish a nonterminating 8-phi-7 summation for the root system C_r. We also give some important specializations explicitly.


title: Lattice uniformities on effect algebras

abstract: Let L be a lattice ordered effect algebra. We prove that the lattice uniformities on L which make uniformly continuous the operations $\ominus$ and $\oplus$ of L are uniquely determined by their system of neighbourhoods of 0 and form a distributive lattice. Moreover we prove that every such uniformity is generated by a family of weakly subadditive $[0,+\infty]$-valued functions on L.


title: Smooth free involution of $H{\Bbb C}P^3$ and Smith conjecture for imbeddings of $S^3$ in $S^6$

abstract: This paper establishes an equivalence between existence of free involutions on $H{\Bbb C}P^3$ and existence of involutions on $S^6$ with fixed point set an imbedded $S^3$, then a family of counterexamples of the Smith conjecture for imbeddings of $S^3$ in $S^6$ are given by known result on $H{\Bbb C}P^3$. In addition, this paper also shows that every smooth homotopy complex projective 3-space admits no orientation preserving smooth free involution, which answers an open problem [Pe]. Moreover, the study of existence problem for smooth orientation preserving involutions on $H{\Bbb C}P^3$ is completed.


title: Report on the trimestre "Heat kernels, random walks, and analysis on manifolds and graphs" at the Centre Emile Borel (Institut Henri Poincare, Spring, 2002)

abstract: This report tries to give a brief overview of a number of the mathematical activities during the trimestre mentioned in the title.


title: Some topics concerning analysis on metric spaces and semigroups of operators

abstract: This is a brief survey which reviews some traditional themes in harmonic analysis and some more recent areas of activity, connected to "analysis on fractals" in particular.


title: Ideal decompositions and computation of tensor normal forms

abstract: Symmetry properties of r-times covariant tensors T can be described by certain linear subspaces W of the group ring K[S_r] of a symmetric group S_r. If for a class of tensors T such a W is known, the elements of the orthogonal subspace W^{\bot} of W within the dual space of K[S_r] yield linear identities needed for a treatment of the term combination problem for the coordinates of the T. We give the structure of these W for every situation which appears in symbolic tensor calculations by computer. Characterizing idempotents of such W can be determined by means of an ideal decomposition algorithm which works in every semisimple ring up to an isomorphism. Furthermore, we use tools such as the Littlewood-Richardson rule, plethysms and discrete Fourier transforms for S_r to increase the efficience of calculations. All described methods were implemented in a Mathematica package called PERMS.


title: Automorphic orbits in free groups

abstract: Let $F_n$ be the free group of a finite rank $n$. We study orbits $Orb_{\phi}(u)$, where $u$ is an element of the group $F_n$, under the action of an automorphism $\phi$. If an orbit like that is finite, we determine precisely what its cardinality can be if $u$ runs through the whole group $F_n$, and $\phi$ runs through the whole group $Aut(F_n)$. Another problem that we address here is related to Whitehead's algorithm that determines whether or not a given element of a free group of finite rank is an automorphic image of another given element. It is known that the first part of this algorithm (reducing a given free word to a free word of minimum possible length by elementary Whitehead automorphisms) is fast (of quadratic time with respect to the length of the word). On the other hand, the second part of the algorithm (applied to two words of the same minimum length) was always considered very slow. We give here an improved algorithm for the second part, and we believe this algorithm always terminates in polynomial time with respect to the length of the words. We prove that this is indeed the case if the free group has rank 2.


title: On Real-oriented Johnson-Wilson cohomology

abstract: Answering a question of W. S. Wilson, I introduce a Z/2-equivariant Atiyah-Real analogue of Johnson-Wilson cohomology theory BP<n>, whose coefficient ring is the =< n-chromatic part of Landweber's Real cobordism ring.


title: The entropy formula for the Ricci flow and its geometric applications

abstract: We present a monotonic expression for the Ricci flow, valid in all dimensions and without curvature assumptions. It is interpreted as an entropy for a certain canonical ensemble. Several geometric applications are given. In particular, (1) Ricci flow, considered on the space of riemannian metrics modulo diffeomorphism and scaling, has no nontrivial periodic orbits (that is, other than fixed points); (2) In a region, where singularity is forming in finite time, the injectivity radius is controlled by the curvature; (3) Ricci flow can not quickly turn an almost euclidean region into a very curved one, no matter what happens far away. We also verify several assertions related to Richard Hamilton's program for the proof of Thurston geometrization conjecture for closed three-manifolds, and give a sketch of an eclectic proof of this conjecture, making use of earlier results on collapsing with local lower curvature bound.


title: On an intermediate bivariant theory for $C^*$-algebras, I

abstract: We construct a new bivariant theory, that we call $KE$-theory, which is intermediate between the $KK$-theory of G. G. Kasparov, and the $E$-theory of A. Connes and N. Higson. For each pair of separable graded $C^*$-algebras $A$ and $B$, acted upon by a locally compact $\sigma$-compact group $G$, we define an abelian group $KE_G(A,B)$. We show that there is an associative product $KE_G(A,D) \otimes KE_G(D,B) \to KE_G(A,B)$. Various functoriality properties of the $KE$-theory groups and of the product are presented. The new theory has a simpler product than $KK$-theory and there are natural transformations $KK_G \to KE_G$ and $KE_G \to E_G$. The complete description of these maps will form the substance of a second paper.


title: Geometrical Equivalents of Goldbach Conjecture and Fermat Like Theorem

abstract: Five geometrical eqivalents of Goldbach conjecture are given, calling one of them Fermat Like Theorem.


title: The primitive ideal space of the C*-algebras of infinite graphs

abstract: For any countable directed graph E we describe the primitive ideal space of the corresponding generalized Cuntz-Krieger algebra C*(E).


title: Automorphisms of free product-type and their crossed-products

abstract: A continuous family of non-outer conjugate aperiodic automorphisms whose crossed-products are all isomorphic is given on every interpolated free group factor. An explicit "duality" relationship between compact co-commutative Kac algebra (minimal) free product actions and free shift actions is also discussed.


title: Amalgamated free product over Cartan subalgebra, II. Supplementary results & Examples

abstract: Supplementary results obtained after the completion of our previous paper are given together with discussing some examples. A quick review of the previous paper is also included.


title: Euclidean 4-simplices and invariants of four-dimensional manifolds: I. Moves 3 -> 3

abstract: We construct invariants of four-dimensional piecewise-linear manifolds, represented as simplicial complexes, with respect to rebuildings that transform a cluster of three 4-simplices having a common two-dimensional face in a different cluster of the same type and having the same boundary. Our construction is based on the usage of Euclidean geometric values.


title: Euclidean 4-simplices and invariants of four-dimensional manifolds: II. An algebraic complex and moves 2 <-> 4

abstract: We write out some sequences of linear maps of vector spaces with fixed bases. Each term of a sequence is a linear space of differentials of metric values ascribed to the elements of a simplicial complex - a triangulation of a manifold. If the sequence turns out to be an acyclic complex then one can construct a manifold invariant out of its torsion. We demonstrate this first for three-dimensional manifolds, and then we conduct the part, related to moves 2 <-> 4, of the corresponding work for four-dimensional manifolds.


title: Euclidean 4-simplices and invariants of four-dimensional manifolds: III. Moves 1 <-> 5 and related structures

abstract: We conclude the construction of the algebraic complex, consisting of spaces of differentials of Euclidean metric values, for four-dimensional piecewise-linear manifolds. Assuming that the complex is acyclic, we investigate how its torsion changes under rebuildings of the manifold triangulation. First, we write out formulas for moves 3 -> 3 and 2 <-> 4 based on the results of our two previous works, and then we study in detail moves 1 <-> 5. On this basis, we obtain the formula for a four-dimensional manifold invariant. As an example, we present a detailed calculation of our invariant for sphere S^4; in particular, the complex turns out, indeed, to be acyclic.


title: Free product actions and their applications

abstract: A review of our recent works on free product actions, partly in collaborations with Dimitri Shlyakhtenko and with Fumio Hiai, is given. We also work out type III theoretic subfactor analysis on the subfactors constructed in our previous works. This part can be read as supplementary appendix to the works.


title: An algorithm for the word problem in braid groups

abstract: We suggest a new algorithm for finding a canonical representative of a given braid, and also for the harder problem of finding a $\sigma_1$-consistent representative. We conjecture that the algorithm is quadratic-time. We present numerical evidence for this conjecture, and prove two results: (1) The algorithm terminates in finite time. (2) The conjecture holds in the special case of 3-string braids - in fact, we prove that the algorithm finds a minimal-lenght representative for any 3-string braid.


title: Pluecker-type relations for orthogonal planes

abstract: We explore a Pluecker-type relation which occurs naturally in the study of maximally supersymmetric solutions of certain supergravity theories. This relation generalises at the same time the classical Pluecker relation and the Jacobi identity for a metric Lie algebra and coincides with the Jacobi identity of a metric n-Lie algebra. In low dimension we present evidence for a geometric characterisation of the relation in terms of middle-dimensional orthogonal planes in euclidean or lorentzian inner product spaces.


title: Some topics pertaining to algebras of linear operators

abstract: On the one hand the algebras of linear operators here act on finite-dimensional vector spaces, and on the other hand the point of view is generally an analysts'. Also, one might think of algebras as being used to add more data to basic geometry as on a graph, for instance. Of course this is a common theme which is considered in numerous settings. From an analysts' perspective, compact groups, their representations, and more general topological groups and their representations are basic objects of study. Finite groups are like groups which are especially compact, and with some extra structure. As long as one considers finite groups and finite-dimensional vector spaces, one might as well consider general underlying fields k too. This includes p-adic fields, which are quite interesting for analysis.


title: Indecomposable canonical modules and connectedness

abstract: The purpose of this paper is to prove a generalization of Faltings' connectedness theorem which asserts that, for a complete local domain R of dimension n, the punctured spectrum of R/I is connected if the ideal I is generated by at most n-2 elements. We replace the condition that R be a domain by the requirement that the canonical module of R be indecomposable. We also study equivalent conditions for the canonical module to be indecomposable; under mild conditions this is equivalent to the S_2-ification of the local ring to be local.


title: Localization and test exponents for tight closure

abstract: In this paper we study various equivalent conditions for tight closure to commute with localization. If N is a submodule of a finitely generated module M over a Noetherian commutative ring of characteristic p, then a test exponent for c,N,M is defined to be a power q' of p such that u is in the tight closure of N in M whenever cu^q is in the qth Frobenius power of N for some q \ge q'. We prove that that a test exponent for a locally stable test element c and for N,M as above exists if and only if the tight closure of N in M commutes with localization. Other equivalent conditions are given for tight closure to commute with localization.


title: Comparison of symbolic and ordinary powers of ideals

abstract: In this paper we generalize the theorem of Ein-Lazarsfeld-Smith (concerning the behavior of symbolic powers of prime ideals in regular rings finitely generated over a field of characteristic 0) to arbitrary regular rings containing a field. The basic theorem states that in such rings, if P is a prime ideal of height c, then for all n, the symbolic (cn)th power of P is contained in the nth power of P. Results are also given in the non-regular case: one must correct by a power of the Jacobian ideal in rings where the Jacobian ideal is defined.


title: Automorphisms of quantum and classical Poisson algebras

abstract: We prove Pursell-Shanks type results for the Lie algebra D(M) of all linear differential operators of a smooth manifold M, for its Lie subalgebra D^1(M) of all linear first-order differential operators of M, and for the Poisson algebra S(M)=Pol(T*M) of all polynomial functions on the cotangent bundle T*M, the symbols of the operators in D(M). Chiefly however we provide explicit formulas describing completely the automorphisms of the Lie algebras D^1(M), S(M), and D(M).


title: Convexity properties of the cone of nonnegative polynomials

abstract: We study metric properties of the cone of homogeneous non-negative multivariate polynomials and the cone of sums of powers of linear forms, and the relationship between the two cones. We compute the maximum volume ellipsoid of the natural base of the cone of non-negative polynomials and the minimum volume ellipsoid of the natural base of the cone of powers of linear forms and compute the coefficients of symmetry of the bases. The multiplication by (x_1^2 + ... + x_n^2)^m induces an isometric embedding of the space of polynomials of degree $2k$ into the space of polynomials of degree 2(k+m), which allows us to compare the cone of non-negative polynomials of degree $2k$ and the cone of sums of 2(k+m)-powers of linear forms. We estimate the volume ratio of the bases of the two cones and the rate at which it approaches 1 as m grows.


title: Index defects in the theory of spectral boundary value problems

abstract: In this paper, we survey recent results on index defects of elliptic operators on manifolds with boundary. Index defects are similar to the Hirzebruch signature defects in topology, where the defects appear as the correction terms to the signature formula on manifolds with boundary. For some natural classes of elliptic operators, the index defects are found and the corresponding topological indices are computed. The theory is illustrated on two examples: operators satisfying Gilkey's parity condition and operators on twisted Z_n-manifolds. The index defect formula in the latter case is stated in the framework of noncommutative geometry.


title: Castelnuovo-Mumford regularity and extended degree

abstract: The main result of this paper shows that the Castelnuovo-Mumford regularity of the tangent cone of a local ring is effectively bounded by the dimension and any extended degree. From this it follows that there are only a finite number of Hilbert-Samuel functions of local rings with given dimension and extended degree.


title: On a hypergraph Turan problem of Frankl

abstract: Let $C^{2k}_r$ be the $2k$-uniform hypergraph obtained by letting $P_1,...,P_r$ be pairwise disjoint sets of size $k$ and taking as edges all sets $P_i \cup P_j$ with $i \neq j$. This can be thought of as the `$k$-expansion' of the complete graph $K_r$: each vertex has been replaced with a set of size $k$. We determine the exact Turan number of $C^{2k}_3$ and the corresponding extremal hypergraph, thus confirming a conjecture of Frankl. Sidorenko has given an upper bound of $(r-2) / (r-1)$ for the Tur\'an density of $C^{2k}_r$ for any $r$, and a construction establishing a matching lower bound when $r$ is of the form $2^p + 1$. We show that when $r = 2^p + 1$, any $C^4_r$-free hypergraph of density $(r-2)/(r-1) - o(1)$ looks approximately like Sidorenko's construction. On the other hand, when $r$ is not of this form, we show that corresponding constructions do not exist and improve the upper bound on the Tur\'an density of $C^4_r$ to $(r-2)/(r-1) - c(r)$, where $c(r)$ is a constant depending only on $r$. The backbone of our arguments is a strategy of first proving approximate structure theorems, and then showing that any imperfections in the structure must lead to a suboptimal configuration. The tools for its realisation draw on extremal graph theory, linear algebra, the Kruskal-Katona theorem and properties of Krawtchouck polynomials.


title: Positivity of mixed multiplicities

abstract: This paper studies mixed multiplicities of an arbitrary standard bigraded algebra and mixed multiplicities of two ideals I, J in a local ring (A,m), where I is an m-primary ideal and J an arbitrary ideal. The main results are criteria for their positivity which can be used to compute them effectively. We also show that the range of positive mixed multiplicities of a bigraded algebra is rigid if the algebra satisfies the first chain condition and is connected in codimension one and that this range is always rigid for mixed multiplicities of ideals. These results can be used to study the mu-invariants of analytic hypersurfaces, the degree of rational varieties obtained by blowing-up projective spaces, and the degree of the Stuckrad-Vogel cycles in intersection theory.


title: Hilbert polynomials of non-standard bigraded algebras

abstract: This paper is a systematic study of the Hilbert polynomial of a bigraded algebra R which are generated by elements of bidegrees (1,0), (d_1,1),...,(d_r,1), where d_1,...,d_r are non-negative integers. The obtained results can be applied to study Rees algebras of homogeneous ideals and their diagonal subalgebras. The Hilbert polynomial is computed explicitly in the following cases: (1) R is a bigraded polynomial ring of the above type; (2) R is the Rees algebra of an ideal generated by a homogeneous regular sequence; (3) R is the Rees algebra of the ideal generated by the maximal minors of a generic (r-1) by r matrix.


title: Determining a connected split reductive group from its irreducible representations

abstract: We show that a connected split reductive group G over a field of characteristic 0 is uniquely determined up to isomorphism by specifying a maximal torus T of G, the set of isomorphism classes of irreducible representations of G, and the character homomorphism from the Grothendieck ring of G to that of T.


title: A general notion of visiblity graphs

abstract: We define a natural class of graphs by generalizing prior notions of visibility, allowing the representing regions and sightlines to be arbitrary. We consider mainly the case of compact connected representing regions, proving two results giving necessary properties of visibility graphs, and giving some examples of classes of graphs that can be so represented. Finally, we give some applications of the concept, and we provide potential avenues for future research in the area.


title: Avoidable sets in groups

abstract: In a set equipped with a binary operation, (S,*), a subset U is defined to be avoidable if there exists a partition {A,B} of S such that no element of U is the product of two distinct elements of A or of two distinct elements of B. For more than two decades, avoidable sets in the natural numbers (under addition) have been studied by renowned mathematicians such as Erdos, and a few families of sets have been shown to be avoidable in that setting. In this paper we investigate the generalized notion of an avoidable set and determine the avoidable sets in several families of groups; previous work in this field considered only the case (S, *) = (N, +).


title: Nondegenerate Monge-Ampere structures in dimension 6

abstract: We define a nondegenerate Monge-Amp\`ere structure on a 6-dimensional manifold as a pair $(\Omega,\omega)$, such that $\Omega$ is a symplectic form and $\omega$ is a 3-differential form which satisfies $\omega\wedge\Omega=0$ and which is nondegenerate in the sense of Hitchin. We associate with such a pair a generalized almost (pseudo) Calabi-Yau structure and we study its integrability from the point of view of Monge-Amp\`ere operators theory. The result we prove appears as an analogue of Lychagin and Roubtsov theorem on integrability of the almost complex or almost product structure associated with an elliptic or hyperbolic Monge-Amp\`ere equation in the dimension 4. We study from this point of view the example of the Stenzel metric on the cotangent bundle of the sphere $S^3$.


title: K-Theory Tools For Local and Asymptotic Cyclic Cohomology

abstract: A generalization of Connes-Thom isomorphism is given for stable, homotopy invariant, and split exact functors on separable $C^*$-algebras. As examples of these functors, we concentrate on asymptotic and local cyclic cohomology and the result is applied to improve some formulas in asymptotic and local cyclic cohomology of $C^*$-algebras. As an other application, it is shown that these cyclic theories are rigid after Rieffel's deformation quantizations.


title: Degeneration, rigidity and irreducible components of Hopf algebras

abstract: The aim of this work is to discuss the concepts of degeneration, deformation and rigidity, and to apply them to the geometric study of the varieties of Hopf algebras. The main result is the description of the n-dimensional rigid Hopf algebras and the irreducible components for n=p^2, p prime and for n<14.


title: Lattice path matroids: enumerative aspects and Tutte polynomials

abstract: Fix two lattice paths P and Q from (0,0) to (m,r) that use East and North steps with P never going above Q. We show that the lattice paths that go from (0,0) to (m,r) and that remain in the region bounded by P and Q can be identified with the bases of a particular type of transversal matroid, which we call a lattice path matroid. We consider a variety of enumerative aspects of these matroids and we study three important matroid invariants, namely the Tutte polynomial and, for special types of lattice path matroids, the characteristic polynomial and the beta invariant. In particular, we show that the Tutte polynomial is the generating function for two basic lattice path statistics and we show that certain sequences of lattice path matroids give rise to sequences of Tutte polynomials for which there are relatively simple generating functions. We show that Tutte polynomials of lattice path matroids can be computed in polynomial time. Also, we obtain a new result about lattice paths from an analysis of the beta invariant of certain lattice path matroids.


title: Equidistribution of Kronecker sequences along closed horocycles

abstract: It is well known that (i) for every irrational number $\alpha$ the Kronecker sequence $m\alpha$ ($m=1,...,M$) is equidistributed modulo one in the limit $M\to\infty$, and (ii) closed horocycles of length $\ell$ become equidistributed in the unit tangent bundle $T_1 M$ of a hyperbolic surface $M$ of finite area, as $\ell\to\infty$. In the present paper both equidistribution problems are studied simultaneously: we prove that for any constant $\nu > 0$ the Kronecker sequence embedded in $T_1 M$ along a long closed horocycle becomes equidistributed in $T_1 M$ for almost all $\alpha$, provided that $\ell = M^{\nu} \to \infty$. This equidistribution result holds in fact under explicit diophantine conditions on $\alpha$ (e.g., for $\alpha=\sqrt 2$) provided that $\nu<1$, or $\nu<2$ with additional assumptions on the Fourier coefficients of certain automorphic forms. Finally, we show that for $\nu=2$, our equidistribution theorem implies a recent result of Rudnick and Sarnak on the uniformity of the pair correlation density of the sequence $n^2 \alpha$ modulo one.


title: On zeros of polynomials and allied functions satisfying second order differential equations

abstract: We shall give bounds on the spacing of zeros of certain functions belonging to the Laguerre-Polya class and satisfying a second order differential equation. As a corollary we establish new sharp inequalities on the extreme zeros of the Hermite, Laguerre and Jacobi polinomials, which are uniform in all the parameters.


title: Precompactness of solutions to the Ricci flow in the absence of injectivity radius estimates

abstract: Consider a sequence of pointed n-dimensional complete Riemannian manifolds {(M_i,g_i(t), O_i)} such that t in [0,T] are solutions to the Ricci flow and g_i(t) have uniformly bounded curvatures and derivatives of curvatures. Richard Hamilton showed that if the initial injectivity radii are uniformly bounded below then there is a subsequence which converges to an n-dimensional solution to the Ricci flow. We prove a generalization of this theorem where the initial metrics may collapse. Without injectivity radius bounds we must allow for convergence in the Gromov-Hausdorff sense to a space which is not a manifold but only a metric space. We then look at the local geometry of the limit to understand how it relates to the Ricci flow.


title: Concentration of norms and eigenvalues of random matrices

abstract: We prove concentration results for $\ell_p^n$ operator norms of rectangular random matrices and eigenvalues of self-adjoint random matrices. The random matrices we consider have bounded entries which are independent, up to a possible self-adjointness constraint. Our results are based on an isoperimetric inequality for product spaces due to Talagrand.


title: Unramified Brauer groups of finite simple groups of Lie type $A_{\ell}$

abstract: We study the subgroup B_0(G) of H^2(G,Q/Z) consisting of all elements which have trivial restrictions to every Abelian subgroup of G. The group B_0(G) serves as the simplest nontrivial obstruction to stable rationality of algebraic varieties V/G where V is a faithful complex linear representation of the group G. We prove that B_0(G) is trivial for finite simple groups of Lie type A_{\ell}.


title: On the asymptotic scalar curvature ratio of complete Type I-like ancient solutions to the Ricci flow on non-compact 3-manifolds

abstract: The main result of this paper is: Given any constant C, there is $(\epsilon,k,L)$ such that if a complete, orientable, noncompact odd-dimensional manifold with bounded positive sectional curvature contains a $(\epsilon,k,L)$-neck, then the asymptotic scalar curvature ratio is bigger or equal to C. As a application we proved that the asymptotic scalar curvature ratio of a complete noncompact ancient Type I-like solution to the Ricci flow with bounded positive sectional curvature on an orientable 3-manifold, is infinity.


title: A Maximum Principle for Combinatorial Yamabe Flow

abstract: This article studies a discrete geometric structure on triangulated manifolds and an associated curvature flow (combinatorial Yamabe flow). The associated evolution of curvature appears to be like a heat equation on graphs, but it can be shown to not satisfy the maximum principle. The notion of a parabolic-like operator is introduced as an operator which satisfies the maximum principle, but may not be parabolic in the usual sense of operators on graphs. A maximum principle is derived for the curvature of combinatorial Yamabe flow under certain assumptions on the triangulation, and hence the heat operator is shown to be parabolic-like. The maximum principle then allows a characterization of the curvature as well was a proof of long term existence of the flow.


title: Generalized Functions in Infinite Dimensional Analysis

abstract: We give a general approach to infinite dimensional non-Gaussian Analysis for measures which need not have a logarithmic derivative. This framework also includes the possibility to handle measures of Poisson type.


title: Identifying Powers of Half-Twists and Computing its Root

abstract: In this paper we give an algorithm for solving a main case of the conjugacy problem in the braid groups. We also prove that half-twists satisfy a special root property which allows us to reduce the solution for the conjugacy problem in half-twists into the free group. Using this algorithm one is able to check conjugacy of a given braid to one of E. Artin's generators in any power, and compute its root. Moreover, the braid element which conjugates a given half-twist to one of E. Artin's generators in any power can be restored. The result is applicable to calculations of braid monodromy of branch curves and verification of Hurwitz equivalence of braid monodromy factorizations, which are essential in order to determine braid monodromy type of algebraic surfaces and symplectic 4-manifolds.


title: A new realization of the cohomology of Springer fibers

abstract: In this note we give a geometric realization of the cohomology of Springer fibers in type A. More precisely, we describe the cohomology by the coordinate ring of a scheme theoretic intersection of a Cartan subalgebra with a certain union of cones of nilpotent elements inside the Lie algebra of the group SL_n. As such, the main result of this note is similar to an earlier description given by de Concini and Procesi.


title: Symetries Galoisiennes et Renormalisation

abstract: We first explain our joint work with Dirk Kreimer on the Hopf and Lie algebras of Feynman graphs. The conceptual meaning of the concrete computations of perturbative renormalisation is obtained from the Birkhoff decomposition in the Riemann-Hilbert problem. The relation of the Hopf algebra of graphs with the group of formal diffeomorphisms of complexified coupling constants allows for a geometric interpretation of the renormalisation procedure. We then discuss the relation between the above occurrence of the Riemann-Hilbert problem, the interpretation of the renormalisation group as a group of ambiguity of physical theories and the still mysterious Galois theory that should account at Archimedian places for the connected component of identity in the Idele class group of class field theory. This paper is the content of a talk given in the memory of Louis Michel in January 2001, and has appeared as such in the Poincare seminar of October 2002 in Paris.


title: Sturmian Words and the Permutation that Orders Fractional Parts

abstract: A Sturmian word is a map W from the natural numbers into {0,1} for which the set of {0,1}-vectors F_n(W):={(W(i),W(i+1),...,W(i+n-1))^T : i \ge 0} has cardinality exactly n+1 for each positive integer n. Our main result is that the volume of the simplex whose n+1 vertices are the n+1 points in F_n(W) does not depend on W. Our proof of this motivates studying algebraic properties of the permutation $\pi$ (depending on an irrational x and a positive integer n) that orders the fractional parts {1 x}, {2 x}, ..., {n x}, i.e., 0 < {\pi(1) x} < {\pi(2) x} < ... < {\pi(n) x} < 1. We give a formula for the sign of $\pi$, and prove that for every irrational x there are infinitely many n such that the order of $\pi$ (as an element of the symmetric group S_n) is less than n.


title: Simplicial complexes associated to certain subsets of natural numbers and its applications to multiplicative functions

abstract: We call a set of positive integers closed under taking unitary divisors a unitary ideal. It can be regarded as a simplicial complex. Moreover, a multiplicative arithmetical function on such a set corresponds to a function on the simplicial complex with the property that the value on a face is the product of the values at the vertices of that face. We use this observation to solve the following problems: 1) Let r be a positive integer and c a real number. What is the maximum value that \sum_{s \in S}g(s) can obtain when S is a unitary ideal containing precisely r prime powers, and g is the multiplicative function determined by g(s)=c when s \in S is a prime power? 2) Suppose that g is a multiplicative function which is \ge 1, and that we want to find the maximum of g(i) when 1 \le i \le n. At how many integers do we need to evaluate g?


title: Orthogonal Pure States in Operator Theory

abstract: We summarize and deepen recent results on systems of orthogonal pure states on operator algebras. Especially, we focus on noncommutative generalizations of some principles of topology of locally compact spaces such as exposining points by continuous functions, separating sets by continuous functions, and multiplicativity of pure states.


title: Noncommutative Rigidity

abstract: Using very weak criteria for what may constitute a noncommutative geometry, I show that a pseudo-Riemannian manifold can only be smoothly deformed into noncommutative geometries if certain geometric obstructions vanish. These obstructions can be expressed as a system of partial differential equations relating the metric and the Poisson structure that describes the noncommutativity. I illustrate this by computing the obstructions for well known examples of noncommutative geometries and quantum groups. These rigid conditions may cast doubt on the idea of noncommutatively deformed space-time.


title: Representation functions of additive bases for abelian semigroups

abstract: Let X = S \oplus G, where S is a countable abelian semigroup and G is a countably infinite abelian group such that {2g : g in G} is infinite. Let pi: X \to G be the projection map defined by pi(s,g) = g for all x =(s,g) in X. Let f:X \to N_0 cup infty be any map such that the set pi(f^{-1}(0)) is a finite subset of G. Then there exists a set B contained in X such that r_B(x) = f(x) for all x in X, where the representation function r_B(x) counts the number of sets {x',x''} contained in B such that x' \neq x'' and x'+x''=x. In particular, every function f from the integers Z into N_0 \cup infty such that f^{-1}(0) is finite is the representation function of an asymptotic basis for Z.


title: Counting occurrences of 132 in an even permutation

abstract: We study the generating function for the number of even (or odd) permutations on n letters containing exactly $r\gs0$ occurrences of 132. It is shown that finding this function for a given r amounts to a routine check of all permutations in $S_{2r}$.


title: Globally maximal arithmetic groups

abstract: We begin with a review of the structure of simple, simply-connected complex Lie groups and their Lie algebras, describe the Chevalley lattice and the associated split group over the integers. This gives us a hyperspecial maximal compact subgroup of the p-adic Lie group and we describe the other maximal parahoric subgroups and their Lie algebras starting from the hyperspecial one. We then consider the Killing form on the Chevalley lattice and show that it is divisible by 2 times the dual Coxeter number. The same holds for the Lie algebras of the other maximal parahorics. We compute the discriminants of the resulting scaled forms. Finally we consider Jordan subgroups of the exceptional groups. We show that these Jordan subgroups are globally maximal and determine their maximal compact overgroups in the p-adic Lie group. The last section treats the Jordan subgroups of the classical groups.


title: Zeta Correspondences in Rank-n

abstract: The purpose of this work is to study in the case of function fields and rank-$n$, certain correspondences associated with Jacobi sums in a Coleman's work.


title: A discrete extension of \Gamma_{1,p}^{\circ}(2) in SP(4,R) and the modular form of the Barth-Nieto quintic

abstract: We construct a maximal discrete extension of the paramodular group with a full level-2 structure. The corresponding Siegel variety parametrizes (birationally) the space of Kummer surfaces associated to (1,p)-polarized abelian surfaces with a level-2 structure. In the case p=3 this is related to the Barth-Nieto quintic and in this case we also determine the space of cusp forms of weight 3.


title: The time-dependent maximum principle for systems of parabolic equations subject to an avoidance set

abstract: In this paper we prove two extensions of Hamilton's maximal principle for systems pf parabolic equations which sould be useful for the study of the Ricci flow and some other geometric evolution equations. One extension is a time-dependent maximum principle and the other is a time-dependent maximum principle subject to an avoidance set.


title: A pinching estimate for solutions of the linearized Ricci flow system on 3-manifolds

abstract: We prove an estimate for solutions to the linearized Ricci flow system on closed 3-manifolds. This estimate is a generalization of Hamilton's pinching is preserved estimate for the Ricci curvatures of solutions to the Ricci flow on 3-manifolds with positive Ricci curvature. In our estimate we make no assumption on the curvature of the initial metric. We show that the norm of the solution of the Lichnerowicz Laplacian heat equation (coupled to the Ricci flow) is bounded by a constant (depending on time) times the scalar curvature plus a constant. This relies on a Bochner type formula and establishing the nonnegativity of a degree 4 homogeneous polynomial in 6 variables.


title: A note on the KAM theorem for partially integrable Hamiltonian systems

abstract: We provide a symplectic reduction of a partially integrable Hamiltonian system to a completely integrable one. The KAM theorem is applied to this reduced completely integrable Hamiltonian system. Its KAM perturbation generates a perturbation of the original partially integrable system such that the set of tori kept by this perturbation is large.


title: Orbits of families of vector fields on subcartesian spaces

abstract: Orbits of families of vector fields on a subcartesian space are shown to be smooth manifolds. This allows for a global description of a smooth geometric structure on a family of manifolds in terms of a single object defined on the corresponding family of vector fields. Stratified spaces, Poisson spaces and almost complex spaces are discussed.


title: Restricted permutations and queue jumping

abstract: A connection between permutations that avoid 4231 and a certain queueing discipline is established. It is proved that a more restrictive queueing discipline corresponds to avoiding both 4231 and 42513, and enumeration results for such permutations are given.


title: Monotonicity and Kaehler-Ricci flow

abstract: We show a connection between the linear trace Li-Yau-Hamilton inequality for the Kaehler-Ricci flow and the monotonicity formula for the positive currents. As an application of the linear trace Li-Yau-Hamilton stated in this paper and the one proved by Chow-Hamiltonm, we give another proof on the classification of the limit solutions of the Kaehler-Ricci (Ricci) flow.


title: On simultaneous linear extensions of partial (pseudo)metrics

abstract: We consider the question of simultaneous extension of (pseudo)metrics defined on nonempty closed subsets of a compact metrizable space. The main result is a counterpart of the result due to K\"unzi and Shapiro for the case of extension operators of partial continuous functions and includes, as a special case, Banakh's theorem on linear regular operators extending (pseudo)metrics.


title: Quadratic functions in geometry, topology,and M-theory

abstract: We describe an interpretation of the Kervaire invariant of a Riemannian manifold of dimension $4k+2$ in terms of a holomorphic line bundle on the abelian variety $H^{2k+1}(M)\otimes R/Z$. Our results are inspired by work of Witten on the fivebrane partition function in $M$-theory (hep-th/9610234, hep-th/9609122). Our construction requires a refinement of the algebraic topology of smooth manifolds better suited to the needs of mathematical physics, and is based on our theory of "differential functions." These differential functions generalize the differential characters of Cheeger-Simons, and the bulk of this paper is devoted to their study.


title: Introduction to p-adic q-difference equations (weak Frobenius structure and transfer theorems)

abstract: Inspired by the theory of p-adic differential equations, this paper introduces an analogous theory for q-difference equations over a local field, when |q|=1. We define some basic concepts, for instance the generic radius of convergence, introduce technical tools, such as a twisted Taylor formula for analytic functions, and prove some fundamental statements, such as an effective bound theorem, the existence of a weak Frobenius structure and a transfer theorem in regular singular disks.


title: Plurisubharmonic functions and the Kaehler-Ricci flow

abstract: We prove a linear trace Li-Yau-Hamilton inequality for the Kaehler-Ricci flow. We then use this sharp differential inequality to study the Liouville properties of the plurisubharmonic functions on complete Kaehler manifolds with nonnegative bisectional curvature.


title: Kaehler-Ricci flow and the Poincare-Lelong equation

abstract: We show that the solution constructed in an earlier work of Y-G. Shi and the authors can be used to obtain sharp gradient estimates for the Kaehler-Ricci flow which achieves equality on a steady soliton. The estimate can be applied to obtain a long time existence of the Kaehler-Ricci flow. In the second part of the paper we develope a so-called "moment" type estimate for the Kaehler-Ricci flow, through which we prove that the flow preserves several properties. In the last part we study the convergence of the Kaehler-Ricci flow.


title: Ample Vector Bundles and Branched Coverings, II

abstract: In continuation of our work in Comm. in Algebra, vol. 28 (2000), we study ramified coverings of projective manifolds, in particular over Fano manifolds and investigate positivity properties of the associated vector bundle. Moreover we study the topology of low degree coverings and the structure of the ramification divisor.


title: Isometries of quantum states

abstract: This paper treats the isometries of metric spaces of quantum states. We consider two metrics on the set all quantum states, namely the Bures metric and the one which comes from the trace-norm. We describe all the corresponding (nonlinear) isometries and also present similar results concerning the space of all (non-normalized) density operators.


title: Some non-conventional ideas about algorithmic complexity

abstract: In this paper the author presents some non-conventional thoughts on the complexity of the Universe and the algorithmic reproducibility of the human brain, essentially sparked off by the notion of algorithmic complexity. We must warn that though they evoke suggestive scenarios, they are still quite speculative.


title: Framing and the Self-Linking Integral

abstract: The Gauss self-linking integral of an unframed knot is not a knot invariant, but it can be turned into an invariant by adding a correction term which requires adding extra structure to the knot. We collect the different definitions/theorems/proofs concerning this correction term, most of which are well-known (at least as folklore) and put everything together in an accessible format. We then show simply and elegantly how these approaches coincide.


title: Abelian varieties of Weil type and Kuga-Satake varieties

abstract: We analyze the relationship between abelian fourfolds of Weil type and Hodge structures of type K3, and we extend some of these correspondences to the case of arbitrary dimension.


title: On a stellar structure for a stellar manifold

abstract: It is well known that a compact two dimensional surface is homeomorphic to a polygon with the edges identified in pairs. This paper not only presents a new proof of this statement but also generalizes it for any connected n-dimensional stellar manifold with a finite number of vertices.


title: Decomposing Hessenberg varieties over classical groups

abstract: Hessenberg varieties are a family of subvarieties of the flag variety, including the Springer fibers, the Peterson variety, and the entire flag variety itself. The seminal example arises from a problem in numerical analysis and consists for a fixed linear operator M of the full flags V_1 \subsetneq V_2 >... \subsetneq V_n in GL_n with M V_i contained in V_{i+1} for all i. In this paper I show that all Hessenberg varieties in type A_n and semisimple and regular nilpotent Hessenberg varieties in types B_n,C_n, and D_n can be paved by affine spaces. Moreover, this paving is the intersection of a particular Bruhat decomposition with the Hessenberg variety. In type A_n, an equivalent description of the cells of the paving in terms of certain fillings of a Young diagram can be used to compute the Betti numbers of Hessenberg varieties. As an example, I show that the Poincare polynomial of the Peterson variety in A_n is \sum_{i =0}^{n-1} \binom{n-1}{i} x^{2i}.


title: Prescribing scalar and boundary mean curvature on the three dimensional sphere

abstract: We consider the problem of prescribing the scalar curvature and the boundary mean curvature of the standard half three sphere, by deforming conformally its standard metric. Using blow up analysis techniques and minimax arguments, we prove some existence and compactness results.


title: Hamilton's injectivity radius estimate for sequences with almost nonnegative curvature operators

abstract: We give a new and complete proof of Hamilton's injectivity radius estimate for sequences with bounded and almost nonnegative curvature operators, unbounded diameters, and bump-like origins. Such sequences arise in particular from dilations about a singularity of the Ricci flow on a 3-manifold.


title: Duality in Gerstenhaber algebras

abstract: Let $C$ be a differential graded coalgebra, $ \bar\Omega C$ the Adams cobar construction and $C^\vee$ the dual algebra. We prove that for a large class of coalgebras $C$ there is a natural isomorphism of Gerstenhaber algebras between the Hochschild cohomologies $HH^\ast (C^\vee, C ^\vee)$ and $HH^\ast (\bar\Omega C ; \bar\Omega C)$. This result permits to describe a Hodge decomposition of the loop space homology of a closed oriented manifold, in the sense of Chas-Sullivan, when the field of coefficients is of characteristic zero.


title: A lower bound for the diameter of solutions to the Ricci flow with nonzero $H^{1}(M^{n};R)$

abstract: We obtain a lower bound for the diameter of a solution to the Ricci flow on a compact manifold with nonvanishing first real cohomology. A consequence of our result is an affirmative answer to Hamilton's conjecture that a product metric on $(S^{1}\times S^{n-1}$ cannot arise as a final time limit flow.


title: The Yang-Mills heat flow on the moduli space of framed bundles on a surface

abstract: We study the analog of the Yang-Mills heat flow on the moduli space of framed bundles on a cut surface. Existence and convergence of the heat flow give a stratification of Morse type invariant under the action of the loop group. We use the stratification to prove versions of Kahler quantization commutes with reduction and Kirwan surjectivity.


title: Strongly modular lattices with long shadow

abstract: We classify strongly modular lattices with longest and second longest possible shadow.


title: Gitter und Modulformen

abstract: A main goal in lattice theory is the construction of dense lattices. Most of the remarkable dense lattices in small dimensions have an additional symmetry, they are modular, i.e. similar to their dual lattice. Extremal lattices are densest modular lattices, whoses density is as high as the theory of modular forms allows it to be. The theory of theta series with harmonic coefficients allows to classify and to construct extremal lattices as well as to prove that some of them are strongly perfect and hence local maxima of the density function.


title: The Honeycomb Problem on the Sphere

abstract: The honeycomb problem on the sphere asks for the perimeter-minimizing partition of the sphere into N equal areas. This article solves the problem when N=12. The unique minimizer is a tiling of 12 regular pentagons in the dodecahedral arrangement.


title: Bergman kernels and local holomorphic Morse inequalities

abstract: Let X be a hermitian manifold and let L^k be a high power of a hermitian line bundle over X. Local versions of Demailly's holomorphic Morse inequalities are presented - after integration they yield the usual inequalities. The local weak inequalities hold on any hermitian manifold X, regardless of compactness and completeness. The proofs, which are elementary, are based on a new approach to pointwise Bergman kernel estimates, where the kernels are estimated by a model kernel in the standard complex space C^n.


title: A characterization of Morita equivalence pairs of quantales

abstract: We characterize the pairs of sup-lattices which occur as pairs of Morita equivalence bimodules between quantales in terms of the mutual relation between the sup-lattices.


title: Non-commutative symmetric differences in orthomodular lattices

abstract: We deal with the following question: What is the proper way to introduce symmetric difference in orthomodular lattices? Imposing two natural conditions on this operation, six possibilities remain: the two (commutative) normal forms of the symmetric difference in Boolean algebras and four non-commutative terms. It turns out that in many respects the non-commutative forms, though more complex with espect to the lattice operations, in their properties are much nearer to the symmetric difference in Boolean algebras than the commutative terms. As application we demonstrate the usefullness of non-commutative symmetric differences in the context of congruence relations.


title: Variants of equivariant Seiberg-Witten Floer homology

abstract: For a rational homology 3-sphere $Y$ with a $\spinc$ structure $\s$, we show that simple algebraic manipulations of our construction of equivariant Seiberg-Witten Floer homology lead to a collection of variants which are topological invariants. We establish exact sequences relating them, we show that they satisfy a duality under orientation reversal, and we explain their relation to ou previous construction of equivariant Seiberg-Witten Floer (co)homologies. We conjecture the equivalence of these versions of equivariant Seiberg-Witten Floer homology with the Heegaard Floer invariants introduced by Ozsv\'ath and Szab\'o.


title: Some questions related to fractals

abstract: This paper discusses some topics of enquiry concerning fractals, functions on them, and so on.


title: Differential forms canonically associated to even-dimensional compact conformal manifolds

abstract: On a 6-dimensional, conformal, oriented, compact manifold $M$ without boundary, we compute a whole family of differential forms $\Omega_6(f,h)$ of order 6, with $f,h \in C^\infty(M).$ Each of these forms will be symmetric on $f,$ and $h,$ conformally invariant, and such that $\int_M f_0 \Omega_6(f_1,f_2)$ defines a Hochschild 2-cocycle over the algebra $C^\infty(M).$ In the particular 6-dimensional conformally flat case, we compute the unique one satisfying $\Wres(f_0[F,f][F,h]) = \int_M f_0\Omega_6(f,h)$ for $(\cH,F)$ the Fredholm module associated by A. Connes \cite{Con1} to the manifold $M,$ and $\Wres$ the Wodzicki residue.


title: Characterizing Liminal And Type I Graph C*-Algebras

abstract: We prove that the C*-algebra of a directed graph $E$ is liminal iff the graph satisfies the finiteness condition: if $p$ is an infinite path or a path ending with a sink or an infinite emitter, and if $v$ is any vertex, then there are only finitely many paths starting with $v$ and ending with a vertex in $p$. Moreover, C*(E) is Type I precisely when the circuits of $E$ are either terminal or transitory, i.e., $E$ has no vertex which is on multiple circuits, and $E$ satisfies the weaker condition: for any infinite path $\lambda$, there are only finitely many vertices of $\lambda$ that get back to $\lambda$ in an infinite number of ways.


title: Local-global principle for the Baum-Connes conjecture with coefficients

abstract: We establish the Hasse principle (local-global principle) in the context of the Baum-Connes conjecture with coefficients. We illustrate this principle with the discrete group $GL(2,F)$ where $F$ is any global field.


title: Geometric quasi-isometric embeddings into Thompson's group F

abstract: We use geometric techniques to investigate several examples of quasi-isometrically embedded subgroups of Thompson's group F. Many of these are explored using the metric properties of the shift map phi in F. These subgroups have simple geometric but complicated algebraic descriptions. We present them to illustrate the intricate geometry of Thompson's group F as well as the interplay between its standard finite and infinite presentations. These subgroups include those of the form F^m cross Z^n, for integral non-negative m and n, which were shown to occur as quasi-isometrically embedded subgroups by Burillo and Guba and Sapir.


title: Hechler's theorem for the null ideal

abstract: We prove the following theorem: For a partially ordered set Q such that every countable subset has a strict upper bound, there is a forcing notion satisfying ccc such that, in the forcing model, there is a basis of the null ideal of the real line which is order-isomorphic to Q with respect to set-inclusion. This is a variation of Hechler's classical result in the theory of forcing, and the statement of the theorem for the meager ideal has been already proved by Bartoszynski and the author.


title: Representations of SL_2 and the distribution of points in P^n

abstract: It is an open problem to determine the dimension of the space of homogeneous polynomials of a fixed degree vanishing at finitely many points in the projective plane to certain multiplicities. We present various aspects of this problem and a version of a known algorithm (originally due to M. Nagata) to compute this dimension for nine or less points. Our methods are completely elementary and only involve the representation theory of SL_2.


title: Structure of the time projection for stopping times in von Neumann algebras

abstract: We give an explicit formula for the time projection in an arbitrary von Neumann algebra from which all its basic properties can be easily derived. The analysis of the situation when this time projection is a conditional expectation is also performed.


title: Inverse spectral problems for Sturm-Liouville operators with singular potentials

abstract: The inverse spectral problem is solved for the class of Sturm-Liouville operators with singular real-valued potentials from the space $W^{-1}_2(0,1)$. The potential is recovered via the eigenvalues and the corresponding norming constants. The reconstruction algorithm is presented and its stability proved. Also, the set of all possible spectral data is explicitly described and the isospectral sets are characterized.


title: Curvature-homogeneous indefinite Einstein metrics in dimension four: the diagonalizable case

abstract: We classify those curvature-homogeneous Einstein four-manifolds, of all metric signatures, which have a complex-diagonalizable curvature operator. They all turn out to be locally homogeneous. More precisely, any such manifold must be either locally symmetric or locally isometric to a suitable Lie group with a left-invariant metric. To show this we explicitly determine the possible local-isometry types of manifolds that have the properties named above, but are not locally symmetric.


title: Fourier-Mukai partners of a K3 surface of Picard number one

abstract: We shall give a complete geometrical description of the FM partners of a K3 surface of Picard number 1 and its applications.


title: Variational principle for generalized Gibbsian measures

abstract: We study the thermodynamic formalism for generalized Gibbs measures, such as renormalization group transformations of Gibbs measures or joint measures of disordered spin systems. We first show existence of the relative entropy density and obtain a familiar expression in terms of entropy and relative energy for "almost Gibbsian measures" (almost sure continuity of conditional probabilities). We also describe these measures as equilibrium states and establish an extension of the usual variational principle. As a corollary, we obtain a full variational principle for quasilocal measures. For the joint measures of the random field Ising model, we show that the weak Gibbs property holds, with an almost surely rapidly decaying translation invariant potential. For these measures we show that the variational principle fails as soon as the measures loses the almost Gibbs property. These examples suggest that the class of weakly Gibbsian measures is too broad from the perspective of a reasonable thermodynamic formalism.


title: Canonical stability of 3-folds of general type with $p_g\geq 3$

abstract: We study the canonical stability of a smooth projective 3-fold $V$ of general type. We prove that (1) $|5K_V|$ gives a birational map onto its image provided the geometric genus $p_g\geq 4$; (2) $|6K_V|$ gives a birational map provided $p_g=3$. Known examples show that both are optimal. This fact can be viewed as parallel to surface case, though people know very little on 3-folds of general type with $p_g\leq 1$.


title: Some topics concerning integrals of derivatives and difference quotients on metric spaces

abstract: This article discusses several matters related to Sobolev, Poincare, and isoperimetric inequalities in various settings.


title: Resonant local systems on complements of discriminantal arrangements and sl_2 representations

abstract: We calculate the skew-symmetric cohomology of the complement of a discriminantal hyperplane arrangement with coefficients in local systems arising in the context of the representation theory of the Lie algebra sl_2. For a discriminantal arrangement in C^k, the skew-symmetric cohomology is nontrivial in dimension k-1 precisely when the "master function" which defines the local system on the complement has nonisolated critical points. In symmetric coordinates, the critical set is a union of lines. Generically, the dimension of this nontrivial skew-symmetric cohomology group is equal to the number of critical lines.


title: Power-bounded operators and related norm estimates

abstract: We consider whether L = limsup_{n to infty} n ||T^{n+1}-T^n|| < infty implies that the operator T is power bounded. We show that this is so if L<1/e, but it does not necessarily hold if L=1/e. As part of our methods, we improve a result of Esterle, showing that if sigma(T) = {1} and T != I, then liminf_{n to infty} n ||T^{n+1}-T^n|| >= 1/e. The constant 1/e is sharp. Finally we describe a way to create many generalizations of Esterle's result, and also give many conditions on an operator which imply that its norm is equal to its spectral radius.


title: Module categories of simple current extensions of vertex operator algebras

abstract: In this article, we study module categries of simple current extensions of vertex operator algebras. Under certain assumptions, we show that every module for a rational vertex operator algebra be lifted to a twisted module for an extended algebra with an abelian symmetry.


title: Combinatorial Ricci Flows on Surfaces

abstract: We show that the analog of Hamilton's Ricci flow in the combinatorial setting produces solutions which converge exponentially fast to Thurston's circle packing on surfaces. As a consequence, a new proof of Thurston's existence of circle packing theorem is obtained. As another consequence, Ricci flow suggests a new algorithm to find circle packings.


title: Bounding the genus of subvarieties of generic hypersurfaces from below

abstract: A second-order invariant of C. Voisin gives a powerful method for bounding from below the geometric genus of a k-dimensional subvariety of a degree-d hypersurface in complex projective n-space. This work uses the Voisin method to establish a general bound, which lies behind recent results of G. Pacienza and Z. Ran.


title: Kac-Moody groups: split and relative theories. Lattices

abstract: In this survey article, we recall some facts about split Kac-Moody groups as defined by J. Tits, describe their main properties and then propose an analogue of Borel-Tits theory for a non-split version of them. The main result is a Galois descent theorem, i.e. the persistence of a nice combinatorial structure after passing to rational points. We are also interested in the geometric point of view, namely the production of new buildings admitting (nonuniform) lattices.


title: On the distribution of the order and index of g(mod p) over residue classes

abstract: For a fixed rational number g, not equal to -1,0 or 1 and integers a and d we consider the set of primes p for which the order of g(mod p) is congruent to a(mod d). For d=4 and d=3 it is shown that, under the Generalized Riemann Hypothesis, these sets have a natural density. Moreover, we explicitly compute this density. For d=4 this generalises earlier work by K. Chinen and L. Murata. The case d=3 was apparently not considered before.


title: The sigma-sequence and counting occurrences of some patterns, subsequences and subwords

abstract: We consider sigma-words, which are words used by Evdokimov in the construction of the sigma-sequence. We then find the number of occurrences of certain patterns and subwords in these words.


title: A multidimensional Law of Sines

abstract: We extend the Law of Sines to simplices in Euclidean spaces of any number of dimensions.


title: Categories of holomorphic vector bundles on noncommutative two-tori

abstract: In this paper we study the category of standard holomorphic vector bundles on a noncommutative two-torus. We construct a functor from the derived category of such bundles to the derived category of coherent sheaves on an elliptic curve and prove that it induces an equivalence with the subcategory of stable objects. By the homological mirror symmetry for elliptic curves this implies an equivalence between the derived category of holomorphic bundles on a noncommutative two-torus and the Fukaya category of the corresponding symplectic (commutative) torus.


title: The regularity of points in multi-projective spaces

abstract: Let I = p_1^{m_1} \cap ... \cap p_s^{m_s} be the defining ideal of a scheme of fat points in P^{n_1} x ... x P^{n_k} with support in generic position. When all the m_i's are 1, we explicitly calculate the Castelnuovo-Mumford regularity of I. In general, if at least one m_i >= 2, we give an upper bound for the regularity of I, which extends the result of Catalisano, Trung and Valla to the multi-projective case.


title: Isolated non-normal crossings

abstract: We describe a multivariable polynomial invariant for certain class of non isolated hypersurface singularities generalizing the characteristic polynomial on monodromy. The starting point is an extension of a theorem due to Le Dung Trang and K.Saito on commutativity of the local fundamental groups of certain hypersurfaces. The description of multivariable polynomial invariants is given in terms of the ideals and polytopes of quasiadjunction generalizing corresponding data used in the study of the homotopy groups of the complements to projective hypersurfaces and Alexander invariants of plane reducible curves.


title: The Rogers--Ramanujan recursion and intertwining operators

abstract: We use vertex operator algebras and intertwining operators to study certain substructures of standard $A_1^{(1)}$--modules, allowing us to conceptually obtain the classical Rogers--Ramanujan recursion. As a consequence we recover Feigin-Stoyanovsky's character formulas for the principal subspaces of the level 1 standard $A_1^{(1)}$--modules.


title: A Survey of Hamilton's Program for the Ricci Flow on 3-manifolds

abstract: We give a brief survey of Hamilton's program for 3-manifolds as an approach toward Thurston's Geometrization Conjectre.


title: On alternative approach for verifiable secret sharing

abstract: Secret sharing allows split/distributed control over the secret (e.g. master key). Verifiable secret sharing (VSS) is the secret sharing extended by verification capacity. Usually verification comes at the price. We propose "free lunch", the approach that allows to overcome this inconvenience.


title: Counting Lattice Triangulations

abstract: We discuss the problem to count, or, more modestly, to estimate the number f(m,n) of unimodular triangulations of the planar grid of size $m\times n$. Among other tools, we employ recursions that allow one to compute the (huge) number of triangulations for small m and rather large n by dynamic programming; we show that this computation can be done in polynomial time if m is fixed, and present computational results from our implementation of this approach. We also present new upper and lower bounds for large m and n, and we report about results obtained from a computer simulation of the random walk that is generated by flips.


title: On ASGS framework: general requirements and an example of implementation

abstract: In the paper we propose general framework for Automatic Secret Generation and Sharing (ASGS) that should be independent of underlying secret sharing scheme. ASGS allows to prevent the dealer from knowing the secret or even to eliminate him at all. Two situations are discussed. First concerns simultaneous generation and sharing of the random, prior nonexistent secret. Such a secret remains unknown until it is reconstructed. Next, we propose the framework for automatic sharing of a known secret. In this case the dealer does not know the secret and the secret owner does not know the shares. We present opportunities for joining ASGS with other extended capabilities, with special emphasize on PVSS and proactive secret sharing. Finally, we illustrate framework with practical implementation. Keywords: cryptography, secret sharing, data security, extended capabilities, extended key verification protocol


title: Cycles over fields of transcendence degree one

abstract: We extend earlier examples provided by Schoen, Nori and Bloch to show that when a surface has the property that the kernel of its Albanese map is non-zero over the field of complex numbers, this kernel is non-zero over a field of transcendence degree one. This says that the conjecture of Bloch and Beilinson that this kernel is zero for varieties over number fields is precise in the sense that it is not valid for fields of transcendence degree one.