title: Root numbers and the parity problem

abstract: Let E be a one-parameter family of elliptic curves over a number field. It is natural to expect the average root number of the curves in the family to be zero. All known counterexamples to this folk conjecture occur for families obeying a certain degeneracy condition. We prove that the average root number is zero for a large class of families of elliptic curves of fairly general type. Furthermore, we show that any non-degenerate family E has average root number 0, provided that two classical arithmetical conjectures hold for two homogeneous polynomials with integral coefficients constructed explicitly in terms of E. The first such conjecture -- commonly associated with Chowla -- asserts the equidistribution of the parity of the number of primes dividing the integers represented by a polynomial. We prove the conjecture for homogeneous polynomials of degree 3. The second conjecture used states that any non-constant homogeneous polynomial yields to a square-free sieve. We sharpen the existing bounds on the known cases by a sieve refinement and a new approach combining height functions, sphere packings and sieve methods.


title: On termination of 4-fold semi-stable log flips

abstract: In this paper, we prove the termination of 4-fold semi-stable log flips under the assumption that there always exist 4-fold (semi-stable) log flips.


title: Schubert varieties and the fusion products

abstract: For each $A\in\N^n$ we define a Schubert variety $\sh_A$ as a closure of the $\Slt(\C[t])$-orbit in the projectivization of the fusion product $M^A$. We clarify the connection of the geometry of the Schubert varieties with an algebraic structure of $M^A$ as $\slt\otimes\C[t]$ modules. In the case when all the entries of $A$ are different $\sh_A$ is smooth projective algebraic variety. We study its geometric properties: the Lie algebra of the vector fields, the coordinate ring, the cohomologies of the line bundles. We also prove, that the fusion products can be realized as the dual spaces of the sections of these bundles.


title: Towards the Modeling of Neuronal Firing by Gaussian Processes

abstract: This paper focuses on the outline of some computational methods for the approximate solution of the integral equations for the neuronal firing probability density and an algorithm for the generation of sample-paths in order to construct histograms estimating the firing densities. Our results originate from the study of non-Markov stationary Gaussian neuronal models with the aim to determine the neuron's firing probability density function. A parallel algorithm has been implemented in order to simulate large numbers of sample paths of Gaussian processes characterized by damped oscillatory covariances in the presence of time dependent boundaries. The analysis based on the simulation procedure provides an alternative research tool when closed-form results or analytic evaluation of the neuronal firing densities are not available.


title: Projective Invariants of Riemannian Metrics

abstract: It is understood now that all projective (and conformal) invariants of Riemannian metrics can be found by a transparent construction based on representation theory. So this article with a partial and quite cumbersome construction of projective invariants become obsolete.


title: Sofic groups and direct finiteness

abstract: We construct an analogue of Neumann's affiliated algebras for sofic group algebras over arbitrary fields. Consequently, we settle Kaplansky's direct finiteness conjecture for sofic groups.


title: Toric singularities revisited

abstract: In [Kat94b], Kato defined his notion of a log regular scheme and studied the local behavior of such schemes. A toric variety equipped with its canonical logarithmic structure is log regular. And, these schemes allow one to generalize toric geometry to a theory that does not require a base field. This paper will extend this theory by removing normality requirements.


title: Adjoint and coadjoint orbits of the Poincar\'e group

abstract: In this paper we give an effective method for finding a unique representative of each orbit of the adjoint and coadjoint action of the real affine orthogonal group on its Lie algebra. In both cases there are orbits which have a modulus that is different from the usual invariants for orthogonal groups. We find an unexplained bijection between adjoint and coadjoint orbits. As a special case, we classify the adjoint and coadjoint orbits of the Poincar\'{e} group.


title: Wavelets on Fractals

abstract: We develop the theory of multiresolutions in the context of Hausdorff measure of fractional dimension between 0 and 1. While our fractal wavelet theory has points of similarity that it shares with the standard case of Lebesgue measure on the line, there are also sharp contrasts. These are stated in our main result, a dichotomy theorem. The first section is the case of the middle-third Cantor set. This is followed by a review of the essentials on Hausdorff measure. The remaining sections of the paper cover multiresolutions in the general context of affine iterated function systems.


title: Perturbations of Subalgebras of Type ${\rm {II}}_1$ Factors

abstract: We consider two von Neumann subalgebras $\cl B_0$ and $\cl B$ of a type ${\rm{II}}_1$ factor $\cl N$. For a map $\phi$ on $\cl N$, we define \[\|\phi \|_{\infty,2}=\sup\{\|\phi(x)\|_2\colon \|x\| \leq 1\},\] and we measure the distance between $\cl B_0$ and $\cl B$ by the quantity $\|{\bb E}_{\cl B_0}-{\bb E}_{\cl B}\|_{\infty,2}$. Under the hypothesis that the relative commutant in $\cl N$ of each algebra is equal to its center, we prove that close subalgebras have large compressions which are spatially isomorphic by a partial isometry close to 1 in the $\|\cdot \|_2$--norm. This hypothesis is satisfied, in particular, by masas and subfactors of trivial relative commutant. A general version with a slightly weaker conclusion is also proved. As a consequence, we show that if $\cl A$ is a masa and $u\in\cl N$ is a unitary such that $\cl A$ and $u\cl Au^*$ are close, then $u$ must be close to a unitary which normalizes $\cl A$. These qualitative statements are given quantitative formulations in the paper.


title: On the questions P ?= NP $\cap$ co-NP and NP ?= co-NP for infinite time Turing machines

abstract: Schindler recently addressed two versions of the question P $\stackrel{?}{=}$ NP for Turing machines running in transfinite ordinal time. These versions differ in their definition of input length. The corresponding complexity classes are labelled P, NP and ${\rm P}^+,{\rm NP}^+$. Schindler showed that P $\neq$ NP and ${\rm P}^+ \neq {\rm NP}^+$. We show that P $=$ NP $\cap$ co-NP and NP $\neq$ co-NP, whereas ${\rm P}^+ \subset$ NP $\cap$ co-NP and ${\rm NP}^+ \neq $ co-NP$^+$.


title: Nonvanishing cohomology and classes of Gorenstein rings

abstract: We give counterexamples to the following conjecture of Auslander: given a finitely generated module $M$ over an Artin algebra $\Lambda$, there exists a positive integer $n_M$ such that for all finitely generated $\Lambda$-modules $N$, if $\Ext_{\Lambda}^i(M,N)=0$ for all $i\gg 0$, then $\Ext_{\Lambda}^i(M,N)=0$ for all $i\geq n_M$. Some of our examples moreover yield homologically defined classes of commutative local rings strictly between the class of local complete intersections and the class of local Gorenstein rings.


title: Prefix exchanging and pattern avoidance by involutions

abstract: Let I_n(\pi) denote the number of involutions in the symmetric group S_n which avoid the permutation \pi. We say that two permutations \alpha,\beta\in\S{j} may be exchanged if for every n, k, and ordering \tau of j+1,...,k, we have I_n(\alpha\tau)=I_n(\beta\tau). Here we prove that 12 and 21 may be exchanged and that 123 and 321 may be exchanged. The ability to exchange 123 and 321 implies a conjecture of Guibert, thus completing the classification of S_4 with respect to pattern avoidance by involutions; both of these results also have consequences for longer patterns. Pattern avoidance by involutions may be generalized to rook placements on Ferrers boards which satisfy certain symmetry conditions. Here we provide sufficient conditions for the corresponding generalization of the ability to exchange two prefixes and show that these conditions are satisfied by 12 and 21 and by 123 and 321. Our results and approach parallel work by Babson and West on analogous problems for pattern avoidance by general (not necessarily involutive) permutations, with some modifications required by the symmetry of the current problem.


title: th-Forking, Algebraic Independence and Examples of Rosy Theories

abstract: In a previous paper we developed the notions of th-independence and \th-ranks which define a geometric independence relation in a class of theories which we called ``rosy''. We proved that rosy theories include simple and o-minimal theories and that for any theory for which the stable forking conjecture was true, \th-forking coincides with forking independence. In this article, we continue to study properties of th-forking and find more examples of rosy theories. Among the new properties we prove in this paper are some alternative characterizations of rosy theories and some tools to prove and analyze rosiness in particular cases. Finally, we use this to find two examples of rosy non simple theories: pseudo real closed fields (PRC-fields) and the uniform companion of a large differential field defined by Marcus Tressl.


title: Extreme values of sectional curvature on the homogeneous complex manifolds $U(n+1)/U(n)\times U(p+1)/U(p)$

abstract: Invariant complex structures on the homogeneous manifold $U(n+1)/U(n)\times U(p+1)/U(p)$ are reseached. Extreme values of sectional curvature of Hermitian metrics on this manifold are found.


title: Invariants of mixed representations of quivers II : defining relations and applications

abstract: In the previous article we introduced the new concept of mixed representations of quivers and described the generators of their algebras of invariants. In this article we describe the defining relations of these algebras. Some applications for the invariants of orthogonal or symplectic groups acting on several matrices are given.


title: On the speed of a planar random walk avoiding its past convex hull

abstract: We consider a random walk in the plane which takes steps uniformly distributed on the unit circle centered around the walker's current position but avoids the convex hull of its past positions. This model has been introduced by Angel, Benjamini and Virag. We show a large deviation estimate for the distance of the walker from the origin, which implies that the walker has positive lim inf speed.


title: Is mathematics consistent?

abstract: A question is proposed whether or not set theory is consistent.


title: An Infinite Product for e^gamma via Hypergeometric Formulas for Euler's Constant, gamma

abstract: We derive hypergeometric formulas for Euler's constant, gamma. A "by-product" of Thomae's transformation is an infinite product for e^gamma involving the binomial coefficients. Alternate, non-hypergeometric proofs use a double integral for gamma, the beta integral, and an integral for the digamma function. (I thank P. Sebah, S. Zlobin, and W. Zudilin for valuable suggestions used in the paper.)


title: The 1/2--Complex Bruno function and the Yoccoz function. A numerical study of the Marmi--Moussa--Yoccoz Conjecture

abstract: We study the 1/2--Complex Bruno function and we produce an algorithm to evaluate it numerically, giving a characterization of the monoid $\hat{\mathcal{M}}=\mathcal{M}_T\cup \mathcal{M}_S$. We use this algorithm to test the Marmi--Moussa--Yoccoz Conjecture about the H\"older continuity of the function $z\mapsto -i\mathbf{B}(z)+ \log U(e^{2\pi i z})$ on $\{z\in \mathbb{C}: \Im z \geq 0 \}$, where $\mathbf{B}$ is the 1/2--complex Bruno function and $U$ is the Yoccoz function. We give a positive answer to an explicit question of S. Marmi et al [MMY2001].


title: From $\Gamma$-spaces to algebraic theories

abstract: The paper examines machines of the type of the $\Gamma$-spaces of Segal which describe homotopy structures on topological spaces. The main result of the paper shows that for any such machine one can find an algebraic theory characterizing the same structure on spaces as the original machine.


title: An Uncountable Family of Non Orbit Equivalent Actions of $\Bbb F_n$

abstract: For each $2 \leq n \leq \infty$, we construct an uncountable family of free ergodic measure preserving actions $\alpha_t$ of the free group $\Bbb F_n$ on the standard probability space $(X, \mu)$ such that any two are non orbit equivalent (in fact, not even stably orbit equivalent). These actions are all ``rigid'' (in the sense of [Po01]), with the II$_1$ factors $L^\infty(X, \mu)\rtimes_{\alpha_t} \Bbb F_n$ mutually non stably isomorphic (even non-stably isomorphic) and in the class $\Cal H\Cal T_{_{s}}.$


title: Convergence of the J-flow on Kahler surfaces

abstract: Donaldson defined a parabolic flow on Kahler manifolds which arises from considering the action of a group of symplectomorphisms on the space of smooth maps between manifolds. One can define a moment map for this action, and then consider the gradient flow of the square of its norm. Chen discovered the same flow from a different viewpoint and called it the J-flow, since it corresponds to the gradient flow of his J-functional, which is related to Mabuchi's K-energy. In this paper, we show that in the case of Kahler surfaces with two Kahler forms satisfying a certain inequality, the J-flow converges to a zero of the moment map.


title: The equivariant Orlik-Solomon algebra

abstract: Given a real arrangement $A$, the complement $M(A)$ of the complexification of $A$ admits an action of $\mathbb{Z}_2$ by complex conjugation. We define the equivariant Orlik-Solomon algebra of $A$ to be the $\mathbb{Z}_2$-equivariant cohomology ring of $M(A)$ with coefficients in $\mathbb{Z}_2$. We give a combinatorial presentation of this ring, and interpret it as a deformation of the ordinary Orlik-Solomon algebra into the Varchenko-Gel'fand ring of locally constant $\mattbb{Z}_2$-valued functions on the complement $C(A)$ of $A$ in $\mathbb{R}^n$. We also show that the $\mathbb{Z}_2$-equivariant homotopy type of $M(A)$ is determined by the oriented matroid of $A$. As an application, we give two examples of pairs of arrangements $A$ and $A'$ such that $M(A)$ and $M(A')$ have the same nonequivariant homotopy type, but are distinguished by the equivariant Orlik-Solomon algebra.


title: Small deviations in p-variation norm for multidimensional Levy processes

abstract: Let Z be an Rd-valued Levy process with strong finite p-variation for some p<2. We prove that the ''decompensated'' process Y obtained from Z by annihilating its generalized drift has a small deviations property in p-variation. This property means that the null function belongs to the support of the law of Y with respect to the p-variation distance. Thanks to the continuity results of T. J. Lyons/D. R. E. Williams, this allows us to prove a support theorem with respect to the p-Skorohod distance for canonical SDE driven by Z without any assumption on Z, improving the results of H. Kunita. We also give a criterion ensuring the small deviation property for Z itself, noticing that the characterization under the uniform distance, which we had obtained in a previous paper, no more holds under the p-variation distance.


title: Small deviations in p-variation for stable processes

abstract: Let $\{Z_t, t\geq 0\}$ be a strictly stable process on $\R$ with index $\alpha\in (0,2]$. We prove that for every $p > \alpha$, there exists $\gamma = \gamma (\alpha, p)$ and $\k = \k (\alpha, p)\in (0, +\infty)$ such that $$\lim_{\ee\downarrow 0}\ee^{\gamma}\log\pb\lcr ||Z||_{p}\leq \ee \rcr = - \k,$$ where $||Z||_{p}$ stands for the strong $p$-variation of $Z$ on $[0,1]$. The critical exponent $\gamma (\alpha, p)$ takes a different shape according as $|Z|$ is a subordinator and $p >1$, or not. The small ball constant $\k (\alpha, p)$ is explicitly computed when $p \leq 1$, and a lower bound on $\k (\alpha, p)$ is easily obtained in the general case. In the symmetric case and when $p > 2$, we can also give an upper bound on $\k (\alpha, p)$ in terms of the Brownian small ball constant under the $(1/p)$-H\"older semi-norm. Along the way, we remark that the positive random variable $||Z||^p_{p}$ is not necessarily stable when $p > 1$, which gives a negative answer to an old question of P.~E.~Greenwood.


title: Digital Fractional Order Controllers Realized by PIC Microprocessor: Experimental Results

abstract: This paper deals with the fractional-order controllers and their possible hardware realization based on PIC microprocessor and numerical algorithm coded in PIC Basic. The mathematical description of the digital fractional -order controllers and approximation in the discrete domain are presented. An example of realization of the particular case of digital fractional-order PID controller is shown and described.


title: Comparison of the methods for discrete approximation of the fractional-order operator

abstract: In this paper we will present some alternative types of discretization methods (discrete approximation) for the fractional-order (FO) differentiator and their application to the FO dynamical system described by the FO differential equation (FDE). With analytical solution and numerical solution by power series expansion (PSE) method are compared two effective methods - the Muir expansion of the Tustin operator and continued fraction expansion method (CFE) with the Tustin operator and the Al-Alaoui operator. Except detailed mathematical description presented are also simulation results. From the Bode plots of the FO differentiator and FDE and from the solution in the time domain we can see, that the CFE is a more effective method according to the PSE method, but there are some restrictions for the choice of the time step. The Muir expansion is almost unusable.


title: Quotients of unital ${A}_\infty$-categories

abstract: For a full subcategory B of a unital A_infinity-category C a quotient unital A_infinity-category `C/B' is defined. For differential graded categories such quotient is constructed by V.Drinfeld. Our construction is explicit and uses freely generated A_infinity-categories. The quotient D=`C/B' represents the A_infinity-2-functor A \mapsto A_\infty^u(C,A)_{modulo B}, which associates with a given unital A_infinity-category A the A_infinity-category of unital A_infinity-functors C -> A, whose restriction to B is contractible.


title: On some generalizations of the Jacobi identity. II

abstract: On the basis of the generalizations of the Jacobi identity found by the author some identities satisfied by the curvature and torsion of a covariant differentiation are derived. A kind of the generalized covariant differentiation is proposed and a method of finding some of satisfied by them identities is given in the correspondence to the curvatures concerned.


title: Quenched large deviations for one dimensional nonlinear filtering

abstract: Consider the standard, one dimensional, nonlinear filtering problem for a diffusion processe $\Xi_t$ observed in small additive white noise. Denote by $q^\epsilon_1(\cdot)$ the density of the law of $\Xi_1$ conditioned on $\sigma(Y_t^\epsilon: 0\leq t\leq 1)$. We provide "quenched" large deviation estimates for the random family of measures $q^\epsilon_1(x)dx$: there exists a continuous, explicit mapping $\bar J : R^2\to R$ such that for almost all $B_\cdot,V_\cdot$, $\bar J(\cdot,X_1)$ is a good rate function and for any measurable $G\subset R$, $$-\inf_{x\in G^o} \bar J(x,X_1) \leq \liminf \epsilon \log \int_G q_1^\epsilon(x) dx \leq \limsup \epsilon \log \int_G q_1^\epsilon(x) dx \leq -\inf_{x\in \bar G} \bar J(x,X_1) .$$


title: Einstein metrics and the number of smooth structures on a four-manifold

abstract: We prove that for every natural number k there are simply connected topological four-manifolds which have at leat k distinct smooth structures supporting Einstein metrics, and also have infinitely many distinct smooth structures not supporting Einstein metrics. Moreover, all these smooth structures become diffeomorphic after connected sum with only one copy of the complex projective plane. We prove that manifolds with these properties cover a large geographical area.


title: Monopole classes and Einstein metrics

abstract: We introduce the notion of a special monopole class on a four-manifold. This is used to prove restrictions on the smooth structures of Einstein manifolds. As an application we prove that there are Einstein four-manifolds which are simply connected, spin, and satisfy the strict Hitchin--Thorpe inequality, and which are homeomorphic to manifolds without Einstein metrics. In the Appendix, written with J. Wehrheim, we use special monopole classes to discuss the classification of Ricci-flat four-manifolds.


title: Is the Halting probability a Dedekind real number?

abstract: In a recent historical overview, Cristian S. Calude, Elena Calude, and Solomon Marcus identify eight stages in the development of the concept of a mathematical proof in support of an ambitious conjecture: we can express classical mathematical concepts adequately only in a mathematical language in which both truth and provability are essentially unverifiable. In this paper we show, firstly, that the concepts underlying their thesis can, however, be interpreted constructively; and, secondly, that an implicit thesis in the authors' arguments implies that the probability of a given Turing machine halting on a given input cannot be expressed as a Dedekind real number.


title: Why we must heed Wittgenstein's "notorious paragraph"

abstract: We argue that, although Wittgenstein's reservations on Goedel's interpretation of his own formal reasoning are, indeed, of historical importance, the uneasiness that academicians and philosophers continue to sense, and express, over standard interpretations of Goedel's formal reasoning - even seventy years after the publication of his seminal 1931 paper - is of much greater significance, and relevance, to us today.


title: Perturbation of spectra and spectral subspaces

abstract: We consider the problem of variation of spectral subspaces for linear self-adjoint operators under off-diagonal perturbations. We prove a number of new optimal results on the shift of the spectrum and obtain (sharp) estimates on the norm of the difference of two spectral projections.


title: A map for simultaneous measurements for a quantum logic

abstract: In this paper we will study a function of simultaneus measurements for quantum events (s-map) which will be compared with the conditional states on an orthomodular lattice as a basic structure for quantum logic.


title: Two-vector bundles and forms of elliptic cohomology

abstract: In this paper we define 2-vector bundles as suitable bundles of 2-vector spaces over a base space, and compare the resulting 2-K-theory with the algebraic K-theory spectrum K(V) of the 2-category of 2-vector spaces, as well as the algebraic K-theory spectrum K(ku) of the connective topological K-theory spectrum ku. We explain how K(ku) detects v_2-periodic phenomena in stable homotopy theory, and as such is a form of elliptic cohomology.


title: Dynamical Yang-Baxter equation and quantum vector bundles

abstract: We develop a categorical approach to the dynamical Yang-Baxter equation (DYBE) for arbitrary Hopf algebras. In particular, we introduce the notion of a dynamical extension of a monoidal category, which provides a natural environment for quantum dynamical R-matrices, dynamical twists, {\em etc}. In this context, we define dynamical associative algebras and show that such algebras give quantizations of vector bundles on coadjoint orbits. We build a dynamical twist for any pair of a reductive Lie algebra and their Levi subalgebra. Using this twist, we obtain an equivariant star product quantization of vector bundles on semisimple coadjoint orbits of reductive Lie groups.


title: Some examples in toric geometry

abstract: We present two examples in toric geometry concerning the relationship between toric and quasitoric manifolds, and provide the sufficient conditions on the base polytope and characteristic map so that the resulting quasitoric manifold is almost complex.


title: The Hodge theory of algebraic maps

abstract: We give a geometric proof of the Decomposition Theorem of Beilinson, Bernstein, Deligne and Gabber for the direct image of the intersection cohomology complex under a proper map of complex algebraic varieties. The method rests on new Hodge-theoretic results on the cohomology of projective varieties which extend naturally the classical theory and provide new applications.


title: A Coincidence Formula for Foliated Manifolds

abstract: The main result of the present paper is a coincidence formula for foliated manifolds. To prove this we establish Kuenneth formula, Poincare duality and intersection product in the context of tangential de Rham cohomology and homology of tangential currents. We apply the formula to get a dynamical Lefschetz formula for foliated flows.


title: On Bethe vectors in the XXZ model at roots of unity

abstract: We give a construction of creation operators responsible for appearance of Bethe vectors with the same eigenvalues of the transfer-matrix for the inhomogeneous arbitrary spin XXZ model at roots of unity with particular quasiperiodic boundary conditions. This construction generalizes the similar one, recently obtained by K.Fabricius and B.M.McCoy, for the homogeneous six-vertex model with periodic boundary conditions. Even in the last case, the given proof for the main formulae are simpler than the original one.


title: Dynamics and Universality of Unimodal Mappings with Infinite Criticality

abstract: We consider infinitely renormalizable unimodal mappings with topological type which is periodic under renormalization. We study the limiting behavior of fixed points of the renormalization operator as the order of the critical point increases to infinity. It is shown that a limiting dynamics exists, with a critical point that is flat, but still having a well-behaved analytic continuation to a neighborhood of the real interval pinched at the critical point. We study the dynamics of limiting maps and prove their rigidity. In particular, the sequence of fixed points of renormalization for finite criticalities converges, uniformly on the real domain, to a mapping of the limiting type.


title: A Closer Look at Lattice Points in Rational Simplices

abstract: We generalize Ehrhart's idea of counting lattice points in dilated rational polytopes: Given a rational simplex, that is, an n-dimensional polytope with n+1 rational vertices, we use its description as the intersection of n+1 halfspaces, which determine the facets of the simplex. Instead of just a single dilation factor, we allow different dilation factors for each of these facets. We give an elementary proof that the lattice point counts in the interior and closure of such a "vector-dilated" simplex are quasipolynomials satisfying an Ehrhart-type reciprocity law. This generalizes the classical reciprocity law for rational polytopes. As an example, we derive a lattice point count formula for a rectangular rational triangle, which enables us to compute the number of lattice points inside any rational polygon.


title: Counting Lattice Points by means of the Residue Theorem

abstract: We use the residue theorem to derive an expression for the number of lattice oints in a dilated n-dimensional tetrahedron with vertices at lattice points on each coordinate axis and the origin. This expression is known as the Ehrhart polynomial. We show that it is a polynomial in t, where t is the integral dilation parameter. We prove the Ehrhart-Macdonald reciprocity law for these tetrahedra, relating the Ehrhart polynomials of the interior and the closure of the tetrahedra. To illustrate our method, we compute the Ehrhart coefficient for codimension 2. Finally, we show how our ideas can be used to compute the Ehrhart polynomial for an arbitrary convex lattice polytope.


title: The polynomial part of a restricted partition function related to the Frobenius problem

abstract: Given a set of positive integers A = {a_1,...,a_n}, we study the number p_A (t) of nonnegative integer solutions (m_1,...,m_n) to m_1 a_1 + ... m_n a_n = t. We derive an explicit formula for the polynomial part of p_A.


title: Galois actions on fundamental groups of curves and the cycle $C-C^-$

abstract: Suppose that C is a smooth, projective, geometrically connected curve of genus g > 2 defined over a number field K. Suppose that x is a K-rational point of C. Denote the Lie algebra of the unipotent completion (over Q_ell) of the fundamental group of the corresponding complex analytic curve by p(C,x). This is acted on by both G_K (the Galois group of K) and Gamma, the mapping class group of the pointed complex curve. In this paper we show that the algebraic cycle C_x-C_x^- in the jacobian of C controls the size of the image of G_K in Aut p(C,x). More precisely, we give necessary and sufficient conditions, in terms of two Galois cohomology classes determined by this cycle, for the Zariski closure of the image of G_K in Aut p(C,x) to contain the image of the mapping class group. We also prove an equivalent version for the pro-ell fundamental group, an unpointed version, and a Galois analogue of the Harris-Pulte Theorem.


title: Observations concerning G\"odel's 1931

abstract: This article demonstrates the invalidity of Theorem VI of Godel's monograph of 1931, showing that propositions (15) and (16), derived from definition (8.1), in its proof, are false in PA. This is achieved in two steps. First, the predicate complementary to the well-known Godel's predicate Bew(x) is ndefined by adding a new relation Wid(x), and new logical connections are accordingly established, Lemma (6). Second, the negations of (15) and (16) are derived by definition (8.1) and Lemma (6). It amounts to saying that (15) and (16) are false and unacceptable for the system. On the account of that, the two well-known cases 1. 17 Gen r is not k-PROVABLE, 2. Neg(17 Gen r) is not k-PROVABLE, can not be drawn, and Theorem VI is therefore invalid.


title: Identifying Cartesian decompositions preserved by transitive permutation groups

abstract: Our aim is to describe the theory of Cartesian decompositions preserved by some member of a large family of finite transitive permutation groups called innatelytransitive groups.


title: An infinite product formula for $U_q(sl(2))$ dynamical coboundary element

abstract: We give a short summary of results and conjectures in the theory of dynamical quantum group related to the dynamical coboundary equation also known as IRF-Vertex transform. O.Babelon has shown that the dynamical twist $F(x)$ of $U_q(sl(2))$ is a dynamical coboundary $M(x)$ i.e $F(x)M_1(xq^{h_2})M_2(x)=\Delta(M(x)).$ We give a new formula for this element $M(x)$ as an infinite product and give a new proof of the coboundary relation. Our proof involves the quantum Weyl group element, giving possible hint for the generalization to higher rank case.


title: Some non-hyperbolic systems with strictly non-zero Lyapunov exponents for all invariant measures: Horseshoes with internal tangencies

abstract: We study the hyperbolicity of a class of horseshoes exhibiting an internal tangency, i.e. a point of homoclinic tangency accumulated by periodic points. In particular these systems are strictly not uniformly hyperbolic. However we show that all the Lyapunov exponents of all invariant measures are uniformly bounded away from 0. This is the first known example of this kind.


title: Thoughts on the Riemann hypothesis

abstract: The simultaneous appearance in May 2003 of four books on the Riemann hypothesis (RH) provoked these reflections. We briefly discuss whether the RH should be added as a new axiom, or whether a proof of the RH might involve the notion of randomness.


title: On semiprimary rings of finite global dimension

abstract: Suppose that $A$ is a semiprimary ring satisfying one of the two conditions: 1) its Yoneda ring is generated in finite degrees; 2) its Loewy length is less or equal than three. We prove that the global dimension of $A$ is finite if, and only if, there is a $m>0$ such that $Ext_A^n(S,S)=0$, for all simple $A$-modules $S$ and all $n\geq m$.


title: Lie bracket of vector fields in noncommutative geometry

abstract: The aim of this paper is to avoid some difficulties, related with the Lie bracket, in the definition of vector fields in a non commutative setting, as they were defined by Woronowicz, Schmudgen--Schuler and Aschieri--Schupp. We extend the definition of vector fields to consider them as derivations of the algebra, through Cartan pairs introduced by Borowiec. Then, using translations, we introduce the invariant vector fields. Finally, the definition of Lie bracket realized by Dubois--Violette, considering elements in the center of the algebra, is also extended to these invariant vector fields.


title: A large-deviation theorem for tree-indexed Markov chains

abstract: Given a finite typed rooted tree $T$ with $n$ vertices, the {\em empirical subtree measure} is the uniform measure on the $n$ typed subtrees of $T$ formed by taking all descendants of a single vertex. We prove a large deviation principle in $n$, with explicit rate function, for the empirical subtree measures of multitype Galton-Watson trees conditioned to have exactly $n$ vertices. In the process, we extend the notions of shift-invariance and specific relative entropy--as typically understood for Markov fields on deterministic graphs such as $\mathbb Z^d$--to Markov fields on random trees. We also develop single-generation empirical measure large deviation principles for a more general class of random trees including trees sampled uniformly from the set of all trees with $n$ vertices.


title: Smarandache Non-Associative Rings

abstract: Generally, in any human field, a Smarandache Structure on a set A means a weak structure W on A such that there exists a proper subset B contained in A which is embedded with a stronger structure S. These types of structures occur in our everyday's life, that's why we study them in this book. Thus, as a particular case: A non-associative ring is a non-empty set R together with two binary operations '+' and '.' such that (R, +) is an additive abelian group and (R, .) is a groupoid. For all a, b, c belonging to R we have (a + b) . c = a . c + b . c and c . (a + b) = c . a + c . b. A Smarandache non-associative ring is a non-associative ring (R, +, .) which has a proper subset P contained in R, that is an associative ring (with respect to the same binary operations on R).


title: Random MAX SAT, Random MAX CUT, and Their Phase Transitions

abstract: Given a 2-SAT formula $F$ consisting of $n$ variables and $\cn$ random clauses, what is the largest number of clauses $\max F$ satisfiable by a single assignment of the variables? We bound the answer away from the trivial bounds of $(3/4)cn$ and $cn$. We prove that for $c<1$, the expected number of clauses satisfiable is $\cn-\Theta(1/n)$; for large $c$, it is $((3/4)c + \Theta(\sqrt{c}))n$; for $c = 1+\eps$, it is at least $(1+\eps-O(\eps^3))n$ and at most $(1+\eps-\Omega(\eps^3/\ln \eps))n$; and in the ``scaling window'' $c= 1+\Theta(n^{-1/3})$, it is $cn-\Theta(1)$. In particular, just as the decision problem undergoes a phase transition, our optimization problem also undergoes a phase transition at the same critical value $c=1$. Nearly all of our results are established without reference to the analogous propositions for decision 2-SAT, and as a byproduct we reproduce many of those results, including much of what is known about the 2-SAT scaling window. We consider ``online'' versions of MAX-2-SAT, and show that for one version, the obvious greedy algorithm is optimal. We can extend only our simplest MAX-2-SAT results to MAX-k-SAT, but we conjecture a ``MAX-k-SAT limiting function conjecture'' analogous to the folklore satisfiability threshold conjecture, but open even for $k=2$. Neither conjecture immediately implies the other, but it is natural to further conjecture a connection between them. Finally, for random MAXCUT (the size of a maximum cut in a sparse random graph) we prove analogous results.


title: A Thom Isomorphism for Infinite Rank Euclidean Bundles

abstract: An equivariant Thom isomorphism theorem in operator K-theory is formulated and proven for infinite rank Euclidean vector bundles over finite dimensional Riemannian manifolds. The main ingredient in the argument is the construction of a non-commutative C*-algebra associated to a bundle E -> M, equipped with a compatible connection, which plays the role of the algebra of functions on the infinite dimensional total space E. If the base M is a point, we obtain the Bott periodicity isomorphism theorem of Higson-Kasparov-Trout for infinite dimensional Euclidean spaces. The construction applied to an even (finite rank) spin-c-bundle over an even-dimensional proper spin-c-manifold reduces to the classical Thom isomorphism in topological K-theory. The techniques involve non-commutative geometric functional analysis.


title: The isometries of the cut, metric and hypermetric cones

abstract: We show that the symmetry groups of the cut cone Cut(n) and the metric cone Met(n) both consist of the isometries induced by the permutations on {1,...,n}; that is, Is(Cut(n))=Is(Met(n))=Sym(n) for n>4. For n=4 we have Is(Cut(4))=Is(Met(4))=Sym(3)xSym(4). This is then extended to cones containing the cuts as extreme rays and for which the triangle inequalities are facet-inducing. For instance, Is(Hyp(n))=Sym(n) for n>4, where Hyp(n) denotes the hypermetric cone.


title: Transfer Theorems and Asymptotic Distributional Results for m-ary Search Trees

abstract: We derive asymptotics of moments and identify limiting distributions, under the random permutation model on m-ary search trees, for functionals that satisfy recurrence relations of a simple additive form. Many important functionals including the space requirement, internal path length, and the so-called shape functional fall under this framework. The approach is based on establishing transfer theorems that link the order of growth of the input into a particular (deterministic) recurrence to the order of growth of the output. The transfer theorems are used in conjunction with the method of moments to establish limit laws. It is shown that (i) for small toll sequences $(t_n)$ [roughly, $t_n =O(n^{1 / 2})$] we have asymptotic normality if $m \leq 26$ and typically periodic behavior if $m \geq 27$; (ii) for moderate toll sequences [roughly, $t_n = \omega(n^{1 / 2})$ but $t_n = o(n)$] we have convergence to non-normal distributions if $m \leq m_0$ (where $m_0 \geq 26$) and typically periodic behavior if $m \geq m_0 + 1$; and (iii) for large toll sequences [roughly, $t_n = \omega(n)$] we have convergence to non-normal distributions for all values of m.


title: Tensor Algebras and Displacement Structure. III. Asymptotic properties

abstract: We continue to investigate some classes of Szeg\"o type polynomials in several variables. We focus on asymptotic properties of these polynomials and we extend several classical results of G. Szeg\"o to this setting.


title: Effective Multiplicity One for GL(n)

abstract: We establish zero-free regions tapering as an inverse power of the analytic conductor for Rankin-Selberg L-functions on GL(n) x GL(n'). Such zero-free regions are equivalent to commensurate lower bounds on the edge of the critical strip, and in the case of $L(s,f x f~), on the residue at s=1. As an application we show that a cuspidal automorphic representation on GL(n) is determined by a finite number of its Dirichlet series coefficients, and that this number grows at most polynomially in the analytic conductor.


title: Character varieties of mutative 3--manifolds

abstract: We describe a birational map between subvarieties in the character varieties of mutative 3-manifolds. By studying the birational map, one can decide in certain circumstances whether a mutation surface is detected by an ideal point of the character variety.


title: The surgery obstruction groups of the infinite dihedral group

abstract: This paper computes the quadratic Witt groups (the Wall L-groups) of the polynomial ring Z[t] and the integral group ring of the infinite dihedral group, with various involutions. We show that some of these groups are infinite direct sums of cyclic groups of order 2 and 4. The techniques used are quadratic linking forms over Z[t] and Arf invariants.


title: Boundary slopes and the logarithmic limit set

abstract: The A-polynomial of a manifold whose boundary consists of a single torus is generalised to an eigenvalue variety of a manifold whose boundary consists of a finite number of tori, and the set of strongly detected boundary curves is determined by Bergman's logarithmic limit set, which describes the exponential behaviour of the eigenvalue variety at infinity. This enables one to read off the detected boundary curves of a multi-cusped manifold in a similar way to the 1-cusped case, where the slopes are encoded in the Newton polygon of the A-polynomial.


title: Critical percolation in annuli and $SLE_6$

abstract: Building on the identification of the scaling limit of the critical percolation exploration process as a Schramm-Loewner Evolution, we derive a PDE characterization for the crossing probability of an annulus.


title: Bott towers, crosspolytopes and torus actions

abstract: We study the geometry of Bott towers in the context of toric geometry, describing their associated fans arising from crosspolytopes. We compute the cohomology ring of each stage of the tower, and provide all monomial identities defining related affine toric varieties.


title: Projective normality of abelian surfaces of type (1,2d)

abstract: We show that an abelian surface embedded in P^N by a very ample line bundle L of type (1,2d) is projectively normal if and only if d>=4. This completes the study of the projective normality of abelian surfaces embedded by complete linear systems.


title: Maximum and comparison principles for convex functions on the Heisenberg group

abstract: We prove estimates, similar in form to the classical Aleksandrov estimates, for a Monge-Ampere type operator on the Heisenberg group. A notion of normal mapping does not seem to be available in this context and the method of proof uses integration by parts and oscillation estimates that lead to the construction of an analogue of Monge-Ampere measures for convex functions in the Heisenberg group.


title: Weights in Codes and Genus 2 Curves

abstract: We discuss a class of binary cyclic codes and their dual codes. The minimum distance is determined using algebraic geometry, and an application of Weil's theorem. We relate the weights appearing in the dual codes to the number of rational points on a family of genus 2 curves over a finite field.


title: A note on cocycle-conjugate endomorphisms of von Neumann algebras

abstract: We show that two cocycle-conjugate endomorphisms of an arbitrary von Neumann algebra that satisfy certain stability conditions are conjugate endomorphisms, when restricted to some specific von Neumann subalgebras. As a consequence of this result, we obtain a new criterion for conjugacy of Powers shift endomorphisms acting on factors of type $\rm{I}\sb{\infty}.$


title: Remarks on the spectrum of the Dirac operator

abstract: We describe a new family of examples of hypersurfaces in the sphere satisfying the limiting-case in C. B\"ar's extrinsic upper bound for the smallest eigenvalue of the Dirac operator.


title: Computing Dynamic Output Feedback Laws

abstract: The pole placement problem asks to find laws to feed the output of a plant governed by a linear system of differential equations back to the input of the plant so that the resulting closed-loop system has a desired set of eigenvalues. Converting this problem into a question of enumerative geometry, efficient numerical homotopy algorithms to solve this problem for general Multi-Input-Multi-Output (MIMO) systems have been proposed recently. While dynamic feedback laws offer a wider range of use, the realization of the output of the numerical homotopies as a machine to control the plant in the time domain has not been addressed before. In this paper we present symbolic-numeric algorithms to turn the solution to the question of enumerative geometry into a useful control feedback machine. We report on numerical experiments with our publicly available software and illustrate its application on various control problems from the literature.


title: C*-algebra generated by projections

abstract: The universal C*-algebra generated by n projections has been described. As an immediate corollary one obtains structure theorem for a pair of projections and the solution to an associated index problem. This puts the study of a pair of projections in the proper perspective of noncommutative geometry.


title: Three-fold divisorial contractions to singularities of higher indices

abstract: We complete the explicit study of a three-fold divisorial contraction whose exceptional divisor contracts to a point, by treating the case where the point downstairs is a singularity of index $n \ge 2$. We prove that if this singularity is of type c$A/n$ then any such contraction is a suitable weighted blow-up; and that if otherwise then the discrepancy is $1/n$ with a few exceptions. Every such exception has an example. Some exceptions allow the discrepancy to be arbitrarily large, but any contraction in this case is described as a weighted blow-up of a singularity of type c$D/2$ embedded into a cyclic quotient of a smooth five-fold. The erratum to the previous paper [14] is attached.


title: Varieties With Ample Cotangent Bundle

abstract: We study smooth projective complex varieties with ample cotangent bundle. Our main result is that in an abelian variety of dimension n, a complete intersection of at least n/2 general hypersurfaces of sufficiently high degrees has ample cotangent bundle. We discuss the conjecture that the analogous statement should hold in the projective space. Finally, we present a construction due to Bogomolov of varieties with ample cotangent bundle as linear sections of a product of varieties with big cotangent bundle.


title: About the QWEP conjecture

abstract: This is a detailed survey on the QWEP conjecture and Connes' embedding problem. Most of contents are taken from Kirchberg's paper [Invent. Math. 112 (1993)].


title: Cocycle Knot Invariants from Quandle Modules and Generalized Quandle Cohomology

abstract: Three new knot invariants are defined using cocycles of the generalized quandle homology theory that was proposed by Andruskiewitsch and Gra\~na. We specialize that theory to the case when there is a group action on the coefficients. First, quandle modules are used to generalize Burau representations and Alexander modules for classical knots. Second, 2-cocycles valued in non-abelian groups are used in a way similar to Hopf algebra invariants of classical knots. These invariants are shown to be of quantum type. Third, cocycles with group actions on coefficient groups are used to define quandle cocycle invariants for both classical knots and knotted surfaces. Concrete computational methods are provided and used to prove non-invertibility for a large family of knotted surfaces. In the classical case, the invariant can detect the chirality of 3-colorable knots in a number of cases.


title: Automorphisms of surface braid groups

abstract: In this paper, we prove that each automorphism of a surface braid group is induced by a homeomorphism of the underlying surface, provided that this surface is a closed, connected, orientable surface of genus at least 2, and the number of strings is at least three. This result generalizes previous results for classical braid groups, mapping class groups, and Torelli groups.


title: The n-th root of a braid is unique up to conjugacy

abstract: We prove a conjecture due to Makanin: if a and b are elements of the Artin braid group B_n such that a^k=b^k for some nonzero integer k, then a and b are conjugate. The proof involves the Nielsen-Thurston classification of braids.


title: Distances of Heegaard splittings

abstract: J Hempel [Topology, 2001] showed that the set of distances of the Heegaard splittings (S,V, h^n(V)) is unbounded, as long as the stable and unstable laminations of h avoid the closure of V in PML(S). Here h is a pseudo-Anosov homeomorphism of a surface S while V is the set of isotopy classes of simple closed curves in S bounding essential disks in a fixed handlebody. With the same hypothesis we show the distance of the splitting (S,V, h^n(V)) grows linearly with n, answering a question of A Casson. In addition we prove the converse of Hempel's theorem. Our method is to study the action of h on the curve complex associated to S. We rely heavily on the result, due to H Masur and Y Minsky [Invent. Math. 1999], that the curve complex is Gromov hyperbolic.


title: Curvature homogeneous pseudo-Riemannian manifolds which are not locally homogeneous

abstract: We construct a family of balanced signature pseudo-Riemannian manifolds, which arise as hypersurfaces in flat space, that are curvature homogeneous, that are modeled on a symmetric space, and that are not locally homogeneous.


title: A complex Frobenius theorem, multiplier ideal sheaves and Hermitian-Einstein metrics on stable bundles

abstract: This paper describes how, in the case of algebraic surfaces, the well-known theorem of Donaldson-Uhlenbeck-Yau can be proved in a framework of generalized 'multiplier ideal sheaves', following the ideas of Siu. The key concept is that the destabilizing sheaf satisfies a differential inclusion relation. This relation is used, together with a complex Frobenius theorem for locally finitely generated subsheaves, to imply coherence of the destabilizing subsheaf.


title: Some Cauchy-Bunyakovsky-Schwarz Type Inequalities for Sequences of Operators in Hilbert Spaces

abstract: Some inequalities of Cauchy-Bunyakovsky-Schwarz type for sequences of bounded linear operators in Hilbert spaces and some applications are given.


title: A probabilistic representation for the vorticity of a 3D viscous fluid and for general systems of parabolic equations

abstract: A probabilistic representation formula for general systems of linear parabolic equations, coupled only through the zero-order term, is given. On this basis, an implicit probabilistic representation for the vorticity in a 3D viscous fluid (described by the Navier-Stokes equations) is carefully analysed, and a theorem of local existence and uniqueness is proved.


title: Some Companions of Ostrowski's Inequality for Absolutely Continuous Functions and Applications

abstract: Companions of Ostrowski's integral ineqaulity for absolutely continuous functions and applications for composite quadrature rules and for p.d.f.'s are provided.


title: Immersion theorem for Vaisman manifolds

abstract: A locally conformally Kaehler (LCK) manifold is a complex manifold admitting a Kaehler covering M, with monodromy acting on M by Kaehler homotheties. A compact LCK manifold is Vaisman if it admits a holomorphic flow acting by non-trivial homotheties on M. We prove a non-Kaehler analogue of Kodaira embedding theorem: any compact Vaisman manifold admits a natural holomorphic immersion to a Hopf manifold. As an application, we obtain that any Sasakian manifold has a contact immersion to an odd-dimensional sphere.


title: Reflection groups on Riemannian manifolds

abstract: We investigate discrete groups $G$ of isometries of a complete connected Riemannian manifold $M$ which are generated by reflections, in particular those generated by disecting reflections. We show that these are Coxeter groups, and that the the orbit space $M/G$ is isometric to a Weyl chamber $C$ which is a Riemannian manifold with corners and certain angle conditions along intersections of faces. We can also reconstruct the manifold and its action from the Riemannian chamber and its equipment of isotropy group data along the faces. We also discuss these results from the point of view of Riemannian orbifolds.


title: (Co)homology of crossed modules with coefficients in a $\pi_1$-module

abstract: We define a cotriple (co)homology of crossed modules with coefficients in a $\pi_1$-module. We prove its general properties, including the connection with the existing cotriple theories on crossed modules. We establish the relationship with the (co)homology of the classifying space of a crossed module and with the cohomology of groups with operators. An example and an application are given.


title: A bordism approach to string topology

abstract: Using intersection theory in the context of Hilbert manifolds and geometric homology we show how to recover the main operations of string topology built by M. Chas and D. Sullivan. We also study and build an action of the homology of reduced Sullivan's chord diagrams on the singular homology of free loop spaces, extending previous results of R. Cohen and V. Godin and unifying part of the rich algebraic structure of string topology as an algebra over the prop of these reduced diagrams. Some of these operations are extended to spaces of maps from a sphere to a compact manifold.


title: Avoiding large squares in infinite binary words

abstract: We consider three aspects of avoiding large squares in infinite binary words. First, we construct an infinite binary word avoiding both cubes xxx and squares yy with |y| >= 4; our construction is somewhat simpler than the original construction of Dekking. Second, we construct an infinite binary word avoiding all squares except 00, 11, and 0101; our construction is somewhat simpler than the original construction of Fraenkel and Simpson. In both cases, we also show how to modify our construction to obtain exponentially many words of length n with the given avoidance properties. Finally, we answer an open question of Prodinger and Urbanek from 1979 by demonstrating the existence of two infinite binary words, each avoiding arbitrarily large squares, such that their perfect shuffle has arbitrarily large squares.


title: Maximal (sequentially) compact topologies

abstract: We revisit the known problem whether each compact topology is contained in a maximal compact topology and collect some partial answers to this question. For instance we show that each compact topology is contained in a compact topology in which convergent sequences have unique limits. We also answer a question of D.E. Cameron by showing that each sequentially compact topology is contained in a maximal sequentially compact topology. We finally observe that each sober compact T_1-topology is contained in a maximal compact topology and that each sober compact T_1-topology which is locally compact or sequential is the infimum of a family of maximal compact topologies.


title: Vitesse dans le theoreme limite central pour certains processus stationnaires fortement decorreles

abstract: We prove a central limit theorem with speed $n^{-1/2}$ for stationary processes satisfying a strong decorrelation hypothesis. The proof is a modification of the proof of a theorem of Rio. It is elementary but quite long and technical.


title: Interplay between Zamolodchikov-Faddeev and Reflection-Transmission algebras

abstract: We show that a suitable coset algebra, constructed in terms of an extension of the Zamolodchikov-Faddeev algebra, is homomorphic to the Reflection-Transmission algebra, as it appears in the study of integrable systems with impurity.


title: Simple estimates for ellipsoid measures

abstract: We write down estimates for the surface area, and more generally, integral mean curvatures of an ellipsoid E in n-dimensional Euclidean space in terms of the lengths of the major semi-axes. We give applications to estimating the area of parallel surfaces and volume of the tubular neighborhood of E, to the counting of lattice points contained in E and to estimating the shape of the John ellipsoid of a convex body.


title: Higher Dimensional Enrichment

abstract: Lyubashenko has described enriched 2-categories as categories enriched over V-Cat, the 2-category of categories enriched over a symmetric monoidal V. I have generalized this to the k-fold monoidal V. The symmetric case can easily be recovered. The introduction of this paper proposes a recursive definition of V-n-categories and their morphisms. Then I consider the special case of V-2-categories and give the details of the proof that with their morphisms these form the structure of a 3-category.


title: Trivial construction of free associative conformal algebra

abstract: This note is to show the effectiveness of the notion of pseudoalgebra in the theory of conformal algebras. We adduce very simple construction of free associative conformal algebra and find its linear basis. There is no any new result but we hope that the technique could be useful for further development of the theory of conformal algebras and pseudoalgebras.


title: Diagrams and the second homotopy group

abstract: We use Klyachko's methods [A funny property of sphere and equations over groups, Comm. in Alg. 21 (1993) 2555--2575] (see also Fenn-Rourke, L'Enseignment Math. 42 (1996) 49--74 and math.GR/9810184 and Cohen-Rourke, math.GR/0009101) to prove that, if a 1-cell and a 2-cell are added to a complex with torsion-free fundamental group, and with the 2-cell attached by an amenable t-shape, then pi_2 changes by extension of scalars. It then follows using a result of Bogley and Pride, Proc. Edinburgh Math. Soc. 35 (1992) 1--39, that the resulting fundamental group is also torsion free. We also prove that the normal closure of the attaching word contains no words of smaller complexity.


title: Isoperimetric inequalities of euclidean type in metric spaces

abstract: In this paper we prove an isoperimetric inequality of euclidean type for complete metric spaces admitting a cone-type inequality. These include all Banach spaces and all complete, simply-connected metric spaces of non-positive curvature in the sense of Alexandrov or, more generally, of Busemann. The main theorem generalizes results of Gromov and Ambrosio-Kirchheim.


title: Symplectic resolutions for nilpotent orbits (II)

abstract: We prove that for any two projective symplectic resolutions $Z_1$ and $Z_2$ for a nilpotent orbit closure in a complex simple Lie algebra of classical type, then $Z_1$ is deformation equivalen to $Z_2$.


title: Uniqueness of crepant resolutions and symplectic singularities

abstract: We prove the uniqueness of crepant resolutions for some quotient singularities and for some nilpotent orbits. The finiteness of non-isomorphic symplectic resolutions for 4-dimenensional symplectic singularities is proved. We also give an example of symplectic singularity which admits two non-equivalent symplectic resolutions.


title: Formulae of numerical differentiation

abstract: We derived the formulae of central differentiation for the finding of the first and second derivatives of functions given in discrete points, with the number of points being arbitrary. The obtained formulae for the derivative calculation do not require direct construction of the interpolating polynomial. As an example of the use of the developed method we calculated the first derivative of the function having known analytical value of the derivative. The result was examined in the limiting case of infinite number of points. We studied the spectral characteristics of the weight coefficients sequence of the numerical differentiation formulae. The performed investigation enabled one to analyze the accuracy of the numerical differentiation carried out with the use of the developed technique.


title: Interpolation in the Nevanlinna class and harmonic majorants

abstract: We consider a free interpolation problem in Nevanlinna and Smirnov classes and find a characterization of the corresponding interpolating sequences in terms of the existence of harmonic majorants of certain functions. We also consider the related problem of characterizing positive functions in the disc having a harmonic majorant. An answer is given in terms of a dual relation which involves positive measures in the disc with bounded Poisson balayage. We deduce necessary and sufficient geometric conditions, both expressed in terms of certain maximal functions.


title: Braiding and exponentiating noncommutative vector fields

abstract: The purpose of this paper is to put into a noncommutative context basic notions related to vector fields from classical differential geometry. The manner of exposition is an attempt to make the material as accessible as possible to classical geometers. The definition of vector field used is a specialisation of the Cartan pair definition, and the paper relies on the idea of generalised braidings of 1-forms. The paper considers Kroneker deltas, interior products, Lie derivatives, Lie brackets, exponentiation of vector fields and parallel transport.


title: Value distribution of meromorphic transforms and applications

abstract: A meromorphic transform between complex manifolds is a surjective mutivalued map with an analytic graph. Let $F_n$ be a sequence of meromorphic transforms from a compact Kahler manifold X into compact Kahler manifolds X_n. We give conditions which imply that the behavior of the sequence of preimages $F_n^{-1}(x_n)$ of x_n does not depend on the generic sequence of points (x_1,x_2,....). Using this formalism, we obtain sharp results on the limit distribution of common zeros, of $l$ random holomorphic sections of high powers $L^n$ of a positive holomorphic line bundle L over a projective manifold X. We consider also the equidistribution problem for random iteration of correspondences. If f is a meromorphic self correspondence of a compact Kahler manifold X, under a hypothesis on the dynamical degrees, we construct an $f^*$-invariant probability measure $\mu$ such that quasi-p.s.h. functions are $\mu$-integrable. Every projective manifold admits such correspondences. When f is a meromorphic map, the measure $\mu$ is exponentially mixing. We give some analogous results for random iterations of correspondences. We also consider the problem of equidistribution of preimages of subvarieties for a correspondences and more precisely for polynomial automorphisms.


title: Dissolving four-manifolds and positive scalar curvature

abstract: We prove that many simply connected symplectic four-manifolds dissolve after connected sum with only one copy of $S^{2}\times S^{2}$. For any finite group G that acts freely on the three-sphere we construct closed smooth four-manifolds with fundamental group G which do not admit metrics of positive scalar curvature, but whose universal covers do admit such metrics.


title: The Coble hypersurfaces

abstract: Let A be an indecomposable principally polarized abelian variety of dimension g . Third order theta functions embed A in a projective space P(V_3), while second order theta functions embed the Kummer variety K=A/<-1> in a projective space P(V_2). Coble observed that for g = 2 there is a unique cubic hypersurface in P(V_3) that is singular along A, and for g = 3 a unique quartic hypersurface in P(V_2) singular along K . We explain these facts by a simple analysis of the representations of the corresponding Heisenberg group.


title: Localization of Andre-Quillen-Goodwillie towers, and the periodic homology of infinite loopspaces

abstract: Let K(n) be the nth Morava K--theory at a prime p. This paper is a thorough study of questions like the following: to what extent does the K(n)--localization, or the K(n)--homology, of a spectrum X determine the K(n)--homology of its 0th space X_0? Our methods combine techniques from modern homotopical algebra with chromatic homotopy. In particular, we use the telescopic functors of Bousfield and the author (dependent on the Nilpotence Theorem of Devanitz, Hopkins, and Smith), as wel as Topological Andre--Quillen Homology and Goodwillie calculus in nonconnective settings.


title: On the Herzog-Sch\"onheim conjecture for uniform covers of groups

abstract: Let G be any group and $a_1G_1,...,a_kG_k (k>1)$ be left cosets in G. In 1974 Herzog and Sch\"onheim conjectured that if $\Cal A=\{a_iG_i\}_{i=1}^k$ is a partition of G then the (finite) indices $n_1=[G:G_1],...,n_k=[G:G_k]$ cannot be distinct. In this paper we show that if $\Cal A$ covers all the elements of G the same times and $G_1,...,G_k$ are subnormal subgroups of G not all equal to G, then $M=\max_{1\le j\le k}|\{1\le i\le k:n_i=n_j\}|$ is not less than the smallest prime divisor of $n_1... n_k$, moreover $\min_{1\ls i\ls k}\log n_i=O(M\log^2 M)$ where the O-constant is absolute.


title: On the cohomology of torus manifolds

abstract: A torus manifold is an even-dimensional manifold acted on by a half-dimensional torus with non-empty fixed point set and some additional orientation data. It may be considered as a far-reaching generalisation of toric manifolds from algebraic geometry. The orbit space of a torus manifold has a rich combinatorial structure, e.g., it is a manifold with corners provided that the action is locally standard. Here we investigate relationships between the cohomological properties of torus manifolds and the combinatorics of their orbit quotients. We show that the cohomology ring of a torus manifold is generated by two-dimensional classes if and only if the quotient is a homology polytope. In this case we retrieve the familiar picture from toric geometry: the equivariant cohomology is the face ring of the nerve simplicial complex and the ordinary cohomology is obtained by factoring out certain linear forms. In a more general situation, we show that the odd-degree cohomology of a torus manifold vanishes if and only if the orbit space is face-acyclic. Although the cohomology is no longer generated in degree two under these circumstances, the equivariant cohomology is still isomorphic to the face ring of an appropriate simplicial poset.


title: Computing $L$-functions with large conductor

abstract: An algorithm is given to efficiently compute $L$-functions with large conductor in a restricted range of the critical strip. Examples are included for about 21000 dihedral Galois representations with conductor near $10^7$. The data shows good agreement with a symplectic random matrix model. Also included are an elliptic curve $L$-function and one for a quadratic Dirichlet character.


title: Circle actions and Z/k-manifolds

abstract: We establish an S^1-equivariant index theorem for Dirac operators on Z/k-manifolds. As an application, we generalize the Atiyah-Hirzebruch vanishing theorem for S^1-actions on closed spin manifolds to the case of Z/k-manifolds.


title: Regularity on abelian varieties III: further applications

abstract: In the present sequel to our previous two papers on regularity on abelian varieties, we give a number of new applications of the theory of $M$-regularity to the study of Seshadri constants, Picard bundles, pluricanonical maps on irregular varieties, and semihomogeneous vector bundles.


title: Effective very ampleness for generalized theta divisors

abstract: Given a smooth projective curve X, we give effective very ampleness bounds for generalized theta divisors on the moduli spaces $SU_X(r,d)$ and $U_X(r,d)$ of semistable vector bundles of rank r and degree d on X with fixed, respectively arbitrary, determinant.


title: A bound for the number of automorphisms of an arithmetic Riemann surface

abstract: We show that for every g > 1 there is a compact arithmetic Riemann surface of genus g with at least 4(g-1) automorphisms, and that this lower bound is attained by infinitely many genera, the smallest being 24.


title: Automorphism groups of Riemann surfaces of genus p+1, where p is prime

abstract: We show that if $\cal S$ is a compact Riemann surface of genus $g = p+1$, where $p$ is prime, with a group of automorphisms $G$ such that $|G|\geq\lambda(g-1)$ for some real number $\lambda>6$, then for all sufficiently large $p$ (depending on $\lambda$), $\cal S$ and $G$ lie in one of six infinite sequences of examples. In particular, if $\lambda=8$ then this holds for all $p\geq 17$ and we obtain the largest groups of automorphisms of Riemann surfaces of genenera $g=p+1$.


title: The differential structure of the Brieskorn lattice

abstract: We describe an algorithm to compute M. Saito's matrices A0 and A1 for an isolated hypersurface singularity. They determine the differential structure of the Brieskorn lattice, the spectral pairs and Hodge numbers, and the complex monodromy of the singularity.


title: Dispersive estimates for Schrodinger operators in dimensions one and three

abstract: We prove L^1 --> L^\infty estimates for linear Schroedinger equations in dimensions one and three. The potentials are only required to satisfy some mild decay assumptions. No regularity on the potentials is assumed.


title: On Infinity Topoi

abstract: In this paper we investigate an infinitely categorical analogue of the theory of Grothendieck topoi. In particular, we define infinity topoi and prove an analogue of Giraud's theorem, expressing the equivalence of ``intrinsic'' and ``extrinsic'' definitions. We also discuss the relationship between the theory of infinity topoi and classical topics in homotopy theory and dimension theory.


title: A sign-reversing involution for rooted special rim-hook tableaux

abstract: Egecioglu and Remmel gave an interpretation for the entries of the inverse Kostka matrix K^{-1} in terms of special rim-hook tableaux. They were able to use this interpretation to give a combinatorial proof that KK^{-1}=I but were unable to do the same for the equation K^{-1}K=I. We define a sign-reversing involution on rooted special rim-hook tableaux which can be used to prove that the last column of this second product is correct. In addition, following a suggestion of Chow we combine our involution with a result of Gasharov to give a combinatorial proof of a special case of the (3+1)-free Conjecture of Stanley and Stembridge.


title: Regions in the dominant chamber and nilpotent orbits

abstract: We give a geometric description for the dominant characteristic of a nilpotent orbit in an arbitrary finite-dimensional rational G-module. In particular, we obtain a generalization of a recent result of Gunnells-Sommers, see math.RT/0212089.


title: Topological Quantum Field Theories and Operator Algebras

abstract: We review "quantum" invariants of closed oriented 3-dimensional manifolds arising from operator algebras.


title: Ecological Succession Model

abstract: We introduce a new interacting particle system intended to model an example of ecological succession involving two species: the bracken and the european beech. The objective is to exhibit phase transitions by proving that there exist three possible evolutions of the system to distinct ecological balances. More precisely, the whole population may die out, the european beech may conquer the bracken, and coexistence of both species may occur.


title: Bijectivity of the canonical map for the noncommutative instanton bundle

abstract: It is shown that the quantum instanton bundle introduced in Commun. Math. Phys. 226, 419-432 (2002) has a bijective canonical map and is, therefore, a coalgebra Galois extension.


title: Lax pair and super-Yangian symmetry of the non-linear super-Schr\"odinger equation

abstract: We consider a version of the non-linear Schr\"odinger equation with M bosons and N fermions. We first solve the classical and quantum versions of this equation, using a super-Zamolodchikov-Faddeev (ZF) algebra. Then we prove that the hierarchy associated to this model admits a super-Yangian Y(gl(M|N)) symmetry. We exhibit the corresponding (classical and quantum) Lax pairs. Finally, we construct explicitly the super-Yangian generators, in terms of the canonical fields on the one hand, and in terms of the ZF algebra generators on the other hand. The latter construction uses the well-bred operators introduced recently.


title: Triangulations of fibre-free Haken 3-manifolds

abstract: It is not known whether there exists a computable function bounding the number of Pachner moves needed to connect any two triangulation of a compact 3-manifold. In this paper we find an explicit bound of this kind for all Haken 3-manifolds which contain no fibred submanifolds as strongly simple pieces of their JSJ-decomposition. The explicit formula for the bound is in terms of the number of tetrahedra in the two triangulations. This implies a conceptually trivial algorithm for recognising any non-fibred knot complement among all 3-manifolds.


title: Simplicial structures of knot complements

abstract: It was recently shown that there exists an explicit bound for the number of Pachner moves needed to connect any two triangulation of any Haken 3-manifold which contains no fibred sub-manifolds as strongly simple pieces of its JSJ-decomposition. In this paper we prove a generalisation of that result to all knot complements. The explicit formula for the bound is in terms of the numbers of tetrahedra in the two triangulations. This gives a conceptually trivial algorithm for recognising any knot complement among all 3-manifolds.


title: On higher dimensional Hirzebruch-Jung singularities

abstract: A germ of normal complex analytical surface is called a Hirzebruch-Jung singularity if it is analytically isomorphic to the germ at the 0-dimensional orbit of an affine toric surface. Two such germs are known to be isomorphic if and only if the toric surfaces corresponding to them are equivariantly isomorphic. We extend this result to higher-dimensional Hirzebruch-Jung singularities, which we define to be the germs analytically isomorphic to the germ at the 0-dimensional orbit of an affine toric variety determined by a lattice and a simplicial cone of maximal dimension. We deduce a normalization algorithm for quasi-ordinary hypersurface singularities.


title: The number of k-intersections of an intersecting family of r-sets

abstract: The Erdos-Ko-Rado theorem tells us how large an intersecting family of r-sets from an n-set can be, while results due to Lovasz and Tuza give bounds on the number of singletons that can occur as pairwise intersections of sets from such a family. We consider a natural generalization of these problems. Given an intersecting family of r-sets from an n-set and 1\leq k \leq r, how many k-sets can occur as pairwise intersections of sets from the family? For k=r and k=1 this reduces to the problems described above. We answer this question exactly for all values of k and r, when n is sufficiently large. We also characterize the extremal families.


title: Good bases for tame polynomials

abstract: An algorithm to compute a good basis of the Brieskorn lattice of a cohomologically tame polynomial is described. This algorithm is based on the results of C. Sabbah and generalizes the algorithm by A. Douai for convenient Newton non-degenerate polynomials.


title: Kahler, Poisson Geometry of CR Lie groups

abstract: In this paper we study left invariant CR structures on Lie groups which are compatible with geometric properties as Poisson and kahler properties.


title: The distance function to the boundary, Finsler geometry and the singular set of viscosity solutions of some Hamilton-Jacobi equations

abstract: We study the distance function to the boundary, Finsler geometry and the singular set of viscosity solutions of some Hamilton-Jacobi equations.


title: On the etale cohomology of algebraic varieties with totally degenerate reduction over p-adic fields

abstract: Let K be a finite extension of Q_p and X a smooth projective variety over K. We define the notion of totally degenerate reduction of such an X and the associated Chow complexes of the special fibre of a suitable regular proper model of X over the ring of integers of K. If X has such reduction, we then show that for all l, the Q_l-adic etale cohomology of X has a filtration whose graded quotients are isomorphic, as Galois modules, to the tensor product of a finite dimensional Q-vector space (with a finite unramified action of Galois) with twists of Q_l by the cyclotomic character.


title: Unicity of types for supercuspidals

abstract: Let $F$ be a non-Archimedean local field, with the ring of integers $\mathfrak{o}_F. Let $G=GL_N(F)$, $K=GL_N(\mathfrak{o}_F)$ and $\pi$ a supercuspidal representation of $G$. We show that there exist a unique irreducible smooth representation $\tau$ of $K$, such that the restriction to $K$ of a smooth irreducible representation $\pi'$ of $G$ contains $\tau$ if and only if $pi'$ is isomorphic to $\pi\otimes\chi\circ\det$, where $\chi$ is an unramified quasicharacter of $F^{\times}$. Moreover, we show that $\pi$ contains $\tau$ with the multiplicity 1. As a corollary we obtain a kind of inertial local Langlands correspondence.


title: A simple and unusual bijection for Dyck paths and its consequences

abstract: In this paper we introduce a new bijection from the set of Dyck paths to itself. This bijection has the property that it maps statistics that appeared recently in the study of pattern-avoiding permutations into classical statistics on Dyck paths, whose distribution is easy to obtain. We also present a generalization of the bijection, as well as several applications of it to enumeration problems of statistics in restricted permutations.


title: Can one factor the classical adjoint of a generic matrix?

abstract: Let k be a field, n a positive integer, X a generic nxn matrix over k (i.e., a matrix (x_{ij}) of n^2 independent indeterminates over the polynomial ring k[x_{ij}]), and adj(X) its classical adjoint. It is shown that if char k=0 and n is odd, then adj(X) is not the product of two noninvertible nxn matrices over k[x_{ij}]. If n is even and >2, a restricted class of nontrivial factorizations occur. The nonzero-characteristic case remains open. The operation adj on matrices arises from the (n-1)st exterior power functor on modules; the same question can be posed for matrix operations arising from other functors.


title: Direct limits and fixed point sets

abstract: For which groups G is it true that whenever we form a direct limit of G-sets, dirlim_{i\in I} X_i, the set of its fixed points, (dirlim_I X_i)^G, can be obtained as the direct limit dirlim_I(X_i^G) of the fixed point sets of the given G-sets? An easy argument shows that this holds if and only if G is finitely generated. If we replace ``group G'' by ``monoid M'', the answer is the less familiar condition that the improper left congruence on M be finitely generated. Replacing our group or monoid with a small category E, the concept of set on which G or M acts with that of a functor E --> Set, and the concept of fixed point set with that of the limit of a functor, a criterion of a similar nature is obtained. The case where E is a partially ordered set leads to a condition on partially ordered sets which I have not seen before (pp.23-24, Def. 12 and Lemma 13). If one allows the {\em codomain} category Set to be replaced with other categories, and/or allows direct limits to be replaced with other kinds of colimits, one gets a vast area for further investigation.


title: Dimensions of the Spaces of Cusp Forms and Newforms on Gamma_0(N) and Gamma_1(N)

abstract: A formula for the dimension of the space of cuspidal modular forms on $\Gamma_0(N)$ of weight $k$ ($k\ge2$ even) has been known for several decades. More recent but still well-known is the Atkin-Lehner decomposition of this space of cusp forms into subspaces corresponding to newforms on $\Gamma_0(d)$ of weight $k$, as $d$ runs over the divisors of $N$. A recursive algorithm for computing the dimensions of these spaces of newforms follows from the combination of these two results, but it would be desirable to have a formula in closed form for these dimensions. In this paper we establish such a closed-form formula, not only for these dimensions, but also for the corresponding dimensions of spaces of newforms on $\Gamma_1(N)$ of weight $k$ ($k\ge2$). This formula is much more amenable to analysis and to computation. For example, we derive asymptotically sharp upper and lower bounds for these dimensions, and we compute their average orders; even for the dimensions of spaces of cusp forms, these results are new. We also establish sharp inequalities for the special case of weight-2 newforms on $\Gamma_0(N)$, and we report on extensive computations of these dimensions: we find the complete list of all $N$ such that the dimension of the space of weight-2 newforms on $\Gamma_0(N)$ is less than or equal to 100 (previous such results had only gone up to dimension 3).


title: Critical behavior in Ricci flow

abstract: We use numerical techniques to study the formation of singularities in Ricci flow. Comparing the Ricci flows corresponding to a one parameter family of initial geometries on S^3 with varying amounts of S^2 neck pinching, we find critical behavior at the threshold of singularity formation.


title: Chordal Loewner families and univalent Cauchy transforms

abstract: We study chordal Loewner families in the upper half-plane and show that they have a parametric representation. We show one, that to every chordal Loewner family there corresponds a unique measurable family of probability measures on the real line, and two, that to every measurable family of probability measures on the real line there corresponds a unique chordal Loewner family. In both cases the correspondence is being given by solving the chordal Loewner equation. We use this to show that any probability measure on the real line with finite variance and mean zero has univalent Cauchy transform if and only if it belongs to some chordal Loewner family. If the probability measure has compact support we give two further necessary and sufficient conditions for the univalence of the Cauchy transform, the first in terms of the transfinite diameter of the complement of the image domain of the reciprocal Cauchy transform, and the second in terms of moment inequalities corresponding to the Grunsky inequalities.


title: Prescribed Scalar Curvature with Minimal Boundary Mean Curvature on $S^4_+$

abstract: This paper is devoted to the prescribed scalar curvature under minimal boundary mean curvature on the standard four dimensional half sphere. Using topological methods from the theory of critical points at infinity, we prove some existence results. These methods were first introduced by A. Bahri.


title: On a Paneitz Type Equation in Six Dimensional Domains

abstract: In this paper we consider a fourth order equation involving the critical Sobolev exponent on a bounded and smooth domain in $\R^6$. Using theory of critical points at infinity, we give some topological conditions on a given function defined on a domain to ensure some existence results.


abstract: We investigate the existence of higher order \ell^1-spreading models in subspaces of mixed Tsirelson spaces. For instance, we show that the following conditions are equivalent for the mixed Tsirelson space X=T[(\theta _n,S_n)_{n=1}^{\infty}] (1)Every block subspace of $X$ contains an \ell^1-S_{\omega}-spreading model, (2)The Bourgain \ell^1-index I_b(Y) = I(Y) > \omega^{\omega} for any block subspace Y of X, (3)\lim_m\limsup_n\theta_{m+n}/\theta_n > 0 and every block subspace Y of X contains a block sequence equivalent to a subsequence of the unit vector basis of X. Moreover, if one (and hence all) of these conditions holds, then X is arbitrarily distortable.


title: Fuglede's conjecture is false in 5 and higher dimensions

abstract: We give an example of a set $\Omega \subset \R^5$ which is a finite union of unit cubes, such that $L^2(\Omega)$ admits an orthonormal basis of exponentials $\{\frac{1}{|\Omega|^{1/2}} e^{2\pi i \xi_j \cdot x}: \xi_j \in \Lambda \}$ for some discrete set $\Lambda \subset \R^5$, but which does not tile $\R^5$ by translations. This answers a conjecture of Fuglede in the negative, at least in 5 and higher dimensions.


title: Black Hole Attractor Varieties and Complex Multiplication

abstract: Black holes in string theory compactified on Calabi-Yau varieties a priori might be expected to have moduli dependent features. For example the entropy of the black hole might be expected to depend on the complex structure of the manifold. This would be inconsistent with known properties of black holes. Supersymmetric black holes appear to evade this inconsistency by having moduli fields that flow to fixed points in the moduli space that depend only on the charges of the black hole. Moore observed in the case of compactifications with elliptic curve factors that these fixed points are arithmetic, corresponding to curves with complex multiplication. The main goal of this talk is to explore the possibility of generalizing such a characterization to Calabi-Yau varieties with finite fundamental groups.


title: Asymptotic Randomization of Sofic Shifts by Linear Cellular Automata

abstract: Let M=Z^D be a D-dimensional lattice, and let A be an abelian group. A^M is then a compact abelian group; a `linear cellular automaton' (LCA) is a topological group endomorphism \Phi:A^M --> A^M that commutes with all shift maps. Suppose \mu is a probability measure on A^M whose support is a subshift of finite type or sofic shift. We provide sufficient conditions (on \Phi and \mu) under which \Phi `asymptotically randomizes' \mu, meaning that wk*lim_{J\ni j --> oo} \Phi^j \mu = \eta, where \eta is the Haar measure on A^M, and J has Cesaro density 1. In the case when \Phi=1+\sigma, we provide a condition on \mu that is both necessary and sufficient. We then use this to construct an example of a zero-entropy measure which is asymptotically randomized by 1+\sigma (all previously known examples had positive entropy).


title: Hard Lefschetz theorem for valuations and related questions of integral geometry

abstract: We study the properties of the multiplicative structure on valuations on convex sets. We prove a new version of the hard Lefschetz theorem for even translation invariant continuous valuations, and discuss related problems of integral geometry. Then we formulate a conjectural analogue of this result for odd valuations.


title: Twisted K-theory of differentiable stacks

abstract: In this paper, we develop twisted $K$-theory for stacks, where the twisted class is given by an $S^1$-gerbe over the stack. General properties, including the Mayer-Vietoris property, Bott periodicity, and the product structure $K^i_\alpha \otimes K^j_\beta \to K^{i+j}_{\alpha +\beta}$ are derived. Our approach provides a uniform framework for studying various twisted $K$-theories including the usual twisted $K$-theory of topological spaces, twisted equivariant $K$-theory, and the twisted $K$-theory of orbifolds. We also present a Fredholm picture, and discuss the conditions under which twisted $K$-groups can be expressed by so-called "twisted vector bundles". Our approach is to work on presentations of stacks, namely \emph{groupoids}, and relies heavily on the machinery of $K$-theory ($KK$-theory) of $C^*$-algebras.

categories: math.KT hep-th math-ph math.DG math.MP math.OA


title: Peculiar Loci of Ample and Spanned Line Bundles

abstract: The bad locus and the rude locus of an ample and base point free linear system on a smooth complex projective variety are introduced and studied. The bad locus is defined as the set of points that force divisors through them to be reducible. The rude locus is defined as the set of points such that divisors that are singular at them are forced to be reducible. The existence of a nonmempty bad locus is shown to be exclusively a two dimensional phenomenon. Polarized surfaces of small degree, or whose degree is the square of a prime, with nonempty bad loci are completely classified. Several explicit examples are offered to describe the variety of behaviors of the two loci.


title: Algebraic structures on generalized strings

abstract: A garland based on a manifold $P$ is a finite set of manifolds homeomorphic to $P$ with some of them glued together at marked points. Fix a manifold $M$ and consider a space $\NN$ of all smooth mappings of garlands based on $P$ into $M$. We construct operations $\bullet$ and $[-,-]$ on the bordism groups $\bor_*(\NN)$ that give $\bor_*(\NN)$ the natural graded commutative assosiative and graded Lie algebra structures. We also construct two auto-homomorphisms $\pr$ and $\li$ of $\bor_*(\NN)$ such that $\pr(\li \alpha_1\bullet \li \alpha_2)= [\alpha_1, \alpha_2]$ for all $\alpha_1, \alpha_2 \in \bor_*(\NN)$. If $P$ is a boundary, then $\pr \circ \li=0$ and thus $\Delta^2=0$ for $\Delta=\li \circ \pr$. We show that under certain conditions the operations $\Delta$ and $\bullet$ give rise to Batalin-Vilkoviski and Gerstenhaber algebra structures on $\bor_*(\NN)$. In a particular case when $P=S^1$, the algebra $\bor_*(\NN)$ is related to the string-homology algebra constructed by Chas and Sullivan.


title: Some Properties of the Distance Function and a Conjecture of De Giorgi

abstract: We analyse the geometric properties of the high derivatives of the distance function from a submanifold of the Euclidean space. In particular, we show some relations with the second fundamental form and its covariant derivatives of independent interest. As an application we prove a conjecture of Ennio De Giorgi on the evolution of submanifolds of the Euclidean space by the gradient of functionals depending on the derivatives of the distance function.


title: The displacement and split decompositions for a $Q$-polynomial distance-regular graph

abstract: Let $\Gamma$ denote a $Q$-polynomial distance-regular graph with diameter at least three and standard module $V$. We introduce two direct sum decompositions of $V$. We call these the displacement decomposition for $\Gamma$ and the split decomposition for $\Gamma$. We describe how these decompositions are related.


title: The CROCs, non-commutative deformations, and (co)associative bialgebras

abstract: We compactify the spaces $K(m,n)$ introduced by Maxim Kontsevich. The initial idea was to construct an $L_\infty$ algebra governing the deformations of a (co)associative bialgebra. However, this compactification leads not to a resolution of the PROP of (co)associative bialgebras, but to a new algebraic structure we call here a CROC. It turns out that these constructions are related to the non-commutative deformations of (co)associative bialgebras. We construct an associative dg algebra conjecturally governing the non-commutative deformations of a bialgebra. Then, using the Quillen duality, we construct a dg Lie algebra conjecturally governing the commutative (usual) deformations of a (co)associative bialgebra. Philosophically, the main point is that for the associative bialgebras the non-commutative deformations is maybe a more fundamental object than the usual commutative ones.


title: Cycle-level intersection theory for toric varieties

abstract: This paper addresses the problem of constructing a cycle-level intersection theory for toric varieties. We show that by making one global choice, we can determine a cycle representative for the intersection of an equivariant Cartier divisor with an invariant cycle on a toric variety. For a toric variety defined by a fan in N, the choice consists of giving an inner product or a complete flag for M_Q=Hom(N,Q), or more generally giving for each cone sigma in the fan a linear subspace of M_Q complementary to the subspace of M_Q perpendicular to sigma, satisfying certain compatibility conditions. We show that these intersection cycles have properties analogous to the usual intersections modulo rational equivalence. If X is simplicial (for instance, if X is non-singular), we obtain a commutative ring structure on the invariant cycles of X with rational coefficients. This ring structure determines cycles representing certain characteristic classes of the toric variety. We also discuss how to define intersection cycles that require no choices, at the expense of increasing the size of the coefficient field.


title: Chicken or egg? A hierarchy of homotopy algebras

abstract: We start by clarifying and extending the multibraces notation, which economically describes substitutions of multilinear maps and tensor products of vectors. We give definitions and examples of homotopy algebras, strongly homotopy Gerstenhaber and Gerstenhaber bracket algebras, and strongly homotopy Batalin-Vilkovisky algebras. We show that a homotopy algebra structure on a vector space can be lifted to its Hochschild complex, and also suggest an induction method to generate explicit strongly homotopy Gerstenhaber algebra maps on a topological vertex operator algebra (TVOA), their existence having been proven by Kimura, Voronov, and Zuckerman in 1996 (later amended by Voronov). The contention that this is the fundamental structure on a TVOA is substantiated by providing an annotated dictionary of strongly homotopy BV algebra maps and identities found by Lian and Zuckerman in 1993.


title: The equality I^2=QI in Buchsbaum rings with multiplicity two

abstract: Let A be a Buchsbaum local ring with the maximal ideal m and let e(A) denote the multiplicity of A. Let Q be a parameter ideal in A and put I=Q:m. Then the equality I^2=QI holds true, if e(A)=2 and depthA>0. The assertion is no longer true, unless e(A)=2. Counterexamples are given.


title: The entropy formula for linear heat equation

abstract: We derive the entropy formula for the linear heat equaiton on complete Riemannian manifolds with nonnegative Ricci curvature. As applications, we study the relation between the value of entropy and the volume of balls of various scales. The results are simpler version, without Ricci flow, of Perelman's recent results on volume non-collapsing.


title: The equality I^2=QI in Buchsbaum rings

abstract: Let A be a Noetherian local ring with the maximal ideal m and d=dimA. Let Q be a parameter ideal in A. Let I=Q:m. The problem of when the equality I^2=QI holds true is explored. When A is a Cohen-Macaulay ring, this problem was completely solved by A. Corso, C. Huneke, C. Polini, and W. Vasconcelos, while nothing is known when A is not a Cohen-Macaulay ring. The present purpose is to show that within a huge class of Buchsbaum local rings A the equality I^2=QI holds true for all parameter ideals Q. The result will supply theorems of K. Yamagishi, S. Goto and K. Nishida with ample examples of ideals I, for which the Rees algebras R(I), the associated graded rings G(I), and the fiber cones F(I) are all Buchsbaum rings with certain specific graded local cohomology modules. Two examples are explored. One is to show that I^2=QI may hold true for all parameter ideals Q in A, even though A is not a generalized Cohen-Macaulay ring, and the other one is to show that the equality I^2=QI may fail to hold for some parameter ideal Q in A, even though A is a Buchsbaum local ring with multiplicity at least three.


title: Link concordance, boundary link concordance and eta invariants

abstract: We study the eta-invariants of links and show that in many cases they form link concordance invariants, in particular that many eta-invariants vanish for slice links. This result contains and generalizes previous invariants by Smolinsky and Cha--Ko. We give a formula for the eta-invariant for boundary links. In several intersting cases this allows us to show that a given link is not slice. We show that even more eta-invariants have to vanish for boundary slice links. We give an example of a boundary link $L$ that is not boundary slice but where all the known link concordance invariants computed so far are zero.


title: Envelopes and osculates of Willmore surfaces

abstract: We view conformal surfaces in the 4--sphere as quaternionic holomorphic curves in quaternionic projective space. By constructing enveloping and osculating curves, we obtain new holomorphic curves in quaternionic projective space and thus new conformal surfaces. Applying these constructions to Willmore surfaces, we show that the osculating and enveloping curves of Willmore spheres remain Willmore.


title: The motivic Thom isomorphism

abstract: The existence of a good theory of Thom isomorphisms in some rational category of mixed Tate motives would permit a nice interpolation between ideas of Kontsevich on deformation quantization, and ideas of Connes and Kreimer on a Galois theory of renormalization, mediated by Deligne's ideas on motivic Galois groups.


title: Integrals of Equivariant forms and a Gauss-Bonnet Theorem for Constructible Sheaves

abstract: The classical integral localization formula for equivariantly closed forms (Theorem 7.11 in [BGV]) is well-known and requires the acting Lie group to be compact. It is restated here as Theorem 2. In this article we extend this result to NONcompact groups. The main result is Theorem 20. Then, using this generalization, we prove an analogue of the Gauss-Bonnet theorem for constructible sheaves (Theorem 43). These results can be used to obtain a generalization of the Riemann-Roch-Hirzebruch integral formula.


title: Transverse Riemann-Lorentz metrics with tangent radical

abstract: Consider a smooth manifold with a smooth metric which changes bilinear type from Riemann to Lorentz on a hypersurface $\Sigma$ with radical tangent to $\Sigma$. Two natural bilinear symmetric forms appear there, and we use it to analyze the geometry of $\Sigma$. We show the way in which these forms control the smooth extensibility over $\Sigma$ of the covariant, sectional and Ricci curvatures of the Levi-Civita connection outside $\Sigma$.


title: Dually vertex oblique graphs

abstract: A vertex with neighbours of degrees $d_1 \geq ... \geq d_r$ has {\em vertex type} $(d_1, ..., d_r)$. A graph is {\em vertex-oblique} if each vertex has a distinct vertex-type. While no graph can have distinct degrees, Schreyer, Walther and Mel'nikov [Vertex oblique graphs, same proceedings] have constructed infinite classes of {\em super vertex-oblique} graphs, where the degree-types of $G$ are distinct even from the degree types of $\bar{G}$. $G$ is vertex oblique iff $\bar{G}$ is; but $G$ and $\bar{G}$ cannot be isomorphic, since self-complementary graphs always have non-trivial automorphisms. However, we show by construction that there are {\em dually vertex-oblique graphs} of order $n$, where the vertex-type sequence of $G$ is the same as that of $\bar{G}$; they exist iff $n \equiv 0$ or $1 \pmod 4, n \geq 8$, and for $n \geq 12$ we can require them to be split graphs. We also show that a dually vertex-oblique graph and its complement are never the unique pair of graphs that have a particular vertex-type sequence; but there are infinitely many super vertex-oblique graphs whose vertex-type sequence is unique.