title: The Informal Logic of Mathematical Proof

abstract: Informal logic is a method of argument analysis which is complementary to that of formal logic, providing for the pragmatic treatment of features of argumentation which cannot be reduced to logical form. The central claim of this paper is that a more nuanced understanding of mathematical proof and discovery may be achieved by paying attention to the aspects of mathematical argumentation which can be captured by informal, rather than formal, logic. Two accounts of argumentation are considered: the pioneering work of Stephen Toulmin [The uses of argument, Cambridge University Press, 1958] and the more recent studies of Douglas Walton, [e.g. The new dialectic: Conversational contexts of argument, University of Toronto Press, 1998]. The focus of both of these approaches has largely been restricted to natural language argumentation. However, Walton's method in particular provides a fruitful analysis of mathematical proof. He offers a contextual account of argumentational strategies, distinguishing a variety of different types of dialogue in which arguments may occur. This analysis represents many different fallacious or otherwise illicit arguments as the deployment of strategies which are sometimes admissible in contexts in which they are inadmissible. I argue that mathematical proofs are deployed in a greater variety of types of dialogue than has commonly been assumed. I proceed to show that many of the important philosophical and pedagogical problems of mathematical proof arise from a failure to make explicit the type of dialogue in which the proof is introduced.


title: Examples of non-formal closed $(k-1)$-connected manifolds of dimensions $4k-1$ and more

abstract: We construct closed $(k-1)$-connected manifolds of dimensions $\ge 4k-1$ that possess non-trivial rational Massey triple products. We also construct examples of manifolds $M$ such that all the cup-products of elements of $H^k(M)$ vanish, while the group $H^{3k-1}(M;\Q)$ is generated by Massey products: such examples are useful for theory of systols.


title: Degree 1 elements of the Selberg class

abstract: We provide a short and simple proof of a beautiful result of Kaczorowski and Perelli classifying the elements of degree one in the Selberg class.


title: Leonard pairs and the q-Racah polynomials

abstract: Let $K$ denote a field and let $V$ denote a vector space over $K$ with finite positive dimension. We consider an ordered pair of linear transformations $A:V\to V$ and $A^*:V\to V$ that satisfy conditions (i), (ii) below. (i) There exists a basis for $V$ with respect to which the matrix representing $A$ is irreducible tridiagonal and the matrix representing $A^*$ is diagonal. (ii) There exists a basis for $V$ with respect to which the matrix representing $A$ is diagonal and the matrix representing $A^*$ is irreducible tridiagonal. We call such a pair a {\it Leonard pair} on $V$. We discuss a correspondence between Leonard pairs and a class of orthogonal polynomials consisting of the $q$-Racah polynomials and some related polynomials of the Askey scheme. For the polynomials in this class we obtain the 3-term recurrence, difference equation, Askey-Wilson duality, and orthogonality in a uniform manner using the corresponding Leonard pair.


title: Nonlinear sequence transformations for the acceleration of convergence and the summation of divergent series

abstract: Slowly convergent series and sequences as well as divergent series occur quite frequently in the mathematical treatment of scientific problems. In this report, a large number of mainly nonlinear sequence transformations for the acceleration of convergence and the summation of divergent series are discussed. Some of the sequence transformations of this report as for instance Wynn's $\epsilon$ algorithm or Levin's sequence transformation are well established in the literature on convergence acceleration, but the majority of them is new. Efficient algorithms for the evaluation of these transformations are derived. The theoretical properties of the sequence transformations in convergence acceleration and summation processes are analyzed. Finally, the performance of the sequence transformations of this report are tested by applying them to certain slowly convergent and divergent series, which are hopefully realistic models for a large part of the slowly convergent or divergent series that can occur in scientific problems and in applied mathematics.


title: Leibniz, Information, Math and Physics

abstract: The information-theoretic point of view proposed by Leibniz in 1686 and developed by algorithmic information theory (AIT) suggests that mathematics and physics are not that different. This will be a first-person account of some doubts and speculations about the nature of mathematics that I have entertained for the past three decades, and which have now been incorporated in a digital philosophy paradigm shift that is sweeping across the sciences.


title: A Schubert calculus recurrence from the noncomplex W-action on G/B

abstract: In this paper, as in our previous "Descent-cycling in Schubert calculus" math.CO/0009112, we study the structure constants in equivariant cohomology of flag manifolds G/B. In this one we give a recurrence (which is frequently, but alas not always, positive) to compute these one by one, using the non-complex action of the Weyl group on G/B. Probably the most noteworthy feature of this recurrence is that to compute a particular structure constant c_{lambda,mu}^nu, one does not have to compute the whole product S_lambda * S_mu.


title: A Rational Approximant for the Digamma Function

abstract: Power series representations for special functions are computationally satisfactory only in the vicinity of the expansion point. Thus, it is an obvious idea to use instead Pad\'{e} approximants or other rational functions constructed from sequence transformations. However, neither Pad\'{e} approximants nor sequence transformation utilize the information which is avaliable in the case of a special function -- all power series coefficients as well as the truncation errors are explicitly known -- in an optimal way. Thus, alternative rational approximants, which can profit from additional information of that kind, would be desirable. It is shown that in this way a rational approximant for the digamma function can be constructed which possesses a transformation error given by an explicitly known series expansion.


title: Limit groups and groups acting freely on R^n-trees

abstract: We give a simple proof of the finite presentation of Sela's limit groups by using free actions on R^n-trees. We first prove that Sela's limit groups do have a free action on an R^n-tree. We then prove that a finitely generated group having a free action on an R^n-tree can be obtained from free abelian groups and surface groups by a finite sequence of free products and amalgamations over cyclic groups. As a corollary, such a group is finitely presented, has a finite classifying space, its abelian subgroups are finitely generated and contains only finitely many conjugacy classes of non-cyclic maximal abelian subgroups.


title: Higher Stanley-Reisner rings and Toric Residues

abstract: We give a purely algebraic proof of the hypersurface case of Toric Residue Mirror Conjecture recently proposed by Batyrev and Materov.


title: Multiplicities and tensor product coefficients for $A_r$

abstract: We apply some recent developments of Baldoni-DeLoera-Vergne on vector partition functions, to Kostant and Steinberg formulas, in the case of $A_r$. We therefore get a fast {\sc Maple} program that computes for $A_r$: the multiplicity $c_{\lambda,\mu}$ of the weight $\mu$ in the representation $V(\lambda)$ of highest weight $\lambda$; the multiplicity $c_{\lambda,\mu,\nu}$ of the representation $V(\nu)$ in $V(\lambda)\otimes V(\mu)$. The computation also gives the locally polynomial functions $c_{\lambda,\mu}$ and $c_{\lambda,\mu,\nu}$.


title: Galois modules, ideal class groups and cubic structures

abstract: We establish a connection between the theory of cyclotomic ideal class groups and the theory of "geometric" Galois modules and obtain results on the Galois module structure of coherent cohomology groups of Galois covers of varieties over Z. In particular, we show that an invariant that measures the obstruction to the existence of a virtual normal integral basis for the coherent cohomology of such covers is annihilated by a product of certain Bernoulli numbers with orders of even K-groups of Z. We also show that the existence of such a normal integral basis is closely connected to the truth of the Kummer-Vandiver conjecture for the prime divisors of the degree of the cover. Our main tool is a theory of "hypercubic structures" for line bundles over group schemes.


title: Generic hydrodynamic instability of curl eigenfields

abstract: We prove that for generic geometry, the curl-eigenfield solutions to the steady Euler equations on the three torus are all hydrodynamically unstable (linear, L^2 norm). The proof involves a marriage of contact topological methods with the instability criterion of Friedlander-Vishik. An application of contact homology is the crucial step.


title: Toric reduction and a conjecture of Batyrev and Materov

abstract: We present a new integration formula for intersection numbers on toric quotients, extending the results of Witten, Jeffrey and Kirwan on localization. Our work was motivated by the Toric Residue Mirror Conjecture of Batyrev and Materov; as an application of our integration formula, we obtain a proof of this conjecture in a generalized setting.


title: On the Solvability of Some Abstract Differential Equations

abstract: This paper is concerned with the solvability of some abstract differential equation of type $$\dot u(t) + Au(t) + Bu(t) \ni f(t), t \in (0,T], u(0) = 0,$$ where $A$ is a linear selfadjoint operator and $B$ is a nonlinear(possibly multi-valued)maximal monotone operator in a (real) Hilbert space ${\mathbb H}$ with the normalization $0 \in B (0)$. We use the concept of variational sum introduced by H. Attouch, J.-B. Baillon, and M. Th\'era, to investigate solutions to the given abstract differential equation. Several applications will be discussed, among them the case where $B = \subdifferential \phi$, the subdifferential of a convex semicontinuous proper function $\phi$.


title: Area Inequalities for Embedded Disks Spanning Unknotted Curves

abstract: We show that a smooth unknotted curve in R^3 satisfies an isoperimetric inequality that bounds the area of an embedded disk spanning the curve in terms of two parameters: the length L of the curve and the thickness r (maximal radius of an embedded tubular neighborhood) of the curve. For fixed length, the expression giving the upper bound on the area grows exponentially in 1/r^2. In the direction of lower bounds, we give a sequence of length one curves with r approaching 0 for which the area of any spanning disk is bounded from below by a function that grows exponentially with 1/r. In particular, given any constant A, there is a smooth, unknotted length one curve for which the area of a smallest embedded spanning disk is greater than A.


title: Remarks on the geometry of coordinate projections in R^n

abstract: We study geometric properties of coordinate projections. Among other results, we show that if a body K in R^n has an "almost extremal" volume ratio, then it has a projection of proportional dimension which is close to the cube. We compare type 2 and infratype 2 constant of a Banach space. This follows from a comparison lemma for Rademacher and Gaussian averages. We also establish a sharp estimate on the shattering dimension of the convex hull of a class of functions in terms of the shattering dimension of the class itself.


title: Concordance of boundary links

abstract: We show that the twisted signature invariants of boundary link concordance derived from unitary representations of the free group are actually ordinary link concordance invariants. We also show how the discontinuity locus of this signature function is determined by Seifert matrices of the link.


title: Curves in Calabi-Yau 3-folds and Topological Quantum Field Theory

abstract: We continue our study of the local Gromov-Witten invariants of curves in Calabi-Yau 3-folds. We define relative invariants for the local theory which give rise to a 1+1-dimensional TQFT taking values in the ring Q[[t]]. The associated Frobenius algebra over Q[[t]] is semisimple. Consequently, we obtain a structure result for the local invariants. As an easy consequence of our structure formula, we recover the closed formulas for the local invariants in case either the target genus or the degree equals 1.


title: Gruss Type Discrete Inequalities in Normed Linear Spaces, Revisited

abstract: Some sharp inequalities of Gruss type for sequences of vectors in real or complex normed linear spaces are obtained. Applications for the discrete Fourier and Mellin transform are given. Estimates for polynomials with coefficients in normed spaces are provided as well.


title: Ideals of Adjacent Minors

abstract: We give a description of the minimal primes of the ideal generated by the 2 x 2 adjacent minors of a generic matrix. We also compute the complete prime decomposition of the ideal of adjacent m x m minors of an m x n generic matrix when the characteristic of the ground field is zero. A key intermediate result is the proof that the ideals which appear as minimal primes are, in fact, prime ideals. This introduces a large new class of mixed determinantal ideals that are prime.


title: Gruss Type Discrete Inequalities in Inner Product Spaces, Revisited

abstract: Some sharp inequalities of Gruss type for sequences of vectors in real or complex inner product spaces are obtained. Applications for Jensen's inequality for convex functions defined on such spaces are also provided.


title: The Heegaard genus of amalgamated 3-manifolds

abstract: Let M and M' be simple 3-manifolds, each with connected boundary of genus at least two. Suppose that M and M' are glued via a homeomorphism between their boundaries. Then we show that, provided the gluing homeomorphism is `sufficiently complicated', the Heegaard genus of the amalgamated manifold is completely determined by the Heegaard genus of M and M' and the genus of their common boundary. Here, a homeomorphism is `sufficiently complicated' if it is the composition of a homeomorphism from the boundary of M to some surface S, followed by a sufficiently high power of a pseudo-Anosov on S, followed by a homeomorphism to the boundary of M'. The proof uses the hyperbolic geometry of the amalgamated manifold, generalised Heegaard splittings and minimal surfaces.


title: Spherical orbits and representations of $U_\epsilon(\mathfrak g)$

abstract: Let $U_\epsilon(\mathfrak g)$ be the simply connected quantized enveloping algebra associated to a finite-dimensional complex simple Lie algebra $\mathfrak g$ at the roots of unity. The De Concini-Kac-Procesi conjecture on the dimension of the irreducible representations of $U_\epsilon(\mathfrak g)$ is proved for representations corresponding to the spherical conjugacy classes of the simply connected algebraic group $G$ with Lie algebra $\mathfrak g$. We achieve this result by means of a new characterization of the spherical conjugacy classes of $G$ in terms of elements of the Weyl group.


title: Well-centered overrings of an integral domain

abstract: Let A be an integral domain with field of fractions K. We investigate the structure of the overrings B of A (contained in K) that are well-centered on A in the sense that each principal ideal of B is generated by an element of A. We consider the relation of well-centeredness to the properties of flatness, localization and sublocalization for B over A. If B = A[b] is a simple extension of A, we prove that B is a localization of A if and only if B is flat and well-centered over A. If the integral closure of A is a Krull domain, in particular, if A is Noetherian, we prove that every finitely generated flat well-centered overring of A is a localization of A. We present examples of (non-finitely generated) flat well-centered overrings of a Dedekind domain that are not localizations.


title: The Monge-Kantorovitch Problem and Monge-Ampere Equation on Wiener Space

abstract: We give the solution of the Monge-Kantorovitch problem on the Wiener space for the singular Wasserstein metric which is defined with respect to the distance of the underlying Cameron-Martin space. We show, under the hypothesis that this distance is finite, the existence and the uniquness of the solutions, that they are supported by the graphs of the weak derivatives of H-convex Wiener functionals. then we prove the more general situation, where the measures are not even necessarily absolutely continuous w.r.to the Wiener measure. We give sufficient conditions for the hypothesis about the Wassestein distance is finite with the help of the Girsanov theorem. Finally we give the solutions of the Monge-Ampere equation using the classical Jacobi representation and/or the Ito parametrization of the Wiener space.


title: Ullemar's formula for the Jacobian of the complex moment mapping

abstract: The complex moment sequence m(P) is assigned to a univalent polynomial P by the Cauchy transform of the P(D), where D is the unit disk. We establish the representation of the Jacobian det dm(P) in terms of roots of the derivative P'. Combining this result with the special decomposition for the Hurwitz determinants, we prove a formula for the Jacobian which was previously conjectured by C. Ullemar. As a consequence, we show that the boundary of the class of all locally univalent polynomials in $U$ is contained in the union of three irreducible algebraic surfaces.


title: Topology of 3-manifolds and a class of groups II

abstract: This is a continuation of an earlier preprint (math.GT/0209121) under the same title. These papers grew out of an attempt to find a suitable finite sheeted covering of an aspherical 3-manifold so that the cover either has infinite or trivial first homology group. With this motivation we defined a new class of groups. These groups are in some sense eventually perfect. Here we prove results giving several classes of examples of groups which do (not) belong to this class. Also we prove some basic results on these groups and state two conjectures. A direct application of one of the conjectures to the virtual Betti number conjecture is mentioned. For completeness, here we reproduce parts of math.GT/0209121.


title: Chernoff's bound forms

abstract: Chernoff's bound binds a tail probability (ie. $Pr(X \ge a)$, where $a \ge EX$). Assuming that the distribution of $X$ is $Q$, the logarithm of the bound is known to be equal to the value of relative entropy (or minus Kullback-Leibler distance) for $I$-projection $\hat P$ of $Q$ on a set $\mathcal{H} \triangleq \{P: E_PX = a\}$. Here, Chernoff's bound is related to Maximum Likelihood on exponential form and consequently implications for the notion of complementarity are discussed. Moreover, a novel form of the bound is proposed, which expresses the value of the Chernoff's bound directly in terms of the $I$-projection (or generalized $I$-projection).


title: Length functions of lemniscates

abstract: We study metric and analytic properties of generalized lemniscates E_t(f)={z:ln|f(z)|=t}, where f is an analytic function. Our main result states that the length function |E_t(f)| is a bilateral Laplace transform of a certain positive measure. In particular, the function ln|E_t(f)| is convex on any interval free of critical points of ln|f|. As another application we deduce explicit formulas of the length function in some special cases.


title: Severi varieties and their varieties of reductions

abstract: We study the varieties of reductions associated to the four Severi varieties, the first example of which is the Fano threefold of index 2 and degree 5 studied by Mukai and others. We prove that they are smooth but very special linear sections of Grassmann varieties, and rational Fano manifolds of dimension $3a$ and index $a+1$, for $a=1, 2, 4, 8$. We study their maximal linear spaces and prove that through the general point pass exactly three of them, a result we relate to Cartan's triality principle. We also prove that they are compactifications of affine spaces.


title: The Chow ring of the Cayley plane

abstract: We give a full description of the Chow ring of the complex Cayley plane, the simplest of the exceptional flag varieties. We describe explicitely the most interesting of its Schubert varieties and compute their intersection products. Translating our results in the Borel presentation, i.e. in terms of Weyl group invariants, we are able to compute the degree of the variety of reductions $Y_8$ introduced in our related preprint math.AG/0306328.


title: Cabling and transverse simplicity

abstract: We study Legendrian knots in a cabled knot type. Specifically, given a topological knot type K, we analyze the Legendrian knots in knot types obtained from K by cabling, in terms of Legendrian knots in the knot type K. As a corollary of this analysis, we show that the (2,3)-cable of the (2,3)-torus knot is not transversely simple and moreover classify the transverse knots in this knot type. This is the first classification of transverse knots in a non-transversely-simple knot type. We also classify Legendrian knots in this knot type and exhibit the first example of a Legendrian knot that does not destabilize, yet its Thurston-Bennequin invariant is not maximal among Legendrian representatives in its knot type.


title: 3-dimensional Cauchy-Riemann structures and 2nd order ordinary differential equations

abstract: The equivalence problem for second order ODEs given modulo point transformations is solved in full analogy with the equivalence problem of nondegenerate 3-dimensional CR structures. This approach enables an analog of the Feffereman metrics to be defined. The conformal class of these (split signature) metrics is well defined by each point equivalence class of second order ODEs. Its conformal curvature is interpreted in terms of the basic point invariants of the corresponding class of ODEs.


title: Noncommutative homotopy algebras associated with open strings

abstract: We discuss general properties of $A_\infty$-algebras and their applications to the theory of open strings. The properties of cyclicity for $A_\infty$-algebras are examined in detail. We prove the decomposition theorem, which is a stronger version of the minimal model theorem, for $A_\infty$-algebras and cyclic $A_\infty$-algebras and discuss various consequences of it. In particular it is applied to classical open string field theories and it is shown that all classical open string field theories on a fixed conformal background are cyclic $A_\infty$-isomorphic to each other. The same results hold for classical closed string field theories, whose algebraic structure is governed by cyclic $L_\infty$-algebras.


title: Semi-linear representations of PGL

abstract: Let $L$ be the function field of a projective space ${\mathbb P}^n_k$ over an algebraically closed field $k$ of characteristic zero, and $H$ be the group of projective transformations. An $H$-sheaf ${\mathcal V}$ on ${\mathbb P}^n_k$ is a collection of isomorphisms ${\mathcal V} \longrightarrow g^{\ast}{\mathcal V}$ for each $g\in H$ satisfying the chain rule. We construct, for any $n>1$, a fully faithful functor from the category of finite-dimensional $L$-semi-linear representations of $H$ extendable to the semi-group ${\rm End}(L/k)$ to the category of coherent $H$-sheaves on ${\mathbb P}^n_k$. The paper is motivated by a study of admissible representations of the automorphism group $G$ of an algebraically closed extension of $k$ of countable transcendence degree undertaken in \cite{rep}. The semi-group ${\rm End}(L/k)$ is considered as a subquotient of $G$, hence the condition on extendability. In the appendix it is shown that, if $\tilde{H}$ is either $H$, or a bigger subgroup in the Cremona group (generated by $H$ and a standard involution), then any semi-linear $\tilde{H}$-representation of degree one is an integral $L$-tensor power of $\det_L\Omega^1_{L/k}$. It is shown also that this bigger subgroup has no non-trivial representations of finite degree if $n>1$.


title: Smarandache Near-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 Near-ring is a non-empty set N together with two binary operations '+' and '.' such that (N, +) is a group (not necessarily abelian), (N, .) is a semigroup. For all a, b, c belonging to N we have (a + b) . c = a . c + b . c A Near-field is a non-empty set P together with two binary operations '+' and '.' such that (P, +) is a group (not-necessarily abelian), {P\{0}, .) is a group. For all a, b, c belonging to P we have (a + b) . c = a . c + b . c A Smarandache Near-ring is a near-ring N which has a proper subset P contained in N, where P is a near-field (with respect to the same binary operations on N).


title: Stable transport of information near essentially unstable localized structures

abstract: When the steady states at infinity become unstable through a pattern forming bifurcation, a travelling wave may bifurcate into a modulated front which is time-periodic in a moving frame. This scenario has been studied by B.Sandstede and A.Scheel for a class of reaction-diffusion systems on the real line. Under general assumptions, they showed that the modulated fronts exist and are spectrally stable near the bifurcation point. Here we consider a model problem for which we can prove the nonlinear stability of these solutions with respect to small localized perturbations. This result does not follow from the spectral stability, because the linearized operator around the modulated front has essential spectrum up to the imaginary axis. The analysis is illustrated by numerical simulations.


title: Compact Coadjoint Orbits

abstract: I give an answer to the question ``Which groups have compact coadjoint orbits?''. Whilst I thought that the answer, which is straightforward, must be in the literature, I was unable to find it. This note aims to rectify this. It is also a plea: If the result is already published then I would like to be told the reference.


title: Quantum cohomology of the Lagrangian Grassmannian

abstract: Let V be a symplectic vector space and LG be the Lagrangian Grassmannian which parametrizes maximal isotropic subspaces in V. We give a presentation for the (small) quantum cohomology ring QH^*(LG) and show that its multiplicative structure is determined by the ring of (Q^~)-polynomials. We formulate a "quantum Schubert calculus" which includes quantum Pieri and Giambelli formulas, as well as algorithms for computing the structure constants appearing in the quantum product of Schubert classes.


title: Quantum cohomology of orthogonal Grassmannians

abstract: Let V be a vector space with a nondegenerate symmetric form and OG be the orthogonal Grassmannian which parametrizes maximal isotropic subspaces in V. We give a presentation for the (small) quantum cohomology ring QH^*(OG) and show that its product structure is determined by the ring of (P~)-polynomials. A "quantum Schubert calculus" is formulated, which includes quantum Pieri and Giambelli formulas, as well as algorithms for computing Gromov-Witten invariants. As an application, we show that the table of 3-point, genus zero Gromov-Witten invariants for OG coincides with that for a corresponding Lagrangian Grassmannian LG, up to an involution.


title: Discrete invariants of varieties in positive characteristic

abstract: If $S$ is a scheme of characteristic $p$, we define an $F$-zip over $S$ to be a vector bundle with two filtrations plus a collection of semi-linear isomorphisms between the graded pieces of the filtrations. For every smooth proper morphism $X\to S$ satisfying certain conditions the de Rham bundles $H^n_{{\rm dR}}(X/S)$ have a natural structure of an $F$-zip. We give a complete classification of $F$-zips over an algebraically closed field by studying a semi-linear variant of a variety that appears in recent work of Lusztig. For every $F$-zip over $S$ our methods give a scheme-theoretic stratification of $S$. If the $F$-zip is associated to an abelian scheme over $S$ the underlying topological stratification is the Ekedahl-Oort stratification. We conclude the paper with a discussion of several examples such as good reductions of Shimura varieties of PEL type and K3-surfaces.


title: Recurrence and algorithmic information

abstract: In this paper we initiate a somewhat detailed investigation of the relationships between quantitative recurrence indicators and algorithmic complexity of orbits in weakly chaotic dynamical systems. We mainly focus on examples.


title: Kirwan map and moduli space of flat connections

abstract: If $K$ is a compact Lie group and $g\geq 2$ an integer, the space $K^{2g}$ is endowed with the structure of a Hamiltonian space with a Lie group valued moment map $\Phi$. Let $\beta$ be in the centre of $K$. The reduction $\Phi^{-1}(\beta)/K$ is homeomorphic to a moduli space of flat connections. When $K$ is simply connected, a direct consequence of a recent paper of Bott, Tolman and Weitsman is to give a set of generators for the $K$-equivariant cohomology of $\Phi^{-1}(\beta)$. Another method to construct classes in $H^*_K(\Phi^{-1}(\beta))$ is by using the so called universal bundle. When the group is $\Sun$ and $\beta$ is a generator of the centre, these last classes are known to also generate the equivariant cohomology of $\Phi^{-1}(\beta)$. The aim of this paper is to compare the classes constructed using the result of Bott, Tolman and Weitsman and the ones using the universal bundle.


title: Spectral portraits and the resolvent growth of a model problem associated with the Orr--Sommerfeld equation

abstract: A model problem of the form -i\epsilon y''+q(x)y=\lambda y, y(-1)=y(1)=0, is associated with well-known in hydrodynamics Orr--Sommerfeld operator. Here (\lambda) is the spectral parameter, (\epsilon) is the small parameter which is proportional to the viscocity of the liquid and to the reciprocal of the Reynolds number, and (q(x)) is the velocity of the stationary flow of the liquid in the channel (|x|\leqslant 1). We study the behaviour of the spectrum of the corresponding model operator as (\epsilon\to 0) with monotonous analytic functions. We assert that the sets of the accumulation points of the spectra (the limit spectral graphs) of the model and the corresponding Orr--Sommerfeld operators coincide as well as the main terms of the counting eigenvalue functions along the curves of the graphs. We prove the estimate from below for the resolvent of the operator (L(\epsilon)) associated with the model problem. It turns out that the resolvent grows exponentially with respect to (\epsilon) provided that the spectral parameter varies at some compacts belonging to the numerical range of the operator.


title: Splitting theorems in presence of an irrotational vector field

abstract: New splitting theorems in a semi-Riemannian manifold which admits an irrotational vector field (not necessarily a gradient) with some suitable properties are obtained. According to the extras hypothesis assumed on the vector field, we can get twisted, warped or direct decompositions. Some applications to Lorentzian manifold are shown and also $\mathbf{S}^{1}\times L$ type decomposition is treated.


title: Combinatorial duality and intersection product

abstract: In two articles by Barthel, Brasselet, Fieseler and Kaup, and, Bressler and Lunts, a combinatorial theory of intersection cohomology and perverse sheaves has been developed on fans. In the first one, one tried to present everything on an elementary level,using only some commutative algebra and no derived categories. There remained two major gaps: First of all the Hard Lefschetz Theorem was only conjectured and secondly the intersection product seemed to depend on some non-canonical choices. Meanwhile the Hard Lefschetz theorem has been proved by Karu. The proof relies heavily on the intersection product, since what finally has to be shown are the Hodge-Riemann relations. In fact here again choices enter: The intersection product is induced from the intersection product on some simplicial subdivision via a direct embedding of the corresponding intersection cohomology sheaves, a fact, which makes the argumentation quite involved. In a recent paper by Bressler and Lunts, one shows by a detailed analysis that eventually all possible choices do not affect the definition of the pairing. Our goal here is the same, but we shall try to follow the spirit of the first cited paper avoiding the formalism of derived categories. For perverse sheaves we define their dual sheaf and check that the intersection cohomology sheaf is self- dual in a natural way.


title: Skein-theoretical derivation of some formulas of Habiro

abstract: We use skein theory to compute the coefficients of certain power series considered by Habiro in his theory of sl_2 invariants of integral homology 3-spheres. Habiro originally derived these formulas using the quantum group U_q sl_2. As an application, we give a formula for the colored Jones polynomial of twist knots, generalizing formulas of Habiro and Le for the trefoil and the figure eight knot.


title: Shelling the Coset Poset

abstract: It is shown that the coset lattice of a finite group has shellable order complex if and only if the group is complemented. Furthermore, the coset lattice is shown to have a Cohen-Macaulay order complex in exactly the same conditions. The group theoretical tools used are relatively elementary, and avoid the classification of finite simple groups and of minimal finite simple groups.


title: K-theory of the moduli of bundles over a Riemann surface and deformations of the Verlinde algebra

abstract: I conjecture that index formulas for $K$-theory classes on the moduli of holomorphic $G$-bundles over a compact Riemann surface $\Sigma$ are controlled, in a precise way, by Frobenius algebra deformations of the Verlinde algebra of $G$. The Frobenius algebras in question are twisted $K$-theories of $G$, equivariant under the conjugation action, and the controlling device is the equivariant Gysin map along the "product of commutators" from $G^{2g}$ to $G$. The conjecture is compatible with naive virtual localization of holomorphic bundles, from $G$ to its maximal torus; this follows by localization in twisted $K$-theory.


title: Limits of translates of plane curves -- on a paper of Aldo Ghizzetti

abstract: We study the limits of PGL(3) translates of an arbitrary plane curve, giving a description of all possible limits of a given curve and computing the multiplicities of corresponding components in the normal cone to the base scheme of a related linear system. This information is a key step in the computation of the degree of the closure of the linear orbit of an arbitrary plane curve. Our analysis recovers and extends results obtained by Aldo Ghizzetti in the 1930's.


title: An inequality involving tight closure and parameter ideals

abstract: We establish an inequality involving colengths of the tight closure of ideals of systems of parameters in local rings with some mild conditions. As an application, we prove and refine a result by Goto and Nakamura, conjectured by Watanabe and Yoshida, which states that the Hilbert-Samuel multiplicity of a parameter ideal is greater than or equal to the colength of the tight closure of the ideal.


title: Fiber products, Poincare duality and A_\infty-ring spectra

abstract: For a Poincare duality space X and a map X -> B, consider the homotopy fiber product X x^B X. If X is orientable with respect to a multiplicative cohomology theory E, then, after suitably regrading, it is shown that the E-homology of X x^B X has the structure of a graded associative algebra. When X -> B is the diagonal map of a manifold X, one recovers a result of Chas and Sullivan about the homology of the free loop space LX.


title: Multivariate Igusa theory: Decay rates of exponential sums

abstract: We obtain general estimates for exponential integrals of the form \[ E_f(y)=\int_{\mathbb{Z}_{p}^{n}}\psi(\sum_{j=1}^r y_j f_j(x))|dx|, \] where the $f_j$ are restricted power series over $\mathbb{Q}_p$, $y_j\in\mathbb{Q}_p$, and $\psi$ a nontrivial additive character on $\mathbb{Q}_p$. We prove that if $(f_1,...,f_r)$ is a dominant map, then $|E_f(y)| < c|y|^{\alpha}$ for some $c>0$ and $\alpha<0$, uniform in $y$, where $|y|=\max(|y_i|)_i$. In fact, we obtain similar estimates for a much bigger class of exponential integrals. To prove these estimates we introduce a new method to study exponential sums, namely, we use the theory of $p$-adic subanalytic sets and $p$-adic integration techniques based on $p$-adic cell decomposition. We compare our results to some elementarily obtained explicit bounds for $E_f$ with $f_j$ polynomials.


title: A Generalisation of the Cassels and Greub-Reinboldt Inequalities in Inner Product Spaces

abstract: A generalisation of the Cassels and Greub-Reinboldt inequalities in complex or real inner product spaces and applications for isotonic linear functionals, integrals and sequences are provided.


title: Convergence of Kahler-Einstein orbifolds

abstract: We proved the convergence of a sequence of 2 dimensional comapct Kahler-Einstein orbifolds with rational quotient singularities and with some uniform bounds on the volumes and on the Euler characteristics of our orbifods to a Kahler-Einstein 2-dimensional orbifold. Our limit orbifold can have worse singularities than the orbifolds in our sequence. We will also derive some estimates on the norms of the sections of plurianticanonical bundles of our orbifolds in the sequence that we are considering and our limit orbifold.


title: Coding and tiling of Julia sets for subhyperbolic rational maps

abstract: Let $f:\hat{C}\to\hat{C}$ be a subhyperbolic rational map of degree $d$. We construct a set of coding maps $Cod(f)=\{\pi_r:\Sigma\to J\}_r$ of the Julia set $J$ by geometric coding trees, where the parameter $r$ ranges over mappings from a certain tree to the Riemann sphere. Using the universal covering space $\phi:\tilde S\to S$ for the corresponding orbifold, we lift the inverse of $f$ to an iterated function system $I=(g_i)_{i=1,2,...,d}$. For the purpose of studying the structure of $Cod(f)$, we generalize Kenyon and Lagarias-Wang's results : If the attractor $K$ of $I$ has positive measure, then $K$ tiles $\phi^{-1}(J)$, and the multiplicity of $\pi_r$ is well-defined. Moreover, we see that the equivalence relation induced by $\pi_r$ is described by a finite directed graph, and give a necessary and sufficient condition for two coding maps $\pi_r$ and $\pi_{r'}$ to be equal.


title: A Phase Transition for the Metric Distortion of Percolation on the Hypercube

abstract: Let H_n be the hypercube {0,1}^n, and let H_{n,p} denote the same graph with Bernoulli bond percolation with parameter p=n^-\alpha. It is shown that at \alpha=1/2 there is a phase transition for the metric distortion between H_n and H_{n,p}. For \alpha<1/2, asymptotically there is a map from H_n to H_{n,p} with constant distortion (depending only on \alpha). For \alpha>1/2 the distortion tends to infinity as a power of n. We indicate the similarity to the existence of a non-uniqueness phase in the context of infinite nonamenable graphs.


title: On the Linear Weak Topology and Dual Pairings over Rings

abstract: In this note we study the weak topology on paired modules over a (not necessarily commutative) ground ring. Over QF rings we are able to recover most of the well known properties of this topology in the case of commutative base fields. The properties of the linear weak topology and the dense pairings are then used to characterize pairings satisfying the so called $\alpha $-condition.


title: Quintic Spline Solutions of Fourth Order Boundary-Value Problems

abstract: In this paper Quintic Spline is defined for the numerical solutions of the fourth order linear special case Boundary Value Problems. End conditions are also derived to complete the definition of spline.The algorithm developed approximates the solutions, and their higher order derivatives of differential equations. Numerical illustrations are tabulated to demonstrate the practical usefulness of method.


title: On Coreflexive Coalgebras and Comodules over Commutative Rings

abstract: In this note we study dual coalgebras of algebras over arbitrary (noetherian) commutative rings. We present and study a generalized notion of coreflexive comodules and use the results obtained for them to characterize the so called coreflexive coalgebras. Our approach in this note is an algebraically topological one.


title: The derived series and virtual Betti numbers

abstract: The virtual Betti number conjecture states that any hyperbolic three-manifold has a finite cover with positive first Betti number. We show that this would follow if it were known that the derived series of the fundamental group $G$ of a hyperbolic three-manifold satisfies a certain stability property. The stability property is the statement that if all the quotients $G^i/G^{i+1}$ of the derived series $G^i$ of $G$ are finite, then the derived series stabilises. The proof involves basic facts regarding finite group actions on homology spheres.


title: New examples of hyperbolic octic surfaces in $\PP^3$

abstract: We show that a general small deformation of the union of two general cones in P3 of degree >= 4 is Kobayashi hyperbolic. Hence we obtain new examples of hyperbolic surfaces in P3 of any given degree d>= 8.


title: A noncommutative theory of Penrose tilings

abstract: Considering quantales as generalised noncommutative spaces, we address as an example a quantale Pen based on the Penrose tilings of the plane. We study in general the representations of involutive quantales on those of binary relations, and show that in the case of Pen the algebraically irreducible representations provide a complete classification of the set of Penrose tilings from which its representation as a quotient of Cantor space is recovered.


title: On the geometry of closed G2-structure

abstract: We give an answer to a question posed recently by R.Bryant, namely we show that a compact 7-dimensional manifold equipped with a G2-structure with closed fundamental form is Einstein if and only if the Riemannian holonomy of the induced metric is contained in G2. This could be considered to be a G2 analogue of the Goldberg conjecture in almost Kahler geometry. The result was generalized by R.L.Bryant to closed G2-structures with too tightly pinched Ricci tensor. We extend it in another direction proving that a compact G2-manifold with closed fundamental form and divergence-free Weyl tensor is a G2-manifold with parallel fundamental form. We introduce a second symmetric Ricci-type tensor and show that Einstein conditions applied to the two Ricci tensors on a closed G2-structure again imply that the induced metric has holonomy group contained in G2.


title: Compactness and existence results for degenerate critical elliptic equations

abstract: This paper is devoted to the study of degenerate critical elliptic equations of Caffarelli-Kohn-Nirenberg type. By means of blow-up analysis techniques, we prove an a-priori estimate in a weighted space of continuous functions. From this compactness result, the existence of a solution to our problem is proved by exploiting the homotopy invariance of the Leray-Schauder degree.


title: Group laws and free subgroups in topological groups

abstract: We prove that a permutation group in which different finite sets have different stabilizers cannot satisfy any group law. For locally compact topological groups with this property we show that almost all finite subsets of the group generate free subgroups. We derive consequences of these theorems on Thompson's group $F$, weakly branch groups, automorphism groups of regular trees and profinite groups with alternating composition factors of unbounded degree.


title: Random Sets and Invariants for (Type II) Continuous Tensor Product Systems of Hilbert Spaces

abstract: In a series of papers Tsirelson constructed from measure types of random sets and generalised random processes a new range of examples for continuous tensor product systems of Hilbert spaces introduced by Arveson for classifying $E_0$-semigroups. This paper establishes the converse: Each continuous tensor product systems of Hilbert spaces comes with measure types of distributions of random (closed) sets in [0,1] or $R_+$. These measure types are stationary and factorise over disjoint intervals. In a special case of this construction, the corresponding measure type is an invariant of the product system and the range of the invariant is characterized. Moreover, based on a detailed study of this kind of measure types, we construct for each stationary factorizing measure type a continuous tensor product systems of Hilbert spaces such that this measure type arises as the before mentioned invariant. The measure types of the above described kind are connected with representations of the corresponding $L^\infty$-spaces. This leads to direct integral representations of the elements of a given product system which combine well under tensor products. Using this structure in a constructive way, we can relate to any (type III) product system a product system of type $II_0$ preserving isomorphy classes. Thus, the classification of type III product systems reduces to that of type II ones. Further, we show that all consistent measurable structures on an algebraic continuous tensor product systems of Hilbert spaces yield isomorphic product systems. Thus the measurable structure of a continuous tensor product systems of Hilbert spaces is essentially determined by its algebraic one.


title: First steps in tropical geometry

abstract: Tropical algebraic geometry is the geometry of the tropical semiring $(\mathbb{R},\min,+)$. Its objects are polyhedral cell complexes which behave like complex algebraic varieties. We give an introduction to this theory, with an emphasis on plane curves and linear spaces. New results include a complete description of the families of quadrics through four points in the tropical projective plane and a counterexample to the incidence version of Pappus' Theorem.


title: Orientable convexity, geodetic and hull numbers in graphs

abstract: We prove three results conjectured or stated by Chartrand, Fink and Zhang [European J. Combin {\bf 21} (2000) 181--189, Disc. Appl. Math. {\bf 116} (2002) 115--126, and pre-print of ``The hull number of an oriented graph'']. For a digraph $D$, Chartrand et al. defined the geodetic, hull and convexity number -- $g(D)$, $h(D)$ and $con(D)$, respectively. For an undirected graph $G$, $g^{-}(G)$ and $g^{+}(G)$ are the minimum and maximum geodetic numbers over all orientations of $G$, and similarly for $h^{-}(G)$, $h^{+}(G)$, $con^{-}(G)$ and $con^{+}(G)$. Chartrand and Zhang gave a proof that $g^{-}(G) < g^{+}(G)$ for any connected graph with at least three vertices. We plug a gap in their proof, allowing us also to establish their conjecture that $h^{-}(G) < h^{+}(G)$. If $v$ is an end-vertex, then in any orientation of $G$, $v$ is either a source or a sink. It is easy to see that graphs without end-vertices can be oriented to have no source or sink; we show that, in fact, we can avoid all extreme vertices. This proves another conjecture of Chartrand et al., that $con^{-}(G) < con^{+}(G)$ iff $G$ has no end-vertices.


title: K\"ahler Solvmanifolds

abstract: Compact K\"ahler solvmanifolds are classified up to biholomorphism. A proof of a conjecture Benson and Gordon, that completely solvable compact K\"ahler solvmanifolds are tori is deduced from this. The main ingredient in the proof is a restriction theorem for polycyclic K\"ahler groups proved by Nori and the author.


title: Intersection forms of toric hyperkaehler varieties

abstract: This note proves combinatorially that the intersection pairing on the middle dimensional compactly supported cohomology of a smooth toric hyperkaehler variety is always definite, providing a large number of non-trivial L^2 harmonic forms for toric hyperkaehler metrics on these varieties. This is motivated by a result of Hitchin about the definiteness of the pairing of L^2 harmonic forms on complete hyperkaehler manifolds of linear growth.


title: The Weil-Petersson K\"ahler form and affine foliations on surfaces

abstract: The space of broken hyperbolic structures generalizes the Teichm\"uller space of a punctured surface, and the space of projectivized broken measured foliations (equivalently, the space of projectivized affine foliations) generalizes the space of projectivized measured foliations. Just as projectivized measured foliations provide Thurston's boundary for Teichm\"uller space, so too do projectivized broken measured foliations form a boundary for the space of broken hyperbolic structures. In this paper, we naturally extend the Weil-Petersson K\"ahler two-form and the Thurston symplectic form to their broken analogues and prove that the former suitably limits to the latter. The proof in sketch follows earlier work of the authors for measured foliations and depends upon techniques from decorated Teichm\"uller theory, which is also applied here to a further study of broken hyperbolic structures.


title: Braided Premonoidal Coherence

abstract: Given a category with a bifunctor and natural isomorphisms for associativity, commutativity and left and right identity we do not assume that extra constraining diagrams hold. We introduce groupoids of coupling trees to describe a version of coherence that is weaker than the usual notion of monoidal coherence.


title: Gromov-Witten invariants of flag manifolds, via D-modules

abstract: The quantum cohomology algebra of the (full) flag manifold is a fundamental example in quantum cohomology theory, with connections to combinatorics, algebraic geometry, and integrable systems. Using a differential geometric approach, we give an algorithm for computing the multiplicative structure constants of this algebra (the 3-point genus zero Gromov-Witten invariants). The algorithm involves a Grobner basis calculation and the solution by quadrature of a system of differential equations. In particular we obtain quantum Schubert polynomials in a natural fashion.


title: A note on regularity of solutions to degenerate elliptic equations of Caffarelli-Kohn-Nirenberg type

abstract: We establish Holder continuity of weak solutions to degenerate critical elliptic equations of Caffarelli-Kohn-Nirenberg type.


title: C*-groupoides quantiques et inclusions de facteurs : Structure symetrique et autodualite, action sur le facteur hyperfini de type II1

abstract: Let N_0 \subset N_1 a depth 2, finite index inclusion of type II1 factors and N_0 \subset N_1 \subset N_2 \subset N_3 ... the corresponding Jones tower. D. Nikshych et L. Vainerman built dual structures of quantum C*-groupoid on the relative commutants N'_0 \cap N_2 et N'_1 \cap N_3. Here I define a new duality which allows a symetric construction without changing the involution. So the Temperley-Lieb algebras are selfdual quantum C*-groupoids and the quantum C*-groupoids associated to a finite depth finite index inclusion can be choosen selfdual. I show that every finite-dimensional connexe quantum C*-groupoid acts outerly on the type II1 hyperfinite factor. In the light of this particular case, I propose a deformation of any finite quantum C*-groupoid to an regular finite quantum C*-groupoid. In the appendix, a new construction of the factors on which two dual regular finite quantum C*-groupoids act is given. The finite quantum C*-groupoids obtained from the built tower are isomorphic to the initial ones.


title: Cage de Faraday

abstract: We prove that the difference between 1 and the conformal radius at 0 of the universal covering of a big open subset U of the unit disk in the complex plane is comparable to the area of a union of triangles constucted from the complement of U. We apply this to corret a lemma in the thesis of the author. ----- Nous prouvons que la difference entre 1 et le rayon conforme en 0 du revetement universel d'un grand ouvert U du disque unite du plan complexe est comparable a l'aire d'une reunion de triangles construits a partir du complementaire de U. Nous appliquons cela a la correction d'un lemme de la these de l'auteur.


title: Equivalence of summatory conditions along sequences for bounded holomorphic functions

abstract: A sequence of points $z_k$ in the unit disk is said to be thin for a given decrease function $\rho$, if there is a nontrivial bounded holomorphic function such that the infinite series $\sum_k \rho(1-|z_k|)|f(z_k)|$ converges. All sequences will be assumed hyperbolically separated. We give necessary and sufficient conditions for the problem of thinness of a sequence to be non-trivial (one way or the other), and for two different decrease functions to give rise to the same thin sequences. Along the way, some concrete conditions (necessary or sufficient) for a sequence to be thin are obtained.


title: Badly approximable systems of linear forms over a field of formal series

abstract: We prove that the Hausdorff dimension of the set of badly approximable systems of m linear forms in n variables over the field of Laurent series with coefficients from a finite field is maximal. This is a analogue of Schmidt's multi-dimensional generalisation of Jarnik's Theorem on badly approximable numbers.


title: Floer homology and knot complements

abstract: We use the Ozsvath-Szabo theory of Floer homology to define an invariant of knot complements in three-manifolds. This invariant takes the form of a filtered chain complex, which we call CF_r. It carries information about the Floer homology of large integral surgeries on the knot. Using the exact triangle, we derive information about other surgeries on knots, and about the maps on Floer homology induced by certain surgery cobordisms. We define a certain class of \em{perfect} knots in S^3 for which CF_r has a particularly simple form. For these knots, formal properties of the Ozsvath-Szabo theory enable us to make a complete calculation of the Floer homology. This is the author's thesis; many of the results have been independently discovered by Ozsvath and Szabo in math.GT/0209056.


title: The Teichm\"uller group is good

abstract: This paper was withdrawn by the authors. The mistake in math.AG/0209223 affects also this paper.


title: A description of auto-fixed subgroups in a free group

abstract: Let $F$ be a finitely generated free group. By using Bestvina-Handel theory, as well as some further improvements, the eigengroups of a given automorphism of $F$ (and its fixed subgroup among them) are globally analyzed and described. In particular, an explicit description of all subgroups of $F$ which occur as the fixed subgroup of some automorphism is given.


title: Continuous cohomology and homology of profinite groups

abstract: We develop cohomological and homological theories for a profinite group $G$ with coefficients in the Pontryagin dual categories of pro-discrete and ind-profinite $G$-modules, respectively. The standard results of group (co)homology hold for this theory: we prove versions of the Universal Coefficient Theorem, the Lyndon-Hochschild-Serre spectral sequence and Shapiro's Lemma.


title: Reducibility or non-uniform hyperbolicity for quasiperiodic Schrodinger cocycles

abstract: We show that for almost every frequency alpha \in \R \setminus \Q, for every C^omega potential v:\R/\Z \to R, and for almost every energy E the corresponding quasiperiodic Schrodinger cocycle is either reducible or nonuniformly hyperbolic. This result gives very good control on the absolutely continuous part of the spectrum of the corresponding quasiperiodic Schrodinger operator, and allows us to complete the proof of the Aubry-Andre conjecture on the measure of the spectrum of the Almost Mathieu Operator.


title: Recurrence and genericity

abstract: We prove a C^1-connecting lemma for pseudo-orbits of diffeomorphisms on compact manifolds. We explore some consequences for C^1-generic diffeomorphisms. For instance, C^1-generic conservative diffeomorphisms are transitive. <br> Nous montrons un lemme de connexion C^1 pour les pseudo-orbites des diffeomorphismes des varietes compactes. Nous explorons alors les consequences pour les diffeomorphismes C^1-generiques. Par exemple, les diffeomorphismes conservatifs C^1-generiques sont transitifs.


title: Proceedings of the First International Conference on Neutrosophy, Neutrosophic Logic, Neutrosophic Set, Neutrosophic Probability and Statistics

abstract: Papers on neutrosophy (a generalization of dialectics), on neutrosophic logic, set, probability and statistics (generalizations of fuzzy logic, fuzzy set, and imprecise probability respectively), by Florentin Smarandache, Jean Dezert, S. Bhattacharya, Andrzej Buller, M. Khoshnevisan, S. Singh, Feng Liu, Gh. C. Dinulescu-Campina, Chris Lucas, and C. Gershenson.


title: Manifold theoretic compactifications of configuration spaces

abstract: We present new definitions for and give a comprehensive treatment of the canonical compactification of configuration spaces due to Fulton-MacPherson and Axelrod-Singer in the setting of smooth manifolds, as well as a simplicial variant of this compactification initiated by Kontsevich. Our constructions are elementary and give simple global coordinates for the compactified configuration space of a general manifold embedded in Euclidean space. We stratify the canonical compactification, identifying the diffeomorphism types of the strata in terms of spaces of configurations in the tangent bundle, and give completely explicit local coordinates around the strata as needed to define a manifold with corners. We analyze the quotient map from the canonical to the simplicial compactification, showing it is a homotopy equivalence. We define projection maps and diagonal maps, which for the simplicial variant satisfy cosimplicial identities.


title: Noncolliding Brownian motions and Harish-Chandra formula

abstract: We consider a system of noncolliding Brownian motions introduced in our previous paper, in which the noncolliding condition is imposed in a finite time interval $(0,T]$. This is a temporally inhomogeneous diffusion process whose transition probability density depends on a value of $T$, and in the limit $T \to \infty$ it converges to a temporally homogeneous diffusion process called Dyson's model of Brownian motions. It is known that the distribution of particle positions in Dyson's model coincides with that of eigenvalues of a Hermitian matrix-valued process, whose entries are independent Brownian motions. In the present paper we construct such a Hermitian matrix-valued process, whose entries are sums of Brownian motions and Brownian bridges given independently of each other, that its eigenvalues are identically distributed with the particle positions of our temporally inhomogeneous system of noncolliding Brownian motions. As a corollary of this identification we derive the Harish-Chandra formula for an integral over the unitary group.


title: Surface Area of Ellipsoids

abstract: We study the surface area of an ellipsoid in n-dimensional Euclidean space as the function of the lengths of their major semi-axes. We write down an explicit formula as an integral over the unit sphere, use the formula to derive convexity properties of the surface area, to give sharp estimates for the surface area of a large-dimensional ellipsoid, to produce asymptotic formulas in large dimensions, and to give an expression for the surface in terms of the Lauricella hypergeometric function.


title: Gromov-Witten invariants on Grassmannians

abstract: We prove that any three-point genus zero Gromov-Witten invariant on a type A Grassmannian is equal to a classical intersection number on a two-step flag variety. We also give symplectic and orthogonal analogues of this result; in these cases the two-step flag variety is replaced by a sub-maximal isotropic Grassmannian. Our theorems are applied, in type A, to formulate a conjectural quantum Littlewood-Richardson rule, and in the other classical Lie types, to obtain new proofs of the main structure theorems for the quantum cohomology of Lagrangian and orthogonal Grassmannians.


title: Grothendieck polynomials and quiver formulas

abstract: Fulton's universal Schubert polynomials give cohomology formulas for a class of degeneracy loci, which generalize Schubert varieties. The K-theoretic quiver formula of Buch expresses the structure sheaves of these loci as integral linear combinations of products of stable Grothendieck polynomials. We prove an explicit combinatorial formula for the coefficients, which shows that they have alternating signs. Our result is applied to obtain new expansions for the Grothendieck polynomials of Lascoux and Sch\"utzenberger.


title: Harmonic morphisms and shear-free ray congruences

abstract: We describe the relationship between complex-valued harmonic morphisms from Minkowski 4-space} and the shear-free ray congruences of mathematical physics. Then we show how a horizontally conformal submersion on a domain of Euclidean 3-space gives the boundary values at infinity of a complex-valued harmonic morphism on hyperbolic 4-space.


title: Littlewood-Richardson rules for Grassmannians

abstract: We give elementary and short proofs of the Littlewood-Richardson rules for type A Grassmannians and maximal isotropic Grassmannians, based on the corresponding Pieri rules.


title: Vanishing Twist near Focus-Focus Points

abstract: We show that near a focus-focus point in a Liouville integrable Hamiltonian system with two degrees of freedom lines of locally constant rotation number in the image of the energy-momentum map are spirals determined by the eigenvalue of the equilibrium. From this representation of the rotation number we derive that the twist condition for the isoenergetic KAM condition vanishes on a curve in the image of the energy-momentum map that is transversal to the line of constant energy. In contrast to this we also show that the frequency map is non-degenerate for every point in a neighborhood of a focus-focus point.


title: Double affine Hecke algebras of rank 1 and affine cubic surfaces

abstract: We study the algebraic properties of the five-parameter family $H(t_1,t_2,t_3,t_4;q)$ of double affine Hecke algebras of type $C^\vee C_1$. This family generalizes Cherednik's double affine Hecke algebras of rank 1. It was introduced by Sahi and studied by Noumi and Stokman as an algebraic structure which controls Askey-Wilson polynomials. We show that if $q=1$, then the spectrum of the center of $H$ is an affine cubic surface $C$, obtained from a projective one by removing a triangle consisting of smooth points. Moreover, any such surface is obtained as the spectrum of the center of $H$ for some values of parameters. This result allows one to give a simple geometric description of the action of an extension of $PGL_2(\Bbb Z)$ by $\Bbb Z$ on the center of $H$. When $C$ is smooth, it admits a unique algebraic symplectic structure, and the spherical subalgebra $eHe$ of the algebra $H$ for $q=e^\hbar$ provides its deformation quantization. Using that $H^2(C,\Bbb C)=\Bbb C^5$, we find that the Hochschild cohomology $HH^2(H)$ (for $q=e^\hbar$) is 5-dimensional for generic parameter values. From this we deduce that the only deformations of $H$ come from variations of parameters. This explains from the point of view of noncommutative geometry why one cannot add more parameters into the theory of Askey-Wilson polynomials. We also prove that the five-parameter family $H(t_1,t_2,t_3,t_4;q)$ of algebras yields the universal deformation of $q$-Weyl algebra crossed with ${\Bbb Z}_2$ and the family of cubic surfaces $C=C_{\underline{t}}$, $\underline{t}\in \CC^4_{\underline{t}}$ gives the universal deformation of the Poisson algebra $\CC[X^{\pm 1},P^{\pm 1}]^{{\Bbb ZZ}_2}$.


title: A Guided Tour in the Topos of Graphs

abstract: In this paper we survey the fundamental constructions of a presheaf topos in the case of the elementary topos of graphs. We prove that the transition graphs of nondeterministic automata (a.k.a. labelled transition systems) are the separated presheaves for the double negation topology, and obtain as an application that their category is a quasitopos.


title: Sur la non-linearite des fonctions booleennes

abstract: Boolean functions on the space $F_{2}^m$ are not only important in the theory of error-correcting codes, but also in cryptography, where they occur in private key systems. In these two cases, the nonlinearity of these function is a main concept. In this article, I show that the spectral amplitude of boolean functions, which is linked to their nonlinearity, is of the order of $2^{m/2}\sqrt{m}$ in mean, whereas its range is bounded by $2^{m/2}$ and $2^m$. Moreover I examine a conjecture of Patterson and Wiedemann saying that the minimum of this spectral amplitude is as close as desired to $2^{m/2}$. I also study a weaker conjecture about the moments of order 4 of their Fourier transform. This article is inspired by works of Salem, Zygmund, Kahane and others about the related problem of real polynomials with random coefficients.


title: Grassmann-Berezin Calculus and Theorems of the Matrix-Tree Type

abstract: We prove two generalizations of the matrix-tree theorem. The first one, a result essentially due to Moon for which we provide a new proof, extends the ``all minors'' matrix-tree theorem to the ``massive'' case where no condition on row or column sums is imposed. The second generalization, which is new, extends the recently discovered Pfaffian-tree theorem of Masbaum and Vaintrob into a ``Hyperpfaffian-cactus'' theorem. Our methods are noninductive, explicit and make critical use of Grassmann-Berezin calculus that was developed for the needs of modern theoretical physics.


title: Symmetric products of surfaces and the cycle index

abstract: We express the signature ${\rm Sign}(SP^m_G(M))$ of the symmetric product $SP^n(M)$ of an (open) surface $M$ in terms of the cycle index $Z(G;\bar x)$ of $G$, a polynomial which originally appeared in P{\' o}lya enumeration theory of graphs, trees, chemical structures etc. The computations are used to show that there exist punctured Riemann surfaces $M_{g,k}, M_{g',k'}$ such that the manifolds $SP^{m}(M_{g,k})$ and $SP^{m}(M_{g',k'})$ are often not homeomorphic, although they always have the same homotopy type provided $2g+k = 2g'+k'$ and $k,k'\geq 1$.


title: Hyperbolic manifolds with geodesic boundary which are determined by their fundamental group

abstract: Let M and N be n-dimensional connected orientable finite-volume hyperbolic manifolds with geodesic boundary, and let f be a given isomorphism between the fundamental groups of M and N. We study the problem whether there exists an isometry between M and N which induces f. We show that this is always the case if the dimension of M and N is at least four, while in the three-dimensional case the existence of an isometry inducing f is proved under some (necessary) additional conditions on f. Such conditions are trivially satisfied if the boundaries of M and N are both compact.


title: Arrangements of symmetric products of spaces

abstract: Using the topological technique of diagrams of spaces, we calculate the homology of the union and the complement of finite arrangements of subspaces of the form $D + SP^{n-d}(X)$ in symmetric products $SP^n(X)$ where $D\in SP^d(X)$. As an application we include a computation of the homology of the homotopy end space of the open manifold $SP^n(M_{g,k})$, where $M_{g,k}$ is a Riemann surface of genus $g$ punctured at $k$ points, a problem which was originally motivated by the study of commutative $(m+k,m)$-groups.


title: A geometric application of Nori's connectivity theorem

abstract: We prove among other things that a general Calabi-Yau hypersurface in projective space is not rationally swept out by abelian varieties of dimension greater than or equal to 2.


title: The number of transversals to line segments in R^3

abstract: We completely describe the structure of the connected components of transversals to a collection of n line segments in R^3. We show that n>2 arbitrary line segments in R^3 admit 0, 1, ..., n or infinitely many line transversals. In the latter case, the transversals form up to n connected components.


title: Extra heads and invariant allocations

abstract: Let \Pi be an ergodic simple point process on R^d and let \Pi^* be its Palm version. Thorisson [Ann. Probab. 24 (1996) 2057-2064] proved that there exists a shift coupling of \Pi and \Pi^*; that is, one can select a (random) point Y of \Pi such that translating \Pi by -Y yields a configuration whose law is that of \Pi^*. We construct shift couplings in which Y and \Pi^* are functions of \Pi, and prove that there is no shift coupling in which \Pi is a function of \Pi^*. The key ingredient is a deterministic translation-invariant rule to allocate sets of equal volume (forming a partition of R^d) to the points of \Pi. The construction is based on the Gale-Shapley stable marriage algorithm [Amer. Math. Monthly 69 (1962) 9-15]. Next, let \Gamma be an ergodic random element of {0,1}^{Z^d} and let \Gamma^* be \Gamma conditioned on \Gamma(0)=1. A shift coupling X of \Gamma and \Gamma^* is called an extra head scheme. We show that there exists an extra head scheme which is a function of \Gamma if and only if the marginal E[\Gamma(0)] is the reciprocal of an integer. When the law of \Gamma is product measure and d\geq3, we prove that there exists an extra head scheme X satisfying E\exp c\|X\|^d<\infty; this answers a question of Holroyd and Liggett [Ann. Probab. 29 (2001) 1405-1425].


title: On the Cohomology of Locally Symmetric Spaces and of their Compactifications

abstract: This expository article is an expanded version of talks given at the "Current Developments in Mathematics, 2002" conference. It gives an introduction to the (generalized) conjecture of Rapoport and Goresky-MacPherson which identifies the intersection cohomology of a real equal-rank Satake compactification of a locally symmetric space with that of the reductive Borel-Serre compactification. We motivate the conjecture with examples and then give an introduction to the various topics that are involved: intersection cohomology, the derived category, and compactifications of a locally symmetric space, particularly those above. We then give an overview of the theory of L-modules and micro-support (see math.RT/0112251) which was developed to solve the conjecture but has other important applications as well. We end with sketches of the proofs of three main theorems on L-modules that lead to the resolution of the conjecture. The text is enriched with many examples, illustrations, and references to the literature.


title: Limiting set of second order spectra

abstract: M.Levitin and E.Shargorodsky purposed in a recent article, [math.SP/0212087], the use of the so called ``second order relative spectrum'', to find eigenvalues of self-adjoint operators in gaps of the essential spectrum. Let $M$ be a self-adjoint operator acting on the Hilbert space $H$. A complex number $z$ is in the second order spectrum of $M$ relative to a finite dimensional subspace $\Lambda\subset dom M^2$ if and only if the truncation to $\Lambda$ of $(M-z)^2$ is not invertible. It is remarkable that these sets seem to provide a general method to estimating eigenvalues free from the problems of spectral pollution present in most linear methods. In this notes we investigate rigorously various aspects of the use of second order spectrum to finding eigenvalues. Our main result shows that, under certain fairly mild hypothesis on $M$, the uniform limit of the second order spectra, as $\Lambda$ increases toward $H$, contains the isolated eigenvalues of $M$ of finite multiplicity. In applications the essential spectrum can be computed analytically, while precisely these eigenvalues are the ones that should be approximated numerically. Hence this method seems to combine non-pollution and approximation at a very high level of generality.


title: The Delsarte Method in the Problem of the Antipodal Contact Numbers of Euclidean Spaces of High Dimensions

abstract: We study the Delsarte problem for even functions continuous on [-1,1], nonpositive on [-1/2,1/2], and representable as series with respect to the ultraspherical polynomials. The value of the Delsarte problem gives an upper bound for the largest power of antipodal spherical 1/2-code of the space Rm.


title: Andr\'e-Quillen cohomology and rational homotopy of function spaces

abstract: We develop a simple theory of Andr\'e-Quillen cohomology for commutative differential graded algebras over a field of characteristic zero. We then relate it to the homotopy groups of function spaces and spaces of homotopy self-equivalences of rational nilpotent $CW$-complexes. This puts certain results of Sullivan in a more conceptual framework.


title: On Lunn-Senior's Mathematical Model of Isomerism in Organic Chemistry. Part II

abstract: The second part of this paper is devoted to the following important question in organic chemistry: given two isomers of a molecule, how to identify them with their structural formulae using only type properties of that molecule? A classical answer of this question is given for benzene by the identification of its di-substituted (para, ortho, and meta), and tri-substituted (asymmetric, vicinal, and symmetric) derivatives via the Korner substitution reactions among them. Here we develop a machinery within the framework of the Lunn-Senior's mathematical model of isomerism in organic chemistry, which, in principle, answers this question. In particular, it is shown that the members of a chiral pair cannot be distinguished via substitution reactions. The examples of ethene, benzene, and cyclopropane are discussed.


title: Determinant of Laplacians on Heisenberg Manifolds

abstract: We give an integral representaion of the zeta-reguralized determinant of Laplacians on three dimensional Heisenberg manifolds, and study a behaivior of the values when we deform the uniform discrete subgroups. Heiseberg manifolds are the total space of a fiber bundle with a torus as the base space and a circle as a typical fiber, then the deformation of the uniform discrete subgroups means that the "radius" of the fiber goes to zero. We explain the lines of the calculations precisely for three dimensional cases and state the corresponding results for five dimensional Heisenberg manifolds. We see that the values themselves are of the product form with a factor which is that of the flat torus. So in the last half of this paper we derive general formulas of the zeta-regularized determinant for product type manifolds of two Riemannian manifolds, discuss the formulas for flat tori and explain a relation of the formula for the two dimensional flat torus and Kronecker's second limit formula.


title: Maslov index in the infinite dimension and a splitting formula for a spectral flow

abstract: First, we prove a local spectral flow formula (Theorem 3.7) for a differentiable curve of selfadjoint Fredholm operators. This formula enables us to prove in a simple way a general spectral flow formula. Secondly, we prove a splitting formula (Theorem 4.12) for the spectral flow of a curve of selfadjoint elliptic operators on a closed manifold, which we decompose into two parts with commom boundary. Then the formula says that the spectral flow is a sum of two spectral flows on each part of the separated manifold with naturally introduced elliptic boundary conditions. In the course of proving this formula, we investigate a property of the Maslov index for paths of Fredholm pairs of Lagrangian subspaces


title: Crossed products by finite cyclic group actions with the tracial Rokhlin property

abstract: We define the tracial Rokhlin property for actions of finite cyclic groups on stably finite simple unital C*-algebras. We prove that when the algebra is in addition simple and has tracial rank zero, then the crossed product again has tracial rank zero. Under a kind of weak approximate innerness assumption and one other technical condition, we prove that if the action has the the tracial Rokhlin property and the crossed product has tracial rank zero, then the original algebra has tracial rank zero. We give examples showing how the tracial Rokhlin property differs from the Rokhlin property of Izumi. We use these results, together with work of Elliott-Evans and Kishimoto, to give an inductive proof that every simple higher dimensional noncommutative torus is an AT algebra. We further prove that the crossed product of every simple higher dimensional noncommutative torus by the flip is an AF algebra, and that the crossed products of irrational rotation algebras by the standard actions of the cyclic groups of orders 3, 4, and 6 are simple AH algebras with real rank zero.


title: Less than $2^/omega$ many translates of a compact nullset may cover the real line

abstract: We answer a question of Darji and Keleti by proving in $ZFC$ that there exists a compact nullset $C_0\subset\RR$ such that for every perfect set $P\subset\RR$ there exists $x\in\RR$ such that $(C_0+x)\cap P$ is uncountable. Using this $C_0$ we answer a question of Gruenhage by showing that it is consistent with $ZFC$ that less than $2^\omega$ many translates of a compact nullset cover $\RR$.


title: The Hodge star operator on Schubert forms

abstract: Let X=G/P be a homogeneous space of a complex semisimple Lie group G equipped with a hermitian metric. We study the action of the Hodge star operator on the space of harmonic differential forms on X. We obtain explicit combinatorial formulas for this action when X is an irreducible hermitian symmetric space of compact type.


title: Equivariant ($K$-)homology of affine Grassmannian and Toda lattice

abstract: For an almost simple complex algebraic group $G$ with affine Grassmannian $Gr_G= G(C((t)))/G(C[[t]])$ we consider the equivariant homology $H^{G(C[[t]])}(Gr_G)$, and $K$-theory $K^{G(C[[t]])}(Gr_G)$. They both have a commutative ring structure, with respect to convolution. We identify the spectrum of homology ring with the universal group-algebra centralizer of the Langlands dual group $\check G$, and we relate the spectrum of $K$-homology ring to the universal group-group centralizer of $G$ and of $\check G$. If we add the loop-rotation equivariance, we obtain a noncommutative deformation of the ($K$)-homology ring, and thus a Poisson structure on its spectrum. We identify this structure with the standard one on the universal centralizer. The commutative subring of $G(C[[t]])$-equivariant homology of the point gives rise to a polarization which is related to Kostant's Toda lattice integrable system. We also compute the equivariant $K$-ring of the affine Grassmannian Steinberg variety. The equivariant $K$-homology of $Gr_G$ is equipped with a canonical base formed by the classes of simple equivariant perverse coherent sheaves. Their convolution is again perverse and is related to the Feigin-Loktev fusion product of $G(C[[t]])$-modules.


title: The connection between representation theory and Schubert calculus

abstract: We describe a direct connection between the representation theory of the general linear group and classical Schubert calculus on the Grassmannian, which goes via the Chern-Weil theory of characteristic classes. We also explain why the analogous constructions do not give the same result for other Lie groups.


title: Gromov-Witten invariants and quantum cohomology of Grassmannians

abstract: This is the written version of my five lectures at the Banach Center mini-school on "Schubert Varieties", in Warsaw, May 18-22, 2003.


title: State Complexity and the Monoid of Transformations of a Finite Set

abstract: In this paper we consider the state complexity of an operation on formal languages, root(L). This naturally entails the discussion of the monoid of transformations of a finite set. We obtain good upper and lower bounds on the state complexity of root(L) over alphabets of all sizes.


title: Issues related to Rubio de Francia's Littlewood--Paley Inequality: A Survey

abstract: Rubio de Francia's Littlewood Paley inequality is an extension of the classical Littlewood Paley inequality to one that holds for a decomposition of frequency space into arbitrary disjoint intervals. We survey this inequality, its higher dimensional analogs, and the implications for multipliers.


title: Examples of centralizers in the Artin braid groups

abstract: The goal of this paper is to construct examples of centralizers in the Artin braid groups requiring the number of generators quadratic in the number of strings. These examples disprove a recent conjecture of N. Franco and J. Gonzalez-Meneses.


title: A Compactness Theorem for Homogenization of Parabolic Partial Differential Equations

abstract: In order to have a better description of homogenization for parabolic partial differential equations with periodic coefficients, we define the notion of parametric two-scale convergence. A compactness theorem is proved to justify this notion.


title: Asymptotic cones of finitely presented groups

abstract: Let G be a connected semisimple Lie group with at least one absolutely simple factor S such that R-rank(S) is at least 2, and let $\Gamma$ be a uniform lattice in G. (a) If $CH$ holds, then $\Gamma$ has a unique asymptotic cone up to homeomorphism. (b) If $CH$ fails, then $\Gamma$ has $2^{2^{\omega}}$ asymptotic cones up to homeomorphism.


title: E-infinity Cell Models for Free and Based Loop Space Cohomology

abstract: We construct E-infinity cell algebra models for the cochain algebras of the free and based loop spaces on a simply-connected topological space. Techniques from rational homotopy theory are exploited throughout.


title: The proof of Birman's conjecture on singular braid monoids

abstract: Let B_n be the Artin braid group on n strings with standard generators sigma_1, ..., sigma_{n-1}, and let SB_n be the singular braid monoid with generators sigma_1^{+-1}, ..., sigma_{n-1}^{+-1}, tau_1, ..., tau_{n-1}. The desingularization map is the multiplicative homomorphism eta: SB_n --> Z[B_n] defined by eta(sigma_i^{+-1}) =_i^{+-1} and eta(tau_i) = sigma_i - sigma_i^{-1}, for 1 <= i <= n-1. The purpose of the present paper is to prove Birman's conjecture, namely, that the desingularization map eta is injective.


title: On Volumes of Arithmetic Quotients of SO(1,n)

abstract: We apply G. Prasad's volume formula for the arithmetic quotients of semi-simple groups and Bruhat-Tits theory to study the covolumes of arithmetic subgroups of SO(1,n). As a result we prove that for any even dimension n there exists a unique compact arithmetic hyperbolic n-orbifold of the smallest volume. We give a formula for the Euler-Poincare characteristic of the orbifolds and present an explicit description of their fundamental groups as the stabilizers of certain lattices in quadratic spaces. We also study hyperbolic 4-manifolds defined arithmetically and obtain a number theoretical characterization of the smallest compact arithmetic 4-manifold.


title: The Wilson function transform

abstract: Two unitary integral transforms with a very-well poised $_7F_6$-function as a kernel are given. For both integral transforms the inverse is the same as the original transform after an involution on the parameters. The $_7F_6$-function involved can be considered as a non-polynomial extension of the Wilson polynomial, and is therefore called a Wilson function. The two integral transforms are called a Wilson function transform of type I and type II. Furthermore, a few explicit transformations of hypergeometric functions are calculated, and it is shown that the Wilson function transform of type I maps a basis of orthogonal polynomials onto a similar basis of polynomials.


title: On the representation theory of Virasoro Nets

abstract: We discuss various aspects of the representation theory of the local nets of von Neumann algebras on the circle associated with positive energy representations of the Virasoro algebra (Virasoro nets). In particular we classify the local extensions of the $c=1$ Virasoro net for which the restriction of the vacuum representation to the Virasoro subnet is a direct sum of irreducible subrepresentations with finite statistical dimension (local extensions of compact type). Moreover we prove that if the central charge $c$ is in a certain subset of $(1,\infty)$, including $[2,\infty)$, and $h \geq (c-1)/24$, the irreducible representation with lowest weight $h$ of the corresponding Virasoro net has infinite statistical dimension. As a consequence we show that if the central charge $c$ is in the above set and satisfies $c\leq 25$ then the corresponding Virasoro net has no proper local extensions of compact type.


title: Time-dependent unidirectional communication in multi-agent systems

abstract: We study a simple but compelling model of $n$ interacting agents via time-dependent, unidirectional communication. The model finds wide application in a variety of fields including synchronization, swarming and distributed decision making. In the model, each agent updates his current state based upon the current information received from other agents. Necessary and/or sufficient conditions for the convergence of the individual agents' states to a common value are presented, extending recent results reported in the literature. Unlike previous, related studies, the approach of the present paper does not rely on algebraic graph theory and is of a completely nonlinear nature. It is rather surprising that with these nonlinear tools, extensions may be obtained even for the linear cases discussed in the literature. The proof technique consists of a blend of graph-theoretic and system-theoretic tools integrated within a formal framework of set-valued Lyapunov theory and may be of independent interest. Further, it is also observed that more communication does not necessarily lead to better convergence and may eventually even lead to a loss of convergence, even for the simple models discussed in the present paper.


title: On the poles of Igusa's Local Zeta Function for algebraic sets

abstract: The aim of this paper is to describe explicitly the poles of the meromorphic continuation of the Igusa local zeta function associated to several polynomials. Using resolution of singularities is possible to express the Igusa's local zeta function as a finite sum of p-adic monomial integrals. We compute these monomial integrals using techniques of toroidal geometry. In this way, we obtain an explicit list for the candidates to poles of the local zeta function associated to several polynomials.


title: A lower semicontinuity result for some integral functionals in the space SBD

abstract: The purpose of this paper is to study the lower semicontinuity with respect to the strong $L^1$-convergence, of some integral functionals defined in the space SBD of special functions with bounded deformation. Precisely, let $U$ be a bounded open subset of $R^n$. If $u\in $SBD$(U)$, $(u_h)\subset $SBD$(U)$ converges to $u$ strongly in $L^1(U,R^n)$ and the measures $|E^ju_h|$ converge weakly * to a measure $\nu$ singular with respect to the Lebesgue measure, then $$\int_Uf(x,{\mathcal E}u)dx\leq\liminf_{h\to\infty} \int_Uf(x,{\mathcal E}u_h)dx$$ provided $f$ satisfies some weak convexity property and the standard growth assumptions of order $p>1$.


title: Damped oscillatory integrals and boundedness of maximal operators associated to mixed homogeneous hypersurfaces

abstract: We study the boundedness problem for maximal operators in 3-dimensional Euclidean space associated to hypersurfaces given as the graph of $c+f$, where $f$ is a mixed homogeneous function which is smooth away from the origin and $c$ is a constant. Our result generalizes a corresponding theorem on mixed homogeneous polynomial functions by A. Iosevich and E. Sawyer.


title: The Inverse Problem for the Euler-Poisson system in Cosmology

abstract: The motion of a continuum of matter subject to gravitational interaction is classically described by the Euler-Poisson system. Prescribing the density of matter at initial and final times, we are able to obtain weak solutions for this equation by minimizing the action of the Lagrangian which is a convex functional. Then we see that such minimizing solutions are consistent with smooth solutions of the Euler-Poisson system and enjoy some special regularity properties. Meanwhile some intersting links with with Hamilton-Jacobi equations are found.


title: On the regularity of the polar factorization for time dependent maps

abstract: We consider the polar factorization of vector valued mappings introduced by Y. Brenier. In the case of a family of mappings depending on a parameter. We investigate the regularity with respect to this parameter of the terms of the polar factorization by constructing some a priori bounds. To do so, we consider the linearization of the associated Monge-Ampere equation which we view as a conservation law.


title: Tangent lifting of deformations in mixed characteristic

abstract: This article presents a new approach to the unobstructedness result for deformations of Calabi-Yau varieties by introducing the tangent lifting property for a functor on artinian local algebras. The verification that the deformation functor of a Calabi-Yau variety in characteristic 0 fulfills the tangent lifting property uses, just as the verification of the $T^1$-lifting property, the degeneration of the Hodge to de Rham spectral sequence. Our main use of our methods is however to the mixed characteristic case. In that case to be able to verify the conditions needed one needs an extension of the criterion introducing divided powers.


title: Controlling Rough Paths

abstract: We formulate indefinite integration with respect to an irregular function as an algebraic problem and provide a criterion for the existence and uniqueness of a solution. This allows us to define a good notion of integral with respect to irregular paths with Hoelder exponent greater than 1/3 (e.g. samples of Brownian motion) and study the problem of the existence, uniqueness and continuity of solution of differential equations driven by such paths. We recover Young's theory of integration and the main results of Lyons' theory of rough paths in Hoelder topology.


title: A Proof of a Conjecture of Marino-Vafa on Hodge Integrals

abstract: We prove a remarkable formula for Hodge integrals conjectured by Marino and Vafa based on large N duality, using functorial virtual localization on certain moduli spaces of relative stable morphisms.


title: On non-liftable Calabi-Yau threefolds

abstract: Only two ways to construct non-liftable Calabi-Yau threefolds are currently known, one example by Hirokado and one method of Schr\"oer. This article computes some cohomological invariants of these examples of non-liftable Calabi-Yau threefolds, in particular it computes their mini-versal deformations. One conclusion is that their mixed characteristic mini-versal deformation spaces are actually smooth over the characteristic $p$ base field. Furthermore, a new family, constructed in the spirit of Schr\"oer, is introduced and the same calculations are performed for it.


title: The Chern-Galois character

abstract: Following the idea of Galois-type extensions and entwining structures, we define the notion of a principal extension of noncommutative algebras. We show that modules associated to such extensions via finite-dimensional corepresentations are finitely generated projective, and determine an explicit formula for the Chern character applied to the thus obtained modules.


title: Convex Bodies of Constant Width and Constant Brightness

abstract: In 1926 S. Nakajima (= A. Matsumura) showed that any convex body in $\R^3$ with constant width, constant brightness, and boundary of class $C^2$ is a ball. We show that the regularity assumption on the boundary is unnecessary, so that balls are the only convex bodies of constant width and brightness.


title: A Note on the Specialization Theorem for Families of Abelian Varieties

abstract: In this note, we apply Moriwaki's arithmetic height functions to obtain an analogue of Silverman's Specialization Theorem for families of Abelian varieties over $K$, where $K$ is any field finitely generated over ${\Q}$.


title: Torus knots and Dunwoody manifolds

abstract: We obtain an explicit representation, as Dunwoody manifolds, of all cyclic branched coverings of torus knots of type $(p,mp\pm 1)$, with $p>1$ and $m>0$.


title: 2-categorical Poincare Representations and State Sum Applications

abstract: This is intended as a self-contained introduction to the representation theory developed in order to create a Poincare 2-category state sum model for Quantum Gravity in 4 dimensions. We review the structure of a new representation 2-category appropriate to Lie 2-group symmetries and discuss its application to the problem of finding a state sum model for Quantum Gravity. There is a remarkable richness in its details, reflecting some desirable characteristics of physical 4-dimensionality. We begin with a review of the method of orbits in Geometric Quantization, as an aid to the intuition that the geometric picture unfolded here may be seen as a categorification of this process.


title: On the Moduli Space of Multipolygonal Linkages in the Plane

abstract: The geometric, topological, and symplectic properties of moduli spaces (spaces of configurations modulo rotations and translations) of polygonal linkages have been studied by Kapovich, Millson, and Kamiyama, et. al. One can form a polygonal linkage by taking two free linkages and identifying initial and terminal vertices. This can be generalized so that one takes three free linkages and identifies initial and terminal vertices. Then one obtains a linkage which contains multiple polygons, any two of which have shared edges. The geometric and topological properties of moduli spaces of these multipolygonal linkages are studied. These spaces turn out to be compact algebraic varieties. Some conditions under which these spaces are smooth manifolds, cross products or disjoint unions of moduli spaces of polygonal linkages, or connected, are determined. In addition, dimensions in the smooth manifold cases and some Euler characteristics are computed.


title: Solvability of dissipative second order left-invariant differential operators on the Heisenberg group

abstract: We prove local solvability for large classes of operators of the form $$ L=\sum_{j,k=1}^{2n}a_{jk}V_jV_k+i\alpha U,$$ where the $V_j$ are left-invariant vector fields on the Heisenberg group satisfying the commutation relations $[V_j,V_{j+n}]=U$ for $1\le j\le n$, and where $A=(a_{jk})$ is a complex symmetric matrix with semi-definite real part. Our results widely extend all of the results for the case of non-real, semi-definite matrices $A$ known to date, in particular those obtained recently jointly with F. Ricci under Sj\"ostrand's cone condition.


title: Rational Curves in Calabi-Yau Threefolds

abstract: We study the set of rational curves of a certain topological type in general members of certain families of Calabi-Yau threefolds. For some families we investigate to what extent it is possible to conclude that this set is finite. For other families we investigate whether this set contains at least one point representing an isolated rational curve.


title: Determining a sound-soft polyhedral scatterer by a single far-field measurement

abstract: We prove that a sound-soft polyhedral scatterer is uniquely determined by the far-field pattern corresponding to an incident plane wave at one given wavenumber and one given incident direction.


title: Quelques remarques sur les courbes de genre 5

abstract: In this article we study genus 5 curves with a fixed point free involution. We give two geometrical caracterisations of these curves amoung all genus 5 curves. One of these was conjectured by Arbarello, Cornalba, Griffiths and Harris in their book on curves. The second one is given by some particular embeddings corresponding to the points of the Prym variety associated to the situation.


title: Weak type estimates of the maximal quasiradial Bochner-Riesz operator on certain Hardy spaces

abstract: Let $\{A_t\}_{t>0}$ be the dilation group in ${\Bbb R}^n$ generated by the infinitesimal generator $M$ where $A_t=\exp(M\log t)$, and let $\varrho\in C^{\infty}({\Bbb R}^n\setminus\{0\})$ be a $A_t$-homogeneous distance function defined on ${\Bbb R}^n$. For $f\in {\frak S}({\Bbb R}^n)$, we define the maximal quasiradial Bochner-Riesz operator ${\frak M}^{\delta}_{\varrho}$ of index $\delta>0$ by $${\frak M}^{\delta}_{\varrho} f(x)=\sup_{t>0}|{\Cal F}^{-1}[(1-\varrho/t)_+^{\delta}\hat f ](x)|.$$ If $A_t=t I$ and $\{\xi\in {\Bbb R}^n| \varrho(\xi)=1\}$ is a smooth convex hypersurface of finite type, then we prove in an extremely easy way that ${\frak M}^{\delta}_{\varrho}$ is well defined on $H^p({\Bbb R}^n)$ when $\delta=n(1/p-1/2)-1/2$ and $0<p<1$; moreover, it is a bounded operator from $H^p({\Bbb R}^n)$ into $L^{p,\infty}({\Bbb R}^n)$. If $A_t=t I$ and $\varrho\in C^{\infty}({\Bbb R}^n\setminus\{0\})$, we also prove that ${\frak M}^{\delta}_{\varrho}$ is a bounded operator from $H^p({\Bbb R}^n)$ into $L^p({\Bbb R}^n)$ when $\delta>n(1/p-1/2)-1/2$ and $0<p<1$.


title: Connectedness of the Isospectral Manifold for One-Dimensional Half-Line Schr\"odinger Operators

abstract: Let V_0 be a real-valued function on [0,\infty) and V\in L^1([0,R]) for all R>0 so that H(V_0)= -\f{d^2}{dx^2}+V_0 in L^2([0,\infty)) with u(0)=0 boundary conditions has discrete spectrum bounded from below. Let \calM (V_0) be the set of V so that H(V) and H(V_0) have the same spectrum. We prove that \calM(V_0) is connected.


title: Carleson's Theorem: Proof, Complements, Variations

abstract: Carleson's Theorem asserts the pointwise convergence of Fourier series of square integrable functions. We give a complete proof, following joint work of the author and C. Thiele. Over 20 exercises are also detailed. We also discuss the derviation of the theorem on L^p spaces. And discuss a number of complements and extensions of the theorem and proof of Carleson's theorem.