title: Configurations in abelian categories. I. Basic properties and moduli stacks

abstract: This is the first in a series of papers math.AG/0503029, math.AG/0410267, math.AG/0410268 on "configurations" in an abelian category A. Given a finite partially ordered set (I,<), an (I,<)-configuration (\sigma,\iota,\pi) is a finite collection of objects \sigma(J) and morphisms \iota(J,K) or \pi(J,K) : \sigma(J) --> \sigma(K) satisfying some axioms, where J,K are subsets of I. Configurations describe how an object X in A decomposes into subobjects, and are especially useful for studying stability conditions on A. This paper defines and motivates the idea of configurations, and explains some natural operations upon them -- subconfigurations, quotient configurations, refinements, improvements and substitution. Then we study moduli spaces of (I,<)-configurations in A, using the theory of Artin stacks. We prove well-behaved moduli stacks exist when A is an abelian category of coherent sheaves or vector bundles on a projective K-scheme P, or of representations of a quiver Q. We define many natural 1-morphisms between the moduli stacks, some of which are representable or of finite type. The sequels will apply these results to construct and study infinite-dimensional algebras associated to a quiver Q, and to define systems of invariants of a projective K-scheme P that "count" (semi)stable coherent sheaves and satisfy interesting identities.


title: Explicit presentations for exceptional braid groups

abstract: We give presentations for the braid groups associated with the complex reflection groups $G_{24}$ and $G_{27}$. For the cases of $G_{29}$, $G_{31}$, $G_{33}$ and $G_{34}$, we give (strongly supported) conjectures. These presentations were obtained with VKCURVE, a GAP package implementing Van Kampen's method.


title: Configurations in abelian categories. II. Moduli stacks

abstract: This paper has been withdrawn, because I have merged it with paper I of the series, math.AG/0312190. The main results of this paper now appear in sections 7-9 of the revised version of math.AG/0312190, with shortened and improved proofs.


title: Spectral factorization in the non-stationary Wiener algebra

abstract: We define the non-stationary analogue of the Wiener algebra and prove a spectral factorization theorem in this algebra.


title: New trace norm inequalities for 2 x 2 blocks of diagonal matrices

abstract: Several new trace norm inequalities are established for 2n x 2n block matrices, in the special case where the four n x n blocks are diagonal. Some of the inequalities are non-commutative analogs of Hanner's inequality, others describe the behavior of the trace norm under re-ordering of diagonal entries of the blocks.


title: A remark on cuspidal local systems

abstract: In this note we show that all reductive groups are clean in odd characteristic. In characteristic 2 there are two cuspidal local systems (one for $F_4$ and one for $E_8$) which can not be handled by our method.


title: Localization with respect to a class of maps I - Equivariant localization of diagrams of spaces

abstract: Homotopical localizations with respect to a set of maps are known to exist in cofibrantly generated model categories (satisfying additional assumptions). In this paper we expand the existing framework, so that it will apply to not necessarily cofibrantly generated model categories and, more important, will allow for a localization with respect to a class of maps (satisfying some restrictive conditions). We illustrate our technique by applying it to the equivariant model category of diagrams of spaces. This model category is not cofibrantly generated. We give conditions on a class of maps which ensure the existence of the localization functor; these conditions are satisfied by any set of maps and by the class of maps which induces ordinary localizations on the generalized fixed-points sets.


title: Localization with respect to a class of maps II - Equivariant cellularization and its application

abstract: We present an example of a homotopical localization functor which is not a localization with respect to any set of maps. Our example arises from equivariant homotopy theory. The technique of equivariant cellularization is developed and applied to the proof of the main result.


title: Two Elementary Derivations of the Pure Fisher-Hartwig Determinant

abstract: We present two elementary derivations of the formula for the Toeplitz determinant generated by a pure Fisher-Hartwig singularity.


title: Spectral Characters of Finite-Dimensional Representations of Affine Algebras

abstract: We introduce the notion of a spectral character for finite-dimensional representations of affine algebras. These can be viewed as a suitable q=1 limit of the elliptic characters defined by Etingof and Moura for quantum affine algebras. We show that these characters determine blocks of the category of finite-dimensional modules for affine algebras. To do this we use the Weyl modules defined by Chari and Pressley and some indecomposable reducible quotient of the Weyl modules.


title: On the spectrum of Schr\"odinger operators with quasi-periodic algebro-geometric KdV potentials

abstract: We characterize the spectrum of one-dimensional Schr\"odinger operators H=-d^2/dx^2+V with quasi-periodic complex-valued algebro-geometric potentials V (i.e., potentials V which satisfy one (and hence infinitely many) equation(s) of the stationary Korteweg-de Vries (KdV) hierarchy) associated with nonsingular hyperelliptic curves. The corresponding problem appears to have been open since the mid-seventies. The spectrum of H coincides with the conditional stability set of H and can explicitly be described in terms of the mean value of the inverse of the diagonal Green's function of H. As a result, the spectrum of H consists of finitely many simple analytic arcs and one semi-infinite simple analytic arc in the complex plane. Crossings as well as confluences of spectral arcs are possible and discussed as well.


title: Distance between toroidal surgeries on hyperbolic knots in the 3-sphere

abstract: For a hyperbolic knot in the 3-sphere, at most finitely many Dehn surgeries yield non-hyperbolic 3-manifolds. As a typical case of such an exceptional surgery, a toroidal surgery is one that yields a closed 3-manifold containing an incompressible torus. The slope corresponding to a toroidal surgery, called a toroidal slope, is known to be integral or half-integral. We show that the distance between two integral toroidal slopes for a hyperbolic knot, except the figure-eight knot, is at most four. Hence any hyperbolic knot admits at most 5 toroidal surgeries.


title: On Kurepa's problems in number Theory

abstract: We discuss some problems in number theory posed by Djuro Kurepa (1907-1993), including his classical left factorial hypothesis that an odd prime $p$ does not divide $0! + 1! + ... + (p-1)!$.


title: Iterated vanishing cycles, convolution, and a motivic analogue of a conjecture of Steenbrink

abstract: Using iterated vanishing cycles and convolution, we prove a motivic version of a conjecture of Steenbrink concerning the spectrum of hypersurface singularities


title: Weak type estimates on certain Hardy spaces for smooth cone type multipliers

abstract: Let $\varrho\in C^{\infty} ({\Bbb R}^d\setminus\{0\})$ be a non-radial homogeneous distance function satisfying $\varrho(t\xi)=t\varrho(\xi)$. For $f\in\frak S ({\Bbb R}^{d+1})$ and $\delta>0$, we consider convolution operator ${\Cal T}^{\delta}$ associated with the smooth cone type multipliers defined by $$\hat {{\Cal T}^{\delta} f}(\xi,\tau)= (1-\frac{\varrho(\xi)}{|\tau|} )^{\delta}_+\hat f (\xi,\tau), (\xi,\tau)\in {\Bbb R}^d \times \Bbb R.$$ If the unit sphere $\Sigma_{\varrho}\fallingdotseq\{\xi\in {\Bbb R}^d : \varrho(\xi)=1\}$ is a convex hypersurface of finite type and $\varrho$ is not radial, then we prove that ${\Cal T}^{\delta(p)}$ maps from $H^p({\Bbb R}^{d+1})$, $0<p<1$, into weak-$L^p(\Gamma_{\gamma})$ for the critical index $\delta(p)=d(1/p -1/2)-1/2$, where $\Gamma_{\gamma}=\{(x,t)\in {\Bbb R}^d\times\Bbb R : |t|\geq\gamma |x|\}$ for $\gamma=\max\{\sup_{\varrho(\xi)\leq 1}|\xi|,1\}$. Moreover, we furnish a function $f\in\frak S({\Bbb R}^{d+1})$ such that $$\sup_{\lambda>0} \lambda^p|\{(x,t)\in \bar{{\Bbb R}^{d+1}\setminus\Gamma_{\gamma}} : |{\Cal T}_{\varrho}^{\delta(p)}f(x,t)|>\lambda\}|=\infty.$$


title: Polynomial Invariants of Links in the Projective Space

abstract: The Homflypt and Kauffman skein modules of the projective space are computed. Both are free and generated by some infinite set of links. This set may be chosen to be L_n, where L_n is an arbitrary link consisting of n projective lines for n>0, and L_0 is an affine unknot.


title: On Linearity of Nonclassical Differentiation

abstract: We introduce a real vector space composed of set-valued maps on an open set X and note it by S. It is a complete metric space and a complete lattice. The set of continuous functions on X is dense in S as in a metric space and as in a lattice. Thus the constructed space plays the same role for the space of continuous functions with uniform convergence as the field of reals plays for the field of rationals. The classical gradient may be extended in the space S as a close operator. If a function f belongs to its domain then f is locally lipschitzian and the values of our gradient coincide with the values of Clarke's gradient. However, unlike Clarke's gradient, our gradient is a linear operator.


title: On a class of optimal partition problems related to the Fu\v{c}\'\i k spectrum and to the monotonicity formulae

abstract: In this paper we give an unified approach to some questions arising in different fields of nonlinear analysis, namely: (a) the study of the structure of the Fu\v{c}\'\i k spectrum and (b) possible variants and extensions of the monotonicity formula by Alt--Caffarelli--Friedman \cite{acf}. In the first part of the paper we present a class of optimal partition problems involving the first eigenvalue of the Laplace operator. Beside establishing the existence of the optimal partition, we develop a theory for the extremality conditions and the regularity of minimizers. As a first application of this approach, we give a new variational characterization of the first curve of the Fu\v{c}\'\i k spectrum for the Laplacian, promptly adapted to more general operators. In the second part we prove a monotonicity formula in the case of many subharmonic components and we give an extension to solutions of a class of reaction--diffusion equation, providing some Liouville--type theorems.


title: Realisation of Lusztig cones

abstract: The negative part $U^-$ of a quantised enveloping algebra associated to a simple Lie algebra possesses a canonical basis $\mathcal{B}$ with favourable properties. Lusztig has associated a cone to a reduced expression $\mathbf{i}$ for the longest element $w_0$ in the Weyl group of $\mathfrak{g}$, with good properties with respect to monomial elements of $\mathcal{B}$. The first author has associated a subalgebra $A_{\mathbf{i}}$ of $U^-$, compatible with the dual basis $\mathcal{B}^*$, to each reduced expression $\mathbf{i}$. We show that, after a certain twisting, the string parametrisation of the adapted basis of this subalgebra coincides with the corresponding Lusztig cone. As an application, we give explicit expressions for the generators of the Lusztig cones.


title: Conjugacy for positive permutation braids

abstract: Positive permutation braids on n strings, which are defined to be positive n-braids where each pair of strings crosses at most once, form the elementary but non-trivial building blocks in many studies of conjugacy in the braid groups. We consider conjugacy among these elementary braids which close to knots, and show that those which close to the trivial knot or to the trefoil are all conjugate. All such n-braids with the maximum possible crossing number are also shown to be conjugate. We note that conjugacy of these braids for n<6 depends only on the crossing number. In contrast, we exhibit two such braids on 6 strings with 9 crossings which are not conjugate but whose closures are each isotopic to the (2,5) torus knot.


title: A variational problem for the spatial segregation of reaction--diffusion systems

abstract: In this paper we study a class of stationary states for reaction--diffusion systems of $k\geq 3$ densities having disjoint supports. For a class of segregation states governed by a variational principle we prove existence and provide conditions for uniqueness. Some qualitative properties and the local regularity both of the densities and of their free boundaries are established in the more general context of a functional class characterized by differential inequalities.


title: Zariski chambers, volumes, and stable base loci

abstract: The purpose of this paper is to investigate the behaviour of certain asymptotic invariants of line bundles on projective surfaces. In particular, we describe the volume of line bundles and their destabilizing numbers.


title: A family of measures associated with iterated function systems

abstract: Let $(X,d)$ be a compact metric space, and let an iterated function system (IFS) be given on $X$, i.e., a finite set of continuous maps $\sigma_{i}$: $ X\to X$, $i=0,1,..., N-1$. The maps $\sigma_{i}$ transform the measures $\mu $ on $X$ into new measures $\mu_{i}$. If the diameter of $ \sigma_{i_{1}}\circ >... \circ \sigma_{i_{k}}(X)$ tends to zero as $ k\to \infty $, and if $p_{i}>0$ satisfies $\sum_{i}p_{i}=1$, then it is known that there is a unique Borel probability measure $\mu $ on $X$ such that $\mu =\sum_{i}p_{i} \mu_{i} \tag{*}$. In this paper, we consider the case when the $p_{i}$s are replaced with a certain system of sequilinear functionals. This allows us to study the variable coefficient case of (*), and moreover to understand the analog of (*) which is needed in the theory of wavelets.


title: Equivariant Unfoldings of G-Stratified Pseudomanifolds

abstract: For any abelian compact Lie group $G$, we introduce a family of $G$-stratified pseudomanifolds, whose main feature is the preservation of the orbit spaces in the category of stratified pseudomanifolds. Which generalize a previous definition given by R. Popper. We also find a sufficient condition for the existence of equivariant unfoldings, so we have Intersection Cohomology with differential forms, as defined in \cite{S}. Moreover, if $G$ act on a manifold $M$, we find a equivariant unfolding of $M$ which induces a canonical unfolding on the $k$-orbits space for every closed subgroup $K$ of $G$.


title: Skew category, Galois covering and smash product of a $k$-category

abstract: In this paper we consider categories over a commutative ring provided either with a free action or with a grading of a not necessarily finite group. We define the smash product category and the skew category and we show that these constructions agree with the usual ones for algebras. In case of the smash product for an infinite group our construction specialized for a ring agrees with M. Beattie's construction of a ring with local units in \cite{be}. We recover in a categorical generalized setting the Duality Theorems of M. Cohen and S. Montgomery in \cite{cm}, and we provide a unification with the results on coverings of quivers and relations by E. Green in \cite{g}. We obtain a confirmation in a quiver and relations free categorical setting that both constructions are mutual inverses, namely the quotient of a free action category and the smash product of a graded category. Finally we describe functorial relations between the representation theories of a category and of a Galois cover of it.


title: Eigenvalue Spacing Distribution for the Ensemble of Real Symmetric Toeplitz Matrices

abstract: Consider the ensemble of Real Symmetric Toeplitz Matrices, each entry iidrv from a fixed probability distribution p of mean 0, variance 1, and finite higher moments. The limiting spectral measure (the density of normalized eigenvalues) converges weakly to a new universal distribution with unbounded support, independent of p. This distribution's moments are almost those of the Gaussian's; the deficit may be interpreted in terms of Diophantine obstructions. With a little more work, we obtain almost sure convergence. An investigation of spacings between adjacent normalized eigenvalues looks Poissonian, and not GOE.


title: Pseudopolynomial algorithm for single machine scheduling (withdrawn)

abstract: Withdrawn because of non-correctness. Would have implied too much to be true :-|


title: Proof of two conjectures of Zuber on fully packed loop configurations

abstract: Two conjectures of Zuber [``On the counting of fully packed loops configurations. Some new conjectures,'' preprint] on the enumeration of configurations in the fully packed loop model on the square grid with periodic boundary conditions, which have a prescribed linkage pattern, are proved. Following an idea of de Gier [``Loops, matchings and alternating-sign matrices,'' Discrete Math., to appear], the proofs are based on bijections between such fully packed loop configurations and rhombus tilings, and the hook-content formula for semistandard tableaux.

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


title: Tur\'an's extremal problem for positive definite functions on groups

abstract: We study the following question: Given an open set $\Omega$, symmetric about 0, and a continuous, integrable, positive definite function $f$, supported in $\Omega$ and with $f(0)=1$, how large can $\int f$ be? This problem has been studied so far mostly for convex domains $\Omega$ in Euclidean space. In this paper we study the question in arbitrary locally compact abelian groups and for more general domains. Our emphasis is on finite groups as well as Euclidean spaces and $\ZZ^d$. We exhibit upper bounds for $\int f$ assuming geometric properties of $\Omega$ of two types: (a) packing properties of $\Omega$ and (b) spectral properties of $\Omega$. Several examples and applications of the main theorems are shown. In particular we recover and extend several known results concerning convex domains in Euclidean space. Also, we investigate the question of estimating $\int_{\Omega}f$ over possibly dispersed sets solely in dependence of the given measure $m:=|\Omega|$ of $\Omega$. In this respect we show that in $\RR$ and $\ZZ$ the integral is maximal for intervals.


title: A formalism for the renormalization procedure

abstract: We describe a formalism underlying the renormalization procedure and Batalin-Vilkoviski formalism. In the framework of this formalism, we give a mathematical definition of OPE-algebra and describe an additional natural structure which produces a *-Lie algebra structure on the (cohomologically shifted) D-module of observables, whence an $L_\infty$ algebra structure on the space of global sections of the de Rham complex of this D-module. Given a Maurer-Cartan element in this $L_\infty$ algebra, we construct a deformation of the OPE-algebra, which is exactly the desired renormalization.


title: Global structure of the mod two symmetric algebra, H^*(BO;F_2), over the Steenrod Algebra

abstract: The algebra S of symmetric invariants over the field with two elements is an unstable algebra over the Steenrod algebra A, and is isomorphic to the mod two cohomology of BO, the classifying space for vector bundles. We provide a minimal presentation for S in the category of unstable A-algebras, i.e., minimal generators and minimal relations. From this we produce minimal presentations for various unstable A-algebras associated with the cohomology of related spaces, such as the BO(2^m-1) that classify finite dimensional vector bundles, and the connected covers of BO. The presentations then show that certain of these unstable A-algebras coalesce to produce the Dickson algebras of general linear group invariants, and we speculate about possible related topological realizability. Our methods also produce a related simple minimal A-module presentation of the cohomology of infinite dimensional real projective space, with filtered quotients the unstable modules F(2^p-1)/A bar{A}_{p-2}, as described in an independent appendix.


title: Three talks on noncommutative geometry@n

abstract: Notes of three talks given at the workshop 'Hilbert schemes, non-commutative algebra and the McKay correspondence' CIRM-Luminy (France) October 2003. If A is an order over a central normal affine variety X having a stability structure such that the variety of all semi-stable A-representations is a smooth variety, then the corresponding moduli space is a partial desingularization of X and we have a complete classification of the remaining singularities.


title: Non-selfadjoint perturbations of selfadjoint operators in 2 dimensions II. Vanishing Averages

abstract: This is the second in a series of works devoted to small non-selfadjoint perturbations of selfadjoint semiclassical pseudodifferential operators in dimension 2. As in our previous work, we consider the case when the classical flow of the unperturbed part is periodic. Under the assumption that the flow average of the leading perturbation vanishes identically, we show how to obtain a complete asymptotic description of the individual eigenvalues in certain domains in the complex plane, provided that the strength of the perturbation $\epsilon$ is $\gg h^{1/2}$, or sometimes only $\gg h$, and enjoys the upper bound $\epsilon={\cal O}(h^{\delta})$, for some $\delta>0$.


title: Fractal entropies and dimensions for microstate spaces, II

abstract: For a selfadjoint element x in a tracial von Neumann algebra and $\alpha = \delta_0(x)$ we compute bounds for $\mathbb H^{\alpha}(x),$ where $\mathbb H^{\alpha}(x)$ is the free Hausdorff $\alpha$-entropy of $x.$ The bounds are in terms of $\int \int_{\mathbb R^2 -D} \log |y-z| d\mu(y) d\mu(z)$ where $\mu$ is the Borel measure on the spectrum of x induced by the trace and $D \subset \mathbb R^2$ is the diagonal. We compute similar bounds for the free Hausdorff entropy of a free family of selfadjoints.


title: A New Way to Compute the Thurston-Bennequin Number

abstract: We establish a relation between several easy-to-calculate numerical invariants of generic knots in $\mathbb{H}^2 \times S^1$, and use it to give a new method of computing the Thurston-Bennequin number of Legendrian knots in the tight contact $\mathbb{R}^3$.


title: A Strichartz inequality for the Schroedinger equation on non-trapping asymptotically conic manifolds

abstract: We obtain an $L^4$ space-time Strichartz inequality for any smooth three-dimensional Riemannian manifold $(M,g)$ which is asymptotically conic at infinity and non-trapping, where $u$ is a solution to the Schr\"odinger equation $iu_t + {1/2} \Delta_M u = 0$. The exponent $H^{1/4}(M)$ is sharp, by scaling considerations. In particular our result covers asymptotically flat non-trapping manifolds. Our argument is based on the interaction Morawetz inequality introduced by Colliander et al., interpreted here as a positive commutator inequality for the tensor product $U(t,z',z'') := u(t,z') u(t,z'')$ of the solution with itself. We also use smoothing estimates for Schr\"odinger solutions including a new one proved here with weight $r^{-1}$ at infinity and with the gradient term involving only one angular derivative.


title: Restrictions of smooth functions to a closed subset

abstract: We first provide an approach to the recent conjecture of Bierstone-Milman-Pawlucki on Whitney's old problem on smooth extendability of functions defined on a closed subset of a Euclidean space, using higher order paratangent bundle they introduced. For example, the conjecture is affirmative for classical fractal sets. Next, we give a sharpened form of Spallek's theorem on controllability of flatness by the values on a closed set. The multi-dimensional Vandermonde matrix plays an important role in both cases.


title: A Statement of the Fundamental Lemma

abstract: These notes give a statement of the "fundamental lemma," which is a conjectural identity between p-adic integrals that arises as part of the Langlands program.


title: Moduli Spaces of Standard Holomorphic Bundles on a Noncommutative Complex Torus

abstract: In this paper we study the moduli space of standard holomorphic structures on a noncommutative complex two torus. It will be shown that the moduli space is naturally identified with the moduli space of stable bundles on an elliptic curve. We also propose that the mirror reflection of the noncommutative complex torus is the mirror reflection of the elliptic curve together with a linear foliation. From this we identify the moduli space of super cycles on the mirror reflection with the moduli space of standard holomorphic bundles on a noncommutative complex torus.


title: What is Motivic Measure?

abstract: These notes give an exposition of the theory of arithmetic motivic integration, as developed by J. Denef and F. Loeser. An appendix by M. Fried gives some historical comments on Galois stratifications.


title: Asymptotic behaviour of tame harmonic bundles and an application to pure twistor $D$-modules

abstract: We study the asymptotic behaviour of tame harmonic bundles. First of all, we prove a local freeness of the prolongation by an increasing order. Then we obtain the polarized mixed twistor structure. As one of the applications, we obtain the norm estimate of holomorphic or flat sections by weight filtrations of the monodromies. As other application, we establish the correspondence of semisimple regular holonomic $D$-modules and polarizable pure imaginary pure twistor $D$-modules through a tame pure imaginary harmonic bundles, which is a conjecture of Sabbah. Then the regular holonomic version of Kashiwara's conjecture follows from the results of Sabbah and us. Keywords: Higgs fields, harmonic bundle, variation of Hodge structure, mixed twistor structure, $D$-module.


title: Homotopy Inner Products for Cyclic Operads

abstract: We introduce the notion of homotopy inner products for any cyclic quadratic Koszul operad $\mathcal O$, generalizing the construction already known for the associative operad. This is done by defining a colored operad $\hat{\mathcal O}$, which describes modules over $\mathcal O$ with invariant inner products. We show that $\hat{\mathcal O}$ satisfies Koszulness and identify algebras over a resolution of $\hat{\mathcal O}$ in terms of derivations and module maps. An application to Poincar\'e duality on the chain level of a suitable topological space is given.


title: On the natural representation of $S(\Omega)$ into $L^2(P(\Omega))$: Discrete harmonics and Fourier transform

abstract: Let $\Omega$ denote a non-empty finite set. Let $S(\Omega)$ stand for the symmetric group on $\Omega$ and let us write $P(\Omega)$ for the power set of $\Omega$. Let $\rho: S(\Omega) \to U(L^2(P(\Omega)))$ be the left unitary representation of $S(\Omega)$ associated with its natural action on $P(\Omega)$. We consider the algebra consisting of those endomorphisms of $L^2(P(\Omega))$ which commute with the action of $\rho$. We find an attractive basis $B$ for this algebra. We obtain an expression, as a linear combination of $B$, for the product of any two elements of $B$. We obtain an expression, as a linear combination of $B$, for the adjoint of each element of $B$. It turns out the Fourier transform on $P(\Omega)$ is an element of our algebra; we give the matrix which represents this transform with respect to $B$.


title: Maps with prescribed tension fields

abstract: We consider maps into Riemannian manifolds of non-positive curvature and start developing a systematic PDE theory. We control the Sobolev $H^{2,2}$-norm of such a map in terms of its energy, the $L^2$-norm of its tension field and a topological term depending on the homotopy class. We also solve a Dirchlet problem without an underlying variational structure, as an extension of the topic of harmonic maps with potentials.


title: On the number of equivalence classes of binary forms of given degree and given discriminant

abstract: We give an explicit upper bound for the number of equivalence classes of binary forms with rational integral coefficients of given degree and given discriminant, and with given splitting field. Further, we give an explicit upper bound for the number of irreducible binary forms with rational integral coefficients with given invariant order. Our bounds depend on as few parameters as possible. For instance, we show that the number of equivalence classes of irreducible binary forms with rational integral coefficients of degree r with given invariant order has an upper bound depending only on r. We have proved more general results for binary forms with coefficients in the ring of S-integers of a number field.


title: Linear equations with unknowns from a multiplicative group whose solutions lie in a small number of subspaces

abstract: Let K be a field of characteristic 0. We consider linear equations a1*x1+...+an*xn=1 in unknowns x1,...,xn from G, where a1,...,an are non-zero elements of K, and where G is a subgroup of the multiplicative group of non-zero elements of K. Two tuples (a1,...,an) and (b1,...,bn) of non-zero elements of K are called G-equivalent if there are u1,...,un in G such that b1=a1*u1,..., bn=an*un. Denote by m(a1,...,an,G) the smallest number m such that the set of solutions of a1*x1+...+an*xn=1 in x1,...,xn from G is contained in the union of m proper linear subspaces of K^n. It is known that m(a1,...,an,G) is finite; clearly, this quantity does not change if (a1,...,an) is replaced by a G-equivalent tuple. Gyory and the author proved in 1988 that there is a constant c(n) depending only on the number of variables n, such that for all but finitely many G-equivalence classes (a1,...,an), one has m(a1,...,an,G)< c(n). It is as yet not clear what is the best possible value of c(n). Gyory and the author showed that c(n)=2^{(n+1)!} can be taken. This was improved by the author in 1993 to c(n)=(n!)^{2n+2}. In the present paper we improve this further to c(n)=2^{n+1}, and give an example showing that c(n) can not be smaller than n.


title: Another proof of Bailey's 6-psi-6 summation

abstract: Adapting a method used by Cauchy, Bailey, Slater, and more recently, the second author, we give a new proof of Bailey's celebrated 6-psi-6 summation formula.


title: Invariance Combinatoire des Polynomes de Kazhdan-Lusztig sur les intervalles partant de l'origine

abstract: We show that for Bruhat intervals starting from the origin in simply-laced Coxeter groups the conjecture of Lusztig and Dyer holds, that is, the R-polynomials and the Kazhdan-Lusztig polynomials defined on [e,u] only depend on the isomorphism type of [e,u].


title: An improved local wellposedness result for the modified KdV equation

abstract: The Cauchy problem for the modified KdV equation is shown to be locally well posed for data u_0 in the space \hat(H^r_s) defined by the norm ||u_0||:=||<\xi>^s \hat(u_0)||_L^r', provided 4/3 < r \le 2, s \ge 1/2 - 1/(2r). For r=2 this coincides with the best possible result on the H^s - scale due to Kenig, Ponce and Vega. The proof uses an appropriate variant of the Fourier restriction norm method and linear as well as bilinear estimates for the solutions of the Airy equation.


title: Threefolds with Vanishing Hodge Cohomology

abstract: We consider algebraic manifolds $Y$ of dimension 3 over $\Bbb{C}$ with $H^i(Y, \Omega^j_Y)=0$ for all $j\geq 0$ and $i>0$. Let $X$ be a smooth completion of $Y$ with $D=X-Y$, an effective divisor on $X$ with normal crossings. If the $D$-dimension of $X$ is not zero, then $Y$ is a fibre space over a smooth affine curve $C$ (i.e., we have a surjective morphism from $Y$ to $C$ such that general fibre is smooth and irreducible) such that every fibre satisfies the same vanishing condition. If an irreducible smooth fibre is not affine, then the Kodaira dimension of $X$ is $-\infty$ and the $D$-dimension of X is 1. We also discuss sufficient conditions from the behavior of fibres or higher direct images to guarantee the global vanishing of Hodge cohomology and the affineness of $Y$.


title: Inhomogeneous Strichartz estimates

abstract: We look for the optimal range of Lebesque exponents for which inhomogeneous Strichartz estimates are valid. We show that it is larger than the one given by admissible exponents for homogeneous estimates. We prove inhomogeneous estimates adopting the abstract setting and interpolation techniques already used by Keel and Tao for the endpoint case of the homogenenous estimates. Applications to Schrodinger equations are given, which extend previous work by Kato.


title: Vector-valued Hausdorff-Young inequality on compact groups

abstract: The main purpose of this paper is to study the validity of the Hausdorff-Young inequality for vector-valued functions defined on a non-commutative compact group. The natural context for this research is that of operator spaces. This leads us to formulate a whole new theory of Fourier type and cotype for the category of operator spaces. The present paper is the first step in this program, where the basic theory is presented, the main examples are analyzed and some questions are posed.


title: Non-microstates free entropy dimension for groups

abstract: We show that for any discrete finitely-generated group G and any self-adjoint n-tuple X_1,...,X_n of generators of the group algebra of G, Voiculescu's non-microstates free entropy dimension \delta^*(X_1,...,X_n) is exactly equal to \beta_1 (G)-\beta_0 (G)+1, where \beta_i are the L^2 Betti numbers of G.


title: Metric Lie algebras and quadratic extensions

abstract: The present paper contains a systematic study of the structure of metric Lie algebras, i.e., finite-dimensional real Lie algebras equipped with a non-degenerate invariant symmetric bilinear form. We show that any metric Lie algebra without simple ideals has the structure of a so called balanced quadratic extension of an auxiliary Lie algebra l by an orthogonal l-module A in a canonical way. Identifying equivalence classes of quadratic extensions of l by A with a certain cohomology set H^2_Q(l,A) we obtain a classification scheme for general metric Lie algebras and a complete classification of metric Lie algebras of index 3.


title: Sharp Fourier type and cotype with respect to compact semisimple Lie groups

abstract: Sharp Fourier type and cotype of Lebesgue spaces and Schatten classes with respect to an arbitrary compact semisimple Lie group are investigated. In the process, a local variant of the Hausdorff-Young inequality on such groups is given.


title: Quantized orthonormal systems: A non-commutative Kwapie\'n theorem

abstract: The concepts of Riesz type and cotype of a given Banach space are extended to a non-commutative setting. First, the Banach space is replaced by an operator space. The notion of quantized orthonormal system, which plays the role of the orthonormal system in the classical setting, is then defined. The Fourier type and cotype of an operator space with respect to a non-commutative compact group fit in this context. Also, the quantized analogs of Rademacher and Gaussian systems are treated. All this is used to obtain an operator space version of the classical theorem of Kwapie\'n characterizing Hilbert spaces by means of vector-valued orthogonal series. Several approaches to this result with different consequences are given.


title: B-convex operator spaces

abstract: The notion of B-convexity for operator spaces, which a priori depends on a set of parameters indexed by $\Sigma$, is defined. Some of the classical characterizations of this geometric notion for Banach spaces are studied in this new context. For instance, an operator space is $B_{\Sigma}$-convex if and only if it has $\Sigma$-subtype. The class of uniformly non-$L^1(\Sigma)$ operator spaces, which is also the class of $B_{\Sigma}$-convex operator spaces, is introduced. Moreover, an operator space having non-trivial $\Sigma$-type is $B_{\Sigma}$-convex. However, the converse is false. The row and column operator spaces are nice counterexamples of this fact, since both are Hilbertian. In particular, this result shows that a version of the Maurey-Pisier theorem does not hold in our context. Some other examples of Hilbertian operator spaces will be treated. In the last part of this paper, the independence of $B_{\Sigma}$-convexity with respect to $\Sigma$ is studied. This provides some interesting problems which will be posed.


title: A new approach to the theory of classical hypergeometric polynomials

abstract: In this paper we present a unified approach to the spectral analysis of an hypergeometric type operator whose eigenfunctions include the classical orthogonal polynomials. We write the eigenfunctions of this operator by means of a new Taylor formula for operators of Askey-Wilson type. This gives rise to some expressions for the eigenfunctions, which are unknown in such a general setting. Our methods also give a general Rodrigues formula from which several well known formulas of Rodrigues type can be obtained directly. Moreover, other new Rodrigues type formulas come out when seeking for regular solutions of the associated functional equations. The main difference here is that, in contrast with the formulas appearing in the literature, we get non-ramified solutions which are useful for applications in combinatorics. Another fact, that becomes clear in this paper, is the role played by the theory of elliptic functions in the connection between ramified and non-ramified solutions.


title: Taylor series for the Askey-Wilson operator and classical summation formulas

abstract: An analogue of Taylor's formula, which arises by substituting the classical derivative by a divided difference operator of Askey-Wilson type, is developed here. We study the convergence of the associated Taylor series. Our results complement a recent work by Ismail and Stanton. Quite surprisingly, in some cases the Taylor polynomials converge to a function which differs from the original one. We provide explicit expressions for the integral remainder. As application, we obtain some summation formulas for basic hypergeometric series. As far as we know, one of them is new. We conclude by studying the different forms of the binomial theorem in this context.


title: The Spectral Geometry of the Riemann Curvature Operator in the Higher Signature Setting

abstract: We study the spectral geometry of the Riemann curvature tensor for Pseudo-Riemannian manifolds and provide some examples illustrating the phenomena which can arise in the higher signature setting. Dedication: This paper is dedicated to the memory of our colleague Prof.G. Tsagas who studied the spectral geometry of Laplacian.


title: Alternating formulas for K-theoretic quiver polynomials

abstract: The main theorem here is the K-theoretic analogue of the cohomological `stable double component formula' for quiver functions in [Knutson, Miller, and Shimozono, math.AG/0308142]. This K-theoretic version is still in terms of lacing diagrams, but nonminimal diagrams contribute terms of higher degree. The motivating consequence is a conjecture of A. Buch on the sign-alternation of the coefficients appearing in his expansion of quiver K-polynomials in terms of stable Grothendieck polynomials for partitions [Buch, math.AG/0104029].


title: A Problem of Hsiang-Palais-Terng on isoparametric submanifolds

abstract: We solve the problem raised by Hsiang, Palais and Terng in [The topology of isoparametric submanifolds, JDG, 27(1988), 423-460]: Is it possible to have an isoparametric foliation on R^{52} whose marked Dynkin giagram is of type D_4 and with all multiplicities uniformly equal to 4?


title: Minimal coadjoint orbits and symplectic induction

abstract: Let $(X,\omega)$ be an integral symplectic manifold and let $(L,\nabla)$ be a quantum line bundle, with connection, over $X$ having $\omega$ as curvature. With this data one can define an induced symplectic manifold $(\widetilde {X},\omega_{\widetilde {X}})$ where $dim \widetilde {X} = 2 + dim X$. It is then shown that prequantization on $X$ becomes classical Poisson bracket on $\widetilde {X}$. We consider the possibility that if $X$ is the coadjoint orbit of a Lie group $K$ then $\widetilde {X}$ is the coadjoint orbit of some larger Lie group $G$. We show that this is the case if $G$ is a non-compact simple Lie group with a finite center and $K$ is the maximal compact subgroup of $G$. The coadjoint orbit $X$ arises (Borel-Weil) from the action of $K$ on $\p$ where $\g= \k +\p$ is a Cartan decomposition. Using the Kostant-Sekiguchi correspondence and a diffeomorphism result of M. Vergne we establish a symplectic isomorphism $(\widetilde {X},\omega_{\widetilde {X}})\cong (Z,\omega_Z)$ where $Z$ is a non-zero minimal "nilpotent" coadjoint orbit of $G$. This is applied to show that the split forms of the 5 exceptional Lie groups arise symplectically from the symplectic induction of coadjoint orbits of certain classical groups.


title: Metric combinatorics of convex polyhedra: cut loci and nonoverlapping unfoldings

abstract: This paper is a study of the interaction between the combinatorics of boundaries of convex polytopes in arbitrary dimension and their metric geometry. Let S be the boundary of a convex polytope of dimension d+1, or more generally let S be a `convex polyhedral pseudomanifold'. We prove that S has a polyhedral nonoverlapping unfolding into R^d, so the metric space S is obtained from a closed (usually nonconvex) polyhedral ball in R^d by identifying pairs of boundary faces isometrically. Our existence proof exploits geodesic flow away from a source point v in S, which is the exponential map to S from the tangent space at v. We characterize the `cut locus' (the closure of the set of points in S with more than one shortest path to v) as a polyhedral complex in terms of Voronoi diagrams on facets. Analyzing infinitesimal expansion of the wavefront consisting of points at constant distance from v on S produces an algorithmic method for constructing Voronoi diagrams in each facet, and hence the unfolding of S. The algorithm, for which we provide pseudocode, solves the discrete geodesic problem. Its main construction generalizes the source unfolding for boundaries of 3-polytopes into R^2. We present conjectures concerning the number of shortest paths on the boundaries of convex polyhedra, and concerning continuous unfolding of convex polyhedra. We also comment on the intrinsic non-polynomial complexity of nonconvex polyhedral manifolds.


title: Trace Formulas for Non-Self-Adjoint Periodic Schr\"odinger Operators and some Applications

abstract: Recently, a trace formula for non-self-adjoint periodic Schr\"odinger operators in $L^2(\mathbb{R})$ associated with Dirichlet eigenvalues was proved in [9]. Here we prove a corresponding trace formula associated with Neumann eigenvalues. In addition we investigate Dirichlet and Neumann eigenvalues of such operators. In particular, using the Dirichlet and Neumann trace formulas we provide detailed information on location of the Dirichlet and Neumann eigenvalues for the model operator with the potential $Ke^{2ix}$, where $K\in\mathbb{C}$.


title: A note on the Laplace transform of the square in the circle problem

abstract: If $P(x)$ is the error term in the circle problem, then it is proved that $$\int_0^\infty P^2(x)e^{-x/T}dx = {1\over4}({T\over\pi})^{3/2} \sum_{n=1}^\infty r^2(n)n^{-3/2} - T + O_\epsilon(T^{2/3+\epsilon}), $$ improving the author's earlier exponent 5/6. The new bound is obtained by using results of F. Chamizo on the correlated sum $\sum_{n\le x}r(n)r(n+h)$, where $r(n)$ is the number of representations of $n$ as a sum of two squares.


title: Perturbation of singular equilibria of hyperbolic two-component systems: a universal hydrodynamic limit

abstract: We consider one-dimensional, locally finite interacting particle systems with two conservation laws which under Eulerian hydrodynamic limit lead to two-by-two systems of conservation laws: \pt \rho +\px \Psi(\rho, u)=0 \pt u+\px \Phi(\rho,u)=0, with $(\rho,u)\in{\cal D}\subset\R^2$, where ${\cal D}$ is a convex compact polygon in $\R^2$. The system is typically strictly hyperbolic in the interior of ${\cal D}$ with possible non-hyperbolic degeneracies on the boundary $\partial {\cal D}$. We consider the case of isolated singular (i.e. non hyperbolic) point on the interior of one of the edges of ${\cal D}$, call it $(\rho_0,u_0)=(0,0)$ and assume ${\cal D}\subset\{\rho\ge0\}$. This can be achieved by a linear transformation of the conserved quantities. We investigate the propagation of small nonequilibrium perturbations of the steady state of the microscopic interacting particle system, corresponding to the densities $(\rho_0,u_0)$ of the conserved quantities. We prove that for a very rich class of systems, under proper hydrodynamic limit the propagation of these small perturbations are \emph{universally} driven by the two-by-two system \pt\rho + \px\big(\rho u\big)=0 \pt u + \px\big(\rho + \gamma u^2\big) =0 where the parameter $\gamma:=\frac12 \Phi_{uu}(\rho_0,u_0)$ (with a proper choice of space and time scale) is the only trace of the microscopic structure. The proof is valid for the cases with $\gamma>1$. [truncated]


title: On the center of a compact group

abstract: We prove a conjecture due to Baumgaertel and Lledo according to which for every compact group G one has Z(G)^ \cong C(G), where the `chain group' C(G) is the free abelian group (written multiplicatively) generated by the set G^ of isomorphism classes of irreducible representations of G modulo the relations [Z]=[X]\cdot[Y] whenever Z is contained in X \otimes Y. Thus the center Z(G) depends only on the representation ring of G. Furthermore, we prove that every `t-map' phi: G^ -> A into an abelian group, i.e. every map satisfying phi(Z)=phi(X)phi(Y) whenever X,Y,Z in G^ and Z\prec X\otimes Y, factors through the restriction map G^ -> Z(G)^. All these results also hold for proalgebraic groups over algebraically closed fields of characteristic zero.


title: Random complex zeroes, III. Decay of the hole probability

abstract: By a hole we mean a disc that contains no flat chaotic analytic zero points (i.e. zeroes of a random entire function whose Taylor coefficients are independent complex-valued Gaussian variables, and the variance of the k-th coefficient is 1/k!). A given disc of radius r has a probability of being a hole, - the hole probability. We show that for large r the hole probability decays as exp(-cr^4).


title: Asymptotiques de nombres de Betti d'hypersurfaces projectives r\'eelles

abstract: We are interested in the maximal values of the Betti numbers b_i({\mathbb R}X_m^n) for fixed i,m,n; where {\mathbb R}X_m^n is the real part of a real nonsingular hypersurface of degree m in the complex projective space {\mathbb C}P^n, and in the maximal values of the Betti numbers b_i({\mathbb R}Y_{2k}^n) for fixed i,k,n; where {\mathbb R}Y_{2k}^n is the real part of a double covering Y_{2k}^n of{\mathbb C}P^n ramified over some real nonsingular hypersurface of degree 2k. We show the existence of limits lim_{m -> +\infty} [Max b_i({\mathbb R}X_m^n)]/m^n=h_{i,n} and lim_{k -> +\infty} [Max b_i({\mathbb R}Y_{2k}^n)]/k^n =d_{i,n}. We construct real nonsingular hypersurfaces as small perturbations of double hypersurfaces using the Viro method. This construction enables us to obtain recursive lower bounds for the h_{0,n} and d_{0,n}, and inequalities h_{0,3} >= d_{0,2}/6+1/12, h_{1,3} >= d_{1,2}/6+1/6. As applications, we show the existence, for any integer n >= 5, of real algebraic hypersurfaces in {\mathbb C}P^n which are not T-hypersurfaces, and we prove inequalities 35/96 <= h_{0,3} <= 5/12, 35/48 <= h_{1,3} <= 5/6.


title: Semistable principal G-bundles in positive characteristic

abstract: Let $X$ be a normal projective variety defined over an algebraically closed field $k$ of positive characteristic. Let $G$ be a connected reductive group defined over $k$. We prove that some Frobenius pull back of a principal $G$-bundle admits the canonical reduction $E_P$ such that its extension by $P\to P/R_u(P)$ is strongly semistable. Then we show that there is only a small difference between semistability of a principal $G$-bundle and semistability of its Frobenius pull back. This and the boundedness of the family of semistable torsion free sheaves imply the boundedness of semistable principal $G$-bundles.


title: Norm closure of classical pseudodifferential operators does not contain H\"ormander's class

abstract: The L2-norm closure of the algebra of all zero-order classical (or polyhomogeneous) pseudodifferential operators on a closed manifold $X$ is proven not to contain H\"ormander's class $\Psi^0(X)$. A set of generators (for that closed algebra) smaller than all zero-order classical pseudos is also described.


title: Homotopical and Higher Categorical Structures in Algebraic Geometry

abstract: This a slightly expended version of my habilitation thesis, which is an overview of my research activities during the last 4 years, written in a rather informal style.


title: The Gorenstein projective modules are precovering

abstract: The Gorenstein projective modules are proved to form a precovering class in the module category of a ring which has a dualizing complex.


title: Stabilizers for nondegenerate matrices of boundary format and Steiner bundles

abstract: In this paper nondegenerate multidimensional matrices of boundary format in $V_0 \otimes ... \otimes V_p$ are investigated by their link with Steiner vector bundles on product of projective spaces. For any nondegenerate matrix $A$ the stabilizer for the $SL(V_0)\times ... \times SL(V_p)$-action, $Stab(A)$, is completely described. In particular we prove that there exists an explicit action of SL(2) on $V_0 \otimes ... \otimes V_p$ such that $Stab(A)^0\subseteq SL(2)$ and the equality holds if and only if $A$ belongs to a unique $SL(V_0)\times >... \times SL(V_p)$-orbit containing the identity matrices.


title: Homology of Lagrangian Submanifolds in Cotangent Bundles

abstract: In this paper we find new topological restrictions on Lagrangian submanifolds of cotangent bundles of spheres and of Lens spaces.


title: A characterisation of the n<1> + <3> form and applications to rational homology spheres

abstract: We conjecture two generalisations of Elkies' theorem on unimodular quadratic forms to non-unimodular forms. We give some evidence for these conjectures including a result for determinant 3. These conjectures, when combined with results of Froyshov and of Ozsvath and Szabo, would give a simple test of whether a rational homology 3-sphere may bound a negative-definite four-manifold. We verify some predictions using Donaldson's theorem. Based on this we compute the four-ball genus of some Montesinos knots.


title: (Modified) Fredholm Determinants for Operators with Matrix-Valued Semi-Separable Integral Kernels Revisited

abstract: We revisit the computation of (2-modified) Fredholm determinants for operators with matrix-valued semi-separable integral kernels. The latter occur, for instance, in the form of Green's functions associated with closed ordinary differential operators on arbitrary intervals on the real line. Our approach determines the (2-modified) Fredholm determinants in terms of solutions of closely associated Volterra integral equations, and as a result offers a natural way to compute such determinants. We illustrate our approach by identifying classical objects such as the Jost function for half-line Schr\"odinger operators and the inverse transmission coefficient for Schr\"odinger operators on the real line as Fredholm determinants, and rederiving the well-known expressions for them in due course. We also apply our formalism to Floquet theory of Schr\"odinger operators, and upon identifying the connection between the Floquet discriminant and underlying Fredholm determinants, we derive new representations of the Floquet discriminant. Finally, we rederive the explicit formula for the 2-modified Fredholm determinant corresponding to a convolution integral operator, whose kernel is associated with a symbol given by a rational function, in a straghtforward manner. This determinant formula represents a Wiener-Hopf analog of Day's formula for the determinant associated with finite Toeplitz matrices generated by the Laurent expansion of a rational function.


title: Convex Geometry of Orbits

abstract: We study metric properties of convex bodies B and their polars B^o, where B is the convex hull of an orbit under the action of a compact group G. Examples include the Traveling Salesman Polytope in polyhedral combinatorics (G=S_n, the symmetric group), the set of non-negative polynomials in real algebraic geometry (G=SO(n), the special orthogonal group), and the convex hull of the Grassmannian and the unit comass ball in the theory of calibrated geometries (G=SO(n), but with a different action). We compute the radius of the largest ball contained in the symmetric Traveling Salesman Polytope, give a reasonably tight estimate for the radius of the Euclidean ball containing the unit comass ball and review (sometimes with simpler and unified proofs) recent results on the structure of the set of non-negative polynomials (the radius of the inscribed ball, volume estimates, and relations to the sums of squares). Our main tool is a new simple description of the ellipsoid of the largest volume contained in B^o.


title: On two problems in extension theory

abstract: In this note we introduce the concept of a quasi-finite complex. Next, we show that for a given countable and locally finite CW complex L the following conditions are equivalent: (i) L is quasi-finite. (ii) There exists a [L]-invertible mapping of a metrizable compactum X with e-dim X = [L] onto the Hilbert cube. Finally, we construct an example of a quasi-finite complex L such that its extension type [L] does not contain a finitely dominated complex.


title: Harmonic analysis on the infinite symmetric group

abstract: Let S be the group of finite permutations of the naturals 1,2,... The subject of the paper is harmonic analysis for the Gelfand pair (G,K), where G stands for the product of two copies of S while K is the diagonal subgroup in G. The spherical dual to (G,K) (that is, the set of irreducible spherical unitary representations) is an infinite-dimensional space. For such Gelfand pairs, the conventional scheme of harmonic analysis is not applicable and it has to be suitably modified. We construct a compactification of S called the space of virtual permutations. It is no longer a group but it is still a G-space. On this space, there exists a unique G-invariant probability measure which should be viewed as a true substitute of Haar measure. More generally, we define a 1-parameter family of probability measures on virtual permutations, which are quasi-invariant under the action of G. Using these measures we construct a family {T_z} of unitary representations of G depending on a complex parameter z. We prove that any T_z admits a unique decomposition into a multiplicity free integral of irreducible spherical representations of (G,K). Moreover, the spectral types of different representations (which are defined by measures on the spherical dual) are pairwise disjoint. Our main result concerns the case of integral values of parameter z: then we obtain an explicit decomposition of T_z into irreducibles. The case of nonintegral z is quite different. It was studied by Borodin and Olshanski, see e.g. the survey math.RT/0311369.


title: Sommese Vanishing for non-compact manifolds

abstract: The Kodaira-Nakano Vanishing Theorem has been generalized to the relative setting by A. Sommese. We prove a version of this theorem for non-compact manifolds. As an apllication, we prove that the cohomology of a fiber of a symplectic contraction is trivial in odd degrees and pure Hodge-Tate in even degrees.


title: Turbo Codes over the Real Field

abstract: In this article we extend the idea of Turbo codes onto the Real Field. The channel is taken to result in block erasures and the only noise as being that due to quantization. The decoding in this case is reduced to reconstruction of the lost values. The encoding is done using critically sampled filter banks and introduction of an interleaver is found to reduce the mean square quantization error drastically. The permutation that gives the best recoverability is obtained in the 2 Channel case. Results are also obtained for M channel case. The algorithm for reconstruction of the lost values in the absence of quantization noise is obtained.


title: Holes in I^n

abstract: Let F be an arbitrary field of characteristic not 2. We write W(F) for the Witt ring of F, consisting of the isomorphism classes of all anisotropic quadratic forms over F. For any element x of W(F), dimension dim x is defined as the dimension of a quadratic form representing x. The elements of all even dimensions form an ideal denoted I(F). The filtration of the ring W(F) by the powers I(F)^n of this ideal plays a fundamental role in the algebraic theory of quadratic forms. The Milnor conjectures, recently proved by Voevodsky and Orlov-Vishik-Voevodsky, describe the successive quotients I(F)^n/I(F)^{n+1} of this filtration, identifying them with Galois cohomology groups and with the Milnor K-groups modulo 2 of the field F. In the present article we give a complete answer to a different old-standing question concerning I(F)^n, asking about the possible values of dim x for x in I(F)^n. More precisely, for any positive integer n, we prove that the set dim I^n of all dim x for all x in I(F)^n and all F consisists of 2^{n+1}-2^i, i=1,2,...,n+1 together with all even integers greater or equal to 2^{n+1}. Previously available partial informations on dim I^n include the classical Arason-Pfister theorem, saying that no integer between 0 and 2^n lies in dim I^n, as well as a recent Vishik's theorem, saying the same on the integers between 2^n and 2^n+2^{n-1} (the case n=3 is due to Pfister, n=4 to Hoffmann). Our proof is based on computations in Chow groups of powers of projective quadrics (involving the Steenrod operations); the method developed can be also applied to other types of algebraic varieties.


title: The Maslov Gerbe

abstract: Let Lag(E) be the grassmannian of lagrangian subspaces of a complex symplectic vector space E. We construct a Maslov class which generates the second integral cohomology of Lag(E), and we show that its mod 2 reduction is the characteristic class of a flat gerbe with structure group Z_2. We explain the relation of this gerbe to the well-known flat Maslov line bundle with structure group Z_4 over the real lagrangian grassmannian, whose characteristic class is the mod 4 reduction of the real Maslov class.


title: Multi-indexed p-orthogonal sums in non-commutative Lebesgue spaces

abstract: In this paper we extend a recent Pisier's inequality for p-orthogonal sums in non-commutative Lebesgue spaces. To that purpose, we generalize the notion of p-orthogonality to the class of multi-indexed families of operators. This kind of families appear naturally in certain non-commutative Khintchine type inequalities associated with free groups. Other p-orthogonal families are given by the homogeneous operator-valued polynomials in the Rademacher variables or the multi-indexed martingale difference sequences. As in Pisier's result, our tools are mainly combinatorial.


title: Finite-Dimensional Attractor for a Nonequilibrium Stefan Problem with Heat Losses

abstract: We study a two-phase modified Stefan problem modeling solid combustion and nonequilibrium phase transition. The problem is known to exhibit a variety of non-trivial dynamical scenarios. We develop a priori estimates and establish well-posedness of the problem in weighted spaces of continuous functions. The estimates secure sufficient decay of solutions that allows for an analysis in Hilbert spaces. We demonstrate existence of compact attractors in the weighted spaces and prove that the attractor consists of sufficiently regular functions. This allows us to show that the Hausdorff dimension of the attractor is finite.


title: Associahedra, cellular W-construction and products of $A_\infty$-algebras

abstract: Our aim is to construct a functorial tensor product of $A_\infty$-algebras or, equivalently, an explicit diagonal for the operad of cellular chains, over the integers, of the Stasheff associahedron. These construction were in fact already indicated by R. Umble and S. Saneblidze in [9]; we will try to give a more satisfactory presentation. We also prove that there does not exist an associative tensor product of $A_\infty$-algebras.


title: On the cotangent cohomology of rational surface singularities with almost reduced fundamental cycle

abstract: We prove dimension formulas for the cotangent spaces $T^{1}$ and $T^{2}$ for a class of rational surface singularities by calculating a correction term in the general dimension formulas. We get that it is zero if the dual graph of the rational surface singularity $X$ does not contain a particular type of configurations, and this generalizes a result of Theo de Jong stating that the correction term $c(X)$ is zero for rational determinantal surface singularities. In particular our result implies that $c(X)$ is zero for Riemenschneiders quasi-determinantal rational surface singularities, and this also generalise results for qoutient singularities.


title: Homeomorphisms of the Mandelbrot Set

abstract: On subsets E of the Mandelbrot set M, homeomorphisms are constructed by quasi-conformal surgery. When the dynamics of quadratic polynomials is changed piecewise by a combinatorial construction, a general theorem yields the corresponding homeomorphism h: E to E in the parameter plane. Each h has two fixed points in E, and a countable family of mutually homeomorphic fundamental domains. Possible generalizations to other families of polynomials or rational mappings are discussed. The homeomorphisms on subsets E of M constructed by surgery are extended to homeomorphisms of M, and employed to study groups of non-trivial homeomorphisms h: M to M . It is shown that these groups have the cardinality of the continuum, and they are not compact.


title: Extension of structure groups of principal bundles in positive characteristic

abstract: In this article we study the behaviour of semistable principal $G$-bundles over a smooth projective variety $X$ under the extension of structure groups in positive characteristic. We extend some results of Ramanan-Ramanathan \cite{Ramanan-Ramanathan} on rationality of instability flags and show that the associated vector bundles via representations of $G$ are not too unstable and the instability can be bounded by a constant independent of semistable bundles. As a consequence of this the boundedness of the set of isomorphism classes of semistable $G$-bundles with fixed degree and Chern classes is proven.


title: Polynomial decay rate for the dissipative wave equation

abstract: We study the dissipative linear wave equation in a bounded domain. The exponential decay rate of the energy was established by Bardos, Lebeau and Rauch under a geometrical hypothesis linked with the geodesics. Furthermore such condition called geometric control condition is almost necessary to get a uniform exponential decay. In another hand, Lebeau proved a logarithmic decay rate for smooth solutions when no particular geometric condition is required. In this paper we give for some particular geometries a polynomial decay rate when the geometric control condition is not fulfilled.


title: Bijective Proofs for "Enumerative Properties of Ferrers Graphs"

abstract: Recently, Ehrenborg and Van Willenburg defined a class of bipartite graphs that correspond naturally to Ferrers diagrams, and proved several results about them. We give bijective proofs for the (already known) expressions for the number of spanning trees and (where applicable) Hamiltonian paths of these graphs. Their paper can be found at http://www.ms.uky.edu/~jrge/Papers/Ferrers_graphs.pdf .


title: Extension problems and non-abelian duality for $C^*$-algebras

abstract: Suppose that $H$ is a closed subgroup of a locally compact group $G$. We show that a unitary representation $U$ of $H$ is the restriction of a unitary representation of $G$ if and only if a dual representation $\hat U$ of a crossed product $C^*(G)\rtimes (G/H)$ is regular in an appropriate sense. We then discuss the problem of deciding whether a given representation is regular; we believe that this problem will prove to be an interesting test question in non-abelian duality for crossed products of $C^*$-algebras.


title: Determining the automorphism group of a hyperelliptic curve

abstract: In this note we discuss techniques for determining the automorphism group of a genus $g$ hyperelliptic curve $\X_g$ defined over an algebraically closed field $k$ of characteristic zero. The first technique uses the classical $GL_2 (k)$-invariants of binary forms. This is a practical method for curves of small genus, but has limitations as the genus increases, due to the fact that such invariants are not known for large genus. The second approach, which uses dihedral invariants of hyperelliptic curves, is a very convenient method and works well in all genera. First we define the normal decomposition of a hyperelliptic curve with extra automorphisms. Then dihedral invariants are defined in terms of the coefficients of this normal decomposition. We define such invariants independently of the automorphism group $\Aut (\X_g)$. However, to compute such invariants the curve is required to be in its normal form. This requires solving a nonlinear system of equations. We find conditions in terms of classical invariants of binary forms for a curve to have reduced automorphism group $A_4$, $S_4$, $A_5$. As far as we are aware, such results have not appeared before in the literature.


title: Curves of genus 2 with (n, n)-decomposable jacobians

abstract: Let $C$ be a curve of genus 2 and $\psi_1:C \lar E_1$ a map of degree $n$, from $C$ to an elliptic curve $E_1$, both curves defined over $\bC$. This map induces a degree $n$ map $\phi_1:\bP^1 \lar \bP^1$ which we call a Frey-Kani covering. We determine all possible ramifications for $\phi_1$. If $\psi_1:C \lar E_1$ is maximal then there exists a maximal map $\psi_2:C\lar E_2$, of degree $n$, to some elliptic curve $E_2$ such that there is an isogeny of degree $n^2$ from the Jacobian $J_C$ to $E_1 \times E_2$. We say that $J_C$ is $(n,n)$-decomposable. If the degree $n$ is odd the pair $(\psi_2, E_2)$ is canonically determined. For $n=3, 5$, and 7, we give arithmetic examples of curves whose Jacobians are $(n,n)$-decomposable.


title: Purely infinite C*-algebras: ideal-preserving zero homotopies

abstract: We show that if A is a separable, nuclear, O_infty-absorbing (or strongly purely infinite) C*-algebra, which is homotopic to zero in an ideal-system preserving way, then A is the inductive limit of C*-algebras of the form M_k(C_0(G,v)), where G is a finite graph (and C_0(G,v) is the algebra of continuous functions on G that vanish at a distinguished point v in G). We show further that any separable, nuclear, stable, O_2-absorbing C*-algebra is isomorphic to a crossed product of a C*-algebra D with the integers by an action alpha, where D is an inductive limit of C*-algebras of the form M_k(C_0(G,v)) (and D is O_2-absorbing and homotopic to zero in an ideal-system preserving way).


title: Faber-Krahn Type Inequalities for Trees

abstract: The Faber-Krahn theorem states that among all bounded domains with the same volume in ${\mathbb R}^n$ (with the standard Euclidean metric), a ball that has lowest first Dirichlet eigenvalue. Recently it has been shown that a similar result holds for (semi-)regular trees. In this article we show that such a theorem also hold for other classes of (not necessarily non-regular) trees. However, for these new results no couterparts in the world of the Laplace-Beltrami-operator on manifolds are known.


title: On finite-sheeted covering mappings onto solenoids

abstract: We study limit mappings from a solenoid onto itself. It is shown that each equivalence class of finite-sheeted covering mappings from connected topological spaces onto a solenoid is determined by a limit mapping. Properties of periodic points of limit mappings are also studied.


title: A quantum duality principle for subgroups and homogeneous spaces

abstract: We develop a quantum duality principle for subgroups of a Poisson group and its dual, in two formulations. Namely, in the first one we provide functorial recipes to produce quantum coisotropic subgroups in the dual Poisson group out of any quantum subgroup (in a tautological sense) of the initial Poisson group, while in the second one similar recipes are given only starting from coisotropic subgroups. In both cases this yields a Galois-type correspondence, where a quantum coisotropic subgroup is mapped to its complementary dual; moreover, in the first formulation quantum coisotropic subgroups are characterized as being the fixed points in this Galois' reciprocity. By the natural link between quantum subgroups and quantum homogeneous spaces then we argue a quantum duality principle for homogeneous spaces too, where quantum coisotropic spaces are the fixed elements in a suitable Galois' reciprocity. As an application, we provide an explicit quantization of the space of Stokes matrices with the Poisson structure given by Dubrovin and Ugaglia. The *paper is actually under revision* to fix some minor, technical issues. The geometric objects considered here (Poisson groups, subgroups and homogeneous spaces) are "global" - as opposed to "formal" - and quantizations are considered as standard - i.e.non topological - Hopf algebras over the ring of Laurent polynomials (or other non-topological rings). Instead, a "local/formal" version of this work is developed in math.QA/0412465 - which is in final form - due to appear in "Advances in Mathematics". The example of Stokes matrices mentioned above is considered in math.QA/0412465 as well.


title: Description of B-orbit closures of order 2 in upper-triangular matrices

abstract: Let n_n(C) be the algebra of strictly upper-triangular n x n matrices over the field of complex numbers and X_2 the subset of matrices of nilpotent order 2. Let B_n(C) be the group of invertible upper-triangular matrices acting on n_n(C) by conjugation. Let B(u) be the orbit of u in X_2 with respect to this action. Let S_n^2 be the subset of involutions in the symmetric group S_n. We define a new partial order on S_n^2 which gives the combinatorial description of the closure of B(u). We also construct an ideal I(B(u)) in symmetric algebra S(n_n(C)^* whose variety V(I(B(u))) equals the closure of B(u) (in Zariski topology). We apply these results to orbital varieties of nilpotent order 2 in sl_n(C) in order to give a complete combinatorial description of the closure of such an orbital variety in terms of Young tableaux. We also construct the ideal of definition of such an orbital variety up to taking the radical.


title: Birkhoff averages of Poincare cycles for Axiom-A diffeomorphisms

abstract: We study the time of $n$th return of orbits to some given (union of) rectangle(s) of a Markov partition of an Axiom A diffeomorphism. Namely, we prove the existence of a scaled generating function for these returns with respect to any Gibbs measure (associated to a Holderian potential). As a by-product, we derive precise large deviation estimates and a central limit theorem for Birkhoff averages of Poincare cycles. We emphasize that we look at the limiting behavior in term of number of visits (the size of the visited set is kept fixed). Our approach relies on the spectral properties of a one-parameter family of induced transfer operators on unstable leaves crossing the visited set.


title: The Baum-Connes Conjecture via Localisation of Categories

abstract: We redefine the Baum-Connes assembly map using simplicial approximation in the equivariant Kasparov category. This new interpretation is ideal for studying functorial properties and gives analogues of the assembly maps for all equivariant homology theories, not just for the K-theory of the crossed product. We extend many of the known techniques for proving the Baum-Connes conjecture to this more general setting.


title: Classical Lebesgue Integration Theorems for the Riemann Integral

abstract: This paper has been withdrawn due to an error, and no further revisions will be made.


title: Global Existence of Bell's Time-Inhomogeneous Jump Process for Lattice Quantum Field Theory

abstract: We consider the time-inhomogeneous Markovian jump process introduced by John S. Bell [Phys.Rep. 137, 49] for a lattice quantum field theory, which runs on the associated configuration space. Its jump rates, tailored to give the process the quantum distribution $|\Psi_t|^2$ at all times $t$, typically exhibit singularities. We establish the existence of a unique such process for all times, under suitable assumptions on the Hamiltonian or the initial state vector $\Psi_0$. The proof of non-explosion takes advantage of the special role of the $|\Psi_t|^2$ distribution.


title: All frame-spun knots are slice

abstract: Frame-spun knots are constructed by spinning a knot of lower dimension about a framed submanifold of S^n. We show that all frame-spun knots are slice (null-cobordant).


title: Electromagnetic pulse propagation in passive media by path integral methods

abstract: A novel time domain solver of Maxwell's equations in passive (dispersive and absorbing) media is proposed. The method is based on the path integral formalism of quantum theory and entails the use of ({\it i}) the Hamiltonian formalism and ({\it ii}) pseudospectral methods (the fast Fourier transform, in particular) of solving differential equations. In contrast to finite differencing schemes, the path integral based algorithm has no artificial numerical dispersion (dispersive errors), operates at the Nyquist limit (two grid points per shortest wavelength in the wavepacket) and exhibits an exponential convergence as the grid size increases, which, in turn, should lead to a higher accuracy. The Gauss law holds exactly with no extra computational cost. Each time step requires $O(N\log_2 N)$ elementary operations where $N$ is the grid size. It can also be applied to simulations of electromagnetic waves in passive media whose properties are time dependent when conventional stationary (scattering matrix) methods are inapplicable. The stability and accuracy of the algorithm are investigated in detail.


title: The tropical totally positive Grassmannian

abstract: Tropical algebraic geometry is the geometry of the tropical semiring (R, min, +). The theory of total positivity is a natural generalization of the study of matrices with all minors positive. In this paper we introduce the totally positive part of the tropicalization of an arbitrary affine variety, an object which has the structure of a polyhedral fan. We then investigate the case of the Grassmannian, denoting the resulting fan \Trop^+ Gr_{k,n}. We show that \Trop^+ Gr_{2,n} is the Stanley-Pitman fan, which is combinatorially the fan dual to the (type A_{n-3}) associahedron, and that \Trop^+ Gr_{3,6} and \Trop^+ Gr_{3,7} are closely related to the fans dual to the types D_4 and E_6 associahedra. These results are reminiscent of the results of Fomin and Zelevinsky, and Scott, who showed that the Grassmannian has a natural cluster algebra structure which is of types A_{n-3}, D_4, and E_6 for Gr_{2,n}, Gr_{3,6}, and Gr_{3,7}. We suggest a general conjecture about the positive part of the tropicalization of a cluster algebra.


title: Bindweeds or random walks in random environments on multiplexed trees and their asympotics

abstract: We report on the asymptotic behaviour of a new model of random walk, we term the bindweed model, evolving in a random environment on an infinite multiplexed tree. The term \textit{multiplexed} means that the model can be viewed as a nearest neighbours random walk on a tree whose vertices carry an internal degree of freedom from the finite set $\{1,...,d\}$, for some integer $d$. The consequence of the internal degree of freedom is an enhancement of the tree graph structure induced by the replacement of ordinary edges by multi-edges, indexed by the set $\{1,...,d\}\times\{1,...,d\}$. This indexing conveys the information on the internal degree of freedom of the vertices contiguous to each edge. The term \textit{random environment} means that the jumping rates for the random walk are a family of edge-indexed random variables, independent of the natural filtration generated by the random variables entering in the definition of the random walk; their joint distribution depends on the index of each component of the multi-edges. We study the large time asymptotic behaviour of this random walk and classify it with respect to positive recurrence or transience in terms of a specific parameter of the probability distribution of the jump rates. This classifying parameter is shown to coincide with the critical value of a matrix-valued multiplicative cascade on the ordinary tree (\textit{i.e.} the one without internal degrees of freedom attached to the vertices) having the same vertex set as the state space of the random walk. Only results are presented here since the detailed proofs will appear elsewhere.


title: Une remarque sur le degre formel d'une serie discrete d'un groupe lineaire general p-adique

abstract: I show by the example of the general linear group, how one can deduce from my previous work "Decomposition spectrale d'un groupe reductif $p$-adique" (to appear in Journal of the Institute of Mathematics of Jussieu) precise information on the formal degree of a square integrable representation of a $p$-adic group.


title: Non-commutative Khintchine type inequalities associated with free groups

abstract: Let $\Free_n$ denote the free group with $n$ generators $g_1, g_2, ..., g_n$. Let $\lambda$ stand for the left regular representation of $\Free_n$ and let $\tau$ be the standard trace associated to $\lambda$. Given any positive integer $d$, we study the operator space structure of the subspace $\Word_p(n,d)$ of $L_p(\tau)$ generated by the family of operators $\lambda(g_{i_1}g_{i_2} ... g_{i_d})$ with $1 \le i_k \le n$. Moreover, our description of this operator space holds up to a constant which does not depend on $n$ or $p$, so that our result remains valid for infinitely many generators. We also consider the subspace of $L_p(\tau)$ generated by the image under $\lambda$ of the set of reduced words of length $d$. Our result extends to any exponent $1 \le p \le \infty$ a previous result of Buchholz for the space $\Word_{\infty}(n,d)$. The main application is a certain interpolation theorem, valid for any degree $d$ (extending a result of the second author restricted to $d=1$). In the simplest case $d=2$, our theorem can be stated as follows: consider the space $\mathcal{K}_p$ formed of all block matrices $a=(a_{ij})$ with entries in the Schatten class $S_p$, such that $a$ is in $S_p$ relative to $\ell_2 \otimes \ell_2$ and moreover such that $(\sum_{ij} a_{ij}^* a_{ij} )^{1/2}$ and $(\sum_{ij} a_{ij} a_{ij}^*)^{1/2}$ both belong to $S_p$. We equip $\mathcal{K}_p$ with the maximum of the three corresponding norms. Then, for $2 \le p \le \infty$ we have $\mathcal{K}_p \simeq (\mathcal{K}_2, \mathcal{K}_\infty)_\theta$ with $1/p = (1-\theta)/2$.


title: Intersection of ACM-curves in P^3

abstract: In this note we address the problem of determining the maximum number of points of intersection of two arithmetically Cohen-Macaulay curves in $\PP^3$. We give a sharp upper bound for the maximum number of points of intersection of two irreducible arithmetically Cohen-Macaulay curves $C_t$ and $C_{t-r}$ in $\PP^3$ defined by the maximal minors of a $t \times (t+1)$, resp. $(t-r) \times (t-r+1)$, matrix with linear entries, provided $C_{t-r}$ has no linear series of degree $d\leq{{t-r+1}\choose 3}$ and dimension $n\geq t-r$.


title: On the Cohen-Macaulay property of multiplicative invariants

abstract: We investigate the Cohen-Macaulay property for rings of invariants under multiplicative actions of a finite group $G$. By definition, these are $G$-actions on Laurent polynomial algebras that stabilize the multiplicative group consisting of all monomials in the variables. For the most part, we concentrate on the case where the base ring is the ring of rational integers. Our main result states that if $G$ acts non-trivially and the invariant algebra is Cohen-Macaulay then the abelianized isotropy groups $G_m/[G_m,G_m]$ of all monomials m are generated by bireflections and at least one $G_m/[G_m,G_m]$ is non-trivial. As an application, we prove the multiplicative version of Kemper's 3-copies conjecture.


title: On certain sums over ordinates of zeta zeros

abstract: Let $\gamma$ denote imaginary parts of complex zeros of the Riemann zeta-function $\zeta(s)$. Certain sums over the $\gamma$'s are evaluated, by using the function $G(s) = \sum_{\gamma>0}\gamma^{-s}$ and other techniques. Some integrals involving the function $S(T) = (1/\pi)\arg\zeta(1/2+iT)$ are also considered.


title: Une sextique hyperbolique dans P^3(C)

abstract: We construct a hyperbolic sextic surface in P^3(C).


title: The cyclic homology and K-theory of certain adelic crossed products

abstract: The multiplicative group of a global field acts on its adele ring by multiplication. We consider the crossed product algebra of the resulting action on the space of Schwartz functions on the adele ring and compute its Hochschild, cyclic and periodic cyclic homology. We also compute the topological K-theory of the C*-algebra crossed product.


title: Iterated Monodromy Groups

abstract: We associate a group $IMG(f)$ to every covering $f$ of a topological space $M$ by its open subset. It is the quotient of the fundamental group $\pi_1(M)$ by the intersection of the kernels of its monodromy action for the iterates $f^n$. Every iterated monodromy group comes together with a naturally defined action on a rooted tree. We present an effective method to compute this action and show how the dynamics of $f$ is related to the group. In particular, the Julia set of $f$ can be reconstructed from $\img(f)$ (from its action on the tree), if $f$ is expanding.


title: $L^p - L^{p'}$ estimates for overdetermined Radon transforms

abstract: We prove several variations on the results of Ricci and Travaglini concerning bounds for convolution with all rotations of a measure supported by a fixed convex curve in the plane. Estimates are obtained for averages over higher-dimensional convex hypersurfaces, smooth k-dimensional surfaces and non-translation invariant families of surfaces.


title: The gamma - Borel conjecture

abstract: In this paper we show that it is relatively consistent with ZFC that every gamma-set is countable while not every strong measure zero set is countable. This answers a question of Paul Szeptycki. A set is a gamma-set iff every omega-cover contains a gamma-subcover. An open cover is an omega-cover iff every finite set is covered by some element of the cover. An open cover is a gamma-cover iff every element of the space is in all but finitely many elements of the cover. Gerlits and Nagy proved that every gamma-set has strong measure zero. We also show that is consistent that every strong gamma-set is countable while there exists an uncountable gamma-set. On the other hand every strong measure zero set is countable iff every set with the Rothberger property is countable.


title: The Collatz 3n+1 Conjecture is Unprovable

abstract: In this paper, we show that any proof of the Collatz 3n+1 Conjecture must have an infinite number of lines; therefore, no formal proof is possible.


title: An elementary approach to 6j-symbols (classical, quantum, rational, trigonometric, and elliptic)

abstract: Elliptic 6j-symbols first appeared in connection with solvable models of statistical mechanics. They include many interesting limit cases, such as quantum 6j-symbols (or q-Racah polynomials) and Wilson's biorthogonal 10-W-9 functions. We give an elementary construction of elliptic 6j-symbols, which immediately implies several of their main properties. As a consequence, we obtain a new algebraic interpretation of elliptic 6j-symbols in terms of Sklyanin algebra representations.


title: Framings and Projective Framings for 3-Manifolds

abstract: We give an elementary proof of the fact that any orientable 3-manifold admits a framing (i.e. is parallelizable) and any non-orientable 3-manifold admits a projective framing. The proof uses only basic facts about immersions of surfaces in 3-space.


title: A set of orthogonal polynomials, dual to alternative q-Charlier polynomials

abstract: The aim of this paper is to derive (by using two operators, representable by a Jacobi matrix) a family of q-orthogonal polynomials, which turn to be dual to alternative q-Charlier polynomials. A discrete orthogonality relation and a three-term recurrence relation for these dual polynomials are explicitly obtained. The completeness property of dual alternative q-Charlier polynomials is also established.


title: OPE-Algebras and their Modules

abstract: Vertex algebras formalize the subalgebra of holomorphic fields of a conformal field theory. OPE-algebras were proposed as a generalization of vertex algebras that formalizes the algebra of all fields of a conformal field theory. We prove some basic results about them: The state-field correspondence is an OPE-algebra isomorphism and Dong's lemma and the existence theorem hold for multiply local OPE-algebras; locality implies skew-symmetry; if skew-symmetry holds then duality implies locality for modules and they are equivalent for algebras. We define modules over OPE-algebras.


title: V-variable fractals and superfractals

abstract: Deterministic and random fractals, within the framework of Iterated Function Systems, have been used to model and study a wide range of phenomena across many areas of science and technology. However, for many applications deterministic fractals are locally too similar near distinct points while standard random fractals have too little local correlation. Random fractals are also slow and difficult to compute. These two major problems restricting further applications are solved here by the introduction of V-variable fractals and superfractals.


title: AF embeddings and the numerical computation of spectra in irrational rotation algebras

abstract: The spectral analysis of discretized one-dimensional Schr\"{o}dinger operators is a very difficult problem which has been studied by numerous mathematicians. A natural problem at the interface of numerical analysis and operator theory is that of finding finite dimensional matrices whose eigenvalues approximate the spectrum of an infinite dimensional operator. In this note we observe that the seminal work of Pimsner-Voiculescu on AF embeddings of irrational rotation algebras provides a nice answer to the finite dimensional spectral approximation problem for a broad class of operators including the quasiperiodic case of the Schr\"{o}dinger operators mentioned above. Indeed, the theory of continued fractions not only provides good matrix models for spectral computations (i.e. the Pimsner-Voiculescu construction) but also yields {\em sharp} rates of convergence for spectral approximations of operators in irrational rotation algebras.


title: Quasidiagonality and the finite section method

abstract: Quasidiagonal operators on a Hilbert space are a large and important class (containing all self-adjoint operators for instance). They are also perfectly suited for study via the finite section method (a particular Galerkin method). Indeed, the very definition of quasidiagonality yields finite sections with good convergence properties. Moreover, simple operator theory techniques yield estimates on certain rates of convergence. In the case of quasidiagonal band operators both the finite sections and rates of convergence are explicitly given.


title: The Cauchy atlas on the manifold of all complete ODE solutions

abstract: In this paper the necessary and sufficient conditions for a mapping to be the dependence of the complete solution of some differentiable first-order ordinary differential equation on the initial Cauchy condition are deduced. The result is obtained by studying the Cauchy atlas on a manifold of complete solutions. The proof is constructive - the corresponding differential equation is obtained. The autonomous case and the linear case are discussed. The relation to the Sincov functional equation is clarified.


title: Moduli spaces of critical Riemannian metrics in dimension four

abstract: We obtain a compactness result for various classes of Riemannian metrics in dimension four; in particular our method applies to anti-self-dual metrics, Kahler metrics with constant scalar curvature, and metrics with harmonic curvature. With certain geometric assumptions, the moduli space can be compactified by adding metrics with orbifold singularities. Similar results were obtained previously for Einstein metrics, but our analysis differs substantially from the Einstein case in that we do not assume any pointwise Ricci curvature bound.


title: A limiting absorption principle for the Schrodinger equation with L^p potentials

abstract: We prove a limiting absorption principle for linear Schroedinger equations in Lebesgue spaces. In particular, we do not require any polynomially decaying weights as in the classical Agmon estimate. The methods used are close to the Stein-Tomas theorem in harmonic analysis.


title: Relation between Tur\'an extremum problem and van der Corput sets

abstract: Let $K\subset\mathbb N$ and $\mathbf T(K)$ is a set of trigonometric polynomials \[ T(x)=T_0+\sum_{k\in K, k\le H}T_k\cos(2\pi kx), \qquad H>1, \] $T(x)\ge0$ for all $x$ and $T(0)=1$. Suppose that $0<h\le1/2$ and $K(h)$ is the class of functions \[ f(x)=\sum_{n=0}^{\infty}a_n\cos(2\pi nx) \] satisfying the following conditions: $a_n\ge0$ for all $n$, $f(0)=1$ and $f(x)=0$ for $h\le|x|\le1/2$. We consider an relation between extremum problem \[ \delta(K)=\inf_{T\in\mathbf T(K)}T_0 \] and Tur\'an extremum problem \[ A(h)=\sup_{f\in K(h)}a_0=\sup_{f\in K(h)}\int_{-h}^hf(x) dx \] for rational numbers $h=p/q$ and set $K=\bigcup\limits_{\nu=0}^\infty\{q\nu+p,...,q\nu+q-p\}$. The problem $\delta(K)$ is connection with van der Korput sets. Van der Korput sets study in analytic number theory.


title: Convexity properties of twisted root maps

abstract: The strong spectral order induces a natural partial ordering on the manifold $H_{n}$ of monic hyperbolic polynomials of degree $n$. We prove that twisted root maps associated with linear operators acting on $H_{n}$ are G\aa rding convex on every polynomial pencil and we characterize the class of polynomial pencils of logarithmic derivative type by means of the strong spectral order. Let $A'$ be the monoid of linear operators that preserve hyperbolicity as well as root sums. We show that any polynomial in $H_{n}$ is the global minimum of its $A'$-orbit and we conjecture a similar result for complex polynomials.


title: Dehn surgery, the fundamental group and SU(2)

abstract: Let K be a non-trivial knot in the 3-sphere and let Y(r) be the 3-manifold obtained by surgery on K with surgery-coefficient a rational number r. We show that there is a homomorphism from the fundamental group of Y(r) to SU(2) with non-cyclic image if r is less than or equal to 2.


title: On the multiplicity of the hyperelliptic integrals

abstract: Let $I(t)= \oint_{\delta(t)} \omega$ be an Abelian integral, where $H=y^2-x^{n+1}+P(x)$ is a hyperelliptic polynomial of Morse type, $\delta(t)$ a horizontal family of cycles in the curves $\{H=t\}$, and $\omega$ a polynomial 1-form in the variables $x$ and $y$. We provide an upper bound on the multiplicity of $I(t)$, away from the critical values of $H$. Namely: $ord\ I(t) \leq n-1+\frac{n(n-1)}{2}$ if $\deg \omega <\deg H=n+1$. The reasoning goes as follows: we consider the analytic curve parameterized by the integrals along $\delta(t)$ of the $n$ ``Petrov'' forms of $H$ (polynomial 1-forms that freely generate the module of relative cohomology of $H$), and interpret the multiplicity of $I(t)$ as the order of contact of $\gamma(t)$ and a linear hyperplane of $\textbf C^ n$. Using the Picard-Fuchs system satisfied by $\gamma(t)$, we establish an algebraic identity involving the wronskian determinant of the integrals of the original form $\omega$ along a basis of the homology of the generic fiber of $H$. The latter wronskian is analyzed through this identity, which yields the estimate on the multiplicity of $I(t)$. Still, in some cases, related to the geometry at infinity of the curves $\{H=t\} \subseteq \textbf C^2$, the wronskian occurs to be zero identically. In this alternative we show how to adapt the argument to a system of smaller rank, and get a nontrivial wronskian. For a form $\omega$ of arbitrary degree, we are led to estimating the order of contact between $\gamma(t)$ and a suitable algebraic hypersurface in $\textbf C^{n+1}$. We observe that $ord I(t)$ grows like an affine function with respect to $\deg \omega$.


title: The arc space of a toric variety

abstract: The Nash problem on arc families is affirmatively answered for a toric variety by Ishii and Kollar's paper which also shows the negative answer for general case. The Nash problem is one of questions about the relation between arc families and valuations. In this paper, the relation is described clearly for a toric variety. The arc space of a toric variety admits an action of the group scheme determined by the torus. Each orbit on the arc space corresponds to a lattice point in the cone and therefore corresponds to a toric valuation. The dominant relation among the orbits is described in terms of the lattice points. As a corollary we obtain the answer to the embedded version of the Nash problem for an invariant ideal on a toric variety.


title: A note on para-quaternion manifolds

abstract: We show that a para-quaternion nearly Kahler manifold is necessarily a para-quaternion Kahler manifold


title: Some Jump Processes in Quantum Field Theory

abstract: A jump process for the positions of interacting quantum particles on a lattice, with time-dependent transition rates governed by the state vector, was first considered by J.S. Bell. We review this process and its continuum variants involving ``minimal'' jump rates, describing particles as they get created, move, and get annihilated. In particular, we sketch a recent proof of global existence of Bell's process. As an outlook, we suggest how methods of this proof could be applied to similar global existence questions, and underline the particular usefulness of minimal jump rates on manifolds with boundaries.


title: Zeros of Symmetric Laurent Polynomials of Type $(BC)_n$ and Koornwinder-Macdonald Polynomials Specialized at $t^{k+1}q^{r-1}=1$

abstract: A characterization of the space of symmetric Laurent polynomials of type $(BC)_n$ which vanish on a certain set of submanifolds is given by using the Koornwinder-Macdonald polynomials. A similar characterization was given previously for symmetric polynomials of type $A_n$ by using the Macdonald polynomials. We use a new method which exploits the duality relation. The method simplifies a part of the proof in the $A_n$ case.


title: Local rates of Poincare recurrence for rotations and weak mixing

abstract: We study the lower and upper local rates of Poincare recurrence of rotations on the circle by means of symbolic dynamics. As a consequence, we show that if the lower rate of Poincare recurrence of an ergodic dynamical system (X,F,mu,T) is greater or equal to 1 mu-almost everywhere, then it is weakly mixing.


title: Non-orientable 3-manifolds of complexity up to 7

abstract: We classify all closed non-orientable P2-irreducible 3-manifolds with complexity up to 7, fixing two mistakes in our previous complexity-up-to-6 classification. We show that there is no such manifold with complexity less than 6, five with complexity 6 (the four flat ones and the filling of the Gieseking manifold, which is of type Sol, and three with complexity 7 (one manifold of type Sol, and the two manifolds of type H2xR with smallest base orbifolds).


title: Graded quantum groups

abstract: Starting from a Hopf algebra endowed with an action of a group G by Hopf automorphisms, we construct (by a twisted double method) a quasitriangular Hopf G-coalgebra. This method allows us to obtain non-trivial examples of quasitriangular Hopf G-coalgebras for any finite group G and for infinite groups G such as GL(n,K). In particular, we define the graded quantum groups.


title: Metric properties of the lamplighter group as an automata group

abstract: We examine the geometry of the Cayley graph of the lamplighter group with respect to the generating set rising from its interpretation as an automata group due to Grigorchuk and Zuk. We find some metric behavior with respect to this generating set analogous to the metric behavior in the standard wreath product generating set. The similar metric behavior includes expressions for geodesic paths and families of `dead-end' elements, which are endpoints of terminating geodesic rays. We also exhibit some different metric behavior between these two generating sets related to the existence of `seesaw' elements.


title: The combinatorics of orbital varieties closures of nilpotent order 2 in sl(n)

abstract: We consider two partial orders on standard Young tableaux. The first one is induced from the weak right Bruhat order on symmetric group by Robinson-Schensted algorithm. The second one is induced from the order on Young diagrams by considering a Young tableau as a chain of Young diagrams. We show that these two orders of completely different nature coincide on the subset of Young tableaux with 2 columns or with 2 rows. This fact has very interesting geometric implications for orbital varieties of nilpotent order 2 in sl(n).


title: The support of top graded local cohomology modules

abstract: Let $R_0$ be any domain, let $R=R_0[U_1, ..., U_s]/I$, where $U_1, ..., U_s$ are indeterminates of some positive degrees, and $I\subset R_0[U_1, ..., U_s]$ is a homogeneous ideal. The main theorem in this paper is states that all the associated primes of $H:=H^s_{R_+}(R)$ contain a certain non-zero ideal $c(I)$ of $R_0$ called the ``content'' of $I$. It follows that the support of $H$ is simply $V(\content(I)R + R_+)$ (Corollary 1.8) and, in particular, $H$ vanishes if and only if $c(I)$ is the unit ideal. These results raise the question of whether local cohomology modules have finitely many minimal associated primes-- this paper provides further evidence in favour of such a result. Finally, we give a very short proof of a weak version of the monomial conjecture based on these results.