title: A minimal classical sequent calculus free of structural rules

abstract: Gentzen's classical sequent calculus LK has explicit structural rules for contraction and weakening. They can be absorbed (in a right-sided formulation) by replacing the axiom P,(not P) by Gamma,P,(not P) for any context Gamma, and replacing the original disjunction rule with Gamma,A,B implies Gamma,(A or B). This paper presents a classical sequent calculus which is also free of contraction and weakening, but more symmetrically: both contraction and weakening are absorbed into conjunction, leaving the axiom rule intact. It uses a blended conjunction rule, combining the standard context-sharing and context-splitting rules: Gamma,Delta,A and Gamma,Sigma,B implies Gamma,Delta,Sigma,(A and B). We refer to this system M as minimal sequent calculus. We prove a minimality theorem for the propositional fragment Mp: any propositional sequent calculus S (within a standard class of right-sided calculi) is complete if and only if S contains Mp (that is, each rule of Mp is derivable in S). Thus one can view M as a minimal complete core of Gentzen's LK.


title: Homology 3-spheres in codimension three

abstract: For smooth embeddings of an integral homology 3-sphere in the 6-sphere, we define an integer invariant in terms of their Seifert surfaces. Our invariant gives a bijection between the set of smooth isotopy classes of such embeddings and the integers. It also gives rise to a complete invariant for homology bordism classes of all embeddings of homology 3-spheres in the 6-sphere. As a consequence, we show that two embeddings of an oriented integral homology 3-sphere in the 6-sphere are isotopic if and only if they are homology bordant. We also relate our invariant to the Rohlin invariant and accordingly characterise those embeddings which are compressible into the 5-sphere.


title: Sample Paths in Wavelet Theory

abstract: We consider a class of convergence questions for infinite products that arise in wavelet theory when the wavelet filters are more singular than is traditionally built into the assumptions. We establish pointwise convergence properties for the absolute square of the scaling functions. Our proofs are based on probabilistic tools.


title: Theorems of Brion, Lawrence, and Varchenko on rational generating functions for cones

abstract: We discuss and give elementary proofs of results of Brion and of Lawrence-Varchenko on the lattice-point enumerator generating functions for polytopes and cones. This largely expository note contains a new proof of Brion's Formula using irrational decompositions, and a generalization of the Lawrence-Varchenko formula.


title: Cyclotomic Nazarov-Wenzl algebras

abstract: Nazarov \cite{Nazarov:brauer} introduced an infinite dimensional algebra, which he called the \textit{affine Wenzl algebra}, in his study of the Brauer algebras. In this paper we study certain ``cyclotomic quotients'' of these algebras. We construct the irreducible representations of these algebras in the generic case and use this to show that these algebras are free of rank $r^n(2n-1)!!$ (when $\Omega$ is $\bu$--admissible). We next show that these algebras are cellular and give a labelling for the simple modules of the cyclotomic Nazarov--Wenzl algebras over an arbitrary field. In particular, this gives a construction of all of the finite dimensional irreducible modules of the affine Weyl algebra (when $\Omega$ is admissible).


title: How to Expand the Zariski Topology

abstract: We introduce the notion of a Hu-Liu prime ideal in the context of left commutative rngs, and establish the contravariant functor from the category of left commutative rngs into the category of topological spaces.


title: Expected lengths and distribution functions for Young diagrams in the hook

abstract: We consider $\beta$--Plancherel measures \cite{Ba.Ra.} on subsets of partitions -- and their asymptotics. These subsets are the Young diagrams contained in a $(k,\ell)$--hook, and we calculate the asymptotics of the expected shape of these diagrams, relative to such measures. We also calculate the asymptotics of the distribution function of the lengths of the rows and the columns for these diagrams. This might be considered as the restriction to the $(k,\ell)$--hook of the fundamental work of Baik, Deift and Johansson \cite{B.D.J.1}. The above asymptotics are given here by ratios of certain Selberg-type multi--integrals.


title: Files for Gabriel-Zisman localization

abstract: This preprint contains the Coq proof files for Gabriel-Zisman localization, bundled with the source. The text of this preprint consists of the definitions and lemma statements of the main files, with proofs removed. See the other preprint ``Explaining GZ localization to the computer'' for explanation and discussion.


title: Explaining Gabriel-Zisman localization to the computer

abstract: This explains a computer formulation of Gabriel-Zisman localization of categories in the proof assistant Coq. It includes both the general localization construction with the proof of GZ's Lemma 1.2, as well as the construction using calculus of fractions. The proof files are bundled with the other preprint "Files for GZ localization" posted simultaneously.


title: Contact Dehn surgery, symplectic fillings, and Property P for knots

abstract: These are notes of a talk given at the Mathematische Arbeitstagung 2005 in Bonn. Following ideas of Ozbagci-Stipsicz, a proof based on contact Dehn surgery is given of Eliashberg's concave filling theorem for contact 3-manifolds. The role of that theorem in the Kronheimer-Mrowka proof of property P for nontrivial knots is sketched.


title: On restricted Leibniz algebras

abstract: In this paper we prove that in prime characteristic there is a functor $-_{p-Leib}$ from the category of diassociative algebras to the category of restricted Leibniz algebras, generalizing the functor from associative algebras to restricted Lie algebras. Moreover we define the notion of restricted universal enveloping diassociative algebra $Ud_{p}(g)$ of a restricted Leibniz algebra $g$ and we show that $Ud_{p}$ is left adjoint to the functor $-_{p-Leib}$. We also construct the restricted enveloping algebra, which classifies the restricted Leibniz modules. In the last section we put a restricted pre-Lie structure on the tensor product of a Leibniz algebra by a Zinbiel algebra.


title: Examples of quasi-hyperbolic dynamical systems with slow decay of correlations

abstract: We give examples of quasi-hyperbolic dynamical systems with the following properties : polynomial decay of correlations, convergence in law toward a non gaussian law of the ergodic sums (divided by $n^{3/4}$) associated to non degenerated regular functions.


title: Foundations of real analysis and computability theory in non-Aristotelian finitary logic

abstract: This paper outlines new paradigms for real analysis and computability theory in the recently proposed non-Aristotelian finitary logic (NAFL). Constructive real analysis in NAFL (NRA) is accomplished by a translation of diagrammatic concepts from Euclidean geometry into an extension (NPAR) of the NAFL version of Peano Arithmetic (NPA). Such a translation is possible because NPA proves the existence of every infinite proper class of natural numbers that is definable in the language of NPA. Infinite sets are not permitted in NPAR and quantification over proper classes is banned; hence Cantor's diagonal argument cannot be legally formulated in NRA, and there is no `cardinality' for any collection (`super-class') of real numbers. Many of the useful aspects of classical real analysis, such as, the calculus of Newton and Leibniz, are justifiable in NRA. But the paradoxes, such as, Zeno's paradoxes of motion and the Banach-Tarski paradox, are resolved because NRA admits only closed super-classes of real numbers; in particular, open/semi-open intervals of real numbers are not permitted. The NAFL version of computability theory (NCT) rejects Turing's argument for the undecidability of the halting problem and permits hypercomputation. Important potential applications of NCT are in the areas of quantum and autonomic computing.


title: On coding with Feller contractive Markov systems

abstract: We continue development of the theory of contractive Markov systems initiated in \cite{Wer1}. In this paper, we construct the coding map for Feller contractive Markov systems. This allows us to prove a generalization of Ledrappier's Theorem \cite{Le} and to show the existence of observable invariant measures for Feller contractive Markov system.


title: A geometric characterization of orientation reversing involutions

abstract: We give a geometric characterization of compact Riemann surfaces admitting orientation reversing involutions with fixed points. Such surfaces are generally called real surfaces and can be represented by real algebraic curves with non-empty real part. We show that there is a family of disjoint simple closed geodesics that intersect all geodesics of a partition at least twice in uniquely right angles if and only if the involution exists. This implies that a surface is real if and only if there is a pants decomposition of the surface with all Fenchel-Nielsen twist parameters equal to 0 or 1/2.


title: Edge Expansion of Cubical Complexes

abstract: In this paper we show that graphs of "neighbourly" cubical complexes -- cubical complexes in which every pair of vertices spans a (unique) cube -- have good expansion properties, using a technique based on multicommodity flows. By showing that graphs of stable set polytopes are graphs of neighbourly cubical complexes we give a new proof that graphs of stable set polytopes have edge expansion 1.


title: On curvature and feedback classification of two-dimensional optimal control systems

abstract: The goal of this paper is to extend to two-dimensional optimal control systems with scalar input the classical notion of Gaussian curvature of two-dimensional Riemannian surface using the Cartan's moving frame method. This notion was already introduced by A. A. Agrachev and R. V. Gamkrelidze for more general control systems using a purely variational approach. Then we will see that the ``control'' analogue to Gaussian curvature reflects similar intrinsic properties of the extremal flow. In particular if the curvature is negative, arbitrarily long segment of extremals are locally optimal. Finally, we will define and characterize flat control systems.


title: Preperiodic points of polynomials over global fields

abstract: Given a global field K and a polynomial f defined over K of degree at least two, Morton and Silverman conjectured in 1994 that the number of K-rational preperiodic points of f is bounded in terms of only the degree of K and the degree of f. In 1997, for quadratic polynomials over K=Q, Call and Goldstine proved a bound which was exponential in s, the number of primes of bad reduction of f. By careful analysis of the filled Julia sets at each prime, we present an improved bound on the order of slog(s). Our bound applies to polynomials of any degree (at least two) over any global field K.


title: Weak curvature conditions and functional inequalities

abstract: We give sufficient conditions for a measured length space (X,d,m) to admit local and global Poincare inequalities. We first introduce a condition DM on (X,d,m), defined in terms of transport of measures. We show that DM, along with a doubling condition on m, implies a scale-invariant local Poincare inequality. We show that if (X,d,m) has nonnegative N-Ricci curvature and has unique minimizing geodesics between almost all pairs of points then it satisfies DM, with constant 2^N. The condition DM is preserved by measured Gromov-Hausdorff limits. We then prove a Sobolev inequality for measured length spaces with N-Ricci curvature bounded below by K>0. Finally, we prove a sharp global inequality.


title: Subgroups of direct products of elementarily free groups

abstract: We exploit Zlil Sela's description of the structure of groups having the same elementary theory as free groups: they and their finitely generated subgroups form a prescribed subclass E of the hyperbolic limit groups. We prove that if $G_1,...,G_n$ are in E then a subgroup $\Gamma\subset G_1\times...\times G_n$ is of type $\FP_n$ if and only if $\Gamma$ is itself, up to finite index, the direct product of at most $n$ groups from $\mathcal E$. This answers a question of Sela.


title: Olson's theorem for cyclic groups

abstract: Let $n$ be a large number. A subset $A$ of $Z_n$ is complete if $S_A = Z_n$, where $S_A$ is the collection of the subset sums of $A$. Olson proved that if $n$ is a prime and $|A|> 2n^{1/2} $, then $S_A$ is complete. We show that a similar result for the case when $n$ is a composite number, using a different approach.


title: Stability and invariants of Hilsum-Skandalis maps

abstract: We consider principal bundles as generalized morphisms between topological groupoids. In the category of these generalized morphisms two topological groupoids are isomorphic if and only if they are Morita equivalent. We show that the fibers of a generalized morphism from H to G induce a singular foliation of the topological groupoid H, and we prove a Reeb-Thurston stability theorem for such foliations. Next, we use generalized morphisms to study some Morita invariants of topological groupoids, in particular the homotopy groups of a topological groupoid and the Connes convolution algebra of an etale groupoid.


title: Unknotting information from Heegaard Floer homology

abstract: We use Heegaard Floer homology to obtain bounds on unknotting numbers. This is a generalisation of Ozsvath and Szabo's obstruction to unknotting number one. We determine the unknotting numbers of 9_10, 9_13, 9_35, 9_38, 10_53, 10_101 and 10_120; this completes the table of unknotting numbers for prime knots with crossing number nine or less. Our obstruction uses a refined version of Montesinos' theorem which gives a Dehn surgery description of the branched double cover of a knot.


title: Formal deformations of morphisms of associative algebras

abstract: The strong homotopy Lie algebra, controlling simultaneous deformations of a morphism of associative algebras and its domain and codomain is constructed. Isomorphism of the cohomology of this strong homotopy Lie algebra with the classical construction is shown.


title: Formality theorem for Lie bialgebras and quantization of coboundary r-matrices

abstract: Let $(g,\delta_\hbar)$ be a Lie bialgebra. Let $(U_\hbar(g),\Delta_\hbar)$ a quantization of $(g,\delta_\hbar)$ through Etingof-Kazhdan functor. We prove the existence of a $L_\infty$-morphism between the Lie algebra $C(\g)=\Lambda(g)$ and the tensor algebra $TU=T(U_\hbar(g)[-1])$ with Lie algebra structure given by the Gerstenhaber bracket. When $(g,\delta_\hbar,r)$ is a coboundary Lie bialgebra, we deduce from the formality morphism the existence of a quantization $R$ of $r$.


title: The local Gromov-Witten invariants of configurations of rational curves

abstract: We compute the local Gromov-Witten invariants of certain configurations of rational curves in a Calabi-Yau threefold. These configurations are connected subcurves of the `minimal trivalent configuration', which is a particular tree of P^1's with specified formal neighborhood. We show that these local invariants are equal to certain global or ordinary Gromov-Witten invariants of a blowup of P^3 at points, and we compute these ordinary invariants using the geometry of the Cremona transform. We also realize the configurations in question as formal toric schemes and compute their formal Gromov--Witten invariants using the mathematical and physical theories of the topological vertex. In particular, we provide further evidence equating the vertex amplitudes derived from physical and mathematical theories of the topological vertex.


title: Acceleration Operators in the Value Iteration Algorithms for Markov Decision Processes

abstract: We study the general approach to accelerating the convergence of the most widely used solution method of Markov decision processes with the total expected discounted reward. Inspired by the monotone behavior of the contraction mappings in the feasible set of the linear programming problem equivalent to the MDP, we establish a class of operators that can be used in combination with a contraction mapping operator in the standard value iteration algorithm and its variants. We then propose two such operators, which can be easily implemented as part of the value iteration algorithm and its variants. Numerical studies show that the computational savings can be significant especially when the discount factor approaches 1 and the transition probability matrix becomes dense, in which the standard value iteration algorithm and its variants suffer from slow convergence.


title: Galois Groups Via Atkin-Lehner Twists

abstract: Using Serre's proposed complement to Shih's Theorem, we obtain PSL_2(F_p) as a Galois group over Q for at least 614 new primes p. Under the assumption that rational elliptic curves with odd analytic rank have positive rank, we obtain Galois realizations for 3/8 of the primes not covered by previous results; it would also suffice to assume a certain (plausible, and perhaps tractable) conjecture concerning class numbers of quadratic fields. The key issue is to understand rational points on Atkin-Lehner twists of X_0(N). In an appendix, we explore the existence of local points on these curves.


title: A brief introduction to operator quantum error correction

abstract: We give a short introduction to operator quantum error correction. This is a new protocol for error correction in quantum computing that has brought the fundamental methods under a single umbrella, and has opened up new possibilities for protecting quantum information against undesirable noise. We describe the various conditions that characterize correction in this scheme.


title: The singular Riemann-Roch theorem and Hilbert-Kunz functions

abstract: In the paper, by the singular Riemann-Roch theorem, it is proved that the class of the e-th Frobenius power can be described using the class of the canonical module for a normal local ring of positive characteristic. As a corollary, we prove that the coefficient of the second term of the Hilbert-Kunz function of a finitely generated A-module M vanishes if A is a Q-Gorenstein ring and M is of finite projective dimension. For a normal algebraic variety X over a perfect field of positive characteristic, it is proved that the first Chern class of the direct image of the structure sheaf via e-th Frobenius power can be described using the canonical divisor of X.


title: Characterizations of compact and discrete quantum groups through second duals

abstract: A locally compact group $G$ is compact if and only if $L^1(G)$ is an ideal in $L^1(G)^{**}$, and the Fourier algebra $A(G)$ of $G$ is an ideal in $A(G)^{**}$ if and only if $G$ is discrete. On the other hand, $G$ is discrete if and only if $C_0(G)$ is an ideal in $C_0(G)^{**}$. We show that these assertions are special cases of results on locally compact quantum groups in the sense of J. Kustermans and S. Vaes. In particular, a von Neumann algebraic quantum group $(M,\Gamma)$ is compact if and only if $M_*$ is an ideal in $M^*$, and a (reduced) $C^*$-algebraic quantum group $(A,\Gamma)$ is discrete if and only if $A$ is an ideal in $A^{**}$.


title: The Second Order Estimate for Fully Nonlinear Uniformly Elliptic Equations without Concavity Assumption

abstract: Investigating for interior regularity of viscosity solutions to the fully nonlinear elliptic equation $$F(x,u,\triangledown u,\triangledown ^2 u)=0,$$ we establish the interior $C^{1+1}$ continuity under the assumptions that $F$ is uniformly elliptic, H$\ddot o$lder continuous and satisfies the natural structure conditions of fractional order, but without the concavity assumption of $F$. These assumptions are weaker and the result is stronger than that of Caffarelli and Wang[1], Chen[2].


title: Still another approach to the braid ordering

abstract: We develop a new approach to the linear ordering of the braid group $B\_n$, based on investigating its restriction to the set $\Div(\Delta\_n^d)$ of all divisors of $\Delta\_n^d$ in the monoid $B\_\infty^+$, i.e., to positive $n$-braids whose normal form has length at most $d$. In the general case, we compute several numerical parameters attached with the finite orders $(\Div(\Delta\_n^d), <)$. In the case of 3 strands, we moreover give a complete description of the increasing enumeration of $(\Div(\Delta\_3^d), <)$. We deduce a new and specially direct construction of the ordering on $B\_3$, and a new proof of the result that its restriction to $B\_3^+$ is a well-ordering of ordinal type $\omega^\omega$.


title: Reciprocals of Binary Power Series

abstract: If A is a set of nonnegative integers containing 0, then there is a unique nonempty set B of nonnegative integers such that every positive integer can be written in the form a+b, where a\in A and b\in B, in an even number of ways. We compute the natural density of B for several specific sets A, including the Prouhet-Thue-Morse sequence, {0} \cup {2^n : n \geq 0}, and random sets, and we also study the distribution of densities of B for finite sets A. This problem is motivated by Euler's observation that if A is the set of n that have an odd number of partitions, then B is the set of pentagonal numbers {n(3n+1)/2 : n \in Z}. We also elaborate the connection between this problem and the theory of de Bruijn sequences and linear shift registers.


title: Plane curves in boxes and equal sums of two powers

abstract: Given an absolutely irreducible ternary form $F$, the purpose of this paper is to produce better upper bounds for the number of integer solutions to the equation F=0, that are restricted to lie in very lopsided boxes. As an application of the main result, a new paucity estimate is obtained for equal sums of two like powers.


title: On the algebra of quasi-shuffles

abstract: For any commutative algebra $R$ the shuffle product on the tensor module $T(R)$ can be deformed to a new product. It is called the quasi-shuffle algebra, or stuffle algebra, and denoted $T^q(R)$. We show that if $R$ is the polynomial algebra, then $T^q(R)$ is free for some algebraic structure called Commutative TriDendriform (CTD-algebras). This result is part of a structure theorem for CTD-bialgebras which are associative as coalgebras and whose primitive part is commutative. In other words, there is a good triple of operads $(As, CTD, Com)$ analogous to $(Com, As, Lie)$.


title: On the Kashiwara-Vergne conjecture

abstract: Let $G$ be a connected Lie group, with Lie algebra $g$. In 1977, Duflo constructed a homomorphism of $g$-modules $Duf: S(g) -> U(g)$, which restricts to an algebra isomorphism on invariants. Kashiwara and Vergne (1978) proposed a conjecture on the Campbell-Hausdorff series, which (among other things) extends the Duflo theorem to germs of bi-invariant distributions on the Lie group $G$. The main results of the present paper are as follows. (1) Using a recent result of Torossian (2002), we establish the Kashiwara-Vergne conjecture for any Lie group $G$. (2) We give a reformulation of the Kashiwara-Vergne property in terms of Lie algebra cohomology. As a direct corollary, one obtains the algebra isomorphism $H(g,S(g)) -> H(g,U(g))$, as well as a more general statement for distributions.


title: On projective group properties of the $6D$ pseudo-Riemannian space

abstract: We study the six-dimensional pseudo-Riemannian spaces with two time-like coordinates that admit non-homothetic infinitesimal projective transformations. The metrics are manifestly obtained and the projective group properties are determined. We also find a generic defining of projective motion in the 6-dimensional rigid h-space.


title: Lower bounds on the Calabi functional

abstract: The main result of this paper shows that "test configurations" give new lower bounds on the $L^{2}$ norm of the scalar curvature on a Kahler manifold. This is closely analogous to the analysis of the Yang-Mills functional over Riemann surfaces by Atiyah and Bott. The proof uses asymptotic approximation by finite-dimensional problems: the essential ingredient being the Tian-Zelditch-Lu expansion of the "density of states" function.


title: The rational cohomology of \Mbar_4

abstract: We present two approaches to the study of the cohomology of moduli spaces of curves. Together, they allow us to compute the rational cohomology of the moduli space \Mbar_4 of stable complex curves of genus 4, with its Hodge structure.


title: Compatible Lie brackets related to elliptic curve

abstract: For the direct sum of several copies of sl_n, a family of Lie brackets compatible with the initial one is constructed. The structure constants of these brackets are expressed in terms of theta-functions associated with an elliptic curve. The structure of Casimir elements for these brackets is investigated. A generalization of this construction to the case of vector-valued theta-functions is presented. The brackets define a multi-hamiltonian structure for the elliptic sl_n-Gaudin model. A different procedure for constructing compatible Lie brackets based on the argument shift method for quadratic Poisson brackets is discussed.


title: Nonlinear Schrodinger equations with symmetric multi-polar potentials

abstract: This paper deals with a class of nonlinear elliptic equations involving a critical power-nonlinearity as well as a potential featuring multiple inverse square singularities. When the poles form a symmetric structure, it is natural we wonder how the symmetry affects such mutual interaction. The present paper means to study this aspect from the point of view of the existence of solutions inheriting the same symmetry properties as the set of singularities.


title: On *-representations of a certain class of algebras related to a graph

abstract: We study families of self-adjoint operators with given spectra whose sum is a scalar operator. Such families are $*$-representations of certain algebras which can be described in terms of graphs and positive functions on them. The main result is that in the cases where the graph is one of the extended Dynkin graphs $\tilde D_4$, $\tilde E_6$, $\tilde E_7$ or $\tilde E_8$, all irreducible $*$-representations of the corresponding algebra are finite-dimensional. To prove this fact, we introduce the notion of invariant functional on a graph and give their description.


title: Rankin-Cohen brackets and formal quantization

abstract: In this paper, we use the theory of deformation quantization to understand Connes' and Moscovici's results \cite{cm:deformation}. We use Fedosov's method of deformation quantization of symplectic manifolds to reconstruct Zagier's deformation \cite{z:deformation} of modular forms, and relate this deformation to the Weyl-Moyal product. We also show that the projective structure introduced by Connes and Moscovici is equivalent to the existence of certain geometric data in the case of foliation groupoids. Using the methods developed by the second author \cite{t1:def-gpd}, we reconstruct a universal deformation formula of the Hopf algebra $\calh_1$ associated to codimension one foliations. In the end, we prove that the first Rankin-Cohen bracket $RC_1$ defines a noncommutative Poisson structure for an arbitrary $\calh_1$ action.


title: On a class of algebras associated to directed graphs

abstract: To any directed graph we associate an algebra with edges of the graph as generators and with relations defined by all pairs of directed paths with the same origin and terminus. Such algebras are related to factorizations of polynomials over noncommutative algebras. We also construct a basis for our algebras associated to layered graphs.


title: A Small-Gain Theorem for Monotone Systems with Multi-Valued Input-State Characteristics

abstract: We provide a new global small-gain theorem for feedback interconnections of monotone input-output systems with multi-valued input-state characteristics. This extends a recent small-gain theorem of Angeli and Sontag for monotone systems with singleton-valued characteristics. We prove our theorem using Thieme's convergence theory for asymptotically autonomous systems. An illustrative example is also provided.


title: The L^1 Ehrenpreis Conjecture

abstract: Let \hat{S} be the algebraic universal cover of a closed surface of genus >1, T(\hat{S}) its Teichmuller space, M(\hat{S}) the group of mapping classes stabilizing a fixed leaf l. The L^1 Ehrenpreis conjecture asserts that M(\hat{S}) on T(\hat{S}) with dense orbits with respect to the L^1 topology (the topology induced by the L^1 norm on quadratic differentials). We give a proof of this weaker form of the Ehrenpreis conjecture.


title: Flows on $S$-arithmetic homogeneous spaces and applications to metric Diophantine approximation

abstract: The main goal of this work is to establish quantitative nondivergence estimates for flows on homogeneous spaces of products of real and $p$-adic Lie groups. These results have applications both to ergodic theory and to Diophantine approximation. Namely, earlier results of Dani (finiteness of locally finite ergodic unipotent-invariant measures on real homogeneous spaces) and Kleinbock-Margulis (strong extremality of nondegenerate submanifolds of $\Bbb R^n$) are generalized to the $S$-arithmetic setting.


title: Moduli Spaces for Principal Bundles in Arbitrary Characteristic

abstract: In this article, we solve the problem of constructing moduli spaces of semistable principal bundles (and singular versions of them) over smooth projective varieties over algebraically closed ground fields of positive characteristic.


title: Diophantine exponents of measures: a dynamical approach

abstract: We place the theory of metric Diophantine approximation on manifolds into a broader context of studying Diophantine properties of points generic with respect to certain measures on $\Bbb R^n$. The correspondence between multidimensional Diophantine approximation and dynamics of lattices in Euclidean spaces is discussed in an elementary way, and several recent results obtained by means of this correspondence are surveyed.


title: Friendly measures, homogeneous flows and singular vectors

abstract: We prove that singular vectors have measure zero with respect to any friendly measure on $\Bbb R^n$ (e.g. the volume measure on a nondegenerate submanifold). This generalizes special cases considered by Davenport-Schmidt, Baker and Bugeaud. The main tool is quantitative nondivergence estimates for quasi-polynomial flows on homogeneous spaces.


title: Measure rigidity and $p$-adic Littlewood-type problems

abstract: The paper investigates various $p$-adic versions of Littlewood's conjecture, generalizing a set-up considered recently by de Mathan and Teulie. In many cases it is shown that the sets of exceptions to these conjectures have Hausdorff dimension zero. The proof follows the measure ridigity approach of Einsiedler, Katok and Lindenstrauss.


title: Primarily quasilocal fields and 1-dimensional abstract local class field theory

abstract: Let $E$ be a field satisfying the following conditions: (i) the $p$-component of the Brauer group Br$(E)$ is nontrivial whenever $p$ is a prime number for which $E$ is properly included in its maximal $p$-extension; (ii) the relative Brauer group Br$(L/E)$ equals the maximal subgroup of Br$(E)$ of exponent $p$, for every cyclic extension $L/E$ of degree $p$. The paper proves that finite abelian extensions of $E$ are uniquely determined by their norm groups and related essentially as in the classical local class field theory. This includes analogues to the fundamental correspondence, the local reciprocity law and the local Hasse symbol.


title: Hitting time and dimension in Axiom A systems and generic interval excanges

abstract: In this note we prove that for equilibrium states of axiom A systems the time $\tau_{B}(x)$ needed for a typical point $x$ to enter for the first time in a typical ball $B$ with radius $r$ scales as $\tau_{B}(x)\sim r^{d}$ where $d$ is the local dimension of the invariant measure at the center of the ball. A similar relation is proved for a full measure set of interval excanges. Some applications to Birkoff averages of unbounded (and not $L^{1}$) functions are shown.


title: Self-adjointness of Cauchy singular integral operator

abstract: We extend Krupnik's criterion of self-adjointness of the Cauchy singular integral operator to the case of finitely connected domains. The main aim of the paper is to present a new approach for proof of the criterion.


title: Diagram rigidity for geometric amalgamations of free groups

abstract: We prove a topological rigidity result for simple, thick, hyperbolic P-manifolds of dimension 2: isomorphism of the fundamental groups implies homeomorphism of the P-manifolds. An immediate application is a diagram rigidity theorem for certain amalgamations of free groups: the direct limits of two such diagrams are isomorphic if and only if there is an isomorphism between the respective diagrams.


title: Geometric Galois Theory, Nonlinear Number Fields and a Galois Group Interpretation of the Idele Class Group

abstract: This paper concerns the description of holomorphic extensions of algebraic number fields. We define a hyperbolized adele class group for every number field K Galois over Q and consider the Hardy space H[K] of graded-holomorphic functions on the hyperbolized adele class group. We show that the hyperplane N[K] in the projectivization PH[K] defined by the functions of non-zero trace possesses two partially-defined operations + and x, with respect to which there is canonical monomorphism of K into N[K]. We call N[K] a nonlinear field extension of K. We define Galois groups for nonlinear fields and show that Gal(N[L]/N[K]) is isomorphic to Gal(L/K) if L/K is Galois. If Q^{ab} denotes the maximal abelian extension of Q, C(Q) the idele class group and $\bar{N}[Q^{ab}]=PH[K] is the full projectivization, then there are embeddings of C(Q) into Gal_{+}(\bar{N}[Q^{ab}]/Q) and Gal_{x}(\bar{N}[Q^{ab}]/Q), the "Galois groups" of automorphisms preserving + resp. x only.


title: Triangulated Manifolds with Few Vertices: Vertex-Transitive Triangulations I

abstract: We describe an algorithm for the enumeration of (candidates of) vertex-transitive combinatorial $d$-manifolds. With an implementation of our algorithm, we determine, up to combinatorial equivalence, all combinatorial manifolds with a vertex-transitive automorphism group on $n\leq 13$ vertices. With the exception of actions of groups of small order, the enumeration is extended to 14 and 15 vertices.


title: Simple free star-autonomous categories and full coherence

abstract: This paper gives a simple presentation of the free star-autonomous category over a category, based on Eilenberg-Kelly-MacLane graphs and Trimble rewiring, yielding a full coherence theorem: the commutativity of diagrams of canonical maps is decidable.


title: Inference Under Convex Cone Alternatives for Correlated Data

abstract: In this research, inferential theory for hypothesis testing under general convex cone alternatives for correlated data is developed. While there exists extensive theory for hypothesis testing under smooth cone alternatives with independent observations, extension to correlated data under general convex cone alternatives remains an open problem. This long-pending problem is addressed by (1) establishing that a "generalized quasi-score" statistic is asymptotically equivalent to the squared length of the projection of the standard Gaussian vector onto the convex cone and (2) showing that the asymptotic null distribution of the test statistic is a weighted chi-squared distribution, where the weights are "mixed volumes" of the convex cone and its polar cone. Explicit expressions for these weights are derived using the volume-of-tube formula around a convex manifold in the unit sphere. Furthermore, an asymptotic lower bound is constructed for the power of the generalized quasi-score test under a sequence of local alternatives in the convex cone. Applications to testing under order restricted alternatives for correlated data are illustrated.


title: JSJ-decompositions of knot and link complements in the 3-sphere

abstract: This paper is a survey of some of the most elementary consequences of the JSJ-decomposition and geometrization for knot and link complements in the 3-sphere. Formulated in the language of graphs, the result is the construction of a bijective correspondence between the isotopy classes of links in $S^3$ and a class of vertex-labelled, finite acyclic graphs, called companionship graphs. This construction can be thought of as a uniqueness theorem for Schubert's `satellite operations.' We identify precisely which graphs are companionship graphs of knots and links respectively. We also describe how a large family of operations on knots and links affects companionship graphs. This family of operations is called `splicing' and includes, among others, the operations of: cabling, connect-sum, Whitehead doubling and the deletion of a component.


title: Topology of spaces of knots in dimension 3

abstract: This paper is a computation of the homotopy type of K, the space of long knots in R^3, the same space of knots studied by Vassiliev via singularity theory. Each component of K corresponds to an isotopy class of long knot, and we `enumerate' the components via the companionship trees associated to the knot. The knots with the simplest companionship trees are: the unknot, torus knots, and hyperbolic knots. The homotopy-type of these components of K were computed by Hatcher. In the case the companionship tree has height, we give a fibre-bundle description of those components of K, recursively, in terms of the homotopy types of `simpler' components of K, in the sense that they correspond to knots with shorter companionship trees. The primary case studied in this paper is the case of a knot which has a hyperbolic manifold contained in the JSJ-decomposition of its complement.


title: Carrier and Nerve Theorems in the Extension Theory

abstract: We show that a regular cover of a general topological space provides structure similar to a triangulation. In this general setting we define analogues of simplicial maps and prove their existence and uniqueness up to homotopy. As an application we give simple proofs of sharpened versions of nerve theorems of K. Borsuk and A. Weil, which state that the nerve of a regular cover is homotopy equivalent to the underlying space. Next we prove a nerve theorem for a class of spaces with uniformly bounded extension dimension. In particular we prove that the canonical map from a separable metric n-dimensional space into the nerve of its weakly regular open cover induces isomorphisms on homotopy groups of dimensions less than n.


title: Cohomology of face rings, and torus actions

abstract: In this survey article we present several new developments of `toric topology' concerning the cohomology of face rings (also known as Stanley-Reisner algebras). We prove that the integral cohomology algebra of the moment-angle complex Z_K (equivalently, of the complement U(K) of the coordinate subspace arrangement) determined by a simplicial complex K is isomorphic to the Tor-algebra of the face ring of K. Then we analyse Massey products and formality of this algebra by using a generalisation of Hochster's theorem. We also review several related combinatorial results and problems.


title: Cohomological construction of relative twists

abstract: Let g be a complex, semi-simple Lie algebra, h a Cartan subalgebra of g and D a subdiagram of the Dynkin diagram of g. Let g_D and l_D be the corresponding semi-simple and Levi subalgebras and consider two invariant solutions Phi, Phi_D of the pentagon equation for g and g_D respectively. Motivated by the theory of quasi-Coxeter quasitriangular quasibialgebras \cite{TL3}, we study in this paper the existence of a relative twist, that is an element F invariant under l_D such that the twist of Phi by F is Phi_D. Adapting the method of Donin and Shnider, who treated the case of an empty D, so that l_D=h and Phi_D=1, we give a cohomological construction of such an F under the assumption that Phi_D is the image of Phi under the generalised Harish-Chandra homomorphism. We also show that F is unique up to a gauge transformation if l_D is of corank 1 or F satisfies F^\Theta= F^{21} where \Theta is an involution of g acting as -1 on h.


title: Generalizations of Agol's inequality and nonexistence of tight laminations

abstract: We give a general lower bound for the normal Gromov norm of genuine laminations in terms of the topology of the complementary regions. In the special case of 3-manifolds, this yields a generalization of Agol's inequality from incompressible surfaces to tight laminations. In particular, the inequality excludes the existence of tight laminations with nonempty guts on 3-manifolds of small simplicial volume.


title: Quasi-Coxeter algebras, Dynkin diagram cohomology and quantum Weyl groups

abstract: The author, and independently De Concini, conjectured that the monodromy of the Casimir connection of a simple Lie algebra g is described by the quantum Weyl group operators of the quantum group U_h(g). The aim of this paper, and of its sequel [TL4], is to prove this conjecture. The proof relies upon the use of quasi-Coxeter algebras, which are to generalised braid groups what Drinfeld's quasitriangular quasibialgebras are to the Artin braid groups B_n. Using an appropriate deformation cohomology, we reduce the conjecture to the existence of a quasi-Coxeter, quasitriangular quasibialgebra structure on the enveloping algebra Ug which interpolates between the quasi-Coxeter structure underlying the Casimir connection and the quasitriangular quasibialgebra underlying the KZ equations. The existence of this structure will be proved in [TL4].


title: Some Properties of Posynomial Rings

abstract: In this article we shall study some basic properties of posynomial rings with particular emphasis on rings ${\rm Pos}(K,\mathbb{Q})[\bar x]$, and ${\rm Pos}(K,\mathbb{Z})[\bar x]$. The latter ring is the well known ring of Laurent polynomials.


title: Ultrametric Logarithm Laws I

abstract: We announce ultrametric analogues of the results of Kleinbock-Margulis for shrinking target properties of semisimple group actions on symmetric spaces. The main applications are S-arithmetic Diophantine approximation results and logarithm laws for buildings, generalizing the work of Hersonsky-Paulin on trees.


title: Interpolation in the noncommutative Schur-Agler class

abstract: The class of Schur-Agler functions over a domain ${\mathcal D} \subset {\mathbb C}^{d}$ is defined as the class of holomorphic operator-valued functions on ${\mathcal D}$ for which a certain von Neumann inequality is satisfied when a commuting tuple of operators satisfying a certain polynomial norm inequality is plugged in for the variables. Such functions are alternatively characterized as those having a linear-fractional presentation which identifies them as transfer functions of a certain type of conservative structured multidimensional linear system. There now has been introduced a noncommutative version of the Schur-Agler class which consists of formal power series in noncommuting indeterminants satisfying a noncommutative version of the von Neumann inequality when a tuple of operators (not necessarily commuting) coming from a noncommutative operator ball are plugged in for the formal indeterminants. Formal power series in this noncommutative Schur-Agler class in turn are characterized as those having a certain linear-fractional presentation in noncommuting variables identifying them as transfer functions of a recently introduced class of conservative structure multidimensional linear systems having evolution along a free semigroup rather than along an integer lattice. The purpose of this paper is to extend the previously developed interpolation theory for the commutative Schur-Agler class to this noncommutative setting.


title: Resolve the multitude of microscale interactions to model stochastic partial differential equations

abstract: Constructing numerical models of noisy partial differential equations is very delicate. Our long term aim is to use modern dynamical systems theory to derive discretisations of dissipative stochastic partial differential equations. As a second step we here consider a small domain, representing a finite element, and apply stochastic centre manifold theory to derive a one degree of freedom model for the dynamics in the element. The approach automatically parametrises the microscale structures induced by spatially varying stochastic noise within the element. The crucial aspect of this work is that we explore how many noise processes may interact in nonlinear dynamics. We see that noise processes with coarse structure across a finite element are the significant noises for the modelling. Further, the nonlinear dynamics abstracts effectively new noise sources over the macroscopic time scales resolved by the model.


title: On deformations of Q-factorial symplectic varieties

abstract: We shall prove that any small deformation of a Q-factorial projective symplectic variety with terminal singularities is locally rigid; in other words, it preserves the singularity. In particular, many singular symplectic moduli of semi-stable sheaves on K3 have no smoothings via deformations. As an application of the result, we also prove that the smootheness is preserved under a flop in our symplectic case. We conjecture that a projective symplectic variety has a smoothing by a flat deformation if and only if it has a crepant (symplectic) resolution. This conjecture would be true if the minimal model conjecture were true.


title: Isomorphisms of Kac-Moody groups which preserve bounded subgroups

abstract: A subgroup of a Kac-Moody group is called bounded if it is contained in the intersection of two finite type parabolic subgroups of opposite signs. In this paper, we study the isomorphisms between Kac-Moody groups over arbitrary fields of cardinality at least 4, which preserve the set of bounded subgroups. We show that such an isomorphism between two such Kac-Moody groups induces an isomorphism between the respective twin root data of these groups. As a consequence, we obtain the solution of the isomorphism problem for Kac-Moody groups over finite fields of cardinality at least 4.


title: Combinatorial triangulations of homology spheres

abstract: Let $M$ be an $n$-vertex combinatorial triangulation of a $\ZZ_2$-homology $d$-sphere. In this paper we prove that if $n \leq d + 8$ then $M$ must be a combinatorial sphere. Further, if $n = d + 9$ and $M$ is not a combinatorial sphere then $M$ can not admit any proper bistellar move. Existence of a 12-vertex triangulation of the lens space $L(3, 1)$ shows that the first result is sharp in dimension three. In the course of the proof we also show that any $\ZZ_2$-acyclic simplicial complex on $\leq 7$ vertices is necessarily collapsible. This result is best possible since there exist 8-vertex triangulations of the Dunce Hat which are not collapsible.


title: The strong Lefschetz property and simple extensions

abstract: Stanley showed that monomial complete intersections have the strong Lefschetz property. Extending this result we show that a simple extension of an Artinian Gorenstein algebra with the strong Lefschetz property has again the strong Lefschetz property.


title: Edit Distance between Unlabeled Ordered Trees

abstract: There exists a bijection between one stack sortable permutations --permutations which avoid the pattern 231-- and planar trees. We define an edit distance between permutations which is coherent with the standard edit distance between trees. This one-to-one correspondence yields a polynomial algorithm for the subpermutation problem for $(231)$ avoiding permutations. Moreover, we obtain the generating function of the edit distance between ordered trees and some special ones. For the general case we show that the mean edit distance between a planar tree and all other planar trees is at least $n/ln(n)$. Some results can be extended to labeled trees considering colored Dyck paths or equivalently colored one stack sortable permutations.


title: A two-parametric deformation of U[sl(2)], its representations and complex "spin"

abstract: A two-parametric deformation of U[sl(2)] and its representations are considered. This newly introduced two-parametric quantum group denoted as $U_{pq}[sl(2)]$ admits a class of infinite-dimensional representations which have no classical (non-deformed) and one-parametric deformation analogues, even at generic deformation parameters. Interestingly that finite-dimensional representations of $U_{pq}[sl(2)]$ allow arbitrary complex "spins" (i.e., not necessary they to be integral or half-integral numbers), unlike those in the classical and one-parametric deformation cases.

categories: math.QA hep-th math-ph math.MP math.RT nlin.SI quant-ph


title: Trace Formulas in Connection with Scattering Theory for Quasi-Periodic Background

abstract: We investigate trace formulas for Jacobi operators which are trace class perturbations of quasi-periodic finite-gap operators using Krein's spectral shift theory. In particular we establish the conserved quantities for the solutions of the Toda hierarchy in this class.


title: Surgery untying of coloured knots

abstract: For p=3 and for p=5 we prove that there are exactly p equivalence classes of p-coloured knots modulo (+/-1)--framed surgeries along unknots in the kernel of a p-colouring. These equivalence classes are represented by connect-sums of n left-hand (p,2)-torus knots with a given colouring when n=1,2,...,p. This gives a 3-colour and a 5-colour analogue of the surgery presentation of a knot.


title: Integrability of graph combinatorics via random walks and heaps of dimers

abstract: We investigate the integrability of the discrete non-linear equation governing the dependence on geodesic distance of planar graphs with inner vertices of even valences. This equation follows from a bijection between graphs and blossom trees and is expressed in terms of generating functions for random walks. We construct explicitly an infinite set of conserved quantities for this equation, also involving suitable combinations of random walk generating functions. The proof of their conservation, i.e. their eventual independence on the geodesic distance, relies on the connection between random walks and heaps of dimers. The values of the conserved quantities are identified with generating functions for graphs with fixed numbers of external legs. Alternative equivalent choices for the set of conserved quantities are also discussed and some applications are presented.


title: Geodesic Distance in Planar Graphs: An Integrable Approach

abstract: We discuss the enumeration of planar graphs using bijections with suitably decorated trees, which allow for keeping track of the geodesic distances between faces of the graph. The corresponding generating functions obey non-linear recursion relations on the geodesic distance. These are solved by use of stationary multi-soliton tau-functions of suitable reductions of the KP hierarchy. We obtain a unified formulation of the (multi-) critical continuum limit describing large graphs with marked points at large geodesic distances, and obtain integrable differential equations for the corresponding scaling functions. This provides a continuum formulation of two-dimensional quantum gravity, in terms of the geodesic distance.

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


title: Isometries, rigidity, and universal covers

abstract: We classify all closed, aspherical Riemannian manifolds M whose universal cover has indiscrete isometry group. One sample application is the theorem that any such M with word-hyperbolic fundamental group must be isometric to a negatively curved, locally symmetric manifold. Another application is the classification of all contractible Riemannian manifolds covering both compact and (noncompact, complete) finite volume manifold. There are also applications to the Hopf Conjecture, a new proof of Kazhdan's Conjecture (Frankel's Theorem) in complex geometry, etc. Ideas in the proof come from Lie theory, the homological theory of transformation groups, harmonic maps, and large-scale geometry. An extension to the non-aspherical case is also given.


title: On a Modification of a Problem of Bialostocki, Erd\H{o}s, and Lefmann

abstract: For positive integers m and r, one can easily show there exist integers N such that for every map D:{1,2,...,N} -> {1,2,...,r} there exist 2m integers x_1 < ... < x_m < y_1 < ... < y_m which satisfy: (a) D(x_1) = ... = D(x_m), (b) D(y_1) = ... = D(y_m), and (c) 2(x_m-x_1) \leq y_m-x_1. In this paper we investigate the minimal such integer, which we call g(m,r). We compute g(m,2) for m \geq 2; g(m,3) for m \geq 4; and g(m,4) for m \geq 3. Furthermore, we consider g(m,r) for general r. Along with results that bound g(m,r), we compute g(m,r) exactly for the following infinite families of r: {f_{2n+3}}, {2f_{2n+3}}, {18f_{2n}-7f_{2n-2}}, and {23f_{2n}-9f_{2n-2}}, where here f_i is the ith Fibonacci number defined by f_0 = 0 and f_1=1.


title: Yang-Baxter bases of 0-Hecke algebras and representation theory of 0-Ariki-Koike-Shoji algebras

abstract: After reformulating the representation theory of 0-Hecke algebras in an appropriate family of Yang-Baxter bases, we investigate certain specializations of the Ariki-Koike algebras, obtained by setting q=0 in a suitably normalized version of Shoji's presentation. We classify the simple and projective modules, and describe restrictions, induction products, Cartan invariants and decomposition matrices. This allows us to identify the Grothendieck rings of the towers of algebras in terms of certain graded Hopf algebras known as the Mantaci-Reutenauer descent algebras, and Poirier quasi-symmetric functions. We also describe the Ext-quivers, and conclude with numerical tables.


title: Coarse dimensions and partitions of unity

abstract: Gromov \cite{Gr$_1$} and Dranishnikov \cite{Dr$_1$} introduced asymptotic and coarse dimensions of proper metric spaces via quite different ways. We define coarse and asymptotic dimension of all metric spaces in a unified manner and we investigate relationships between them generalizing results of Dranishnikov \cite{Dr$_1$} and Dranishnikov-Keesling-Uspienskij \cite{DKU}.


title: Inverting weak dihomotopy equivalence using homotopy continuous flow

abstract: A flow is homotopy continuous if it is indefinitely divisible up to S-homotopy. The full subcategory of cofibrant homotopy continuous flows has nice features. Not only it is big enough to contain all dihomotopy types, but also a morphism between them is a weak dihomotopy equivalence if and only if it is invertible up to dihomotopy. Thus, the category of cofibrant homotopy continuous flows provides an implementation of Whitehead's theorem for the full dihomotopy relation, and not only for S-homotopy as in previous works of the author. This fact is not the consequence of the existence of a model structure on the category of flows because it is known that there does not exist any model structure on it whose weak equivalences are exactly the weak dihomotopy equivalences. This fact is an application of a general result for the localization of a model category with respect to a weak factorization system.


title: Multi-index filtrations corresponding to curves with one place at infinity and their Poincar\'e series

abstract: This paper has been withdrawn by the authors due to a mistake in the proof of Theorem 1.


title: Linear relations among holomorphic quadratic differentials and induced Siegel's metric on M_g

abstract: We derive the explicit form of the (g-2)(g-3)/2 linearly independent relations among the products of pairs in a basis of holomorphic abelian differentials in the case of canonical curves of genus g greater than 3. It turns out that Petri's relations remarkably match in determinantal conditions. We explicitly express the volume form on the moduli space M_g of canonical curves induced by the Siegel metric, in terms of the period Riemann matrix only. By the Kodaira-Spencer map, the relations lead to an expression of the induced Siegel metric on M_g, that corresponds to the square of the Bergman reproducing kernel. A key role is played by distinguished bases for holomorphic differentials whose properties also lead to an immediate derivation of Fay's trisecant identity.


title: On partitions avoiding 3-crossings

abstract: A partition on $[n]$ has a crossing if there exists $i\_1<i\_2<j\_1<j\_2$ such that $i\_1$ and $j\_1$ are in the same block, $i\_2$ and $j\_2$ are in the same block, but $i\_1$ and $i\_2$ are not in the same block. Recently, Chen et al. refined this classical notion by introducing $k$-crossings, for any integer $k$. In this new terminology, a classical crossing is a 2-crossing. The number of partitions of $[n]$ avoiding 2-crossings is well-known to be the $n$th Catalan number $C\_n={{2n}\choose n}/(n+1)$. This raises the question of counting $k$-noncrossing partitions for $k\ge 3$. We prove that the sequence counting 3-noncrossing partitions is P-recursive, that is, satisfies a linear recurrence relation with polynomial coefficients. We give explicitly such a recursion. However, we conjecture that $k$-noncrossing partitions are not P-recursive, for $k\ge 4$.


title: Epistemology as Information Theory: From Leibniz to Omega

abstract: In 1686 in his Discours de Metaphysique, Leibniz points out that if an arbitrarily complex theory is permitted then the notion of "theory" becomes vacuous because there is always a theory. This idea is developed in the modern theory of algorithmic information, which deals with the size of computer programs and provides a new view of Godel's work on incompleteness and Turing's work on uncomputability. Of particular interest is the halting probability Omega, whose bits are irreducible, i.e., maximally unknowable mathematical facts. More generally, these ideas constitute a kind of "digital philosophy" related to recent attempts of Edward Fredkin, Stephen Wolfram and others to view the world as a giant computer. There are also connections with recent "digital physics" speculations that the universe might actually be discrete, not continuous. This systeme du monde is presented as a coherent whole in my book Meta Math!, which will be published this fall.


title: Introduction to Cirquent Calculus and Abstract Resource Semantics

abstract: This paper introduces a refinement of the sequent calculus approach called cirquent calculus. While in Gentzen-style proof trees sibling (or cousin, etc.) sequents are disjoint sequences of formulas, in cirquent calculus they are permitted to share elements. Explicitly allowing or disallowing shared resources and thus taking to a more subtle level the resource-awareness intuitions underlying substructural logics, cirquent calculus offers much greater flexibility and power than sequent calculus does. A need for substantially new deductive tools came with the birth of computability logic (see http://www.cis.upenn.edu/~giorgi/cl.html) - the semantically constructed formal theory of computational resources, which has stubbornly resisted any axiomatization attempts within the framework of traditional syntactic approaches. Cirquent calculus breaks the ice. Removing contraction from the full collection of its rules yields a sound and complete system for the basic fragment CL5 of computability logic. Doing the same in sequent calculus, on the other hand, throws out the baby with the bath water, resulting in the strictly weaker affine logic. An implied claim of computability logic is that it is CL5 rather than affine logic that adequately materializes the resource philosophy traditionally associated with the latter. To strengthen this claim, the paper further introduces an abstract resource semantics and shows the soundness and completeness of CL5 with respect to it.


title: Weak mixing properties of vector sequences

abstract: Notions of weak and uniformly weak mixing (to zero) are defined for bounded sequences in arbitrary Banach spaces. Uniformly weak mixing for vector sequences is characterized by mean ergodic convergence properties. For bounded sequences, which satisfy a certain domination condition, it is shown that weak mixing to zero is equivalent with uniformly weak mixing to zero.


title: Crystal bases and simple modules for Hecke algebras of type G(p,p,n)

abstract: We apply the crystal basis theory for Fock spaces over quantum affine algebras to the modular representations of the cyclotomic Hecke algebras of type $G(p,p,n)$. This yields a classification of simple modules over these cyclotomic Hecke algebras in the non-separated case, generalizing our previous work [J. Hu, J. Algebra 267 (2003) 7-20]. The separated case was completed in [J. Hu, J. Algebra 274 (2004) 446--490]. Furthermore, we use Naito--Sagaki's work [S. Naito & D. Sagaki, J. Algebra 251 (2002) 461--474] on Lakshmibai--Seshadri paths fixed by diagram automorphisms to derive explicit formulas for the number of simple modules over these Hecke algebras. These formulas generalize earlier results of [M. Geck, Represent. Theory 4 (2000) 370-397] on the Hecke algebras of type $D_n$ (i.e., of type $G(2,2,n)$).


title: Numerical Solutions of a Boundary Value Problem for the Anomalous Diffusion Equation with the Riesz Fractional Derivative

abstract: In this paper we present in one-dimensional space a numerical solution of a partial differential equation of fractional order. This equation describes a process of anomalous diffusion. The process arises from the interactions within the complex and non-homogeneous background. We presented a numerical method which bases on the finite differences method. We considered pure initial and boundary-initial value problems for the equation with the Riesz-Feller fractional derivative. In the final part of this paper sample results of simulation were shown.


title: Curve selection for finite-type ideals

abstract: Let $\mathfrak a$ be an ideal of holomorphic functions vanishing only at the origin in $\mathbb{C}^n$. The \textit{type} of $\mathfrak a$ is an invariant that measures the order of vanishing of the functions in $\mathfrak a$ along holomorphic curves; this invariant is of importance in the study of subelliptic estimates and subelliptic multiplier ideal sheaves. Recently there has been some interest in the question of which curves actually compute the type. In this note we prove that it is computed by one of the analytic irreducible components of the intersection of $n-1$ general functions in $\mathfrak a$.


title: The girth of a Heegaard splitting

abstract: We construct simple curves from immersed curves in the setting of handlebodies and Heegaard splittings. We define a measure of complexity we call girth for closed curves in a handlebody. We extend this complexity to Heegaard splittings and pose a conjecture about all Heegaard splittings. We prove a test case of this conjecture. Let S be a compact surface embedded in the boundary of a handlebody H. Then the minimum girth over all curves in S can be achieved by a simple closed curve. We also present algorithms to compute the girth of curves and surfaces.


title: Some congruences for traces of singular moduli

abstract: We address a question posed by Ono, prove a general result for powers of an arbitrary prime, and provide an explanation for the appearance of higher congruence moduli for certain small primes. One of our results coincides with a recent result of Edixhoven, and we hope that the comparison of the methods, which are entirely different, may reveal a connection between the p-adic geometry and the arithmetic of half-integral weight Hecke operators.


title: Characteristic Functions for Ergodic Tuples

abstract: Motivated by a result on weak Markov dilations, we define a notion of characteristic function for ergodic and coisometric row contractions with a one-dimensional invariant subspace for the adjoints. This extends a definition given by G. Popescu. We prove that our characteristic function is a complete unitary invariant for such tuples and show how it can be computed.


title: Navier-Stokes equations and Banach spaces of local measures

abstract: This paper was removed by arXiv admin because it plagiarizes "Kozono, Hideo; Shimada, Yukihiro Bilinear estimates in homogeneous Triebel-Lizorkin spaces and the Navier-Stokes equations. Math. Nachr. 276 (2004), 63--74."


title: Accurately model the Kuramoto--Sivashinsky dynamics with holistic discretisation

abstract: We analyse the nonlinear Kuramoto--Sivashinsky equation to develop accurate discretisations modeling its dynamics on coarse grids. The analysis is based upon centre manifold theory so we are assured that the discretisation accurately models the dynamics and may be constructed systematically. The theory is applied after dividing the physical domain into small elements by introducing isolating internal boundaries which are later removed. Comprehensive numerical solutions and simulations show that the holistic discretisations excellently reproduce the steady states and the dynamics of the Kuramoto--Sivashinsky equation. The Kuramoto--Sivashinsky equation is used as an example to show how holistic discretisation may be successfully applied to fourth order, nonlinear, spatio-temporal dynamical systems. This novel centre manifold approach is holistic in the sense that it treats the dynamical equations as a whole, not just as the sum of separate terms.


title: Regular homotopy classes of locally generic mappings

abstract: In this paper we generalize the notion of regular homotopy of immersions of a closed connected n-manifold into R^{2n-1} to locally generic mappings. The main result is that if n=2 then two mappings with singularities are regularly homotopic if and only if they have the same number of cross-cap (or Whitney-umbrella) singularities. As an application, we get a description of the path-components of the space of those immersions of a surface into R^4 whose projections into R^3 are locally generic.


title: Elementary moves on triangulations

abstract: It is proved that a triangulation of a polyhedron can always be transformed into any other triangulation of the polyhedron by using only elementary moves. One consequence is that an additive function (valuation) defined only on simplices may always be extended to an additive function on all polyhedra.


title: Local Lie algebra determines base manifold

abstract: It is proven that a local Lie algebra in the sense of A. A. Kirillov determines the base manifold up to a diffeomorphism provided the anchor map is nowhere-vanishing. In particular, the Lie algebras of nowhere-vanishing Poisson or Jacobi brackets determine manifolds. This result has been proven for different types of differentiability: smooth, real-analytic, and holomorphic.


title: Regular homotopy classes of singular maps

abstract: Two locally generic maps f,g : M^n --> R^{2n-1} are regularly homotopic if they lie in the same path-component of the space of locally generic maps. Our main result is that if n is not 3 and M^n is a closed n-manifold then the regular homotopy class of every locally generic map f : M^n --> R^{2n-1} is completely determined by the number of its singular points provided that f is singular (i.e., f is not an immersion).


title: A geometric classification of immersions of 3-manifolds into 5-space

abstract: In this paper we define two regular homotopy invariants c and i for immersions of oriented 3-manifolds into R^5 in a geometric manner. The pair (c(f),i(f)) completely describes the regular homotopy class of the immersion f. The invariant i corresponds to the 3-dimensional obstruction that arises from Hirsch-Smale theory and extends the one defined in [10] for immersions with trivial normal bundle.


title: An obstruction for the mean curvature of a conformal immersion S^{n}-> R^{n+1}

abstract: We prove a Pohozaev type identity for non-linear eigenvalue equations of the Dirac operator on Riemannian spin manifolds with boundary. As an application, we obtain that the mean curvature H of a conformal immersion S^{n}-> R^{n+1} satisfies $\int \partial_X H=0$ where X is a conformal vector field on S^{n} and where the integration is carried out with respect to the Euclidean volume measure of the image.<BR> This identity is analogous to the Kazdan-Warner obstruction that appears in the problem of prescribing the scalar curvature on S^{n} inside the standard conformal class.


title: Caculus of Variation and the $L^{2}$-Bergman Metric on Teichm\"{u}ller Space

abstract: The canonical metric on a Riemann surface is the pullback from the Euclidean metric on the Jacobian variety via the period map. We study its induced L^2 metric on Teichmuller space via a variational approach.


title: Generalized diagonal crossed products and smash products for quasi-Hopf algebras. Applications

abstract: In this paper we introduce generalizations of diagonal crossed products, two-sided crossed products and two-sided smash products, for a quasi-Hopf algebra H. The results we obtain may be applied to H^*-Hopf bimodules and generalized Yetter-Drinfeld modules. The generality of our situation entails that the "generating matrix" formalism cannot be used, forcing us to use a different approach. This pays off because as an application we obtain an easy conceptual proof of an important but very technical result of Hausser and Nill concerning iterated two-sided crossed products.


title: Quasicoherent sheaves on complex noncommutative two-tori

abstract: We introduce the notion of a quasicoherent sheaf on a complex noncommutative two-torus $T$ as an ind-object in the category of holomorphic vector bundles on $T$. Extending the results of math.QA/0211262 and math.QA/0308136 we prove that the derived category of quasicoherent sheaves on $T$ is equivalent to the derived category of usual quasicoherent sheaves on the corresponding elliptic curve. We define the rank of a quasicoherent sheaf that can take arbitrary nonnegative real values. We study the category $\Qcoh(\eta_T)$ obtained by taking the quotient of the category of quasicoherent sheaves by the subcategory of objects of rank zero (called torsion sheaves). We show that projective objects of finite rank in $\Qcoh(\eta_T)$ are classified up to an isomorphism by their rank. We also prove that the subcategory of objects of finite rank in $\Qcoh(\eta_T)$ is equivalent to the category of finitely presented modules over a semihereditary algebra.


title: The isomorphism problem for Coxeter groups

abstract: By a recent result obtained by R. Howlett and the author considerable progress has been made towards a complete solution of the isomorphism problem for Coxeter groups. In this paper we give a survey on the isomorphism problem and explain in particular how the result mentioned above reduces it to its `reflection preserving' version. Furthermore we desrcibe recent developments concerning the solution of the latter.


title: Reflections in abstract Coxeter groups

abstract: Let $W$ be a Coxeter group and $r\in W$ a reflection. If the group of order 2 generated by $r$ is the intersection of all the maximal finite subgroups of $W$ that contain it, then any isomorphism from $W$ to a Coxeter group $W'$ must take $r$ to a reflection in $W'$. The aim of this paper is to show how to determine, by inspection of the Coxeter graph, the intersection of the maximal finite sugroups containing $r$. In particular we show that the condition above is satisfied whenever $W$ is infinite and irreducible, and has the property that all rank two parabolic subgroups are finite. So in this case all isomorphisms map reflections to reflections.


title: Rational, Replacement, and Local Invariants of a Group Action

abstract: The paper presents a new algorithmic construction of a finite generating set of rational invariants for the rational action of an algebraic group on the affine space. The construction provides an algebraic counterpart of the moving frame method in differential geometry. The generating set of rational invariants appears as the coefficients of a Groebner basis, reduction with respect to which allows to express a rational invariant in terms of the generators. The replacement invariants, introduced in the paper, are tuples of algebraic functions of the rational invariants. Any invariant, whether rational, algebraic or local, can be can be rewritten terms of replacement invariants by a simple substitution.


title: The cotangent space at a monomial ideal of the Hilbert scheme of points of an affine space

abstract: Let k be an algebraically closed field. We study the cotangent space of a point t corresponding to a monomial ideal I of k[x_1, ..., x_r] in the Hilbert scheme of n points of affine r-space (so the k-dimension of k[x_1, ..., x_r]/I = colength of I = n). Since t lies in the closure of the locus corresponding to subschemes supported at n distinct points of A^r_k, one knows that the k-dimension of the cotangent space is always >= r*n, and that t is nonsingular if and only if the dimension equals r*n. We construct an explicit linearly independent set S of cotangent vectors of size r*n, and then explore conditions on I under which S either is or is not a basis of the cotangent space. In particular, we give a condition on I sufficient for S to be a basis (equivalently, for t to be nonsingular) that holds for every monomial ideal in the case of r = 2 variables, and that characterizes such ideals when r = 3. We also give an easily-checked condition on I sufficient for S not to be a basis.


title: Differential equations satisfied by modular forms and K3 surfaces

abstract: We study differential equations satisfied by modular forms associated to $\Gamma_1\times\Gamma_2$, where $\Gamma_i (i=1,2)$ are genus zero subgroups of $SL_2(\mathbf R)$ commensurable with $SL_2(\mathbf Z)$, e.g., $\Gamma_0(N)$ or $\Gamma_0(N)^*$. In some examples, these differential equations are realized as the Picard--Fuch differential equations of families of K3 surfaces with large Picard numbers, e.g., $19, 18, 17, 16$. Our method rediscovers some of the Lian--Yau examples of ``modular relations'' involving power series solutions to the second and the third order differential equations of Fuchsian type in [14, 15].


title: 3-manifolds efficiently bound 4-manifolds

abstract: It is known since 1954 that every 3-manifold bounds a 4-manifold. Thus, for instance, every 3-manifold has a surgery diagram. There are several proofs of this fact, including constructive proofs, but there has been little attention to the complexity of the 4-manifold produced. Given a 3-manifold M of complexity n, we show how to construct a 4-manifold bounded by M of complexity O(n^2). Here we measure ``complexity'' of a piecewise-linear manifold by the minimum number of n-simplices in a triangulation. It is an open question whether this quadratic bound can be replaced by a linear bound. The proof goes through the notion of "shadow complexity" of a 3-manifold M. A shadow of M is a well-behaved 2-dimensional spine of a 4-manifold bounded by M. We prove that, for a manifold M satisfying the Geometrization Conjecture with Gromov norm G and shadow complexity S, c_1 G <= S <= c_2 G^2 for suitable constants c_1, c_2. In particular, the manifolds with shadow complexity 0 are the graph manifolds.


title: Capable groups of prime exponent and class 2, II

abstract: We consider the capability of $p$ groups of class two and odd prime exponent. We use linear algebra and counting arguments to establish a number of new results. In particular, we settle the 4-generator case, and prove a sufficient condition based on the ranks of $G/Z(G)$ and $[G,G]$.


title: Semi-direct products of Lie algebras and their invariants

abstract: The goal of this paper is to extend the standard invariant-theoretic design, well-developed in the reductive case, to the setting of representation of certain non-reductive groups. This concerns the following notions and results: the existence of generic stabilisers and generic isotropy groups for finite-dimensional representations; structure of the fields and algebras of invariants; quotient morphisms and structure of their fibres. One of the main tools for obtaining non-reductive Lie algebras is the semi-direct product construction. We observe that there are surprisingly many non-reductive Lie algebras whose adjoint representation has a polynomial algebra of invariants. We extend results of Takiff, Geoffriau, Rais-Tauvel, and Levasseur-Stafford concerning Takiff Lie algebras to a wider class of semi-direct products. This includes $Z_2$-contractions of simple Lie algebras and generalised Takiff algebras.


title: Remarks on Chebyshev coordinates

abstract: Some results on existence of global Chebyshev coordinates on a Riemannian manifold or, more generally, on Aleksandrov surface are proved. For instance, if the positive and the negative parts of integral curvature of a Riemannian manifold M are less than 2\pi each, then there exist global Chebyshev coordinates on M. These conditions are optimal. Such coordinates help to get bi-Lipschitz maps between surfaces.}


title: An essay on the general theory of stochastic processes

abstract: This text is a survey of the general theory of stochastic processes, with a view towards random times and enlargements of filtrations. The first five chapters present standard materials, which were developed by the French probability school and which are usually written in French. The material presented in the last three chapters is less standard and takes into account some recent developments.


title: Gauge Invariant Uniqueness Theorem for Corners of k-graphs

abstract: For a finitely aligned k-graph $\Lambda$ with X a set of vertices in $\Lambda$ we define a universal C*-algebra called $C^*(\Lambda,X)$ generated by partial isometries. We show that $C^*(\Lambda,X)$ is isomorphic to the corner $P_XC^*(\Lambda)P_X$, where $P_X$ is the sum of vertex projections in X. We then prove a version of the Gauge Invariant Uniqueness Theorem for $C^*(\Lambda,X)$, and then use the theorem to prove various results involving fullness, simplicity and Morita equivalence as well as new results involving symbolic dynamics.


title: Simple geodesics on a punctured surface

abstract: We give a new proof of McShane's classification of simple cuspidal geodesics, using simple equivariant methods in the hyperbolic plane.


title: p-Fractals and power series--II. Some applications to Hilbert-Kunz theory

abstract: We use the results of our paper "p-Fractals and power series--I" (Journal of Algebra 280, 2004, pp. 505--536) to prove the rationality of the Hilbert-Kunz series of a large family of power series, including those of the form \sum_i f_i(x_i,y_i), where the f_i(x_i,y_i) are power series with coefficients in a finite field. The methods are effective, as we illustrate with examples. In the final section, which can be read independently of the others, we obtain more precise results for the Hilbert-Kunz function of the 3 variable power series z^D-h(x,y).


title: Greatest least eigenvalue of the Laplacian on the Klein bottle

abstract: We prove the following conjecture recently formulated by Jakobson, Nadirashvili and Polterovich \cite{JNP}: For any Riemannian metric $g$ on the Klein bottle $\mathbb{K}$ one has $$\lambda\_1 (\mathbb{K}, g) A (\mathbb{K}, g)\le 12 \pi E(2\sqrt 2/3),$$ where $\lambda\_1(\mathbb{K},g)$ and $A(\mathbb{K},g)$ stand for the least positive eigenvalue of the Laplacian and the area of $(\mathbb{K},g)$, respectively, and $E$ is the complete elliptic integral of the second kind. Moreover, the equality is uniquely achieved, up to dilatations, by the metric $$g\_0= {9+ (1+8\cos ^2v)^2\over 1+8\cos^2v} (du^2 + {dv^2\over 1+8\cos ^2v}),$$ with $0\le u,v <\pi$. The proof of this theorem leads us to study a Hamiltonian dynamical system which turns out to be completely integrable by quadratures.


title: Distribution Functions for Edge Eigenvalues in Orthogonal and Symplectic Ensembles: Painlev\'e Representations II

abstract: We derive Painlev\'e--type expressions for the distribution of the $m^{th}$ largest eigenvalue in the Gaussian Orthogonal and Symplectic Ensembles in the edge scaling limit. This work generalizes to general $m$ the $m=1$ results of Tracy and Widom [23]. The results of Johnstone and Soshnikov (see [15], [19]) imply the immediate relevance of our formulas for the $m^{th}$ largest eigenvalue of the appropriate Wishart distribution.


title: A note on two-dimensional minimal surface graphs in R^n and a theorem of Bernstein-Liouville type

abstract: Using Schauder's theory for linear elliptic partial differential equations in two independent variables and fundamental estimates for univalent mappings due to E. Heinz we establish an upper bound of the Gaussian curvature of two-dimensional minimal surface graphs in R^n. This leads us to a theorem of Bernstein-Liouville type.


title: Homogenization of a diffusion process in a rarefied binary structure

abstract: We study the homogenization of a diffusion process which takes place in a binary structure formed by an ambiental connected phase surrounding a suspension of very small spheres distributed in an $\veps$-periodic network. The asymptotic distribution of the concentration is determined for both phases, as $\veps\to 0$, assuming that the suspension has mass of unity order and vanishing volume. Three cases are distinguished according to the values of a certain limit capacity. When it is positive and finite, the macroscopic system involves a two-concentration system, coupled through a term accounting for the non local effects. In the other two cases, where the capacity is either infinite or going to zero, although the form of the system is much simpler, some peculiar effects still account for the presence of the suspension.


title: On the non additivity of the trace in derived categories

abstract: In this note we provide an example of an endomorphism of a short exact sequence of perfect complexes, with the trace of the middle map not equal to the sum of the traces of the two other ones. The point is that the squares involved are commutative only up to homotopy. In view of this example I have found in 1968, Deligne immediately created his "categories spectrales", and soon afterwards Illusie introduced the "filtered derived categories" where a satisfactory kind of additivity is restored for the trace. This paper, written in French, ends up with a brief chronological comment.


title: Hammersley's process with sources and sinks

abstract: We show that, for a stationary version of Hammersley's process, with Poisson ``sources'' on the positive x-axis, and Poisson ``sinks'' on the positive y-axis, an isolated second-class particle, located at the origin at time zero, moves asymptotically, with probability 1, along the characteristic of a conservation equation for Hammersley's process. This allows us to show that Hammersley's process without sinks or sources, as defined by Aldous and Diaconis [Probab. Theory Related Fields 10 (1995) 199-213] converges locally in distribution to a Poisson process, a result first proved in Aldous and Diaconis (1995) by using the ergodic decomposition theorem and a construction of Hammersley's process as a one-dimensional point process, developing as a function of (continuous) time on the whole real line. As a corollary we get the result that EL(t,t)/t converges to 2, as t\to\infty, where L(t,t) is the length of a longest North-East path from (0,0) to (t,t). The proofs of these facts need neither the ergodic decomposition theorem nor the subadditive ergodic theorem. We also prove a version of Burke's theorem for the stationary process with sources and sinks and briefly discuss the relation of these results with the theory of longest increasing subsequences of random permutations.


title: Rescaled Lotka-Volterra models converge to super-Brownian motion

abstract: We show that a sequence of stochastic spatial Lotka-Volterra models, suitably rescaled in space and time, converges weakly to super-Brownian motion with drift. The result includes both long range and nearest neighbor models, the latter for dimensions three and above. These theorems are special cases of a general convergence theorem for perturbations of the voter model.


title: Renormalized self-intersection local time for fractional Brownian motion

abstract: Let B_t^H be a d-dimensional fractional Brownian motion with Hurst parameter H\in(0,1). Assume d\geq2. We prove that the renormalized self-intersection local time\ell=\int_0^T\int_0^t\delta(B_t^H-B_s^H) ds dt -E\biggl(\int_0^T\int_0^t\delta (B_t^H-B_s^H) ds dt\biggr) exists in L^2 if and only if H<3/(2d), which generalizes the Varadhan renormalization theorem to any dimension and with any Hurst parameter. Motivated by a result of Yor, we show that in the case 3/4>H\geq\frac{3}{2d}, r(\epsilon)\ell_{\epsilon} converges in distribution to a normal law N(0,T\sigma^2), as \epsilon tends to zero, where \ell_{\epsilon} is an approximation of \ell, defined through (2), and r(\epsilon)=|\log\epsilon|^{-1} if H=3/(2d), and r(\epsilon)=\epsilon^{d-3/(2H)} if 3/(2d)<H.


title: Fourier Mukai Transforms for Gorenstein Schemes

abstract: We extend to singular schemes with Gorenstein singularities or fibered in schemes of that kind Bondal and Orlov's criterion for an integral functor to be fully faithful. We also contemplate a criterion for equivalence. We offer a proof that is new even if we restrict to the smooth case. In addition, we prove that for locally projective Gorenstein morphisms, a relative integral functor is fully faithful if and only if its restriction to each fibre also is it. These results imply the invertibility of the usual relative Fourier-Mukai transform for an elliptic fibration as a direct corollary.


title: Concentration around the mean for maxima of empirical processes

abstract: In this paper we give optimal constants in Talagrand's concentration inequalities for maxima of empirical processes associated to independent and eventually nonidentically distributed random variables. Our approach is based on the entropy method introduced by Ledoux.


title: Blow-up for the stochastic nonlinear Schrodinger equation with multiplicative noise

abstract: We study the influence of a multiplicative Gaussian noise, white in time and correlated in space, on the blow-up phenomenon in the supercritical nonlinear Schrodinger equation. We prove that any sufficiently regular and localized deterministic initial data gives rise to a solution which blows up in arbitrarily small time with a positive probability.


title: On the Poisson equation and diffusion approximation 3

abstract: We study the Poisson equation Lu+f=0 in R^d, where L is the infinitesimal generator of a diffusion process. In this paper, we allow the second-order part of the generator L to be degenerate, provided a local condition of Doeblin type is satisfied, so that, if we also assume a condition on the drift which implies recurrence, the diffusion process is ergodic. The equation is understood in a weak sense. Our results are then applied to diffusion approximation.


title: A strong law of large numbers for capacities

abstract: We consider a totally monotone capacity on a Polish space and a sequence of bounded p.i.i.d. random variables. We show that, on a full set, any cluster point of empirical averages lies between the lower and the upper Choquet integrals of the random variables, provided either the random variables or the capacity are continuous.


abstract: In this paper we consider two ways to generalize the mathematical expectation of a random variable, the Choquet expectation and Peng's g-expectation. An open question has been, after making suitable restrictions to the class of random variables acted on by the Choquet expectation, for what class of expectation do these two definitions coincide? In this paper we provide a necessary and sufficient condition which proves that the only expectation which lies in both classes is the traditional linear expectation. This settles another open question about whether Choquet expectation may be used to obtain Monte Carlo-like solution of nonlinear PDE: It cannot, except for some very special cases.


title: Simplicity of QC(S^n) and LIP(S^n)

abstract: We prove that the groups of orientation preserving quasiconformal or bilipschitz homeomorphisms of S^n are simple in dimensions 2 and higher.


title: Associativity as Commutativity

abstract: It is shown that coherence conditions for monoidal categories concerning associativity are analogous to coherence conditions for symmetric or braided strictly monoidal categories, where associativity arrows are identities. Mac Lane's pentagonal coherence condition for associativity is decomposed into conditions concerning commutativity, among which we have a condition analogous to naturality and a degenerate case of Mac Lane's hexagonal condition for commutativity. This decomposition is analogous to the derivation of the Yang-Baxter equation from Mac Lane's hexagon and the naturality of commutativity. The pentagon is reduced to an inductive definition of a kind of commutativity.


title: Simple Immersions of Wonderful Varieties

abstract: Let G be a semisimple connected linear algebraic group over C, and X a wonderful G-variety. We study the possibility of realizing X as a closed subvariety of the projective space of a simple G-module. We describe the wonderful varieties having this property as well as the linear systems giving rise to such immersions. We also prove that any ample line bundle on a wonderful variety is very ample.


title: Salem-Boyd sequences and Hopf plumbing

abstract: Given a fibered link, consider the characteristic polynomial of the monodromy restricted to first homology. This generalizes the notion of the Alexander polynomial of a knot. We define a construction, called iterated plumbing, to create a sequence of fibered links from a given one. The resulting sequence of characteristic polynomials has the same form as those arising in work of Salem and Boyd in their study of distributions of Salem and P-V numbers. From this we deduce information about the asymptotic behavior of the large roots of the generalized Alexander polynomials, and define a new poset structure for Salem fibered links.


title: Lectures on Noncommutative Geometry

abstract: These Lectures are based on a course on noncommutative geometry given by the author in 2003 at the University of Chicago. The lectures contain some standard material, such as Poisson and Gerstenhaber algebras, deformations, Hochschild cohomology, Serre functors, etc. We also discuss many less known as well as some new results, in particular, noncommutative Chern-Weil theory, noncommutative symplectic geometry, noncommutative differential forms and double-tangent bundles.


title: New Classes of Almost Bent and Almost Perfect Nonlinear Polynomials

abstract: We construct infinite classes of almost bent and almost perfect nonlinear polynomials, which are affinely inequivalent to any sum of a power function and an affine function.


title: Convergence of the Wick Star Product

abstract: We construct a Frechet space as a subspace of C^\omega(C^n) where the Wick star product converges and is continuous. The resulting Frechet algebra A_h is studied in detail including a *-representation of A_h in the Bargmann-Fock space and a discussion of star exponentials and coherent states.


title: On Residual Properties of Word Hyperbolic Groups

abstract: For a fixed word hyperbolic group we compare different residual properties related to quasiconvex subgroups.


title: Independent Component Analysis by Wavelets

abstract: We propose an ICA contrast based on the density estimation of the observed signal and its marginals by means of wavelets. The risk of the associated moment estimator is linked with approximation properties in Besov spaces. It is shown to converge faster than the at least expected minimax rate carried over from the underlying density estimations. Numerical simulations performed on some common types of densities yield very competitive results, with a high sensitivity to small departures from independence.


title: Celestial integration, stringy invariants, and Chern-Schwartz-MacPherson classes

abstract: We introduce a formal integral on the system of varieties mapping properly and birationally to a given one, with value in an associated Chow group. Applications include comparisons of Chern numbers of birational varieties, new birational invariants, `stringy' Chern classes, and a `celestial' zeta function specializing to the topological zeta function. In its simplest manifestation, the integral gives a new expression for Chern-Schwartz-MacPherson classes of possibly singular varieties, placing them into a context in which a `change of variable' formula holds. The formalism has points of contact with motivic integration.


title: The fundamental group of manifolds of positive isotropic curvature and surface groups

abstract: In this paper we study the topology of compact manifolds of positive isotropic curvature (PIC). There are many examples of non-simply connected compact manifolds with positive isotropic curvature. We prove that the fundamental group of a compact Riemannian manifold with PIC, of dimension greater than or equal to 5, does not contain a subgroup isomorphic to the fundamental group of a compact Riemann surface. The proof uses stable minimal surface theory.


title: The Alternating Groups and K3 Surfaces

abstract: In this note, we consider all possible extensions G of a non-trivial perfect group H acting faithfully on a K3 surface X. The pair (X, G) is proved to be uniquely determined by G if the transcendental value of G is maximum. In particular, we have G/H < Z/(2) + Z/(2), if H is the alternating group A_5 and normal in G.


title: Resolutions of ideals of six fat points in P^2

abstract: The graded Betti numbers of the minimal free resolution (and also therefore the Hilbert function) of the ideal of a fat point subscheme Z of P^2 are determined whenever Z is supported at any 6 or fewer distinct points. All results hold over an algebraically closed field k of arbitrary characteristic.


title: Automorphisms of K3 surfaces

abstract: In this note, we report some progress we made recently on the automorphisms groups of K3 surfaces. A short and straightforward proof of the impossibility of Z/(60) acting purely non-symplectically on a K3 surface, is also given, by using Lefschetz fixed point formula for vector bundles.


title: Triangular hyperbolic buildings

abstract: We construct triangular hyperbolic polyhedra whose links are generalized 4-gons. The universal cover of those polyhedra are hyperbolic buildings, which appartments are hyperbolic planes tesselated by regular triangles with angles $\pi/4$. Moreover, the fundamental groups of the polyhedra acts simply transitively on vertices of the buildings.


title: Computing with matrix invariants

abstract: This is an improved version of the talk of the author given at the Antalya Algebra Days VII on May 21, 2005. We present an introduction to the theory of the invariants under the action of GL(n,C) by simultaneous conjugation of d matrices of size n x n. Then we survey some results, old or recent, obtained by a dozen of mathematicians, on minimal sets of generators, the defining relations of the algebras of invariants and on the multiplicities of the Hilbert series of these algebras. The picture is completely understood only in the case n=2. Besides, explicit minimal sets of generators are known for n=3 and any d and for n=4, d=2. The multiplicities of the Hilbert series are obtained only for n=3,4 and d=2. For n > 2 most of the concrete results are obtained with essential use of computers.


title: Homological orthogonality of "symplectic" and "lagrangian"- corrected version

abstract: In this remark we discuss a relationship between (co)homology classes of a symplectic manifold realized by symplectic and lagrangian objects. We establish some transversality condition for the classes, realized by symplectic divisors and smooth lagrangian tori with some special condition on their intersections.


title: Invariant d'Hermite des jacobiennes de graphes pond\'{e}r\'{e}s

abstract: To any weighted graph of first Betti number b is naturally associated a lattice of dimension b, definite in a similar way that the jacobian for a Riemann surface. This class of lattices generated by graphs is particularly interesting. We show here an upperbound of the Hermite invariant of such a lattice according to b whose order is ln b. This order is optimal : it is realized by the Hermite invariant of the jacobian of a systolicly economic graph.


title: A proof of the polycirculant conjecture

abstract: This paper presents a solution of the polycirculant conjecture which states that every vertex-transitive graph G has an automorphism that permutes the vertices in cycles of the same length. This is done by identifying vertex-transitive graphs as coset graphs. For a coset graph H, an equivalence relation $\sim$ is defined on the vertices of cosets with classes as double cosets of the stabiliser and any other proper subgroup A' of a transitive group A of G. Induced left translations of elements of the subgroup A' are semi-regular since they preserve these double cosets and acts regularly on each of them. The coset graph is equivalent to G by a theorem of Sabidussi.


title: A note on the existence of {k, k}-equivelar polyhedral maps

abstract: A polyhedral map is called $\{p, q\}$-equivelar if each face has $p$ edges and each vertex belongs to $q$ faces. In 1983, it was shown that there exist infinitely many geometrically realizable $\{p, q\}$-equivelar polyhedral maps if $q > p = 4$, $p > q = 4$ or $q - 3 > p = 3$. It was shown in 2001 that there exist infinitely many $\{4, 4\}$- and $\{3, 6\}$-equivelar polyhedral maps. In 1990, it was shown that $\{5, 5\}$- and $\{6, 6\}$-equivelar polyhedral maps exist. In this note, examples are constructed, to show that infinitely many self dual $\{k, k\}$-equivelar polyhedral maps exist for each $k \geq 5$. Also vertex-minimal non-singular $\{p, p\}$-pattern are constructed for all odd primes $p$.