title: Hard constraints and the bethe lattice: adventures at the interface of combinatorics and statistical physics

abstract: Statistical physics models with hard constraints, such as the discrete hard-core gas model (random independent sets in a graph), are inherently combinatorial and present the discrete mathematician with a relatively comfortable setting for the study of phase transition. In this paper we survey recent work (concentrating on joint work of the authors) in which hard-constraint systems are modeled by the space $\hom(G,H)$ of homomorphisms from an infinite graph $G$ to a fixed finite constraint graph $H$. These spaces become sufficiently tractable when $G$ is a regular tree (often called a Cayley tree or Bethe lattice) to permit characterization of the constraint graphs $H$ which admit multiple invariant Gibbs measures. Applications to a physics problem (multiple critical points for symmetry-breaking) and a combinatorics problem (random coloring), as well as some new combinatorial notions, will be presented.


title: On the cohomological equation for interval exchange maps

abstract: We exhibit an explicit full measure class of minimal interval exchange maps T for which the cohomological equation $\Psi -\Psi\circ T=\Phi$ has a bounded solution $\Psi$ provided that the datum $\Phi$ belongs to a finite codimension subspace of the space of functions having on each interval a derivative of bounded variation. The class of interval exchange maps is characterized in terms of a diophantine condition of ``Roth type'' imposed to an acceleration of the Rauzy--Veech--Zorich continued fraction expansion associated to T. Contents 0. French abridged version 1. Interval exchange maps and the cohomological equation. Main Theorem 2. Rauzy--Veech--Zorich continued fraction algorithm and its acceleration 3. Special Birkhoff sums 4. The Diophantine condition 5. Sketch of the proof of the theorem


title: Rapid mixing in Markov chains

abstract: A wide class of ``counting'' problems have been studied in Computer Science. Three typical examples are the estimation of - (i) the permanent of an $n\times n$ 0-1 matrix, (ii) the partition function of certain $n-$ particle Statistical Mechanics systems and (iii) the volume of an $n-$ dimensional convex set. These problems can be reduced to sampling from the steady state distribution of implicitly defined Markov Chains with exponential (in $n$) number of states. The focus of this talk is the proof that such Markov Chains converge to the steady state fast (in time polynomial in $n$). A combinatorial quantity called conductance is used for this purpose. There are other techniques as well which we briefly outline. We then illustrate on the three examples and briefly mention other examples.


title: Infinite families of pairs of curves over Q with isomorphic Jacobians

abstract: We present three families of pairs of geometrically non-isomorphic curves whose Jacobians are isomorphic to one another as unpolarized abelian varieties. Each family is parametrized by an open subset of P^1. The first family consists of pairs of genus-2 curves whose equations are given by simple expressions in the parameter; the curves in this family have reducible Jacobians. The second family also consists of pairs of genus-2 curves, but generically the curves in this family have absolutely simple Jacobians. The third family consists of pairs of genus-3 curves, one member of each pair being a hyperelliptic curve and the other a plane quartic. Examples from these families show that in general it is impossible to tell from the Jacobian of a genus-2 curve over Q whether or not the curve has rational points -- or indeed whether or not it has real points. Our constructions depend on earlier joint work with Franck Leprevost and Bjorn Poonen, and on Peter Bending's explicit description of the curves of genus 2 whose Jacobians have real multiplication by Z[\sqrt{2}].


title: Volume collapsed three-manifolds with a lower curvature bound

abstract: In this paper we determine the topology of three-dimensional complete orientable Riemannian manifolds with a uniform lower bound of sectional curvature whose volume is sufficiently small.


title: $\Gamma$-cohomology of rings of numerical polynomials and $E_\infty$ structures on K-theory

abstract: We investigate Gamma-cohomology of some commutative cooperation algebras E_*E associated with certain periodic cohomology theories. For KU and E(1), the Adams summand at a prime p, and for KO we show that Gamma-cohomology vanishes above degree 1. As these cohomology groups are the obstruction groups in the obstruction theory developed by Alan Robinson we deduce that these spectra admit unique E infinity structures. As a consequence we obtain an E infinity structure for the connective Adams summand. For the Johnson-Wilson spectrum E(n) with n > 0 we establish the existence of a unique E infinity structure for its I_n-adic completion.


title: Classification of simple modules over degenerate double Affine Hecke algebras of type A

abstract: We study a class of representations over the degenerate double affine Hecke algebra of gl_n by an algebraic method. As fundamental objects in this class, we introduce certain induced modules and study some of their properties. In particular, it is shown that these induced modules have unique simple quotient modules under certain conditions. Moreover, we show that any simple module in this class is obtained as such a simple quotient, and give a classification of all the simple modules.


title: A geometric approach to Voiculescu-Brown entropy

abstract: A basic problem in dynamics is to identify systems with positive entropy, i.e., systems which are "chaotic." While there is a vast collection of results addressing this issue in topological dynamics, the phenomenon of positive entropy remains by and large a mystery within the broader noncommutative domain of C*-algebraic dynamics. To shed some light on the noncommutative situation we propose a geometric perspective inspired by work of Glasner and Weiss on topological entropy. This is a written version of the author's talk at the Winter 2002 Meeting of the Canadian Mathematical Society in Ottawa, Ontario.


title: Simultaneous avoidance of large squares and fractional powers in infinite binary words

abstract: In 1976, Dekking showed that there exists an infinite binary word that contains neither squares yy with y >= 4 nor cubes xxx. We show that `cube' can be replaced by any fractional power > 5/2. We also consider the analogous problem where `4' is replaced by any integer. This results in an interesting and subtle hierarchy.


title: On the distribution of prime multiplets

abstract: The probability of finding a prime multiplet, i.e., a sequence of primes $p$ and $p+a_i$, $i=1... m$, being all primes where $p$ is some prime less than the integer $n$ is naively $1/log(n)^{m+1}$. It is shown that, in reality, it is proportional to this probability by a constant factor which depends on $a_i$ and $m$ but not on $n$, for large $n$. These constants are appellated as PDF (prime distribution factors). Moreover, it is argued that the PDF depend on the $a_i$ in a "week" way, only on the prime factors of the differences $a_i-a_j$ and not on their exponents. For example $p$ and $p+2^s$ will have the exact same probability for all integer $s>0$. The exact formulae for the PDF ratios are given. Moreover, the actual 'basic' PDF's are calculated exactly and are shown to be bigger than 1, which indicates that primes 'repel' each other. An exact asymptotic formula for the number of basic multiplets is given.


title: Dieudonne Determinants for Skew Polynomial Rings

abstract: We observe that the Dieudonn\'{e} determinant induces a non-negative degree function on the ring of matrices over a skew polynomial ring. We then apply this degree function to two examples. In the first one, we find an expression for the rank of the kernel of an endomorphism of the algebraic group $\mathbb{G}_a^n$ over a field of characteristic $p>0$. In the second, we calculate the dimension of the solution space of linear matrix differential equations.


title: A note on Abelian varieties embedded in quadrics

abstract: We show that if A is a d-dimensional abelian variety in a smooth quadric of dimension 2d then d=1 and A is an elliptic curve of bidegree (2,2) on a quadric. This extends a result of Van de Ven which says that A only can be embedded in P^{2d} when d=1 or 2.


title: Arithmetic Duality Theorems for 1-Motives

abstract: We prove several duality theorems for the Galois and etale cohomology of 1-motives defined over local and global fields and establish a 12-term Poitou-Tate type exact sequence. The results give a common generalisation and sharpening of well-known theorems by Tate on abelian varieties as well as results by Tate/Nakayama and Kottwitz on algebraic tori.


title: Derivation of the Leroux system as the hydrodynamic limit of a two-component lattice gas

abstract: The long time behavior of a couple of interacting asymmetric exclusion processes of opposite velocities is investigated in one space dimension. We do not allow two particles at the same site, and a collision effect (exchange) takes place when particles of opposite velocities meet at neighboring sites. There are two conserved quantities, and the model admits hyperbolic (Euler) scaling; the hydrodynamic limit results in the classical Leroux system of conservation laws, \emph{even beyond the appearence of shocks}. Actually, we prove convergence to the set of entropy solutions, the question of uniqueness is left open. To control rapid oscillations of Lax entropies via logarithmic Sobolev inequality estimates, the symmetric part of the process is speeded up in a suitable way, thus a slowly vanishing viscosity is obtained at the macroscopic level. Following earlier work of the first author the stochastic version of Tartar--Murat theory of compensated compactness is extended to two-component stochastic models.


title: Harmonic and superharmonic majorants on the disk

abstract: We prove that a positive function on the unit disk admits a harmonic majorant if and only if a certain logarithmic Lipschitz upper envelope of it (relevant because of the Harnack inequality) admits a superharmonic majorant. We discuss the logarithmic Lipschitz regularity of this superharmonic majorant, and show that in general it cannot be better than that of the Poisson kernel. We provide examples to show that mere superharmonicity of the data does not help with the problem of existence of a harmonic majorant.


title: Acyclic heaps of pieces, I

abstract: Heaps of pieces were introduced by Viennot and have applications to algebraic combinatorics, theoretical computer science and statistical physics. In this paper, we how certain combinatorial properties of heaps studied by Fan and by Stembridge are closely related to the properties of a certain linear map $\partial_E$ associated to a heap $E$. We examine the relationship between $\partial_E$ and $\partial_F$ when $F$ is a subheap of $E$. This approach allows neat statements and proofs of results on certain associative algebras (generalized Temperley--Lieb algebras) that are otherwise tricky to prove. The key to the proof is to interpret the structure constants of the aforementioned algebras in terms of the maps $\partial$.


title: Une generalisation de l'algebre de Hecke graduee de type B

abstract: For a root system of type $B$ we study an algebra similar to a graded Hecke algebra, isomorphic to a subalgebra of the rational Cherednik algebra. We introduce principal series modules over it and prove an irreducibility criterion for these modules. We deduce similar results for an algebra associated to a root system of type $D$.


title: Relative maps and tautological classes

abstract: The moduli space of stable relative maps to the projective line combines features of stable maps and admissible covers. We prove all standard Gromov-Witten classes on these moduli spaces of stable relative maps have tautological push-forwards to the moduli space of curves. In particular, the fundamental classes of all moduli spaces of admissible covers push-forward to tautological classes. Consequences for the tautological rings of the moduli spaces of curves include methods for generating new relations, uniform derivations of the socle and vanishing statements of the Gorenstein conjectures for the complete, compact type, and rational tail cases, tautological boundary terms for Ionel's, Looijenga's, and Getzler's vanishings, and applications to Gromov-Witten theory.


title: Local well-posedness for the Maxwell-Schr\"odinger equation

abstract: Time local well-posedness for the Maxwell-Schr\"odinger equation in the coulomb gauge is studied in Sobolev spaces by the contraction mapping principle. The Lorentz gauge and the temporal gauge cases are also treated by the gauge transform.


title: On Generalized Moment Maps for Symplectic Compact Group Actions

abstract: A generalized moment map is proposed for arbitrary symplectic actions of compact connected Lie groups on closed symplectic manifolds, in the spirit of the circle -valued maps introduced by D. McDuff in the case of non-Hamiltonian circle actions. We study equivariance properties of generalized moments, show that they allow reduction procedures, and obtain in the torus case a version of the Atiyah-Guillemin-Sternberg convexity theorem. As illustration, we reformulate a proof of M.K. Kim that "complexity one" symplectic torus actions are Hamiltonian, and give a symplectic proof of the finiteness of certain symmetry groups of compact oriented surfaces.


title: Asymptotic Stability I: Completely Positive Maps

abstract: We show that for every "locally finite" unit-preserving completely positive map P acting on a C*-algebra, there is a corresponding *-automorphism \alpha of another unital C*-algebra such that the two sequences P, P^2,P^3,... and \alpha, \alpha^2,\alpha^3,... have the same {\em asymptotic} behavior. The automorphism \alpha is uniquely determined by P up to conjugacy. Similar results hold for normal completely positive maps on von Neumann algebras, as well as for one-parameter semigroups. These results can be viewed as operator algebraic counterparts of the classical Perron-Frobenius theorem on the structure of square matrices with nonnegative entries.


title: Belyi-extending maps and the Galois action on dessins d'enfants

abstract: We study the absolute Galois group by looking for invariants and orbits of its faithful action on Grothendieck's dessins d'enfants. We define a class of functions called Belyi-extending maps, which we use to construct new Galois invariants of dessins from previously known invariants. Belyi-extending maps are the source of the ``new-type'' relations on the injection of the absolute Galois group into the Grothendieck-Teichmuller group. We make explicit how to get from a general Belyi-extending map to formula for its associated invariant which can be implemented in a computer algebra package. We give an example of a new invariant differing on two dessins which have the same values for the other readily computable invariants.


title: Groupoids and Smarandache Groupoids

abstract: Generally, in any human field, a Smarandache Structure on a set A means a weak structure W on A such that there exists a proper subset B contained in A which is embedded with a stronger structure S. These types of structures occurin our everyday'slife, that's why we study them in this book. Thus, as a particular case: A Smarandache groupoid is a groupoid G which has a proper subset S contained in G such that S under the operation of G is a semigroup.


title: Phase transitions in Phylogeny

abstract: We apply the theory of markov random fields on trees to derive a phase transition in the number of samples needed in order to reconstruct phylogenies. We consider the Cavender-Farris-Neyman model of evolution on trees, where all the inner nodes have degree at least 3, and the net transition on each edge is bounded by e. Motivated by a conjecture by M. Steel, we show that if 2 (1 - 2 e) (1 - 2e) > 1, then for balanced trees, the topology of the underlying tree, having n leaves, can be reconstructed from O(log n) samples (characters) at the leaves. On the other hand, we show that if 2 (1 - 2 e) (1 - 2 e) < 1, then there exist topologies which require at least poly(n) samples for reconstruction. Our results are the first rigorous results to establish the role of phase transitions for markov random fields on trees as studied in probability, statistical physics and information theory to the study of phylogenies in mathematical biology.


title: The $E_t$-Construction for Lattices, Spheres and Polytopes

abstract: We describe and analyze a new construction that produces new Eulerian lattices from old ones. It specializes to a construction that produces new strongly regular cellular spheres (whose face lattices are Eulerian). The construction does not always specialize to convex polytopes; however, in a number of cases where we can realize it, it produces interesting classes of polytopes. Thus we produce an infinite family of rational 2-simplicial 2-simple 4-polytopes, as requested by Eppstein, Kuperberg and Ziegler. We also construct for each $d\ge3$ an infinite family of $(d-2)$-simplicial 2-simple $d$-polytopes, thus solving a problem of Gr\"unbaum.


title: B-sub-manifolds and their stability

abstract: In this paper, we introduce a concept of B-minimal sub-manifolds and discuss the stability of such a sub-manifold in a Riemannian manifold $(M,g)$. Assume $B(x)$ is a smooth function on $M$. By definition, we call a sub-manifold $\Sigma$ {\em B-minimal} in $(M,g)$ if the product sub-manifold $\Sigma\times S^1$ is a {\em minimal} sub-manifold in a warped product Riemannian manifold $(M\times S^1, g+e^{2B(x)}dt^2)$, so its stability is closely related to the stability of solitons of mean curvature flows as noted earlier by G. Huisken, S. Angenent, and K. Smoczyk. We can show that the "grim reaper" in the curve-shortening problem is stable in the sense of "symmetric stable" defined by K. Smoczyk. We also discuss the graphic B-minimal sub-manifold in $R^{n+k}$.


title: An optimal Loewner-type systolic inequality and harmonic one-forms of constant norm

abstract: We present a new optimal systolic inequality for a closed Riemannian manifold X, which generalizes a number of earlier inequalities, including that of C. Loewner. We characterize the boundary case of equality in terms of the geometry of the Abel-Jacobi map, A_X, of X. For an extremal metric, the map A_X turns out to be a Riemannian submersion with minimal fibers, onto a flat torus. We characterize the base of J_X in terms of an extremal problem for Euclidean lattices, studied by A.-M. Berg\'e and J. Martinet. Given a closed manifold X that admits a submersion F to its Jacobi torus T^{b_1(X)}, we construct all metrics on X that realize equality in our inequality. While one can choose arbitrary metrics of fixed volume on the fibers of F, the horizontal space is chosen using a multi-parameter version of J. Moser's method of constructing volume-preserving flows.


title: Witt vectors and Tambara functors

abstract: We give, for every finite group G, a combinatorial description of the ring of G-Witt vectors on a polynomial algebra over the integers. Using this description we show that the functor, which takes a ring with trivial action of G to its ring of Witt vectors, coincides with the left adjoint of the algebraic functor from the category of G-Tambara functors to the category of rings with an action of G.


title: On the ubiquity of Sidon sets

abstract: A Sidon set is a set A of integers such that no integer has two essentially distinct representations as the sum of two elements of A. More generally, for every positive integer g, a B_2[g]-set is a set A of integers such that no integer has more than g essentially distinct representations as the sum of two elements of A. It is proved that almost all small sumsets of {1,2,...,n} are B_2[g]-sets, in the sense that if B_2[g](k,n) denotes the number of B_2[g]-sets of cardinality k contained in the interval {1,2,...,n}, then lim_{n\to\infty} B_2[g](k,n)/\binom{n}{k} = 1 if k = o(n^{g/(2g+2)}).


title: The modularity of certain non-rigid Calabi-Yau threefolds

abstract: Let $X$ be a Calabi--Yau threefold fibred over ${\mathbb P}^1$ by non-constant semi-stable K3 surfaces and reaching the Arakelov--Yau bound. In [STZ], X. Sun, Sh.-L. Tan, and K. Zuo proved that $X$ is modular in a certain sense. In particular, the base curve is a modular curve. In their result they distinguish the rigid and the non-rigid cases. In [SY] and [V] rigid examples were constructed. In this paper we construct explicit examples in non-rigid cases. Moreover, we prove for our threefolds that the ``interesting'' part of their $L$-series is attached to an automorphic form, and hence that they are modular in yet another sense.


title: Natural star products on symplectic manifolds and quantum moment maps

abstract: We define a natural class of star products: those which are given by a series of bidifferential operators which at order $k$ in the deformation parameter have at most $k$ derivatives in each argument. We show that any such star product on a symplectic manifold defines a unique symplectic connection. We parametrise such star products, study their invariance and give necessary and sufficient conditions for them to yield a quantum moment map. We show that Kravchenko's sufficient condition for a moment map for a Fedosov star product is also necessary.


title: Another Look at Random Infinite Divisibility

abstract: The drawbacks in the formulations of random infinite divisibility in Sandhya (1991, 1996), Gnedenko and Korelev (1996), Klebanov and Rachev (1996), Bunge (1996) and Kozubowski and Panorska (1996) are pointed out. For any given Laplace transform, we conceive random (N) infinite divisibility w.r.t a class of probability generating functions derived from the Laplace transform itself. This formulation overcomes the said drawbacks, and the class of probability generating functions is useful in transfer theorems for sums and maximums in general. Generalizing the concepts of attraction (and partial attraction) in the classical and the geometric summation setup to our formulation we show that the domains of attraction (and partial attraction)in all these setups are same. We also establish a necessary and sufficient condition for the convergence to infinitely divisible laws from that of an N-sum and conversely, that is an analogue of Theorem.4.6.5 in Gnedenko and Korelev (1996, p.149). The role of the divisibiltiy of N and the Laplace transform on that of this formulation is also discussed.


title: Actions of relative Weyl groups I, II

abstract: In the first part, we construct a new isomorphism between the endomorphism algebra of an induced cuspidal character sheaf and the group algebra of the relative Weyl group involved. We show it differs from the isomorphism of Lusztig by a linear character, and we relate this linear character to some stabilizers. Some consequences for characteristic functions of character sheaves are obtained. In the second part, we compute explicitly this linear character whenever the cuspidal local system is supported by the regular unipotent class and, as an application of these methods, we obtain a refinement of Digne, Lehrer and Michel's theorem on Lusztig restriction of Gel'fand-Graev characters.


title: Continuity of the Ito-Map for Hoelder rough paths with applications to the support theorem in Hoelder norm

abstract: Lyons' Rough Path theory is currently formulated in p-variation topology. We extend his main-result, the Universal Limit Theorem, to a stronger Hoelder topology. Several approximations to Brownian Rough Paths are studied. As application of our approach, we obtain the celebrated support theorem (in Hoelder-topology) as immediate (!) corollary.


title: On the existence of cyclic difference sets with small parameters

abstract: Previous surveys by Baumert and Lopez and Sanchez have resolved the existence of cyclic (v,k,lambda) difference sets with k <= 150, except for six open cases. In this paper we show that four of those difference sets do not exist. We also look at the existence of difference sets with k <= 300 and cyclic Hadamard difference sets with v <= 10,000. Finally, we extend an earlier search of the second author to show that no cyclic projective planes exist with non-prime power orders up to two billion.


title: On a conjecture of Auslander and Reiten

abstract: In studying Nakayama's 1958 conjecture on rings of infinite dominant dimension, Auslander and Reiten proposed the following generalization: Let Lambda be an Artin algebra and M a Lambda-generator such that Ext^i_Lambda(M,M)=0 for all i \geq 1; then M is projective. This conjecture makes sense for any ring. We establish Auslander and Reiten's conjecture for excellent Cohen--Macaulay normal domains containing the rational numbers, and slightly more generally.


title: Idealizer Rings and Noncommutative Projective Geometry

abstract: We study some properties of graded idealizer rings with an emphasis on applications to the theory of noncommutative projective geometry. In particular we give examples of rings for which the $\chi$-conditions of Artin and Zhang and the strong noetherian property have very different behavior on the left and right sides.


title: A catalog of inverse-kinematics planners for underactuated systems on matrix groups

abstract: This paper presents motion planning algorithms for underactuated systems evolving on rigid rotation and displacement groups. Motion planning is transcribed into (low-dimensional) combinatorial selection and inverse-kinematics problems. We present a catalog of solutions for all underactuated systems on $\SE{2}$, $\SO{3}$ and $\SE{2}\times\real$ classified according to their controllability properties.


title: The complexity of accurate floating point computation

abstract: Our goal is to find accurate and efficient algorithms, when they exist, for evaluating rational expressions containing floating point numbers, and for computing matrix factorizations (like LU and the SVD) of matrices with rational expressions as entries. More precisely, {\em accuracy} means the relative error in the output must be less than one (no matter how tiny the output is), and {\em efficiency} means that the algorithm runs in polynomial time. Our goal is challenging because our accuracy demand is much stricter than usual.


title: Computational modeling of microstructure

abstract: Many materials such as martensitic or ferromagnetic crystals are observed to be in metastable states exhibiting a fine-scale, structured spatial oscillation called microstructure; and hysteresis is observed as the temperature, boundary forces, or external magnetic field changes. We have developed a numerical analysis of microstructure and used this theory to construct numerical methods that have been used to compute approximations to the deformation of crystals with microstructure.


title: Adaptive finite element methods for partial differential equations

abstract: The numerical simulation of complex physical processes requires the use of economical discrete models. This lecture presents a general paradigm of deriving a posteriori error estimates for the Galerkin finite element approximation of nonlinear problems. Employing duality techniques as used in optimal control theory the error in the target quantities is estimated in terms of weighted `primal' and `dual' residuals. On the basis of the resulting local error indicators economical meshes can be constructed which are tailored to the particular goal of the computation. The performance of this {\it Dual Weighted Residual Method} is illustrated for a model situation in computational fluid mechanics: the computation of the drag of a body in a viscous flow, the drag minimization by boundary control and the investigation of the optimal solution's stability.


title: High dimensional finite elements for elliptic problems with multiple scales and stochastic data

abstract: Multiple scale homogenization problems are reduced to single scale problems in higher dimension. It is shown that sparse tensor product Finite Element Methods (FEM) allow the numerical solution in complexity independent of the dimension and of the length scale. Problems with stochastic input data are reformulated as high dimensional deterministic problems for the statistical moments of the random solution. Sparse tensor product FEM give a deterministic solution algorithm of log-linear complexity for statistical moments.


title: High resolution methods for time dependent problems with piecewise smooth solutions

abstract: A trademark of nonlinear, time-dependent, convection-dominated problems is the spontaneous formation of non-smooth macro-scale features, like shock discontinuities and non-differentiable kinks, which pose a challenge for high-resolution computations. We overview recent developments of modern computational methods for the approximate solution of such problems. In these computations, one seeks piecewise smooth solutions which are realized by finite dimensional projections. Computational methods in this context can be classified into two main categories, of local and global methods. Local methods are expressed in terms of point-values (-- Hamilton-Jacobi equations), cell averages (-- nonlinear conservation laws), or higher localized moments. Global methods are expressed in terms of global basis functions. High resolution central schemes will be discussed as a prototype example for local methods. The family of central schemes offers high-resolution ``black-box-solvers'' to an impressive range of such nonlinear problems. The main ingredients here are detection of spurious extreme values, non-oscillatory reconstruction in the directions of smoothness, numerical dissipation and quadrature rules. Adaptive spectral viscosity will be discussed as an example for high-resolution global methods. The main ingredients here are detection of edges in spectral data, separation of scales, adaptive reconstruction, and spectral viscosity.


title: Some geometric PDEs related to hydrodynamics and electrodynamics

abstract: We discuss several geometric PDEs and their relationship with Hydrodynamics and classical Electrodynamics. We start from the Euler equations of ideal incompressible fluids that, geometrically speaking, describe geodesics on groups of measure preserving maps with respect to the $L^2$ metric. Then, we introduce a geometric approximation of the Euler equation, which involves the Monge-Amp\`ere equation and the Monge-Kantorovich optimal transportation theory. This equation can be interpreted as a fully nonlinear correction of the Vlasov-Poisson system that describes the motion of electrons in a uniform neutralizing background through Coulomb interactions. Finally we briefly discuss an equation for generalized extremal surfaces in the 5 dimensional Minkowski space, related to the Born-Infeld equations, from which the Vlasov-Maxwell system of classical Electrodynamics can be formally derived.


title: Measuring and hedging financial risks in dynamical world

abstract: Financial markets have developed a lot of strategies to control risks induced by market fluctuations. Mathematics has emerged as the leading discipline to address fundamental questions in finance as asset pricing model and hedging strategies. History began with the paradigm of zero-risk introduced by Black & Scholes stating that any random amount to be paid in the future may be replicated by a dynamical portfolio. In practice, the lack of information leads to ill-posed problems when model calibrating. The real world is more complex and new pricing and hedging methodologies have been necessary. This challenging question has generated a deep and intensive academic research in the 20 last years, based on super-replication (perfect or with respect to confidence level) and optimization. In the interplay between theory and practice, Monte Carlo methods have been revisited, new risk measures have been back-tested. These typical examples give some insights on how may be used mathematics in financial risk management.


title: Exploring the capability and limits of the feedback mechanism

abstract: Feedback is a most important concept in control systems, its main purpose is to deal with internal and/or external uncertainties in dynamical systems, by using the on-line observed information. Thus, a fundamental problem in control theory is to understand the maximum capability and potential limits of the feedback mechanism. This paper gives a survey of some basic ideas and results developed recently in this direction, for several typical classes of uncertain dynamical systems including parametric and nonparametric nonlinear systems, sampled-data systems and time-varying stochastic systems.


title: A computer verification of the Kepler conjecture

abstract: The Kepler conjecture asserts that the density of a packing of congruent balls in three dimensions is never greater than $\pi/\sqrt{18}$. A computer assisted verification confirmed this conjecture in 1998. This article gives a historical introduction to the problem. It describes the procedure that converts this problem into an optimization problem in a finite number of variables and the strategies used to solve this optimization problem.


title: Rhythms of the nervous system: mathematical themes and variations

abstract: The nervous system displays a variety of rhythms in both waking and sleep. These rhythms have been closely associated with different behavioral and cognitive states, but it is still unknown how the nervous system makes use of these rhythms to perform functionally important tasks. To address those questions, it is first useful to understood in a mechanistic way the origin of the rhythms, their interactions, the signals which create the transitions among rhythms, and the ways in which rhythms filter the signals to a network of neurons. This talk discusses how dynamical systems have been used to investigate the origin, properties and interactions of rhythms in the nervous system. It focuses on how the underlying physiology of the cells and synapses of the networks shape the dynamics of the network in different contexts, allowing the variety of dynamical behaviors to be displayed by the same network. The work is presented using a series of related case studies on different rhythms. These case studies are chosen to highlight mathematical issues, and suggest further mathematical work to be done. The topics include: different roles of excitation and inhibition in creating synchronous assemblies of cells, different kinds of building blocks for neural oscillations, and transitions among rhythms. The mathematical issues include reduction of large networks to low dimensional maps, role of noise, global bifurcations, use of probabilistic formulations.


title: Analysis of energetic models for rate-independent materials

abstract: We consider rate-independent models which are defined via two functionals: the time-dependent energy-storage functional $\calI:[0,T]\ti X\to [0,\infty]$ and the dissipation distance $\calD:X\ti X\to[0,\infty]$. A function $z:[0,T]\to X$ is called a solution of the {energetic model}, if for all $0\leq s<t\leq T$ we have stability: $\mathcal I(t,z(t)) \leq \mathcal I(t,\widetilde z)+ \calD(z(t),\wt z)$ for all $\wt z\in X$; energy inequality: $\mathcal I(t,z(t)) {+} \Diss_\calD(z,[s,t]) \leq \mathcal I(s,z(s)) {+} \int_s^t \partial_\tau\mathcal I(\tau,z(\tau)) \mathrm d \tau$. We provide an abstract framework for finding solutions of this problem. It involves time discretization where each incremental problem is a global minimization problem. We give applications in material modeling where $z\in \calZ\subset X$ denotes the internal state of a body. The first application treats shape-memory alloys where $z$ indicates the different crystallographic phases. The second application describes the delamination of bodies glued together where $z$ is the proportion of still active glue along the contact zones. The third application treats finite-strain plasticity where $z(t,x)$ lies in a Lie group.


title: Mathematical modelling of the cardiovascular system

abstract: In this paper we will address the problem of developing mathematical models for the numerical simulation of the human circulatory system. In particular, we will focus our attention on the problem of haemodynamics in large human arteries.


title: Analysis of some singular solutions in fluid dynamics

abstract: Studies on singular flows in which either the velocity fields or the vorticity fields change dramatically on small regions are of considerable interests in both the mathematical theory and applications. Important examples of such flows include supersonic shock waves, boundary layers, and motions of vortex sheets, whose studies pose many outstanding challenges in both theoretical and numerical analysis. The aim of this talk is to discuss some of the key issues in studying such flows and to present some recent progress. First we deal with a supersonic flow past a perturbed cone, and prove the global existence of a shock wave for the stationary supersonic gas flow past an infinite curved and symmetric cone. For a general perturbed cone, a local existence theory for both steady and unsteady is also established. We then present a result on global existence and uniqueness of weak solutions to the 2-D Prandtl's system for unsteady boundary layers. Finally, we will discuss some new results on the analysis of the vortex sheets motions which include the existence of 2-D vortex sheets with reflection symmetry; and no energy concentration for steady 3-D axisymmetric vortex sheets.


title: A numeraire-free and original probability based framework for financial markets

abstract: In this paper, we introduce a numeraire-free and original probability based framework for financial markets. We reformulate or characterize fair markets, the optional decomposition theorem, superhedging, attainable claims and complete markets in terms of martingale deflators, present a recent result of Kramkov and Schachermayer (1999, 2001) on portfolio optimization and give a review of utility-based approach to contingent claim pricing in incomplete markets.


title: Teaching linear algebra at university

abstract: Linear algebra represents, with calculus, the two main mathematical subjects taught in science universities. However this teaching has always been difficult. In the last two decades, it became an active area for research works in mathematics education in several countries. Our goal is to give a synthetic overview of the main results of these works focusing on the most recent developments. The main issues we will address concern: the epistemological specificity of linear algebra and the interaction with research in history of mathematics; the cognitive flexibility at stake in learning linear algebra; three principles for the teaching of linear algebra as postulated by G. Harel; the relation between geometry and linear algebra; an original teaching design experimented by M. Rogalsk.


title: Popularizing mathematics: from eight to infinity

abstract: It is rare to succeed in getting mathematics into ordinary conversation without meeting all kinds of reservations. In order to raise public awareness of mathematics effectively, it is necessary to modify such attitudes. In this paper, we point to some possible topics for general mathematical conversation.


title: Reforms of the university mathematics education for non-mathematical specialties

abstract: This article is a part of the report for the research project ``Reform of the Course System and Teaching Content of Higher Mathematics (For Non-Mathematical Specialties)'' in 1995, supported by the National Ministry of Education. There are thirteen universities participated in this project. The Report not only reflects results of our participants, but also includes valuable opinions of many colleagues in the mathematical education circles. In this article, after a brief description on the history and reform situation of the higher mathematics education in China, attention concentrates to three aspects. They are: main problems in this field existing; the functions of mathematics accomplishment for college students; these concern course system, teaching and learning philosophy, such as overemphasized specialty education, overlooking to arouse rational thinking and aesthetic conceptions, etc. The last aspect contains a discussion on several important relationships, such as: knowledge impartment and quality cultivation, inherence and modernization of the mathematical knowledge, teacher's guidance and students' initiative, mathematical basic training and mathematical application consciousness and ability cultivation, etc.


title: The teaching of proof

abstract: This panel draws on research of the teaching of mathematical proof, conducted in five countries at different levels of schooling. With a shared view of proof as essential to the teaching and learning of mathematics, the authors present results of studies that explore the challenges for teachers in helping students learn to reason in disciplined ways about mathematical claims.


title: "Algebraic truths" vs "geometric fantasies": Weierstrass' Response to Riemann

abstract: In the 1850s Weierstrass succeeded in solving the Jacobi inversion problem for the hyper-elliptic case, and claimed he was able to solve the general problem. At about the same time Riemann successfully applied the geometric methods that he set up in his thesis (1851) to the study of Abelian integrals, and the solution of Jacobi inversion problem. In response to Riemann's achievements, by the early 1860s Weierstrass began to build the theory of analytic functions in a systematic way on arithmetical foundations, and to present it in his lectures. According to Weierstrass, this theory provided the foundations of the whole of both elliptic and Abelian function theory, the latter being the ultimate goal of his mathematical work. Riemann's theory of complex functions seems to have been the background of Weierstrass's work and lectures. Weierstrass' unpublished correspondence with his former student Schwarz provides strong evidence of this. Many of Weierstrass' results, including his example of a continuous non-differentiable function as well as his counter-example to Dirichlet principle, were motivated by his criticism of Riemann's methods, and his distrust in Riemann's ``geometric fantasies''. Instead, he chose the power series approach because of his conviction that the theory of analytic functions had to be founded on simple "algebraic truths". Even though Weierstrass failed to build a satisfactory theory of functions of several complex variables, the contradiction between his and Riemann's geometric approach remained effective until the early decades of the 20$^{th}$ century.


title: From quaternions to cosmology: spaces of constant curvature, ca. 1873-1925

abstract: After mathematicians and physicists had learned that the structure of physical space was not necessarily Euclidean, it became conceivable that the global topological structure of space was non-trivial. In the context of the late 19th century debates on physical space this speculation gave rise to the problem of classifying spaces of constant curvature from a topological point of view. William Kingdon Clifford, Felix Klein and Wilhelm Killing, the latter of whom devoted a substantial amount of work to the topic in the early 1890s, clearly perceived this problem as relevant for both mathematics and natural philosophy (i.e., physics or cosmology). To some extent, a cosmological interest may even be found among those authors who restated the space form problem in more modern terms in the early 20th century, such as Heinz Hopf.


title: The third approach to the history of mathematics in China

abstract: The first approach to the history of mathematics in China led by Li Yan (1892--1963) and Qian Baocong (1892--1974) featured discovering {\it what} mathematics had been done in China's past. From the 1970s on, Wu Wen-tsun and others shifted this research paradigm to one of recovering {\it how} mathematics was done in ancient China. Both approaches, however, focus on the same problem, that is mathematics in history. The theme of the third approach is supposed to be {\it why} mathematics was done. Combining this approach with the former two, the research paradigm will be improved from one of mathematics in history to that of the history of mathematics.


title: Chains with complete connections and one-dimensional Gibbs measures

abstract: We discuss the relationship between discrete-time processes (chains) and one-dimensional Gibbs measures. We consider finite-alphabet (finite-spin) systems, possibly with a grammar (exclusion rule). We establish conditions for a stochastic process to define a Gibbs measure and vice versa. Our conditions generalize well known equivalence results between ergodic Markov chains and fields, as well as the known Gibbsian character of processes with exponential continuity rate. Our arguments are purely probabilistic; they are based on the study of regular systems of conditional probabilities (specifications). Furthermore, we discuss the equivalence of uniqueness criteria for chains and fields and we establish bounds for the continuity rates of the respective systems of finite-volume conditional probabilities. As an auxiliary result we prove a (re)construction theorem for specifications starting from single-site conditioning, which applies in a more general setting (general spin space, specifications not necessarily Gibbsian).


title: Chains with complete connections: General theory, uniqueness, loss of memory and mixing properties

abstract: We introduce an statistical mechanical formalism for the study of discrete-time stochastic processes with which we prove: (i) General properties of extremal chains, including triviality on the tail $\sigma$-algebra, short-range correlations, realization via infinite-volume limits and ergodicity. (ii) Two new sufficient conditions for the uniqueness of the consistent chain. The first one is a transcription of a criterion due to Georgii for one-dimensional Gibbs measures, and the second one corresponds to Dobrushin criterion in statistical mechanics. (iii) Results on loss of memory and mixing properties for chains in the Dobrushin regime. These results are complementary of those existing in the literature, and generalize the Markovian results based on the Dobrushin ergodic coefficient.


title: Quasi-homogeneous domains and convex affine manifolds

abstract: In this article, we study convex affine domains which can cover a compact affine manifold. For this purpose, we first show that every strictly convex quasi-homogeneous projective domain has at least $C^1$ boundary and it is an ellipsoid if its boundary is twice differentiable. And then we show that an n-dimensional paraboloid is the only strictly convex quasi-homogeneous affine domain in $\mathbb R^n$ up to affine equivalence. Furthermore we prove that if a strictly convex quasi-homogeneous projective domain is $C^{\alpha}$ on an open subset of its boundary, then it is $C^{\alpha}$ everywhere. Using this fact and the properties of asymptotic cones we find all possible shapes for developing images of compact convex affine manifolds with dimension $\leq 4$.


title: The rank of elliptic surfaces in unramified abelian towers

abstract: Let E --> C be an elliptic surface defined over a number field K. For each finite covering C' --> C defined over K, let E' --> C' be the pullback. We give a strong upper bound for the rank of E'(C'/K) in the case that C' --> C is an unramified abelian covering and under the assumption that the Tate conjecture is true for the surface E'/K. In the case that C is an elliptic curve and the map C'=C --> C is the multiplication-by-n map, the rank of E'(C'/K) is O(n^e) for every e > 0, which may be compared with the elementary bound of O(n^2).


title: Classification of weighted graphs up to blowing-up and blowing-down

abstract: We classify weighted forests up to the blowing-up and blowing-down operations which are relevant for the study of algebraic surfaces.


title: Aspects of Randomization in Infinitely Divisible and Max-Infinitely Divisible Laws

abstract: Continuing the study reported in Satheesh (2001),(arXiv:math.PR/0304499 dated 01May2003) here we study certain aspects of randomization in infinitely divisible (ID) and max-infinitely divisible (MID) laws. They generalize ID and MID laws. In particular we study mixtures of ID & MID laws, its relation to random sums & random maximums, corresponding stationary processes & extremal processes and some of their properties. It is shown that mixtures of ID laws and mixtures of MID laws appear as limits of random sums and random maximums respectively. We identify a class of probability generating functions for N, the random sample size. A method to construct class-L laws is given.


title: Random Combinatorial structures:the convergent case

abstract: This paper studies the distribution of the component spectrum of combinatorial structures such as uniform random forests, in which the classical generating function for the numbers of (irreducible) elements of the different sizes converges at the radius of convergence; here, this property is expressed in terms of the expectations of {\it independent} random variables $Z_j$, $j\ge1$, whose joint distribution, conditional on the event that $\sum_{j=1}^n jZ_j = n$, gives the distribution of the component spectrum for a random structure of size $n$. For a large class of such structures, we show that the component spectrum is asymptotically composed of $Z_j$ components of size $j$, $j\ge1$, with the remaining part, of size $n-\sum_{j\ge1} Z_j$, being made up of a single, giant component.


title: Smarandache semirings, semifields and semivector spaces

abstract: Generally, in any human field, a Smarandache Structure on a set A means a weak structure W on A such that there exists a proper subset B which is embedded with a stronger structure S. By proper subset one understands a set included in A, different from the empty set, from the unit element if any, and from A. These types of structures occur in our every day's life, that's why we study them in this book. Thus, as three particular cases: 1) A Smarandache semiring is a semiring A such that a proper subset B of A is a semifield (with respect to the same induced operation). 2) A Smarandache semifield is a semifield A such that a proper subset B of A is a k-semi algebra, with respect to the same induced operations and an external operator. 3) A Smarandache semivector space is a semivector space A (over a semifield B) which is a Smarandache semigroup.


title: Global sections of line bundles on a wonderful compactification of the general linear group

abstract: In a previous paper we have constructed a compactification $KGl_n$ of the general linear group $Gl_n$, which in many respects is analogous to the so called wonderful compactification of adjoint semisimple algebraic groups as studied by De Concini and Procesi. In particular there is an action of $G=Gl_n\times Gl_n$ on this compactification. In this paper we show how the space of global section of an arbitrary $G$-linearized line bundle on $KGl_n$ decomposes canonically into a direct sum of simple $G$-modules which are themselves given as the spaces of global sections of line bundles on the product of two copies of the full flag manifold parametrizing flags in an $n$-dimensional vector space.


title: A canonical decomposition of generalized theta functions on the moduli stack of Gieseker vector bundles

abstract: In this paper I present a new geometric approach to the factorization rule for generalised theta functions. Let $X$ be an irreducible projective nodal curve with one singularity and let $Y$ be its normalization. Recently I have constructed the moduli stack $GVB(X)$ of rank $n$ Gieseker vector bundles on $X$ and have shown that its normalization is a locally trivial fibration over the moduli stack $VB(Y)$ of vector bundles on $Y$, where the fibre is a canonical compactification of $Gl_n$. In this paper I prove a canonical direct sum decomposition of the space of global sections of a power of the theta line bundle on $GVB(X)$ where the summands are spaces of global sections of certain line bundles on the moduli stack of parabolic bundles on the two-pointed curve $Y$.


title: Products of characters and finite p-groups

abstract: Let G be a finite p-group, where p is a prime number, and $\chi$ and $\psi$ be faithful complex irreducible characters of G. We study the relation between the number $\eta(\chi,\psi)$ of distinct irreducible constituents of the product $\chi \psi$ and p.


title: On relatively analytic and Borel subsets

abstract: Define z to be the smallest cardinality of a function f:X->Y with X and Y sets of reals such that there is no Borel function g extending f. In this paper we prove that it is relatively consistent with ZFC to have b<z where b is, as usual, smallest cardinality of an unbounded family in w^w. This answers a question raised by Zapletal. We also show that it is relatively consistent with ZFC that there exists a set of reals X such that the Borel order of X is bounded but there exists a relatively analytic subset of X which is not relatively coanalytic. This answers a question of Mauldin.


title: Extremal problems for ordered (hyper)graphs: applications of Davenport-Schinzel sequences

abstract: We introduce a containment relation of hypergraphs which respects linear orderings of vertices and investigate associated extremal functions. We extend, by means of a more generally applicable theorem, the n.log n upper bound on the ordered graph extremal function of F=({1,3}, {1,5}, {2,3}, {2,4}) due to Z. Furedi to the n.(log n)^2.(loglog n)^3 upper bound in the hypergraph case. We use Davenport-Schinzel sequences to derive almost linear upper bounds in terms of the inverse Ackermann function. We obtain such upper bounds for the extremal functions of forests consisting of stars whose all centers precede all leaves.


title: On the semisolvability of semisimple Hopf algebras of low dimension

abstract: We prove that every semisimple Hopf algebra of dimension less than 60 over an algebraically closed field k of characteristic zero is either upper or lower semisolvable up to a cocycle twist.


title: Markov Chain Sampling for Non-linear State Space Models Using Embedded Hidden Markov Models

abstract: I describe a new Markov chain method for sampling from the distribution of the state sequences in a non-linear state space model, given the observation sequence. This method updates all states in the sequence simultaneously using an embedded Hidden Markov model (HMM). An update begins with the creation of a ``pool'' of K states at each time, by applying some Markov chain update to the current state. These pools define an embedded HMM whose states are indexes within this pool. Using the forward-backward dynamic programming algorithm, we can then efficiently choose a state sequence at random with the appropriate probabilities from the exponentially large number of state sequences that pass through states in these pools. I show empirically that when states at nearby times are strongly dependent, embedded HMM sampling can perform better than Metropolis methods that update one state at a time.


title: On algebraic varieties with finite polyhedral Mori cone

abstract: The fundamental property of Fano varieties with mild singularities is that they have a finite polyhedral Mori cone. Thus, it is very interesting to ask: What we can say about algebraic varieties with a finite polyhedral Mori cone? I give a review of known results. All of them were obtained applying methods which were originated in the theory of discrete groups generated by reflections in hyperbolic spaces with a fundamental chamber of finite volume. This is my report on Fano conference in Torino, October 2002


title: A lower bound for the canonical height on elliptic curves over abelian extensions

abstract: Let E/K be an ellptic curve defined over a number field, let h be the canonical height on E, and let K^ab be the maximal abelian extension of K. Extending work of M. Baker, we prove that there is a positive constant C(E/K) so that every nontorsion point P in E(K^ab) satisfies h(P) > C(E/K).


title: On the monodromy of moduli spaces of sheaves on K3 surfaces

abstract: Let S be a K3 surface and Aut D(S) the group of auto-equivalences of the derived category of S. We construct a natural representation of Aut D(S) on the cohomology of all moduli spaces of stable sheaves (with primitive Mukai vectors) on S. The main result of this paper is the precise relation of this action with the monodromy of the Hilbert schemes S^[n] of points on the surface. A formula is provided for the monodromy representation, in terms of the Chern character of the universal sheaf. Isometries of the second cohomology of S^[n] are lifted, via this formula, to monodromy operators of the whole cohomology ring of S^[n].


title: On the monodromy of moduli spaces of sheaves on K3 surfaces II

abstract: Let S be a K3 surface. In part I of this paper, we constructed a representation of the group Aut D(S), of auto-equivalences of the derived category of S. We interpreted this infinite dimensional representation, as the natural action of Aut D(S) on the cohomology of all moduli spaces of stable sheaves (with primitive Mukai vectors) on S. The main result, of part I, is the precise relation of this action with the monodromy of the Hilbert schemes S^[n] of points on the surface. The proof of the above result was reduced, in part I, to the case of two monodromy operators of S^[n], associated with choices of line bundles on the surface S, of degree 2n-4 and 2n respectively. When n=1, the first sequence of monodromy operators specializes to the reflection by a -2 curve. The n=1 case of the second sequence is related to the Galois involution, of a double cover of the projective plane, branched along a sextic. We complete the proof by treating these two sequences of examples.


title: KMS states on C*-algebras associated to expansive maps

abstract: Using Walters' version of the Ruelle-Perron-Frobenius Theorem we show the existence and uniqueness of KMS states for a certain one-parameter group of automorphisms on a C*-algebra associated to a positively expansive map on a compact metric space.


title: Infinite Divisibility and Max-Infinite Divisibility with Random Sample Size

abstract: Continuing the study reported in Satheesh (2001),(math.PR/0304499 dated 01 May 2003) and Satheesh (2002)(math.PR/0305030 dated 02May 2003), here we study generalizations of infinitely divisible (ID) and max-infinitely divisible (MID) laws. We show that these generalizations appear as limits of random sums and random maximums respectively. For the random sample size N, we identify a class of probability generating functions. Necessary and sufficient conditions that implies the convergence to an ID (MID) law by the convergence to these generalizations and vise versa are given. The results generalize those on ID and random ID laws studied previously in Satheesh (2001b, 2002) and those on geometric MID laws studies in Rachev and Resnick (1991). We discuss attraction and partial attraction in this generalization of ID and MID laws.


title: Le radical unipotent du groupe de Galois motivique d'un 1-motif

abstract: Let M be a 1-motive defined over a field of characteristic 0. To M we can associate its motivic Galois group, G_mot(M), which is the geometrical interpretation of the Munford-Tate group of M. We prove that the unipotent radical of the Lie algebra of G_mot(M) is the semi-abelian variety defined by the adjoint action of the semi-simplified of the Lie algebra of G_mot(M) on itself.


title: BMM is stronger than BSPFA

abstract: It is shown that if BMM (= Bounded Martin's Maximum) holds then each set is contained in an inner model with a strong cardinal. This answers a question that has been asked by various people. It follows that BMM has a much larger consistency strength than BSPFA (= the Bounded Semi-proper Forcing Axiom).


title: Extremal problems for ordered hypergraphs: small patterns and some enumeration

abstract: We investigate extremal functions ex_e(F,n) and ex_i(F,n) counting maximum numbers of edges and maximum numbers of vertex-edge incidences in simple hypergraphs H which have n vertices and do not contain a fixed hypergraph F; the containment respects linear orderings of vertices. We determine both functions exactly if F has only distinct singleton edges or if F is one of the 55 hypergraphs with at most four incidences (we give proofs only for six cases). We prove some exact formulae and recurrences for the numbers of hypergraphs, simple and all, with n incidences and derive rough logarithmic asymptotics of these numbers. Identities analogous to Dobinski's formula for Bell numbers are given.


title: Higher Operads, Higher Categories

abstract: Higher-dimensional category theory is the study of n-categories, operads, braided monoidal categories, and other such exotic structures. It draws its inspiration from areas as diverse as topology, quantum algebra, mathematical physics, logic, and theoretical computer science. This is the first book on the subject and lays its foundations. Many examples are given throughout. There is also an introductory chapter motivating the subject for topologists.


title: Classification of solvable 3-dimensional Lie triple systems

abstract: We give the classification of solvable and splitting Lie triple system and it turn that, up to isomorphism there exist 7 non isomorphic canonical Lie triple systems and 6 non isomorphic splitting canonical Lie triple systems and find the solvable Lie algebras associated.


title: Dirac operator and a twisted cyclic cocycle on the standard Podles quantum sphere

abstract: A Dirac operator D on the standard Podles sphere is defined and investigated. It yields a spectral triple such that |D|^{-z} is of trace class for Re z>0. Commutators with the Dirac operator give the distinguished 2-dimensional covariant differential calculus on the standard Podles sphere. The twisted cyclic cocycle associated with the volume form of the differential calculus is expressed by means of the Dirac operator.


title: Deformations of associative algebras with inner products

abstract: We develop the deformation theory of A_\infty algebras together with \infty inner products and identify a differential graded Lie algebra that controls the theory. This generalizes the deformation theories of associative algebras, A_\infty algebras, associative algebras with inner products, and A_\infty algebras with inner products.


title: Poisson calculus for spatial neutral to the right processes

abstract: Neutral to the right (NTR) processes were introduced by Doksum in 1974 as Bayesian priors on the class of distributions on the real line. Since that time there have been numerous applications to models that arise in survival analysis subject to possible right censoring. However, unlike the Dirichlet process, the larger class of NTR processes has not been used in a wider range of more complex statistical applications. Here, to circumvent some of these limitations, we describe a natural extension of NTR processes to arbitrary Polish spaces, which we call spatial neutral to the right processes. Our construction also leads to a new rich class of random probability measures, which we call NTR species sampling models. We show that this class contains the important two parameter extension of the Dirichlet process. We provide a posterior analysis, which yields tractable NTR analogues of the Blackwell--MacQueen distribution. Our analysis turns out to be closely related to the study of regenerative composition structures. A new computational scheme, which is an ordered variant of the general Chinese restaurant processes, is developed. This can be used to approximate complex posterior quantities. We also discuss some relationships to results that appear outside of Bayesian nonparametrics.


title: Algorithm of construction of all knots, links with given number of crosses on diagram of knot, link, using braids

abstract: Algorithm of construction of all knots, links with given number of crosses on diagram of knot, link is offered. This algorithm is based on simple proposition, that there is a representation of knot (link) as closure of braid with n threads and length of this braid does not exceed n(4n-5)+2.


title: The formal roots of Platonism

abstract: We present some arguments for the thesis that a set-theoretic inspired faith, in the ability of intuitive truth to faithfully reflect relationships between elements of a Platonic universe, may be as misplaced as an assumption that such truth cannot be expressed in a constructive, and effectively verifiable, manner.


title: Glauber Dynamics On The Cycle Is Monotone

abstract: We study heat-bath Glauber dynamics for the ferromagnetic Ising model on a finite cycle (a graph where every vertex has degree two). We prove that the relaxation time $\tau_2$ is an increasing function of any of the couplings $J_{xy}$. We also prove some further inequalities, and obtain exact asymptotics for $\tau_2$ at low temperatures.


title: Deformations of graded Lie algebras and symplectic structures

abstract: We study symplectic structures on filiform Lie algebras -- nilpotent Lie algebras of the maximal length of the descending central sequence. In the present article we classify the Lie algebras with the structure relations of the following form: $$[e_i,e_j]=(j-i)e_{i+j}+\sum_{l{=}1}c_{ij}^l e_{i+j+l}, i+j \le n.$$ In even dimensions the subspace of symplectic Lie algebras has the codimension one.


title: Graphs of Maps

abstract: This work studies certain aspects of graphs embedded on surfaces. Initially, a colored graph model for a map of a graph on a surface is developed. Then, a concept analogous to (and extending) planar graph is introduced in the same spirit as planar abstract duality, and is characterized topologically. An extension of the Gauss code problem treating together the cases in which the surface involved is the plane or the real projective plane is established. The problem of finding a minimum transversal of orientation-reversing circuits in graphs on arbitrary surfaces is proved to be NP-complete and is algorithmically solved for the special case where the surface is the real projective plane.


title: A Note on Maximum and Minimum Stability of Certain Distributions

abstract: In the context of stability of the extremes of a random variable X with respect to a positive integer valued random variable N we discuss the cases (i) X is exponential (ii) non-geometric laws for N (iii) identifying N for the stability of a given X and (iv) extending the notion to a discrete random variable X.


title: On the Stability of Geometric Extremes

abstract: Possible reasons for the uniqueness of the positive geometric law in the context of stability of random extremes are explored here culminating in a conjecture characterizing the geometric law. Our reasoning comes closer in justifying the geometric law in similar contexts discussed in Arnold et al. (1986) and Marshall & Olkin (1997) and also supplement their arguments.


title: Special bases for derivations of tensor algebras. III. Case along smooth maps with separable points of selfintersection

abstract: Necessary and/or sufficient conditions are studied for the existence, uniqueness and holonomicity of bases in which on sufficiently general subsets of a differentiable manifold the components of derivations of the tensor algebra over it vanish. The linear connections and the equivalence principle are considered form that point of view.


title: Casimir Operators and Monodromy Representations of Generalised Braid Groups

abstract: Let g be a complex, simple Lie algebra with Cartan subalgebra h and Weyl group W. We construct a one-parameter family of flat connections D on h with values in any finite-dimensional h-module V and simple poles on the root hyperplanes. The corresponding monodromy representation of the braid group B of type g is a deformation of the action of (a finite extension of) W on V. The residues of D are the Casimirs of the sl(2)-subalgebras of g corresponding to its roots. The irreducibility of a subspace U of V under these implies that, for generic values of the parameter, the braid group B acts irreducibly on U. Answering a question of Knutson and Procesi, we show that these Casimirs act irreducibly on the weight spaces of all simple g-modules if g is sl(3) but that this is not the case if g is not isomorphic to sl(2) or sl(3). We use this to disprove a conjecture of Kwon and Lusztig stating the irreducibility of quantum Weyl group actions of Artin's braid group B_n on the zero weight spaces of all simple U_{q}sl(n)-modules for n greater or equal to 4. Finally, we study the irreducibility of the action of the Casimirs on the zero weight spaces of self-dual g-modules and obtain complete classification results for g=sl(n) or g(2).


title: The twistor equation in Lorentzian spin geometry

abstract: In this paper we discuss the twistor equation in Lorentzian spin geometry. In particular, we explain the local conformal structure of Lorentzian manifolds, which admit twistor spinors inducing lightlike Dirac currents. Furthermore, we derive all local geometries with singularity free twistor spinors that occur up to dimension 7.


title: Ordinary elliptic curves of high rank over $\bar F_p(x)$ with constant j-invariant

abstract: We show that under the assumption of Artin's Primitive Root Conjecture, for all primes p there exist ordinary elliptic curves over $\bar F_p(x)$ with arbitrary high rank and constant j-invariant. For odd primes p, this result follows from a theorem which states that whenever p is a generator of (Z/ell Z)^*/<-1> (ell an odd prime) there exists a hyperelliptic curve over $\bar F_p$ whose Jacobian is isogenous to a power of one ordinary elliptic curve.


title: Automatic Quotients of Free Groups

abstract: Automatic groups admitting prefix closed automatic structures with uniqueness are characterized as the quotients of free groups by normal subgroups possessing sets of free generators satisfying certain language-theoretic conditions.


title: Counting Singular Matrices with Primitive Row Vectors

abstract: We solve an asymptotic problem in the geometry of numbers, where we count the number of singular $n\times n$ matrices where row vectors are primitive and of length at most T. Without the constraint of primitivity, the problem was solved by Y. Katznelson. We show that as $T \to \infty $, the number is asymptotic to $ \frac{(n-1)u_n}{\zeta (n) \zeta(n-1)^{n}}T^{n^{2}-n}\log (T)$ for $n \ge 3$. The 3-dimensional case is the most problematic and we need to invoke an equidistribution theorem due to W. Schmidt.


title: Global Asymptotic Controllability Implies Input to State Stabilization

abstract: We study nonlinear systems with observation errors. The main problem addressed in this paper is the design of feedbacks for globally asymptotically controllable (GAC) control affine systems that render the closed loop systems input to state stable with respect to actuator errors. Extensions for fully nonlinear GAC systems with actuator errors are also discussed.


title: Some remarks on sub-elliptic equations

abstract: In this paper, we consider the principal eigenvalue problem for Hormander's laplacian on $R^n$. We also study a related semi-linear sub-elliptic equation in the whole $R^n$ and prove that under a suitable condition, we have infinite many positive solutions of the problem.


title: On the holonomy of connections with skew-symmetric torsion

abstract: We investigate the holonomy group of a linear metric connection with skew-symmetric torsion. In case of the euclidian space and a constant torsion form this group is always semisimple. It does not preserve any non-degenerated 2-form or any spinor. Suitable integral formulas allow us to prove similar properties in case of a compact Riemannian manifold equipped with a metric connection of skew-symmetric torsion. On the Aloff-Wallach space N(1,1) we construct families of connections admitting parallel spinors. Furthermore, we investigate the geometry of these connections as well as the geometry of the underlying Riemannian metric. Finally, we prove that any 7-dimensional 3-Sasakian manifold admits $\mathbb{P}^2$-parameter families of linear metric connections and spinorial connections defined by 4-forms with parallel spinors.


title: Formulae for order one invariants of immersions and embeddings of surfaces

abstract: The universal order 1 invariant f^U of immersions of a closed orientable surface into R^3, whose existence has been established in [N3], takes values in the group G_U = K \oplus Z/2 \oplus Z/2 where K is a countably generated free Abelian group. The projections of f^U to K and to the first and second Z/2 factors are denoted f^K, M, Q respectively. An explicit formula for the value of Q on any embedding has been given in [N2]. In the present work we give an explicit formula for the value of f^K on any immersion, and for the value of M on any embedding.


title: Dirac Operators on Quantum Flag Manifolds

abstract: A Dirac operator D on quantized irreducible generalized flag manifolds is defined. This yields a Hilbert space realization of the covariant first-order differential calculi constructed by I. Heckenberger and S. Kolb. All differentials df=i[D,f] are bounded operators. In the simplest case of Podles' quantum sphere one obtains the spectral triple found by L. Dabrowski and A. Sitarz.


title: Littlewood-Paley decompositions and Besov spaces related to symmetric cones

abstract: Starting from a Whitney decomposition of a symmetric cone $\Omega$, analog to the dyadic partition $[2^j, 2^{j+1})$ of the positive real line, in this paper we develop an adapted Littlewood-Paley theory for functions with spectrum in $\Omega$. In particular, we define a natural class of Besov spaces of such functions, $B^{p,q}_\nu$, where the role of usual derivation is now played by the generalized wave operator of the cone $\Delta(\frac{\partial}{\partial x})$. Our main result shows that $B^{p,q}_\nu$ consists precisely of the distributional boundary values of holomorphic functions in the Bergman space $A^{p,q}_\nu(T_\Omega)$, at least in a ``good range'' of indices $1\leq q<q_{\nu,p}$. We obtain the sharp $q_{\nu,p}$ when $p\leq 2$, and conjecture a critical index for $p>2$. Moreover, we show the equivalence of this problem with the boundedness of Bergman projectors $P_\nu\colon L^{p,q}_\nu\to A^{p,q}_\nu$, for which our result implies a positive answer when $q_{\nu,p}'<q<q_{\nu,p}$. This extends to general cones previous work of the authors in the light-cone. Finally, we conclude the paper with a finer analysis in light-cones, for which we establish a link between our conjecture and the cone multiplier problem. Moreover, using recent work by Tao, Vargas and Wolff, we improve in dimension 3 the range of $q$'s for which the Bergman projection is bounded.


title: On the linear intersection number of graphs

abstract: The celebrated Erdos, Faber and Lovasz conjecture may be stated as follows: Any linear hypergraph on v points has chromatic index at most v. We will introduce the linear intersection number of a graph, and use this number to give an alternative formulation of the conjecture. Finally, first results about the linear intersection number will be proved. For example, we will determine all graphs with maximal linear intersection number given the number of edges of the graph.


title: On the Cauchy Problem for Differential Equations in a Banach Space over the Field of p-Adic Numbers. I

abstract: For the Cauchy problem for an operator differential equation of the form $y'(z) = Ay(z)$, where $A$ is a closed linear operator on a Banach space over the completion of an algebraic closure of the field of $p$-adic numbers, a criterion of correct solvability in the class of locally analytic vector-functions is established. It is shown how the Cauchy-Kovalevskaya theorem for $p$-adic partial differential equations may be obtained as a particular case from this criterion.


title: Harmonic measure and uniform densities

abstract: We study two problems concerning harmonic measure on "champagne subdomains" of the unit disk. These domains are obtained by removing from the unit disk little disks around sequences of points with a uniform distribution with respect to the pseudohyperbolic metric of the unit disk. We find (I) a necessary and sufficient condition on the decay of the radii of the little disks for the exterior boundary to have positive harmonic measure, and (II) describe sampling and interpolating sequences for Bergman spaces in terms of the harmonic measure on such ``champagne subdomains''.


title: The Complex Stone-Weierstrass Property

abstract: C(X) denotes the space of continuous complex-valued functions on the compact Hausdorff space X. X has the CSWP if every subalgebra of C(X) which separates points and contains the constant functions is dense in C(X). W. Rudin showed that all scattered X have the CSWP. We describe a class of non-scattered X with the CSWP; by another result of Rudin, such X cannot be metrizable.


title: Algebraic and geometric solutions of hyperbolic Dehn filling equations

abstract: In this paper we study the difference between algebraic and geometric solutions of the hyperbolic Dehn filling equations for ideally triangulated 3-manifolds. We show that any geometric solution is an algebraic one, and we prove the uniqueness of the geometric solutions. Then we do explicit calculations for three interesting examples. With the first two examples we see that not all algebraic solutions are geometric and that the algebraic solutions are not unique. The third example is a non-hyperbolic manifold that admits a positive, partially flat solution of the compatibility and completeness equations.


title: Asymptotic estimates for the number of integer solutions to decomposable form inequalities

abstract: We estimate the number of integer solutions to decomposable form inequalities (both asymptotic estimates and upper bounds are provided) when the degree of the form and the number of variables are relatively prime. These estimates display good behavior in terms of the coefficients of the form, and greatly improve upon previous estimates in this regard.


title: A generalized polygamma function

abstract: We study the properties of a function $\psi(z, q)$ (the generalized polygamma function), intimately connected with the Hurwitz zeta function and defined for complex values of the variables $z$ and $q$, which is entire in the variable $z$ and reduces to the usual polygamma function $\psi^{(m)}(q)$ for $z$ a non-negative integer $m$, and to the balanced negapolygamma function $\psi^{(-m)}(q)$ for $z$ a negative integer $-m$.


title: On the Size of Quadratic Siegel Disks: Part I

abstract: If $\a$ is an irrational number, we let $\{p_n/q_n\}_{n\geq 0}$, be the approximants given by its continued fraction expansion. The Bruno series $B(\a)$ is defined as $$B(\a)=\sum_{n\geq 0} \frac{\log q_{n+1}}{q_n}.$$ The quadratic polynomial $P_\a:z\mapsto e^{2i\pi \a}z+z^2$ has an indifferent fixed point at the origin. If $P_\a$ is linearizable, we let $r(\a)$ be the conformal radius of the Siegel disk and we set $r(\a)=0$ otherwise. Yoccoz proved that if $B(\a)=\infty$, then $r(\a)=0$ and $P_\a$ is not linearizable. In this article, we present a different proof and we show that there exists a constant $C$ such that for all irrational number $\a$ with $B(\a)<\infty$, we have $$B(\a)+\log r(\a) < C.$$ Together with former results of Yoccoz (see \cite{y}), this proves the conjectured boundedness of $B(\a)+\log r(\a)$.


title: A Polar de Rham Theorem

abstract: We prove an analogue of the de Rham theorem for polar homology; that the polar homology $HP_q(X)$ of a smooth projective variety $X$ is isomorphic to its $H^{n,n-q}$ Dolbeault cohomology group. This analogue can be regarded as a geometric complexification where arbitrary (sub)manifolds are replaced by complex (sub)manifolds and de Rham's operator $d$ is replaced by Dolbeault's $\bar\partial$.


title: On the structure of the spreading models of a Banach space

abstract: We study some questions concerning the structure of the set of spreading models of a separable infinite-dimensional Banach space $X$. In particular we give an example of a reflexive $X$ so that all spreading models of $X$ contain $\ell_1$ but none of them is isomorphic to $\ell_1$. We also prove that for any countable set $C$ of spreading models generated by weakly null sequences there is a spreading model generated by a weakly null sequence which dominates each element of $C$. In certain cases this ensures that $X$ admits, for each $\alpha < \omega_1$, a spreading model $(\tilde x_i^\alpha)_i$ such that if $\alpha < \beta$ then $(\tilde x_i^\alpha)_i$ is dominated by (and not equivalent to) $(\tilde x_i^\beta)_i$. Some applications of these ideas are used to give sufficient conditions on a Banach space for the existence of a subspace and an operator defined on the subspace, which is not a compact perturbation of a multiple of the inclusion map.


title: On finiteness of Kleinian groups in general dimension

abstract: In this paper we provide a criteria for geometric finiteness of Kleinian groups in general dimension. We formulate the concept of conformal finiteness for Kleinian groups in space of dimension higher than two, which generalizes the notion of analytic finiteness in dimension two. Then we extend the argument in the paper of Bishop and Jones to show that conformal finiteness implies geometric finiteness unless the set of limit points is of Hausdorff dimension n. Furthermore we show that, for a given Kleinian group $\Gamma$, conformal finiteness is equivalent to the existence of a metric of finite geometry on the Kleinian manifold $\Omega(\Gamma)/\Gamma$.


title: On the rigidity for conformally compact Einstein manifolds

abstract: In this paper we prove that a conformally compact Einstein manifold with the round sphere as its conformal infinity has to be the hyperbolic space. We do not assume the manifolds to be spin, but our approach relies on the positive mass theorem for asymptotic flat manifolds. The proof is based on understanding of positive eigenfunctions and compactifications obtained by positive eigenfunctions.


title: On the topology of conformally compact Einstein 4-manifolds

abstract: In this paper we study the topology of conformally compact Einstein 4-manifolds. When the conformal infinity has positive Yamabe invariant and the renormalized volume is also positive we show that the conformally compact Einstein 4-manifold will have at most finite fundamental group. Under the further assumption that the renormalized volume is relatively large, we conclude that the conformally compact Einstein 4-manifold is diffeomorphic to $B^4$ and its conformal infinity is diffeomorphic to $S^3$.


title: Mukai flops and derived categories II

abstract: This paper is a sequel to math.AG/0203287. A generalization of the Mukai flop has been studied by E. Markman. Here we call it a stratified Mukai flop. In this paper, we observe that, for a stratified Mukai flop: $X \to \bar{X} \leftarrow X^+$, the fiber product $X \times_{\bar{X}}X^+$ defines an isomorphism of Grothendieck groups $K(X) \to K(X^+)$, but, at the level of derived categories, the fiber product does not generally give an equivalence.


title: The inverse problem for representation functions of additive bases

abstract: Let A be a set of integers. For every integer n, let r_{A,2}(n) denote the number of representations of n in the form n = a_1 + a_2, where a_1 and a_2 are in A and a_1 \leq a_2. The function r_{A,2}: Z \to N_0 \cup {\infty} is the representation function of order 2 for A. The set A is called an asymptotic basis of order 2 if r_{A,2}^{-1}(0) is finite, that is, if every integer with at most a finite number of exceptions can be represented as the sum of two not necessarily distinct elements of A. It is proved that every function is a representation function, that is, if f: Z \to N_0\cup {\infty} is any function such that f^{-1}(0) is finite, then there exists a set A of integers such that f(n) = r_{A,2}(n) for all n \in \Z. Moreover, the set A can be constructed so that card{a\in A : |a| \leq x} \gg x^{1/3}.


title: Non-proper value set and the Jacobian condition

abstract: The non-proper value set of a nonsingular polynomial map from $\C^2$ into itself, if non-empty, must be a curve with one point at infinity.


title: Non-linear Grassmannians as coadjoint orbits

abstract: For a given manifold $M$ we consider the non-linear Grassmann manifold $Gr_n(M)$ of $n$-dimensional submanifolds in $M$. A closed $(n+2)$-form on $M$ gives rise to a closed 2-form on $Gr_n(M)$. If the original form was integral, the 2-form will be the curvature of a principal $S^1$-bundle over $Gr_n(M)$. Using this $S^1$-bundle one obtains central extensions for certain groups of diffeomorphisms of $M$. We can realize $Gr_{m-2}(M)$ as coadjoint orbits of the extended group of exact volume preserving diffeomorphisms and the symplectic Grassmannians $SGr_{2k}(M)$ as coadjoint orbits in the group of Hamiltonian diffeomorphisms. We also generalize the vortex filament equation as a Hamiltonian equation on $Gr_{m-2}(M)$.


title: Periods of Limit Mixed Hodge Structures

abstract: This paper is an expanded version of a talk given at the Current Developments in Mathematics Conference last November (2002) on the work of Wilfred Schmid on periods of limits of Hodge structures. The paper begins with an exposition of the theory of limits of Hodge structures with some emphasis on the geometry. It goes on to discuss (briefly) the periods of the limit mixed Hodge structure on the fundamental group (made unipotent) of the projective line minus 3 points and its connections with mixed zeta numbers and mixed Tate motives over Spec Z through the work Deligne, Goncharov and others.


title: Tangential dimensions I. Metric spaces

abstract: Pointwise tangential dimensions are introduced for metric spaces. Under regularity conditions, the upper, resp. lower, tangential dimensions of X at x can be defined as the supremum, resp. infimum, of box dimensions of the tangent sets, a la Gromov, of X at x. Our main purpose is that of introducing a tool which is very sensitive to the "multifractal behaviour at a point" of a set, namely which is able to detect the "oscillations" of the dimension at a given point. In particular we exhibit examples where upper and lower tangential dimensions differ, even when the local upper and lower box dimensions coincide. Tangential dimensions can be considered as the classical analogue of the tangential dimensions for spectral triples introduced in math.OA/0202108 and math.OA/0404295, in the framework of Alain Connes' noncommutative geometry.


title: Small deviations for fractional stable processes

abstract: Let R be a symmetric a-stable Riemann-Liouville process with Hurst parameter H > 0. Consider ||.|| a translation invariant, b-self-similar, and p-pseudo-additive functional semi-norm. We show that if H > (b + 1/p) and c = (H - b - 1/p), then x log P [ log ||R|| < c log x ] -> - k < 0, when x -> 0, with k finite in the Gaussian case a = 2. If a < 2, we prove that k is finite when R is continuous and H > (b + 1/p + 1/a). We also show that under the above assumptions, x log P [ log ||X|| < c log x ] -> - k < 0 when x -> 0, where k is finite and X is the linear a-stable fractional motion with Hurst parameter 0 < H < 1 (if a = 2, then X is the classical fractional Brownian motion). These general results recover many cases previously studied in the literature, and also prove the existence of new small deviation constants, both in Gaussian and Non-Gaussian frameworks.


title: On finite index reflection subgroups of discrete reflection groups

abstract: Let $G$ be a discrete group generated by reflections in hyperbolic or Euclidean space, and $H\subset G$ be a finite index subgroup generated by reflections. Suppose that the fundamental chamber of $G$ is a finite volume polytope with $k$ facets. In this paper, we prove that the fundamental chamber of $H$ has at least $k$ facets.


title: Sur la cohomologie des syst\`emes locaux sur les espaces des modules des courbes de genre 2 et des surfaces ab\'eliennes

abstract: We consider the cohomology of local systems on the moduli space of curves of genus 2 and the moduli space of abelian surfaces. We give an explicit formula for the Eisenstein cohomology and a conjectural formula for the endoscopic contribution. We show how counting curves over finite fields provides us with detailed information about Siegel modular forms.


abstract: The minimal degeneration singularities in the affine Grassmannians of simple simply-laced algebraic groups are determined to be either Kleinian singularities of type A, or closures of minimal orbits in nilpotent cones. The singularities for non-simply-laced types are studied by intersection cohomology and equivariant Chow group methods.


title: The Modular Group Action on Real SL(2)-characters of a One-Holed Torus

abstract: The group Gamma of automorphisms of the polynomial kappa(x,y,z) = x^2 + y^2 + z^2 - xyz -2 is isomorphic to PGL(2,Z) semi-direct product with (Z/2+Z/2). For t in R, Gamma-action on ktR = kappa^{-1}(t) intersect R displays rich and varied dynamics. The action of Gamma preserves a Poisson structure defining a Gamma-invariant area form on each ktR. For t < 2, the action of Gamma is properly discontinuous on the four contractible components of ktR and ergodic on the compact component (which is empty if t < -2). The contractible components correspond to Teichmueller spaces of (possibly singular) hyperbolic structures on a torus M-bar. For t = 2, the level set ktR consists of characters of reducible representations and comprises two ergodic components corresponding to actions of GL(2,Z) on (R/Z)^2 and R^2 respectively. For 2 < t <= 18, the action of Gamma on ktR is ergodic. Corresponding to the Fricke space of a three-holed sphere is a Gamma-invariant open subset Omega subset R^3 whose components are permuted freely by a subgroup of index 6 in Gamma. The level set ktR intersects Omega if and only if t > 18, in which case the Gamma-action on the complement ktR - Omega is ergodic.


title: About the regularized Navier--Stokes equations

abstract: The first goal of this paper is to study the large time behavior of solutions to the Cauchy problem for the 3-dimensional incompressible Navier-Stokes system. The Marcinkiewicz space $L^{3,\infty}$ is used to prove some asymptotic stability results for solutions with infinite energy. Next, this approach is applied to the analysis of two classical ``regularized'' Navier-Stokes systems. The first one was introduced by J. Leray and consists in ``mollifying'' the nonlinearity. The second one was proposed by J.L. Lions, who added the artificial hyper-viscosity $(-\Delta)^{\ell/2}$, $\ell>2$, to the model. It is shown in the present paper that, in the whole space, solutions to those modified models converge as $t\to\infty$ toward solutions of the original Navier-Stokes system.


title: Singular reduction for nonlinear control systems

abstract: We discuss smooth nonlinear control systems with symmetry. For a free and proper action of the symmetry group, the reduction of symmetry gives rise to a reduced smooth nonlinear control system. If the action of the symmetry group is only proper, the reduced nonlinear control system need not be smooth. Using the smooth calculus on nonsmooth spaces, provided by the theory of differential spaces of Sikorski, we prove a generalization of Sussmann's theorem on orbits of families of smooth vector fields.


abstract: Sharp estimates for mean curvature flow of graphs are shown and examples are given to illustrate why these are sharp. The estimates improves earlier (non-sharp) estimates of Klaus Ecker and Gerhard Huisken.


title: The Spectral Geometry of Einstein Manifolds with Boundary

abstract: Let (M,g) be a compact Einstein manifold with smooth boundary. We consider the spectrum of the p form valued Laplacian with respect to a suitable boundary condition. We show that certain geometric properties of the boundary may be spectrally characterized in terms of this data where we fix the Einstein constant.


title: The Brauer group of analytic K3 surfaces

abstract: We show that for complex analytic K3 surfaces any torsion class in H^2(X,O_X^*) comes from an Azumaya algebra. In other words, the Brauer group equals the cohomological Brauer group. For algebraic surfaces, such results go back to Grothendieck. In our situation, we use twistor spaces to deform a given analytic K3 surface to suitable projective K3 surfaces, and then stable bundles and hyperholomorphy conditions to pass back and forth between the members of the twistor family.


title: Complex Product Structures on Lie Algebras

abstract: A study is made of real Lie algebras admitting compatible complex and product structures, including numerous 4-dimensional examples. If g is a Lie algebra with such a structure then its complexification has a hypercomplex structure. It is shown in addition that g splits into the sum of two left-symmetric subalgebras. Interpretations of these results are obtained that are relevant to the theory of both hypercomplex and hypersymplectic manifolds and their associated connections.


title: Canonical factorization and diagonalization of Baxterized braid matrices: Explicit constructions and applications

abstract: Braid matrices $\hat{R}(\theta)$, corresponding to vector representations, are spectrally decomposed obtaining a ratio $f_{i}(\theta)/f_{i}(-\theta)$ for the coefficient of each projector $P_{i}$ appearing in the decomposition. This directly yields a factorization $(F(-\theta))^{-1}F(\theta)$ for the braid matrix, implying also the relation $\hat{R}(-\theta)\hat{R}(\theta)=I$.This is achieved for $GL_{q}(n),SO_{q}(2n+1),SO_{q}(2n),Sp_{q}(2n)$ for all $n$ and also for various other interesting cases including the 8-vertex matrix.We explain how the limits $\theta \to \pm \infty$ can be interpreted to provide factorizations of the standard (non-Baxterized) braid matrices. A systematic approach to diagonalization of projectors and hence of braid matrices is presented with explicit constructions for $GL_{q}(2),GL_{q}(3),SO_{q}(3),SO_{q}(4),Sp_{q}(4)$ and various other cases such as the 8-vertex one. For a specific nested sequence of projectors diagonalization is obtained for all dimensions. In each factor $F(\theta)$ our diagonalization again factors out all dependence on the spectral parameter $\theta$ as a diagonal matrix. The canonical property implemented in the diagonalizers is mutual orthogonality of the rows. Applications of our formalism to the construction of $L-$operators and transfer matrices are indicated. In an Appendix our type of factorization is compared to another one proposed by other authors.


title: Error inequalities for an optimal 3-point quadrature formula of closed type

abstract: An optimal 3-point quadrature formula of closed type is derived. Various error inequalities are established. Applications in numerical integration are also given.


title: Topologically free partial actions and faithful representations of partial crossed products

abstract: In this paper we investigate the interrelation between the topological freedom of partial actions of discrete groups and faithful representations of partial crossed products.


title: Towards Dead Time Inclusion in Neuronal Modeling

abstract: A mathematical description of the refractoriness period in neuronal diffusion modeling is given and its moments are explicitly obtained in a form that is suitable for quantitative evaluations. Then, for the Wiener, Ornstein-Uhlenbeck and Feller neuronal models, an analysis of the features exhibited by the mean and variance of the first passage time and of refractoriness period is performed.


title: Lemme de l'Ombre et non divergence des horosph\`eres d'une vari\'et\'e g\'eom\'etriquement finie

abstract: In this work, we prove the so-called "Shadow lemma" on geometrically finite manifolds of variable negative curvature. We deduce a result of non divergence of the horospheres of such manifolds.


abstract: We prove necessary conditions for Fredholmness of singular integral operators with piecewise continuous coefficients on weighted Banach function spaces. These conditions are formulated in terms of indices of submultiplicative functions associated with local properties of the space, of the curve, and of the weight. As an example, we consider weighted Nakano spaces $L^{p(\cdot)}_w$ (weighted Lebesgue spaces with variable exponent). Moreover, our necessary conditions become also sufficient for weighted Nakano spaces over nice curves whenever $w$ is a Khvedelidze weight, and the variable exponent $p(t)$ satisfies the estimate $|p(\tau)-p(t)|\le A/(-\log|\tau-t|)$.


title: Algebras of functions with Fourier coefficients in weighted Orlicz sequence spaces

abstract: We prove that the set of all integrable functions whose sequences of negative (resp. nonnegative) Fourier coefficients belong to $\ell^1\cap\ell^\Phi_{\phi,w}$ (resp. to $\ell^1\cap\ell^\Psi_{\psi,\varrho}$), where $\ell^\Phi_{\phi,w}$ and $\ell^\Psi_{\psi,\varrho}$ are two-weighted Orlicz sequence spaces, forms an algebra under pointwise multiplication whenever the weight sequences \[ \phi=\{\phi_n\},\quad \psi=\{\psi_n\},\quad w=\{w_n\},\quad \varrho=\{\varrho_n\} \] increase and satisfy the $\Delta_2$-condition.


title: Twistorial harmonic morphisms with one-dimensional fibres on self-dual four-manifolds

abstract: We introduce a general notion of twistorial map and classify twistorial harmonic morphisms with one-dimensional fibres from self-dual four-manifolds. Such maps can be characterised as those which pull back Abelian monopoles to self-dual connections. In fact, the constructions involve solving a generalised monopole equation, and also the Beltrami fields equation of hydrodynamics, and lead to constructions of self-dual metrics.