title: Cycle and Circle Tests of Balance in Gain Graphs: Forbidden Minors and Their Groups

abstract: We examine two criteria for balance of a gain graph, one based on binary cycles and one on circles. The graphs for which each criterion is valid depend on the set of allowed gain groups. The binary cycle test is invalid, except for forests, if any possible gain group has an element of odd order. Assuming all groups are allowed, or all abelian groups, or merely the cyclic group of order 3, we characterize, both constructively and by forbidden minors, the graphs for which the circle test is valid. It turns out that these three classes of groups have the same set of forbidden minors. The exact reason for the importance of the ternary cyclic group is not clear.


title: On Langlands functoriality- reduction to the semistable case

abstract: We generalize a beautiful method of Blasius and Ramakrishnan, that in order to exhibit particular instances of the Langlands functorial correspondence, it is enough to show that the correspondence holds in the semistable case, provided the arithmetic data we are considering is closed with respect to cyclic base change and descent.


title: Cohen--Macaulayness of tensor products

abstract: Let $(R,\fm)$ be a commutative Noetherian local ring. Suppose that $M$ and $N$ are finitely generated modules over $R$ such that $M$ has finite projective dimension and such that $\Tor^R_i(M,N)=0$ for all $i>0$. The main result of this note gives a condition on $M$ which is necessary and sufficient for the tensor product of $M$ and $N$ to be a Cohen--Macaulay module over $R$, provided $N$ is itself a Cohen--Macaulay module.


title: Symplectic conifold transitions

abstract: We introduce a symplectic surgery in six dimensions which collapses Lagrangian three-spheres and replaces them by symplectic two-spheres. Under mirror symmetry it corresponds to an operation on complex 3-folds studied by Clemens, Friedman and Tian. We describe several examples which show that there are either many more Calabi-Yau manifolds (e.g. rigid ones) than previously thought or there exist ``symplectic Calabi-Yaus'' -- non-Kaehler symplectic 6-folds with c_1=0. The analogous surgery in four dimensions, with a generalisation to ADE-trees of Lagrangians, implies that the canonical class of a minimal complex surface contains symplectic forms if and only if it has positive square.


title: Nonlinear Riemann-Hilbert problem for bordered Riemann surfaces

abstract: Let S be a bordered Riemann surface with genus g and m boundary components. For a smooth family of smooth Jordan curves in the complex plane parametrized by the boundary of S and such that all curves contain 0 in their interior we show that there exists a holomorphic solution of the corresponding Riemann-Hilbert problem with at most 2g+m-1 zeros on S.


title: Spectral Decomposition and Baxterisation of Exotic Bialgebras and Associated Noncommutative Geometries

abstract: We study the geometric aspects of two exotic bialgebras S03 and S14 introduced in math.QA/0206053. These bialgebras are obtained by the Faddeev-Reshetikhin-Takhtajan RTT prescription with non-triangular R-matrices which are denoted $R_{03}$ and $R_{14}$ in the classification of Hietarinta, and they are not deformations of either GL(2) or GL(1/1). We give the spectral decomposition which involves two, resp., three, projectors. These projectors are then used to provide the Baxterisation procedure with one, resp., two, parameters. Further, the projectors are used to construct the noncommutative planes together with the corresponding differentials following the Wess-Zumino prescription. In all these constructions there appear non-standard features which are noted. Such features show the importance of systematic study of all bialgebras of four generators.


title: On algebraic properties of sets of Banach ideal function spaces

abstract: It is shown that every set I(m) of Banach lattices of measurable functions defined on a measure space (Q,S,m), equipped with a some natural ordering became a modular lattice, which is Dedekind complete provided m is a probability measure. Moreover, some natural operations on considered spaces are in Galois connexion.


title: A sufficient condition for a finite-time $ L_2 $ singularity of the 3d Euler Equation

abstract: A sufficient condition is derived for a finite-time $L_2$ singularity of the 3d incompressible Euler equations, making appropriate assumptions on eigenvalues of the Hessian of pressure. Under this condition $\lim_{t \to T_*} \sup | \frac{D \o} {Dt} |_{L_2(\vO)} = \infty$, where $~ \vO \subset \R3$ moves with the fluid. In particular, $|{\o}|$, $|\S_{ij}| , and $|\P_{ij}|$ all become unbounded at one point $(x_1,T_1)$, $T_1$ being the first blow-up time in $L_2$.


title: Cyclotomic completions of polynomial rings

abstract: The main object of study in this paper is the completion Z[q]^N=\varprojlim_n Z[q]/((1-q)(1-q^2)...(1-q^n)) of the polynomial ring Z[q], which arises from the study of a new invariant of integral homology 3-spheres with values in Z[q]^N announced by the author, which unifies all the sl_2 Witten-Reshetikhin-Turaev invariants at various roots of unity. We show that any element of Z[q]^N is uniquely determined by its power series expansion in q-\zeta for each root \zeta of unity. We also show that any element of Z[q]^N is uniquely determined by its values at the roots of unity. These results may be interpreted that Z[q]^N behaves like a ring of ``holomorphic functions defined on the set of the roots of unity''. We will also study the generalizations of Z[q]^N, which are completions of the polynomial ring R[q] over a commutative ring R with unit with respect to the linear topologies defined by the principal ideals generated by products of powers of cyclotomic polynomials.


title: The ends of manifolds with bounded geometry, linear growth and finite filling area

abstract: We prove that simply connected open Riemannian manifolds of bounded geometry, linear growth and sublinear filling growth (e.g. finite filling area) are simply connected at infinity.


title: Higher Lawrence configurations

abstract: Any configuration of lattice vectors gives rise to a hierarchy of higher-dimensional configurations which generalize the Lawrence construction in geometric combinatorics. We prove finiteness results for the Markov bases, Graver bases and face posets of these configurations, and we discuss applications to the statistical theory of log-linear models.


title: Lie Elements and Knuth Relations

abstract: A coplactic class in the symmetric group S_n consists of all permutations in S_n with a given Schensted Q-symbol, and may be described in terms of local relations introduced by Knuth. Any Lie element in the group algebra of S_n which is constant on coplactic classes is already constant on descent classes. As a consequence, the intersection of the Lie convolution algebra introduced by Patras and Reutenauer and the coplactic algebra introduced by Poirier and Reutenauer is the Solomon descent algebra.


title: What is the monster?

abstract: A content-free expository article about the monster simple group.


title: Zeros of orthogonal polynomials on the real line

abstract: Let $p_n(x)$ be orthogonal polynomials associated to a measure $d\mu$ of compact support in $R$. If $E\not\in supp(d\mu)$, we show there is a $\delta>0$ so that for all $n$, either $p_n$ or $p_{n+1}$ has no zeros in $(E-\delta, E+\delta)$. If $E$ is an isolated point of $supp(d\mu)$, we show there is a $\delta$ so that for all $n$, either $p_n$ or $p_{n+1}$ has at most one zero in $(E-\delta, E+\delta)$. We provide an example where the zeros of $p_n$ are dense in a gap of $supp(d\mu)$.


title: Recent advances in the global theory of constant mean curvature surfaces

abstract: The theory of complete surfaces of (nonzero) constant mean curvature in $\RR^3$ has progressed markedly in the last decade. This paper surveys a number of these developments in the setting of Alexandrov embedded surfaces; the focus is on gluing constructions and moduli space theory, and the analytic techniques on which these results depend. The last section contains some new results about smoothing the moduli space and about CMC surfaces in asymptotically Euclidean manifolds.


title: A theorem of Krein revisited

abstract: M. Krein proved in 1948 that if T is a continuous operator on a normed space leaving invariant an open cone, then its adjoint T* has an eigenvector. We present generalizations of this result as well as some applications to C*-algebras, operators on l_1, operators with invariant sets, contractions on Banach lattices, the Invariant Subspace Problem, and von Neumann algebras.


title: Hypercomputation: computing more than the Turing machine

abstract: Due to common misconceptions about the Church-Turing thesis, it has been widely assumed that the Turing machine provides an upper bound on what is computable. This is not so. The new field of hypercomputation studies models of computation that can compute more than the Turing machine and addresses their implications. In this report, I survey much of the work that has been done on hypercomputation, explaining how such non-classical models fit into the classical theory of computation and comparing their relative powers. I also examine the physical requirements for such machines to be constructible and the kinds of hypercomputation that may be possible within the universe. Finally, I show how the possibility of hypercomputation weakens the impact of Godel's Incompleteness Theorem and Chaitin's discovery of 'randomness' within arithmetic.


title: Genera of Vertex Operator Algebras and three dimensional Topological Quantum Field Theories

abstract: The notion of the genus of a quadratic form is generalized to vertex operator algebras. We define it as the modular braided tensor category associated to a suitable vertex operator algebra together with the central charge. Statements similar as known for quadratic forms are formulated. We further explain how extension problems for vertex operator algebras can bedescribed in terms of the associated modular braided tensor category.


title: A negative answer to Nevanlinna's type question and a parabolic surface with a lot of negative curvature

abstract: Consider a simply connected Riemann surface represented by a Speiser graph. Nevanlinna asked if the type of the surface is determined by the mean excess of the graph: whether mean excess zero implies that the surface is parabolic and negative mean excess implies that the surface is hyperbolic. Teichmuller gave an example of a hyperbolic simply connected Riemann surface whose mean excess is zero, disproving the first of these implications. We give an example of a simply connected parabolic Riemann surface with negative mean excess, thus disproving the other part. We also construct an example of a complete, simply connected, parabolic surface with nowhere positive curvature such that the integral of curvature in any disk about a fixed basepoint is less than -epsilon times the area of the disk, where epsilon > 0 is some constant.


title: A Local Existence Theorem for the Einstein-Dirac Equation

abstract: We study the Einstein-Dirac equation as well as the weak Killing equation on Riemannian spin manifolds with codimension one foliation. We prove that, for any manifold $M^n$ admitting real Killing spinors (resp. parallel spinors), there exist warped product metrics $\bar{\eta}$ on $M^n \times {\mathbb R}$ such that $(M^n \times {\mathbb R}, \bar{\eta})$ admit Einstein spinors (resp. weak Killing spinors). To prove the result we split the Einstein-Dirac equation into evolution equations and constraints, by means of Cartan's frame formalism, and apply the local preservation property of constraints.


title: Convergence of a particle-in-cell scheme for the spherically symmetric Vlasov-Einstein system

abstract: We consider spherically symmetric, asymptotically flat space-times with a collisionless gas as matter model. Many properties of the resulting Vlasov-Einstein system are not yet accessible by purely analytical means. We present a discretized version of this system which is suitable for numerical implementation and is based on the particle-in-cell technique. Convergence of the resulting approximate solutions to the exact solution is proven and error bounds are provided.


title: Differential operators and actions of Lie algebroids

abstract: We demonstrate that the notions of derivative representation of a Lie algebra on a vector bundle, of semi-linear representations of a Lie group on a vector bundle, and related concepts, may be understood in terms of representations of Lie algebroids and Lie groupoids, and we indicate how these notions extend to derivative representations of Lie algebroids and semi-linear representations of Lie groupoids in general.


title: Cohomology of projective schemes: From annihilators to vanishing

abstract: We provide bounds on the Castelnuovo-Mumford regularity in terms of ``defining equations'' by using elements that annihilates some cohomology modules, inspired by works of Miyazaki, Nagel, Schenzel and Vogel. The elements in these annihilators are provided either by liaison or by tight closure theories. Our results hold in any characteristic.


title: W-superalgebras as truncation of super-Yangians

abstract: We show that some finite W-superalgebras based on gl(M|N) are truncation of the super-Yangian Y(gl(M|N)). In the same way, we prove that finite W-superalgebras based on osp(M|2n) are truncation of the twisted super-Yangians Y(gl(M|2n))^{+}. Using this homomorphism, we present these W-superalgebras in an R-matrix formalism, and we classify their finite-dimensional irreducible representations.


title: On multi-avoidance of generalized patterns

abstract: In [Kit1] Kitaev discussed simultaneous avoidance of two 3-patterns with no internal dashes, that is, where the patterns correspond to contiguous subwords in a permutation. In three essentially different cases, the numbers of such $n$-permutations are $2^{n-1}$, the number of involutions in $\mathcal{S}_n$, and $2E_n$, where $E_n$ is the $n$-th Euler number. In this paper we give recurrence relations for the remaining three essentially different cases. To complete the descriptions in [Kit3] and [KitMans], we consider avoidance of a pattern of the form $x-y-z$ (a classical 3-pattern) and beginning or ending with an increasing or decreasing pattern. Moreover, we generalize this problem: we demand that a permutation must avoid a 3-pattern, begin with a certain pattern and end with a certain pattern simultaneously. We find the number of such permutations in case of avoiding an arbitrary generalized 3-pattern and beginning and ending with increasing or decreasing patterns.


title: Microlocal perverse sheaves

abstract: We give an explicit construction of the stack of microlocal perverse sheaves on the projective cotangent bundle of a complex manifold. Microlocal perverse sheaves will be represented as complexes of analytic ind-sheaves which have recently been studied by Kashiwara-Schapira. This description allows us to formulate the microlocal Riemann-Hilbert correspondance in order to establish an equivalence of stacks with the stack of regular holonomic microdifferential modules.


title: Equivalences of monoidal model categories

abstract: We construct Quillen equivalences between the model categories of monoids (rings), modules and algebras over two Quillen equivalent model categories under certain conditions. This is a continuation of our earlier work where we established model categories of monoids, modules and algebras [Algebras and modules in monoidal model categories, Proc. London Math. Soc. 80 (2000), 491-511]. As an application we extend the Dold-Kan equivalence to show that the model categories of simplicial rings, modules and algebras are Quillen equivalent to the associated model categories of connected differential graded rings, modules and algebras. We also show that our classification results from [Stable model categories are categories of modules, Topology, 42 (2003) 103-153] concerning stable model categories translate to any one of the known symmetric monoidal model categories of spectra.


title: Conformal restriction: the chordal case

abstract: We characterize and describe all random subsets $K$ of a given simply connected planar domain (the upper half-plane $\H$, say) which satisfy the ``conformal restriction'' property, i.e., $K$ connects two fixed boundary points (0 and $\infty$, say) and the law of $K$ conditioned to remain in a simply connected open subset $D$ of $\H$ is identical to that of $\Phi(K)$, where $\Phi$ is a conformal map from $\H$ onto $D$ with $\Phi(0)=0$ and $\Phi(\infty)=\infty$. The construction of this family relies on the stochastic Loewner evolution (SLE) processes with parameter $\kappa \le 8/3$ and on their distortion under conformal maps. We show in particular that SLE(8/3) is the only random simple curve satisfying conformal restriction and relate it to the outer boundaries of planar Brownian motion and SLE(6).


title: On the embedded primes of the Mayr-Meyer ideals

abstract: This paper investigates the doubly exponential ideal membership property of the Mayr-Meyer ideals from the point of view of their associated primes. A doubly-exponential upper bound on the set of associated primes is proved. In the paper a new family of ideals emerges which also has the doubly exponential ideal membership property. More on the new family can be found in author's paper "A new family of ideals with the doubly exponential ideal membership property".


title: A new family of ideals with the doubly exponential ideal membership property

abstract: Mayr and Meyer found ideals with the doubly exponential ideal membership property. In the analysis of the associated primes of these ideals (in math.AC/0209344), a new family of ideals arose. This new family is presented and analyzed in this paper. It is proved that this new family also satisfies the doubly exponential ideal membership property. Furthermore, the set of associated primes of this family can be computed inductively.


title: Poisson geometry and the Kashiwara-Vergne conjecture

abstract: We give a Poisson-geometric proof of the Kashiwara-Vergne conjecture for quadratic Lie algebras, based on the equivariant Moser trick.


title: Clifford algebras and the classical dynamical Yang-Baxter equation

abstract: We describe a relationship of the classical dynamical Yang-Baxter equation with the following elementary problem for Clifford algebras: Given a vector space $V$ with quadratic form $Q_V$, how is the exponential of an element in $\wedge^2(V)$ under exterior algebra multiplication related to its exponential under Clifford multiplication?


title: Bipartite graphs whose edge algebras are complete intersections

abstract: Let R be monomial sub-algebra of $k[x_1,...,x_N]$ generated by square free monomials of degree two. This paper addresses the following question: when is R a complete intersection? For such a k-algebra we can associate a graph G whose vertices are $x_1,...,x_N$ and whose edges are $\{(x_i, x_j) | x_i x_j \in R \}$. Conversely, for any graph G with vertices $\{x_1,...,x_N\}$ we define the {\it edge algebra associated with G} as the sub-algebra of $k[x_1,...,x_N]$ generated by the monomials ${x_i x_j | (x_i,x_j) \text{is an edge of} G}$. We denote this monomial algebra by k[G]. This paper describes all bipartite graphs whose edge algebras are complete intersections.


title: Mean Curvature Flows of Lagrangian Submanifolds with Convex Potentials

abstract: This article studies the mean curvature flow of Lagrangian submanifolds. In particular, we prove the following global existence and convergence theorem: if the potential function of a Lagrangian graph in T^{2n} is convex, then the flow exists for all time and converges smoothly to a flat Lagrangian submanifold.


title: Some properties of top graded local cohomology modules

abstract: This first part of the paper describes the support of top graded local cohomology modules. As a corrolary one obtains a simple criteria for the vanishing of these modules and also the fact that they have finitely many minimal primes. The second part of this paper constructs examples of cohomological Hilbert functions which are not of polynomial type.


title: Associated primes of graded components of local cohomology modules

abstract: The $i$-th local cohomology module of a finitely generated graded module $M$ over a standard positively graded commutative Noetherian ring $R$, with respect to the irrelevant ideal $R_+$, is itself graded; all its graded components are finitely generated modules over $R_0$, the component of $R$ of degree 0. This paper is concerned with the asymptotic behaviour of $\Ass_{R_0}(H^i_{R_+}(M)_n)$ as $n \to -\infty$. The smallest $i$ for which such study is interesting is the finiteness dimension $f$ of $M$ relative to $R_+$, defined as the least integer $j$ for which $H^j_{R_+}(M)$ is not finitely generated. Brodmann and Hellus have shown that $\Ass_{R_0}(H^f_{R_+}(M)_n)$ is constant for all $n < < 0$ (that is, in their terminology, $\Ass_{R_0}(H^f_{R_+}(M)_n)$ is asymptotically stable for $n \to -\infty$). The first main aim of this paper is to identify the ultimate constant value (under the mild assumption that $R$ is a homomorphic image of a regular ring): our answer is precisely the set of contractions to $R_0$ of certain relevant primes of $R$ whose existence is confirmed by Grothendieck's Finiteness Theorem for local cohomology. Brodmann and Hellus raised various questions about such asymptotic behaviour when $i > f$. They noted that Singh's study of a particular example (in which $f = 2$) shows that $\Ass_{R_0}(H^3_{R_+}(R)_n)$ need not be asymptotically stable for $n \to -\infty$. The second main aim of this paper is to determine, for Singh's example, $\Ass_{R_0}(H^3_{R_+}(R)_n)$ quite precisely for every integer $n$, and, thereby, answer one of the questions raised by Brodmann and Hellus.


title: A singularity removal theorem for Yang-Mills fields in higher dimensions

abstract: In four and higher dimensions, we show that any stationary admissible Yang-Mills field can be gauge transformed to a smooth field if the $L^2$ norm of the curvature is sufficiently small. There are three main ingredients. The first is Price's monotonicity formula, which allows us to assert that the curvature is small not only in the $L^2$ norm, but also in the Morrey norm $M_2^{n/2}$. The second ingredient is a new inductive (averaged radial) gauge construction and truncation argument which allows us to approximate a singular gauge as a weak limit of smooth gauges with curvature small in the Morrey norm. The second ingredient is variant of Uhlenbeck's lemma, allowing one to place a smooth connection into the Coulomb gauge whenever the Morrey norm of the curvature is small; This variant was also proved independently by Meyer and Riviere. It follows easily from this variant that a $W^{1,2}$-connection can be placed in the Coulomb gauge if it can be approximated by smooth connections whose curvatures have small Morrey norm.


title: An example of an infinite set of associated primes of a local cohomology module

abstract: Let $(R,m)$ be a local Noetherian ring, let $I\subset R$ be any ideal and let $M$ be a finitely generated $R$-module. In 1990 Craig Huneke conjectured that the local cohomology modules $H^i_I(M)$ have finitely many associated primes for all $i$. In this paper I settle this conjecture by constructing a local cohomology module of a local $k$-algebra with an infinite set of associated primes, and I do this for any field $k$.


title: The Catalan matroid

abstract: We show how the set of Dyck paths of length 2n naturally gives rise to a matroid, which we call the "Catalan matroid" C_n. We describe this matroid in detail; among several other results, we show that C_n is self-dual, it is representable over the rationals but not over finite fields F_q with q < n-1, and it has a nice Tutte polynomial. We then generalize our construction to obtain a family of matroids, which we call "shifted matroids". They arose independently and almost simultaneously in the work of Klivans, who showed that they are precisely the matroids whose independence complex is a shifted complex.


title: Finiteness of $\bold{\bigcup_e \Ass F^e(M)}$ and its connections to tight closure

abstract: The paper shows that if the set of associated primes of Frobenius powers of ideals or a closely related set of primes is finite then if tight closure does not commute with localisation one can find a counter-example where $R$ is complete local and we are localizing at a prime ideal $P \subset R$ with $\dim (R/P)=1$. If one assumes further that for any local ring $(R,m)$ of prime characteristic $p$ and every finitely generated $R$-module $\bar M$ the set $ \bigcup_e \Ass G^e (\bar M) $ has finitely many maximal elements and, in addition, for every $R$-module $\bar M$ there exists a positive integer $B>0$ such that $m^{qB}$ kills $\H_m^0(F^e(\bar M))$ (or $\H_m^0(G^e(\bar M))$) then it is shown tight closure commutes with localization. The author then produces an example of an ideal in an hypersurface whose union of sets associated primes of all its Frobenius powers form an infinite set.


title: Jordan and Smith forms of Pascal-related matrices

abstract: We present matrix identities which yield respectively the Jordan canonical form of the Pascal matrix P_n = (i -1 choose j -1)_{1 <= i,j <= n} modulo a prime, the eigenvectors of (i choose j)_{1 <= i,j <= n}, and the Smith normal form of powers of P_n - I_n.


title: Steady state analysis of balanced-allocation routing

abstract: We compare the long-term, steady-state performance of a variant of the standard Dynamic Alternative Routing (DAR) technique commonly used in telephone and ATM networks, to the performance of a path-selection algorithm based on the "balanced-allocation" principle; we refer to this new algorithm as the Balanced Dynamic Alternative Routing (BDAR) algorithm. While DAR checks alternative routes sequentially until available bandwidth is found, the BDAR algorithm compares and chooses the best among a small number of alternatives. We show that, at the expense of a minor increase in routing overhead, the BDAR algorithm gives a substantial improvement in network performance, in terms both of network congestion and of bandwidth requirement.


title: Calculation of Linear Systems Metric Tensors via Algebraic Computation

abstract: A formula for the Riemannian metric tensor of differentiable manifolds of linear dynamical systems of same McMillan degree is presented in terms of their transfer function matrices. The necessary calculations for its application to ARMA and state space overlapping parametrizations are drafted. The importance of this approach for systems identification and multiple time series analysis and forecasting is explained.


title: Willmore spheres in quaternionic projective space

abstract: The Willmore energy for Frenet curves in quaternionic projective space is the generalization of the Willmore functional for immersions into the 4-sphere. Critical points of the Willmore energy are called Willmore curves in quaternionic projective space. Using a Baecklund transformation on Willmore curves, we generalize Bryant's result on Willmore spheres in 3--space: a Willmore sphere in quaternionic projective space has integer Willmore energy, and is given by complex holomorphic data.


title: Lectures on sieves

abstract: These are notes of a series of lectures on sieves, presented during the Special Activity in Analytic Number Theory, at the Max-Planck Institute for Mathematics in Bonn, during the period January--June 2002.


title: The Banach-Mazur compactum is the Alexandroff compactification of a Hilbert cube manifold

abstract: We prove that for every $n>2$, the Banach-Mazur compactum Q(n) is the compactification of a Hilbert cube manifold by the Euclidean point. For $n=2$ this result was proved earlier.


title: p-adic height pairings on abelian varieties with semistable ordinary reduction

abstract: We prove that for abelian varieties with semistable ordinary reduction the p-adic Mazur-Tate height pairing is induced by the unit root splitting of the Hodge filtration on the first deRham cohomology.


title: Adem-Cartan operads

abstract: In this paper, we introduce Adem-Cartan operads and prove that the cohomology of any algebra over such an operad is an unstable level algebra over the extended Steenrod algebra. Moreover we prove that this cohomology is endowed with secondary cohomological operations.


title: A Topological Representation Theorem for Oriented Matroids

abstract: We present a new direct proof of a topological representation theorem for oriented matroids in the general rank case. Our proof is based on an earlier rank 3 version. It uses hyperline sequences and the generalized Sch{\"o}nflies theorem. As an application, we show that one can read off oriented matroids from arrangements of embedded spheres of codimension one, even if wild spheres are involved.


title: Residues for Akizuki's one-dimensional local domain

abstract: For a one-dimensional local domain $C_M$ constructed by Akizuki, we find residue maps which give rise to a local duality. The completion of $C_M$ is described using these residue maps.


title: Metric Lie algebras with maximal isotropic centre

abstract: We investigate a certain class of solvable metric Lie algebras. For this purpose a theory of twofold extensions associated to an orthogonal representation of an abelian Lie algebra is developed. Among other things, we obtain a classification scheme for indecomposable metric Lie algebras with maximal isotropic centre and the classification of metric Lie algebras of index 2.


title: Normal ideals of graded rings

abstract: For a graded domain $R=k[X_0,...,X_m]/J$ over an arbitrary domain $k$, it is shown that the ideal generated by elements of degree $\geq mA$, where $A$ is the least common multiple of the weights of the $X_i$, is a normal ideal.


title: Upper bound of a volume exponent for directed polymers in a random environment

abstract: We consider the model of directed polymers in a random environment introduced by Petermann : the random walk is $\mathbb{R}^d$-valued and has independent gaussian $N(0,I_d)$-increments, and the random media is a stationary centred Gaussian process $(g(k,x), k \geq 1, x \in \mathbb{R}^d)$ with covariance matrix $cov(g(i,x),g(j,y))=\delta_{ij} \Gamma(x-y) ,$ where $\Gamma$ is a bounded integrable function on $\mathbb{R}^d .$ For this model, we establish an upper bound of the volume exponent in all dimensions $d$.


title: Rings of global sections in two-dimensional schemes

abstract: In this paper we study the ring of global sections of an open subset U=D(I) in Spec A, where A is a two-dimensional noetherian ring. The main concern is to give a geometric criterion when these rings are finitely generated, in order to correct an invalid statement of Schenzel.


title: Hodge modules on Shimura varieties and their higher direct images in the Baily-Borel compactification

abstract: We prove an analogue for Hodge modules of Pink's theorem on the degeneration of l-adic sheaves (Math. Ann. 292). Let j be the open immersion of a Shimura variety M into its Baily-Borel compactification. Its boundary has a natural stratification into locally closed subsets, each of which is itself a Shimura variety (up to taking the quotient by the action of a finite group). Let i be the inclusion of an individual such stratum M'. Saito's formalism gives a functor i^* j_* from the bounded derived category of Hodge modules on M to that of Hodge modules on M'. Our result gives a formula for the effect of i^* j_* on automorphic Hodge modules, i.e., variations of Hodge structure coming from algebraic representations of the group associated to M. This formula is of a purely representation theoretical nature.


title: On superheight conditions for the affineness of open subsets

abstract: In this paper we consider the open complement U of a hypersurface Y=V(a) in an affine scheme X. We study the relations between the affineness of U, the intersection of Y with closed subschemes, the property that every closed surface in U is affine, the property that every analytic closed surface is Stein and the superheight of the defining ideal a.


title: Eine vollstaendige Formalisierung der Aristotelischen Notwendigkeitssyllogistik

abstract: We give a complete and consistent formal interpretation of the modal logic of Aristotle as developped in his analytics.


title: Tight closure and linkage classes in Gorenstein rings

abstract: We study the relationship between the tight closure of an ideal and the sum of all ideals in its linkage class.


title: Global classification of generic multi-vector fields of top degree

abstract: For any compact oriented manifold $M$, we show that that the top degree multi-vector fields transverse to the zero section of $\wedge^{\text{top}}TM$ are classified, up to orientation preserving diffeomorphism, in terms of the topology of the arrangement of its zero locus and a finite number of numerical invariants. The group governing the infinitesimal deformations of such multi-vector fields is computed, and an explicit set of generators exhibited. For the spheres $S^n$, a correspondence between certain isotopy classes of multi-vector fields and classes of weighted signed trees is established.


title: Constructive characterization of the reduction numbers

abstract: We present a constructive description of minimal reductions with a given reduction number. This description has interesting consequences on the minimal reduction number, the big reduction number, and the core of an ideal. In particular, it helps solve a conjecture of Vasconcelos on the relationship between reduction numbers and initial ideals.


title: The peak algebra of the symmetric group revisited

abstract: The linear span P_n of the sums of all permutations in the symmetric group S_n with a given set of peaks is a sub-algebra of the symmetric group algebra, due to Nyman. This peak algebra is a left ideal of the descent algebra D_n; and the direct sum P of all P_n is a Hopf sub-algebra of the direct sum D of all D_n, dual to the Stembridge algebra of peak functions. In our self-contained approach, peak counterparts of several results on the descent algebra are established, including a simple combinatorial characterization of the algebra P_n; an algebraic characterization of P_n based on the action on the Poincar'e-Birkhoff-Witt basis of the free associative algebra; the display of peak variants of the classical Lie idempotents; an Eulerian-type sub-algebra of P_n; a description of the Jacobson radical of P_n and its nil-potency index, of the principal indecomposable and irreducible P_n-modules, and of the Cartan matrix of P_n. Furthermore, it is shown that the primitive Lie algebra of P is free, and that P is its enveloping algebra.


title: A Modified Smagorinsky Subgrid Scale Model for the Large Eddy Simulation of Turbulent Flow

abstract: In the field of Large Eddy Simulation, the Smagorinsky subgrid scale model (in some form) is the most commonly accepted and used subgrid scale model. The purpose of this paper is to address the main weakness of the Smagorinsky model, its poor performance near the wall. The goal is to establish a model that corrects the Smagorinsky model near the walls while at the same time minimizing the computational overhead. A version the Dynamic Subgrid Scale model is also incorporated into the finite element code to facilitate comparisons with the new model near the walls. One of the unique characteristics of Large Eddy Simulations as compared to other methods of dealing with turbulent flows is the idea of filtering. In this paper we define what a filter is and also address an issue related to filters; the error that results when the filtering and differential operations are interchanged. This error is studied under the context of the Finite Element Method which allows us to focus on the function being filtered rather than the filter kernal function, which has been the usual approach in studying this error.


title: An Introduction to Tight Closure

abstract: This is an expanded version of the author's lecture at the Conference in Commutative Algebra and Algebraic Geometry in Messina Italy in June 1999. The purpose of the talk was to give a brief introduction to the subject of tight closure, aimed at commutative algebraists who have not before studied this topic. The first part focused mainly on the definition and basic properties, with the second part focusing on some applications to algebraic geometry, particularly to global generation of adjoint linear series. These lecture notes follow even more closely a series of two lectures I gave in Kashikojima, Japan, at the Twentieth Annual Japanese Conference in Commutative Algebra the previous fall, and were distributed also in conjunction with that conference.


title: Restricted 132-Dumont permutations

abstract: A permutation $\pi$ is said to be {\em Dumont permutations of the first kind} if each even integer in $\pi$ must be followed by a smaller integer, and each odd integer is either followed by a larger integer or is the last element of $\pi$ (see, for example, \cite{Z}). In \cite{D} Dumont showed that certain classes of permutations on $n$ letters are counted by the Genocchi numbers. In particular, Dumont showed that the $(n+1)$st Genocchi number is the number of Dummont permutations of the first kind on $2n$ letters. In this paper we study the number of Dumont permutations of the first kind on $n$ letters avoiding the pattern 132 and avoiding (or containing exactly once) an arbitrary pattern on $k$ letters. In several interesting cases the generating function depends only on $k$.


title: Isospectral potentials and conformally equivalent isospectral metrics on spheres, balls and Lie groups

abstract: We construct pairs of conformally equivalent isospectral Riemannian metrics $\phi_1 g$ and $\phi_2 g$ on spheres $S^n$ and balls $B^{n+1}$ for certain dimensions $n$, the smallest of which is $n=7$, and on certain compact simple Lie groups. In the case of Lie groups, the metric $g$ is left-invariant. In the case of spheres and balls, the metric $g$ is not the standard metric but may be chosen arbitrarily close to the standard one. For the same manifolds $(M,g)$ we also show that the functions $\phi_1$ and $\phi_2$ are isospectral potentials for the Schr\"odinger operator $\hbar^2\Delta +\phi$. To our knowledge, these are the first examples of isospectral potentials and of isospectral conformally equivalent metrics on simply connected closed manifolds.


title: The Resolvent of Closed Extensions of Cone Differential Operators

abstract: We study closed extensions A of an elliptic differential operator on a manifold with conical singularities, acting as an unbounded operator on a weighted L_p-space. Under suitable conditions we show that the resolvent (\lambda-A)^{-1} exists in a sector of the complex plane and decays like 1/|\lambda| as |\lambda| tends to infinity. Moreover, we determine the structure of the resolvent with enough precision to guarantee existence and boundedness of imaginary powers of A. As an application we treat the Laplace-Beltrami operator for a metric with straight conical degeneracy and describe domains yielding maximal regularity for the Cauchy problem \dot{u}-\Delta u=f, u(0)=0.


title: Conformal fields, restriction properties, degenerate representations and SLE

abstract: In this note, we show how to relate the Schramm-Loewner Evolution processes (SLE) to highest-weight representations of the Virasoro Algebra. The conformal restriction properties of SLE that have been recently studied in the paper arXiv:math.PR/0209343 by G. Lawler, O. Schramm and the second author play an instrumental role. In this setup, various considerations from conformal field theory can be interpreted and reformulated via SLE. This enables to make a concrete link between the two-dimensional discrete critical systems from statistical physics and conformal field theory.


title: Selberg zeta functions for spaces of higher rank

abstract: The theory of Selberg zeta functions is generalized to higher rank spaces. Applications towards analytic torsion numbers are given.


title: "A priori" estimates for solutions of singular elliptic inequalities and applications

abstract: We obtain a maximum principle, and "a priori" upper estimates for solutions of a class of non linear singular elliptic differential inequalities on Riemannian manifolds under the sole geometrical assumption of volume growth conditions. Various applications of the results obtained are presented.


title: On simple and semisimple quantales

abstract: In a recent paper, J. W. Pelletier and J. Rosicky published a characterization of *-simple *-quantales. Their results were adapted for the case of simple quantales by J. Paseka. In this paper we present similar characterizations which do not use a notion of discrete quantale. We also show a completely new characterization based on separating and cyclic sets. Further we explain a link to simple quantale modules. To apply these characterizations, we study (*-)semisimple (*-)quantales and discuss some other perspectives. Our approach has connections with several earlier works on the subject.


title: Towers of MU-algebras and the generalized Hopkins-Miller theorem

abstract: Our results are of three types. First we describe a general procedure of adjoining polynomial variables to $A_\infty$-ring spectra whose coefficient rings satisfy certain restrictions.A host of examples of such spectra is provided by killing a regular ideal in the coefficient ring of MU, the complex cobordism spectrum. Second, we show that the algebraic procedure of adjoining roots of unity carries over in the topological context for such spectra. Third, we use the developed technology to compute the homotopy types of spaces of strictly multiplicative maps between suitable K(n)-localizations of such spectra. This generalizes the famous Hopkins-Miller theorem and gives strengthened versions of various splitting theorems.


title: Lie group foliations: Dynamical systems and integrators

abstract: Foliate systems are those which preserve some (possibly singular) foliation of phase space, such as systems with integrals, systems with continuous symmetries, and skew product systems. We study numerical integrators which also preserve the foliation. The case in which the foliation is given by the orbits of an action of a Lie group has a particularly nice structure, which we study in detail, giving conditions under which all foliate vector fields can be written as the sum of a vector field tangent to the orbits and a vector field invariant under the group action. This allows the application of many techniques of geometric integration, including splitting methods and Lie group integrators.


title: Spaces of multiplicative maps between highly structured ring spectra

abstract: We uncover a somewhat surprising connection between spaces of multiplicative maps between $A_\infty$-ring spectra and topological Hochschild cohomology. As a consequence we show that such spaces become infinite loop spaces after looping only once. We also prove that any multiplicative cohomology operation in complex cobordisms theory $MU$ canonically lifts to an $A_\infty$-map $MU\to MU$. This implies, in particular, that the Brown-Peterson spectrum $BP$ splits off $MU$ as an $A_\infty$-ring spectrum.


title: Vanishing of cohomology over Gorenstein rings of small codimension

abstract: We prove that if M, N are finite modules over a Gorenstein local ring R of codimension at most 4, then the vanishing of Ext^n_R(M,N) for n\gg 0 is equivalent to the vanishing of Ext^n_R(N,M) for n\gg 0. Furthermore, if the completion of $R$ has no embedded deformation, then such vanishing occurs if and only if M or N has finite projective dimension.


title: The Integral Cohomology of the Bianchi Groups

abstract: We calculate the integral cohomology ring structure for various members of the Bianchi group family. The main tools we use are the Bockstein spectral sequence and a long exact sequence derived from Bass-Serre theory.


title: Hochschild cohomology of Frobenius algebras

abstract: Let k be a field and let A be a Frobenius algebra over k. Assume that the Nakayama automorphism of A associated to a Frobenius homomorphism of A has finite order m, and k has a m-th primitive root of unity. Then, A has a natural Z/mZ-gradation. Consider the decomposition of the Hochschild cohomology HH*(A), of A with coefficients in A, induced by this gradation. We prove that just the 0-degree component of HH*(A) is non trivial. Moreover, we prove that if A is a strongly Z/mZ-graded algebra, then Z/mZ acts on the Hochschild cohomology HH*(A_0), of the 0-degree component of A, and HH*(A) is the set of invariants of this action.


title: Jet schemes, log discrepancies and Inversion of Adjunction

abstract: We use the theory of motivic integration for singular spaces to give a characterization of minimal log discrepencies in terms of the codimension of certain subsets of spaces of arcs. This is done for arbitrary pairs $(X,Y)$, with $X$ normal and Q-Gorenstein. As a first application, we prove a precise version of Inversion of Adjunction, in the case when the ambient variety is smooth. Another application concerns the semicontinuity of minimal log discrepancies on smooth varieties.


title: Zeros of the alternating zeta function on the line R(s)=1

abstract: The alternating zeta function zeta*(s) = 1 - 2^{-s} + 3^{-s} - ... is related to the Riemann zeta function by the identity (1-2^{1-s})zeta(s) = zeta*(s). We deduce the vanishing of zeta*(s) at each nonreal zero of the factor 1-2^{1-s} without using the identity. Instead, we use a formula connecting the partial sums of the series for zeta*(s) to Riemann sums for the integral of x^{-s} from x=1 to x=2. We relate the proof to our earlier paper "The Riemann Hypothesis, simple zeros, and the asymptotic convergence degree of improper Riemann sums," Proc. Amer. Math. Soc. 126 (1998) 1311-1314.


title: Birational models of del Pezzo fibrations

abstract: This is a preliminary version of the paper for the Lecture Notes Series.


title: Poisson trees, succession lines and coalescing random walks

abstract: We give a deterministic algorithm to construct a graph with no loops (a tree or a forest) whose vertices are the points of a d-dimensional stationary Poisson process S, subset of R^d. The algorithm is independent of the origin of coordinates. We show that (1) the graph has one topological end --that is, from any point there is exactly one infinite self-avoiding path; (2) the graph has a unique connected component if d=2 and d=3 (a tree) and it has infinitely many components if d\ge 4 (a forest); (3) in d=2 and d=3 we construct a bijection between the points of the Poisson process and Z using the preorder-traversal algorithm. To construct the graph we interpret each point in S as a space-time point (x,r)\in\R^{d-1}\times R. Then a (d-1) dimensional random walk in continuous time continuous space starts at site x at time r. The first jump of the walk is to point x', at time r'>r, (x',r')\in S, where r' is the minimal time after r such that |x-x'|<1. All the walks jumping to x' at time r' coalesce with the one starting at (x',r'). Calling (x',r') = \alpha(x,r), the graph has vertex set S and edges {(s,\alpha(s)), s\in S}. This enables us to shift the origin of S^o = S + \delta_0 (the Palm version of S) to another point in such a way that the distribution of S^o does not change (to any point if d = 2 and d = 3; point-stationarity).


title: On hypercomplexifying real forms of arbitrary rank

abstract: For certain problems involving vector fields, it is possible to find an associated imaginary field that, in conjunction with the first, forms a complex field for which the equation can be solved. This result is generalized to arbitrary Clifford algebras, followed by quaternionic vectors as a special case. All results are shown to reduce to the established method of complexifying vector fields. For simplicity, differential forms are used rather than vector notation.


title: End reductions and covering spaces of contractible open 3-manifolds

abstract: This paper uses Brin and Thickstun's theory of end reductions of non-compact 3-manifolds to study groups of covering translations of irreducible contractible open 3-manifolds W which are not homeomorphic to R^3. We associate to W an object S(W) called the simplicial complex of minimal R^2-irreducible end reductions of W. Whenever W covers another 3-manifold the group of covering translations is isomorphic to a fixed point free group of automorphisms of S(W). We apply this result to give uncountably many examples of R^2-irreducible such W which cover 3-manifolds with infinite cyclic fundamental group and non-trivially cover only 3-manifolds with infinite cyclic fundamental group. We also give uncountably many examples of R^2-irreducible W which are not eventually end irreducible and do not non-trivially cover any 3-manifold.


title: A conjecture of Herzog and Conca on counting of paths

abstract: A formula concerning counting of paths was conjectured by Herzog and Conca few years ago. Recently, Krattenthaler and Prohaska gave an affirmative answer to this conjecture. In this paper we generalize this formula.


title: Symmetric Word Equations in Two Positive Definite Letters

abstract: A generalized word in two positive definite matrices A and B is a finite product of nonzero real powers of A and B. Symmetric words in positive definite A and B are positive definite, and so for fxed B, we can view a symmetric word, S(A,B), as a map from the set of positive definite matrices into itself. Given positive definite P, B, and a symmetric word, S(A,B), with positive powers of A, we defne a symmetric word equation as an equation of the form S(A,B) = P. Such an equation is solvable if there is always a positive definite solution A for any given B and P. We prove that all symmetric word equations are solvable. Applications of this fact, methods for solution, questions about unique solvability (injectivity), and generalizations are also discussed.


title: Quantum lens spaces and principal actions on graph C*-algebras

abstract: We study certain principal actions on noncommutative C*-algebras. Our main examples are the Z_p- and T-actions on the odd-dimensional quantum spheres, yielding as fixed-point algebras quantum lens spaces and quantum complex projective spaces, respectively. The key tool in our analysis is the relation of the ambient C*-algebras with the Cuntz-Krieger algebras of directed graphs. A general result about the principality of the gauge action on graph algebras is given.


title: Deformed commutators on quantum group module-algebras

abstract: We construct quantum commutators on module-algebras of quasi-triangular Hopf algebras. These are quantum-group covariant, and have generalized antisymmetry and Leibniz properties. If the Hopf algebra is triangular they additionally satisfy a generalized Jacobi identity, turning the module-algebra into a quantum-Lie algebra.


title: Family Gromov-Witten Invariants for Kahler Surfaces

abstract: The usual Gromov-Witten invariants are zero for K\"{a}hler surfaces with $p_g\geq 1$. In this paper we use analytic methods to define Family Gromov-Witten Invariants for K\"{a}hler surfaces. We prove that these are well-defined invariants of the deformation class of the K\"{a}hler structure.


title: Reshetikhin-Turaev invariants of Seifert 3-manifolds for classical simple Lie algebras, and their asymptotic expansions

abstract: We derive formulas for the Reshetikhin-Turaev invariants of all oriented Seifert manifolds associated to an arbitrary complex finite dimensional simple Lie algebra $\mathfrak g$ in terms of the Seifert invariants and standard data for $\mathfrak g$. A main corollary is a determination of the full asymptotic expansions of these invariants for lens spaces in the limit of large quantum level. Our results are in agreement with the asymptotic expansion conjecture due to J. E. Andersen.


title: Determinantal resultant

abstract: In this paper, a new kind of resultant, called the determinantal resultant, is introduced. This operator computes the projection of a determinantal variety under suitable hypothesis. As a direct generalization of the resultant of a very ample vector bundle, it corresponds to a necessary and sufficient condition so that a given morphism between two vector bundles on a projective variety X has rank lower or equal to a given integer in at least one point. First some conditions are given for the existence of such a resultant and it is showed how to compute explicitly its degree. Then a result of A. Lascoux is used to obtain it as a determinant of a certain complex. Finally some more detailed results in the particular case where X is a projective space are exposed.


title: Demushkin's Theorem in Codimension One

abstract: Demushkin's Theorem says that any two toric structures on an affine variety X are conjugate in the automorphism group of X. We provide the following extension: Let an (n-1)-dimensional torus T act effectively on an n-dimensional affine toric variety X. Then T is conjugate in the automorphism group of X to a subtorus of the big torus of X.


title: Lifting of morphisms to quotient presentations

abstract: In this article we investigate algebraic morphisms between toric varieties. Given presentations of toric varieties as quotients we are interested in the question when a morphism admits a lifting to these quotient presentations. We show that this can be completely answered in terms of invariant divisors. As an application we prove that two toric varieties, which are isomorphic as abstract algebraic varieties, are even isomorphic as toric varieties. This generalizes a well-known result of Demushkin on affine toric varieties.


title: Uniformly distributed sequences of p-adic integers, II

abstract: The paper describes ergodic (with respect to the Haar measure) functions in the class of all functions, which are defined on (and take values in) the ring of p-adic integers, and which satisfy (at least, locally) Lipschitz condition with coefficient 1. Equiprobable (in particular, measure-preserving) functions of this class are described also. In some cases (and especially for p=2) the descriptions are given by explicit formulae. Some of the results may be viewed as descriptions of ergodic isometric dynamical systems on p-adic unit disk. The study was motivated by the problem of pseudorandom number generation for computer simulation and cryptography. From this view the paper describes nonlinear congruential pseudorandom generators modulo M which produce stricly periodic uniformly distributed sequences modulo M with maximal possible period length (i.e., exactly M). Both the state change function and the output function of these generators could be, e.g., meromorphic functions (in particular, polynomials with rational, but not necessarily integer coefficients, or rational functions), or compositions of arithmetical operations (like addition, multiplication, exponentiation, raising to integer powers, including negative ones) with standard computer operations, such as bitwise logical operations (XOR, OR, AND, etc.). The linear complexity of the produced sequences is also studied.


title: Satisfaction classes in nonstandard models of first-order arithmetic

abstract: A satisfaction class is a set of nonstandard sentences respecting Tarski's truth definition. We are mainly interested in full satisfaction classes, i.e., satisfaction classes which decides all nonstandard sentences. Kotlarski, Krajewski and Lachlan proved in 1981 that a countable model of PA admits a satisfaction class if and only if it is recursively saturated. A proof of this fact is presented in detail in such a way that it is adaptable to a language with function symbols. The idea that a satisfaction class can only see finitely deep in a formula is extended to terms. The definition gives rise to new notions of valuations of nonstandard terms; these are investigated. The notion of a free satisfaction class is introduced, it is a satisfaction class free of existential assumptions on nonstandard terms. It is well known that pathologies arise in some satisfaction classes. Ideas of how to remove those are presented in the last chapter. This is done mainly by adding inference rules to M-logic. The consistency of many of these extensions is left as an open question.


title: Notes on homogeneous vector bundles over complex flag manifolds

abstract: Let P be a parabolic subgroup of a semisimple complex Lie group G defined by a subset \Sigma of simple roots of G, and let E_\phi be a homogeneous vector bundle over the flag manifold G/P corresponding to a linear representation \phi of P. Using Bott's theorem, we obtain sufficient conditions on \phi in terms of the combinatorial structure of \Sigma for some cohomology groups of the sheaf of holomorphic sections of E_\phi to be zero. In particular, we define two numbers d(P), l(P) such that for any \phi obtained by natural operations from a representation of dimension less than d(P) the q-th cohomology group of E_\phi is zero for 0<q<l(P). We prove also that in this case the vector bundle E_\phi is rigid.


abstract: Let k be a perfect field of characteristic p>0. We prove the existence of ascending and descending slope filtrations for Shimura p-divisible objects over k. We use them to classify rationally these objects over \bar k. Among geometric applications, we mention two. First we formulate Manin problems for Shimura varieties of Hodge type. We solve them if either p\Ge 3 or p=2 and two mild conditions hold. Second we formulate integral Manin problems. We solve them for certain Shimura varieties of PEL type.


title: A local extension theorem for proper holomorphic mappings in C^2

abstract: Let f be a proper holomorphic mapping between bounded domains D and D' in C^2. Let M, M' be open pieces on the boundaries of D and D' respectively, that are smooth, real analytic and of finite type. Suppose that the cluster set of M under f is contained in M'. It is shown that f extends holomorphically across M. This can be viewed as a local version of the Diederich-Pinchuk extension result for proper mappings in C^2.


abstract: I present a formula for the Casson invariant of knots associated with divides. The formula is written in terms of Arnold's invariants of pieces of the divide. Various corollaries are discussed.


title: Edited 4-Theta embeddings of Jacobians

abstract: By the Lefschetz embedding theorem, a principally polarized $g$-dimensional abelian variety is embedded into projective space by the linear system of $4^g$ half-characteristic theta functions. Suppose we {\em edit} this linear system by dropping all the theta functions vanishing at the origin to order greater than parity requires. We prove that for Jacobians the edited $4\Theta$ linear system still defines an embedding into projective space. Moreover, we prove that the projective models of Jacobians arising from the elementary construction of Jacobians recently given by the author are (after passage to linear hulls) copies of the edited $4\Theta$ model. Thus, for all compact Riemann surfaces, we tie together algebraic and analytic Jacobians in a new way.


title: Projective group structures as absolute Galois structures with block approximation

abstract: Field Arithmetic studies the interplay between arithmetical properties of fields and their absolute Galois groups. Here we studies fields satisfying local global principles for rational points of varieties and profinite groups satisfying local global principles for solvability of embedding problems.


title: Connectivity of the coset poset and the subgroup poset of a group

abstract: We study the connectivity of the coset poset and the subgroup poset of a group, focusing in particular on simple connectivity. The coset poset was recently introduced by K. S. Brown in connection with the probabilistic zeta function of a group. We further Brown's study of the homotopy type of the coset poset, and in particular generalize his results on direct products and classify direct products with simply connected coset posets. The homotopy type of the subgroup poset L(G) has been examined previously by Kratzer, Thevenaz, and Shareshian. We generalize some results of Kratzer and Thevenaz, and determine the fundamental group of L(G) in nearly all cases.


title: Bounds for numbers of generators for a class of submodules of a finitely generated module

abstract: The aim of this paper is to obtain a uniform bound for a certain class of submodules from the following theorem: Let $(R,\frak m)$ be a local ring, let $M$ be a finite $R$--module of dimension $d\ge 1$ and let $\frak q$ be an ideal of $R$ generated by a system of parameters on $M$. Let $N$ be a submodule of $M$ with $\depth M/N\ge d-1$. Then $\ell(N/\frak qN)\le\ell(M/\frak qM)$.


title: Moduli of Principal Bundles in Positive Characteristic

abstract: In this paper we construct the moduli of semistable principal bundles with structure group a semisimple group, over nonsingular curves in positive characteristic, with good bounds on the prime.


title: A connection theoretic approach to sub-Riemannian geometry

abstract: We use the notion of generalized connection over a bundle map in order to present an alternative approach to sub-Riemannian geometry. Known concepts, such as normal and abnormal extremals, will be studied in terms of this new formalism. In particular, some necessary and sufficient conditions for the existence of abnormal extremals will be derived. We also treat the problem of characterizing those curves that verify both the nonholonomic equations and the so-called vakonomic equations for a `free' particle submitted to some kinematical constraints.


title: Algebraic surfaces with quotient singularities - including some discussion on automorphisms and fundamental groups

abstract: We survey some recent progress in the study of algebraic varieties X with log terminal singularities, especially, the uni-ruledness of the smooth locus X^0 of X, the fundamental group of X^0 and the automorphisms group on (smooth or singular) X when dim X = 2. The full automorphism groups of a few interesting types of K3 surfaces are described, mainly by Keum-Kondo. We conjecture that when X is Q-Fano then X^0 has a finite fundamental group, which had been proved if either dim X < 3 or the Fano index is bigger than dim X - 2. We also conjecture that when X is a log Enriques (e.g. a normal K3 or a normal Enriques) surface then either pi_1(X^0) is finite or X has an abelian surface as its quasi-etale cover, which has been proved by Catanese-Keum-Oguiso under some extra conditions.


title: A cubical model for a fibration

abstract: In the paper the notion of truncating twisting function $\tau :X\to Q$ from a simplicial set $X$ to a cubical set $Q$ and the corresponding notion of twisted Cartesian product of these sets $X\times_{\tau}Q$ are introduced. The latter becomes a cubical set whose chain complex coincides with the standard twisted tensor product $C_*(X)\otimes_{\tau_*}C_*(Q)$. This construction together with the theory of twisted tensor products for homotopy G-algebras allows to obtain multiplicative models for fibrations.


title: On a universal mapping class group of genus zero

abstract: The aim of this paper is to introduce a group containing the mapping class groups of all genus zero surfaces. Roughly speaking, such a group is intended to be a discrete analogue of the diffeomorphism group of the circle. One defines indeed a {\it universal mapping class group of genus zero}, denoted $\B$. The latter is a nontrivial extension of the Thompson group $V$ (acting on the Cantor set) by an inductive limit of pure mapping class groups of all genus zero surfaces. We prove that $\B$ is a finitely presented group, and give an explicit presentation of it.


title: Varieties with one apparent double point

abstract: The number of apparent double points of a smooth, irreducible projective variety $X$ of dimension $n$ in $\Proj^{2n+1}$ is the number of secant lines to $X$ passing through the general point of $\Proj^{2n+1}$. This classical notion dates back to Severi. In the present paper we classify smooth varieties of dimension at most three having one apparent double point. The techniques developed for this purpose allow to treat a wider class of projective varieties.


title: The computational complexity of the Chow form

abstract: We present a bounded probability algorithm for the computation of the Chow forms of the equidimensional components of an algebraic variety. Its complexity is polynomial in the length and in the geometric degree of the input equation system defining the variety. In particular, it provides an alternative algorithm for the equidimensional decomposition of a variety. As an application we obtain an algorithm for the computation of a subclass of sparse resultants, whose complexity is polynomial in the dimension and the volume of the input set of exponents. As a further application, we derive an algorithm for the computation of the (unique) solution of a generic over-determined equation system.


title: A generalization of Le Potier's vanishing theorem

abstract: We prove a new vanishing theorem generalizing that of Le Potier for Schur functors of a vector bundle.


title: Quantum invariants of Seifert 3-manifolds and their asymptotic expansions

abstract: We report on recent results of the authors concerning calculations of quantum invariants of Seifert 3-manifolds. These results include a derivation of the Reshetikhin-Turaev invariants of all oriented Seifert manifolds associated with an arbitrary complex finite dimensional simple Lie algebra, and a determination of the asymptotic expansions of these invariants for lens spaces. Our results are in agreement with the asymptotic expansion conjecture due to JE Andersen [The Witten invariant of finite order mapping tori I, to appear in J. Reine Angew. Math.] and [The asymptotic expansion conjecture, from `Problems on invariants of knots and 3--manifolds', edited by T. Ohtsuki, http://www.ms.u-tokyo.ac.jp/~tomotada/proj01/].


title: Lower bounds for the energy in a crumpled elastic sheet - A minimal ridge

abstract: We study the linearized Fopl - von Karman theory of a long, thin rectangular elastic membrane that is bent through an angle $2 \alpha$. We prove rigorous bounds for the minimum energy of this configuration in terms of the plate thickness $\sigma$ and the bending angle. We show that the minimum energy scales as $\sigma^{5/3} \alpha^{7/3}$. This scaling is in sharp contrast with previously obtained results for the linearized theory of thin sheets with isotropic compression boundary conditions, where the energy scales as $\sigma$.


title: Conformally flat metrics on 4-manifolds

abstract: We prove that for each closed smooth spin 4-manifold M there exists a closed smooth 4-manifold N such that the connected sum M # N admits a conformally flat Riemannian metric.


title: Pattern avoidance in circular permutations

abstract: Circular permutations on {1,2,...,n} that avoid a given pattern correspond to ordinary (linear) permutations that end with n and avoid all cyclic rotations of the pattern. Three letter patterns are all but unavoidable in circular permutations and here we give explicit formulas for the number of circular permutations that avoid one four letter pattern. In the three essentially distinct cases, the counts are as follows: the Fibonacci number F_{2n-3} for the pattern 1324, 2^{n-1}-(n-1) for 1342, and 2^{n}+1-2n-{n}choose{3} for 1234.


title: Separated-occurrence inequalities for dependent percolation and Ising models

abstract: Separated-occurrence inequalities are variants for dependent lattice models of the van den Berg-Kesten inequality for independent models. They take the form $P(A \circ_r B) \leq (1 + ce^{-\epsilon r})P(A)P(B)$, where $A \circ_r B$ is the event that $A$ and $B$ occur at separation $r$ in a configuration $\omega$, that is, there exist two random sets of bonds or sites separated by at least distance $r$, one set responsible for the occurrence of the event $A$ in $\omega$, the other for the occurrence of $B$. We establish such inequalities for certain subcritical FK models, and for certain Ising models which are at supercritical temperature or have an external field, with $A$ and $B$ increasing or decreasing events.


title: Lower bounds for boundary roughness for droplets in Bernoulli percolation

abstract: We consider boundary roughness for the ``droplet'' created when supercritical two-dimensional Bernoulli percolation is conditioned to have an open dual circuit surrounding the origin and enclosing an area at least $l^2$, for large $l$. The maximum local roughness is the maximum inward deviation of the droplet boundary from the boundary of its own convex hull; we show that for large $l$ this maximum is at least of order $l^{1/3}(\log l)^{-2/3}$. This complements the upper bound of order $l^{1/3}(\log l)^{2/3}$ known for the average local roughness. The exponent 1/3 on $l$ here is in keeping with predictions from the physics literature for interfaces in two dimensions.


title: Holomorphic line bundles on the loop space of the Riemann sphere

abstract: The loop space $L\mathbb{P}_1$ of the Riemann sphere consisting of all $C^k$ or Sobolev $W^{k,p}$ maps from the circle $S^1$ to $\mathbb{P}_1$ is an infinite dimensional complex manifold. The loop group $LPGL(2,\mathbb{C})$ acts on $L\mathbb{P}_1$ . We prove that the group of $LPGL(2,\mathbb{C})$ invariant holomorphic line bundles on $L\mathbb{P}_1$ is isomorphic to an infinite dimensional Lie group. Further, we prove that the space of holomorphic sections of these bundles is finite dimensional, and compute the dimension for a generic bundle.


title: Topological robotics: motion planning in projective spaces

abstract: We study an elementary problem of topological robotics: rotation of a line, which is fixed by a revolving joint at a base point: one wants to bring the line from its initial position to a final position by a continuous motion in the space. The final goal is to construct an algorithm which will perform this task once the initial and final positions are given. Any such motion planning algorithm will have instabilities, which are caused by topological reasons. A general approach to study instabilities of robot motion was suggested recently by the first named author. With any path-connected topological space X one associates a number TC(X), called the topological complexity of X. This number is of fundamental importance for the motion planning problem: TC(X) determines character of instabilities which have all motion planning algorithms in X. In the present paper we study the topological complexity of real projective spaces. In particular we compute TC(RP^n) for all n<24. Our main result is that (for n distinct from 1, 3, 7) the problem of calculating of TC(RP^n) is equivalent to finding the smallest k such that RP^n can be immersed into the Euclidean space R^{k-1}.


title: New Transformations for Painlev\'e's Third Transcendent

abstract: We present transformations relating the third transcendent of Painlev\'e with parameter sets located at the corners of the Weyl chamber for the symmetry group of the system, the affine Weyl group of the root system $ B^{(1)}_2 $, to those at the origin. This transformation entails a scaling of the independent variable, and implies additive identities for the canonical Hamiltonians and product identities for the $\tau$-functions with these parameter sets.


title: Leafwise holonomy of connections over a bundle map

abstract: In this paper we introduce a generalisation of the notion of holonomy for connections over a bundle map on a principal fibre bundle. We prove that, as in the standard theory on principal connections, the holonomy groups are Lie subgroups of the structure group of the principle fibre bundle and we also derive a straightforward generalisation of the Reduction Theorem.


title: On Endomorphisms of Algebraic Surfaces

abstract: In these notes, we consider self-maps of degree > 1 on a weak del Pezzo surface X of degree < 8. We show that there are exactly 12 such X, modulo isomorphism. In particular, K_X^2 > 2, and if X has one self-map of degree > 1 then for every positive integer d there is a self-map of degree d^2 on X. We prove the Sato conjecture in the present case, the general case of which has been proved by N. Nakayama.


title: On Normal Stratified Pseudomanifolds

abstract: A stratified pseudomanifold is normal if its links are connected. A normalization of a stratified pseudomanifold $X$ is a normal stratified pseudomanifold $Y$ together with a finite-to-one projection $n:Y\to X$ satisfying a local condition related to the fibers. The map n preserves the intersection homology. Following Borel any pl-stratified pseudomanifod has a normalization in the above sense. In this parper: 1.- We prove that the map $n$ can be required to satisfy a stronger condition: it is a locally trivial stratified morphism preserving the conical structure transverse to the strata. 2.- We extend Borel's result for any topological stratified pseudomanifold and for a family of perversities which is larger than the usual one. 3.- We make an explicit construction of such a normalization. We give a detailed description of the normalizer's stratification. 4.- We prove that our construction is functorial, thus unique up to isomorphisms. With little adjust our procedure holds also in the $C^{\infty}$ category.


title: Partially Ordered generalized patterns and k-ary words

abstract: Recently, Kitaev [Ki2] introduced partially ordered generalized patterns (POGPs) in the symmetric group, which further generalize the generalized permutation patterns introduced by Babson and Steingr\'imsson [BS]. A POGP p is a GP some of whose letters are incomparable. In this paper, we study the generating functions (g.f.) for the number of k-ary words avoiding some POGPs. We give analogues, extend and generalize several known results, as well as get some new results. In particular, we give the g.f. for the entire distribution of the maximum number of non-overlapping occurrences of a pattern p with no hyphens (that allowed to have repetition of letters), provided we know the g.f. for the number of k-ary words that avoid p.


title: Globalization of Confluent Partial Actions on Topological and Metric Spaces

abstract: We generalize Exel's notion of partial group action to monoids. For partial monoid actions that can be defined by means of suitably well-behaved systems of generators and relations, we employ classical rewriting theory in order to describe the universal induced global action on an extended set. This universal action can be lifted to the setting of topological spaces and continuous maps, as well as to that of metric spaces and non-expansive maps. Well-known constructions such as Shimrat's homogeneous extension are special cases of this construction. We investigate various properties of the arising spaces in relation to the original space; in particular, we prove embedding theorems and preservation properties concerning separation axioms and dimension. These results imply that every normal (metric) space can be embedded into a normal (metrically) ultrahomogeneous space of the same dimension and cardinality.


title: Les applications monomiales en deux dimensions

abstract: Using the formalism of toric varieties, we describe how to make a monomial application algebraically stable.


title: Relations in the quantum cohomology ring of G/B

abstract: The ideal of relations in the (small) quantum cohomology ring of the generalized flag manifold $G/B$ has been determined by B. Kim. We are going to point out a limited number of properties that, if they are satisfied by an $R[q_1,...,q_l]$-bilinear product $\circ$ on $H^*(G/B)\otimes R[q_1,...,q_l$, then the ring $(H^*(G/B)\otimes R[q_1,...,q_l],\circ)$ is isomorphic to Kim's ring.


title: Algebraic deformations arising from orbifolds with discrete torsion

abstract: We develop methods for computing Hochschild cohomology groups and deformations of crossed product rings. We use these methods to find deformations of a ring associated to a particular orbifold with discrete torsion, and give a presentation of the center of the resulting deformed ring. This connects with earlier calculations by Vafa and Witten of chiral numbers and deformations of a similar orbifold.


title: Vortex dynamics on a cylinder

abstract: Point vortices on a cylinder (periodic strip) are studied geometrically. The Hamiltonian formalism is developed, a non-existence theorem for relative equilibria is proved, equilibria are classified when all vorticities have the same sign, and several results on relative periodic orbits are established, including as corollaries classical results on vortex streets and leapfrogging.


title: Lectures on Wakimoto modules, opers and the center at the critical level

abstract: Wakimoto modules are representations of affine Kac-Moody algebras in Fock modules over infinite-dimensional Heisenberg algebras. In these lectures we present the construction of the Wakimoto modules from the point of view of the vertex algebra theory. We then use Wakimoto modules to identify the center of the completed universal enveloping algebra of an affine Kac-Moody algebra at the critical level with the algebra of functions on the space of opers for the Langlands dual group on the punctured disc. These results were originally obtained by B. Feigin and the author.


title: Solution Representations for a Wave Equation with Weak Dissipation

abstract: We consider the Cauchy problem for the weakly dissipative wave equation $$ \bx v+\frac\mu{1+t}v_t=0, \qquad x\in\R^n,\quad t\ge 0, $$ parameterized by $\mu>0$, and prove a representation theorem for its solution using the theory of special functions. This representation is used to obtain $L_p$--$L_q$ estimates for the solution and for the energy operator corresponding to this Cauchy problem. Especially for the $L_2$ energy estimate we determine the part of the phase sp which is responsible for the decay rate. It will be shown that the situation d strongly on the value of $\mu$ and that $\mu=2$ is critical.


title: Asymptotic Stability of the optimal filter for non-ergodic signals

abstract: In this paper, we study the problem of estimating a Markov chain $X$(signal) from its noisy partial information $Y$, when the transition probability kernel depends on some unknown parameters. Our goal is to compute the conditional distribution process ${\mathbb P}\{X_n|Y_n,...,Y_1\}$, referred to hereafter as the {\it optimal filter}. Following a standard Bayesian technique, we treat the parameters as a non-dynamic component of the Markov chain. As a result, the new Markov chain is not going to be mixing, even if the original one is. We show that, under certain conditions, the optimal filters are still going to be asymptotically stable with respect to the initial conditions. Thus, by computing the optimal filter of the new system, we can estimate the signal adaptively.


title: On the existence of solutions to the operator Riccati equation and the tan\Theta theorem

abstract: Let A and C be self-adjoint operators such that the spectrum of A lies in a gap of the spectrum of C and let d>0 be the distance between the spectra of A and C. We prove that under these assumptions the sharp value of the constant c in the condition ||B||<cd guaranteeing the existence of a (bounded) solution to the operator Riccati equation XA-CX+XBX=B^* is equal to \sqrt{2}. We also prove an extension of the Davis-Kahan \tan\Theta theorem and provide a sharp estimate for the norm of the solution to the Riccati equation. If C is bounded, we prove, in addition, that the solution X is a strict contraction if B satisfies the condition ||B||<d, and that this condition is sharp.


title: Four dimensions from two in symplectic topology

abstract: This paper introduces two-dimensional diagrams that are slight generalizations of moment map images for toric four-manifolds and catalogs techniques for reading topological and symplectic properties of a symplectic four-manifold from these diagrams. The paper offers a purely topological approach to toric manifolds as well as methods for visualizing other manifolds, including the K3 surface, and for visualizing certain surgeries. Most of the techniques extend to higher dimensions.


title: Links of prime ideals

abstract: We exhibit the elementary but somewhat surprising property that most direct links of prime ideals in Gorenstein rings are equimultiple ideals. It leads to the construction of a bountiful set of Cohen--Macaulay Rees algebras.


title: On the intelligibility of the universe and the notions of simplicity, complexity and irreducibility

abstract: We discuss views about whether the universe can be rationally comprehended, starting with Plato, then Leibniz, and then the views of some distinguished scientists of the previous century. Based on this, we defend the thesis that comprehension is compression, i.e., explaining many facts using few theoretical assumptions, and that a theory may be viewed as a computer program for calculating observations. This provides motivation for defining the complexity of something to be the size of the simplest theory for it, in other words, the size of the smallest program for calculating it. This is the central idea of algorithmic information theory (AIT), a field of theoretical computer science. Using the mathematical concept of program-size complexity, we exhibit irreducible mathematical facts, mathematical facts that cannot be demonstrated using any mathematical theory simpler than they are. It follows that the world of mathematical ideas has infinite complexity and is therefore not fully comprehensible, at least not in a static fashion. Whether the physical world has finite or infinite complexity remains to be seen. Current science believes that the world contains randomness, and is therefore also infinitely complex, but a deterministic universe that simulates randomness via pseudo-randomness is also a possibility, at least according to recent highly speculative work of S. Wolfram.


title: Surjectivity for Hamiltonian Loop Group Spacees

abstract: Let $G$ be a compact Lie group, and let $LG$ denote the corresponding loop group. Let $(X,\omega)$ be a weakly symplectic Banach manifold. Consider a Hamiltonian action of $LG$ on $(X,\omega)$, and assume that the moment map $\mu: X \to L\fg^*$ is proper. We consider the function $|\mu|^2: X \to \R$, and use a version of Morse theory to show that the inclusion map $j:\mu^{-1}(0)\to X$ induces a surjection $j^*:H_G^*(X) \to H_G^*(\mu^{-1}(0))$, in analogy with Kirwan's surjectivity theorem in the finite-dimensional case. We also prove a version of this surjectivity theorem for quasi-Hamiltonian $G$-spaces.


title: Andre-Quillen homology of algebra retracts

abstract: Given a homomorphism of commutative noetherian rings $\phi: R \to S$, Daniel Quillen conjectured in 1970 that if the Andre-Quillen homology functors $D_n(S|R,-)$ vanish for all $n \gg 0$, then they vanish for all $n \ge 3$. We prove the conjecture under the additional hypothesis that there exists a homomorphism of rings $\psi: S \to R$ such that $\phi\circ\psi=\id_S$. More precisely, in this case we show that $\psi$ is complete intersection at $\phi^{-1}(\fn)$ for every prime ideal $\fn$ of $S$. Using these results, we describe all algebra retracts $S\to R\to S$ for which the $S$-algebra $Tor^R(S,S)$ is finitely generated.


title: Strongly Cohen-Macaulay ideals of small second analytic deviation

abstract: We characterize the strongly Cohen-Macaulay ideals of second analytic deviation one in terms of depth properties of the powers of the ideal in the `standard range.' This provides an explanation of the behaviour of certain ideals that have appeared in the literature.


title: On residually S_2 ideals and projective dimension one modules

abstract: We prove that certain modules are faithful. This enables us to draw consequences about the reduction number and the integral closure of some classes of ideals.


title: Elliptic Selberg integrals and conformal blocks

abstract: We present an elliptic version of Selberg's integral formula.


title: Continuous Ramsey Theory and Sidon Sets

abstract: A symmetric subset of the reals is one that remains invariant under some reflection x --> c-x. Given 0 < x < 1, there exists a real number D(x) with the following property: if 0 < d < D(x), then every subset of [0,1] with measure x contains a symmetric subset with measure d, while if d > D(x), then there exists a subset of [0,1] with measure x that does not contain a symmetric subset with measure d. In this paper we establish upper and lower bounds for D(x) of the same order of magnitude: for example, we prove that D(x) = 2x - 1 for 11/16 < x < 1 and that 0.59 x^2 < D(x) < 0.8 x^2 for 0 < x < 11/16. This continuous problem is intimately connected with a corresponding discrete problem. A set S of integers is called a B*[g] set if for any given m there are at most g ordered pairs (s_1,s_2) \in S \times S with s_1+s_2=m; in the case g=2, these are better known as Sidon sets. We also establish upper and lower bounds of the same order of magnitude for the maximal possible size of a B*[g] set contained in {1,...,n}, which we denote by R(g,n). For example, we prove that R(g,n) < 1.31 \sqrt{gn} for all n > g > 1, while R(g,n) > 0.79 \sqrt{gn} for sufficiently large integers g and n. These two problems are so interconnected that both continuous and discrete tools can be applied to each problem with surprising effectiveness. The harmonic analysis methods and inequalities among various L^p norms we use to derive lower bounds for D(x) also provide uniform upper bounds for R(g,n), while the techniques from combinatorial and probabilistic number theory that we employ to obtain constructions of large B*[g] sets yield strong upper bounds for D(x).


title: Multiple Structures

abstract: We give a systematic approach to constructing non-reduced, locally Cohen-Macaulay schemes with reduced support a smooth projective variety. The hierarchy of such structures includes a lot of information about the underlying variety, its embeddings in projective space and the behaviour of its vector bundles. For instance, Hartshorne's conjecture on complete intersections in codimension two is reformulated in terms of existence of certain schemes of degrees two and three. There are many examples, and classifications of multiple structures with special properties (like low degree).


title: Geometry of KAM tori for nearly integrable Hamiltonian systems

abstract: We obtain a global version of the Hamiltonian KAM theorem for invariant Lagrangean tori by glueing together local KAM conjugacies with help of a partition of unity. In this way we find a global Whitney smooth conjugacy between a nearly-integrable system and an integrable one. This leads to preservation of geometry, which allows us to define all the nontrivial geometric invariants like monodromy or Chern classes of an integrable system also for near integrable systems.


title: Differentiability of quantum moment maps

abstract: We study quantum moment maps of $G$-invariant star products, which are a quantum analogue of the moment map for classical Hamiltonian systems. Introducing an integral representation, we show that any quantum moment map for a $G$-invariant star product is differentiable. This property gives us a new method for the classification of $G$-invariant star products on regular coadjoint orbits of compact semisimple Lie groups.


title: Directed trees in a string, real polynomials with triple roots, and chain mails

abstract: This paper starts with an observation that two infinite series of simplicial complexes, which a priori do not seem to have anything to do with each other, have the same homotopy type. One series consists of the complexes of directed forests on a double directed string, while the other one consists of Shapiro-Welker models for the spaces of hyperbolic polynomials with a triple root. We explain this coincidence in the more general context by finding an explicit homotopy equivalence between complexes of directed forests on a double directed tree, and doubly disconnecting complexes of a tree.


title: Conjecture de Bloch et nombres de Milnor

abstract: In this paper, we prove that the conductor formula of Bloch implies the conjecture of Deligne on Milnor numbers of isolated singularities. In particular, thanks to the work of Bloch on his conjecture, our result implies that this so-called Deligne-Milnor's conjecture is equally true in the unequal characteristic case.


title: Category of A_infinity-categories

abstract: We define natural A_infinity-transformations and construct A_infinity-category of A_infinity-functors. The notion of non-strict units in an A_infinity-category is introduced. The 2-category of (unital) A_infinity-categories, (unital) functors and transformations is described.


title: Families of D-minimal models and applications to 3-fold divisorial contractions

abstract: Let X/T be a one parameter family of canonical 3-folds and let D be a Weil divisor on it flat over T. We study the problem of when the D_t-minimal models of X_t form a family and we obtain conditions for this to happen. As an application of this we classify terminal divisorial contractions Y-->X that contract an irreducible divisor E onto a smooth curve C in the case when the general hyperplane section S of X through C is a D5 DuVal singularity.


title: Spectral triples and associated Connes-de Rham complex for the quantum SU(2) and the quantum sphere

abstract: We construct spectral triples for the C^*-algebra of continuous functions on the quantum SU(2) group and the quantum sphere. There has been various approaches towards building a calculus on quantum spaces, but there seems to be very few instances of computations outlined in chapter~6 of Connes' book. We give detailed computations of the associated Connes-de Rham complex and the space of L_2-forms.


title: Transformation formulas in Quantum Cohomology

abstract: The article discusses an action of the center of G on the quantum cohomology of G/P's constructed geometrically. It is shown how to recover Bertram's Quantum Schubert Calculus from this action, and also a refinement of a formula of Fulton and Woodward for the terms of the smallest order in the product of two Schubert varieties in the Quantum cohomology of a Grassmannian. The results date to July 2001, and are needed to pose a Quantum analogue of the Horn and Saturation Conjectures.


title: Chromatic properties of generic planar configurations of points

abstract: We study the Orchard relation for generic configurations of points in the plane (also called order types). We introduce infinitesimally-close points and analyse the relation of this notion with the Orchard relation. The second part of the paper deals with monochromatic configurations (for the Orchard relation). We give the complete list of all monochromatic configurations up to 7 points and present some constructions and families of monochromatic configurations.


title: Criteria for Balance in Abelian Gain Graphs, with Applications to Piecewise-Linear Geometry

abstract: A gain graph is a triple (G,h,H), where G is a connected graph with an arbitrary, but fixed, orientation of edges, H is a group, and h is a homomorphism from the free group on the edges of G to H. A gain graph is called balanced if the h-image of each closed walk on G is the identity. Consider a gain graph with abelian gain group having no odd torsion. If there is a basis of the graph's binary cycle space each of whose members can be lifted to a closed walk whose gain is the identity, then the gain graph is balanced, provided that the graph is finite or the group has no nontrivial infinitely 2-divisible elements. We apply this theorem to deduce a result on the projective geometry of piecewise-linear realizations of cell-decompositions of manifolds.


title: Spectra of Bernoulli convolutions as multipliers in $L^p$ on the circle

abstract: It is shown that the closure of the set of Fourier coefficients of the Bernoulli convolution $\mu_\theta$ parameterized by a Pisot number $\theta$, is countable. Combined with results of Salem and Sarnak, this proves that for every fixed $\theta>1$ the spectrum of the convolution operator $f\mapsto \mu_\theta*f$ in $L^p(S^1)$ (where $S^1$ is the circle group) is countable and is the same for all $p\in(1,\infty)$, namely, $\bar{\{\hat{\mu_\theta}(n) : n\in\mathbb{Z}\}}$. Our result answers the question raised by P. Sarnak in \cite{Sar}. We also consider the sets $\bar{\{\hat{\mu_\theta}(rn) : n\in\mathbb{Z}\}}$ for $r>0$ which correspond to a linear change of variable for the measure. We show that such a set is still countable for all $r\in\Q(\theta)$ but uncountable (a non-empty interval) for Lebesgue-a.e. $r>0$.


title: Morse functions on the moduli space of $G_2$ structures

abstract: Let $ \mathfrak{M}$ be the moduli space of torsion free $ G_2$ structures on a compact 7-manifold $ M$, and let $ \mathfrak{M}_1 \subset \mathfrak{M}$ be the $ G_2$ structures with volume($M$) $=1$. The cohomology map $ \pi^3: \mathfrak{M} \to H^3(M, R)$ is known to be a local diffeomorphism. It is proved that every nonzero element of $ H^4(M, R) = H^3(M, R)^*$ is a Morse function on $ \mathfrak{M}_1 $ when composed with $ \pi^3$. When dim $H^3(M, R) = 2$, the result in particular implies $ \pi^3$ is one to one on each connected component of $ \mathfrak{M}$. Considering the first Pontryagin class $ p_1(M) \in H^4(M, R)$, we formulate a compactness conjecture on the set of $ G_2$ structures of volume($M$) $=1$ with bounded $L^2$ norm of curvature, which would imply that every connected component of $ \mathfrak{M}$ is contractible. We also observe the locus $ \pi^3(\mathfrak{M}_1) \subset H^3(M, R)$ is a hyperbolic affine sphere if the volume of the torus $ H^3(M, R) / H^3(M, Z)$ is constant on $ \mathfrak{M}_1$.


title: A remark on unified error exponents: Hypothesis testing, data compression and measure concentration

abstract: Let A be finite set equipped with a probability distribution P, and let M be a "mass" function on A. A characterization is given for the most efficient way in which A^n can be covered using spheres of a fixed radius. A covering is a subset C_n of A^n with the property that most of the elements of A^n are within some fixed distance from at least one element of C_n, and "most of the elements" means a set whose probability is exponentially close to one (with respect to the product distribution P^n). An efficient covering is one with small mass M^n(C_n). With different choices for the geometry on A, this characterization gives various corollaries as special cases, including Marton's error-exponents theorem in lossy data compression, Hoeffding's optimal hypothesis testing exponents, and a new sharp converse to some measure concentration inequalities on discrete spaces.


title: A remark on Global existence for small initial data of the minimal surface equation in Minkowskian space time

abstract: We show that the nonlinear wave equation corresponding to the minimal surface equation in Minkowski space time has global solutions for sufficiently small initial data. This is an interesting model in Lorentziann and is also the equation for a membrane in field theory.


title: Transitive simple subgroups of wreath products in product action

abstract: A transitive simple subgroup of a finite symmetric group is very rarely contained in a full wreath product in product action. All such simple permutation groups are determined in this paper. This remarkable conclusion is reached after a definition and detailed examination of `Cartesian decompositions' of the permuted set, relating them to certain `Cartesian systemsof subgroups'. These concepts, and the bijective connections between them, are explored in greater generality, with specific future applications in mind.


title: Restricted 132-alternating permutations and Chebyshev polynomials

abstract: A permutation is said to be \emph{alternating} if it starts with rise and then descents and rises come in turn. In this paper we study the generating function for the number of alternating permutations on $n$ letters that avoid or contain exactly once 132 and also avoid or contain exactly once an arbitrary pattern on $k$ letters. In several interesting cases the generating function depends only on $k$ and is expressed via Chebyshev polynomials of the second kind.


title: Autodual Einstein versus Kahler-Einstein

abstract: Any strictly pseudoconvex domain in C2 carries a complete Kahler-Einstein metric, the Cheng-Yau metric, with ``conformal infinity'' the CR structure of the boundary. It is well known that not all CR structures on the 3-sphere arise in this way. In this paper, we study CR structures on the 3-sphere satisfying a different filling condition: boundaries at infinity of (complete) selfdual Einstein metrics. We prove that (modulo contactomorphisms) they form an infinite dimensional manifold, transverse to the space of CR structures which are boundaries of complex domains (and therefore of Kahler-Einstein metrics).


title: A panorama on zeta functions

abstract: In this essay I will give a strictly subjective selection of different types of zeta functions. Instead of providing a complete list, I will rather try to give the central concepts and ideas underlying the theory. This article is going to appear in the collected works of Erich K\"ahler.


title: Dynamics of surface diffeomorphisms relative to homoclinic and heteroclinic orbits

abstract: The Nielsen-Thurston theory of surface diffeomorphisms shows that useful dynamical information can be obtained about a surface diffeomorphism from a finite collection of periodic orbits.In this paper, we extend these results to homoclinic and heteroclinic orbits of saddle points. These orbits are most readily computed and studied as intersections of unstable and stable manifolds comprising homoclinic or heteroclinic tangles in the surface. We show how to compute a map of a one-dimensional space similar to a train-track which represents the isotopy-stable dynamics of the surface diffeomorphism relative to a tangle. All orbits of this one-dimensional representative are globally shadowed by orbits of the surface diffeomorphism, and periodic, homoclinic and heteroclinic orbits of the one-dimensional representative are shadowed by similar orbits in the surface.By constructing suitable surface diffeomorphisms, we prove that these results are optimal in the sense that the topological entropy of the one-dimensional representative is the greatest lower bound for the entropies of diffeomorphisms in the isotopy class.